blob: 7bb65ea7dfc930927b38c784782ddcde0c957f05 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
; REQUIRES: lt-llvm-3.7
; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s
declare void @print_i32(i32)
define i32 @main() {
entry:
%a = alloca i32, i32 4
%tmp1 = getelementptr i32* %a, i32 0
store i32 0, i32* %tmp1
%tmp2 = load i32* %tmp1
%tmp3 = icmp eq i32 %tmp2, 0
br i1 %tmp3, label %exitTrue, label %exitFalse
exitTrue:
call void @print_i32(i32 1)
ret i32 0
exitFalse:
call void @print_i32(i32 0)
ret i32 0
}
|
