[MLton] PRE for MLton

Matthew Fluet fluet@cs.cornell.edu
Tue, 18 Apr 2006 09:39:09 -0400 (EDT)


Yes, I've had VanDrunen's papers and thesis on my desk for quite a while 
now.  I definitely think that it is the way to go for PRE in MLton.  I 
know that it has been integrated into GCC, although I don't know about its 
effectiveness.

> Neal Glew pointed me to a CC04 paper on PRE that seems like it might
> be usefully applied to MLton, which lacks a PRE pass in its SSA
> optimizer.  The paper is
>
>  Value-Based Partial Redundancy Elimination
>
> and is available at
>
>  http://www.cs.purdue.edu/homes/hosking/papers.html
>  ftp://ftp.cs.purdue.edu/pub/hosking/papers/a-ssapre.pdf
>
> It looks like this paper might solve the problems that Tom Murphy
> encountered when he tried to apply SSAPRE to MLton.
>
>  http://www-2.cs.cmu.edu/~tom7/ssapre/
>
> _______________________________________________
> MLton mailing list
> MLton@mlton.org
> http://mlton.org/mailman/listinfo/mlton
>