Continuing Lecture 12

Live-Variable Analysis

Full Employment Theorem for Compiler Writers

Register machines are an alternative to compilation to stack-based machines in Lecture 09; they are closer to modern processors.

ARM Architecture

Register Machine Model in Scala

xyz Example using GCC

Control-Flow Graph to Assembly with Global Variables

Treating Registers as Stack

Register Allocation using Liveness Information

Memory Layout for Compiled Program

Stack Frames and Procedure Calls

Continued in Lecture 14

• Lecture notes on static analysis by Michael Schwartzbach
• Compiler Construction by Niklaus Wirth, chapters 9,10, 11
• Tiger book, Chapters 7-11, 17