keep track of used and assigned registers for each block
new register allocation generates good looking push/pop