Control Flow Graph
কন্ট্রোল ফ্লো গ্রাফ
Basic block (linear instruction চলার এক unit) node, jump edge — program-এর 'কোথা থেকে কোথায় যেতে পারে' map; সব dataflow analysis-এর base graph।
also: CFG
entry
│
[cond?]
↙ ↘
[body] [exit]
↖ ↙ ← back edge = loop
[join]- Basic block: এক entry (শুরুতে), এক exit (শেষে) — ভেতরে jump নেই
- Dataflow equations block-boundary-তে solve হয়: liveness (backward), reaching definitions (forward)
- Dominator tree, loop detection (back edge), irreducible control flow — optimization legality-র ভিত্তি
- Dead block unreachable from entry — DCE সরাসরি graph reachability