module Make_graph:
Parameters: |
|
include Dominator.S
typedom_graph =
unit -> t
type
dom_functions = {
|
idom : |
|
idoms : |
|
dom_tree : |
|
dominators : |
|
dom : |
|
sdom : |
|
dom_frontier : |
|
dom_graph : |
val compute_dom_graph : Dominator.G.t -> dom_tree -> Dominator.G.t
val compute_all : Dominator.G.t -> vertex -> dom_functions
This function computes some things eagerly and some lazily, so don't
worry about it doing extra work to compute functions you don't need,
but also don't call it if you aren't going to use anything it returns.
Returns a record containing all dominance functions for the given graph
and entry node.