using dominators in SSA optimizations
Matthew Fluet
Matthew Fluet <fluet@CS.Cornell.EDU>
Thu, 8 Nov 2001 19:21:58 -0500 (EST)
> > I like the dominatorTree stuff because it is so easy to write
> > recursive functions over trees -- so maybe we need some abstraction
> > for dfs of SSA function cfg's.
>
> Agreed. Add val Function.dfsTree : Function.t -> Block.t Tree.t?
I added this; it works identically to dominatorsTree, except invokes
DirectedGraph.dfsTree, which does the obvious thing, giving you a dfsTree
from exactly one root.
I'll switched over the uses of dominatorsTree to dfsTree in inline,
local-flatten, loop-invariant, etc.
I'm off for the evening.