流图的构造 以所有的基本块为节点集合 有B1到B2的边(B2是B1的后继)当且仅 当: B1的最后一个四元式有条件或无条件地转移 到B2的第一个四元式。 B2是紧紧跟随在B1后面的四元式,且B1的 最后四元式不是无条件转向语句。流图的构造 • 以所有的基本块为节点集合。 • 有B1到B2的边（B2是B1的后继）当且仅 当： – B1的最后一个四元式有条件或无条件地转移 到B2的第一个四元式。 – B2是紧紧跟随在B1后面的四元式，且B1的 最后四元式不是无条件转向语句