[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
>