[MLton-devel] eliminating HandlerPush/Pop

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 10 Jan 2003 14:35:03 -0500 (EST)

> MLton2 -- mlton -handlers flow
>   like -handlers simple, but with some simple forward dataflow
>   analysis to eliminate redundant assignments

I take it that the improvement that can be made over -handlers flow is to
hoist the initial SetSlotExnStack earlier than the first hander.  The case
I'm thinking of is an SSA function resulting from something like:

if b then ((f 0) handle Overflow => print "Overflow")
     else ((f 1) handle Subscript => print "Subscript")

where the fact that a new handler needs to be installed means that the
SetSlot needs to be done regardless of the branch and can be done earlier.

This SF.NET email is sponsored by:
SourceForge Enterprise Edition + IBM + LinuxWorld = Something 2 See!
MLton-devel mailing list