test/Concrete/BoolReadWrite.leq36.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

; REQUIRES: lt-llvm-3.7
; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s

declare void @print_i1(i1)

define i32 @main() {
        %mem = alloca i1
        store i1 1, i1* %mem
        %v = load i1* %mem
        br i1 %v, label %ok, label %exit
ok:
	call void @print_i1(i1 %v)
        br label %exit
exit:
	ret i32 0
}