Added verifyLoop calls

bgogul · bgogul · commit 18d67f93db56 · 2018-11-01T11:57:10.000-07:00
diff --git a/lib/SILOptimizer/Mandatory/TFCanonicalizeCFG.cpp b/lib/SILOptimizer/Mandatory/TFCanonicalizeCFG.cpp
@@ -524,6 +524,14 @@ class SingleExitLoopTransformer {
         DI->recalculate(*transformer.currentFn);
         PDI->recalculate(*transformer.currentFn);
       }
+
+#ifndef NDEBUG
+      {
+        // Verify that the loop is OK after all the transformations.
+        llvm::DenseSet<const SILLoop*> nestedLoops;
+        loop->verifyLoopNest(&nestedLoops);
+      }
+#endif
       return loopChanged;
     }
 

Original file line number	Diff line number	Diff line change
`@@ -524,6 +524,14 @@ class SingleExitLoopTransformer {`
`524`	`524`	`DI->recalculate(*transformer.currentFn);`
`525`	`525`	`PDI->recalculate(*transformer.currentFn);`
`526`	`526`	`}`
	`527`	`+`
	`528`	`+#ifndef NDEBUG`
	`529`	`+ {`
	`530`	`+ // Verify that the loop is OK after all the transformations.`
	`531`	`+ llvm::DenseSet<const SILLoop*> nestedLoops;`
	`532`	`+ loop->verifyLoopNest(&nestedLoops);`
	`533`	`+ }`
	`534`	`+#endif`
`527`	`535`	`return loopChanged;`
`528`	`536`	`}`
`529`	`537`