contification

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 24 Oct 2001 17:16:54 -0400 (EDT)


> I think that the right solution is to re-introduce HandlerPush and
> HandlerPop, for the purposes of the paper, so that we can use the
> handler info from the source program, and easily propagate it.  All
> SSA optimizations just need to preserve Push and Pop, and will never
> see Set and friends.

I would still like to keep explicit handler fields in non-tail calls.
That's essential now for the way contification works (not to mention all
the stub's in backend).  This shouldn't be a problem, we can push and pop
without making any non-tail calls that use the handler.