The natural loop of the back edge is defined to be the smallest set of nodes that includes the back edge and has no predecessors outside the set except for the predecessor of the header. Natural loops are the loops for which we find optimizations.
Finding the nodes in a natural loop
FOR every node n, find all m such that n DOM m
FOR every back edge th, i.e., for every arc such that
h DOM t, construct the natural loop:
Send questions and comments to: Karen Lemone