- Promotes local variables to virtual registers (enables more optimizations)