diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-02-16 13:49:39 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-02-16 13:49:39 +0000 |
| commit | fd8779a94be48aba47569dd28cb56563d4cbbfa4 (patch) | |
| tree | a50618e2d2d8ddf87cf1b3504b97fe27160ff9c7 /test/Transforms/InstSimplify | |
| parent | e6bd7a805808a05e9869fbf067581855a8b2a2c2 (diff) | |
InstSimplify: Ignore pointer casts when constant folding compares between pointers.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@150690 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstSimplify')
| -rw-r--r-- | test/Transforms/InstSimplify/compare.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/InstSimplify/compare.ll b/test/Transforms/InstSimplify/compare.ll index 0c4153fa30..60f5990840 100644 --- a/test/Transforms/InstSimplify/compare.ll +++ b/test/Transforms/InstSimplify/compare.ll @@ -10,6 +10,26 @@ define i1 @ptrtoint() { ; CHECK: ret i1 false } +define i1 @bitcast() { +; CHECK: @bitcast + %a = alloca i32 + %b = alloca i64 + %x = bitcast i32* %a to i8* + %y = bitcast i64* %b to i8* + %cmp = icmp eq i8* %x, %y + ret i1 %cmp +; CHECK-NEXT: ret i1 false +} + +define i1 @gep() { +; CHECK: @gep + %a = alloca [3 x i8], align 8 + %x = getelementptr inbounds [3 x i8]* %a, i32 0, i32 0 + %cmp = icmp eq i8* %x, null + ret i1 %cmp +; CHECK-NEXT: ret i1 false +} + define i1 @zext(i32 %x) { ; CHECK: @zext %e1 = zext i32 %x to i64 |