From 5b6ba4568cf6916a61ecde702f45246db8154b9f Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sat, 15 Aug 2026 20:03:59 +0800
Subject: [RISCV][GlobalISel] Legalize floating-point remainder

---
 backend/include/rcc/CodeGen/GlobalISel/Legalizer.h       | 16 ++++++++++------
 backend/include/rcc/CodeGen/GlobalISel/LegalizerHelper.h |  2 ++
 backend/include/rcc/CodeGen/GlobalISel/LegalizerInfo.h   |  1 +
 3 files changed, 13 insertions(+), 6 deletions(-)

(limited to 'backend/include/rcc/CodeGen/GlobalISel')

diff --git a/backend/include/rcc/CodeGen/GlobalISel/Legalizer.h b/backend/include/rcc/CodeGen/GlobalISel/Legalizer.h
index 2ba0012..e90d09c 100644
--- a/backend/include/rcc/CodeGen/GlobalISel/Legalizer.h
+++ b/backend/include/rcc/CodeGen/GlobalISel/Legalizer.h
@@ -15,15 +15,18 @@ namespace rcc {
 class Legalizer final : public MachineFunctionPass {
 public:
   Legalizer(const LegalizerInfo *Info, OptimizationLevel Optimization,
-            LibcallLoweringInfo Libcalls = {})
-      : Info(Info), Optimization(Optimization), Libcalls(Libcalls) {}
+            LibcallLoweringInfo Libcalls = {},
+            GlobalISelAbortMode AbortMode = GlobalISelAbortMode::Enable)
+      : Info(Info), Optimization(Optimization), Libcalls(Libcalls), AbortMode(AbortMode) {}
   Legalizer(const LegalizerInfo &Info, OptimizationLevel Optimization,
-            LibcallLoweringInfo Libcalls = {})
-      : Info(&Info), Optimization(Optimization), Libcalls(Libcalls) {}
+            LibcallLoweringInfo Libcalls = {},
+            GlobalISelAbortMode AbortMode = GlobalISelAbortMode::Enable)
+      : Info(&Info), Optimization(Optimization), Libcalls(Libcalls), AbortMode(AbortMode) {}
   Legalizer(std::unique_ptr<LegalizerInfo> Info, OptimizationLevel Optimization,
-            LibcallLoweringInfo Libcalls = {})
+            LibcallLoweringInfo Libcalls = {},
+            GlobalISelAbortMode AbortMode = GlobalISelAbortMode::Enable)
       : OwnedInfo(std::move(Info)), Info(OwnedInfo.get()), Optimization(Optimization),
-        Libcalls(Libcalls) {}
+        Libcalls(Libcalls), AbortMode(AbortMode) {}
 
   [[nodiscard]] const MachinePassContract &contract() const noexcept override;
   [[nodiscard]] Expected<MachinePassResult> run(MachineFunction &Function,
@@ -39,6 +42,7 @@ private:
   const LegalizerInfo *Info = nullptr;
   OptimizationLevel Optimization;
   LibcallLoweringInfo Libcalls;
+  GlobalISelAbortMode AbortMode;
 };
 
 } // namespace rcc
diff --git a/backend/include/rcc/CodeGen/GlobalISel/LegalizerHelper.h b/backend/include/rcc/CodeGen/GlobalISel/LegalizerHelper.h
index 3e14311..aff6443 100644
--- a/backend/include/rcc/CodeGen/GlobalISel/LegalizerHelper.h
+++ b/backend/include/rcc/CodeGen/GlobalISel/LegalizerHelper.h
@@ -103,6 +103,8 @@ private:
                                                                    const APInt &Amount,
                                                                    LowLevelType TargetType,
                                                                    LowLevelType AmountType);
+  [[nodiscard]] Expected<void> fewerElements(MachineInstr &Instruction, std::size_t TypeIndex,
+                                             LowLevelType NarrowType);
 
   struct ShiftParameters final {
     Register WordShift;
diff --git a/backend/include/rcc/CodeGen/GlobalISel/LegalizerInfo.h b/backend/include/rcc/CodeGen/GlobalISel/LegalizerInfo.h
index 3433e3a..78e6a32 100644
--- a/backend/include/rcc/CodeGen/GlobalISel/LegalizerInfo.h
+++ b/backend/include/rcc/CodeGen/GlobalISel/LegalizerInfo.h
@@ -139,6 +139,7 @@ public:
 
   LegalizeRuleSet &custom();
   LegalizeRuleSet &widenScalarToNextPow2(std::size_t TypeIndex, std::uint32_t MinimumBitWidth = 0);
+  LegalizeRuleSet &scalarize(std::size_t TypeIndex);
   LegalizeRuleSet &minScalar(std::size_t TypeIndex, LowLevelType MinimumType);
   LegalizeRuleSet &minScalar(bool Enabled, std::size_t TypeIndex, LowLevelType MinimumType);
   LegalizeRuleSet &maxScalar(std::size_t TypeIndex, LowLevelType MaximumType);
-- 
cgit v1.2.3