Register spilling avoids equivalence test