test/CodeGen/X86/jump_sign.ll

   1 ; RUN: llc < %s -march=x86 -mcpu=pentiumpro | FileCheck %s
   2
   3 define i32 @f(i32 %X) {
   4 entry:
   5 ; CHECK: f:
   6 ; CHECK: jns
   7         %tmp1 = add i32 %X, 1           ; <i32> [#uses=1]
   8         %tmp = icmp slt i32 %tmp1, 0            ; <i1> [#uses=1]
   9         br i1 %tmp, label %cond_true, label %cond_next
  10
  11 cond_true:              ; preds = %entry
  12         %tmp2 = tail call i32 (...)* @bar( )            ; <i32> [#uses=0]
  13         br label %cond_next
  14
  15 cond_next:              ; preds = %cond_true, %entry
  16         %tmp3 = tail call i32 (...)* @baz( )            ; <i32> [#uses=0]
  17         ret i32 undef
  18 }
  19
  20 declare i32 @bar(...)
  21
  22 declare i32 @baz(...)
  23
  24 ; rdar://10633221
  25 ; rdar://11355268
  26 define i32 @g(i32 %a, i32 %b) nounwind {
  27 entry:
  28 ; CHECK: g:
  29 ; CHECK-NOT: test
  30 ; CHECK: cmovs
  31   %sub = sub nsw i32 %a, %b
  32   %cmp = icmp sgt i32 %sub, 0
  33   %cond = select i1 %cmp, i32 %sub, i32 0
  34   ret i32 %cond
  35 }
  36
  37 ; rdar://10734411
  38 define i32 @h(i32 %a, i32 %b) nounwind {
  39 entry:
  40 ; CHECK: h:
  41 ; CHECK-NOT: cmp
  42 ; CHECK: cmov
  43 ; CHECK-NOT: movl
  44 ; CHECK: ret
  45   %cmp = icmp slt i32 %b, %a
  46   %sub = sub nsw i32 %a, %b
  47   %cond = select i1 %cmp, i32 %sub, i32 0
  48   ret i32 %cond
  49 }
  50 define i32 @i(i32 %a, i32 %b) nounwind {
  51 entry:
  52 ; CHECK: i:
  53 ; CHECK-NOT: cmp
  54 ; CHECK: cmov
  55 ; CHECK-NOT: movl
  56 ; CHECK: ret
  57   %cmp = icmp sgt i32 %a, %b
  58   %sub = sub nsw i32 %a, %b
  59   %cond = select i1 %cmp, i32 %sub, i32 0
  60   ret i32 %cond
  61 }
  62 define i32 @j(i32 %a, i32 %b) nounwind {
  63 entry:
  64 ; CHECK: j:
  65 ; CHECK-NOT: cmp
  66 ; CHECK: cmov
  67 ; CHECK-NOT: movl
  68 ; CHECK: ret
  69   %cmp = icmp ugt i32 %a, %b
  70   %sub = sub i32 %a, %b
  71   %cond = select i1 %cmp, i32 %sub, i32 0
  72   ret i32 %cond
  73 }
  74 define i32 @k(i32 %a, i32 %b) nounwind {
  75 entry:
  76 ; CHECK: k:
  77 ; CHECK-NOT: cmp
  78 ; CHECK: cmov
  79 ; CHECK-NOT: movl
  80 ; CHECK: ret
  81   %cmp = icmp ult i32 %b, %a
  82   %sub = sub i32 %a, %b
  83   %cond = select i1 %cmp, i32 %sub, i32 0
  84   ret i32 %cond
  85 }
  86 ; rdar://11540023
  87 define i32 @n(i32 %x, i32 %y) nounwind {
  88 entry:
  89 ; CHECK: n:
  90 ; CHECK-NOT: sub
  91 ; CHECK: cmp
  92   %sub = sub nsw i32 %x, %y
  93   %cmp = icmp slt i32 %sub, 0
  94   %y.x = select i1 %cmp, i32 %y, i32 %x
  95   ret i32 %y.x
  96 }
  97 ; PR://13046
  98 define void @o() nounwind uwtable {
  99 entry:
 100   %0 = load i16* undef, align 2
 101   br i1 undef, label %if.then.i, label %if.end.i
 102
 103 if.then.i:                                        ; preds = %entry
 104   unreachable
 105
 106 if.end.i:                                         ; preds = %entry
 107   br i1 undef, label %sw.bb, label %sw.default
 108
 109 sw.bb:                                            ; preds = %if.end.i
 110   br i1 undef, label %if.then44, label %if.end29
 111
 112 if.end29:                                         ; preds = %sw.bb
 113 ; CHECK: o:
 114 ; CHECK: cmp
 115   %1 = urem i16 %0, 10
 116   %cmp25 = icmp eq i16 %1, 0
 117   %. = select i1 %cmp25, i16 2, i16 0
 118   br i1 %cmp25, label %if.then44, label %sw.default
 119
 120 sw.default:                                       ; preds = %if.end29, %if.end.i
 121   br i1 undef, label %if.then.i96, label %if.else.i97
 122
 123 if.then.i96:                                      ; preds = %sw.default
 124   unreachable
 125
 126 if.else.i97:                                      ; preds = %sw.default
 127   unreachable
 128
 129 if.then44:                                        ; preds = %if.end29, %sw.bb
 130   %aModeRefSel.1.ph = phi i16 [ %., %if.end29 ], [ 3, %sw.bb ]
 131   br i1 undef, label %if.then.i103, label %if.else.i104
 132
 133 if.then.i103:                                     ; preds = %if.then44
 134   unreachable
 135
 136 if.else.i104:                                     ; preds = %if.then44
 137   ret void
 138 }