[PM] Relax asserts and always try to reconstruct loop simplify form when
authorChandler Carruth <chandlerc@gmail.com>
Mon, 19 Jan 2015 10:23:00 +0000 (10:23 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Mon, 19 Jan 2015 10:23:00 +0000 (10:23 +0000)
commit2274f74c92286b253a8b2ff627c2cd892e7cb1f8
tree144cce722f7ae69f84b6ebd91b575279cc434f4a
parent04075c619b2d749e80cb2eaaf5ac6ba6a1bba322
[PM] Relax asserts and always try to reconstruct loop simplify form when
we can while splitting critical edges.

The only code which called this and didn't require simplified loops to
be preserved is polly, and the code behaves correctly there anyways.
Without this change, it becomes really hard to share this code with the
new pass manager where things like preserving loop simplify form don't
make any sense.

If anyone discovers this code behaving incorrectly, what it *should* be
testing for is whether the loops it needs to be in simplified form are
in fact in that form. It should always be trying to preserve that form
when it exists.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@226443 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Utils/BreakCriticalEdges.cpp