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