68 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -O3 -mtriple=x86_64-gnu-linux < %s | FileCheck %s3 4define x86_fp80 @constrained_fpext_f32_as_fp80(float %mem) #0 {5; CHECK-LABEL: constrained_fpext_f32_as_fp80:6; CHECK: # %bb.0: # %entry7; CHECK-NEXT: movss %xmm0, -{{[0-9]+}}(%rsp)8; CHECK-NEXT: flds -{{[0-9]+}}(%rsp)9; CHECK-NEXT: wait10; CHECK-NEXT: retq11entry:12 %ext = call x86_fp80 @llvm.experimental.constrained.fpext.f80.f32(13 float %mem,14 metadata !"fpexcept.strict") #015 ret x86_fp80 %ext16}17 18define float @constrained_fptrunc_f80_to_f32(x86_fp80 %reg) #0 {19; CHECK-LABEL: constrained_fptrunc_f80_to_f32:20; CHECK: # %bb.0:21; CHECK-NEXT: fldt {{[0-9]+}}(%rsp)22; CHECK-NEXT: fstps -{{[0-9]+}}(%rsp)23; CHECK-NEXT: wait24; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero25; CHECK-NEXT: retq26 %trunc = call float @llvm.experimental.constrained.fptrunc.f32.f80(27 x86_fp80 %reg,28 metadata !"round.dynamic",29 metadata !"fpexcept.strict") #030 ret float %trunc31}32 33define x86_fp80 @constrained_fpext_f64_to_f80(double %mem) #0 {34; CHECK-LABEL: constrained_fpext_f64_to_f80:35; CHECK: # %bb.0: # %entry36; CHECK-NEXT: movsd %xmm0, -{{[0-9]+}}(%rsp)37; CHECK-NEXT: fldl -{{[0-9]+}}(%rsp)38; CHECK-NEXT: wait39; CHECK-NEXT: retq40entry:41 %ext = call x86_fp80 @llvm.experimental.constrained.fpext.f80.f64(42 double %mem,43 metadata !"fpexcept.strict") #044 ret x86_fp80 %ext45}46 47define double @constrained_fptrunc_f80_to_f64(x86_fp80 %reg) #0 {48; CHECK-LABEL: constrained_fptrunc_f80_to_f64:49; CHECK: # %bb.0:50; CHECK-NEXT: fldt {{[0-9]+}}(%rsp)51; CHECK-NEXT: fstpl -{{[0-9]+}}(%rsp)52; CHECK-NEXT: wait53; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero54; CHECK-NEXT: retq55 %trunc = call double @llvm.experimental.constrained.fptrunc.f64.f80(56 x86_fp80 %reg,57 metadata !"round.dynamic",58 metadata !"fpexcept.strict") #059 ret double %trunc60}61 62attributes #0 = { strictfp }63 64declare x86_fp80 @llvm.experimental.constrained.fpext.f80.f32(float, metadata)65declare x86_fp80 @llvm.experimental.constrained.fpext.f80.f64(double, metadata)66declare float @llvm.experimental.constrained.fptrunc.f32.f80(x86_fp80, metadata, metadata)67declare double @llvm.experimental.constrained.fptrunc.f64.f80(x86_fp80, metadata, metadata)68