Dataflow analysis: iterative algorithms for code optimization

Here we'll consider a collection of different metrics that can be computed using iterative dataflow analysis on control flow graphs. This will include computation of dominating sets, liveout sets, expression availability, definitions reaching a node, and names potentially modified by a subroutine.