From 2bbb2d4576ec821c5a5a1648d4ccffc920ed2449 Mon Sep 17 00:00:00 2001 From: Benjamin Kramer Date: Mon, 23 Sep 2013 14:41:35 +0000 Subject: Expand test case a bit. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@191205 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstSimplify/compare.ll | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/test/Transforms/InstSimplify/compare.ll b/test/Transforms/InstSimplify/compare.ll index 73188aa..83705aa 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 } -- cgit v1.1