[llvm] r191205 - Expand test case a bit.

Benjamin Kramer benny.kra at googlemail.com
Mon Sep 23 07:41:35 PDT 2013


Author: d0k
Date: Mon Sep 23 09:41:35 2013
New Revision: 191205

URL: http://llvm.org/viewvc/llvm-project?rev=191205&view=rev
Log:
Expand test case a bit.

Modified:
    llvm/trunk/test/Transforms/InstSimplify/compare.ll

Modified: llvm/trunk/test/Transforms/InstSimplify/compare.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/compare.ll?rev=191205&r1=191204&r2=191205&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/compare.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/compare.ll Mon Sep 23 09:41:35 2013
@@ -722,7 +722,10 @@ define i1 @non_inbounds_gep_compare(i64*
 ; 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
 }





More information about the llvm-commits mailing list