llvm-6502/test/Transforms/InstCombine/2007-12-19-IcmpSub.ll
Christopher Lamb 103e1a3118 Implement review feedback, including additional transforms
(icmp slt (sub A B) 1) -> (icmp sle A B)
icmp sgt (sub A B) -1) -> (icmp sge A B)

and add testcase.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45256 91177308-0d34-0410-b5e6-96231b3b80d8
2007-12-20 07:21:11 +00:00

25 lines
683 B
LLVM

; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep {sub}
define i32 @foo(i32 %a) {
entry:
%tmp2 = sub i32 99, %a ; <i32> [#uses=1]
%tmp3 = icmp sgt i32 %tmp2, -1 ; <i1> [#uses=1]
%retval = select i1 %tmp3, i32 %a, i32 0 ; <i32> [#uses=1]
ret i32 %retval
}
define i32 @bar(i32 %a) {
entry:
%tmp2 = sub i32 99, %a ; <i32> [#uses=1]
%tmp3 = icmp sge i32 %tmp2, 0; <i1> [#uses=1]
%retval = select i1 %tmp3, i32 %a, i32 0 ; <i32> [#uses=1]
ret i32 %retval
}
define i32 @baz(i32 %a) {
entry:
%tmp2 = sub i32 99, %a ; <i32> [#uses=1]
%tmp3 = icmp slt i32 %tmp2, 1 ; <i1> [#uses=1]
%retval = select i1 %tmp3, i32 %a, i32 0 ; <i32> [#uses=1]
ret i32 %retval
}