https://123dok.net/document/y9gg8xdq-register-allocation-and-spill-complexity-under-ssa.html