infinite loop on array.sml

Stephen Weeks MLton@sourcelight.com
Mon, 5 Nov 2001 17:21:48 -0800


> I put in some print statements and Function.dominatorTree is  looping.
> *scary*.  I will investigate.

Not so scary.  This was a performance bug in validDominators, which is
quadratic.  I propose commenting out the assert in
directed-graph.sml.  With that gone, array.sml passes the
commonSubexpSSA pass fine.