commit c2b9227cae24903e1250d5f3320c9e85c2f9f003
author Philip Reames <listmail@philipreames.com> Thu Feb 18 09:08:56 2021 -0800
committer Copybara-Service <copybara-worker@google.com> Fri Feb 19 03:35:55 2021 -0800
tree 3cc2ba8d578f8e7a886b0a4819c09f0f614090e7
parent 21af6c752d7e383e021c73eb034294bef55885f9

[verify-regalloc] Verify after allocation and before postOptimization

I've now hit several cases where a mistake in the regalloc main loop caused corrupt live intervals that didn't get caught until either the next verify or during post-optimization.  The later case is rather confusing and tends to lead one down false trails, so let's catch corruption before that.

GitOrigin-RevId: 13753808f4e990089bf34ff44474e85cc3e6e775

lib/CodeGen/RegAllocGreedy.cpp

diff --git a/lib/CodeGen/RegAllocGreedy.cpp b/lib/CodeGen/RegAllocGreedy.cpp
index a8c6c20..577e232 100644
--- a/lib/CodeGen/RegAllocGreedy.cpp
+++ b/lib/CodeGen/RegAllocGreedy.cpp
@@ -3256,6 +3256,9 @@
 
   allocatePhysRegs();
   tryHintsRecoloring();
+
+  if (VerifyEnabled)
+    MF->verify(this, "Before post optimization");
   postOptimization();
   reportNumberOfSplillsReloads();