[LLVMdev] Exit Block Transformation in LoopSimplify

[Xin Tong]

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