blob: 4dfb49e01d0b10a88db242c55e45acf256990a21 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
; LLVM 3.7 requires a type as the first argument to 'load'
; REQUIRES: geq-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, i1* %mem
br i1 %v, label %ok, label %exit
ok:
call void @print_i1(i1 %v)
br label %exit
exit:
ret i32 0
}
|
