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