From e5fdceb9b869f010a2a75638fd38aaf1867f3008 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sun, 9 Aug 2026 04:40:17 +0800
Subject: [CodeGen] Complete register allocation infrastructure

---
 backend/lib/MIR/MIPrinter.cpp | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

(limited to 'backend/lib/MIR/MIPrinter.cpp')

diff --git a/backend/lib/MIR/MIPrinter.cpp b/backend/lib/MIR/MIPrinter.cpp
index 83fce40..8ad6d6c 100644
--- a/backend/lib/MIR/MIPrinter.cpp
+++ b/backend/lib/MIR/MIPrinter.cpp
@@ -1285,20 +1285,24 @@ Expected<void> BodyPrinter::printInstruction(const MachineInstr &Instruction) {
     return makeUnexpected(ErrorCode::VerificationError,
                           "machine instruction has no target descriptor");
   }
-  if (Descriptor->NumExplicitDefs > Instruction.operandCount()) {
-    return makeUnexpected(ErrorCode::VerificationError,
-                          "machine instruction has fewer operands than explicit definitions");
+  std::size_t ExplicitDefs = 0;
+  while (ExplicitDefs < Instruction.operandCount()) {
+    const MachineOperand *Operand = Instruction.operandAt(ExplicitDefs);
+    if (Operand == nullptr || !Operand->isRegister() || Operand->isImplicit() ||
+        !Operand->isDef() || Operand->isUse())
+      break;
+    ++ExplicitDefs;
   }
 
   Output.append("  ");
-  for (std::size_t Index = 0; Index < Descriptor->NumExplicitDefs; ++Index) {
+  for (std::size_t Index = 0; Index < ExplicitDefs; ++Index) {
     if (Index != 0)
       Output.append(", ");
     if (auto Printed = printOperand(*Instruction.operandAt(Index), true); !Printed) {
       return Printed;
     }
   }
-  if (Descriptor->NumExplicitDefs != 0)
+  if (ExplicitDefs != 0)
     Output.append(" = ");
 
   const MachineInstrFlags Flags = Instruction.flags();
@@ -1333,8 +1337,7 @@ Expected<void> BodyPrinter::printInstruction(const MachineInstr &Instruction) {
   Output.append(Descriptor->Name);
 
   bool HasPrintedTail = false;
-  for (std::size_t Index = Descriptor->NumExplicitDefs; Index < Instruction.operandCount();
-       ++Index) {
+  for (std::size_t Index = ExplicitDefs; Index < Instruction.operandCount(); ++Index) {
     Output.append(HasPrintedTail ? ", " : " ");
     HasPrintedTail = true;
     if (auto Printed = printOperand(*Instruction.operandAt(Index), false); !Printed) {
-- 
cgit v1.2.3