1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 define i16 @test1(float %f) {
7 ; CHECK-NOT: insertelement {{.*}} 0.00
8 ; CHECK-NOT: call {{.*}} @llvm.x86.sse.mul
9 ; CHECK-NOT: call {{.*}} @llvm.x86.sse.sub
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]
24 define i32 @test2(float %f) {
26 ; CHECK-NOT: insertelement
27 ; CHECK-NOT: extractelement
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
39 define void @get_image() nounwind {
41 ; CHECK-NOT: extractelement
44 %0 = call i32 @fgetc(i8* null) nounwind ; <i32> [#uses=1]
45 %1 = trunc i32 %0 to i8 ; <i8> [#uses=1]
46 %tmp2 = insertelement <100 x i8> zeroinitializer, i8 %1, i32 1 ; <<100 x i8>> [#uses=1]
47 %tmp1 = extractelement <100 x i8> %tmp2, i32 0 ; <i8> [#uses=1]
48 %2 = icmp eq i8 %tmp1, 80 ; <i1> [#uses=1]
49 br i1 %2, label %bb2, label %bb3
54 bb3: ; preds = %bb2, %entry
59 define void @vac(<4 x float>* nocapture %a) nounwind {
64 %tmp1 = load <4 x float>* %a ; <<4 x float>> [#uses=1]
65 %vecins = insertelement <4 x float> %tmp1, float 0.000000e+00, i32 0 ; <<4 x float>> [#uses=1]
66 %vecins4 = insertelement <4 x float> %vecins, float 0.000000e+00, i32 1; <<4 x float>> [#uses=1]
67 %vecins6 = insertelement <4 x float> %vecins4, float 0.000000e+00, i32 2; <<4 x float>> [#uses=1]
68 %vecins8 = insertelement <4 x float> %vecins6, float 0.000000e+00, i32 3; <<4 x float>> [#uses=1]
69 store <4 x float> %vecins8, <4 x float>* %a
73 declare i32 @fgetc(i8*)
75 declare <4 x float> @llvm.x86.sse.sub.ss(<4 x float>, <4 x float>)
77 declare <4 x float> @llvm.x86.sse.mul.ss(<4 x float>, <4 x float>)
79 declare <4 x float> @llvm.x86.sse.min.ss(<4 x float>, <4 x float>)
81 declare <4 x float> @llvm.x86.sse.max.ss(<4 x float>, <4 x float>)
83 declare i32 @llvm.x86.sse.cvttss2si(<4 x float>)