From 72a559302280a3837efea331829b70d9bb218f7a Mon Sep 17 00:00:00 2001 From: Richard-Qin-X Date: Sun, 16 Aug 2026 01:09:11 +0800 Subject: [RISCV][GlobalISel] Select constant operands as immediates --- backend/lib/CodeGen/MachineVerifier.cpp | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) (limited to 'backend/lib/CodeGen/MachineVerifier.cpp') diff --git a/backend/lib/CodeGen/MachineVerifier.cpp b/backend/lib/CodeGen/MachineVerifier.cpp index 5a040b9..abccc56 100644 --- a/backend/lib/CodeGen/MachineVerifier.cpp +++ b/backend/lib/CodeGen/MachineVerifier.cpp @@ -838,7 +838,9 @@ private: return fail("reserved-register list contains invalid or duplicate entries"); } - for (const VirtualRegisterInfo &Info : RegInfo.virtualRegisters()) { + const auto VirtualRegisters = RegInfo.virtualRegisters(); + for (std::size_t Index = 0; Index < VirtualRegisters.size(); ++Index) { + const VirtualRegisterInfo &Info = VirtualRegisters[Index]; if (Info.IsTombstone) { if (Info.Type || Info.Bank || Info.RegClass || !Info.AllocationHints.empty() || Info.TargetFlags != 0) { @@ -846,10 +848,16 @@ private: } continue; } - HasLiveVirtualRegister = true; - MissingVirtualType |= !Info.Type; - MissingVirtualBank |= !Info.Bank; - MissingVirtualClass |= !Info.RegClass; + auto Reg = Register::makeVirtual(Index); + if (!Reg) + return failWith("virtual register", Reg.error()); + const auto Operands = RegInfo.regOperands(*Reg); + if (Operands.begin() != Operands.end()) { + HasLiveVirtualRegister = true; + MissingVirtualType |= !Info.Type; + MissingVirtualBank |= !Info.Bank; + MissingVirtualClass |= !Info.RegClass; + } if (Info.Type && !Info.Type->isValid()) return fail("virtual register has an invalid LowLevelType"); -- cgit v1.2.3