blob: cdea6aaa776fb3950d8b6927a2770b99fad89560 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
; REQUIRES: geq-llvm-8.0
; RUN: %llvmas %s -o %t.bc
; RUN: rm -rf %t.klee-out
; RUN: %klee -exit-on-error -output-dir=%t.klee-out -optimize=false %t.bc
define i32 @main() {
%1 = fneg double 2.000000e-01
%2 = fcmp oeq double %1, -2.000000e-01
br i1 %2, label %success, label %fail
success:
ret i32 0
fail:
call void @abort()
unreachable
}
declare void @abort() noreturn nounwind
|
