blob: beb4f68a38619e39e07ef8aeba95c1eca5ebd786 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
; RUN: %S/ConcreteTest.py --klee=%klee --lli=%lli %s
declare void @print_i32(i32)
define i32 @main() {
entry:
br label %test
test:
%a = phi i32 [10, %entry], [%b, %test]
%b = phi i32 [20, %entry], [%a, %test]
%c = phi i32 [0, %entry], [1, %test]
%d = icmp eq i32 %c, 1
br i1 %d, label %exit, label %test
exit:
call void @print_i32(i32 %b)
ret i32 0
}
|
