diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-10-30 15:00:58 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-08 13:17:19 +0000 |
commit | 3906c472258858fc7a6bf27e94a8b6ae1eb16711 (patch) | |
tree | d5339006cd45fcda9e4f58056c8d439587159b31 /test/Concrete/ConstantExpr.ll | |
parent | cd08132a29e2426df5b3aba6f36172b31ca5153a (diff) | |
download | klee-3906c472258858fc7a6bf27e94a8b6ae1eb16711.tar.gz |
Update test case for expressions using `udiv`, `urem`, `sdiv` and `srem`
They are not supported anymore for newer LLVM versions.
Diffstat (limited to 'test/Concrete/ConstantExpr.ll')
-rw-r--r-- | test/Concrete/ConstantExpr.ll | 29 |
1 files changed, 1 insertions, 28 deletions
diff --git a/test/Concrete/ConstantExpr.ll b/test/Concrete/ConstantExpr.ll index efe9f141..b85ce36a 100644 --- a/test/Concrete/ConstantExpr.ll +++ b/test/Concrete/ConstantExpr.ll @@ -1,3 +1,4 @@ +; REQUIRES: geq-llvm-15.0 ; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s ; Most of the test below use the *address* of gInt as part of their computation, @@ -86,32 +87,6 @@ define void @"test_simple_arith"() { ret void } - -define void @"test_div_and_mod"() { - %t1 = add i32 udiv(i32 ptrtoint(i32* @gInt to i32), i32 13), 0 - %t2 = add i32 urem(i32 ptrtoint(i32* @gInt to i32), i32 13), 0 - %t3 = add i32 sdiv(i32 ptrtoint(i32* @gInt to i32), i32 13), 0 - %t4 = add i32 srem(i32 ptrtoint(i32* @gInt to i32), i32 13), 0 - - %p = ptrtoint i32* @gInt to i32 - - %i1 = udiv i32 %p, 13 - %i2 = urem i32 %p, 13 - %i3 = sdiv i32 %p, 13 - %i4 = srem i32 %p, 13 - - %x1 = sub i32 %t1, %i1 - %x2 = sub i32 %t2, %i2 - %x3 = sub i32 %t3, %i3 - %x4 = sub i32 %t4, %i4 - - call void @print_i32(i32 %x1) - call void @print_i32(i32 %x2) - call void @print_i32(i32 %x3) - call void @print_i32(i32 %x4) - - ret void -} define void @test_cmp() { %t1 = add i8 zext(i1 icmp ult (i64 ptrtoint(i32* @gInt to i64), i64 0) to i8), 1 @@ -142,8 +117,6 @@ define void @test_cmp() { define i32 @main() { call void @test_simple_arith() - call void @test_div_and_mod() - call void @test_cmp() call void @test_int_to_ptr() |