gccint: Loop Analysis and Representation

1 
1 16 Analysis and Representation of Loops
1 ***************************************
1 
1 GCC provides extensive infrastructure for work with natural loops, i.e.,
1 strongly connected components of CFG with only one entry block.  This
1 chapter describes representation of loops in GCC, both on GIMPLE and in
1 RTL, as well as the interfaces to loop-related analyses (induction
1 variable analysis and number of iterations analysis).
1 

Menu

1 
· Loop representation         Representation and analysis of loops.
· Loop querying               Getting information about loops.
· Loop manipulation           Loop manipulation functions.
· LCSSA                       Loop-closed SSA form.
· Scalar evolutions           Induction variables on GIMPLE.
· loop-iv                     Induction variables on RTL.
· Number of iterations        Number of iterations analysis.
· Dependency analysis         Data dependency analysis.
1