[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