test/CodeGen/X86/pr15267.ll

   1 ; RUN: llc < %s -mtriple=x86_64-pc-linux -mcpu=corei7-avx | FileCheck %s
   2
   3 define <4 x i3> @test1(<4 x i3>* %in) nounwind {
   4 ; CHECK-LABEL: test1:
   5 ; CHECK:       # BB#0:
   6 ; CHECK-NEXT:    movzwl (%rdi), %eax
   7 ; CHECK-NEXT:    movl %eax, %ecx
   8 ; CHECK-NEXT:    shrl $3, %ecx
   9 ; CHECK-NEXT:    andl $7, %ecx
  10 ; CHECK-NEXT:    movl %eax, %edx
  11 ; CHECK-NEXT:    andl $7, %edx
  12 ; CHECK-NEXT:    vmovd %edx, %xmm0
  13 ; CHECK-NEXT:    vpinsrd $1, %ecx, %xmm0, %xmm0
  14 ; CHECK-NEXT:    movl %eax, %ecx
  15 ; CHECK-NEXT:    shrl $6, %ecx
  16 ; CHECK-NEXT:    andl $7, %ecx
  17 ; CHECK-NEXT:    vpinsrd $2, %ecx, %xmm0, %xmm0
  18 ; CHECK-NEXT:    shrl $9, %eax
  19 ; CHECK-NEXT:    andl $7, %eax
  20 ; CHECK-NEXT:    vpinsrd $3, %eax, %xmm0, %xmm0
  21 ; CHECK-NEXT:    retq
  22   %ret = load <4 x i3>, <4 x i3>* %in, align 1
  23   ret <4 x i3> %ret
  24 }
  25
  26 define <4 x i1> @test2(<4 x i1>* %in) nounwind {
  27 ; CHECK-LABEL: test2:
  28 ; CHECK:       # BB#0:
  29 ; CHECK-NEXT:    movzbl (%rdi), %eax
  30 ; CHECK-NEXT:    movl %eax, %ecx
  31 ; CHECK-NEXT:    shrl %ecx
  32 ; CHECK-NEXT:    andl $1, %ecx
  33 ; CHECK-NEXT:    movl %eax, %edx
  34 ; CHECK-NEXT:    andl $1, %edx
  35 ; CHECK-NEXT:    vmovd %edx, %xmm0
  36 ; CHECK-NEXT:    vpinsrd $1, %ecx, %xmm0, %xmm0
  37 ; CHECK-NEXT:    movl %eax, %ecx
  38 ; CHECK-NEXT:    shrl $2, %ecx
  39 ; CHECK-NEXT:    andl $1, %ecx
  40 ; CHECK-NEXT:    vpinsrd $2, %ecx, %xmm0, %xmm0
  41 ; CHECK-NEXT:    shrl $3, %eax
  42 ; CHECK-NEXT:    andl $1, %eax
  43 ; CHECK-NEXT:    vpinsrd $3, %eax, %xmm0, %xmm0
  44 ; CHECK-NEXT:    retq
  45   %ret = load <4 x i1>, <4 x i1>* %in, align 1
  46   ret <4 x i1> %ret
  47 }
  48
  49 define <4 x i64> @test3(<4 x i1>* %in) nounwind {
  50 ; CHECK-LABEL: test3:
  51 ; CHECK:       # BB#0:
  52 ; CHECK-NEXT:    movzbl (%rdi), %eax
  53 ; CHECK-NEXT:    movq %rax, %rcx
  54 ; CHECK-NEXT:    shlq $62, %rcx
  55 ; CHECK-NEXT:    sarq $63, %rcx
  56 ; CHECK-NEXT:    movq %rax, %rdx
  57 ; CHECK-NEXT:    shlq $63, %rdx
  58 ; CHECK-NEXT:    sarq $63, %rdx
  59 ; CHECK-NEXT:    vmovd %edx, %xmm0
  60 ; CHECK-NEXT:    vpinsrd $1, %ecx, %xmm0, %xmm0
  61 ; CHECK-NEXT:    movq %rax, %rcx
  62 ; CHECK-NEXT:    shlq $61, %rcx
  63 ; CHECK-NEXT:    sarq $63, %rcx
  64 ; CHECK-NEXT:    vpinsrd $2, %ecx, %xmm0, %xmm0
  65 ; CHECK-NEXT:    shlq $60, %rax
  66 ; CHECK-NEXT:    sarq $63, %rax
  67 ; CHECK-NEXT:    vpinsrd $3, %eax, %xmm0, %xmm0
  68 ; CHECK-NEXT:    vpmovsxdq %xmm0, %xmm0
  69 ; CHECK-NEXT:    vmovd %ecx, %xmm1
  70 ; CHECK-NEXT:    vpinsrd $1, %eax, %xmm1, %xmm1
  71 ; CHECK-NEXT:    vpmovsxdq %xmm1, %xmm1
  72 ; CHECK-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
  73 ; CHECK-NEXT:    retq
  74   %wide.load35 = load <4 x i1>, <4 x i1>* %in, align 1
  75   %sext = sext <4 x i1> %wide.load35 to <4 x i64>
  76   ret <4 x i64> %sext
  77 }
  78
  79 define <16 x i4> @test4(<16 x i4>* %in) nounwind {
  80 ; CHECK-LABEL: test4:
  81 ; CHECK:       # BB#0:
  82 ; CHECK-NEXT:    movq (%rdi), %rax
  83 ; CHECK-NEXT:    movl %eax, %ecx
  84 ; CHECK-NEXT:    shrl $4, %ecx
  85 ; CHECK-NEXT:    andl $15, %ecx
  86 ; CHECK-NEXT:    movl %eax, %edx
  87 ; CHECK-NEXT:    andl $15, %edx
  88 ; CHECK-NEXT:    vmovd %edx, %xmm0
  89 ; CHECK-NEXT:    vpinsrb $1, %ecx, %xmm0, %xmm0
  90 ; CHECK-NEXT:    movl %eax, %ecx
  91 ; CHECK-NEXT:    shrl $8, %ecx
  92 ; CHECK-NEXT:    andl $15, %ecx
  93 ; CHECK-NEXT:    vpinsrb $2, %ecx, %xmm0, %xmm0
  94 ; CHECK-NEXT:    movl %eax, %ecx
  95 ; CHECK-NEXT:    shrl $12, %ecx
  96 ; CHECK-NEXT:    andl $15, %ecx
  97 ; CHECK-NEXT:    vpinsrb $3, %ecx, %xmm0, %xmm0
  98 ; CHECK-NEXT:    movl %eax, %ecx
  99 ; CHECK-NEXT:    shrl $16, %ecx
 100 ; CHECK-NEXT:    andl $15, %ecx
 101 ; CHECK-NEXT:    vpinsrb $4, %ecx, %xmm0, %xmm0
 102 ; CHECK-NEXT:    movl %eax, %ecx
 103 ; CHECK-NEXT:    shrl $20, %ecx
 104 ; CHECK-NEXT:    andl $15, %ecx
 105 ; CHECK-NEXT:    vpinsrb $5, %ecx, %xmm0, %xmm0
 106 ; CHECK-NEXT:    movl %eax, %ecx
 107 ; CHECK-NEXT:    shrl $24, %ecx
 108 ; CHECK-NEXT:    andl $15, %ecx
 109 ; CHECK-NEXT:    vpinsrb $6, %ecx, %xmm0, %xmm0
 110 ; CHECK-NEXT:    movl %eax, %ecx
 111 ; CHECK-NEXT:    shrl $28, %ecx
 112 ; CHECK-NEXT:    vpinsrb $7, %ecx, %xmm0, %xmm0
 113 ; CHECK-NEXT:    movq %rax, %rcx
 114 ; CHECK-NEXT:    shrq $32, %rcx
 115 ; CHECK-NEXT:    andl $15, %ecx
 116 ; CHECK-NEXT:    vpinsrb $8, %ecx, %xmm0, %xmm0
 117 ; CHECK-NEXT:    movq %rax, %rcx
 118 ; CHECK-NEXT:    shrq $36, %rcx
 119 ; CHECK-NEXT:    andl $15, %ecx
 120 ; CHECK-NEXT:    vpinsrb $9, %ecx, %xmm0, %xmm0
 121 ; CHECK-NEXT:    movq %rax, %rcx
 122 ; CHECK-NEXT:    shrq $40, %rcx
 123 ; CHECK-NEXT:    andl $15, %ecx
 124 ; CHECK-NEXT:    vpinsrb $10, %ecx, %xmm0, %xmm0
 125 ; CHECK-NEXT:    movq %rax, %rcx
 126 ; CHECK-NEXT:    shrq $44, %rcx
 127 ; CHECK-NEXT:    andl $15, %ecx
 128 ; CHECK-NEXT:    vpinsrb $11, %ecx, %xmm0, %xmm0
 129 ; CHECK-NEXT:    movq %rax, %rcx
 130 ; CHECK-NEXT:    shrq $48, %rcx
 131 ; CHECK-NEXT:    andl $15, %ecx
 132 ; CHECK-NEXT:    vpinsrb $12, %ecx, %xmm0, %xmm0
 133 ; CHECK-NEXT:    movq %rax, %rcx
 134 ; CHECK-NEXT:    shrq $52, %rcx
 135 ; CHECK-NEXT:    andl $15, %ecx
 136 ; CHECK-NEXT:    vpinsrb $13, %ecx, %xmm0, %xmm0
 137 ; CHECK-NEXT:    movq %rax, %rcx
 138 ; CHECK-NEXT:    shrq $56, %rcx
 139 ; CHECK-NEXT:    andl $15, %ecx
 140 ; CHECK-NEXT:    vpinsrb $14, %ecx, %xmm0, %xmm0
 141 ; CHECK-NEXT:    shrq $60, %rax
 142 ; CHECK-NEXT:    vpinsrb $15, %eax, %xmm0, %xmm0
 143 ; CHECK-NEXT:    retq
 144   %ret = load <16 x i4>, <16 x i4>* %in, align 1
 145   ret <16 x i4> %ret
 146 }