finished register allocation