Basic Blocks

Building a Flow Graph

Techniques for Building Flow Graphs

Data Structures for Building Control Flow Graphs

DAGs

Data Structures for a DAG

Benefits of DAGs

8.5 Control Flow Analysis

Control flow analysis proceeds in two steps: (1) determine the basic blocks -- sequences of straight-line code and (2) build a flow graph by taking branches into account.