都会产生可规约控制流图。若要让控制流图不可规约，需要加上Goto之类的指令。在一些编译器的最佳化过程中，可能会出现不可规约控制流图。
回圈连结度.控制流图的回圈连结度（loop connectedness）是以控制流图的给定深度优先搜索树（DFST）为准。DFST需以启始节点为根，包括控制流图中的所有节点。若控制流图中的边，是从一个节点到DFST中的祖先节点，此边为倒退边。回圈连结度是指控制流图中没有回圈的路径中，可以找到倒退边的最大数量。若是可规约控制流图，回圈连结度和选