test/CodeGen/X86/constrained-fp80-trunc-ext.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -O3 -mtriple=x86_64-gnu-linux < %s | FileCheck %s
   3
   4 define x86_fp80 @constrained_fpext_f32_as_fp80(float %mem) #0 {
   5 ; CHECK-LABEL: constrained_fpext_f32_as_fp80:
   6 ; CHECK:       # %bb.0: # %entry
   7 ; CHECK-NEXT:    movss %xmm0, -{{[0-9]+}}(%rsp)
   8 ; CHECK-NEXT:    flds -{{[0-9]+}}(%rsp)
   9 ; CHECK-NEXT:    retq
  10 entry:
  11   %ext = call x86_fp80 @llvm.experimental.constrained.fpext.f80.f32(
  12             float %mem,
  13             metadata !"fpexcept.strict") #0
  14   ret x86_fp80 %ext
  15 }
  16
  17 define float @constrained_fptrunc_f80_to_f32(x86_fp80 %reg) #0 {
  18 ; CHECK-LABEL: constrained_fptrunc_f80_to_f32:
  19 ; CHECK:       # %bb.0:
  20 ; CHECK-NEXT:    fldt {{[0-9]+}}(%rsp)
  21 ; CHECK-NEXT:    fstps -{{[0-9]+}}(%rsp)
  22 ; CHECK-NEXT:    movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
  23 ; CHECK-NEXT:    retq
  24   %trunc = call float @llvm.experimental.constrained.fptrunc.f32.f80(
  25              x86_fp80 %reg,
  26              metadata !"round.dynamic",
  27              metadata !"fpexcept.strict") #0
  28   ret float %trunc
  29 }
  30
  31 define x86_fp80 @constrained_fpext_f64_to_f80(double %mem) #0 {
  32 ; CHECK-LABEL: constrained_fpext_f64_to_f80:
  33 ; CHECK:       # %bb.0: # %entry
  34 ; CHECK-NEXT:    movsd %xmm0, -{{[0-9]+}}(%rsp)
  35 ; CHECK-NEXT:    fldl -{{[0-9]+}}(%rsp)
  36 ; CHECK-NEXT:    retq
  37 entry:
  38   %ext = call x86_fp80 @llvm.experimental.constrained.fpext.f80.f64(
  39             double %mem,
  40             metadata !"fpexcept.strict") #0
  41   ret x86_fp80 %ext
  42 }
  43
  44 define double @constrained_fptrunc_f80_to_f64(x86_fp80 %reg) #0 {
  45 ; CHECK-LABEL: constrained_fptrunc_f80_to_f64:
  46 ; CHECK:       # %bb.0:
  47 ; CHECK-NEXT:    fldt {{[0-9]+}}(%rsp)
  48 ; CHECK-NEXT:    fstpl -{{[0-9]+}}(%rsp)
  49 ; CHECK-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
  50 ; CHECK-NEXT:    retq
  51   %trunc = call double @llvm.experimental.constrained.fptrunc.f64.f80(
  52              x86_fp80 %reg,
  53              metadata !"round.dynamic",
  54              metadata !"fpexcept.strict") #0
  55   ret double %trunc
  56 }
  57
  58 attributes #0 = { strictfp }
  59
  60 declare x86_fp80 @llvm.experimental.constrained.fpext.f80.f32(float, metadata)
  61 declare x86_fp80 @llvm.experimental.constrained.fpext.f80.f64(double, metadata)
  62 declare float @llvm.experimental.constrained.fptrunc.f32.f80(x86_fp80, metadata, metadata)
  63 declare double @llvm.experimental.constrained.fptrunc.f64.f80(x86_fp80, metadata, metadata)