[MLton] property list cleanups

Matthew Fluet fluet@cs.cornell.edu
Thu, 3 Jun 2004 16:57:18 -0400 (EDT)

sweeks      04/06/03 13:19:39

  Modified:    mlton/ssa common-arg.fun
  Eliminated a property-list space leak due to the varInfo property
  being created once per function.  The problem is that globals can
  appear in multiple functions, and hence have many varInfo properties.
  I went for yet a third option, which was to make a single graph for
  the whole program.  Hence, there is only one varInfo property.

This graph doesn't get too big?  It should be "bigger" than the complete
CFG for the program, since it has edges for every variable in every Goto.
OTOH, all of the interprocedural edges are replaced by edges from the
root, so the dominator structure isn't more complicated than the
individual graphs.  But, it still seems like it would be pretty big.