Various bits of the code generator need dominator information. The register allocator wants loop depth to compute spill weight, and future phi elimination stuff need dominator information. Currently we look back at the LLVM CFG, but this doesn't work well for multiple reasons (there is a many to one mapping from llvm bb to MBBs, MBB edges can get deleted, etc). -Chris
From dominators, we would build natural loop info.
Owen implemented this.