1 ; Tests for SSE2 and below, without SSE3+. 2 ; RUN: llc < %s -mtriple=i386-apple-darwin10 -mcpu=pentium4 -O3 | FileCheck %s 3 4 define void @test1(<2 x double>* %r, <2 x double>* %A, double %B) nounwind { 5 %tmp3 = load <2 x double>* %A, align 16 6 %tmp7 = insertelement <2 x double> undef, double %B, i32 0 7 %tmp9 = shufflevector <2 x double> %tmp3, <2 x double> %tmp7, <2 x i32> < i32 2, i32 1 > 8 store <2 x double> %tmp9, <2 x double>* %r, align 16 9 ret void 10 11 ; CHECK-LABEL: test1: 12 ; CHECK: movl 4(%esp), %eax 13 ; CHECK-NEXT: movl 8(%esp), %ecx 14 ; CHECK-NEXT: movapd (%ecx), %xmm0 15 ; CHECK-NEXT: movlpd 12(%esp), %xmm0 16 ; CHECK-NEXT: movapd %xmm0, (%eax) 17 ; CHECK-NEXT: ret 18 } 19 20 define void @test2(<2 x double>* %r, <2 x double>* %A, double %B) nounwind { 21 %tmp3 = load <2 x double>* %A, align 16 22 %tmp7 = insertelement <2 x double> undef, double %B, i32 0 23 %tmp9 = shufflevector <2 x double> %tmp3, <2 x double> %tmp7, <2 x i32> < i32 0, i32 2 > 24 store <2 x double> %tmp9, <2 x double>* %r, align 16 25 ret void 26 27 ; CHECK-LABEL: test2: 28 ; CHECK: movl 4(%esp), %eax 29 ; CHECK: movl 8(%esp), %ecx 30 ; CHECK-NEXT: movapd (%ecx), %xmm0 31 ; CHECK-NEXT: movhpd 12(%esp), %xmm0 32 ; CHECK-NEXT: movapd %xmm0, (%eax) 33 ; CHECK-NEXT: ret 34 } 35 36 37 define void @test3(<4 x float>* %res, <4 x float>* %A, <4 x float>* %B) nounwind { 38 %tmp = load <4 x float>* %B ; <<4 x float>> [#uses=2] 39 %tmp3 = load <4 x float>* %A ; <<4 x float>> [#uses=2] 40 %tmp.upgrd.1 = extractelement <4 x float> %tmp3, i32 0 ; <float> [#uses=1] 41 %tmp7 = extractelement <4 x float> %tmp, i32 0 ; <float> [#uses=1] 42 %tmp8 = extractelement <4 x float> %tmp3, i32 1 ; <float> [#uses=1] 43 %tmp9 = extractelement <4 x float> %tmp, i32 1 ; <float> [#uses=1] 44 %tmp10 = insertelement <4 x float> undef, float %tmp.upgrd.1, i32 0 ; <<4 x float>> [#uses=1] 45 %tmp11 = insertelement <4 x float> %tmp10, float %tmp7, i32 1 ; <<4 x float>> [#uses=1] 46 %tmp12 = insertelement <4 x float> %tmp11, float %tmp8, i32 2 ; <<4 x float>> [#uses=1] 47 %tmp13 = insertelement <4 x float> %tmp12, float %tmp9, i32 3 ; <<4 x float>> [#uses=1] 48 store <4 x float> %tmp13, <4 x float>* %res 49 ret void 50 ; CHECK: @test3 51 ; CHECK: unpcklps 52 } 53 54 define void @test4(<4 x float> %X, <4 x float>* %res) nounwind { 55 %tmp5 = shufflevector <4 x float> %X, <4 x float> undef, <4 x i32> < i32 2, i32 6, i32 3, i32 7 > ; <<4 x float>> [#uses=1] 56 store <4 x float> %tmp5, <4 x float>* %res 57 ret void 58 ; CHECK: @test4 59 ; CHECK: pshufd $50, %xmm0, %xmm0 60 } 61 62 define <4 x i32> @test5(i8** %ptr) nounwind { 63 ; CHECK-LABEL: test5: 64 ; CHECK: pxor 65 ; CHECK: punpcklbw 66 ; CHECK: punpcklwd 67 68 %tmp = load i8** %ptr ; <i8*> [#uses=1] 69 %tmp.upgrd.1 = bitcast i8* %tmp to float* ; <float*> [#uses=1] 70 %tmp.upgrd.2 = load float* %tmp.upgrd.1 ; <float> [#uses=1] 71 %tmp.upgrd.3 = insertelement <4 x float> undef, float %tmp.upgrd.2, i32 0 ; <<4 x float>> [#uses=1] 72 %tmp9 = insertelement <4 x float> %tmp.upgrd.3, float 0.000000e+00, i32 1 ; <<4 x float>> [#uses=1] 73 %tmp10 = insertelement <4 x float> %tmp9, float 0.000000e+00, i32 2 ; <<4 x float>> [#uses=1] 74 %tmp11 = insertelement <4 x float> %tmp10, float 0.000000e+00, i32 3 ; <<4 x float>> [#uses=1] 75 %tmp21 = bitcast <4 x float> %tmp11 to <16 x i8> ; <<16 x i8>> [#uses=1] 76 %tmp22 = shufflevector <16 x i8> %tmp21, <16 x i8> zeroinitializer, <16 x i32> < i32 0, i32 16, i32 1, i32 17, i32 2, i32 18, i32 3, i32 19, i32 4, i32 20, i32 5, i32 21, i32 6, i32 22, i32 7, i32 23 > ; <<16 x i8>> [#uses=1] 77 %tmp31 = bitcast <16 x i8> %tmp22 to <8 x i16> ; <<8 x i16>> [#uses=1] 78 %tmp.upgrd.4 = shufflevector <8 x i16> zeroinitializer, <8 x i16> %tmp31, <8 x i32> < i32 0, i32 8, i32 1, i32 9, i32 2, i32 10, i32 3, i32 11 > ; <<8 x i16>> [#uses=1] 79 %tmp36 = bitcast <8 x i16> %tmp.upgrd.4 to <4 x i32> ; <<4 x i32>> [#uses=1] 80 ret <4 x i32> %tmp36 81 } 82 83 define void @test6(<4 x float>* %res, <4 x float>* %A) nounwind { 84 %tmp1 = load <4 x float>* %A ; <<4 x float>> [#uses=1] 85 %tmp2 = shufflevector <4 x float> %tmp1, <4 x float> undef, <4 x i32> < i32 0, i32 5, i32 6, i32 7 > ; <<4 x float>> [#uses=1] 86 store <4 x float> %tmp2, <4 x float>* %res 87 ret void 88 89 ; CHECK-LABEL: test6: 90 ; CHECK: movaps (%ecx), %xmm0 91 ; CHECK: movaps %xmm0, (%eax) 92 } 93 94 define void @test7() nounwind { 95 bitcast <4 x i32> zeroinitializer to <4 x float> ; <<4 x float>>:1 [#uses=1] 96 shufflevector <4 x float> %1, <4 x float> zeroinitializer, <4 x i32> zeroinitializer ; <<4 x float>>:2 [#uses=1] 97 store <4 x float> %2, <4 x float>* null 98 ret void 99 100 ; CHECK-LABEL: test7: 101 ; CHECK: xorps %xmm0, %xmm0 102 ; CHECK: movaps %xmm0, 0 103 } 104 105 @x = external global [4 x i32] 106 107 define <2 x i64> @test8() nounwind { 108 %tmp = load i32* getelementptr ([4 x i32]* @x, i32 0, i32 0) ; <i32> [#uses=1] 109 %tmp3 = load i32* getelementptr ([4 x i32]* @x, i32 0, i32 1) ; <i32> [#uses=1] 110 %tmp5 = load i32* getelementptr ([4 x i32]* @x, i32 0, i32 2) ; <i32> [#uses=1] 111 %tmp7 = load i32* getelementptr ([4 x i32]* @x, i32 0, i32 3) ; <i32> [#uses=1] 112 %tmp.upgrd.1 = insertelement <4 x i32> undef, i32 %tmp, i32 0 ; <<4 x i32>> [#uses=1] 113 %tmp13 = insertelement <4 x i32> %tmp.upgrd.1, i32 %tmp3, i32 1 ; <<4 x i32>> [#uses=1] 114 %tmp14 = insertelement <4 x i32> %tmp13, i32 %tmp5, i32 2 ; <<4 x i32>> [#uses=1] 115 %tmp15 = insertelement <4 x i32> %tmp14, i32 %tmp7, i32 3 ; <<4 x i32>> [#uses=1] 116 %tmp16 = bitcast <4 x i32> %tmp15 to <2 x i64> ; <<2 x i64>> [#uses=1] 117 ret <2 x i64> %tmp16 118 ; CHECK-LABEL: test8: 119 ; CHECK: movups (%eax), %xmm0 120 } 121 122 define <4 x float> @test9(i32 %dummy, float %a, float %b, float %c, float %d) nounwind { 123 %tmp = insertelement <4 x float> undef, float %a, i32 0 ; <<4 x float>> [#uses=1] 124 %tmp11 = insertelement <4 x float> %tmp, float %b, i32 1 ; <<4 x float>> [#uses=1] 125 %tmp12 = insertelement <4 x float> %tmp11, float %c, i32 2 ; <<4 x float>> [#uses=1] 126 %tmp13 = insertelement <4 x float> %tmp12, float %d, i32 3 ; <<4 x float>> [#uses=1] 127 ret <4 x float> %tmp13 128 ; CHECK-LABEL: test9: 129 ; CHECK: movups 8(%esp), %xmm0 130 } 131 132 define <4 x float> @test10(float %a, float %b, float %c, float %d) nounwind { 133 %tmp = insertelement <4 x float> undef, float %a, i32 0 ; <<4 x float>> [#uses=1] 134 %tmp11 = insertelement <4 x float> %tmp, float %b, i32 1 ; <<4 x float>> [#uses=1] 135 %tmp12 = insertelement <4 x float> %tmp11, float %c, i32 2 ; <<4 x float>> [#uses=1] 136 %tmp13 = insertelement <4 x float> %tmp12, float %d, i32 3 ; <<4 x float>> [#uses=1] 137 ret <4 x float> %tmp13 138 ; CHECK-LABEL: test10: 139 ; CHECK: movaps 4(%esp), %xmm0 140 } 141 142 define <2 x double> @test11(double %a, double %b) nounwind { 143 %tmp = insertelement <2 x double> undef, double %a, i32 0 ; <<2 x double>> [#uses=1] 144 %tmp7 = insertelement <2 x double> %tmp, double %b, i32 1 ; <<2 x double>> [#uses=1] 145 ret <2 x double> %tmp7 146 ; CHECK-LABEL: test11: 147 ; CHECK: movaps 4(%esp), %xmm0 148 } 149 150 define void @test12() nounwind { 151 %tmp1 = load <4 x float>* null ; <<4 x float>> [#uses=2] 152 %tmp2 = shufflevector <4 x float> %tmp1, <4 x float> < float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00 >, <4 x i32> < i32 0, i32 1, i32 6, i32 7 > ; <<4 x float>> [#uses=1] 153 %tmp3 = shufflevector <4 x float> %tmp1, <4 x float> zeroinitializer, <4 x i32> < i32 2, i32 3, i32 6, i32 7 > ; <<4 x float>> [#uses=1] 154 %tmp4 = fadd <4 x float> %tmp2, %tmp3 ; <<4 x float>> [#uses=1] 155 store <4 x float> %tmp4, <4 x float>* null 156 ret void 157 ; CHECK-LABEL: test12: 158 ; CHECK: movhlps 159 ; CHECK: shufps 160 } 161 162 define void @test13(<4 x float>* %res, <4 x float>* %A, <4 x float>* %B, <4 x float>* %C) nounwind { 163 %tmp3 = load <4 x float>* %B ; <<4 x float>> [#uses=1] 164 %tmp5 = load <4 x float>* %C ; <<4 x float>> [#uses=1] 165 %tmp11 = shufflevector <4 x float> %tmp3, <4 x float> %tmp5, <4 x i32> < i32 1, i32 4, i32 1, i32 5 > ; <<4 x float>> [#uses=1] 166 store <4 x float> %tmp11, <4 x float>* %res 167 ret void 168 ; CHECK: test13 169 ; CHECK: shufps $69, (%ecx), %xmm0 170 ; CHECK: pshufd $-40, %xmm0, %xmm0 171 } 172 173 define <4 x float> @test14(<4 x float>* %x, <4 x float>* %y) nounwind { 174 %tmp = load <4 x float>* %y ; <<4 x float>> [#uses=2] 175 %tmp5 = load <4 x float>* %x ; <<4 x float>> [#uses=2] 176 %tmp9 = fadd <4 x float> %tmp5, %tmp ; <<4 x float>> [#uses=1] 177 %tmp21 = fsub <4 x float> %tmp5, %tmp ; <<4 x float>> [#uses=1] 178 %tmp27 = shufflevector <4 x float> %tmp9, <4 x float> %tmp21, <4 x i32> < i32 0, i32 1, i32 4, i32 5 > ; <<4 x float>> [#uses=1] 179 ret <4 x float> %tmp27 180 ; CHECK-LABEL: test14: 181 ; CHECK: addps [[X1:%xmm[0-9]+]], [[X0:%xmm[0-9]+]] 182 ; CHECK: subps [[X1]], [[X2:%xmm[0-9]+]] 183 ; CHECK: movlhps [[X2]], [[X0]] 184 } 185 186 define <4 x float> @test15(<4 x float>* %x, <4 x float>* %y) nounwind { 187 entry: 188 %tmp = load <4 x float>* %y ; <<4 x float>> [#uses=1] 189 %tmp3 = load <4 x float>* %x ; <<4 x float>> [#uses=1] 190 %tmp4 = shufflevector <4 x float> %tmp3, <4 x float> %tmp, <4 x i32> < i32 2, i32 3, i32 6, i32 7 > ; <<4 x float>> [#uses=1] 191 ret <4 x float> %tmp4 192 ; CHECK-LABEL: test15: 193 ; CHECK: movhlps %xmm1, %xmm0 194 } 195 196 ; PR8900 197 ; CHECK-LABEL: test16: 198 ; CHECK: unpcklpd 199 ; CHECK: ret 200 201 define <2 x double> @test16(<4 x double> * nocapture %srcA, <2 x double>* nocapture %dst) { 202 %i5 = getelementptr inbounds <4 x double>* %srcA, i32 3 203 %i6 = load <4 x double>* %i5, align 32 204 %i7 = shufflevector <4 x double> %i6, <4 x double> undef, <2 x i32> <i32 0, i32 2> 205 ret <2 x double> %i7 206 } 207 208 ; PR9009 209 define fastcc void @test17() nounwind { 210 entry: 211 %0 = insertelement <4 x i32> undef, i32 undef, i32 1 212 %1 = shufflevector <4 x i32> <i32 undef, i32 undef, i32 32768, i32 32768>, <4 x i32> %0, <4 x i32> <i32 4, i32 5, i32 2, i32 3> 213 %2 = bitcast <4 x i32> %1 to <4 x float> 214 store <4 x float> %2, <4 x float> * undef 215 ret void 216 } 217 218 ; PR9210 219 define <4 x float> @f(<4 x double>) nounwind { 220 entry: 221 %double2float.i = fptrunc <4 x double> %0 to <4 x float> 222 ret <4 x float> %double2float.i 223 } 224 225 define <2 x i64> @test_insert_64_zext(<2 x i64> %i) { 226 ; CHECK-LABEL: test_insert_64_zext 227 ; CHECK-NOT: xor 228 ; CHECK: movq 229 %1 = shufflevector <2 x i64> %i, <2 x i64> <i64 0, i64 undef>, <2 x i32> <i32 0, i32 2> 230 ret <2 x i64> %1 231 } 232 233 define <4 x i32> @PR19721(<4 x i32> %i) { 234 %bc = bitcast <4 x i32> %i to i128 235 %insert = and i128 %bc, -4294967296 236 %bc2 = bitcast i128 %insert to <4 x i32> 237 ret <4 x i32> %bc2 238 239 ; CHECK-LABEL: PR19721 240 ; CHECK: punpckldq 241 } 242
