diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2013-09-23 14:41:35 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2013-09-23 14:41:35 +0000 |
| commit | b517194f3351d2431b2a2e5a0d9f090312d9545d (patch) | |
| tree | 8dc8e60fc7d194d5830e8fd79ab7499472ea798e /llvm/test/Transforms/InstSimplify/compare.ll | |
| parent | 01ff028814d10f672171e9a9eb346af9f4779a24 (diff) | |
| download | bcm5719-llvm-b517194f3351d2431b2a2e5a0d9f090312d9545d.tar.gz bcm5719-llvm-b517194f3351d2431b2a2e5a0d9f090312d9545d.zip | |
Expand test case a bit.
llvm-svn: 191205
Diffstat (limited to 'llvm/test/Transforms/InstSimplify/compare.ll')
| -rw-r--r-- | llvm/test/Transforms/InstSimplify/compare.ll | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/llvm/test/Transforms/InstSimplify/compare.ll b/llvm/test/Transforms/InstSimplify/compare.ll index 73188aa697b..83705aac853 100644 --- a/llvm/test/Transforms/InstSimplify/compare.ll +++ b/llvm/test/Transforms/InstSimplify/compare.ll @@ -722,7 +722,10 @@ define i1 @non_inbounds_gep_compare(i64* %a) { ; CHECK-LABEL: @non_inbounds_gep_compare( ; Equality compares with non-inbounds GEPs can be folded. %x = getelementptr i64* %a, i64 42 - %cmp = icmp eq i64* %a, %x + %y = getelementptr inbounds i64* %x, i64 -42 + %z = getelementptr i64* %a, i64 -42 + %w = getelementptr inbounds i64* %z, i64 42 + %cmp = icmp eq i64* %y, %w ret i1 %cmp -; CHECK-NEXT: ret i1 false +; CHECK-NEXT: ret i1 true } |
