1Checks that the register allocator does not punish other 2blocks because one block forced spilling. The block that 3forces the spilling should restore the registers at the merge 4point. 5