[MLton-devel] eliminating HandlerPush/Pop

[Matthew Fluet]

> 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