test/CodeGen/X86/select.ll

   1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin10 | FileCheck %s
   2 ; PR5757
   3
   4 %0 = type { i64, i32 }
   5
   6 define i32 @test1(%0* %p, %0* %q, i1 %r) nounwind {
   7   %t0 = load %0* %p
   8   %t1 = load %0* %q
   9   %t4 = select i1 %r, %0 %t0, %0 %t1
  10   %t5 = extractvalue %0 %t4, 1
  11   ret i32 %t5
  12 ; CHECK: test1:
  13 ; CHECK: cmovneq %rdi, %rsi
  14 ; CHECK: movl (%rsi), %eax
  15 }
  16
  17
  18 ; PR2139
  19 define i32 @test2() nounwind {
  20 entry:
  21         %tmp73 = tail call i1 @return_false()           ; <i8> [#uses=1]
  22         %g.0 = select i1 %tmp73, i16 0, i16 -480                ; <i16> [#uses=2]
  23         %tmp7778 = sext i16 %g.0 to i32         ; <i32> [#uses=1]
  24         %tmp80 = shl i32 %tmp7778, 3            ; <i32> [#uses=2]
  25         %tmp87 = icmp sgt i32 %tmp80, 32767             ; <i1> [#uses=1]
  26         br i1 %tmp87, label %bb90, label %bb91
  27 bb90:           ; preds = %bb84, %bb72
  28         unreachable
  29 bb91:           ; preds = %bb84
  30         ret i32 0
  31 ; CHECK: test2:
  32 ; CHECK: movnew
  33 ; CHECK: movswl
  34 }
  35
  36 declare i1 @return_false()
  37
  38
  39 ;; Select between two floating point constants.
  40 define float @test3(i32 %x) nounwind readnone {
  41 entry:
  42         %0 = icmp eq i32 %x, 0          ; <i1> [#uses=1]
  43         %iftmp.0.0 = select i1 %0, float 4.200000e+01, float 2.300000e+01               ; <float> [#uses=1]
  44         ret float %iftmp.0.0
  45 ; CHECK: test3:
  46 ; CHECK: movss  {{.*}},4), %xmm0
  47 }
  48
  49 define signext i8 @test4(i8* nocapture %P, double %F) nounwind readonly {
  50 entry:
  51         %0 = fcmp olt double %F, 4.200000e+01           ; <i1> [#uses=1]
  52         %iftmp.0.0 = select i1 %0, i32 4, i32 0         ; <i32> [#uses=1]
  53         %1 = getelementptr i8* %P, i32 %iftmp.0.0               ; <i8*> [#uses=1]
  54         %2 = load i8* %1, align 1               ; <i8> [#uses=1]
  55         ret i8 %2
  56 ; CHECK: test4:
  57 ; CHECK: movsbl ({{.*}},4), %eax
  58 }
  59
  60 define void @test5(i1 %c, <2 x i16> %a, <2 x i16> %b, <2 x i16>* %p) nounwind {
  61   %x = select i1 %c, <2 x i16> %a, <2 x i16> %b
  62   store <2 x i16> %x, <2 x i16>* %p
  63   ret void
  64 ; CHECK: test5:
  65 }
  66
  67 define void @test6(i32 %C, <4 x float>* %A, <4 x float>* %B) nounwind {
  68         %tmp = load <4 x float>* %A             ; <<4 x float>> [#uses=1]
  69         %tmp3 = load <4 x float>* %B            ; <<4 x float>> [#uses=2]
  70         %tmp9 = fmul <4 x float> %tmp3, %tmp3            ; <<4 x float>> [#uses=1]
  71         %tmp.upgrd.1 = icmp eq i32 %C, 0                ; <i1> [#uses=1]
  72         %iftmp.38.0 = select i1 %tmp.upgrd.1, <4 x float> %tmp9, <4 x float> %tmp               ; <<4 x float>> [#uses=1]
  73         store <4 x float> %iftmp.38.0, <4 x float>* %A
  74         ret void
  75 ; Verify that the fmul gets sunk into the one part of the diamond where it is
  76 ; needed.
  77 ; CHECK: test6:
  78 ; CHECK: je
  79 ; CHECK: ret
  80 ; CHECK: mulps
  81 ; CHECK: ret
  82 }
  83
  84 ; Select with fp80's
  85 define x86_fp80 @test7(i32 %tmp8) nounwind {
  86         %tmp9 = icmp sgt i32 %tmp8, -1          ; <i1> [#uses=1]
  87         %retval = select i1 %tmp9, x86_fp80 0xK4005B400000000000000, x86_fp80 0xK40078700000000000000
  88         ret x86_fp80 %retval
  89 ; CHECK: test7:
  90 ; CHECK: leaq
  91 ; CHECK: fldt (%r{{.}}x,%r{{.}}x)
  92 }
  93
  94 ; widening select v6i32 and then a sub
  95 define void @test8(i1 %c, <6 x i32>* %dst.addr, <6 x i32> %src1,<6 x i32> %src2) nounwind {
  96         %x = select i1 %c, <6 x i32> %src1, <6 x i32> %src2
  97         %val = sub <6 x i32> %x, < i32 1, i32 1, i32 1, i32 1, i32 1, i32 1 >
  98         store <6 x i32> %val, <6 x i32>* %dst.addr
  99         ret void
 100
 101 ; CHECK: test8:
 102 }
 103
 104
 105 ;; Test integer select between values and constants.
 106
 107 define i64 @test9(i64 %x, i64 %y) nounwind readnone ssp noredzone {
 108   %cmp = icmp ne i64 %x, 0
 109   %cond = select i1 %cmp, i64 %y, i64 -1
 110   ret i64 %cond
 111 ; CHECK: test9:
 112 ; CHECK: cmpq   $1, %rdi
 113 ; CHECK: sbbq   %rax, %rax
 114 ; CHECK: orq    %rsi, %rax
 115 ; CHECK: ret
 116 }
 117
 118 ;; Same as test9
 119 define i64 @test9a(i64 %x, i64 %y) nounwind readnone ssp noredzone {
 120   %cmp = icmp eq i64 %x, 0
 121   %cond = select i1 %cmp, i64 -1, i64 %y
 122   ret i64 %cond
 123 ; CHECK: test9a:
 124 ; CHECK: cmpq   $1, %rdi
 125 ; CHECK: sbbq   %rax, %rax
 126 ; CHECK: orq    %rsi, %rax
 127 ; CHECK: ret
 128 }
 129
 130 define i64 @test9b(i64 %x, i64 %y) nounwind readnone ssp noredzone {
 131   %cmp = icmp eq i64 %x, 0
 132   %A = sext i1 %cmp to i64
 133   %cond = or i64 %y, %A
 134   ret i64 %cond
 135 ; CHECK: test9b:
 136 ; CHECK: cmpq   $1, %rdi
 137 ; CHECK: sbbq   %rax, %rax
 138 ; CHECK: orq    %rsi, %rax
 139 ; CHECK: ret
 140 }
 141
 142 ;; Select between -1 and 1.
 143 define i64 @test10(i64 %x, i64 %y) nounwind readnone ssp noredzone {
 144   %cmp = icmp eq i64 %x, 0
 145   %cond = select i1 %cmp, i64 -1, i64 1
 146   ret i64 %cond
 147 ; CHECK: test10:
 148 ; CHECK: cmpq   $1, %rdi
 149 ; CHECK: sbbq   %rax, %rax
 150 ; CHECK: orq    $1, %rax
 151 ; CHECK: ret
 152 }
 153
 154
 155
 156 define i64 @test11(i64 %x, i64 %y) nounwind readnone ssp noredzone {
 157   %cmp = icmp eq i64 %x, 0
 158   %cond = select i1 %cmp, i64 %y, i64 -1
 159   ret i64 %cond
 160 ; CHECK: test11:
 161 ; CHECK: cmpq   $1, %rdi
 162 ; CHECK: sbbq   %rax, %rax
 163 ; CHECK: notq %rax
 164 ; CHECK: orq    %rsi, %rax
 165 ; CHECK: ret
 166 }
 167
 168 define i64 @test11a(i64 %x, i64 %y) nounwind readnone ssp noredzone {
 169   %cmp = icmp ne i64 %x, 0
 170   %cond = select i1 %cmp, i64 -1, i64 %y
 171   ret i64 %cond
 172 ; CHECK: test11a:
 173 ; CHECK: cmpq   $1, %rdi
 174 ; CHECK: sbbq   %rax, %rax
 175 ; CHECK: notq %rax
 176 ; CHECK: orq    %rsi, %rax
 177 ; CHECK: ret
 178 }
 179
 180
 181 declare noalias i8* @_Znam(i64) noredzone
 182
 183 define noalias i8* @test12(i64 %count) nounwind ssp noredzone {
 184 entry:
 185   %A = tail call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %count, i64 4)
 186   %B = extractvalue { i64, i1 } %A, 1
 187   %C = extractvalue { i64, i1 } %A, 0
 188   %D = select i1 %B, i64 -1, i64 %C
 189   %call = tail call noalias i8* @_Znam(i64 %D) nounwind noredzone
 190   ret i8* %call
 191 ; CHECK: test12:
 192 ; CHECK: mulq
 193 ; CHECK: movq $-1, %rdi
 194 ; CHECK: cmovnoq        %rax, %rdi
 195 ; CHECK: jmp    __Znam
 196 }
 197
 198 declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) nounwind readnone
 199
 200 define i32 @test13(i32 %a, i32 %b) nounwind {
 201   %c = icmp ult i32 %a, %b
 202   %d = sext i1 %c to i32
 203   ret i32 %d
 204 ; CHECK: test13:
 205 ; CHECK: cmpl
 206 ; CHECK-NEXT: sbbl
 207 ; CHECK-NEXT: ret
 208 }
 209
 210 define i32 @test14(i32 %a, i32 %b) nounwind {
 211   %c = icmp uge i32 %a, %b
 212   %d = sext i1 %c to i32
 213   ret i32 %d
 214 ; CHECK: test14:
 215 ; CHECK: cmpl
 216 ; CHECK-NEXT: sbbl
 217 ; CHECK-NEXT: notl
 218 ; CHECK-NEXT: ret
 219 }
 220