167 lines · plain
1; Test that vectors are scalarized/lowered correctly.2; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -mcpu=g5 > %t3; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -mcpu=g3 >> %t4 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;;; TEST HANDLING OF VARIOUS VECTOR SIZES13 14define void @test_f1(ptr %P, ptr %Q, ptr %S) {15 %p = load %f1, ptr %P ; <%f1> [#uses=1]16 %q = load %f1, ptr %Q ; <%f1> [#uses=1]17 %R = fadd %f1 %p, %q ; <%f1> [#uses=1]18 store %f1 %R, ptr %S19 ret void20}21 22define void @test_f2(ptr %P, ptr %Q, ptr %S) {23 %p = load %f2, ptr %P ; <%f2> [#uses=1]24 %q = load %f2, ptr %Q ; <%f2> [#uses=1]25 %R = fadd %f2 %p, %q ; <%f2> [#uses=1]26 store %f2 %R, ptr %S27 ret void28}29 30define void @test_f4(ptr %P, ptr %Q, ptr %S) {31 %p = load %f4, ptr %P ; <%f4> [#uses=1]32 %q = load %f4, ptr %Q ; <%f4> [#uses=1]33 %R = fadd %f4 %p, %q ; <%f4> [#uses=1]34 store %f4 %R, ptr %S35 ret void36}37 38define void @test_f8(ptr %P, ptr %Q, ptr %S) {39 %p = load %f8, ptr %P ; <%f8> [#uses=1]40 %q = load %f8, ptr %Q ; <%f8> [#uses=1]41 %R = fadd %f8 %p, %q ; <%f8> [#uses=1]42 store %f8 %R, ptr %S43 ret void44}45 46define void @test_fmul(ptr %P, ptr %Q, ptr %S) {47 %p = load %f8, ptr %P ; <%f8> [#uses=1]48 %q = load %f8, ptr %Q ; <%f8> [#uses=1]49 %R = fmul %f8 %p, %q ; <%f8> [#uses=1]50 store %f8 %R, ptr %S51 ret void52}53 54define void @test_div(ptr %P, ptr %Q, ptr %S) {55 %p = load %f8, ptr %P ; <%f8> [#uses=1]56 %q = load %f8, ptr %Q ; <%f8> [#uses=1]57 %R = fdiv %f8 %p, %q ; <%f8> [#uses=1]58 store %f8 %R, ptr %S59 ret void60}61 62define void @test_rem(ptr %P, ptr %Q, ptr %S) {63 %p = load %f8, ptr %P ; <%f8> [#uses=1]64 %q = load %f8, ptr %Q ; <%f8> [#uses=1]65 %R = frem %f8 %p, %q ; <%f8> [#uses=1]66 store %f8 %R, ptr %S67 ret void68}69 70;;; TEST VECTOR CONSTRUCTS71 72define void @test_cst(ptr %P, ptr %S) {73 %p = load %f4, ptr %P ; <%f4> [#uses=1]74 %R = fadd %f4 %p, < float 0x3FB99999A0000000, float 1.000000e+00, float75 2.000000e+00, float 4.500000e+00 > ; <%f4> [#uses=1]76 store %f4 %R, ptr %S77 ret void78}79 80define void @test_zero(ptr %P, ptr %S) {81 %p = load %f4, ptr %P ; <%f4> [#uses=1]82 %R = fadd %f4 %p, zeroinitializer ; <%f4> [#uses=1]83 store %f4 %R, ptr %S84 ret void85}86 87define void @test_undef(ptr %P, ptr %S) {88 %p = load %f4, ptr %P ; <%f4> [#uses=1]89 %R = fadd %f4 %p, undef ; <%f4> [#uses=1]90 store %f4 %R, ptr %S91 ret void92}93 94define void @test_constant_insert(ptr %S) {95 %R = insertelement %f4 zeroinitializer, float 1.000000e+01, i32 0 96 ; <%f4> [#uses=1]97 store %f4 %R, ptr %S98 ret void99}100 101define void @test_variable_buildvector(float %F, ptr %S) {102 %R = insertelement %f4 zeroinitializer, float %F, i32 0 103 store %f4 %R, ptr %S104 ret void105}106 107define void @test_scalar_to_vector(float %F, ptr %S) {108 %R = insertelement %f4 undef, float %F, i32 0 109 store %f4 %R, ptr %S110 ret void111}112 113define float @test_extract_elt(ptr %P) {114 %p = load %f8, ptr %P ; <%f8> [#uses=1]115 %R = extractelement %f8 %p, i32 3 ; <float> [#uses=1]116 ret float %R117}118 119define double @test_extract_elt2(ptr %P) {120 %p = load %d8, ptr %P ; <%d8> [#uses=1]121 %R = extractelement %d8 %p, i32 3 ; <double> [#uses=1]122 ret double %R123}124 125define void @test_cast_1(ptr %b, ptr %a) {126 %tmp = load %f4, ptr %b ; <%f4> [#uses=1]127 %tmp2 = fadd %f4 %tmp, < float 1.000000e+00, float 2.000000e+00, float1283.000000e+00, float 4.000000e+00 > ; <%f4> [#uses=1]129 %tmp3 = bitcast %f4 %tmp2 to %i4 ; <%i4> [#uses=1]130 %tmp4 = add %i4 %tmp3, < i32 1, i32 2, i32 3, i32 4 > 131 store %i4 %tmp4, ptr %a132 ret void133}134 135define void @test_cast_2(ptr %a, ptr %b) {136 %T = load %f8, ptr %a ; <%f8> [#uses=1]137 %T2 = bitcast %f8 %T to <8 x i32> 138 store <8 x i32> %T2, ptr %b139 ret void140}141 142 143;;; TEST IMPORTANT IDIOMS144 145define void @splat(ptr %P, ptr %Q, float %X) {146 %tmp = insertelement %f4 undef, float %X, i32 0 147 %tmp2 = insertelement %f4 %tmp, float %X, i32 1 148 %tmp4 = insertelement %f4 %tmp2, float %X, i32 2 149 %tmp6 = insertelement %f4 %tmp4, float %X, i32 3 150 %q = load %f4, ptr %Q ; <%f4> [#uses=1]151 %R = fadd %f4 %q, %tmp6 ; <%f4> [#uses=1]152 store %f4 %R, ptr %P153 ret void154}155 156define void @splat_i4(ptr %P, ptr %Q, i32 %X) {157 %tmp = insertelement %i4 undef, i32 %X, i32 0 158 %tmp2 = insertelement %i4 %tmp, i32 %X, i32 1 159 %tmp4 = insertelement %i4 %tmp2, i32 %X, i32 2 160 %tmp6 = insertelement %i4 %tmp4, i32 %X, i32 3 161 %q = load %i4, ptr %Q ; <%i4> [#uses=1]162 %R = add %i4 %q, %tmp6 ; <%i4> [#uses=1]163 store %i4 %R, ptr %P164 ret void165}166 167