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