[llvm] RegAllocFast: Fix verifier errors after assigning to reserved registers (PR #128155)

Christudasan Devadasan via llvm-commits llvm-commits at lists.llvm.org
Fri Feb 21 06:49:08 PST 2025


================
@@ -617,9 +620,7 @@ void VirtRegRewriter::rewrite() {
         assert(Register(PhysReg).isPhysical());
 
         RewriteRegs.insert(PhysReg);
-        assert((!MRI->isReserved(PhysReg) ||
-                MF->getProperties().hasProperty(
-                    MachineFunctionProperties::Property::FailedRegAlloc)) &&
+        assert((!MRI->isReserved(PhysReg) || !IsValidAlloc) &&
----------------
cdevadas wrote:

Unrelated to this PR - should insert a separate assertion for FailedRegalloc with an appropriate failure message.

https://github.com/llvm/llvm-project/pull/128155


More information about the llvm-commits mailing list