[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!
http://www.vasoftware.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel