Open
Description
In MinOpts codegen the only live state at each IL instruction is expected to be 1) the IL locals, and 2) temps created from spilling IL stack entries. We should be able to use this invariant in runtime async to avoid saving all JIT temps at async suspension points.
Note that 1) above is already assumed for EnC and for OSR, but 2) requires a bit more work (and also some validation that it is actually true, although I expect it to be the case).