test/Transforms/InstCombine/vec_demanded_elts.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 define i16 @test1(float %f) {
   4 entry:
   5 ; CHECK: @test1
   6 ; CHECK: fmul float
   7 ; CHECK-NOT: insertelement {{.*}} 0.00
   8 ; CHECK-NOT: call {{.*}} @llvm.x86.sse.mul
   9 ; CHECK-NOT: call {{.*}} @llvm.x86.sse.sub
  10 ; CHECK: ret
  11         %tmp = insertelement <4 x float> undef, float %f, i32 0         ; <<4 x float>> [#uses=1]
  12         %tmp10 = insertelement <4 x float> %tmp, float 0.000000e+00, i32 1              ; <<4 x float>> [#uses=1]
  13         %tmp11 = insertelement <4 x float> %tmp10, float 0.000000e+00, i32 2            ; <<4 x float>> [#uses=1]
  14         %tmp12 = insertelement <4 x float> %tmp11, float 0.000000e+00, i32 3            ; <<4 x float>> [#uses=1]
  15         %tmp28 = tail call <4 x float> @llvm.x86.sse.sub.ss( <4 x float> %tmp12, <4 x float> < float 1.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00 > )               ; <<4 x float>> [#uses=1]
  16         %tmp37 = tail call <4 x float> @llvm.x86.sse.mul.ss( <4 x float> %tmp28, <4 x float> < float 5.000000e-01, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00 > )               ; <<4 x float>> [#uses=1]
  17         %tmp48 = tail call <4 x float> @llvm.x86.sse.min.ss( <4 x float> %tmp37, <4 x float> < float 6.553500e+04, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00 > )               ; <<4 x float>> [#uses=1]
  18         %tmp59 = tail call <4 x float> @llvm.x86.sse.max.ss( <4 x float> %tmp48, <4 x float> zeroinitializer )          ; <<4 x float>> [#uses=1]
  19         %tmp.upgrd.1 = tail call i32 @llvm.x86.sse.cvttss2si( <4 x float> %tmp59 )              ; <i32> [#uses=1]
  20         %tmp69 = trunc i32 %tmp.upgrd.1 to i16          ; <i16> [#uses=1]
  21         ret i16 %tmp69
  22 }
  23
  24 define i32 @test2(float %f) {
  25 ; CHECK: @test2
  26 ; CHECK-NOT: insertelement
  27 ; CHECK-NOT: extractelement
  28 ; CHECK: ret
  29   %tmp5 = fmul float %f, %f
  30   %tmp9 = insertelement <4 x float> undef, float %tmp5, i32 0
  31   %tmp10 = insertelement <4 x float> %tmp9, float 0.000000e+00, i32 1
  32   %tmp11 = insertelement <4 x float> %tmp10, float 0.000000e+00, i32 2
  33   %tmp12 = insertelement <4 x float> %tmp11, float 0.000000e+00, i32 3
  34   %tmp19 = bitcast <4 x float> %tmp12 to <4 x i32>
  35   %tmp21 = extractelement <4 x i32> %tmp19, i32 0
  36   ret i32 %tmp21
  37 }
  38
  39 declare <4 x float> @llvm.x86.sse.sub.ss(<4 x float>, <4 x float>)
  40
  41 declare <4 x float> @llvm.x86.sse.mul.ss(<4 x float>, <4 x float>)
  42
  43 declare <4 x float> @llvm.x86.sse.min.ss(<4 x float>, <4 x float>)
  44
  45 declare <4 x float> @llvm.x86.sse.max.ss(<4 x float>, <4 x float>)
  46
  47 declare i32 @llvm.x86.sse.cvttss2si(<4 x float>)