test/CodeGen/X86/swizzle-2.ll

   1 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -mcpu=corei7 | FileCheck %s
   2
   3 ; Test that we correctly fold a shuffle that performs a swizzle of another
   4 ; shuffle node according to the rule
   5 ;  shuffle (shuffle (x, undef, M0), undef, M1) -> shuffle(x, undef, M2)
   6 ;
   7 ; We only do this if the resulting mask is legal to avoid introducing an
   8 ; illegal shuffle that is expanded into a sub-optimal sequence of instructions
   9 ; during lowering stage.
  10
  11 define <4 x i32> @swizzle_1(<4 x i32> %v) {
  12 ; CHECK-LABEL: swizzle_1:
  13 ; CHECK:       # BB#0:
  14 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,0,3,2]
  15 ; CHECK-NEXT:    retq
  16   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 3, i32 2, i32 0, i32 1>
  17   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 3, i32 2, i32 0, i32 1>
  18   ret <4 x i32> %2
  19 }
  20
  21 define <4 x i32> @swizzle_2(<4 x i32> %v) {
  22 ; CHECK-LABEL: swizzle_2:
  23 ; CHECK:       # BB#0:
  24 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[2,1,3,0]
  25 ; CHECK-NEXT:    retq
  26   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 3, i32 1, i32 0, i32 2>
  27   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 3, i32 1, i32 0, i32 2>
  28   ret <4 x i32> %2
  29 }
  30
  31 define <4 x i32> @swizzle_3(<4 x i32> %v) {
  32 ; CHECK-LABEL: swizzle_3:
  33 ; CHECK:       # BB#0:
  34 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,0,3,2]
  35 ; CHECK-NEXT:    retq
  36   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 2, i32 3, i32 1, i32 0>
  37   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 2, i32 3, i32 1, i32 0>
  38   ret <4 x i32> %2
  39 }
  40
  41 define <4 x i32> @swizzle_4(<4 x i32> %v) {
  42 ; CHECK-LABEL: swizzle_4:
  43 ; CHECK:       # BB#0:
  44 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[3,1,0,2]
  45 ; CHECK-NEXT:    retq
  46   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 2, i32 1, i32 3, i32 0>
  47   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 2, i32 1, i32 3, i32 0>
  48   ret <4 x i32> %2
  49 }
  50
  51 define <4 x i32> @swizzle_5(<4 x i32> %v) {
  52 ; CHECK-LABEL: swizzle_5:
  53 ; CHECK:       # BB#0:
  54 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
  55 ; CHECK-NEXT:    retq
  56   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 1, i32 2, i32 3, i32 0>
  57   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 1, i32 2, i32 3, i32 0>
  58   ret <4 x i32> %2
  59 }
  60
  61 define <4 x i32> @swizzle_6(<4 x i32> %v) {
  62 ; CHECK-LABEL: swizzle_6:
  63 ; CHECK:       # BB#0:
  64 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[2,0,1,3]
  65 ; CHECK-NEXT:    retq
  66   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 1, i32 2, i32 0, i32 3>
  67   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 1, i32 2, i32 0, i32 3>
  68   ret <4 x i32> %2
  69 }
  70
  71 define <4 x i32> @swizzle_7(<4 x i32> %v) {
  72 ; CHECK-LABEL: swizzle_7:
  73 ; CHECK:       # BB#0:
  74 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[0,2,3,1]
  75 ; CHECK-NEXT:    retq
  76   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 0, i32 3, i32 1, i32 2>
  77   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 0, i32 3, i32 1, i32 2>
  78   ret <4 x i32> %2
  79 }
  80
  81 define <4 x i32> @swizzle_8(<4 x i32> %v) {
  82 ; CHECK-LABEL: swizzle_8:
  83 ; CHECK:       # BB#0:
  84 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,3,2,0]
  85 ; CHECK-NEXT:    retq
  86   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 3, i32 0, i32 2, i32 1>
  87   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 3, i32 0, i32 2, i32 1>
  88   ret <4 x i32> %2
  89 }
  90
  91 define <4 x i32> @swizzle_9(<4 x i32> %v) {
  92 ; CHECK-LABEL: swizzle_9:
  93 ; CHECK:       # BB#0:
  94 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
  95 ; CHECK-NEXT:    retq
  96   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 3, i32 0, i32 1, i32 2>
  97   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 3, i32 0, i32 1, i32 2>
  98   ret <4 x i32> %2
  99 }
 100
 101 define <4 x i32> @swizzle_10(<4 x i32> %v) {
 102 ; CHECK-LABEL: swizzle_10:
 103 ; CHECK:       # BB#0:
 104 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,2,0,3]
 105 ; CHECK-NEXT:    retq
 106   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 2, i32 0, i32 1, i32 3>
 107   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 2, i32 0, i32 1, i32 3>
 108   ret <4 x i32> %2
 109 }
 110
 111 define <4 x i32> @swizzle_11(<4 x i32> %v) {
 112 ; CHECK-LABEL: swizzle_11:
 113 ; CHECK:       # BB#0:
 114 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[3,2,1,0]
 115 ; CHECK-NEXT:    retq
 116   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 2, i32 0, i32 3, i32 1>
 117   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 2, i32 0, i32 3, i32 1>
 118   ret <4 x i32> %2
 119 }
 120
 121 define <4 x i32> @swizzle_12(<4 x i32> %v) {
 122 ; CHECK-LABEL: swizzle_12:
 123 ; CHECK:       # BB#0:
 124 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[0,3,1,2]
 125 ; CHECK-NEXT:    retq
 126   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 0, i32 2, i32 3, i32 1>
 127   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 0, i32 2, i32 3, i32 1>
 128   ret <4 x i32> %2
 129 }
 130
 131 define <4 x i32> @swizzle_13(<4 x i32> %v) {
 132 ; CHECK-LABEL: swizzle_13:
 133 ; CHECK:       # BB#0:
 134 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[3,2,1,0]
 135 ; CHECK-NEXT:    retq
 136   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 1, i32 3, i32 0, i32 2>
 137   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 1, i32 3, i32 0, i32 2>
 138   ret <4 x i32> %2
 139 }
 140
 141 define <4 x i32> @swizzle_14(<4 x i32> %v) {
 142 ; CHECK-LABEL: swizzle_14:
 143 ; CHECK:       # BB#0:
 144 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[3,0,2,1]
 145 ; CHECK-NEXT:    retq
 146   %1 = shufflevector <4 x i32> %v, <4 x i32> undef, <4 x i32> <i32 1, i32 3, i32 2, i32 0>
 147   %2 = shufflevector <4 x i32> %1, <4 x i32> undef, <4 x i32> <i32 1, i32 3, i32 2, i32 0>
 148   ret <4 x i32> %2
 149 }
 150
 151 define <4 x float> @swizzle_15(<4 x float> %v) {
 152 ; CHECK-LABEL: swizzle_15:
 153 ; CHECK:       # BB#0:
 154 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[1,0,3,2]
 155 ; CHECK-NEXT:    retq
 156   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 3, i32 2, i32 0, i32 1>
 157   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 3, i32 2, i32 0, i32 1>
 158   ret <4 x float> %2
 159 }
 160
 161 define <4 x float> @swizzle_16(<4 x float> %v) {
 162 ; CHECK-LABEL: swizzle_16:
 163 ; CHECK:       # BB#0:
 164 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[2,1,3,0]
 165 ; CHECK-NEXT:    retq
 166   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 3, i32 1, i32 0, i32 2>
 167   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 3, i32 1, i32 0, i32 2>
 168   ret <4 x float> %2
 169 }
 170
 171 define <4 x float> @swizzle_17(<4 x float> %v) {
 172 ; CHECK-LABEL: swizzle_17:
 173 ; CHECK:       # BB#0:
 174 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[1,0,3,2]
 175 ; CHECK-NEXT:    retq
 176   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 2, i32 3, i32 1, i32 0>
 177   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 2, i32 3, i32 1, i32 0>
 178   ret <4 x float> %2
 179 }
 180
 181 define <4 x float> @swizzle_18(<4 x float> %v) {
 182 ; CHECK-LABEL: swizzle_18:
 183 ; CHECK:       # BB#0:
 184 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[3,1,0,2]
 185 ; CHECK-NEXT:    retq
 186   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 2, i32 1, i32 3, i32 0>
 187   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 2, i32 1, i32 3, i32 0>
 188   ret <4 x float> %2
 189 }
 190
 191 define <4 x float> @swizzle_19(<4 x float> %v) {
 192 ; CHECK-LABEL: swizzle_19:
 193 ; CHECK:       # BB#0:
 194 ; CHECK-NEXT:    shufpd {{.*#+}} xmm0 = xmm0[1,0]
 195 ; CHECK-NEXT:    retq
 196   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 1, i32 2, i32 3, i32 0>
 197   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 1, i32 2, i32 3, i32 0>
 198   ret <4 x float> %2
 199 }
 200
 201 define <4 x float> @swizzle_20(<4 x float> %v) {
 202 ; CHECK-LABEL: swizzle_20:
 203 ; CHECK:       # BB#0:
 204 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[2,0,1,3]
 205 ; CHECK-NEXT:    retq
 206   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 1, i32 2, i32 0, i32 3>
 207   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 1, i32 2, i32 0, i32 3>
 208   ret <4 x float> %2
 209 }
 210
 211 define <4 x float> @swizzle_21(<4 x float> %v) {
 212 ; CHECK-LABEL: swizzle_21:
 213 ; CHECK:       # BB#0:
 214 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[0,2,3,1]
 215 ; CHECK-NEXT:    retq
 216   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 0, i32 3, i32 1, i32 2>
 217   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 0, i32 3, i32 1, i32 2>
 218   ret <4 x float> %2
 219 }
 220
 221 define <4 x float> @swizzle_22(<4 x float> %v) {
 222 ; CHECK-LABEL: swizzle_22:
 223 ; CHECK:       # BB#0:
 224 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[1,3,2,0]
 225 ; CHECK-NEXT:    retq
 226   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 3, i32 0, i32 2, i32 1>
 227   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 3, i32 0, i32 2, i32 1>
 228   ret <4 x float> %2
 229 }
 230
 231 define <4 x float> @swizzle_23(<4 x float> %v) {
 232 ; CHECK-LABEL: swizzle_23:
 233 ; CHECK:       # BB#0:
 234 ; CHECK-NEXT:    shufpd {{.*#+}} xmm0 = xmm0[1,0]
 235 ; CHECK-NEXT:    retq
 236   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 3, i32 0, i32 1, i32 2>
 237   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 3, i32 0, i32 1, i32 2>
 238   ret <4 x float> %2
 239 }
 240
 241 define <4 x float> @swizzle_24(<4 x float> %v) {
 242 ; CHECK-LABEL: swizzle_24:
 243 ; CHECK:       # BB#0:
 244 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[1,2,0,3]
 245 ; CHECK-NEXT:    retq
 246   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 2, i32 0, i32 1, i32 3>
 247   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 2, i32 0, i32 1, i32 3>
 248   ret <4 x float> %2
 249 }
 250
 251 define <4 x float> @swizzle_25(<4 x float> %v) {
 252 ; CHECK-LABEL: swizzle_25:
 253 ; CHECK:       # BB#0:
 254 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[3,2,1,0]
 255 ; CHECK-NEXT:    retq
 256   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 2, i32 0, i32 3, i32 1>
 257   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 2, i32 0, i32 3, i32 1>
 258   ret <4 x float> %2
 259 }
 260
 261 define <4 x float> @swizzle_26(<4 x float> %v) {
 262 ; CHECK-LABEL: swizzle_26:
 263 ; CHECK:       # BB#0:
 264 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[0,3,1,2]
 265 ; CHECK-NEXT:    retq
 266   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 0, i32 2, i32 3, i32 1>
 267   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 0, i32 2, i32 3, i32 1>
 268   ret <4 x float> %2
 269 }
 270
 271 define <4 x float> @swizzle_27(<4 x float> %v) {
 272 ; CHECK-LABEL: swizzle_27:
 273 ; CHECK:       # BB#0:
 274 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[3,2,1,0]
 275 ; CHECK-NEXT:    retq
 276   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 1, i32 3, i32 0, i32 2>
 277   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 1, i32 3, i32 0, i32 2>
 278   ret <4 x float> %2
 279 }
 280
 281 define <4 x float> @swizzle_28(<4 x float> %v) {
 282 ; CHECK-LABEL: swizzle_28:
 283 ; CHECK:       # BB#0:
 284 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[3,0,2,1]
 285 ; CHECK-NEXT:    retq
 286   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 1, i32 3, i32 2, i32 0>
 287   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 1, i32 3, i32 2, i32 0>
 288   ret <4 x float> %2
 289 }
 290
 291 define <4 x float> @swizzle_29(<4 x float> %v) {
 292 ; CHECK-LABEL: swizzle_29:
 293 ; CHECK:       # BB#0:
 294 ; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[1,3,2,0]
 295 ; CHECK-NEXT:    retq
 296   %1 = shufflevector <4 x float> %v, <4 x float> undef, <4 x i32> <i32 3, i32 1, i32 2, i32 0>
 297   %2 = shufflevector <4 x float> %1, <4 x float> undef, <4 x i32> <i32 1, i32 0, i32 2, i32 3>
 298   ret <4 x float> %2
 299 }
 300
 301 ; Make sure that we combine the shuffles from each function below into a single
 302 ; legal shuffle (either pshuflw or pshufb depending on the masks).
 303
 304 define <8 x i16> @swizzle_30(<8 x i16> %v) {
 305 ; CHECK-LABEL: swizzle_30:
 306 ; CHECK:       # BB#0:
 307 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[1,3,2,0,4,5,6,7]
 308 ; CHECK-NEXT:    retq
 309   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 3, i32 1, i32 2, i32 0, i32 7, i32 5, i32 6, i32 4>
 310   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 1, i32 0, i32 2, i32 3, i32 7, i32 5, i32 6, i32 4>
 311   ret <8 x i16> %2
 312 }
 313
 314 define <8 x i16> @swizzle_31(<8 x i16> %v) {
 315 ; CHECK-LABEL: swizzle_31:
 316 ; CHECK:       # BB#0:
 317 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[1,3,2,0,4,5,6,7]
 318 ; CHECK-NEXT:    retq
 319   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 3, i32 0, i32 2, i32 1, i32 7, i32 5, i32 6, i32 4>
 320   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 3, i32 0, i32 2, i32 1, i32 7, i32 5, i32 6, i32 4>
 321   ret <8 x i16> %2
 322 }
 323
 324 define <8 x i16> @swizzle_32(<8 x i16> %v) {
 325 ; CHECK-LABEL: swizzle_32:
 326 ; CHECK:       # BB#0:
 327 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,0,2,3]
 328 ; CHECK-NEXT:    retq
 329   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 1, i32 2, i32 3, i32 0, i32 7, i32 5, i32 6, i32 4>
 330   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 1, i32 2, i32 3, i32 0, i32 7, i32 5, i32 6, i32 4>
 331   ret <8 x i16> %2
 332 }
 333
 334 define <8 x i16> @swizzle_33(<8 x i16> %v) {
 335 ; CHECK-LABEL: swizzle_33:
 336 ; CHECK:       # BB#0:
 337 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[2,1,3,0,4,5,6,7]
 338 ; CHECK-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,5,7,6,4]
 339 ; CHECK-NEXT:    retq
 340   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 4, i32 6, i32 5, i32 7, i32 2, i32 3, i32 1, i32 0>
 341   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 4, i32 6, i32 5, i32 7, i32 2, i32 3, i32 1, i32 0>
 342   ret <8 x i16> %2
 343 }
 344
 345 define <8 x i16> @swizzle_34(<8 x i16> %v) {
 346 ; CHECK-LABEL: swizzle_34:
 347 ; CHECK:       # BB#0:
 348 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[1,3,0,2,4,5,6,7]
 349 ; CHECK-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,7,6,4,5]
 350 ; CHECK-NEXT:    retq
 351   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 4, i32 7, i32 6, i32 5, i32 1, i32 2, i32 0, i32 3>
 352   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 4, i32 7, i32 6, i32 5, i32 1, i32 2, i32 0, i32 3>
 353   ret <8 x i16> %2
 354 }
 355
 356 define <8 x i16> @swizzle_35(<8 x i16> %v) {
 357 ; CHECK-LABEL: swizzle_35:
 358 ; CHECK:       # BB#0:
 359 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[2,1,0,3,4,5,6,7]
 360 ; CHECK-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,4,5,7,6]
 361 ; CHECK-NEXT:    retq
 362   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 7, i32 4, i32 6, i32 5, i32 1, i32 3, i32 0, i32 2>
 363   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 7, i32 4, i32 6, i32 5, i32 1, i32 3, i32 0, i32 2>
 364   ret <8 x i16> %2
 365 }
 366
 367 define <8 x i16> @swizzle_36(<8 x i16> %v) {
 368 ; CHECK-LABEL: swizzle_36:
 369 ; CHECK:       # BB#0:
 370 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[0,3,2,1,4,5,6,7]
 371 ; CHECK-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,4,6,5,7]
 372 ; CHECK-NEXT:    retq
 373   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 4, i32 6, i32 7, i32 5, i32 0, i32 1, i32 3, i32 2>
 374   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 4, i32 6, i32 7, i32 5, i32 0, i32 1, i32 3, i32 2>
 375   ret <8 x i16> %2
 376 }
 377
 378 define <8 x i16> @swizzle_37(<8 x i16> %v) {
 379 ; CHECK-LABEL: swizzle_37:
 380 ; CHECK:       # BB#0:
 381 ; CHECK-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,4,7,6,5]
 382 ; CHECK-NEXT:    retq
 383   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 1, i32 0, i32 3, i32 2, i32 7, i32 5, i32 6, i32 4>
 384   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 1, i32 0, i32 3, i32 2, i32 7, i32 4, i32 6, i32 5>
 385   ret <8 x i16> %2
 386 }
 387
 388 define <8 x i16> @swizzle_38(<8 x i16> %v) {
 389 ; CHECK-LABEL: swizzle_38:
 390 ; CHECK:       # BB#0:
 391 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[2,1,0,3,4,5,6,7]
 392 ; CHECK-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,5,4,6,7]
 393 ; CHECK-NEXT:    retq
 394   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 5, i32 6, i32 4, i32 7, i32 0, i32 2, i32 1, i32 3>
 395   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 5, i32 6, i32 4, i32 7, i32 0, i32 2, i32 1, i32 3>
 396   ret <8 x i16> %2
 397 }
 398
 399 define <8 x i16> @swizzle_39(<8 x i16> %v) {
 400 ; CHECK-LABEL: swizzle_39:
 401 ; CHECK:       # BB#0:
 402 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[2,3,1,0,4,5,6,7]
 403 ; CHECK-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,7,6,4,5]
 404 ; CHECK-NEXT:    retq
 405   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 5, i32 4, i32 6, i32 7, i32 3, i32 2, i32 1, i32 0>
 406   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 5, i32 4, i32 6, i32 7, i32 3, i32 2, i32 1, i32 0>
 407   ret <8 x i16> %2
 408 }
 409
 410 define <8 x i16> @swizzle_40(<8 x i16> %v) {
 411 ; CHECK-LABEL: swizzle_40:
 412 ; CHECK:       # BB#0:
 413 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[3,1,2,0,4,5,6,7]
 414 ; CHECK-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,4,6,5,7]
 415 ; CHECK-NEXT:    retq
 416   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 6, i32 4, i32 7, i32 5, i32 1, i32 0, i32 3, i32 2>
 417   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 6, i32 4, i32 7, i32 5, i32 1, i32 0, i32 3, i32 2>
 418   ret <8 x i16> %2
 419 }
 420
 421 define <8 x i16> @swizzle_41(<8 x i16> %v) {
 422 ; CHECK-LABEL: swizzle_41:
 423 ; CHECK:       # BB#0:
 424 ; CHECK-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[3,2,1,0,4,5,6,7]
 425 ; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[0,1,3,2]
 426 ; CHECK-NEXT:    retq
 427   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 6, i32 7, i32 5, i32 4, i32 0, i32 1, i32 3, i32 2>
 428   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 6, i32 7, i32 5, i32 4, i32 0, i32 1, i32 3, i32 2>
 429   ret <8 x i16> %2
 430 }
 431
 432 define <8 x i16> @swizzle_42(<8 x i16> %v) {
 433 ; CHECK-LABEL: swizzle_42:
 434 ; CHECK:       # BB#0:
 435 ; CHECK-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,5,4,7,6]
 436 ; CHECK-NEXT:    retq
 437   %1 = shufflevector <8 x i16> %v, <8 x i16> undef, <8 x i32> <i32 0, i32 1, i32 3, i32 2, i32 7, i32 6, i32 4, i32 5>
 438   %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 0, i32 1, i32 3, i32 2, i32 7, i32 6, i32 4, i32 5>
 439   ret <8 x i16> %2
 440 }