Inlined some of the register allocation code