时，M可能是空的，但在经过，M就会慢慢增加。M称为回圈前首标（loop pre-header），而M为新的回圈首标。
可规约性.可规约控制流图（reducible CFG）是指边可以分为前进边及倒退边二个不交集，因此：结构化编程程式语言常会设计让产生的所有控制流图都是可规约控制流图，常见的流程控制指令 (例如IF、FOR、WHILE、BREAK、CONTINUE）都会产生可规约控制流图。若要让控制流图不可规约，需要加上Goto之类的指令。在一些编译器的最佳化过程中，可能会出现