[PATCH] D27469: [LoopVersioning] Check if exit block dominates runtime check block.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Making versionLoop() assert that the loop is in loop-simplify form is probably a good idea; versionLoop() is already assuming the loop has a preheader, so it's not much of a stretch.  Granted, I'm not sure how much code needs to be fixed to correctly preserve loop-simplify form; versionLoop() itself doesn't preserve it correctly.


https://reviews.llvm.org/D27469