| GNU Compiler Collection (GCC) Internals: Loop Analysis and Representation |
|---|
Next: Machine Desc, Previous: Control Flow, Up: Top [Contents][Index]
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: | 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. |