[MLton] PRE for MLton

Stephen Weeks MLton@mlton.org
Mon, 17 Apr 2006 14:24:13 -0700

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


It looks like this paper might solve the problems that Tom Murphy
encountered when he tried to apply SSAPRE to MLton.