[PATCH] D16382: Add LoopSimplifyCFG pass

[escha via llvm-commits]

escha added inline comments.

================
Comment at: lib/Transforms/Scalar/LoopSimplifyCFG.cpp:109
@@ +108,3 @@
+    LI->removeBlock(Pred);
+    MergeBasicBlockIntoOnlyPred(Succ, DT);
+    changed = true;
----------------
sanjoy wrote:
> This is going to `free` `Pred`, right?  Is it possible that `Pred` is after `Succ` in `Blocks` and you'll end up trying to examine a `free`'ed block later?
Ugh, I guess this is possible. How do we avoid this given iterator invalidation issues?


Repository:
  rL LLVM

http://reviews.llvm.org/D16382