[LoopDeletion] Require loop to have a predecessor when executing 1st iteration symbol...
authorMax Kazantsev <mkazantsev@azul.com>
Tue, 22 Jun 2021 05:10:58 +0000 (12:10 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Tue, 22 Jun 2021 05:20:55 +0000 (12:20 +0700)
commit575253887bccb8732b901608dabcec3d60324cf0
tree397bf3dfa55e96bdf0ee6148c4a2908d0234a571
parent1c7b84108861ac92fb353891e7e4c747b6ea9f28
[LoopDeletion] Require loop to have a predecessor when executing 1st iteration symbolically

Two predecessors break the further logic, and the loop may come to the
opt in non-canonicalized state.
llvm/lib/Transforms/Scalar/LoopDeletion.cpp
llvm/test/Transforms/LoopDeletion/two-predecessors.ll [new file with mode: 0644]