test/Transforms/InstCombine/2007-12-19-IcmpSub.ll

   1 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep {sub}
   2
   3 define i32 @foo(i32 %a) {
   4 entry:
   5         %tmp2 = sub i32 99, %a          ; <i32> [#uses=1]
   6         %tmp3 = icmp sgt i32 %tmp2, -1          ; <i1> [#uses=1]
   7         %retval = select i1 %tmp3, i32 %a, i32 0                ; <i32> [#uses=1]
   8         ret i32 %retval
   9 }
  10
  11 define i32 @bar(i32 %a) {
  12 entry:
  13         %tmp2 = sub i32 99, %a          ; <i32> [#uses=1]
  14         %tmp3 = icmp sge i32 %tmp2, 0; <i1> [#uses=1]
  15         %retval = select i1 %tmp3, i32 %a, i32 0                ; <i32> [#uses=1]
  16         ret i32 %retval
  17 }
  18
  19 define i32 @baz(i32 %a) {
  20 entry:
  21         %tmp2 = sub i32 99, %a          ; <i32> [#uses=1]
  22         %tmp3 = icmp slt i32 %tmp2, 1           ; <i1> [#uses=1]
  23         %retval = select i1 %tmp3, i32 %a, i32 0                ; <i32> [#uses=1]
  24         ret i32 %retval
  25 }