test/CodeGen/X86/extractelement-index.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-pc-linux -mattr=+sse2   | FileCheck %s --check-prefix=SSE --check-prefix=SSE2
   3 ; RUN: llc < %s -mtriple=x86_64-pc-linux -mattr=+sse4.1 | FileCheck %s --check-prefix=SSE --check-prefix=SSE41
   4 ; RUN: llc < %s -mtriple=x86_64-pc-linux -mattr=+avx    | FileCheck %s --check-prefix=AVX --check-prefix=AVX1
   5 ; RUN: llc < %s -mtriple=x86_64-pc-linux -mattr=+avx2   | FileCheck %s --check-prefix=AVX --check-prefix=AVX2
   6
   7 ;
   8 ; ExtractElement - Constant Index
   9 ;
  10
  11 define i8 @extractelement_v16i8_1(<16 x i8> %a) nounwind {
  12 ; SSE2-LABEL: extractelement_v16i8_1:
  13 ; SSE2:       # %bb.0:
  14 ; SSE2-NEXT:    movd %xmm0, %eax
  15 ; SSE2-NEXT:    shrl $8, %eax
  16 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
  17 ; SSE2-NEXT:    retq
  18 ;
  19 ; SSE41-LABEL: extractelement_v16i8_1:
  20 ; SSE41:       # %bb.0:
  21 ; SSE41-NEXT:    pextrb $1, %xmm0, %eax
  22 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
  23 ; SSE41-NEXT:    retq
  24 ;
  25 ; AVX-LABEL: extractelement_v16i8_1:
  26 ; AVX:       # %bb.0:
  27 ; AVX-NEXT:    vpextrb $1, %xmm0, %eax
  28 ; AVX-NEXT:    # kill: def $al killed $al killed $eax
  29 ; AVX-NEXT:    retq
  30   %b = extractelement <16 x i8> %a, i256 1
  31   ret i8 %b
  32 }
  33
  34 define i8 @extractelement_v16i8_11(<16 x i8> %a) nounwind {
  35 ; SSE2-LABEL: extractelement_v16i8_11:
  36 ; SSE2:       # %bb.0:
  37 ; SSE2-NEXT:    pextrw $5, %xmm0, %eax
  38 ; SSE2-NEXT:    shrl $8, %eax
  39 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
  40 ; SSE2-NEXT:    retq
  41 ;
  42 ; SSE41-LABEL: extractelement_v16i8_11:
  43 ; SSE41:       # %bb.0:
  44 ; SSE41-NEXT:    pextrb $11, %xmm0, %eax
  45 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
  46 ; SSE41-NEXT:    retq
  47 ;
  48 ; AVX-LABEL: extractelement_v16i8_11:
  49 ; AVX:       # %bb.0:
  50 ; AVX-NEXT:    vpextrb $11, %xmm0, %eax
  51 ; AVX-NEXT:    # kill: def $al killed $al killed $eax
  52 ; AVX-NEXT:    retq
  53   %b = extractelement <16 x i8> %a, i256 11
  54   ret i8 %b
  55 }
  56
  57 define i8 @extractelement_v16i8_14(<16 x i8> %a) nounwind {
  58 ; SSE2-LABEL: extractelement_v16i8_14:
  59 ; SSE2:       # %bb.0:
  60 ; SSE2-NEXT:    pextrw $7, %xmm0, %eax
  61 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
  62 ; SSE2-NEXT:    retq
  63 ;
  64 ; SSE41-LABEL: extractelement_v16i8_14:
  65 ; SSE41:       # %bb.0:
  66 ; SSE41-NEXT:    pextrb $14, %xmm0, %eax
  67 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
  68 ; SSE41-NEXT:    retq
  69 ;
  70 ; AVX-LABEL: extractelement_v16i8_14:
  71 ; AVX:       # %bb.0:
  72 ; AVX-NEXT:    vpextrb $14, %xmm0, %eax
  73 ; AVX-NEXT:    # kill: def $al killed $al killed $eax
  74 ; AVX-NEXT:    retq
  75   %b = extractelement <16 x i8> %a, i256 14
  76   ret i8 %b
  77 }
  78
  79 define i8 @extractelement_v32i8_1(<32 x i8> %a) nounwind {
  80 ; SSE2-LABEL: extractelement_v32i8_1:
  81 ; SSE2:       # %bb.0:
  82 ; SSE2-NEXT:    movd %xmm0, %eax
  83 ; SSE2-NEXT:    shrl $8, %eax
  84 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
  85 ; SSE2-NEXT:    retq
  86 ;
  87 ; SSE41-LABEL: extractelement_v32i8_1:
  88 ; SSE41:       # %bb.0:
  89 ; SSE41-NEXT:    pextrb $1, %xmm0, %eax
  90 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
  91 ; SSE41-NEXT:    retq
  92 ;
  93 ; AVX-LABEL: extractelement_v32i8_1:
  94 ; AVX:       # %bb.0:
  95 ; AVX-NEXT:    vpextrb $1, %xmm0, %eax
  96 ; AVX-NEXT:    # kill: def $al killed $al killed $eax
  97 ; AVX-NEXT:    vzeroupper
  98 ; AVX-NEXT:    retq
  99   %b = extractelement <32 x i8> %a, i256 1
 100   ret i8 %b
 101 }
 102
 103 define i8 @extractelement_v32i8_17(<32 x i8> %a) nounwind {
 104 ; SSE2-LABEL: extractelement_v32i8_17:
 105 ; SSE2:       # %bb.0:
 106 ; SSE2-NEXT:    movd %xmm1, %eax
 107 ; SSE2-NEXT:    shrl $8, %eax
 108 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
 109 ; SSE2-NEXT:    retq
 110 ;
 111 ; SSE41-LABEL: extractelement_v32i8_17:
 112 ; SSE41:       # %bb.0:
 113 ; SSE41-NEXT:    pextrb $1, %xmm1, %eax
 114 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
 115 ; SSE41-NEXT:    retq
 116 ;
 117 ; AVX1-LABEL: extractelement_v32i8_17:
 118 ; AVX1:       # %bb.0:
 119 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm0
 120 ; AVX1-NEXT:    vpextrb $1, %xmm0, %eax
 121 ; AVX1-NEXT:    # kill: def $al killed $al killed $eax
 122 ; AVX1-NEXT:    vzeroupper
 123 ; AVX1-NEXT:    retq
 124 ;
 125 ; AVX2-LABEL: extractelement_v32i8_17:
 126 ; AVX2:       # %bb.0:
 127 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm0
 128 ; AVX2-NEXT:    vpextrb $1, %xmm0, %eax
 129 ; AVX2-NEXT:    # kill: def $al killed $al killed $eax
 130 ; AVX2-NEXT:    vzeroupper
 131 ; AVX2-NEXT:    retq
 132   %b = extractelement <32 x i8> %a, i256 17
 133   ret i8 %b
 134 }
 135
 136 define i16 @extractelement_v8i16_0(<8 x i16> %a, i256 %i) nounwind {
 137 ; SSE-LABEL: extractelement_v8i16_0:
 138 ; SSE:       # %bb.0:
 139 ; SSE-NEXT:    movd %xmm0, %eax
 140 ; SSE-NEXT:    # kill: def $ax killed $ax killed $eax
 141 ; SSE-NEXT:    retq
 142 ;
 143 ; AVX-LABEL: extractelement_v8i16_0:
 144 ; AVX:       # %bb.0:
 145 ; AVX-NEXT:    vmovd %xmm0, %eax
 146 ; AVX-NEXT:    # kill: def $ax killed $ax killed $eax
 147 ; AVX-NEXT:    retq
 148   %b = extractelement <8 x i16> %a, i256 0
 149   ret i16 %b
 150 }
 151
 152 define i16 @extractelement_v8i16_3(<8 x i16> %a, i256 %i) nounwind {
 153 ; SSE-LABEL: extractelement_v8i16_3:
 154 ; SSE:       # %bb.0:
 155 ; SSE-NEXT:    pextrw $3, %xmm0, %eax
 156 ; SSE-NEXT:    # kill: def $ax killed $ax killed $eax
 157 ; SSE-NEXT:    retq
 158 ;
 159 ; AVX-LABEL: extractelement_v8i16_3:
 160 ; AVX:       # %bb.0:
 161 ; AVX-NEXT:    vpextrw $3, %xmm0, %eax
 162 ; AVX-NEXT:    # kill: def $ax killed $ax killed $eax
 163 ; AVX-NEXT:    retq
 164   %b = extractelement <8 x i16> %a, i256 3
 165   ret i16 %b
 166 }
 167
 168 define i16 @extractelement_v16i16_0(<16 x i16> %a, i256 %i) nounwind {
 169 ; SSE-LABEL: extractelement_v16i16_0:
 170 ; SSE:       # %bb.0:
 171 ; SSE-NEXT:    movd %xmm0, %eax
 172 ; SSE-NEXT:    # kill: def $ax killed $ax killed $eax
 173 ; SSE-NEXT:    retq
 174 ;
 175 ; AVX-LABEL: extractelement_v16i16_0:
 176 ; AVX:       # %bb.0:
 177 ; AVX-NEXT:    vmovd %xmm0, %eax
 178 ; AVX-NEXT:    # kill: def $ax killed $ax killed $eax
 179 ; AVX-NEXT:    vzeroupper
 180 ; AVX-NEXT:    retq
 181   %b = extractelement <16 x i16> %a, i256 0
 182   ret i16 %b
 183 }
 184
 185 define i16 @extractelement_v16i16_13(<16 x i16> %a, i256 %i) nounwind {
 186 ; SSE-LABEL: extractelement_v16i16_13:
 187 ; SSE:       # %bb.0:
 188 ; SSE-NEXT:    pextrw $5, %xmm1, %eax
 189 ; SSE-NEXT:    # kill: def $ax killed $ax killed $eax
 190 ; SSE-NEXT:    retq
 191 ;
 192 ; AVX1-LABEL: extractelement_v16i16_13:
 193 ; AVX1:       # %bb.0:
 194 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm0
 195 ; AVX1-NEXT:    vpextrw $5, %xmm0, %eax
 196 ; AVX1-NEXT:    # kill: def $ax killed $ax killed $eax
 197 ; AVX1-NEXT:    vzeroupper
 198 ; AVX1-NEXT:    retq
 199 ;
 200 ; AVX2-LABEL: extractelement_v16i16_13:
 201 ; AVX2:       # %bb.0:
 202 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm0
 203 ; AVX2-NEXT:    vpextrw $5, %xmm0, %eax
 204 ; AVX2-NEXT:    # kill: def $ax killed $ax killed $eax
 205 ; AVX2-NEXT:    vzeroupper
 206 ; AVX2-NEXT:    retq
 207   %b = extractelement <16 x i16> %a, i256 13
 208   ret i16 %b
 209 }
 210
 211 define i32 @extractelement_v4i32_0(<4 x i32> %a) nounwind {
 212 ; SSE-LABEL: extractelement_v4i32_0:
 213 ; SSE:       # %bb.0:
 214 ; SSE-NEXT:    movd %xmm0, %eax
 215 ; SSE-NEXT:    retq
 216 ;
 217 ; AVX-LABEL: extractelement_v4i32_0:
 218 ; AVX:       # %bb.0:
 219 ; AVX-NEXT:    vmovd %xmm0, %eax
 220 ; AVX-NEXT:    retq
 221   %b = extractelement <4 x i32> %a, i256 0
 222   ret i32 %b
 223 }
 224
 225 define i32 @extractelement_v4i32_3(<4 x i32> %a) nounwind {
 226 ; SSE2-LABEL: extractelement_v4i32_3:
 227 ; SSE2:       # %bb.0:
 228 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[3,1,2,3]
 229 ; SSE2-NEXT:    movd %xmm0, %eax
 230 ; SSE2-NEXT:    retq
 231 ;
 232 ; SSE41-LABEL: extractelement_v4i32_3:
 233 ; SSE41:       # %bb.0:
 234 ; SSE41-NEXT:    extractps $3, %xmm0, %eax
 235 ; SSE41-NEXT:    retq
 236 ;
 237 ; AVX-LABEL: extractelement_v4i32_3:
 238 ; AVX:       # %bb.0:
 239 ; AVX-NEXT:    vextractps $3, %xmm0, %eax
 240 ; AVX-NEXT:    retq
 241   %b = extractelement <4 x i32> %a, i256 3
 242   ret i32 %b
 243 }
 244
 245 define i32 @extractelement_v8i32_0(<8 x i32> %a) nounwind {
 246 ; SSE-LABEL: extractelement_v8i32_0:
 247 ; SSE:       # %bb.0:
 248 ; SSE-NEXT:    movd %xmm1, %eax
 249 ; SSE-NEXT:    retq
 250 ;
 251 ; AVX1-LABEL: extractelement_v8i32_0:
 252 ; AVX1:       # %bb.0:
 253 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm0
 254 ; AVX1-NEXT:    vmovd %xmm0, %eax
 255 ; AVX1-NEXT:    vzeroupper
 256 ; AVX1-NEXT:    retq
 257 ;
 258 ; AVX2-LABEL: extractelement_v8i32_0:
 259 ; AVX2:       # %bb.0:
 260 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm0
 261 ; AVX2-NEXT:    vmovd %xmm0, %eax
 262 ; AVX2-NEXT:    vzeroupper
 263 ; AVX2-NEXT:    retq
 264   %b = extractelement <8 x i32> %a, i256 4
 265   ret i32 %b
 266 }
 267
 268 define i32 @extractelement_v8i32_4(<8 x i32> %a) nounwind {
 269 ; SSE-LABEL: extractelement_v8i32_4:
 270 ; SSE:       # %bb.0:
 271 ; SSE-NEXT:    movd %xmm1, %eax
 272 ; SSE-NEXT:    retq
 273 ;
 274 ; AVX1-LABEL: extractelement_v8i32_4:
 275 ; AVX1:       # %bb.0:
 276 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm0
 277 ; AVX1-NEXT:    vmovd %xmm0, %eax
 278 ; AVX1-NEXT:    vzeroupper
 279 ; AVX1-NEXT:    retq
 280 ;
 281 ; AVX2-LABEL: extractelement_v8i32_4:
 282 ; AVX2:       # %bb.0:
 283 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm0
 284 ; AVX2-NEXT:    vmovd %xmm0, %eax
 285 ; AVX2-NEXT:    vzeroupper
 286 ; AVX2-NEXT:    retq
 287   %b = extractelement <8 x i32> %a, i256 4
 288   ret i32 %b
 289 }
 290
 291 define i32 @extractelement_v8i32_7(<8 x i32> %a) nounwind {
 292 ; SSE2-LABEL: extractelement_v8i32_7:
 293 ; SSE2:       # %bb.0:
 294 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[3,1,2,3]
 295 ; SSE2-NEXT:    movd %xmm0, %eax
 296 ; SSE2-NEXT:    retq
 297 ;
 298 ; SSE41-LABEL: extractelement_v8i32_7:
 299 ; SSE41:       # %bb.0:
 300 ; SSE41-NEXT:    extractps $3, %xmm1, %eax
 301 ; SSE41-NEXT:    retq
 302 ;
 303 ; AVX-LABEL: extractelement_v8i32_7:
 304 ; AVX:       # %bb.0:
 305 ; AVX-NEXT:    vextractf128 $1, %ymm0, %xmm0
 306 ; AVX-NEXT:    vextractps $3, %xmm0, %eax
 307 ; AVX-NEXT:    vzeroupper
 308 ; AVX-NEXT:    retq
 309   %b = extractelement <8 x i32> %a, i64 7
 310   ret i32 %b
 311 }
 312
 313 define i64 @extractelement_v2i64_0(<2 x i64> %a, i256 %i) nounwind {
 314 ; SSE-LABEL: extractelement_v2i64_0:
 315 ; SSE:       # %bb.0:
 316 ; SSE-NEXT:    movq %xmm0, %rax
 317 ; SSE-NEXT:    retq
 318 ;
 319 ; AVX-LABEL: extractelement_v2i64_0:
 320 ; AVX:       # %bb.0:
 321 ; AVX-NEXT:    vmovq %xmm0, %rax
 322 ; AVX-NEXT:    retq
 323   %b = extractelement <2 x i64> %a, i256 0
 324   ret i64 %b
 325 }
 326
 327 define i64 @extractelement_v2i64_1(<2 x i64> %a, i256 %i) nounwind {
 328 ; SSE2-LABEL: extractelement_v2i64_1:
 329 ; SSE2:       # %bb.0:
 330 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
 331 ; SSE2-NEXT:    movq %xmm0, %rax
 332 ; SSE2-NEXT:    retq
 333 ;
 334 ; SSE41-LABEL: extractelement_v2i64_1:
 335 ; SSE41:       # %bb.0:
 336 ; SSE41-NEXT:    pextrq $1, %xmm0, %rax
 337 ; SSE41-NEXT:    retq
 338 ;
 339 ; AVX-LABEL: extractelement_v2i64_1:
 340 ; AVX:       # %bb.0:
 341 ; AVX-NEXT:    vpextrq $1, %xmm0, %rax
 342 ; AVX-NEXT:    retq
 343   %b = extractelement <2 x i64> %a, i256 1
 344   ret i64 %b
 345 }
 346
 347 define i64 @extractelement_v4i64_1(<4 x i64> %a, i256 %i) nounwind {
 348 ; SSE2-LABEL: extractelement_v4i64_1:
 349 ; SSE2:       # %bb.0:
 350 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
 351 ; SSE2-NEXT:    movq %xmm0, %rax
 352 ; SSE2-NEXT:    retq
 353 ;
 354 ; SSE41-LABEL: extractelement_v4i64_1:
 355 ; SSE41:       # %bb.0:
 356 ; SSE41-NEXT:    pextrq $1, %xmm0, %rax
 357 ; SSE41-NEXT:    retq
 358 ;
 359 ; AVX-LABEL: extractelement_v4i64_1:
 360 ; AVX:       # %bb.0:
 361 ; AVX-NEXT:    vpextrq $1, %xmm0, %rax
 362 ; AVX-NEXT:    vzeroupper
 363 ; AVX-NEXT:    retq
 364   %b = extractelement <4 x i64> %a, i256 1
 365   ret i64 %b
 366 }
 367
 368 define i64 @extractelement_v4i64_3(<4 x i64> %a, i256 %i) nounwind {
 369 ; SSE2-LABEL: extractelement_v4i64_3:
 370 ; SSE2:       # %bb.0:
 371 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
 372 ; SSE2-NEXT:    movq %xmm0, %rax
 373 ; SSE2-NEXT:    retq
 374 ;
 375 ; SSE41-LABEL: extractelement_v4i64_3:
 376 ; SSE41:       # %bb.0:
 377 ; SSE41-NEXT:    pextrq $1, %xmm1, %rax
 378 ; SSE41-NEXT:    retq
 379 ;
 380 ; AVX1-LABEL: extractelement_v4i64_3:
 381 ; AVX1:       # %bb.0:
 382 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm0
 383 ; AVX1-NEXT:    vpextrq $1, %xmm0, %rax
 384 ; AVX1-NEXT:    vzeroupper
 385 ; AVX1-NEXT:    retq
 386 ;
 387 ; AVX2-LABEL: extractelement_v4i64_3:
 388 ; AVX2:       # %bb.0:
 389 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm0
 390 ; AVX2-NEXT:    vpextrq $1, %xmm0, %rax
 391 ; AVX2-NEXT:    vzeroupper
 392 ; AVX2-NEXT:    retq
 393   %b = extractelement <4 x i64> %a, i256 3
 394   ret i64 %b
 395 }
 396
 397 ;
 398 ; ExtractElement - Variable Index
 399 ;
 400
 401 define i8 @extractelement_v16i8_var(<16 x i8> %a, i256 %i) nounwind {
 402 ; SSE-LABEL: extractelement_v16i8_var:
 403 ; SSE:       # %bb.0:
 404 ; SSE-NEXT:    andl $15, %edi
 405 ; SSE-NEXT:    movaps %xmm0, -{{[0-9]+}}(%rsp)
 406 ; SSE-NEXT:    movb -24(%rsp,%rdi), %al
 407 ; SSE-NEXT:    retq
 408 ;
 409 ; AVX-LABEL: extractelement_v16i8_var:
 410 ; AVX:       # %bb.0:
 411 ; AVX-NEXT:    andl $15, %edi
 412 ; AVX-NEXT:    vmovaps %xmm0, -{{[0-9]+}}(%rsp)
 413 ; AVX-NEXT:    movb -24(%rsp,%rdi), %al
 414 ; AVX-NEXT:    retq
 415   %b = extractelement <16 x i8> %a, i256 %i
 416   ret i8 %b
 417 }
 418
 419 define i8 @extractelement_v32i8_var(<32 x i8> %a, i256 %i) nounwind {
 420 ; SSE-LABEL: extractelement_v32i8_var:
 421 ; SSE:       # %bb.0:
 422 ; SSE-NEXT:    pushq %rbp
 423 ; SSE-NEXT:    movq %rsp, %rbp
 424 ; SSE-NEXT:    andq $-32, %rsp
 425 ; SSE-NEXT:    subq $64, %rsp
 426 ; SSE-NEXT:    andl $31, %edi
 427 ; SSE-NEXT:    movaps %xmm1, {{[0-9]+}}(%rsp)
 428 ; SSE-NEXT:    movaps %xmm0, (%rsp)
 429 ; SSE-NEXT:    movb (%rsp,%rdi), %al
 430 ; SSE-NEXT:    movq %rbp, %rsp
 431 ; SSE-NEXT:    popq %rbp
 432 ; SSE-NEXT:    retq
 433 ;
 434 ; AVX-LABEL: extractelement_v32i8_var:
 435 ; AVX:       # %bb.0:
 436 ; AVX-NEXT:    pushq %rbp
 437 ; AVX-NEXT:    movq %rsp, %rbp
 438 ; AVX-NEXT:    andq $-32, %rsp
 439 ; AVX-NEXT:    subq $64, %rsp
 440 ; AVX-NEXT:    andl $31, %edi
 441 ; AVX-NEXT:    vmovaps %ymm0, (%rsp)
 442 ; AVX-NEXT:    movb (%rsp,%rdi), %al
 443 ; AVX-NEXT:    movq %rbp, %rsp
 444 ; AVX-NEXT:    popq %rbp
 445 ; AVX-NEXT:    vzeroupper
 446 ; AVX-NEXT:    retq
 447   %b = extractelement <32 x i8> %a, i256 %i
 448   ret i8 %b
 449 }
 450
 451 define i16 @extractelement_v8i16_var(<8 x i16> %a, i256 %i) nounwind {
 452 ; SSE-LABEL: extractelement_v8i16_var:
 453 ; SSE:       # %bb.0:
 454 ; SSE-NEXT:    andl $7, %edi
 455 ; SSE-NEXT:    movaps %xmm0, -{{[0-9]+}}(%rsp)
 456 ; SSE-NEXT:    movzwl -24(%rsp,%rdi,2), %eax
 457 ; SSE-NEXT:    retq
 458 ;
 459 ; AVX-LABEL: extractelement_v8i16_var:
 460 ; AVX:       # %bb.0:
 461 ; AVX-NEXT:    andl $7, %edi
 462 ; AVX-NEXT:    vmovaps %xmm0, -{{[0-9]+}}(%rsp)
 463 ; AVX-NEXT:    movzwl -24(%rsp,%rdi,2), %eax
 464 ; AVX-NEXT:    retq
 465   %b = extractelement <8 x i16> %a, i256 %i
 466   ret i16 %b
 467 }
 468
 469 define i16 @extractelement_v16i16_var(<16 x i16> %a, i256 %i) nounwind {
 470 ; SSE-LABEL: extractelement_v16i16_var:
 471 ; SSE:       # %bb.0:
 472 ; SSE-NEXT:    pushq %rbp
 473 ; SSE-NEXT:    movq %rsp, %rbp
 474 ; SSE-NEXT:    andq $-32, %rsp
 475 ; SSE-NEXT:    subq $64, %rsp
 476 ; SSE-NEXT:    andl $15, %edi
 477 ; SSE-NEXT:    movaps %xmm1, {{[0-9]+}}(%rsp)
 478 ; SSE-NEXT:    movaps %xmm0, (%rsp)
 479 ; SSE-NEXT:    movzwl (%rsp,%rdi,2), %eax
 480 ; SSE-NEXT:    movq %rbp, %rsp
 481 ; SSE-NEXT:    popq %rbp
 482 ; SSE-NEXT:    retq
 483 ;
 484 ; AVX-LABEL: extractelement_v16i16_var:
 485 ; AVX:       # %bb.0:
 486 ; AVX-NEXT:    pushq %rbp
 487 ; AVX-NEXT:    movq %rsp, %rbp
 488 ; AVX-NEXT:    andq $-32, %rsp
 489 ; AVX-NEXT:    subq $64, %rsp
 490 ; AVX-NEXT:    andl $15, %edi
 491 ; AVX-NEXT:    vmovaps %ymm0, (%rsp)
 492 ; AVX-NEXT:    movzwl (%rsp,%rdi,2), %eax
 493 ; AVX-NEXT:    movq %rbp, %rsp
 494 ; AVX-NEXT:    popq %rbp
 495 ; AVX-NEXT:    vzeroupper
 496 ; AVX-NEXT:    retq
 497   %b = extractelement <16 x i16> %a, i256 %i
 498   ret i16 %b
 499 }
 500
 501 define i32 @extractelement_v4i32_var(<4 x i32> %a, i256 %i) nounwind {
 502 ; SSE-LABEL: extractelement_v4i32_var:
 503 ; SSE:       # %bb.0:
 504 ; SSE-NEXT:    andl $3, %edi
 505 ; SSE-NEXT:    movaps %xmm0, -{{[0-9]+}}(%rsp)
 506 ; SSE-NEXT:    movl -24(%rsp,%rdi,4), %eax
 507 ; SSE-NEXT:    retq
 508 ;
 509 ; AVX-LABEL: extractelement_v4i32_var:
 510 ; AVX:       # %bb.0:
 511 ; AVX-NEXT:    andl $3, %edi
 512 ; AVX-NEXT:    vmovaps %xmm0, -{{[0-9]+}}(%rsp)
 513 ; AVX-NEXT:    movl -24(%rsp,%rdi,4), %eax
 514 ; AVX-NEXT:    retq
 515   %b = extractelement <4 x i32> %a, i256 %i
 516   ret i32 %b
 517 }
 518
 519 define i32 @extractelement_v8i32_var(<8 x i32> %a, i256 %i) nounwind {
 520 ; SSE-LABEL: extractelement_v8i32_var:
 521 ; SSE:       # %bb.0:
 522 ; SSE-NEXT:    pushq %rbp
 523 ; SSE-NEXT:    movq %rsp, %rbp
 524 ; SSE-NEXT:    andq $-32, %rsp
 525 ; SSE-NEXT:    subq $64, %rsp
 526 ; SSE-NEXT:    andl $7, %edi
 527 ; SSE-NEXT:    movaps %xmm1, {{[0-9]+}}(%rsp)
 528 ; SSE-NEXT:    movaps %xmm0, (%rsp)
 529 ; SSE-NEXT:    movl (%rsp,%rdi,4), %eax
 530 ; SSE-NEXT:    movq %rbp, %rsp
 531 ; SSE-NEXT:    popq %rbp
 532 ; SSE-NEXT:    retq
 533 ;
 534 ; AVX-LABEL: extractelement_v8i32_var:
 535 ; AVX:       # %bb.0:
 536 ; AVX-NEXT:    pushq %rbp
 537 ; AVX-NEXT:    movq %rsp, %rbp
 538 ; AVX-NEXT:    andq $-32, %rsp
 539 ; AVX-NEXT:    subq $64, %rsp
 540 ; AVX-NEXT:    andl $7, %edi
 541 ; AVX-NEXT:    vmovaps %ymm0, (%rsp)
 542 ; AVX-NEXT:    movl (%rsp,%rdi,4), %eax
 543 ; AVX-NEXT:    movq %rbp, %rsp
 544 ; AVX-NEXT:    popq %rbp
 545 ; AVX-NEXT:    vzeroupper
 546 ; AVX-NEXT:    retq
 547   %b = extractelement <8 x i32> %a, i256 %i
 548   ret i32 %b
 549 }
 550
 551 define i64 @extractelement_v2i64_var(<2 x i64> %a, i256 %i) nounwind {
 552 ; SSE-LABEL: extractelement_v2i64_var:
 553 ; SSE:       # %bb.0:
 554 ; SSE-NEXT:    andl $1, %edi
 555 ; SSE-NEXT:    movaps %xmm0, -{{[0-9]+}}(%rsp)
 556 ; SSE-NEXT:    movq -24(%rsp,%rdi,8), %rax
 557 ; SSE-NEXT:    retq
 558 ;
 559 ; AVX-LABEL: extractelement_v2i64_var:
 560 ; AVX:       # %bb.0:
 561 ; AVX-NEXT:    andl $1, %edi
 562 ; AVX-NEXT:    vmovaps %xmm0, -{{[0-9]+}}(%rsp)
 563 ; AVX-NEXT:    movq -24(%rsp,%rdi,8), %rax
 564 ; AVX-NEXT:    retq
 565   %b = extractelement <2 x i64> %a, i256 %i
 566   ret i64 %b
 567 }
 568
 569 define i64 @extractelement_v4i64_var(<4 x i64> %a, i256 %i) nounwind {
 570 ; SSE-LABEL: extractelement_v4i64_var:
 571 ; SSE:       # %bb.0:
 572 ; SSE-NEXT:    pushq %rbp
 573 ; SSE-NEXT:    movq %rsp, %rbp
 574 ; SSE-NEXT:    andq $-32, %rsp
 575 ; SSE-NEXT:    subq $64, %rsp
 576 ; SSE-NEXT:    andl $3, %edi
 577 ; SSE-NEXT:    movaps %xmm1, {{[0-9]+}}(%rsp)
 578 ; SSE-NEXT:    movaps %xmm0, (%rsp)
 579 ; SSE-NEXT:    movq (%rsp,%rdi,8), %rax
 580 ; SSE-NEXT:    movq %rbp, %rsp
 581 ; SSE-NEXT:    popq %rbp
 582 ; SSE-NEXT:    retq
 583 ;
 584 ; AVX-LABEL: extractelement_v4i64_var:
 585 ; AVX:       # %bb.0:
 586 ; AVX-NEXT:    pushq %rbp
 587 ; AVX-NEXT:    movq %rsp, %rbp
 588 ; AVX-NEXT:    andq $-32, %rsp
 589 ; AVX-NEXT:    subq $64, %rsp
 590 ; AVX-NEXT:    andl $3, %edi
 591 ; AVX-NEXT:    vmovaps %ymm0, (%rsp)
 592 ; AVX-NEXT:    movq (%rsp,%rdi,8), %rax
 593 ; AVX-NEXT:    movq %rbp, %rsp
 594 ; AVX-NEXT:    popq %rbp
 595 ; AVX-NEXT:    vzeroupper
 596 ; AVX-NEXT:    retq
 597   %b = extractelement <4 x i64> %a, i256 %i
 598   ret i64 %b
 599 }
 600
 601 ;
 602 ; ExtractElement - Constant (Out Of Range) Index
 603 ;
 604
 605 define i8 @extractelement_32i8_m1(<32 x i8> %a) nounwind {
 606 ; SSE-LABEL: extractelement_32i8_m1:
 607 ; SSE:       # %bb.0:
 608 ; SSE-NEXT:    retq
 609 ;
 610 ; AVX-LABEL: extractelement_32i8_m1:
 611 ; AVX:       # %bb.0:
 612 ; AVX-NEXT:    retq
 613   %b = extractelement <32 x i8> %a, i256 -1
 614   ret i8 %b
 615 }
 616
 617 define i16 @extractelement_v16i16_m4(<16 x i16> %a, i256 %i) nounwind {
 618 ; SSE-LABEL: extractelement_v16i16_m4:
 619 ; SSE:       # %bb.0:
 620 ; SSE-NEXT:    retq
 621 ;
 622 ; AVX-LABEL: extractelement_v16i16_m4:
 623 ; AVX:       # %bb.0:
 624 ; AVX-NEXT:    retq
 625   %b = extractelement <16 x i16> %a, i256 -4
 626   ret i16 %b
 627 }
 628
 629 define i32 @extractelement_v8i32_15(<8 x i32> %a) nounwind {
 630 ; SSE-LABEL: extractelement_v8i32_15:
 631 ; SSE:       # %bb.0:
 632 ; SSE-NEXT:    retq
 633 ;
 634 ; AVX-LABEL: extractelement_v8i32_15:
 635 ; AVX:       # %bb.0:
 636 ; AVX-NEXT:    retq
 637   %b = extractelement <8 x i32> %a, i64 15
 638   ret i32 %b
 639 }
 640
 641 define i64 @extractelement_v4i64_4(<4 x i64> %a, i256 %i) nounwind {
 642 ; SSE-LABEL: extractelement_v4i64_4:
 643 ; SSE:       # %bb.0:
 644 ; SSE-NEXT:    retq
 645 ;
 646 ; AVX-LABEL: extractelement_v4i64_4:
 647 ; AVX:       # %bb.0:
 648 ; AVX-NEXT:    retq
 649   %b = extractelement <4 x i64> %a, i256 4
 650   ret i64 %b
 651 }