diff options
| -rw-r--r-- | test/Transforms/InstSimplify/compare.ll | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/Transforms/InstSimplify/compare.ll b/test/Transforms/InstSimplify/compare.ll index 73188aa697..83705aac85 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 } |