test/CodeGen/X86/vec_fpext.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown -mattr=+sse4.1 -show-mc-encoding | FileCheck %s --check-prefix=X32-SSE
   3 ; RUN: llc < %s -mtriple=i686-unknown -mattr=+avx -show-mc-encoding | FileCheck %s --check-prefix=X32-AVX
   4 ; RUN: llc < %s -mtriple=i686-unknown -mattr=+avx512vl -show-mc-encoding | FileCheck %s --check-prefix=X32-AVX512VL
   5 ; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+sse4.1 -show-mc-encoding | FileCheck %s --check-prefix=X64-SSE
   6 ; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+avx -show-mc-encoding | FileCheck %s --check-prefix=X64-AVX
   7 ; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+avx512vl -show-mc-encoding | FileCheck %s --check-prefix=X64-AVX512VL
   8
   9 ; PR11674
  10 define void @fpext_frommem(<2 x float>* %in, <2 x double>* %out) {
  11 ; X32-SSE-LABEL: fpext_frommem:
  12 ; X32-SSE:       # %bb.0: # %entry
  13 ; X32-SSE-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
  14 ; X32-SSE-NEXT:    movl {{[0-9]+}}(%esp), %ecx # encoding: [0x8b,0x4c,0x24,0x04]
  15 ; X32-SSE-NEXT:    cvtps2pd (%ecx), %xmm0 # encoding: [0x0f,0x5a,0x01]
  16 ; X32-SSE-NEXT:    movups %xmm0, (%eax) # encoding: [0x0f,0x11,0x00]
  17 ; X32-SSE-NEXT:    retl # encoding: [0xc3]
  18 ;
  19 ; X32-AVX-LABEL: fpext_frommem:
  20 ; X32-AVX:       # %bb.0: # %entry
  21 ; X32-AVX-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
  22 ; X32-AVX-NEXT:    movl {{[0-9]+}}(%esp), %ecx # encoding: [0x8b,0x4c,0x24,0x04]
  23 ; X32-AVX-NEXT:    vcvtps2pd (%ecx), %xmm0 # encoding: [0xc5,0xf8,0x5a,0x01]
  24 ; X32-AVX-NEXT:    vmovups %xmm0, (%eax) # encoding: [0xc5,0xf8,0x11,0x00]
  25 ; X32-AVX-NEXT:    retl # encoding: [0xc3]
  26 ;
  27 ; X32-AVX512VL-LABEL: fpext_frommem:
  28 ; X32-AVX512VL:       # %bb.0: # %entry
  29 ; X32-AVX512VL-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
  30 ; X32-AVX512VL-NEXT:    movl {{[0-9]+}}(%esp), %ecx # encoding: [0x8b,0x4c,0x24,0x04]
  31 ; X32-AVX512VL-NEXT:    vcvtps2pd (%ecx), %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x5a,0x01]
  32 ; X32-AVX512VL-NEXT:    vmovups %xmm0, (%eax) # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x11,0x00]
  33 ; X32-AVX512VL-NEXT:    retl # encoding: [0xc3]
  34 ;
  35 ; X64-SSE-LABEL: fpext_frommem:
  36 ; X64-SSE:       # %bb.0: # %entry
  37 ; X64-SSE-NEXT:    cvtps2pd (%rdi), %xmm0 # encoding: [0x0f,0x5a,0x07]
  38 ; X64-SSE-NEXT:    movups %xmm0, (%rsi) # encoding: [0x0f,0x11,0x06]
  39 ; X64-SSE-NEXT:    retq # encoding: [0xc3]
  40 ;
  41 ; X64-AVX-LABEL: fpext_frommem:
  42 ; X64-AVX:       # %bb.0: # %entry
  43 ; X64-AVX-NEXT:    vcvtps2pd (%rdi), %xmm0 # encoding: [0xc5,0xf8,0x5a,0x07]
  44 ; X64-AVX-NEXT:    vmovups %xmm0, (%rsi) # encoding: [0xc5,0xf8,0x11,0x06]
  45 ; X64-AVX-NEXT:    retq # encoding: [0xc3]
  46 ;
  47 ; X64-AVX512VL-LABEL: fpext_frommem:
  48 ; X64-AVX512VL:       # %bb.0: # %entry
  49 ; X64-AVX512VL-NEXT:    vcvtps2pd (%rdi), %xmm0 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x5a,0x07]
  50 ; X64-AVX512VL-NEXT:    vmovups %xmm0, (%rsi) # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x11,0x06]
  51 ; X64-AVX512VL-NEXT:    retq # encoding: [0xc3]
  52 entry:
  53   %0 = load <2 x float>, <2 x float>* %in, align 8
  54   %1 = fpext <2 x float> %0 to <2 x double>
  55   store <2 x double> %1, <2 x double>* %out, align 1
  56   ret void
  57 }
  58
  59 define void @fpext_frommem4(<4 x float>* %in, <4 x double>* %out) {
  60 ; X32-SSE-LABEL: fpext_frommem4:
  61 ; X32-SSE:       # %bb.0: # %entry
  62 ; X32-SSE-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
  63 ; X32-SSE-NEXT:    movl {{[0-9]+}}(%esp), %ecx # encoding: [0x8b,0x4c,0x24,0x04]
  64 ; X32-SSE-NEXT:    cvtps2pd (%ecx), %xmm0 # encoding: [0x0f,0x5a,0x01]
  65 ; X32-SSE-NEXT:    cvtps2pd 8(%ecx), %xmm1 # encoding: [0x0f,0x5a,0x49,0x08]
  66 ; X32-SSE-NEXT:    movups %xmm1, 16(%eax) # encoding: [0x0f,0x11,0x48,0x10]
  67 ; X32-SSE-NEXT:    movups %xmm0, (%eax) # encoding: [0x0f,0x11,0x00]
  68 ; X32-SSE-NEXT:    retl # encoding: [0xc3]
  69 ;
  70 ; X32-AVX-LABEL: fpext_frommem4:
  71 ; X32-AVX:       # %bb.0: # %entry
  72 ; X32-AVX-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
  73 ; X32-AVX-NEXT:    movl {{[0-9]+}}(%esp), %ecx # encoding: [0x8b,0x4c,0x24,0x04]
  74 ; X32-AVX-NEXT:    vcvtps2pd (%ecx), %ymm0 # encoding: [0xc5,0xfc,0x5a,0x01]
  75 ; X32-AVX-NEXT:    vmovups %ymm0, (%eax) # encoding: [0xc5,0xfc,0x11,0x00]
  76 ; X32-AVX-NEXT:    vzeroupper # encoding: [0xc5,0xf8,0x77]
  77 ; X32-AVX-NEXT:    retl # encoding: [0xc3]
  78 ;
  79 ; X32-AVX512VL-LABEL: fpext_frommem4:
  80 ; X32-AVX512VL:       # %bb.0: # %entry
  81 ; X32-AVX512VL-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
  82 ; X32-AVX512VL-NEXT:    movl {{[0-9]+}}(%esp), %ecx # encoding: [0x8b,0x4c,0x24,0x04]
  83 ; X32-AVX512VL-NEXT:    vcvtps2pd (%ecx), %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x5a,0x01]
  84 ; X32-AVX512VL-NEXT:    vmovups %ymm0, (%eax) # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x11,0x00]
  85 ; X32-AVX512VL-NEXT:    vzeroupper # encoding: [0xc5,0xf8,0x77]
  86 ; X32-AVX512VL-NEXT:    retl # encoding: [0xc3]
  87 ;
  88 ; X64-SSE-LABEL: fpext_frommem4:
  89 ; X64-SSE:       # %bb.0: # %entry
  90 ; X64-SSE-NEXT:    cvtps2pd (%rdi), %xmm0 # encoding: [0x0f,0x5a,0x07]
  91 ; X64-SSE-NEXT:    cvtps2pd 8(%rdi), %xmm1 # encoding: [0x0f,0x5a,0x4f,0x08]
  92 ; X64-SSE-NEXT:    movups %xmm1, 16(%rsi) # encoding: [0x0f,0x11,0x4e,0x10]
  93 ; X64-SSE-NEXT:    movups %xmm0, (%rsi) # encoding: [0x0f,0x11,0x06]
  94 ; X64-SSE-NEXT:    retq # encoding: [0xc3]
  95 ;
  96 ; X64-AVX-LABEL: fpext_frommem4:
  97 ; X64-AVX:       # %bb.0: # %entry
  98 ; X64-AVX-NEXT:    vcvtps2pd (%rdi), %ymm0 # encoding: [0xc5,0xfc,0x5a,0x07]
  99 ; X64-AVX-NEXT:    vmovups %ymm0, (%rsi) # encoding: [0xc5,0xfc,0x11,0x06]
 100 ; X64-AVX-NEXT:    vzeroupper # encoding: [0xc5,0xf8,0x77]
 101 ; X64-AVX-NEXT:    retq # encoding: [0xc3]
 102 ;
 103 ; X64-AVX512VL-LABEL: fpext_frommem4:
 104 ; X64-AVX512VL:       # %bb.0: # %entry
 105 ; X64-AVX512VL-NEXT:    vcvtps2pd (%rdi), %ymm0 # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x5a,0x07]
 106 ; X64-AVX512VL-NEXT:    vmovups %ymm0, (%rsi) # EVEX TO VEX Compression encoding: [0xc5,0xfc,0x11,0x06]
 107 ; X64-AVX512VL-NEXT:    vzeroupper # encoding: [0xc5,0xf8,0x77]
 108 ; X64-AVX512VL-NEXT:    retq # encoding: [0xc3]
 109 entry:
 110   %0 = load <4 x float>, <4 x float>* %in
 111   %1 = fpext <4 x float> %0 to <4 x double>
 112   store <4 x double> %1, <4 x double>* %out, align 1
 113   ret void
 114 }
 115
 116 define void @fpext_frommem8(<8 x float>* %in, <8 x double>* %out) {
 117 ; X32-SSE-LABEL: fpext_frommem8:
 118 ; X32-SSE:       # %bb.0: # %entry
 119 ; X32-SSE-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
 120 ; X32-SSE-NEXT:    movl {{[0-9]+}}(%esp), %ecx # encoding: [0x8b,0x4c,0x24,0x04]
 121 ; X32-SSE-NEXT:    cvtps2pd (%ecx), %xmm0 # encoding: [0x0f,0x5a,0x01]
 122 ; X32-SSE-NEXT:    cvtps2pd 8(%ecx), %xmm1 # encoding: [0x0f,0x5a,0x49,0x08]
 123 ; X32-SSE-NEXT:    cvtps2pd 16(%ecx), %xmm2 # encoding: [0x0f,0x5a,0x51,0x10]
 124 ; X32-SSE-NEXT:    cvtps2pd 24(%ecx), %xmm3 # encoding: [0x0f,0x5a,0x59,0x18]
 125 ; X32-SSE-NEXT:    movups %xmm3, 48(%eax) # encoding: [0x0f,0x11,0x58,0x30]
 126 ; X32-SSE-NEXT:    movups %xmm2, 32(%eax) # encoding: [0x0f,0x11,0x50,0x20]
 127 ; X32-SSE-NEXT:    movups %xmm1, 16(%eax) # encoding: [0x0f,0x11,0x48,0x10]
 128 ; X32-SSE-NEXT:    movups %xmm0, (%eax) # encoding: [0x0f,0x11,0x00]
 129 ; X32-SSE-NEXT:    retl # encoding: [0xc3]
 130 ;
 131 ; X32-AVX-LABEL: fpext_frommem8:
 132 ; X32-AVX:       # %bb.0: # %entry
 133 ; X32-AVX-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
 134 ; X32-AVX-NEXT:    movl {{[0-9]+}}(%esp), %ecx # encoding: [0x8b,0x4c,0x24,0x04]
 135 ; X32-AVX-NEXT:    vcvtps2pd (%ecx), %ymm0 # encoding: [0xc5,0xfc,0x5a,0x01]
 136 ; X32-AVX-NEXT:    vcvtps2pd 16(%ecx), %ymm1 # encoding: [0xc5,0xfc,0x5a,0x49,0x10]
 137 ; X32-AVX-NEXT:    vmovups %ymm1, 32(%eax) # encoding: [0xc5,0xfc,0x11,0x48,0x20]
 138 ; X32-AVX-NEXT:    vmovups %ymm0, (%eax) # encoding: [0xc5,0xfc,0x11,0x00]
 139 ; X32-AVX-NEXT:    vzeroupper # encoding: [0xc5,0xf8,0x77]
 140 ; X32-AVX-NEXT:    retl # encoding: [0xc3]
 141 ;
 142 ; X32-AVX512VL-LABEL: fpext_frommem8:
 143 ; X32-AVX512VL:       # %bb.0: # %entry
 144 ; X32-AVX512VL-NEXT:    movl {{[0-9]+}}(%esp), %eax # encoding: [0x8b,0x44,0x24,0x08]
 145 ; X32-AVX512VL-NEXT:    movl {{[0-9]+}}(%esp), %ecx # encoding: [0x8b,0x4c,0x24,0x04]
 146 ; X32-AVX512VL-NEXT:    vcvtps2pd (%ecx), %zmm0 # encoding: [0x62,0xf1,0x7c,0x48,0x5a,0x01]
 147 ; X32-AVX512VL-NEXT:    vmovups %zmm0, (%eax) # encoding: [0x62,0xf1,0x7c,0x48,0x11,0x00]
 148 ; X32-AVX512VL-NEXT:    vzeroupper # encoding: [0xc5,0xf8,0x77]
 149 ; X32-AVX512VL-NEXT:    retl # encoding: [0xc3]
 150 ;
 151 ; X64-SSE-LABEL: fpext_frommem8:
 152 ; X64-SSE:       # %bb.0: # %entry
 153 ; X64-SSE-NEXT:    cvtps2pd (%rdi), %xmm0 # encoding: [0x0f,0x5a,0x07]
 154 ; X64-SSE-NEXT:    cvtps2pd 8(%rdi), %xmm1 # encoding: [0x0f,0x5a,0x4f,0x08]
 155 ; X64-SSE-NEXT:    cvtps2pd 16(%rdi), %xmm2 # encoding: [0x0f,0x5a,0x57,0x10]
 156 ; X64-SSE-NEXT:    cvtps2pd 24(%rdi), %xmm3 # encoding: [0x0f,0x5a,0x5f,0x18]
 157 ; X64-SSE-NEXT:    movups %xmm3, 48(%rsi) # encoding: [0x0f,0x11,0x5e,0x30]
 158 ; X64-SSE-NEXT:    movups %xmm2, 32(%rsi) # encoding: [0x0f,0x11,0x56,0x20]
 159 ; X64-SSE-NEXT:    movups %xmm1, 16(%rsi) # encoding: [0x0f,0x11,0x4e,0x10]
 160 ; X64-SSE-NEXT:    movups %xmm0, (%rsi) # encoding: [0x0f,0x11,0x06]
 161 ; X64-SSE-NEXT:    retq # encoding: [0xc3]
 162 ;
 163 ; X64-AVX-LABEL: fpext_frommem8:
 164 ; X64-AVX:       # %bb.0: # %entry
 165 ; X64-AVX-NEXT:    vcvtps2pd (%rdi), %ymm0 # encoding: [0xc5,0xfc,0x5a,0x07]
 166 ; X64-AVX-NEXT:    vcvtps2pd 16(%rdi), %ymm1 # encoding: [0xc5,0xfc,0x5a,0x4f,0x10]
 167 ; X64-AVX-NEXT:    vmovups %ymm1, 32(%rsi) # encoding: [0xc5,0xfc,0x11,0x4e,0x20]
 168 ; X64-AVX-NEXT:    vmovups %ymm0, (%rsi) # encoding: [0xc5,0xfc,0x11,0x06]
 169 ; X64-AVX-NEXT:    vzeroupper # encoding: [0xc5,0xf8,0x77]
 170 ; X64-AVX-NEXT:    retq # encoding: [0xc3]
 171 ;
 172 ; X64-AVX512VL-LABEL: fpext_frommem8:
 173 ; X64-AVX512VL:       # %bb.0: # %entry
 174 ; X64-AVX512VL-NEXT:    vcvtps2pd (%rdi), %zmm0 # encoding: [0x62,0xf1,0x7c,0x48,0x5a,0x07]
 175 ; X64-AVX512VL-NEXT:    vmovups %zmm0, (%rsi) # encoding: [0x62,0xf1,0x7c,0x48,0x11,0x06]
 176 ; X64-AVX512VL-NEXT:    vzeroupper # encoding: [0xc5,0xf8,0x77]
 177 ; X64-AVX512VL-NEXT:    retq # encoding: [0xc3]
 178 entry:
 179   %0 = load <8 x float>, <8 x float>* %in
 180   %1 = fpext <8 x float> %0 to <8 x double>
 181   store <8 x double> %1, <8 x double>* %out, align 1
 182   ret void
 183 }
 184
 185 define <2 x double> @fpext_fromconst() {
 186 ; X32-SSE-LABEL: fpext_fromconst:
 187 ; X32-SSE:       # %bb.0: # %entry
 188 ; X32-SSE-NEXT:    movaps {{.*#+}} xmm0 = [1.000000e+00,-2.000000e+00]
 189 ; X32-SSE-NEXT:    # encoding: [0x0f,0x28,0x05,A,A,A,A]
 190 ; X32-SSE-NEXT:    # fixup A - offset: 3, value: {{\.LCPI.*}}, kind: FK_Data_4
 191 ; X32-SSE-NEXT:    retl # encoding: [0xc3]
 192 ;
 193 ; X32-AVX-LABEL: fpext_fromconst:
 194 ; X32-AVX:       # %bb.0: # %entry
 195 ; X32-AVX-NEXT:    vmovaps {{.*#+}} xmm0 = [1.000000e+00,-2.000000e+00]
 196 ; X32-AVX-NEXT:    # encoding: [0xc5,0xf8,0x28,0x05,A,A,A,A]
 197 ; X32-AVX-NEXT:    # fixup A - offset: 4, value: {{\.LCPI.*}}, kind: FK_Data_4
 198 ; X32-AVX-NEXT:    retl # encoding: [0xc3]
 199 ;
 200 ; X32-AVX512VL-LABEL: fpext_fromconst:
 201 ; X32-AVX512VL:       # %bb.0: # %entry
 202 ; X32-AVX512VL-NEXT:    vmovaps {{\.LCPI.*}}, %xmm0 # EVEX TO VEX Compression xmm0 = [1.000000e+00,-2.000000e+00]
 203 ; X32-AVX512VL-NEXT:    # encoding: [0xc5,0xf8,0x28,0x05,A,A,A,A]
 204 ; X32-AVX512VL-NEXT:    # fixup A - offset: 4, value: {{\.LCPI.*}}, kind: FK_Data_4
 205 ; X32-AVX512VL-NEXT:    retl # encoding: [0xc3]
 206 ;
 207 ; X64-SSE-LABEL: fpext_fromconst:
 208 ; X64-SSE:       # %bb.0: # %entry
 209 ; X64-SSE-NEXT:    movaps {{.*#+}} xmm0 = [1.000000e+00,-2.000000e+00]
 210 ; X64-SSE-NEXT:    # encoding: [0x0f,0x28,0x05,A,A,A,A]
 211 ; X64-SSE-NEXT:    # fixup A - offset: 3, value: {{\.LCPI.*}}-4, kind: reloc_riprel_4byte
 212 ; X64-SSE-NEXT:    retq # encoding: [0xc3]
 213 ;
 214 ; X64-AVX-LABEL: fpext_fromconst:
 215 ; X64-AVX:       # %bb.0: # %entry
 216 ; X64-AVX-NEXT:    vmovaps {{.*#+}} xmm0 = [1.000000e+00,-2.000000e+00]
 217 ; X64-AVX-NEXT:    # encoding: [0xc5,0xf8,0x28,0x05,A,A,A,A]
 218 ; X64-AVX-NEXT:    # fixup A - offset: 4, value: {{\.LCPI.*}}-4, kind: reloc_riprel_4byte
 219 ; X64-AVX-NEXT:    retq # encoding: [0xc3]
 220 ;
 221 ; X64-AVX512VL-LABEL: fpext_fromconst:
 222 ; X64-AVX512VL:       # %bb.0: # %entry
 223 ; X64-AVX512VL-NEXT:    vmovaps {{.*}}(%rip), %xmm0 # EVEX TO VEX Compression xmm0 = [1.000000e+00,-2.000000e+00]
 224 ; X64-AVX512VL-NEXT:    # encoding: [0xc5,0xf8,0x28,0x05,A,A,A,A]
 225 ; X64-AVX512VL-NEXT:    # fixup A - offset: 4, value: {{\.LCPI.*}}-4, kind: reloc_riprel_4byte
 226 ; X64-AVX512VL-NEXT:    retq # encoding: [0xc3]
 227 entry:
 228   %0  = insertelement <2 x float> undef, float 1.0, i32 0
 229   %1  = insertelement <2 x float> %0, float -2.0, i32 1
 230   %2  = fpext <2 x float> %1 to <2 x double>
 231   ret <2 x double> %2
 232 }