From 4de1fefd7cb973003799c949e9c4fd8d7150d856 Mon Sep 17 00:00:00 2001
From: Alkis Evlogimenos <alkis@evlogimenos.com>
Date: Sun, 21 Dec 2003 20:41:26 +0000
Subject: [PATCH] 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
---
 lib/CodeGen/RegAllocLinearScan.cpp | 52 ------------------------------
 1 file changed, 52 deletions(-)

diff --git a/lib/CodeGen/RegAllocLinearScan.cpp b/lib/CodeGen/RegAllocLinearScan.cpp
index 9538e0418de..ad6a2365be3 100644
--- 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");
-- 
2.34.1