test/CodeGen/X86/select.ll

   1 ; RUN: llc < %s -march=x86-64 | 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: jne
  79 ; CHECK: mulps
  80 ; CHECK: ret
  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: leaq
  90 ; CHECK: fldt (%r{{.}}x,%r{{.}}x)
  91 }
  92
  93 ; widening select v6i32 and then a sub
  94 define void @test8(i1 %c, <6 x i32>* %dst.addr, <6 x i32> %src1,<6 x i32> %src2) nounwind {
  95         %x = select i1 %c, <6 x i32> %src1, <6 x i32> %src2
  96         %val = sub <6 x i32> %x, < i32 1, i32 1, i32 1, i32 1, i32 1, i32 1 >
  97         store <6 x i32> %val, <6 x i32>* %dst.addr
  98         ret void
  99 }