[MLton] property list cleanups
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.