I am reading the code for exit block transformation in loop simplify.
I do not fully understand how exit blocks with out-of-loop dominators
are transformed.
In SplitLandingPadPredecessors, all the in-the-loop predecessors of
the exits block are grouped and given to the .loopexit basic block and
the out-of-loop predecessors are grouped and given to the .nonloopexit
basic block. the .loopexit basic block is then returned and replace
the old exitBlock. what happened to the .nonloopexit basic block ? A
diagram/code snippet should really help.
Thanks
