来自 ChinaUnix Wiki

下一页: Tree SSA, 前一页: RTL, 上一级: GCC Internals 中文翻译

---

13 控制流图

控制流图（CFG）是一个建立在中间代码（RTL或者tree指令流）之上的数据结构，对正在编译的函数的控制流行为的抽象。CFG是一个有向图，顶点表示基本块，边表示从一个基本块到另一个的控制流的可能转换。用来表示控制流图的数据结构定义在basic-block.h中。

• 基本块：基本块的定义和表示。
• 边：边的类型和表示。
• profile信息：频率和概率的表示。
• 维护CFG：保持控制流图的更新。
• 活跃信息：使用和维护活跃信息。