test/Concrete/CmpEq.ll


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

; RUN: %S/ConcreteTest.py --klee=%klee --lli=%lli %s

declare void @print_i32(i32)

define i32 @main() {
	%a = add i8 0, 1
	%b = add i8 %a, -1
	%c = icmp eq i8 %b, 0
	br i1 %c, label %exitTrue, label %exitFalse
exitTrue:
	call void @print_i32(i32 1)
	ret i32 0
exitFalse:
	call void @print_i32(i32 0)
	ret i32 0
}