[PATCH] D22888: Add verifyAnalysis for LCSSA.

[Michael Zolotukhin via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rL276941: Add verifyAnalysis for LCSSA. (authored by mzolotukhin).

Changed prior to commit:
  https://reviews.llvm.org/D22888?vs=65818&id=65835#toc

Repository:
  rL LLVM

https://reviews.llvm.org/D22888

Files:
  llvm/trunk/lib/Transforms/Utils/LCSSA.cpp

Index: llvm/trunk/lib/Transforms/Utils/LCSSA.cpp
===================================================================
--- llvm/trunk/lib/Transforms/Utils/LCSSA.cpp
+++ llvm/trunk/lib/Transforms/Utils/LCSSA.cpp
@@ -315,6 +315,11 @@
   ScalarEvolution *SE;
 
   bool runOnFunction(Function &F) override;
+  void verifyAnalysis() const override {
+    assert(
+        all_of(*LI, [&](Loop *L) { return L->isRecursivelyLCSSAForm(*DT); }) &&
+        "LCSSA form is broken!");
+  };
 
   /// This transformation requires natural loop information & requires that
   /// loop preheaders be inserted into the CFG.  It maintains both of these,


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D22888.65835.patch
Type: text/x-patch
Size: 635 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160727/88792c70/attachment.bin>