profiling go
Stephen Weeks
MLton@sourcelight.com
Mon, 11 Jun 2001 13:50:07 -0700
> The best solution, IMHO, would really be to change the CPS->Machine
> register allocator so that at each limitCheck, farJump, and prim that
> enters the runtime, it generates a mapping from pseudo-regs to stack
> slots. That way, everything is in pseudo-regs and the codegen would take
> care of moving values to the stack at the right times. (This would be
> nice for limitChecks, I think, because we could set it up so that the
> moves occured after the frontier check; if you didn't need to GC, you
> wouldn't pay for setting up the stack.)
I like this idea. We need the mapping at nontail calls too. This seems almost
too easy!