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

   1 ; RUN: llc < %s -mtriple=arm-apple-darwin | 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 }
  35
  36 ; rdar://11725965
  37 define i32 @i(i32 %a, i32 %b) nounwind readnone ssp {
  38 entry:
  39 ; CHECK: i:
  40 ; CHECK: subs
  41 ; CHECK-NOT: cmp
  42   %cmp = icmp ult i32 %a, %b
  43   %sub = sub i32 %b, %a
  44   %sub. = select i1 %cmp, i32 %sub, i32 0
  45   ret i32 %sub.
  46 }