Algorithm 4.2 May-Forward-Analysis-Worklist

Input: CFG ( $kill_B$ and $gen_B$ computed for each basic block $B$ )

Output: $IN[B]$ and $OUT[B]$ for each basic block $B$

1: $OUT[ENTRY] = \empty$

2:for each basic block $B\in V(CFG) - \{ENTRY\}$ do

3: $OUT[B] = \empty$

4:end for

5:Let $Worklist$ be a Set of all basic blocks.

6:while $Worklist$ is not empty do

7:Pick a basic block $B$ from $Worklist$ .

8: $temp = OUT[B]$

9: $IN[B] = \bigcup\limits_{P\in pre(B)} OUT[P]$

10: $OUT[B] = gen_B\cup (IN[B] - kill_B)$

11:if $temp \ne OUT[B]$ then

12:Add all successors of $B$ to $Worklist$ .

13:end if

14:end while