Expand test case a bit.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@191205 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Benjamin Kramer 2013-09-23 14:41:35 +00:00
parent e0187e51a1
commit 2bbb2d4576

View File

@ -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
}