test/CodeGen/X86/avx-cvt.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -disable-peephole -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s --check-prefix=CHECK --check-prefix=AVX
   3 ; RUN: llc < %s -disable-peephole -mtriple=x86_64-unknown-unknown -mattr=+avx512f | FileCheck %s --check-prefix=CHECK --check-prefix=AVX512
   4
   5 define <8 x float> @sitofp00(<8 x i32> %a) nounwind {
   6 ; CHECK-LABEL: sitofp00:
   7 ; CHECK:       # %bb.0:
   8 ; CHECK-NEXT:    vcvtdq2ps %ymm0, %ymm0
   9 ; CHECK-NEXT:    retq
  10   %b = sitofp <8 x i32> %a to <8 x float>
  11   ret <8 x float> %b
  12 }
  13
  14 define <8 x i32> @fptosi00(<8 x float> %a) nounwind {
  15 ; CHECK-LABEL: fptosi00:
  16 ; CHECK:       # %bb.0:
  17 ; CHECK-NEXT:    vcvttps2dq %ymm0, %ymm0
  18 ; CHECK-NEXT:    retq
  19   %b = fptosi <8 x float> %a to <8 x i32>
  20   ret <8 x i32> %b
  21 }
  22
  23 define <4 x double> @sitofp01(<4 x i32> %a) {
  24 ; CHECK-LABEL: sitofp01:
  25 ; CHECK:       # %bb.0:
  26 ; CHECK-NEXT:    vcvtdq2pd %xmm0, %ymm0
  27 ; CHECK-NEXT:    retq
  28   %b = sitofp <4 x i32> %a to <4 x double>
  29   ret <4 x double> %b
  30 }
  31
  32 define <8 x float> @sitofp02(<8 x i16> %a) {
  33 ; AVX-LABEL: sitofp02:
  34 ; AVX:       # %bb.0:
  35 ; AVX-NEXT:    vpmovsxwd %xmm0, %xmm1
  36 ; AVX-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
  37 ; AVX-NEXT:    vpmovsxwd %xmm0, %xmm0
  38 ; AVX-NEXT:    vinsertf128 $1, %xmm0, %ymm1, %ymm0
  39 ; AVX-NEXT:    vcvtdq2ps %ymm0, %ymm0
  40 ; AVX-NEXT:    retq
  41 ;
  42 ; AVX512-LABEL: sitofp02:
  43 ; AVX512:       # %bb.0:
  44 ; AVX512-NEXT:    vpmovsxwd %xmm0, %ymm0
  45 ; AVX512-NEXT:    vcvtdq2ps %ymm0, %ymm0
  46 ; AVX512-NEXT:    retq
  47   %b = sitofp <8 x i16> %a to <8 x float>
  48   ret <8 x float> %b
  49 }
  50
  51 define <4 x i32> @fptosi01(<4 x double> %a) {
  52 ; CHECK-LABEL: fptosi01:
  53 ; CHECK:       # %bb.0:
  54 ; CHECK-NEXT:    vcvttpd2dq %ymm0, %xmm0
  55 ; CHECK-NEXT:    vzeroupper
  56 ; CHECK-NEXT:    retq
  57   %b = fptosi <4 x double> %a to <4 x i32>
  58   ret <4 x i32> %b
  59 }
  60
  61 define <8 x float> @fptrunc00(<8 x double> %b) nounwind {
  62 ; AVX-LABEL: fptrunc00:
  63 ; AVX:       # %bb.0:
  64 ; AVX-NEXT:    vcvtpd2ps %ymm0, %xmm0
  65 ; AVX-NEXT:    vcvtpd2ps %ymm1, %xmm1
  66 ; AVX-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
  67 ; AVX-NEXT:    retq
  68 ;
  69 ; AVX512-LABEL: fptrunc00:
  70 ; AVX512:       # %bb.0:
  71 ; AVX512-NEXT:    vcvtpd2ps %zmm0, %ymm0
  72 ; AVX512-NEXT:    retq
  73   %a = fptrunc <8 x double> %b to <8 x float>
  74   ret <8 x float> %a
  75 }
  76
  77 define <4 x float> @fptrunc01(<2 x double> %a0, <4 x float> %a1) nounwind {
  78 ; CHECK-LABEL: fptrunc01:
  79 ; CHECK:       # %bb.0:
  80 ; CHECK-NEXT:    vcvtsd2ss %xmm0, %xmm1, %xmm0
  81 ; CHECK-NEXT:    retq
  82   %ext = extractelement <2 x double> %a0, i32 0
  83   %cvt = fptrunc double %ext to float
  84   %res = insertelement <4 x float> %a1, float %cvt, i32 0
  85   ret <4 x float> %res
  86 }
  87
  88 define <4 x double> @fpext00(<4 x float> %b) nounwind {
  89 ; CHECK-LABEL: fpext00:
  90 ; CHECK:       # %bb.0:
  91 ; CHECK-NEXT:    vcvtps2pd %xmm0, %ymm0
  92 ; CHECK-NEXT:    retq
  93   %a = fpext <4 x float> %b to <4 x double>
  94   ret <4 x double> %a
  95 }
  96
  97 define <2 x double> @fpext01(<2 x double> %a0, <4 x float> %a1) nounwind {
  98 ; CHECK-LABEL: fpext01:
  99 ; CHECK:       # %bb.0:
 100 ; CHECK-NEXT:    vcvtss2sd %xmm1, %xmm0, %xmm0
 101 ; CHECK-NEXT:    retq
 102   %ext = extractelement <4 x float> %a1, i32 0
 103   %cvt = fpext float %ext to double
 104   %res = insertelement <2 x double> %a0, double %cvt, i32 0
 105   ret <2 x double> %res
 106 }
 107
 108 define double @funcA(i64* nocapture %e) nounwind uwtable readonly ssp {
 109 ; CHECK-LABEL: funcA:
 110 ; CHECK:       # %bb.0:
 111 ; CHECK-NEXT:    vcvtsi2sdq (%rdi), %xmm0, %xmm0
 112 ; CHECK-NEXT:    retq
 113   %tmp1 = load i64, i64* %e, align 8
 114   %conv = sitofp i64 %tmp1 to double
 115   ret double %conv
 116 }
 117
 118 define double @funcB(i32* nocapture %e) nounwind uwtable readonly ssp {
 119 ; CHECK-LABEL: funcB:
 120 ; CHECK:       # %bb.0:
 121 ; CHECK-NEXT:    vcvtsi2sdl (%rdi), %xmm0, %xmm0
 122 ; CHECK-NEXT:    retq
 123   %tmp1 = load i32, i32* %e, align 4
 124   %conv = sitofp i32 %tmp1 to double
 125   ret double %conv
 126 }
 127
 128 define float @funcC(i32* nocapture %e) nounwind uwtable readonly ssp {
 129 ; CHECK-LABEL: funcC:
 130 ; CHECK:       # %bb.0:
 131 ; CHECK-NEXT:    vcvtsi2ssl (%rdi), %xmm0, %xmm0
 132 ; CHECK-NEXT:    retq
 133   %tmp1 = load i32, i32* %e, align 4
 134   %conv = sitofp i32 %tmp1 to float
 135   ret float %conv
 136 }
 137
 138 define float @funcD(i64* nocapture %e) nounwind uwtable readonly ssp {
 139 ; CHECK-LABEL: funcD:
 140 ; CHECK:       # %bb.0:
 141 ; CHECK-NEXT:    vcvtsi2ssq (%rdi), %xmm0, %xmm0
 142 ; CHECK-NEXT:    retq
 143   %tmp1 = load i64, i64* %e, align 8
 144   %conv = sitofp i64 %tmp1 to float
 145   ret float %conv
 146 }
 147
 148 define void @fpext() nounwind uwtable {
 149 ; CHECK-LABEL: fpext:
 150 ; CHECK:       # %bb.0:
 151 ; CHECK-NEXT:    vmovss {{.*#+}} xmm0 = mem[0],zero,zero,zero
 152 ; CHECK-NEXT:    vcvtss2sd %xmm0, %xmm0, %xmm0
 153 ; CHECK-NEXT:    vmovsd %xmm0, -{{[0-9]+}}(%rsp)
 154 ; CHECK-NEXT:    retq
 155   %f = alloca float, align 4
 156   %d = alloca double, align 8
 157   %tmp = load float, float* %f, align 4
 158   %conv = fpext float %tmp to double
 159   store double %conv, double* %d, align 8
 160   ret void
 161 }
 162
 163 define double @nearbyint_f64(double %a) {
 164 ; CHECK-LABEL: nearbyint_f64:
 165 ; CHECK:       # %bb.0:
 166 ; CHECK-NEXT:    vroundsd $12, %xmm0, %xmm0, %xmm0
 167 ; CHECK-NEXT:    retq
 168   %res = call double @llvm.nearbyint.f64(double %a)
 169   ret double %res
 170 }
 171 declare double @llvm.nearbyint.f64(double %p)
 172
 173 define float @floor_f32(float %a) {
 174 ; CHECK-LABEL: floor_f32:
 175 ; CHECK:       # %bb.0:
 176 ; CHECK-NEXT:    vroundss $9, %xmm0, %xmm0, %xmm0
 177 ; CHECK-NEXT:    retq
 178   %res = call float @llvm.floor.f32(float %a)
 179   ret float %res
 180 }
 181 declare float @llvm.floor.f32(float %p)
 182
 183 define float @floor_f32_load(float* %aptr) optsize {
 184 ; CHECK-LABEL: floor_f32_load:
 185 ; CHECK:       # %bb.0:
 186 ; CHECK-NEXT:    vroundss $9, (%rdi), %xmm0, %xmm0
 187 ; CHECK-NEXT:    retq
 188   %a = load float, float* %aptr
 189   %res = call float @llvm.floor.f32(float %a)
 190   ret float %res
 191 }
 192
 193 define double @nearbyint_f64_load(double* %aptr) optsize {
 194 ; CHECK-LABEL: nearbyint_f64_load:
 195 ; CHECK:       # %bb.0:
 196 ; CHECK-NEXT:    vroundsd $12, (%rdi), %xmm0, %xmm0
 197 ; CHECK-NEXT:    retq
 198   %a = load double, double* %aptr
 199   %res = call double @llvm.nearbyint.f64(double %a)
 200   ret double %res
 201 }
 202