[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)
commitad34d91343bba205397955cc8e3e82f6ad99b2d8
treeec6dcd1c7a7ae637df17cd6c5e497841dc7bafa6
parent6b90356ab455baca180c74ee67282fd40bf2780c
[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.

llvm-svn: 226443
llvm/lib/Transforms/Utils/BreakCriticalEdges.cpp