[MLton-devel] C-SSAPRE

[Stephen Weeks]

Y'all might be interested in Tom and Brendan's final report for their
SSAPRE implementation for MLton
	
	http://www-2.cs.cmu.edu/~tom7/ssapre/final.pdf

I looked through it, and the upshot is that they built about 2000
lines of code to implement it, but haven't had time yet to run
benchmarks, make it fast, robust, etc.  They spent a lot of effort
dealing with the problem that MLton's SSA IL doesn't have variable
versions, which the SSAPRE algorithm critically relies on.  They've
made some progress towards a solution, enough so that the optimization
can be done, but there appears to be room for improvement.


-------------------------------------------------------
Enterprise Linux Forum Conference & Expo, June 4-6, 2003, Santa Clara
The only event dedicated to issues related to Linux enterprise solutions
www.enterpriselinuxforum.com

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel