test/CodeGen/ARM/sub-cmp-peephole.ll

   1 ; RUN: llc < %s -march=arm | FileCheck %s
   2
   3 define i32 @f(i32 %a, i32 %b) nounwind ssp {
   4 entry:
   5 ; CHECK: _f:
   6 ; CHECK: subs
   7 ; CHECK-NOT: cmp
   8   %cmp = icmp sgt i32 %a, %b
   9   %sub = sub nsw i32 %a, %b
  10   %sub. = select i1 %cmp, i32 %sub, i32 0
  11   ret i32 %sub.
  12 }
  13
  14 define i32 @g(i32 %a, i32 %b) nounwind ssp {
  15 entry:
  16 ; CHECK: _g:
  17 ; CHECK: subs
  18 ; CHECK-NOT: cmp
  19   %cmp = icmp slt i32 %a, %b
  20   %sub = sub nsw i32 %b, %a
  21   %sub. = select i1 %cmp, i32 %sub, i32 0
  22   ret i32 %sub.
  23 }
  24
  25 define i32 @h(i32 %a, i32 %b) nounwind ssp {
  26 entry:
  27 ; CHECK: _h:
  28 ; CHECK: subs
  29 ; CHECK-NOT: cmp
  30   %cmp = icmp sgt i32 %a, 3
  31   %sub = sub nsw i32 %a, 3
  32   %sub. = select i1 %cmp, i32 %sub, i32 %b
  33   ret i32 %sub.
  34 }