Compiler Optimization, Static Analysis, and Code Generation. Master SSA Form, Dataflow Analysis, Loop Transformations, a