Revert " [LoongArch][ISel] Check the number of sign bits in `PatGprGpr_32` (#107432)"
[llvm-project.git] / llvm / test / CodeGen / X86 / constrained-fp80-trunc-ext.ll
blobefa86e241badad26556b825f539e9dd661cd79b9
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
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:    wait
10 ; CHECK-NEXT:    retq
11 entry:
12   %ext = call x86_fp80 @llvm.experimental.constrained.fpext.f80.f32(
13             float %mem,
14             metadata !"fpexcept.strict") #0
15   ret x86_fp80 %ext
18 define 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:    wait
24 ; CHECK-NEXT:    movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
25 ; CHECK-NEXT:    retq
26   %trunc = call float @llvm.experimental.constrained.fptrunc.f32.f80(
27              x86_fp80 %reg,
28              metadata !"round.dynamic",
29              metadata !"fpexcept.strict") #0
30   ret float %trunc
33 define x86_fp80 @constrained_fpext_f64_to_f80(double %mem) #0 {
34 ; CHECK-LABEL: constrained_fpext_f64_to_f80:
35 ; CHECK:       # %bb.0: # %entry
36 ; CHECK-NEXT:    movsd %xmm0, -{{[0-9]+}}(%rsp)
37 ; CHECK-NEXT:    fldl -{{[0-9]+}}(%rsp)
38 ; CHECK-NEXT:    wait
39 ; CHECK-NEXT:    retq
40 entry:
41   %ext = call x86_fp80 @llvm.experimental.constrained.fpext.f80.f64(
42             double %mem,
43             metadata !"fpexcept.strict") #0
44   ret x86_fp80 %ext
47 define 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:    wait
53 ; CHECK-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
54 ; CHECK-NEXT:    retq
55   %trunc = call double @llvm.experimental.constrained.fptrunc.f64.f80(
56              x86_fp80 %reg,
57              metadata !"round.dynamic",
58              metadata !"fpexcept.strict") #0
59   ret double %trunc
62 attributes #0 = { strictfp }
64 declare x86_fp80 @llvm.experimental.constrained.fpext.f80.f32(float, metadata)
65 declare x86_fp80 @llvm.experimental.constrained.fpext.f80.f64(double, metadata)
66 declare float @llvm.experimental.constrained.fptrunc.f32.f80(x86_fp80, metadata, metadata)
67 declare double @llvm.experimental.constrained.fptrunc.f64.f80(x86_fp80, metadata, metadata)