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