From fc16ca71203030f2208d70932c47d9bd8e2f9014 Mon Sep 17 00:00:00 2001 From: Phoebe Wang Date: Thu, 8 Dec 2022 00:17:45 +0800 Subject: [PATCH] [X86] Pre-commit test for pr59305 --- llvm/test/CodeGen/X86/pr59305.ll | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 llvm/test/CodeGen/X86/pr59305.ll diff --git a/llvm/test/CodeGen/X86/pr59305.ll b/llvm/test/CodeGen/X86/pr59305.ll new file mode 100644 index 0000000..6c6ee99 --- /dev/null +++ b/llvm/test/CodeGen/X86/pr59305.ll @@ -0,0 +1,39 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -mtriple=x86_64-pc-linux < %s | FileCheck %s + +define double @foo(double %0) #0 { +; CHECK-LABEL: foo: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: movsd %xmm0, (%rsp) # 8-byte Spill +; CHECK-NEXT: movl $1024, %edi # imm = 0x400 +; CHECK-NEXT: callq fesetround@PLT +; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; CHECK-NEXT: divsd (%rsp), %xmm0 # 8-byte Folded Reload +; CHECK-NEXT: movsd %xmm0, (%rsp) # 8-byte Spill +; CHECK-NEXT: movl $1024, %edi # imm = 0x400 +; CHECK-NEXT: callq fesetround@PLT +; CHECK-NEXT: movl $1024, %edi # imm = 0x400 +; CHECK-NEXT: callq fesetround@PLT +; CHECK-NEXT: movsd (%rsp), %xmm0 # 8-byte Reload +; CHECK-NEXT: # xmm0 = mem[0],zero +; CHECK-NEXT: movaps %xmm0, %xmm1 +; CHECK-NEXT: movaps %xmm0, %xmm2 +; CHECK-NEXT: callq fma@PLT +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %2 = call i32 @fesetround(i32 noundef 1024) + %3 = call double @llvm.experimental.constrained.fdiv.f64(double 1.000000e+00, double %0, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0 + %4 = call i32 @fesetround(i32 noundef 1024) + %5 = call double @llvm.experimental.constrained.fdiv.f64(double 1.000000e+00, double %0, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0 + %6 = call i32 @fesetround(i32 noundef 1024) + %7 = call double @llvm.experimental.constrained.fdiv.f64(double 1.000000e+00, double %0, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0 + %8 = call double @llvm.experimental.constrained.fma.f64(double %3, double %5, double %7, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0 + ret double %8 +} + +declare i32 @fesetround(i32) #0 +declare double @llvm.experimental.constrained.fdiv.f64(double, double, metadata, metadata) #0 +declare double @llvm.experimental.constrained.fma.f64(double, double, double, metadata, metadata) #0 + +attributes #0 = { nounwind strictfp } -- 2.7.4