Linear-scan register allocation
