From: Benjamin Kramer <benny.kra@googlemail.com>
Date: Mon, 23 Sep 2013 14:41:35 +0000 (+0000)
Subject: Expand test case a bit.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2bbb2d4576ec821c5a5a1648d4ccffc920ed2449;p=oota-llvm.git

Expand test case a bit.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@191205 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Transforms/InstSimplify/compare.ll b/test/Transforms/InstSimplify/compare.ll
index 73188aa697b..83705aac853 100644
--- a/test/Transforms/InstSimplify/compare.ll
+++ b/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
 }