[PATCH] D55357: [LoopSimplifyCFG] Do not deal with loops with irreducible CFG inside

[Serguei Katkov via Phabricator via llvm-commits]

skatkov accepted this revision.
skatkov added inline comments.
This revision is now accepted and ready to land.


================
Comment at: lib/Transforms/Scalar/LoopSimplifyCFG.cpp:152
+  bool hasIrreducibleCFG(LoopBlocksDFS &DFS) {
+    // Index of a basic block in RPO traversal.
+    DenseMap<const BasicBlock *, unsigned> RPO;
----------------
I think it makes sense to add an assert
assert(DFS.isComplete() && "DFS is expected to be finished");
here.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D55357/new/

https://reviews.llvm.org/D55357