SpanishPear
commented
2 years ago I think the exact behaviour that Andrew was after was to hide any register not modified after the main: label
In theory that's what "used registers" already does, except for the whole program, not specifically "after main".
Doing all regs modified "before main" I think would be a lot trickier, as you'd have to bind register state to pc and you'd have to add a level of communication between the worker and main thread
Welp, since I can't teach today thought I'd do this instead