test/CodeGen/X86/avx-cast.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mattr=+avx  | FileCheck %s --check-prefix=AVX --check-prefix=AVX1
   3 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mattr=+avx2 | FileCheck %s --check-prefix=AVX --check-prefix=AVX2
   4
   5 ; Prefer a blend instruction to a vinsert128 instruction because blends
   6 ; are simpler (no lane changes) and therefore will have equal or better
   7 ; performance.
   8
   9 define <8 x float> @castA(<4 x float> %m) nounwind uwtable readnone ssp {
  10 ; AVX-LABEL: castA:
  11 ; AVX:       ## BB#0:
  12 ; AVX-NEXT:    vxorps %ymm1, %ymm1, %ymm1
  13 ; AVX-NEXT:    vblendps {{.*#+}} ymm0 = ymm0[0,1,2,3],ymm1[4,5,6,7]
  14 ; AVX-NEXT:    retq
  15   %shuffle.i = shufflevector <4 x float> %m, <4 x float> zeroinitializer, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 4, i32 4, i32 4>
  16   ret <8 x float> %shuffle.i
  17 }
  18
  19 define <4 x double> @castB(<2 x double> %m) nounwind uwtable readnone ssp {
  20 ; AVX-LABEL: castB:
  21 ; AVX:       ## BB#0:
  22 ; AVX-NEXT:    vxorpd %ymm1, %ymm1, %ymm1
  23 ; AVX-NEXT:    vblendpd {{.*#+}} ymm0 = ymm0[0,1],ymm1[2,3]
  24 ; AVX-NEXT:    retq
  25   %shuffle.i = shufflevector <2 x double> %m, <2 x double> zeroinitializer, <4 x i32> <i32 0, i32 1, i32 2, i32 2>
  26   ret <4 x double> %shuffle.i
  27 }
  28
  29 ; AVX2 is needed for integer types.
  30
  31 define <4 x i64> @castC(<2 x i64> %m) nounwind uwtable readnone ssp {
  32 ; AVX1-LABEL: castC:
  33 ; AVX1:       ## BB#0:
  34 ; AVX1-NEXT:    vxorps %ymm1, %ymm1, %ymm1
  35 ; AVX1-NEXT:    vblendps {{.*#+}} ymm0 = ymm0[0,1,2,3],ymm1[4,5,6,7]
  36 ; AVX1-NEXT:    retq
  37 ;
  38 ; AVX2-LABEL: castC:
  39 ; AVX2:       ## BB#0:
  40 ; AVX2-NEXT:    vpxor %ymm1, %ymm1, %ymm1
  41 ; AVX2-NEXT:    vpblendd {{.*#+}} ymm0 = ymm0[0,1,2,3],ymm1[4,5,6,7]
  42 ; AVX2-NEXT:    retq
  43   %shuffle.i = shufflevector <2 x i64> %m, <2 x i64> zeroinitializer, <4 x i32> <i32 0, i32 1, i32 2, i32 2>
  44   ret <4 x i64> %shuffle.i
  45 }
  46
  47 ; The next three tests don't need any shuffling. There may or may not be a
  48 ; vzeroupper before the return, so just check for the absence of shuffles.
  49
  50 define <4 x float> @castD(<8 x float> %m) nounwind uwtable readnone ssp {
  51 ; AVX-LABEL: castD:
  52 ; AVX:       ## BB#0:
  53 ; AVX-NEXT:    vzeroupper
  54 ; AVX-NEXT:    retq
  55   %shuffle.i = shufflevector <8 x float> %m, <8 x float> %m, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  56   ret <4 x float> %shuffle.i
  57 }
  58
  59 define <2 x i64> @castE(<4 x i64> %m) nounwind uwtable readnone ssp {
  60 ; AVX-LABEL: castE:
  61 ; AVX:       ## BB#0:
  62 ; AVX-NEXT:    vzeroupper
  63 ; AVX-NEXT:    retq
  64   %shuffle.i = shufflevector <4 x i64> %m, <4 x i64> %m, <2 x i32> <i32 0, i32 1>
  65   ret <2 x i64> %shuffle.i
  66 }
  67
  68 define <2 x double> @castF(<4 x double> %m) nounwind uwtable readnone ssp {
  69 ; AVX-LABEL: castF:
  70 ; AVX:       ## BB#0:
  71 ; AVX-NEXT:    vzeroupper
  72 ; AVX-NEXT:    retq
  73   %shuffle.i = shufflevector <4 x double> %m, <4 x double> %m, <2 x i32> <i32 0, i32 1>
  74   ret <2 x double> %shuffle.i
  75 }
  76