157 lines · plain
1; Test that vectors are scalarized/lowered correctly.2; RUN: llc < %s -mtriple=i686-- -mcpu=i3863; RUN: llc < %s -mtriple=i686-- -mcpu=yonah4 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 SIZES14 15define void @test_f1(ptr %P, ptr %Q, ptr %S) {16 %p = load %f1, ptr %P ; <%f1> [#uses=1]17 %q = load %f1, ptr %Q ; <%f1> [#uses=1]18 %R = fadd %f1 %p, %q ; <%f1> [#uses=1]19 store %f1 %R, ptr %S20 ret void21}22 23define void @test_f2(ptr %P, ptr %Q, ptr %S) {24 %p = load %f2, ptr %P ; <%f2> [#uses=1]25 %q = load %f2, ptr %Q ; <%f2> [#uses=1]26 %R = fadd %f2 %p, %q ; <%f2> [#uses=1]27 store %f2 %R, ptr %S28 ret void29}30 31define void @test_f4(ptr %P, ptr %Q, ptr %S) {32 %p = load %f4, ptr %P ; <%f4> [#uses=1]33 %q = load %f4, ptr %Q ; <%f4> [#uses=1]34 %R = fadd %f4 %p, %q ; <%f4> [#uses=1]35 store %f4 %R, ptr %S36 ret void37}38 39define void @test_f8(ptr %P, ptr %Q, ptr %S) {40 %p = load %f8, ptr %P ; <%f8> [#uses=1]41 %q = load %f8, ptr %Q ; <%f8> [#uses=1]42 %R = fadd %f8 %p, %q ; <%f8> [#uses=1]43 store %f8 %R, ptr %S44 ret void45}46 47define void @test_fmul(ptr %P, ptr %Q, ptr %S) {48 %p = load %f8, ptr %P ; <%f8> [#uses=1]49 %q = load %f8, ptr %Q ; <%f8> [#uses=1]50 %R = fmul %f8 %p, %q ; <%f8> [#uses=1]51 store %f8 %R, ptr %S52 ret void53}54 55define void @test_div(ptr %P, ptr %Q, ptr %S) {56 %p = load %f8, ptr %P ; <%f8> [#uses=1]57 %q = load %f8, ptr %Q ; <%f8> [#uses=1]58 %R = fdiv %f8 %p, %q ; <%f8> [#uses=1]59 store %f8 %R, ptr %S60 ret void61}62 63;;; TEST VECTOR CONSTRUCTS64 65define void @test_cst(ptr %P, ptr %S) {66 %p = load %f4, ptr %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, ptr %S69 ret void70}71 72define void @test_zero(ptr %P, ptr %S) {73 %p = load %f4, ptr %P ; <%f4> [#uses=1]74 %R = fadd %f4 %p, zeroinitializer ; <%f4> [#uses=1]75 store %f4 %R, ptr %S76 ret void77}78 79define void @test_undef(ptr %P, ptr %S) {80 %p = load %f4, ptr %P ; <%f4> [#uses=1]81 %R = fadd %f4 %p, undef ; <%f4> [#uses=1]82 store %f4 %R, ptr %S83 ret void84}85 86define void @test_constant_insert(ptr %S) {87 %R = insertelement %f4 zeroinitializer, float 1.000000e+01, i32 0 ; <%f4> [#uses88 store %f4 %R, ptr %S89 ret void90}91 92define void @test_variable_buildvector(float %F, ptr %S) {93 %R = insertelement %f4 zeroinitializer, float %F, i32 0 ; <%f4> [#uses=1]94 store %f4 %R, ptr %S95 ret void96}97 98define void @test_scalar_to_vector(float %F, ptr %S) {99 %R = insertelement %f4 undef, float %F, i32 0 ; <%f4> [#uses=1]100 store %f4 %R, ptr %S101 ret void102}103 104define float @test_extract_elt(ptr %P) {105 %p = load %f8, ptr %P ; <%f8> [#uses=1]106 %R = extractelement %f8 %p, i32 3 ; <float> [#uses=1]107 ret float %R108}109 110define double @test_extract_elt2(ptr %P) {111 %p = load %d8, ptr %P ; <%d8> [#uses=1]112 %R = extractelement %d8 %p, i32 3 ; <double> [#uses=1]113 ret double %R114}115 116define void @test_cast_1(ptr %b, ptr %a) {117 %tmp = load %f4, ptr %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, ptr %a122 ret void123}124 125define void @test_cast_2(ptr %a, ptr %b) {126 %T = load %f8, ptr %a ; <%f8> [#uses=1]127 %T2 = bitcast %f8 %T to <8 x i32> ; <<8 x i32>> [#uses=1]128 store <8 x i32> %T2, ptr %b129 ret void130}131 132 133;;; TEST IMPORTANT IDIOMS134 135define void @splat(ptr %P, ptr %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, ptr %Q ; <%f4> [#uses=1]141 %R = fadd %f4 %q, %tmp6 ; <%f4> [#uses=1]142 store %f4 %R, ptr %P143 ret void144}145 146define void @splat_i4(ptr %P, ptr %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, ptr %Q ; <%i4> [#uses=1]152 %R = add %i4 %q, %tmp6 ; <%i4> [#uses=1]153 store %i4 %R, ptr %P154 ret void155}156 157