Question

由前端构造的控制流向图(control flow graph) 没有关于高级语言控制结构的信息，比如 if..then..elses 和 while() 循环。这样图通过一个结构化算法能够被转换成一个结构化的高级语言图。在图中检测高级控制结构，并且在图中粘贴控制结构子图。这个阶段与数据流分析阶段和后端的关系见图 6-1 所示。

图 6-1: 控制流分析阶段的上下文

一个一般化的高级控制结构集合（类集) 被用于把图结构化。这个集合应该具有足够的一般性，以迎合普遍使用的语言中可能的各种不同的控制结构，比如 C、Pascal、Modula-2 和 Fortran。这类结构应该包括不同类型的循环和条件。因为图所隐含的结构没有被修改，所以这个方法无损其功能和语义。