Analysis and Representation of Loops

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

• Loop representation
• Loop querying
• Loop manipulation
• Loop-closed SSA form
• Scalar evolutions
• IV analysis on RTL
• Number of iterations analysis
• Data Dependency Analysis