test/CodeGen/X86/fp-load-trunc.ll

   1 ; RUN: llc < %s -march=x86 -mcpu=corei7 | FileCheck %s
   2 ; RUN: llc < %s -march=x86 -mcpu=core-avx-i | FileCheck %s --check-prefix=AVX
   3
   4 define <1 x float> @test1(<1 x double>* %p) nounwind {
   5 ; CHECK-LABEL: test1:
   6 ; CHECK:       # BB#0:
   7 ; CHECK-NEXT:    pushl %eax
   8 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
   9 ; CHECK-NEXT:    movsd (%eax), %xmm0
  10 ; CHECK-NEXT:    cvtsd2ss %xmm0, %xmm0
  11 ; CHECK-NEXT:    movss %xmm0, (%esp)
  12 ; CHECK-NEXT:    flds (%esp)
  13 ; CHECK-NEXT:    popl %eax
  14 ; CHECK-NEXT:    retl
  15 ;
  16 ; AVX-LABEL: test1:
  17 ; AVX:       # BB#0:
  18 ; AVX-NEXT:    pushl %eax
  19 ; AVX-NEXT:    movl {{[0-9]+}}(%esp), %eax
  20 ; AVX-NEXT:    vmovsd (%eax), %xmm0
  21 ; AVX-NEXT:    vcvtsd2ss %xmm0, %xmm0, %xmm0
  22 ; AVX-NEXT:    vmovss %xmm0, (%esp)
  23 ; AVX-NEXT:    flds (%esp)
  24 ; AVX-NEXT:    popl %eax
  25 ; AVX-NEXT:    retl
  26   %x = load <1 x double>, <1 x double>* %p
  27   %y = fptrunc <1 x double> %x to <1 x float>
  28   ret <1 x float> %y
  29 }
  30
  31 define <2 x float> @test2(<2 x double>* %p) nounwind {
  32 ; CHECK-LABEL: test2:
  33 ; CHECK:       # BB#0:
  34 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
  35 ; CHECK-NEXT:    cvtpd2ps (%eax), %xmm0
  36 ; CHECK-NEXT:    retl
  37 ;
  38 ; AVX-LABEL: test2:
  39 ; AVX:       # BB#0:
  40 ; AVX-NEXT:    movl {{[0-9]+}}(%esp), %eax
  41 ; AVX-NEXT:    vcvtpd2psx (%eax), %xmm0
  42 ; AVX-NEXT:    retl
  43   %x = load <2 x double>, <2 x double>* %p
  44   %y = fptrunc <2 x double> %x to <2 x float>
  45   ret <2 x float> %y
  46 }
  47
  48 define <4 x float> @test3(<4 x double>* %p) nounwind {
  49 ; CHECK-LABEL: test3:
  50 ; CHECK:       # BB#0:
  51 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
  52 ; CHECK-NEXT:    cvtpd2ps 16(%eax), %xmm1
  53 ; CHECK-NEXT:    cvtpd2ps (%eax), %xmm0
  54 ; CHECK-NEXT:    unpcklpd {{.*#+}} xmm0 = xmm0[0],xmm1[0]
  55 ; CHECK-NEXT:    retl
  56 ;
  57 ; AVX-LABEL: test3:
  58 ; AVX:       # BB#0:
  59 ; AVX-NEXT:    movl {{[0-9]+}}(%esp), %eax
  60 ; AVX-NEXT:    vcvtpd2psy (%eax), %xmm0
  61 ; AVX-NEXT:    retl
  62   %x = load <4 x double>, <4 x double>* %p
  63   %y = fptrunc <4 x double> %x to <4 x float>
  64   ret <4 x float> %y
  65 }
  66
  67 define <8 x float> @test4(<8 x double>* %p) nounwind {
  68 ; CHECK-LABEL: test4:
  69 ; CHECK:       # BB#0:
  70 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
  71 ; CHECK-NEXT:    cvtpd2ps 16(%eax), %xmm1
  72 ; CHECK-NEXT:    cvtpd2ps (%eax), %xmm0
  73 ; CHECK-NEXT:    unpcklpd {{.*#+}} xmm0 = xmm0[0],xmm1[0]
  74 ; CHECK-NEXT:    cvtpd2ps 48(%eax), %xmm2
  75 ; CHECK-NEXT:    cvtpd2ps 32(%eax), %xmm1
  76 ; CHECK-NEXT:    unpcklpd {{.*#+}} xmm1 = xmm1[0],xmm2[0]
  77 ; CHECK-NEXT:    retl
  78 ;
  79 ; AVX-LABEL: test4:
  80 ; AVX:       # BB#0:
  81 ; AVX-NEXT:    movl {{[0-9]+}}(%esp), %eax
  82 ; AVX-NEXT:    vcvtpd2psy (%eax), %xmm0
  83 ; AVX-NEXT:    vcvtpd2psy 32(%eax), %xmm1
  84 ; AVX-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
  85 ; AVX-NEXT:    retl
  86   %x = load <8 x double>, <8 x double>* %p
  87   %y = fptrunc <8 x double> %x to <8 x float>
  88   ret <8 x float> %y
  89 }
  90
  91