Fix RA::verifyAssignment()

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

diff --git a/lib/CodeGen/RegAllocLinearScan.cpp b/lib/CodeGen/RegAllocLinearScan.cpp
index a1d9a116de7d98a76fc8d4eca50f6e94d7eb8aeb..67adeb5e7eb59126faef176e1b4ed113385385e0 100644 (file)
--- a/lib/CodeGen/RegAllocLinearScan.cpp
+++ b/lib/CodeGen/RegAllocLinearScan.cpp
@@ -210,13 +210,17 @@ namespace {
         void verifyAssignment() const {
             for (Virt2PhysMap::const_iterator i = v2pMap_.begin(),
                      e = v2pMap_.end(); i != e; ++i)
-                for (Virt2PhysMap::const_iterator i2 = i; i2 != e; ++i2)
-                    if (mri_->areAliases(i->second, i2->second)) {
+                for (Virt2PhysMap::const_iterator i2 = next(i); i2 != e; ++i2)
+                    if (MRegisterInfo::isVirtualRegister(i->second) &&
+                        (i->second == i2->second ||
+                         mri_->areAliases(i->second, i2->second))) {
                         const LiveIntervals::Interval
                             &in = li_->getInterval(i->second),
                             &in2 = li_->getInterval(i2->second);
-                        assert(!in.overlaps(in2) &&
-                               "overlapping intervals for same register!");
+                        if (in.overlaps(in2)) {
+                            std::cerr << in << " overlaps " << in2 << '\n';
+                            assert(0);
+                        }
                     }
         }
     };