Tutorial 3 Dataflow Analysis

Handout: [Overleaf]

TL'DR

• Dataflow Analysis Case Studies:
  • Available Expressions
  • Dominators
  • Constant Propagation
• Dataflow Analysis Solutions: $\mathrm{FP}\le \mathrm{MFP}\le \mathrm{MOP}\le \mathrm{Perfect}$