https://123dok.net/document/zwv1oneg-validating-register-allocation-and-spilling.html