diff options
author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-03-07 12:02:33 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-07 12:02:33 +0000 |
commit | 76bcb45aab9c86c63db3b834cca6126effd1c112 (patch) | |
tree | d1ddf751f79d4af5c1016d7299e351fd242c65d9 | |
parent | cb0c4bacc6ec60676e2a7ce84d8ff34e669c5f3d (diff) | |
parent | f69a8cd5c2181b020f756fedf1af348379ce54d2 (diff) | |
download | klee-76bcb45aab9c86c63db3b834cca6126effd1c112.tar.gz |
Merge pull request #608 from jirislaby/kill_test
test: ConstantExpr, kill bogus test
-rw-r--r-- | test/Concrete/ConstantExpr.ll | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/test/Concrete/ConstantExpr.ll b/test/Concrete/ConstantExpr.ll index 351223e7..d00c59a6 100644 --- a/test/Concrete/ConstantExpr.ll +++ b/test/Concrete/ConstantExpr.ll @@ -45,13 +45,14 @@ define void @"test_logical_ops"() { call void @print_i32(i32 %t1) call void @print_i32(i32 %t2) call void @print_i32(i32 %t3) + + ; or the address with 1 to ensure the addresses will differ in 'ne' below + %t4 = shl i64 lshr(i64 or(i64 ptrtoint(i32* @gInt to i64), i64 1), i64 8), 8 + %t5 = shl i64 ashr(i64 or(i64 ptrtoint(i32* @gInt to i64), i64 1), i64 8), 8 + %t6 = lshr i64 shl(i64 or(i64 ptrtoint(i32* @gInt to i64), i64 1), i64 8), 8 - %t4 = shl i32 lshr(i32 ptrtoint(i32* @gInt to i32), i32 8), 8 - %t5 = shl i32 ashr(i32 ptrtoint(i32* @gInt to i32), i32 8), 8 - %t6 = lshr i32 shl(i32 ptrtoint(i32* @gInt to i32), i32 8), 8 - - %t7 = icmp eq i32 %t4, %t5 - %t8 = icmp ne i32 %t4, %t6 + %t7 = icmp eq i64 %t4, %t5 + %t8 = icmp ne i64 %t4, %t6 %t9 = zext i1 %t7 to i8 %t10 = zext i1 %t8 to i8 |