[LLVMdev] Exit Block Transformation in LoopSimplify

Xin Tong xerox.time.tech at gmail.com
Tue Feb 28 05:33:34 PST 2012

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.


More information about the llvm-dev mailing list