165 lines · plain
1; Test that vectors are scalarized/lowered correctly.2; RUN: llc < %s3 4%d8 = type <8 x double>5%f1 = type <1 x float>6%f2 = type <2 x float>7%f4 = type <4 x float>8%f8 = type <8 x float>9%i4 = type <4 x i32>10 11;;; TEST HANDLING OF VARIOUS VECTOR SIZES12 13define void @test_f1(ptr %P, ptr %Q, ptr %S) {14 %p = load %f1, ptr %P ; <%f1> [#uses=1]15 %q = load %f1, ptr %Q ; <%f1> [#uses=1]16 %R = fadd %f1 %p, %q ; <%f1> [#uses=1]17 store %f1 %R, ptr %S18 ret void19}20 21define void @test_f2(ptr %P, ptr %Q, ptr %S) {22 %p = load %f2, ptr %P ; <%f2> [#uses=1]23 %q = load %f2, ptr %Q ; <%f2> [#uses=1]24 %R = fadd %f2 %p, %q ; <%f2> [#uses=1]25 store %f2 %R, ptr %S26 ret void27}28 29define void @test_f4(ptr %P, ptr %Q, ptr %S) {30 %p = load %f4, ptr %P ; <%f4> [#uses=1]31 %q = load %f4, ptr %Q ; <%f4> [#uses=1]32 %R = fadd %f4 %p, %q ; <%f4> [#uses=1]33 store %f4 %R, ptr %S34 ret void35}36 37define void @test_f8(ptr %P, ptr %Q, ptr %S) {38 %p = load %f8, ptr %P ; <%f8> [#uses=1]39 %q = load %f8, ptr %Q ; <%f8> [#uses=1]40 %R = fadd %f8 %p, %q ; <%f8> [#uses=1]41 store %f8 %R, ptr %S42 ret void43}44 45define void @test_fmul(ptr %P, ptr %Q, ptr %S) {46 %p = load %f8, ptr %P ; <%f8> [#uses=1]47 %q = load %f8, ptr %Q ; <%f8> [#uses=1]48 %R = fmul %f8 %p, %q ; <%f8> [#uses=1]49 store %f8 %R, ptr %S50 ret void51}52 53define void @test_div(ptr %P, ptr %Q, ptr %S) {54 %p = load %f8, ptr %P ; <%f8> [#uses=1]55 %q = load %f8, ptr %Q ; <%f8> [#uses=1]56 %R = fdiv %f8 %p, %q ; <%f8> [#uses=1]57 store %f8 %R, ptr %S58 ret void59}60 61;;; TEST VECTOR CONSTRUCTS62 63 64define void @test_cst(ptr %P, ptr %S) {65 %p = load %f4, ptr %P ; <%f4> [#uses=1]66 %R = fadd %f4 %p, < float 0x3FB99999A0000000, float 1.000000e+00, float 2.000000e+00, float 4.500000e+00 > ; <%f4> [#uses=1]67 store %f4 %R, ptr %S68 ret void69}70 71define void @test_zero(ptr %P, ptr %S) {72 %p = load %f4, ptr %P ; <%f4> [#uses=1]73 %R = fadd %f4 %p, zeroinitializer ; <%f4> [#uses=1]74 store %f4 %R, ptr %S75 ret void76}77 78define void @test_undef(ptr %P, ptr %S) {79 %p = load %f4, ptr %P ; <%f4> [#uses=1]80 %R = fadd %f4 %p, undef ; <%f4> [#uses=1]81 store %f4 %R, ptr %S82 ret void83}84 85define void @test_constant_insert(ptr %S) {86 %R = insertelement %f4 zeroinitializer, float 1.000000e+01, i32 0 ; <%f4> [#uses=1]87 store %f4 %R, ptr %S88 ret void89}90 91define void @test_variable_buildvector(float %F, ptr %S) {92 %R = insertelement %f4 zeroinitializer, float %F, i32 0 ; <%f4> [#uses=1]93 store %f4 %R, ptr %S94 ret void95}96 97define void @test_scalar_to_vector(float %F, ptr %S) {98 %R = insertelement %f4 undef, float %F, i32 0 ; <%f4> [#uses=1]99 store %f4 %R, ptr %S100 ret void101}102 103define float @test_extract_elt(ptr %P) {104 %p = load %f8, ptr %P ; <%f8> [#uses=1]105 %R = extractelement %f8 %p, i32 3 ; <float> [#uses=1]106 ret float %R107}108 109define double @test_extract_elt2(ptr %P) {110 %p = load %d8, ptr %P ; <%d8> [#uses=1]111 %R = extractelement %d8 %p, i32 3 ; <double> [#uses=1]112 ret double %R113}114 115define void @test_cast_1(ptr %b, ptr %a) {116 %tmp = load %f4, ptr %b ; <%f4> [#uses=1]117 %tmp2 = fadd %f4 %tmp, < float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00 > ; <%f4> [#uses=1]118 %tmp3 = bitcast %f4 %tmp2 to %i4 ; <%i4> [#uses=1]119 %tmp4 = add %i4 %tmp3, < i32 1, i32 2, i32 3, i32 4 > ; <%i4> [#uses=1]120 store %i4 %tmp4, ptr %a121 ret void122}123 124define void @test_cast_2(ptr %a, ptr %b) {125 %T = load %f8, ptr %a ; <%f8> [#uses=1]126 %T2 = bitcast %f8 %T to <8 x i32> ; <<8 x i32>> [#uses=1]127 store <8 x i32> %T2, ptr %b128 ret void129}130 131;;; TEST IMPORTANT IDIOMS132 133define void @splat(ptr %P, ptr %Q, float %X) {134 %tmp = insertelement %f4 undef, float %X, i32 0 ; <%f4> [#uses=1]135 %tmp2 = insertelement %f4 %tmp, float %X, i32 1 ; <%f4> [#uses=1]136 %tmp4 = insertelement %f4 %tmp2, float %X, i32 2 ; <%f4> [#uses=1]137 %tmp6 = insertelement %f4 %tmp4, float %X, i32 3 ; <%f4> [#uses=1]138 %q = load %f4, ptr %Q ; <%f4> [#uses=1]139 %R = fadd %f4 %q, %tmp6 ; <%f4> [#uses=1]140 store %f4 %R, ptr %P141 ret void142}143 144define void @splat_i4(ptr %P, ptr %Q, i32 %X) {145 %tmp = insertelement %i4 undef, i32 %X, i32 0 ; <%i4> [#uses=1]146 %tmp2 = insertelement %i4 %tmp, i32 %X, i32 1 ; <%i4> [#uses=1]147 %tmp4 = insertelement %i4 %tmp2, i32 %X, i32 2 ; <%i4> [#uses=1]148 %tmp6 = insertelement %i4 %tmp4, i32 %X, i32 3 ; <%i4> [#uses=1]149 %q = load %i4, ptr %Q ; <%i4> [#uses=1]150 %R = add %i4 %q, %tmp6 ; <%i4> [#uses=1]151 store %i4 %R, ptr %P152 ret void153}154 155define <2 x ptr> @vector_gep(<2 x ptr> %a) {156 %w = getelementptr [3 x {i32, i32}], <2 x ptr> %a, <2 x i32> <i32 1, i32 2>, <2 x i32> <i32 2, i32 3>, <2 x i32> <i32 1, i32 1>157 ret <2 x ptr> %w158}159 160define i32 @extractelt_constant_bitcast() {161 %1 = bitcast i64 4 to <2 x i32>162 %2 = extractelement <2 x i32> %1, i32 0163 ret i32 %2164}165