Beginning of LLVM lowering analyses infrastructure.

The interface still isn't quite right here since the globals and constants
don't get passed around between analysis passes on different functions.
This does begin to flesh out the CFG traversal, though.