diff options
| author | Dan Liew <delcypher@gmail.com> | 2014-10-31 15:41:15 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2014-10-31 15:41:15 +0000 |
| commit | 458c6b04be8357859464d22fed09b476ca38e116 (patch) | |
| tree | ec2f9e355b29303f2af9595e2ac737180c92078e /test/Concrete/ConstantExpr.ll | |
| parent | 10b800db2c0639399ca2bdc041959519c54f89e5 (diff) | |
| parent | a6ce7bb9a8c01c62411f8484f13002f66e990293 (diff) | |
| download | klee-458c6b04be8357859464d22fed09b476ca38e116.tar.gz | |
Merge pull request #167 from willemp/willem/fix_64bit_printing_bug_in_testingUtils
Fix 64bit printing bug in testing utils
Diffstat (limited to 'test/Concrete/ConstantExpr.ll')
| -rw-r--r-- | test/Concrete/ConstantExpr.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Concrete/ConstantExpr.ll b/test/Concrete/ConstantExpr.ll index 3a151a0f..351223e7 100644 --- a/test/Concrete/ConstantExpr.ll +++ b/test/Concrete/ConstantExpr.ll @@ -24,8 +24,8 @@ define void @"test_int_to_ptr"() { define void @"test_constant_ops"() { %t1 = add i8 trunc(i64 add(i64 ptrtoint(i32* @gInt to i64), i64 -10) to i8), 10 - %t2 = sub i64 sext(i32 ptrtoint(i32* @gInt to i32) to i64), ptrtoint(i32* @gInt to i64) - %t3 = sub i64 zext(i32 ptrtoint(i32* @gInt to i32) to i64), ptrtoint(i32* @gInt to i64) + %t2 = and i64 sub(i64 sext(i32 ptrtoint(i32* @gInt to i32) to i64), i64 ptrtoint(i32* @gInt to i64)), 4294967295 + %t3 = and i64 sub(i64 zext(i32 ptrtoint(i32* @gInt to i32) to i64), i64 ptrtoint(i32* @gInt to i64)), 4294967295 %t4 = icmp eq i8 trunc(i64 ptrtoint(i32* @gInt to i64) to i8), %t1 %t5 = zext i1 %t4 to i8 |