[llvm] [X86][GlobalISel] Enable G_LROUND/G_LLROUND with libcall mapping (PR #125096)
via llvm-commits
llvm-commits at lists.llvm.org
Fri Jan 31 07:56:14 PST 2025
https://github.com/JaydeepChauhan14 updated https://github.com/llvm/llvm-project/pull/125096
>From c790757b1b55917b7aa1cba917dde8eaa15f9d04 Mon Sep 17 00:00:00 2001
From: Chauhan Jaydeep Ashwinbhai <chauhan.jaydeep.ashwinbhai at intel.com>
Date: Fri, 31 Jan 2025 01:36:53 +0800
Subject: [PATCH 1/2] [X86][GlobalISel] Enable G_LROUND/G_LLROUND with libcall
mapping
---
.../CodeGen/GlobalISel/LegalizerHelper.cpp | 6 +
.../lib/Target/X86/GISel/X86LegalizerInfo.cpp | 12 +
llvm/test/CodeGen/X86/isel-llround.ll | 139 +++++++++
llvm/test/CodeGen/X86/isel-lround.ll | 277 ++++++++++++++++++
4 files changed, 434 insertions(+)
create mode 100644 llvm/test/CodeGen/X86/isel-llround.ll
create mode 100644 llvm/test/CodeGen/X86/isel-lround.ll
diff --git a/llvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp b/llvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
index d0a62340a5f322..8550e684eed328 100644
--- a/llvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
+++ b/llvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
@@ -411,6 +411,10 @@ static RTLIB::Libcall getRTLibDesc(unsigned Opcode, unsigned Size) {
} while (0)
switch (Opcode) {
+ case TargetOpcode::G_LROUND:
+ RTLIBCASE(LROUND_F);
+ case TargetOpcode::G_LLROUND:
+ RTLIBCASE(LLROUND_F);
case TargetOpcode::G_MUL:
RTLIBCASE_INT(MUL_I);
case TargetOpcode::G_SDIV:
@@ -1267,6 +1271,8 @@ LegalizerHelper::libcall(MachineInstr &MI, LostDebugLocObserver &LocObserver) {
return Status;
break;
}
+ case TargetOpcode::G_LROUND:
+ case TargetOpcode::G_LLROUND:
case TargetOpcode::G_INTRINSIC_LRINT:
case TargetOpcode::G_INTRINSIC_LLRINT: {
LLT LLTy = MRI.getType(MI.getOperand(1).getReg());
diff --git a/llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp b/llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp
index bab7fe9d25e441..ff0a0b1d0fd216 100644
--- a/llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp
+++ b/llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp
@@ -99,6 +99,18 @@ X86LegalizerInfo::X86LegalizerInfo(const X86Subtarget &STI,
.widenScalarToNextPow2(0, /*Min=*/8)
.clampScalar(0, s8, sMaxScalar);
+ getActionDefinitionsBuilder(G_LROUND)
+ .libcallIf([=](const LegalityQuery &Query) -> bool {
+ return (typeInSet(0, {s32, s64})(Query) &&
+ typeInSet(1, {s32, s64, s80})(Query));
+ });
+
+ getActionDefinitionsBuilder(G_LLROUND)
+ .libcallIf([=](const LegalityQuery &Query) -> bool {
+ return (typeIs(0, s64)(Query) &&
+ typeInSet(1, {s32, s64, s80})(Query));
+ });
+
// merge/unmerge
for (unsigned Op : {G_MERGE_VALUES, G_UNMERGE_VALUES}) {
unsigned BigTyIdx = Op == G_MERGE_VALUES ? 0 : 1;
diff --git a/llvm/test/CodeGen/X86/isel-llround.ll b/llvm/test/CodeGen/X86/isel-llround.ll
new file mode 100644
index 00000000000000..6f644cbe6ea2e4
--- /dev/null
+++ b/llvm/test/CodeGen/X86/isel-llround.ll
@@ -0,0 +1,139 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
+; RUN: llc < %s -mtriple=i686-linux-gnu | FileCheck %s --check-prefixes=X86,SDAG-X86
+; RUN: llc < %s -mtriple=i686-linux-gnu -fast-isel -fast-isel-abort=1 | FileCheck %s --check-prefixes=X86,FASTISEL-X86
+; RUN: llc < %s -mtriple=i686-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X86
+; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s --check-prefixes=SDAG-X64
+; RUN: llc < %s -mtriple=x86_64-linux-gnu -fast-isel -fast-isel-abort=1 | FileCheck %s --check-prefixes=FASTISEL-X64
+; RUN: llc < %s -mtriple=x86_64-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X64
+
+define i64 @test_llround_i64_f32(float %x) nounwind {
+; X86-LABEL: test_llround_i64_f32:
+; X86: # %bb.0:
+; X86-NEXT: subl $12, %esp
+; X86-NEXT: flds {{[0-9]+}}(%esp)
+; X86-NEXT: fstps (%esp)
+; X86-NEXT: calll llroundf
+; X86-NEXT: addl $12, %esp
+; X86-NEXT: retl
+;
+; GISEL-X86-LABEL: test_llround_i64_f32:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl %eax, (%esp)
+; GISEL-X86-NEXT: calll llroundf
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; SDAG-X64-LABEL: test_llround_i64_f32:
+; SDAG-X64: # %bb.0:
+; SDAG-X64-NEXT: jmp llroundf at PLT # TAILCALL
+;
+; FASTISEL-X64-LABEL: test_llround_i64_f32:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: pushq %rax
+; FASTISEL-X64-NEXT: callq llroundf at PLT
+; FASTISEL-X64-NEXT: popq %rcx
+; FASTISEL-X64-NEXT: retq
+;
+; GISEL-X64-LABEL: test_llround_i64_f32:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq llroundf
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
+ %conv = call i64 @llvm.llround.i64.f32(float %x)
+ ret i64 %conv
+}
+
+define i64 @test_llround_i64_f64(double %x) nounwind {
+; X86-LABEL: test_llround_i64_f64:
+; X86: # %bb.0:
+; X86-NEXT: subl $12, %esp
+; X86-NEXT: fldl {{[0-9]+}}(%esp)
+; X86-NEXT: fstpl (%esp)
+; X86-NEXT: calll llround
+; X86-NEXT: addl $12, %esp
+; X86-NEXT: retl
+;
+; GISEL-X86-LABEL: test_llround_i64_f64:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; GISEL-X86-NEXT: movl 4(%eax), %eax
+; GISEL-X86-NEXT: xorl %edx, %edx
+; GISEL-X86-NEXT: addl %esp, %edx
+; GISEL-X86-NEXT: movl %ecx, (%esp)
+; GISEL-X86-NEXT: movl %eax, 4(%edx)
+; GISEL-X86-NEXT: calll llround
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; SDAG-X64-LABEL: test_llround_i64_f64:
+; SDAG-X64: # %bb.0:
+; SDAG-X64-NEXT: jmp llround at PLT # TAILCALL
+;
+; FASTISEL-X64-LABEL: test_llround_i64_f64:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: pushq %rax
+; FASTISEL-X64-NEXT: callq llround at PLT
+; FASTISEL-X64-NEXT: popq %rcx
+; FASTISEL-X64-NEXT: retq
+;
+; GISEL-X64-LABEL: test_llround_i64_f64:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq llround
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
+ %conv = call i64 @llvm.llround.i64.f64(double %x)
+ ret i64 %conv
+}
+
+define i64 @test_llround_i64_f80(x86_fp80 %x) nounwind {
+; X86-LABEL: test_llround_i64_f80:
+; X86: # %bb.0:
+; X86-NEXT: subl $12, %esp
+; X86-NEXT: fldt {{[0-9]+}}(%esp)
+; X86-NEXT: fstpt (%esp)
+; X86-NEXT: calll llroundl
+; X86-NEXT: addl $12, %esp
+; X86-NEXT: retl
+;
+; GISEL-X86-LABEL: test_llround_i64_f80:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
+; GISEL-X86-NEXT: fstpt (%esp)
+; GISEL-X86-NEXT: calll llroundl
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; SDAG-X64-LABEL: test_llround_i64_f80:
+; SDAG-X64: # %bb.0:
+; SDAG-X64-NEXT: jmp llroundl at PLT # TAILCALL
+;
+; FASTISEL-X64-LABEL: test_llround_i64_f80:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: subq $24, %rsp
+; FASTISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; FASTISEL-X64-NEXT: fstpt (%rsp)
+; FASTISEL-X64-NEXT: callq llroundl at PLT
+; FASTISEL-X64-NEXT: addq $24, %rsp
+; FASTISEL-X64-NEXT: retq
+;
+; GISEL-X64-LABEL: test_llround_i64_f80:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: subq $24, %rsp
+; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; GISEL-X64-NEXT: fstpt (%rsp)
+; GISEL-X64-NEXT: callq llroundl
+; GISEL-X64-NEXT: addq $24, %rsp
+; GISEL-X64-NEXT: retq
+ %conv = call i64 @llvm.llround.i64.f80(x86_fp80 %x)
+ ret i64 %conv
+}
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; FASTISEL-X86: {{.*}}
+; SDAG-X86: {{.*}}
diff --git a/llvm/test/CodeGen/X86/isel-lround.ll b/llvm/test/CodeGen/X86/isel-lround.ll
new file mode 100644
index 00000000000000..b175b4ec77f910
--- /dev/null
+++ b/llvm/test/CodeGen/X86/isel-lround.ll
@@ -0,0 +1,277 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
+; RUN: llc < %s -mtriple=i686-linux-gnu | FileCheck %s --check-prefixes=X86,SDAG-X86
+; RUN: llc < %s -mtriple=i686-linux-gnu -fast-isel -fast-isel-abort=1 | FileCheck %s --check-prefixes=X86,FASTISEL-X86
+; RUN: llc < %s -mtriple=i686-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X86
+; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s --check-prefixes=SDAG-X64
+; RUN: llc < %s -mtriple=x86_64-linux-gnu -fast-isel -fast-isel-abort=1 | FileCheck %s --check-prefixes=FASTISEL-X64
+; RUN: llc < %s -mtriple=x86_64-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X64
+
+define i32 @test_lround_i32_f32(float %x) nounwind {
+; SDAG-X86-LABEL: test_lround_i32_f32:
+; SDAG-X86: # %bb.0:
+; SDAG-X86-NEXT: jmp lroundf # TAILCALL
+;
+; FASTISEL-X86-LABEL: test_lround_i32_f32:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: subl $12, %esp
+; FASTISEL-X86-NEXT: flds {{[0-9]+}}(%esp)
+; FASTISEL-X86-NEXT: fstps (%esp)
+; FASTISEL-X86-NEXT: calll lroundf
+; FASTISEL-X86-NEXT: addl $12, %esp
+; FASTISEL-X86-NEXT: retl
+;
+; GISEL-X86-LABEL: test_lround_i32_f32:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl %eax, (%esp)
+; GISEL-X86-NEXT: calll lroundf
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; SDAG-X64-LABEL: test_lround_i32_f32:
+; SDAG-X64: # %bb.0:
+; SDAG-X64-NEXT: jmp lroundf at PLT # TAILCALL
+;
+; FASTISEL-X64-LABEL: test_lround_i32_f32:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: pushq %rax
+; FASTISEL-X64-NEXT: callq lroundf at PLT
+; FASTISEL-X64-NEXT: popq %rcx
+; FASTISEL-X64-NEXT: retq
+;
+; GISEL-X64-LABEL: test_lround_i32_f32:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq lroundf
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
+ %conv = call i32 @llvm.lround.i32.f32(float %x)
+ ret i32 %conv
+}
+
+define i32 @test_lround_i32_f64(double %x) nounwind {
+; SDAG-X86-LABEL: test_lround_i32_f64:
+; SDAG-X86: # %bb.0:
+; SDAG-X86-NEXT: jmp lround # TAILCALL
+;
+; FASTISEL-X86-LABEL: test_lround_i32_f64:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: subl $12, %esp
+; FASTISEL-X86-NEXT: fldl {{[0-9]+}}(%esp)
+; FASTISEL-X86-NEXT: fstpl (%esp)
+; FASTISEL-X86-NEXT: calll lround
+; FASTISEL-X86-NEXT: addl $12, %esp
+; FASTISEL-X86-NEXT: retl
+;
+; GISEL-X86-LABEL: test_lround_i32_f64:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; GISEL-X86-NEXT: movl 4(%eax), %eax
+; GISEL-X86-NEXT: xorl %edx, %edx
+; GISEL-X86-NEXT: addl %esp, %edx
+; GISEL-X86-NEXT: movl %ecx, (%esp)
+; GISEL-X86-NEXT: movl %eax, 4(%edx)
+; GISEL-X86-NEXT: calll lround
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; SDAG-X64-LABEL: test_lround_i32_f64:
+; SDAG-X64: # %bb.0:
+; SDAG-X64-NEXT: jmp lround at PLT # TAILCALL
+;
+; FASTISEL-X64-LABEL: test_lround_i32_f64:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: pushq %rax
+; FASTISEL-X64-NEXT: callq lround at PLT
+; FASTISEL-X64-NEXT: popq %rcx
+; FASTISEL-X64-NEXT: retq
+;
+; GISEL-X64-LABEL: test_lround_i32_f64:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq lround
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
+ %conv = call i32 @llvm.lround.i32.f64(double %x)
+ ret i32 %conv
+}
+
+define i32 @test_lround_i32_f80(x86_fp80 %x) nounwind {
+; SDAG-X86-LABEL: test_lround_i32_f80:
+; SDAG-X86: # %bb.0:
+; SDAG-X86-NEXT: jmp lroundl # TAILCALL
+;
+; FASTISEL-X86-LABEL: test_lround_i32_f80:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: subl $12, %esp
+; FASTISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
+; FASTISEL-X86-NEXT: fstpt (%esp)
+; FASTISEL-X86-NEXT: calll lroundl
+; FASTISEL-X86-NEXT: addl $12, %esp
+; FASTISEL-X86-NEXT: retl
+;
+; GISEL-X86-LABEL: test_lround_i32_f80:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
+; GISEL-X86-NEXT: fstpt (%esp)
+; GISEL-X86-NEXT: calll lroundl
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; SDAG-X64-LABEL: test_lround_i32_f80:
+; SDAG-X64: # %bb.0:
+; SDAG-X64-NEXT: jmp lroundl at PLT # TAILCALL
+;
+; FASTISEL-X64-LABEL: test_lround_i32_f80:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: subq $24, %rsp
+; FASTISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; FASTISEL-X64-NEXT: fstpt (%rsp)
+; FASTISEL-X64-NEXT: callq lroundl at PLT
+; FASTISEL-X64-NEXT: addq $24, %rsp
+; FASTISEL-X64-NEXT: retq
+;
+; GISEL-X64-LABEL: test_lround_i32_f80:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: subq $24, %rsp
+; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; GISEL-X64-NEXT: fstpt (%rsp)
+; GISEL-X64-NEXT: callq lroundl
+; GISEL-X64-NEXT: addq $24, %rsp
+; GISEL-X64-NEXT: retq
+ %conv = call i32 @llvm.lround.i32.f80(x86_fp80 %x)
+ ret i32 %conv
+}
+
+define i64 @test_lround_i64_f32(float %x) nounwind {
+; X86-LABEL: test_lround_i64_f32:
+; X86: # %bb.0:
+; X86-NEXT: subl $12, %esp
+; X86-NEXT: flds {{[0-9]+}}(%esp)
+; X86-NEXT: fstps (%esp)
+; X86-NEXT: calll lroundf
+; X86-NEXT: addl $12, %esp
+; X86-NEXT: retl
+;
+; GISEL-X86-LABEL: test_lround_i64_f32:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl %eax, (%esp)
+; GISEL-X86-NEXT: calll lroundf
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; SDAG-X64-LABEL: test_lround_i64_f32:
+; SDAG-X64: # %bb.0:
+; SDAG-X64-NEXT: jmp lroundf at PLT # TAILCALL
+;
+; FASTISEL-X64-LABEL: test_lround_i64_f32:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: pushq %rax
+; FASTISEL-X64-NEXT: callq lroundf at PLT
+; FASTISEL-X64-NEXT: popq %rcx
+; FASTISEL-X64-NEXT: retq
+;
+; GISEL-X64-LABEL: test_lround_i64_f32:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq lroundf
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
+ %conv = call i64 @llvm.lround.i64.f32(float %x)
+ ret i64 %conv
+}
+
+define i64 @test_lround_i64_f64(double %x) nounwind {
+; X86-LABEL: test_lround_i64_f64:
+; X86: # %bb.0:
+; X86-NEXT: subl $12, %esp
+; X86-NEXT: fldl {{[0-9]+}}(%esp)
+; X86-NEXT: fstpl (%esp)
+; X86-NEXT: calll lround
+; X86-NEXT: addl $12, %esp
+; X86-NEXT: retl
+;
+; GISEL-X86-LABEL: test_lround_i64_f64:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; GISEL-X86-NEXT: movl 4(%eax), %eax
+; GISEL-X86-NEXT: xorl %edx, %edx
+; GISEL-X86-NEXT: addl %esp, %edx
+; GISEL-X86-NEXT: movl %ecx, (%esp)
+; GISEL-X86-NEXT: movl %eax, 4(%edx)
+; GISEL-X86-NEXT: calll lround
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; SDAG-X64-LABEL: test_lround_i64_f64:
+; SDAG-X64: # %bb.0:
+; SDAG-X64-NEXT: jmp lround at PLT # TAILCALL
+;
+; FASTISEL-X64-LABEL: test_lround_i64_f64:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: pushq %rax
+; FASTISEL-X64-NEXT: callq lround at PLT
+; FASTISEL-X64-NEXT: popq %rcx
+; FASTISEL-X64-NEXT: retq
+;
+; GISEL-X64-LABEL: test_lround_i64_f64:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq lround
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
+ %conv = call i64 @llvm.lround.i64.f64(double %x)
+ ret i64 %conv
+}
+
+define i64 @test_lround_i64_f80(x86_fp80 %x) nounwind {
+; X86-LABEL: test_lround_i64_f80:
+; X86: # %bb.0:
+; X86-NEXT: subl $12, %esp
+; X86-NEXT: fldt {{[0-9]+}}(%esp)
+; X86-NEXT: fstpt (%esp)
+; X86-NEXT: calll lroundl
+; X86-NEXT: addl $12, %esp
+; X86-NEXT: retl
+;
+; GISEL-X86-LABEL: test_lround_i64_f80:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
+; GISEL-X86-NEXT: fstpt (%esp)
+; GISEL-X86-NEXT: calll lroundl
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; SDAG-X64-LABEL: test_lround_i64_f80:
+; SDAG-X64: # %bb.0:
+; SDAG-X64-NEXT: jmp lroundl at PLT # TAILCALL
+;
+; FASTISEL-X64-LABEL: test_lround_i64_f80:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: subq $24, %rsp
+; FASTISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; FASTISEL-X64-NEXT: fstpt (%rsp)
+; FASTISEL-X64-NEXT: callq lroundl at PLT
+; FASTISEL-X64-NEXT: addq $24, %rsp
+; FASTISEL-X64-NEXT: retq
+;
+; GISEL-X64-LABEL: test_lround_i64_f80:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: subq $24, %rsp
+; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; GISEL-X64-NEXT: fstpt (%rsp)
+; GISEL-X64-NEXT: callq lroundl
+; GISEL-X64-NEXT: addq $24, %rsp
+; GISEL-X64-NEXT: retq
+ %conv = call i64 @llvm.lround.i64.f80(x86_fp80 %x)
+ ret i64 %conv
+}
>From 76f3405fe3fab38b4b06bf6b9b387a2463914acc Mon Sep 17 00:00:00 2001
From: Chauhan Jaydeep Ashwinbhai <chauhan.jaydeep.ashwinbhai at intel.com>
Date: Fri, 31 Jan 2025 23:54:13 +0800
Subject: [PATCH 2/2] Addressed the review comments1
---
.../lib/Target/X86/GISel/X86LegalizerInfo.cpp | 12 +-
llvm/test/CodeGen/X86/isel-llround.ll | 139 ---------
llvm/test/CodeGen/X86/isel-lround.ll | 277 ------------------
llvm/test/CodeGen/X86/llround-conv.ll | 204 ++++++++++++-
llvm/test/CodeGen/X86/lround-conv-i32.ll | 67 ++++-
llvm/test/CodeGen/X86/lround-conv-i64.ll | 73 ++++-
6 files changed, 332 insertions(+), 440 deletions(-)
delete mode 100644 llvm/test/CodeGen/X86/isel-llround.ll
delete mode 100644 llvm/test/CodeGen/X86/isel-lround.ll
diff --git a/llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp b/llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp
index ff0a0b1d0fd216..88b5ec8cd004fa 100644
--- a/llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp
+++ b/llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp
@@ -99,17 +99,9 @@ X86LegalizerInfo::X86LegalizerInfo(const X86Subtarget &STI,
.widenScalarToNextPow2(0, /*Min=*/8)
.clampScalar(0, s8, sMaxScalar);
- getActionDefinitionsBuilder(G_LROUND)
- .libcallIf([=](const LegalityQuery &Query) -> bool {
- return (typeInSet(0, {s32, s64})(Query) &&
- typeInSet(1, {s32, s64, s80})(Query));
- });
+ getActionDefinitionsBuilder(G_LROUND).libcall();
- getActionDefinitionsBuilder(G_LLROUND)
- .libcallIf([=](const LegalityQuery &Query) -> bool {
- return (typeIs(0, s64)(Query) &&
- typeInSet(1, {s32, s64, s80})(Query));
- });
+ getActionDefinitionsBuilder(G_LLROUND).libcall();
// merge/unmerge
for (unsigned Op : {G_MERGE_VALUES, G_UNMERGE_VALUES}) {
diff --git a/llvm/test/CodeGen/X86/isel-llround.ll b/llvm/test/CodeGen/X86/isel-llround.ll
deleted file mode 100644
index 6f644cbe6ea2e4..00000000000000
--- a/llvm/test/CodeGen/X86/isel-llround.ll
+++ /dev/null
@@ -1,139 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
-; RUN: llc < %s -mtriple=i686-linux-gnu | FileCheck %s --check-prefixes=X86,SDAG-X86
-; RUN: llc < %s -mtriple=i686-linux-gnu -fast-isel -fast-isel-abort=1 | FileCheck %s --check-prefixes=X86,FASTISEL-X86
-; RUN: llc < %s -mtriple=i686-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X86
-; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s --check-prefixes=SDAG-X64
-; RUN: llc < %s -mtriple=x86_64-linux-gnu -fast-isel -fast-isel-abort=1 | FileCheck %s --check-prefixes=FASTISEL-X64
-; RUN: llc < %s -mtriple=x86_64-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X64
-
-define i64 @test_llround_i64_f32(float %x) nounwind {
-; X86-LABEL: test_llround_i64_f32:
-; X86: # %bb.0:
-; X86-NEXT: subl $12, %esp
-; X86-NEXT: flds {{[0-9]+}}(%esp)
-; X86-NEXT: fstps (%esp)
-; X86-NEXT: calll llroundf
-; X86-NEXT: addl $12, %esp
-; X86-NEXT: retl
-;
-; GISEL-X86-LABEL: test_llround_i64_f32:
-; GISEL-X86: # %bb.0:
-; GISEL-X86-NEXT: subl $12, %esp
-; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
-; GISEL-X86-NEXT: movl %eax, (%esp)
-; GISEL-X86-NEXT: calll llroundf
-; GISEL-X86-NEXT: addl $12, %esp
-; GISEL-X86-NEXT: retl
-;
-; SDAG-X64-LABEL: test_llround_i64_f32:
-; SDAG-X64: # %bb.0:
-; SDAG-X64-NEXT: jmp llroundf at PLT # TAILCALL
-;
-; FASTISEL-X64-LABEL: test_llround_i64_f32:
-; FASTISEL-X64: # %bb.0:
-; FASTISEL-X64-NEXT: pushq %rax
-; FASTISEL-X64-NEXT: callq llroundf at PLT
-; FASTISEL-X64-NEXT: popq %rcx
-; FASTISEL-X64-NEXT: retq
-;
-; GISEL-X64-LABEL: test_llround_i64_f32:
-; GISEL-X64: # %bb.0:
-; GISEL-X64-NEXT: pushq %rax
-; GISEL-X64-NEXT: callq llroundf
-; GISEL-X64-NEXT: popq %rcx
-; GISEL-X64-NEXT: retq
- %conv = call i64 @llvm.llround.i64.f32(float %x)
- ret i64 %conv
-}
-
-define i64 @test_llround_i64_f64(double %x) nounwind {
-; X86-LABEL: test_llround_i64_f64:
-; X86: # %bb.0:
-; X86-NEXT: subl $12, %esp
-; X86-NEXT: fldl {{[0-9]+}}(%esp)
-; X86-NEXT: fstpl (%esp)
-; X86-NEXT: calll llround
-; X86-NEXT: addl $12, %esp
-; X86-NEXT: retl
-;
-; GISEL-X86-LABEL: test_llround_i64_f64:
-; GISEL-X86: # %bb.0:
-; GISEL-X86-NEXT: subl $12, %esp
-; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
-; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
-; GISEL-X86-NEXT: movl 4(%eax), %eax
-; GISEL-X86-NEXT: xorl %edx, %edx
-; GISEL-X86-NEXT: addl %esp, %edx
-; GISEL-X86-NEXT: movl %ecx, (%esp)
-; GISEL-X86-NEXT: movl %eax, 4(%edx)
-; GISEL-X86-NEXT: calll llround
-; GISEL-X86-NEXT: addl $12, %esp
-; GISEL-X86-NEXT: retl
-;
-; SDAG-X64-LABEL: test_llround_i64_f64:
-; SDAG-X64: # %bb.0:
-; SDAG-X64-NEXT: jmp llround at PLT # TAILCALL
-;
-; FASTISEL-X64-LABEL: test_llround_i64_f64:
-; FASTISEL-X64: # %bb.0:
-; FASTISEL-X64-NEXT: pushq %rax
-; FASTISEL-X64-NEXT: callq llround at PLT
-; FASTISEL-X64-NEXT: popq %rcx
-; FASTISEL-X64-NEXT: retq
-;
-; GISEL-X64-LABEL: test_llround_i64_f64:
-; GISEL-X64: # %bb.0:
-; GISEL-X64-NEXT: pushq %rax
-; GISEL-X64-NEXT: callq llround
-; GISEL-X64-NEXT: popq %rcx
-; GISEL-X64-NEXT: retq
- %conv = call i64 @llvm.llround.i64.f64(double %x)
- ret i64 %conv
-}
-
-define i64 @test_llround_i64_f80(x86_fp80 %x) nounwind {
-; X86-LABEL: test_llround_i64_f80:
-; X86: # %bb.0:
-; X86-NEXT: subl $12, %esp
-; X86-NEXT: fldt {{[0-9]+}}(%esp)
-; X86-NEXT: fstpt (%esp)
-; X86-NEXT: calll llroundl
-; X86-NEXT: addl $12, %esp
-; X86-NEXT: retl
-;
-; GISEL-X86-LABEL: test_llround_i64_f80:
-; GISEL-X86: # %bb.0:
-; GISEL-X86-NEXT: subl $12, %esp
-; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
-; GISEL-X86-NEXT: fstpt (%esp)
-; GISEL-X86-NEXT: calll llroundl
-; GISEL-X86-NEXT: addl $12, %esp
-; GISEL-X86-NEXT: retl
-;
-; SDAG-X64-LABEL: test_llround_i64_f80:
-; SDAG-X64: # %bb.0:
-; SDAG-X64-NEXT: jmp llroundl at PLT # TAILCALL
-;
-; FASTISEL-X64-LABEL: test_llround_i64_f80:
-; FASTISEL-X64: # %bb.0:
-; FASTISEL-X64-NEXT: subq $24, %rsp
-; FASTISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
-; FASTISEL-X64-NEXT: fstpt (%rsp)
-; FASTISEL-X64-NEXT: callq llroundl at PLT
-; FASTISEL-X64-NEXT: addq $24, %rsp
-; FASTISEL-X64-NEXT: retq
-;
-; GISEL-X64-LABEL: test_llround_i64_f80:
-; GISEL-X64: # %bb.0:
-; GISEL-X64-NEXT: subq $24, %rsp
-; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
-; GISEL-X64-NEXT: fstpt (%rsp)
-; GISEL-X64-NEXT: callq llroundl
-; GISEL-X64-NEXT: addq $24, %rsp
-; GISEL-X64-NEXT: retq
- %conv = call i64 @llvm.llround.i64.f80(x86_fp80 %x)
- ret i64 %conv
-}
-;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
-; FASTISEL-X86: {{.*}}
-; SDAG-X86: {{.*}}
diff --git a/llvm/test/CodeGen/X86/isel-lround.ll b/llvm/test/CodeGen/X86/isel-lround.ll
deleted file mode 100644
index b175b4ec77f910..00000000000000
--- a/llvm/test/CodeGen/X86/isel-lround.ll
+++ /dev/null
@@ -1,277 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
-; RUN: llc < %s -mtriple=i686-linux-gnu | FileCheck %s --check-prefixes=X86,SDAG-X86
-; RUN: llc < %s -mtriple=i686-linux-gnu -fast-isel -fast-isel-abort=1 | FileCheck %s --check-prefixes=X86,FASTISEL-X86
-; RUN: llc < %s -mtriple=i686-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X86
-; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s --check-prefixes=SDAG-X64
-; RUN: llc < %s -mtriple=x86_64-linux-gnu -fast-isel -fast-isel-abort=1 | FileCheck %s --check-prefixes=FASTISEL-X64
-; RUN: llc < %s -mtriple=x86_64-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X64
-
-define i32 @test_lround_i32_f32(float %x) nounwind {
-; SDAG-X86-LABEL: test_lround_i32_f32:
-; SDAG-X86: # %bb.0:
-; SDAG-X86-NEXT: jmp lroundf # TAILCALL
-;
-; FASTISEL-X86-LABEL: test_lround_i32_f32:
-; FASTISEL-X86: # %bb.0:
-; FASTISEL-X86-NEXT: subl $12, %esp
-; FASTISEL-X86-NEXT: flds {{[0-9]+}}(%esp)
-; FASTISEL-X86-NEXT: fstps (%esp)
-; FASTISEL-X86-NEXT: calll lroundf
-; FASTISEL-X86-NEXT: addl $12, %esp
-; FASTISEL-X86-NEXT: retl
-;
-; GISEL-X86-LABEL: test_lround_i32_f32:
-; GISEL-X86: # %bb.0:
-; GISEL-X86-NEXT: subl $12, %esp
-; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
-; GISEL-X86-NEXT: movl %eax, (%esp)
-; GISEL-X86-NEXT: calll lroundf
-; GISEL-X86-NEXT: addl $12, %esp
-; GISEL-X86-NEXT: retl
-;
-; SDAG-X64-LABEL: test_lround_i32_f32:
-; SDAG-X64: # %bb.0:
-; SDAG-X64-NEXT: jmp lroundf at PLT # TAILCALL
-;
-; FASTISEL-X64-LABEL: test_lround_i32_f32:
-; FASTISEL-X64: # %bb.0:
-; FASTISEL-X64-NEXT: pushq %rax
-; FASTISEL-X64-NEXT: callq lroundf at PLT
-; FASTISEL-X64-NEXT: popq %rcx
-; FASTISEL-X64-NEXT: retq
-;
-; GISEL-X64-LABEL: test_lround_i32_f32:
-; GISEL-X64: # %bb.0:
-; GISEL-X64-NEXT: pushq %rax
-; GISEL-X64-NEXT: callq lroundf
-; GISEL-X64-NEXT: popq %rcx
-; GISEL-X64-NEXT: retq
- %conv = call i32 @llvm.lround.i32.f32(float %x)
- ret i32 %conv
-}
-
-define i32 @test_lround_i32_f64(double %x) nounwind {
-; SDAG-X86-LABEL: test_lround_i32_f64:
-; SDAG-X86: # %bb.0:
-; SDAG-X86-NEXT: jmp lround # TAILCALL
-;
-; FASTISEL-X86-LABEL: test_lround_i32_f64:
-; FASTISEL-X86: # %bb.0:
-; FASTISEL-X86-NEXT: subl $12, %esp
-; FASTISEL-X86-NEXT: fldl {{[0-9]+}}(%esp)
-; FASTISEL-X86-NEXT: fstpl (%esp)
-; FASTISEL-X86-NEXT: calll lround
-; FASTISEL-X86-NEXT: addl $12, %esp
-; FASTISEL-X86-NEXT: retl
-;
-; GISEL-X86-LABEL: test_lround_i32_f64:
-; GISEL-X86: # %bb.0:
-; GISEL-X86-NEXT: subl $12, %esp
-; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
-; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
-; GISEL-X86-NEXT: movl 4(%eax), %eax
-; GISEL-X86-NEXT: xorl %edx, %edx
-; GISEL-X86-NEXT: addl %esp, %edx
-; GISEL-X86-NEXT: movl %ecx, (%esp)
-; GISEL-X86-NEXT: movl %eax, 4(%edx)
-; GISEL-X86-NEXT: calll lround
-; GISEL-X86-NEXT: addl $12, %esp
-; GISEL-X86-NEXT: retl
-;
-; SDAG-X64-LABEL: test_lround_i32_f64:
-; SDAG-X64: # %bb.0:
-; SDAG-X64-NEXT: jmp lround at PLT # TAILCALL
-;
-; FASTISEL-X64-LABEL: test_lround_i32_f64:
-; FASTISEL-X64: # %bb.0:
-; FASTISEL-X64-NEXT: pushq %rax
-; FASTISEL-X64-NEXT: callq lround at PLT
-; FASTISEL-X64-NEXT: popq %rcx
-; FASTISEL-X64-NEXT: retq
-;
-; GISEL-X64-LABEL: test_lround_i32_f64:
-; GISEL-X64: # %bb.0:
-; GISEL-X64-NEXT: pushq %rax
-; GISEL-X64-NEXT: callq lround
-; GISEL-X64-NEXT: popq %rcx
-; GISEL-X64-NEXT: retq
- %conv = call i32 @llvm.lround.i32.f64(double %x)
- ret i32 %conv
-}
-
-define i32 @test_lround_i32_f80(x86_fp80 %x) nounwind {
-; SDAG-X86-LABEL: test_lround_i32_f80:
-; SDAG-X86: # %bb.0:
-; SDAG-X86-NEXT: jmp lroundl # TAILCALL
-;
-; FASTISEL-X86-LABEL: test_lround_i32_f80:
-; FASTISEL-X86: # %bb.0:
-; FASTISEL-X86-NEXT: subl $12, %esp
-; FASTISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
-; FASTISEL-X86-NEXT: fstpt (%esp)
-; FASTISEL-X86-NEXT: calll lroundl
-; FASTISEL-X86-NEXT: addl $12, %esp
-; FASTISEL-X86-NEXT: retl
-;
-; GISEL-X86-LABEL: test_lround_i32_f80:
-; GISEL-X86: # %bb.0:
-; GISEL-X86-NEXT: subl $12, %esp
-; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
-; GISEL-X86-NEXT: fstpt (%esp)
-; GISEL-X86-NEXT: calll lroundl
-; GISEL-X86-NEXT: addl $12, %esp
-; GISEL-X86-NEXT: retl
-;
-; SDAG-X64-LABEL: test_lround_i32_f80:
-; SDAG-X64: # %bb.0:
-; SDAG-X64-NEXT: jmp lroundl at PLT # TAILCALL
-;
-; FASTISEL-X64-LABEL: test_lround_i32_f80:
-; FASTISEL-X64: # %bb.0:
-; FASTISEL-X64-NEXT: subq $24, %rsp
-; FASTISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
-; FASTISEL-X64-NEXT: fstpt (%rsp)
-; FASTISEL-X64-NEXT: callq lroundl at PLT
-; FASTISEL-X64-NEXT: addq $24, %rsp
-; FASTISEL-X64-NEXT: retq
-;
-; GISEL-X64-LABEL: test_lround_i32_f80:
-; GISEL-X64: # %bb.0:
-; GISEL-X64-NEXT: subq $24, %rsp
-; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
-; GISEL-X64-NEXT: fstpt (%rsp)
-; GISEL-X64-NEXT: callq lroundl
-; GISEL-X64-NEXT: addq $24, %rsp
-; GISEL-X64-NEXT: retq
- %conv = call i32 @llvm.lround.i32.f80(x86_fp80 %x)
- ret i32 %conv
-}
-
-define i64 @test_lround_i64_f32(float %x) nounwind {
-; X86-LABEL: test_lround_i64_f32:
-; X86: # %bb.0:
-; X86-NEXT: subl $12, %esp
-; X86-NEXT: flds {{[0-9]+}}(%esp)
-; X86-NEXT: fstps (%esp)
-; X86-NEXT: calll lroundf
-; X86-NEXT: addl $12, %esp
-; X86-NEXT: retl
-;
-; GISEL-X86-LABEL: test_lround_i64_f32:
-; GISEL-X86: # %bb.0:
-; GISEL-X86-NEXT: subl $12, %esp
-; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
-; GISEL-X86-NEXT: movl %eax, (%esp)
-; GISEL-X86-NEXT: calll lroundf
-; GISEL-X86-NEXT: addl $12, %esp
-; GISEL-X86-NEXT: retl
-;
-; SDAG-X64-LABEL: test_lround_i64_f32:
-; SDAG-X64: # %bb.0:
-; SDAG-X64-NEXT: jmp lroundf at PLT # TAILCALL
-;
-; FASTISEL-X64-LABEL: test_lround_i64_f32:
-; FASTISEL-X64: # %bb.0:
-; FASTISEL-X64-NEXT: pushq %rax
-; FASTISEL-X64-NEXT: callq lroundf at PLT
-; FASTISEL-X64-NEXT: popq %rcx
-; FASTISEL-X64-NEXT: retq
-;
-; GISEL-X64-LABEL: test_lround_i64_f32:
-; GISEL-X64: # %bb.0:
-; GISEL-X64-NEXT: pushq %rax
-; GISEL-X64-NEXT: callq lroundf
-; GISEL-X64-NEXT: popq %rcx
-; GISEL-X64-NEXT: retq
- %conv = call i64 @llvm.lround.i64.f32(float %x)
- ret i64 %conv
-}
-
-define i64 @test_lround_i64_f64(double %x) nounwind {
-; X86-LABEL: test_lround_i64_f64:
-; X86: # %bb.0:
-; X86-NEXT: subl $12, %esp
-; X86-NEXT: fldl {{[0-9]+}}(%esp)
-; X86-NEXT: fstpl (%esp)
-; X86-NEXT: calll lround
-; X86-NEXT: addl $12, %esp
-; X86-NEXT: retl
-;
-; GISEL-X86-LABEL: test_lround_i64_f64:
-; GISEL-X86: # %bb.0:
-; GISEL-X86-NEXT: subl $12, %esp
-; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
-; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
-; GISEL-X86-NEXT: movl 4(%eax), %eax
-; GISEL-X86-NEXT: xorl %edx, %edx
-; GISEL-X86-NEXT: addl %esp, %edx
-; GISEL-X86-NEXT: movl %ecx, (%esp)
-; GISEL-X86-NEXT: movl %eax, 4(%edx)
-; GISEL-X86-NEXT: calll lround
-; GISEL-X86-NEXT: addl $12, %esp
-; GISEL-X86-NEXT: retl
-;
-; SDAG-X64-LABEL: test_lround_i64_f64:
-; SDAG-X64: # %bb.0:
-; SDAG-X64-NEXT: jmp lround at PLT # TAILCALL
-;
-; FASTISEL-X64-LABEL: test_lround_i64_f64:
-; FASTISEL-X64: # %bb.0:
-; FASTISEL-X64-NEXT: pushq %rax
-; FASTISEL-X64-NEXT: callq lround at PLT
-; FASTISEL-X64-NEXT: popq %rcx
-; FASTISEL-X64-NEXT: retq
-;
-; GISEL-X64-LABEL: test_lround_i64_f64:
-; GISEL-X64: # %bb.0:
-; GISEL-X64-NEXT: pushq %rax
-; GISEL-X64-NEXT: callq lround
-; GISEL-X64-NEXT: popq %rcx
-; GISEL-X64-NEXT: retq
- %conv = call i64 @llvm.lround.i64.f64(double %x)
- ret i64 %conv
-}
-
-define i64 @test_lround_i64_f80(x86_fp80 %x) nounwind {
-; X86-LABEL: test_lround_i64_f80:
-; X86: # %bb.0:
-; X86-NEXT: subl $12, %esp
-; X86-NEXT: fldt {{[0-9]+}}(%esp)
-; X86-NEXT: fstpt (%esp)
-; X86-NEXT: calll lroundl
-; X86-NEXT: addl $12, %esp
-; X86-NEXT: retl
-;
-; GISEL-X86-LABEL: test_lround_i64_f80:
-; GISEL-X86: # %bb.0:
-; GISEL-X86-NEXT: subl $12, %esp
-; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
-; GISEL-X86-NEXT: fstpt (%esp)
-; GISEL-X86-NEXT: calll lroundl
-; GISEL-X86-NEXT: addl $12, %esp
-; GISEL-X86-NEXT: retl
-;
-; SDAG-X64-LABEL: test_lround_i64_f80:
-; SDAG-X64: # %bb.0:
-; SDAG-X64-NEXT: jmp lroundl at PLT # TAILCALL
-;
-; FASTISEL-X64-LABEL: test_lround_i64_f80:
-; FASTISEL-X64: # %bb.0:
-; FASTISEL-X64-NEXT: subq $24, %rsp
-; FASTISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
-; FASTISEL-X64-NEXT: fstpt (%rsp)
-; FASTISEL-X64-NEXT: callq lroundl at PLT
-; FASTISEL-X64-NEXT: addq $24, %rsp
-; FASTISEL-X64-NEXT: retq
-;
-; GISEL-X64-LABEL: test_lround_i64_f80:
-; GISEL-X64: # %bb.0:
-; GISEL-X64-NEXT: subq $24, %rsp
-; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
-; GISEL-X64-NEXT: fstpt (%rsp)
-; GISEL-X64-NEXT: callq lroundl
-; GISEL-X64-NEXT: addq $24, %rsp
-; GISEL-X64-NEXT: retq
- %conv = call i64 @llvm.lround.i64.f80(x86_fp80 %x)
- ret i64 %conv
-}
diff --git a/llvm/test/CodeGen/X86/llround-conv.ll b/llvm/test/CodeGen/X86/llround-conv.ll
index 1ccda2bc27bbbd..19a980b72809ea 100644
--- a/llvm/test/CodeGen/X86/llround-conv.ll
+++ b/llvm/test/CodeGen/X86/llround-conv.ll
@@ -1,7 +1,9 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s --check-prefix=X86
; RUN: llc < %s -mtriple=i686-unknown -mattr=sse2 | FileCheck %s --check-prefix=SSE2
+; RUN: llc < %s -mtriple=i686-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X86
; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefix=X64
+; RUN: llc < %s -mtriple=x86_64-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X64
define i64 @testmsxs(float %x) {
; X86-LABEL: testmsxs:
@@ -26,9 +28,29 @@ define i64 @testmsxs(float %x) {
; SSE2-NEXT: .cfi_def_cfa_offset 4
; SSE2-NEXT: retl
;
+; GISEL-X86-LABEL: testmsxs:
+; GISEL-X86: # %bb.0: # %entry
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl %eax, (%esp)
+; GISEL-X86-NEXT: calll llroundf
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 4
+; GISEL-X86-NEXT: retl
+;
; X64-LABEL: testmsxs:
; X64: # %bb.0: # %entry
; X64-NEXT: jmp llroundf at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: testmsxs:
+; GISEL-X64: # %bb.0: # %entry
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X64-NEXT: callq llroundf
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 8
+; GISEL-X64-NEXT: retq
entry:
%0 = tail call i64 @llvm.llround.f32(float %x)
ret i64 %0
@@ -57,9 +79,34 @@ define i64 @testmsxd(double %x) {
; SSE2-NEXT: .cfi_def_cfa_offset 4
; SSE2-NEXT: retl
;
+; GISEL-X86-LABEL: testmsxd:
+; GISEL-X86: # %bb.0: # %entry
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; GISEL-X86-NEXT: movl 4(%eax), %eax
+; GISEL-X86-NEXT: xorl %edx, %edx
+; GISEL-X86-NEXT: addl %esp, %edx
+; GISEL-X86-NEXT: movl %ecx, (%esp)
+; GISEL-X86-NEXT: movl %eax, 4(%edx)
+; GISEL-X86-NEXT: calll llround
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 4
+; GISEL-X86-NEXT: retl
+;
; X64-LABEL: testmsxd:
; X64: # %bb.0: # %entry
; X64-NEXT: jmp llround at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: testmsxd:
+; GISEL-X64: # %bb.0: # %entry
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X64-NEXT: callq llround
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 8
+; GISEL-X64-NEXT: retq
entry:
%0 = tail call i64 @llvm.llround.f64(double %x)
ret i64 %0
@@ -88,14 +135,165 @@ define i64 @testmsll(x86_fp80 %x) {
; SSE2-NEXT: .cfi_def_cfa_offset 4
; SSE2-NEXT: retl
;
+; GISEL-X86-LABEL: testmsll:
+; GISEL-X86: # %bb.0: # %entry
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
+; GISEL-X86-NEXT: fstpt (%esp)
+; GISEL-X86-NEXT: calll llroundl
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 4
+; GISEL-X86-NEXT: retl
+;
; X64-LABEL: testmsll:
; X64: # %bb.0: # %entry
; X64-NEXT: jmp llroundl at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: testmsll:
+; GISEL-X64: # %bb.0: # %entry
+; GISEL-X64-NEXT: subq $24, %rsp
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 32
+; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; GISEL-X64-NEXT: fstpt (%rsp)
+; GISEL-X64-NEXT: callq llroundl
+; GISEL-X64-NEXT: addq $24, %rsp
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 8
+; GISEL-X64-NEXT: retq
entry:
%0 = tail call i64 @llvm.llround.f80(x86_fp80 %x)
ret i64 %0
}
-declare i64 @llvm.llround.f32(float) nounwind readnone
-declare i64 @llvm.llround.f64(double) nounwind readnone
-declare i64 @llvm.llround.f80(x86_fp80) nounwind readnone
+define i64 @test_llround_i64_f32(float %x) nounwind {
+; X86-LABEL: test_llround_i64_f32:
+; X86: # %bb.0:
+; X86-NEXT: pushl %eax
+; X86-NEXT: flds {{[0-9]+}}(%esp)
+; X86-NEXT: fstps (%esp)
+; X86-NEXT: calll llroundf
+; X86-NEXT: popl %ecx
+; X86-NEXT: retl
+;
+; SSE2-LABEL: test_llround_i64_f32:
+; SSE2: # %bb.0:
+; SSE2-NEXT: pushl %eax
+; SSE2-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; SSE2-NEXT: movss %xmm0, (%esp)
+; SSE2-NEXT: calll llroundf
+; SSE2-NEXT: popl %ecx
+; SSE2-NEXT: retl
+;
+; GISEL-X86-LABEL: test_llround_i64_f32:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl %eax, (%esp)
+; GISEL-X86-NEXT: calll llroundf
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; X64-LABEL: test_llround_i64_f32:
+; X64: # %bb.0:
+; X64-NEXT: jmp llroundf at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: test_llround_i64_f32:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq llroundf
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
+ %conv = call i64 @llvm.llround.i64.f32(float %x)
+ ret i64 %conv
+}
+
+define i64 @test_llround_i64_f64(double %x) nounwind {
+; X86-LABEL: test_llround_i64_f64:
+; X86: # %bb.0:
+; X86-NEXT: subl $8, %esp
+; X86-NEXT: fldl {{[0-9]+}}(%esp)
+; X86-NEXT: fstpl (%esp)
+; X86-NEXT: calll llround
+; X86-NEXT: addl $8, %esp
+; X86-NEXT: retl
+;
+; SSE2-LABEL: test_llround_i64_f64:
+; SSE2: # %bb.0:
+; SSE2-NEXT: subl $8, %esp
+; SSE2-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
+; SSE2-NEXT: movsd %xmm0, (%esp)
+; SSE2-NEXT: calll llround
+; SSE2-NEXT: addl $8, %esp
+; SSE2-NEXT: retl
+;
+; GISEL-X86-LABEL: test_llround_i64_f64:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; GISEL-X86-NEXT: movl 4(%eax), %eax
+; GISEL-X86-NEXT: xorl %edx, %edx
+; GISEL-X86-NEXT: addl %esp, %edx
+; GISEL-X86-NEXT: movl %ecx, (%esp)
+; GISEL-X86-NEXT: movl %eax, 4(%edx)
+; GISEL-X86-NEXT: calll llround
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; X64-LABEL: test_llround_i64_f64:
+; X64: # %bb.0:
+; X64-NEXT: jmp llround at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: test_llround_i64_f64:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq llround
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
+ %conv = call i64 @llvm.llround.i64.f64(double %x)
+ ret i64 %conv
+}
+
+define i64 @test_llround_i64_f80(x86_fp80 %x) nounwind {
+; X86-LABEL: test_llround_i64_f80:
+; X86: # %bb.0:
+; X86-NEXT: subl $12, %esp
+; X86-NEXT: fldt {{[0-9]+}}(%esp)
+; X86-NEXT: fstpt (%esp)
+; X86-NEXT: calll llroundl
+; X86-NEXT: addl $12, %esp
+; X86-NEXT: retl
+;
+; SSE2-LABEL: test_llround_i64_f80:
+; SSE2: # %bb.0:
+; SSE2-NEXT: subl $12, %esp
+; SSE2-NEXT: fldt {{[0-9]+}}(%esp)
+; SSE2-NEXT: fstpt (%esp)
+; SSE2-NEXT: calll llroundl
+; SSE2-NEXT: addl $12, %esp
+; SSE2-NEXT: retl
+;
+; GISEL-X86-LABEL: test_llround_i64_f80:
+; GISEL-X86: # %bb.0:
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
+; GISEL-X86-NEXT: fstpt (%esp)
+; GISEL-X86-NEXT: calll llroundl
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
+; X64-LABEL: test_llround_i64_f80:
+; X64: # %bb.0:
+; X64-NEXT: jmp llroundl at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: test_llround_i64_f80:
+; GISEL-X64: # %bb.0:
+; GISEL-X64-NEXT: subq $24, %rsp
+; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; GISEL-X64-NEXT: fstpt (%rsp)
+; GISEL-X64-NEXT: callq llroundl
+; GISEL-X64-NEXT: addq $24, %rsp
+; GISEL-X64-NEXT: retq
+ %conv = call i64 @llvm.llround.i64.f80(x86_fp80 %x)
+ ret i64 %conv
+}
diff --git a/llvm/test/CodeGen/X86/lround-conv-i32.ll b/llvm/test/CodeGen/X86/lround-conv-i32.ll
index 06baf1f273c95f..c37536623143de 100644
--- a/llvm/test/CodeGen/X86/lround-conv-i32.ll
+++ b/llvm/test/CodeGen/X86/lround-conv-i32.ll
@@ -1,47 +1,100 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s
; RUN: llc < %s -mtriple=i686-unknown -mattr=sse2 | FileCheck %s
+; RUN: llc < %s -mtriple=i686-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X86
; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefix=X64
+; RUN: llc < %s -mtriple=x86_64-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X64
-define i32 @testmsws(float %x) {
+define i32 @testmsws(float %x) nounwind {
; CHECK-LABEL: testmsws:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: jmp lroundf # TAILCALL
;
+; GISEL-X86-LABEL: testmsws:
+; GISEL-X86: # %bb.0: # %entry
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl %eax, (%esp)
+; GISEL-X86-NEXT: calll lroundf
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
; X64-LABEL: testmsws:
; X64: # %bb.0: # %entry
; X64-NEXT: jmp lroundf at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: testmsws:
+; GISEL-X64: # %bb.0: # %entry
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq lroundf
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
entry:
%0 = tail call i32 @llvm.lround.i32.f32(float %x)
ret i32 %0
}
-define i32 @testmswd(double %x) {
+define i32 @testmswd(double %x) nounwind {
; CHECK-LABEL: testmswd:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: jmp lround # TAILCALL
;
+; GISEL-X86-LABEL: testmswd:
+; GISEL-X86: # %bb.0: # %entry
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; GISEL-X86-NEXT: movl 4(%eax), %eax
+; GISEL-X86-NEXT: xorl %edx, %edx
+; GISEL-X86-NEXT: addl %esp, %edx
+; GISEL-X86-NEXT: movl %ecx, (%esp)
+; GISEL-X86-NEXT: movl %eax, 4(%edx)
+; GISEL-X86-NEXT: calll lround
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
; X64-LABEL: testmswd:
; X64: # %bb.0: # %entry
; X64-NEXT: jmp lround at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: testmswd:
+; GISEL-X64: # %bb.0: # %entry
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: callq lround
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: retq
entry:
%0 = tail call i32 @llvm.lround.i32.f64(double %x)
ret i32 %0
}
-define i32 @testmsll(x86_fp80 %x) {
+define i32 @testmsll(x86_fp80 %x) nounwind {
; CHECK-LABEL: testmsll:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: jmp lroundl # TAILCALL
;
+; GISEL-X86-LABEL: testmsll:
+; GISEL-X86: # %bb.0: # %entry
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
+; GISEL-X86-NEXT: fstpt (%esp)
+; GISEL-X86-NEXT: calll lroundl
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: retl
+;
; X64-LABEL: testmsll:
; X64: # %bb.0: # %entry
; X64-NEXT: jmp lroundl at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: testmsll:
+; GISEL-X64: # %bb.0: # %entry
+; GISEL-X64-NEXT: subq $24, %rsp
+; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; GISEL-X64-NEXT: fstpt (%rsp)
+; GISEL-X64-NEXT: callq lroundl
+; GISEL-X64-NEXT: addq $24, %rsp
+; GISEL-X64-NEXT: retq
entry:
%0 = tail call i32 @llvm.lround.i32.f80(x86_fp80 %x)
ret i32 %0
}
-
-declare i32 @llvm.lround.i32.f32(float) nounwind readnone
-declare i32 @llvm.lround.i32.f64(double) nounwind readnone
-declare i32 @llvm.lround.i32.f80(x86_fp80) nounwind readnone
diff --git a/llvm/test/CodeGen/X86/lround-conv-i64.ll b/llvm/test/CodeGen/X86/lround-conv-i64.ll
index 1cfa4267365872..36b86f30ca1334 100644
--- a/llvm/test/CodeGen/X86/lround-conv-i64.ll
+++ b/llvm/test/CodeGen/X86/lround-conv-i64.ll
@@ -1,33 +1,98 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=i686-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X86
; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s
+; RUN: llc < %s -mtriple=x86_64-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X64
define i64 @testmsxs(float %x) {
+; GISEL-X86-LABEL: testmsxs:
+; GISEL-X86: # %bb.0: # %entry
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl %eax, (%esp)
+; GISEL-X86-NEXT: calll lroundf
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 4
+; GISEL-X86-NEXT: retl
+;
; CHECK-LABEL: testmsxs:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: jmp lroundf at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: testmsxs:
+; GISEL-X64: # %bb.0: # %entry
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X64-NEXT: callq lroundf
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 8
+; GISEL-X64-NEXT: retq
entry:
%0 = tail call i64 @llvm.lround.i64.f32(float %x)
ret i64 %0
}
define i64 @testmsxd(double %x) {
+; GISEL-X86-LABEL: testmsxd:
+; GISEL-X86: # %bb.0: # %entry
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax
+; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; GISEL-X86-NEXT: movl 4(%eax), %eax
+; GISEL-X86-NEXT: xorl %edx, %edx
+; GISEL-X86-NEXT: addl %esp, %edx
+; GISEL-X86-NEXT: movl %ecx, (%esp)
+; GISEL-X86-NEXT: movl %eax, 4(%edx)
+; GISEL-X86-NEXT: calll lround
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 4
+; GISEL-X86-NEXT: retl
+;
; CHECK-LABEL: testmsxd:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: jmp lround at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: testmsxd:
+; GISEL-X64: # %bb.0: # %entry
+; GISEL-X64-NEXT: pushq %rax
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X64-NEXT: callq lround
+; GISEL-X64-NEXT: popq %rcx
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 8
+; GISEL-X64-NEXT: retq
entry:
%0 = tail call i64 @llvm.lround.i64.f64(double %x)
ret i64 %0
}
define i64 @testmsll(x86_fp80 %x) {
+; GISEL-X86-LABEL: testmsll:
+; GISEL-X86: # %bb.0: # %entry
+; GISEL-X86-NEXT: subl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 16
+; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp)
+; GISEL-X86-NEXT: fstpt (%esp)
+; GISEL-X86-NEXT: calll lroundl
+; GISEL-X86-NEXT: addl $12, %esp
+; GISEL-X86-NEXT: .cfi_def_cfa_offset 4
+; GISEL-X86-NEXT: retl
+;
; CHECK-LABEL: testmsll:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: jmp lroundl at PLT # TAILCALL
+;
+; GISEL-X64-LABEL: testmsll:
+; GISEL-X64: # %bb.0: # %entry
+; GISEL-X64-NEXT: subq $24, %rsp
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 32
+; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp)
+; GISEL-X64-NEXT: fstpt (%rsp)
+; GISEL-X64-NEXT: callq lroundl
+; GISEL-X64-NEXT: addq $24, %rsp
+; GISEL-X64-NEXT: .cfi_def_cfa_offset 8
+; GISEL-X64-NEXT: retq
entry:
%0 = tail call i64 @llvm.lround.i64.f80(x86_fp80 %x)
ret i64 %0
}
-
-declare i64 @llvm.lround.i64.f32(float) nounwind readnone
-declare i64 @llvm.lround.i64.f64(double) nounwind readnone
-declare i64 @llvm.lround.i64.f80(x86_fp80) nounwind readnone
More information about the llvm-commits
mailing list