What all blocks does Block 3 & Block 5 dominate in the Flow graph for the TAC given in the passage?
1.Block 3:3 ; Block 5:5 ✓ Correct
2.Block 3:3, 4, 5, 6; Block 5: 5, 6
3. Block 3:3, 7 ; Block 5: 5,7
4.Block 3: 3, 4, 7 ; Block 5:5, 6, 7
Solution
1) Basic Blocks (leaders & grouping)
- B1: 100–102
- B2: 103
- B3: 104
- B4: 105
- B5: 106
- B6: 107–110
- B7: 111–112
2) Control-Flow Edges

- B1 → B2
- B2 → B3 (103 false), B2 → B4 (103 true)
- B3 → B7
- B4 → B5 (105 false), B4 → B6 (105 true)
- B5 → B7
- B6 → B2 (loop back)
3) Dominator Sets (entry = B1)
| Block |
Dom(Set) |
| B1 |
{B1} |
| B2 |
{B1, B2} |
| B3 |
{B1, B2, B3} |
| B4 |
{B1, B2, B4} |
| B5 |
{B1, B2, B4, B5} |
| B6 |
{B1, B2, B4, B6} |
| B7 |
{B1, B2, B7} |
Interpretation: A block X dominates block Y if every path from entry (B1) to Y goes through X.
4) What does each dominate?
| Block |
Blocks dominated |
Reason |
| B3 |
{B3} |
There exists a path to B7 that avoids B3 (B1→B2→B4→B5→B7), so B3 cannot dominate anything except itself. |
| B5 |
{B5} |
There exists a path to B7 that avoids B5 (B1→B2→B3→B7), hence B5 only dominates itself. |
Final Answer: Block 3 → {3}; Block 5 → {5}