llvm/test/Transforms/InstCombine/2007-09-05-EqualGEP.ll
Nick Lewycky 5a5ff9d7df When the two operands of an icmp are equal, there are five possible predicates
that would make the icmp true. Fixes PR1637.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41740 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-06 01:10:22 +00:00

11 lines
252 B
LLVM

; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ret i1 true}
; PR1637
define i1 @f(i8* %arr) {
%X = getelementptr i8* %arr, i32 1
%Y = getelementptr i8* %arr, i32 1
%test = icmp uge i8* %X, %Y
ret i1 %test
}