Courses

# Loops In Flow Graph Computer Science Engineering (CSE) Notes | EduRev

## Computer Science Engineering (CSE) : Loops In Flow Graph Computer Science Engineering (CSE) Notes | EduRev

The document Loops In Flow Graph Computer Science Engineering (CSE) Notes | EduRev is a part of the Computer Science Engineering (CSE) Course Compiler Design.
All you need of Computer Science Engineering (CSE) at this link: Computer Science Engineering (CSE)

4. LOOPS IN FLOW GRAPH

A graph representation of three-address statements, called a flow graph, is useful for understanding code-generation algorithms, even if the graph is not explicitly constructed by a codegeneration algorithm. Nodes in the flow graph represent computations, and the edges represent the flow of control.

4.1 Dominators:

In a flow graph, a node d dominates node n, if every path from initial node of the flow graph to n goes through d. This will be denoted by d dom n. Every initial node dominates all the remaining nodes in the flow graph and the entry of a loop dominates all nodes in the loop. Similarlyeverynode dominates itself.

Example:

*In the flow  graph below, *Initial node,node1 dominates every node. *node 2 dominates itself *node 3 dominates all but 1 and
2. *node 4 dominates all but 1,2 and 3.

*node 5 and 6 dominates only themselves,since flow of control can skip around either by goin through the other.
*node 7 dominates 7,8 ,9 and 10. *node 8 dominates  8,9 and 10. *node 9 and 10 dominates only themselves.
*node 9 and 10 dominates only themselves. • The way of presenting dominator information is in a tree, called the dominator tree in which the initial node is the root.
• The parent of each other node is its immediate dominator.
• Each node d dominates only its descendents in the tree.
• The existence of dominator tree follows from a property of dominators; each node has a unique immediate dominator in that is the last dominator of n on any path from the initial node to n.
•  In terms of the dom relation, the immediate dominator m has the property is d=!n and d dom n, then d dom m. D(1)={1}
D(2)={1,2}
D(3)={1,3}
D(4)={1,3,4}
D(5)={1,3,4,5}
D(6)={1,3,4,6}
D(7)={1,3,4,7}
D(8)={1,3,4,7,8}
D(9)={1,3,4,7,8,9}
D(10)={1,3,4,7,8,10}

4.2Natural Loop:

•  One application of dominator information is in determining the loops of a flow graph suitable for improvement.
•  The properties of loops are

o A loop must have a single entry point, called the header. This entry point-dominates all nodes in the loop, or it would not be the sole entry to the loop.
o There must be at least one wayto iterate the loop(i.e.)at least one path back to the header.

•  One way to find all the loops in a flow graph is to search for edges in the flow graph whose heads dominate their tails. If a→b is an edge, b is the head and a is the tail. These types of edges are called as back edges.

Example:
In the above graph,
→ 47                    4 DOM 7
→70                    7 DOM 10

→ 34

→ 38

9 →1

• · The above  edges will form loop in flow graph.
• · Given a back edge n → d, we define the natural loop of the edge to be d plus the set of nodes that can reach n without going through d. Node d is the header of the loop.

Algorithm: Constructing the natural loop of a back edge.
Input: A flow graph G and a back edge n→d

Output: The set loop consisting of all nodes in the natural loop n→d.
Method: Beginning with node n, we consider each node m*d that we know is in loop, to make sure that m’s predecessors are also placed in loop. Each node in loop, except for d, is placed once on stack, so its predecessors will be examined. Note that because d is put in the loop initially, we never examine its predecessors, and thus find only those nodes that reach n without going through d.
Procedure insert(m); if m is not in loop then begin loop := loop U {m}; push m onto stack end;

stack : =empty; loop : ={d}; insert(n); while stack is not empty do begin

pop m, the first element of stack, off stack; for each predecessor p of m do insert(p)
end Inner

5.LOOP:

• If we use the natural loops as “the loops”, then we have the useful property that unless two loops have the same header, they are either disjointed or one is entirely contained in the other. Thus, neglecting loops with the same header for the moment, we have a natural notion of inner loop: one that contains no other loop.

· When two natural loops have the same header, but neither is nested within the other, they are combined and treated as a single loop.

•  Several transformations require us to move statements “before the header”. Therefore begin treatment of a loop L by creating a new block, called the preheater.
• Edges  from inside loop L to the header are not changed. 5.2Reducible flow graphs:

• Reducible flow graphs are special flow graphs, for which several code optimization transformations are especially easy to perform, loops are unambiguously defined, dominators can be easily calculated, data flow analysis problems can also be solved efficiently.
• Exclusive use of structured flow-of-control statements such as if-then-else, while-do, continue, and break statements produces programs whose flow graphs are always reducible. The most important properties of reducible flow graphs are that there are no jumps into the middle of loops from outside; the only entry to a loop is through its header.

•  Definition:

• A flow graph G is reducible if and only if we can partition the edges into two disjoint groups, forward edges and back edges, with the following properties.

• The forward edges from an acyclic graph in which every node can be reached from initial node of G.

• The back edges consist only of edges where heads dominate theirs tails.

•  Example: The above flow graph is reducible.

•  If we know the relation DOM for a flow graph, we can find and remove all the back edges.

• The remaining edges are forward edges.

•  If the forward edges form an acyclic graph, then we can say the flow graph reducible.

•  In the above example remove the five back edges 4→3, 7→4, 8→3, 9→1 and 10→7 whose heads dominate their tails, the remaining graph is acyclic.

• The key property of reducible flow graphs for loop analysis is that in such flow graphs every set of nodes that we would informally regard as a loop must contain a back edge.

Offer running on EduRev: Apply code STAYHOME200 to get INR 200 off on our premium plan EduRev Infinity!

## Compiler Design

16 videos|44 docs|29 tests

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

;