blob: a6213fc2f81e84b96bde449b37ba5c4de183eca3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
; 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
|
