[llvm-commits] CVS: llvm/lib/CodeGen/RegAllocLinearScan.cpp

[Alkis Evlogimenos]

Changes in directory llvm/lib/CodeGen:

RegAllocLinearScan.cpp updated: 1.16 -> 1.17

---
Log message:

Remove verifyIntervals() since it doesn't actually work right now.


---
Diffs of the changes:  (+0 -52)

Index: llvm/lib/CodeGen/RegAllocLinearScan.cpp
diff -u llvm/lib/CodeGen/RegAllocLinearScan.cpp:1.16 llvm/lib/CodeGen/RegAllocLinearScan.cpp:1.17
--- llvm/lib/CodeGen/RegAllocLinearScan.cpp:1.16	Sun Dec 21 14:19:10 2003
+++ llvm/lib/CodeGen/RegAllocLinearScan.cpp	Sun Dec 21 14:41:26 2003
@@ -263,8 +263,6 @@
             DEBUG(printFreeRegs("\tfree registers", rc));
         }
 
-        //assert(verifyIntervals());
-
         processActiveIntervals(i);
         processInactiveIntervals(i);
         
@@ -398,56 +396,6 @@
             }
             --currentInstr_; // restore currentInstr_ iterator
             tempDefOperands_.clear();
-        }
-    }
-
-    return true;
-}
-
-bool RA::verifyIntervals()
-{
-    std::set<unsigned> assignedRegisters;
-    for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
-        if ((*i)->reg >= MRegisterInfo::FirstVirtualRegister) {
-            unsigned reg = v2pMap_.find((*i)->reg)->second;
-
-            bool inserted = assignedRegisters.insert(reg).second;
-            assert(inserted && "registers in active list conflict");
-        }
-    }
-
-    for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();
-         ++i) {
-        if ((*i)->reg >= MRegisterInfo::FirstVirtualRegister) {
-            unsigned reg = v2pMap_.find((*i)->reg)->second;
-
-            bool inserted = assignedRegisters.insert(reg).second;
-            assert(inserted && "registers in inactive list conflict");
-        }
-    }
-
-    for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
-        unsigned reg = (*i)->reg;
-        if (reg >= MRegisterInfo::FirstVirtualRegister) {
-            reg = v2pMap_.find((*i)->reg)->second;
-        }
-
-        for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as) {
-            assert(assignedRegisters.find(*as) == assignedRegisters.end() &&
-                   "registers in active list alias each other");
-        }
-    }
-
-    for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();
-         ++i) {
-        unsigned reg = (*i)->reg;
-        if (reg >= MRegisterInfo::FirstVirtualRegister) {
-            reg = v2pMap_.find((*i)->reg)->second;
-        }
-
-        for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as) {
-            assert(assignedRegisters.find(*as) == assignedRegisters.end() &&
-                   "registers in inactive list alias each other");
         }
     }