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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10570 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/CodeGen/RegAllocLinearScan.cpp b/lib/CodeGen/RegAllocLinearScan.cpp
index 9538e0418de4cab54ae6c3eaddf4ee07340c7679..ad6a2365be35494b9d7bd7175c89dd73daf55a9d 100644 (file)
--- a/lib/CodeGen/RegAllocLinearScan.cpp
+++ b/lib/CodeGen/RegAllocLinearScan.cpp
@@ -263,8 +263,6 @@ bool RA::runOnMachineFunction(MachineFunction &fn) {
             DEBUG(printFreeRegs("\tfree registers", rc));
         }
 
-        //assert(verifyIntervals());
-
         processActiveIntervals(i);
         processInactiveIntervals(i);
         
@@ -404,56 +402,6 @@ bool RA::runOnMachineFunction(MachineFunction &fn) {
     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");
-        }
-    }
-
-    return true;
-}
-
 void RA::processActiveIntervals(Intervals::const_iterator cur)
 {
     DEBUG(std::cerr << "\tprocessing active intervals:\n");