1; Test that vectors are scalarized/lowered correctly. 2; RUN: llc < %s -march=x86 -mcpu=i386 3; RUN: llc < %s -march=x86 -mcpu=yonah 4 5%d8 = type <8 x double> 6%f1 = type <1 x float> 7%f2 = type <2 x float> 8%f4 = type <4 x float> 9%f8 = type <8 x float> 10%i4 = type <4 x i32> 11 12 13;;; TEST HANDLING OF VARIOUS VECTOR SIZES 14 15define void @test_f1(%f1* %P, %f1* %Q, %f1* %S) { 16 %p = load %f1, %f1* %P ; <%f1> [#uses=1] 17 %q = load %f1, %f1* %Q ; <%f1> [#uses=1] 18 %R = fadd %f1 %p, %q ; <%f1> [#uses=1] 19 store %f1 %R, %f1* %S 20 ret void 21} 22 23define void @test_f2(%f2* %P, %f2* %Q, %f2* %S) { 24 %p = load %f2, %f2* %P ; <%f2> [#uses=1] 25 %q = load %f2, %f2* %Q ; <%f2> [#uses=1] 26 %R = fadd %f2 %p, %q ; <%f2> [#uses=1] 27 store %f2 %R, %f2* %S 28 ret void 29} 30 31define void @test_f4(%f4* %P, %f4* %Q, %f4* %S) { 32 %p = load %f4, %f4* %P ; <%f4> [#uses=1] 33 %q = load %f4, %f4* %Q ; <%f4> [#uses=1] 34 %R = fadd %f4 %p, %q ; <%f4> [#uses=1] 35 store %f4 %R, %f4* %S 36 ret void 37} 38 39define void @test_f8(%f8* %P, %f8* %Q, %f8* %S) { 40 %p = load %f8, %f8* %P ; <%f8> [#uses=1] 41 %q = load %f8, %f8* %Q ; <%f8> [#uses=1] 42 %R = fadd %f8 %p, %q ; <%f8> [#uses=1] 43 store %f8 %R, %f8* %S 44 ret void 45} 46 47define void @test_fmul(%f8* %P, %f8* %Q, %f8* %S) { 48 %p = load %f8, %f8* %P ; <%f8> [#uses=1] 49 %q = load %f8, %f8* %Q ; <%f8> [#uses=1] 50 %R = fmul %f8 %p, %q ; <%f8> [#uses=1] 51 store %f8 %R, %f8* %S 52 ret void 53} 54 55define void @test_div(%f8* %P, %f8* %Q, %f8* %S) { 56 %p = load %f8, %f8* %P ; <%f8> [#uses=1] 57 %q = load %f8, %f8* %Q ; <%f8> [#uses=1] 58 %R = fdiv %f8 %p, %q ; <%f8> [#uses=1] 59 store %f8 %R, %f8* %S 60 ret void 61} 62 63;;; TEST VECTOR CONSTRUCTS 64 65define void @test_cst(%f4* %P, %f4* %S) { 66 %p = load %f4, %f4* %P ; <%f4> [#uses=1] 67 %R = fadd %f4 %p, < float 0x3FB99999A0000000, float 1.000000e+00, float 2.000000e+00, float 4.500000e+00 > ; <%f4> [#uses=1] 68 store %f4 %R, %f4* %S 69 ret void 70} 71 72define void @test_zero(%f4* %P, %f4* %S) { 73 %p = load %f4, %f4* %P ; <%f4> [#uses=1] 74 %R = fadd %f4 %p, zeroinitializer ; <%f4> [#uses=1] 75 store %f4 %R, %f4* %S 76 ret void 77} 78 79define void @test_undef(%f4* %P, %f4* %S) { 80 %p = load %f4, %f4* %P ; <%f4> [#uses=1] 81 %R = fadd %f4 %p, undef ; <%f4> [#uses=1] 82 store %f4 %R, %f4* %S 83 ret void 84} 85 86define void @test_constant_insert(%f4* %S) { 87 %R = insertelement %f4 zeroinitializer, float 1.000000e+01, i32 0 ; <%f4> [#uses 88 store %f4 %R, %f4* %S 89 ret void 90} 91 92define void @test_variable_buildvector(float %F, %f4* %S) { 93 %R = insertelement %f4 zeroinitializer, float %F, i32 0 ; <%f4> [#uses=1] 94 store %f4 %R, %f4* %S 95 ret void 96} 97 98define void @test_scalar_to_vector(float %F, %f4* %S) { 99 %R = insertelement %f4 undef, float %F, i32 0 ; <%f4> [#uses=1] 100 store %f4 %R, %f4* %S 101 ret void 102} 103 104define float @test_extract_elt(%f8* %P) { 105 %p = load %f8, %f8* %P ; <%f8> [#uses=1] 106 %R = extractelement %f8 %p, i32 3 ; <float> [#uses=1] 107 ret float %R 108} 109 110define double @test_extract_elt2(%d8* %P) { 111 %p = load %d8, %d8* %P ; <%d8> [#uses=1] 112 %R = extractelement %d8 %p, i32 3 ; <double> [#uses=1] 113 ret double %R 114} 115 116define void @test_cast_1(%f4* %b, %i4* %a) { 117 %tmp = load %f4, %f4* %b ; <%f4> [#uses=1] 118 %tmp2 = fadd %f4 %tmp, < float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00 > ; <%f4> [#uses=1] 119 %tmp3 = bitcast %f4 %tmp2 to %i4 ; <%i4> [#uses=1] 120 %tmp4 = add %i4 %tmp3, < i32 1, i32 2, i32 3, i32 4 > ; <%i4> [#uses=1] 121 store %i4 %tmp4, %i4* %a 122 ret void 123} 124 125define void @test_cast_2(%f8* %a, <8 x i32>* %b) { 126 %T = load %f8, %f8* %a ; <%f8> [#uses=1] 127 %T2 = bitcast %f8 %T to <8 x i32> ; <<8 x i32>> [#uses=1] 128 store <8 x i32> %T2, <8 x i32>* %b 129 ret void 130} 131 132 133;;; TEST IMPORTANT IDIOMS 134 135define void @splat(%f4* %P, %f4* %Q, float %X) { 136 %tmp = insertelement %f4 undef, float %X, i32 0 ; <%f4> [#uses=1] 137 %tmp2 = insertelement %f4 %tmp, float %X, i32 1 ; <%f4> [#uses=1] 138 %tmp4 = insertelement %f4 %tmp2, float %X, i32 2 ; <%f4> [#uses=1] 139 %tmp6 = insertelement %f4 %tmp4, float %X, i32 3 ; <%f4> [#uses=1] 140 %q = load %f4, %f4* %Q ; <%f4> [#uses=1] 141 %R = fadd %f4 %q, %tmp6 ; <%f4> [#uses=1] 142 store %f4 %R, %f4* %P 143 ret void 144} 145 146define void @splat_i4(%i4* %P, %i4* %Q, i32 %X) { 147 %tmp = insertelement %i4 undef, i32 %X, i32 0 ; <%i4> [#uses=1] 148 %tmp2 = insertelement %i4 %tmp, i32 %X, i32 1 ; <%i4> [#uses=1] 149 %tmp4 = insertelement %i4 %tmp2, i32 %X, i32 2 ; <%i4> [#uses=1] 150 %tmp6 = insertelement %i4 %tmp4, i32 %X, i32 3 ; <%i4> [#uses=1] 151 %q = load %i4, %i4* %Q ; <%i4> [#uses=1] 152 %R = add %i4 %q, %tmp6 ; <%i4> [#uses=1] 153 store %i4 %R, %i4* %P 154 ret void 155} 156 157