diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 18:29:09 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 18:29:09 -0700 |
| commit | b1224b12f143585d35b6846e4a55d18a8918d06f (patch) | |
| tree | b702bd758839e1cc0ca9a2bfcbd23b9b5f5e2941 /test/Concrete/arith_test.ll | |
| parent | a07fbf029a0172cb9f26c501127b8a91b07b0a6a (diff) | |
| download | klee-b1224b12f143585d35b6846e4a55d18a8918d06f.tar.gz | |
[test/Concrete] Update LLVM IR syntax.
Diffstat (limited to 'test/Concrete/arith_test.ll')
| -rw-r--r-- | test/Concrete/arith_test.ll | 20 |
1 files changed, 8 insertions, 12 deletions
diff --git a/test/Concrete/arith_test.ll b/test/Concrete/arith_test.ll index ddb1e5cb..eb0abcc8 100644 --- a/test/Concrete/arith_test.ll +++ b/test/Concrete/arith_test.ll @@ -1,7 +1,6 @@ ; RUN: %S/ConcreteTest.py --klee=%klee --lli=%lli %s -define void @"test_simple_arith"(i16 %i0, i16 %j0) -begin +define void @"test_simple_arith"(i16 %i0, i16 %j0) { %t1 = add i16 %i0, %j0 %t2 = sub i16 %i0, %j0 %t3 = mul i16 %t1, %t2 @@ -9,10 +8,9 @@ begin call void @print_i16(i16 %t3) ret void -end +} -define void @"test_div_and_mod"(i16 %op1, i16 %op2) -begin +define void @"test_div_and_mod"(i16 %op1, i16 %op2) { %t1 = udiv i16 %op1, %op2 %t2 = urem i16 %op1, %op2 %t3 = sdiv i16 %op1, %op2 @@ -24,10 +22,9 @@ begin call void @print_i16(i16 %t4) ret void -end +} -define void @test_cmp(i16 %op1, i16 %op2) -begin +define void @test_cmp(i16 %op1, i16 %op2) { %t1 = icmp ule i16 %op1, %op2 %t2 = icmp ult i16 %op1, %op2 %t3 = icmp uge i16 %op1, %op2 @@ -51,10 +48,9 @@ begin call void @print_i1(i1 %t10) ret void -end +} -define i32 @main() -begin +define i32 @main() { call void @test_simple_arith(i16 111, i16 100) call void @test_div_and_mod(i16 63331, i16 3123) @@ -68,7 +64,7 @@ begin call void @test_cmp(i16 1000, i16 25) ret i32 0 -end +} ; defined in print_int.c declare void @print_i1(i1) |