- graph->ssa-graph:procedure
Computes the dominance frontiers of the nodes in the graph, and returns the list of nodes augmented with this information.
Computes the dominance frontiers of the nodes in the graph, and returns the list of nodes augmented with this information.