Module `Flambda2_simplify.Dominator_graph`

module G : 
  Strongly_connected_components.S with module Id := Flambda2_term_basics.Simple

type t = {

required_names : Flambda2_identifiers.Name.Set.t;
params_kind : Flambda2_kinds.Flambda_kind.With_subkind.t Flambda2_identifiers.Variable.Map.t;
graph : Flambda2_simplify.Dominator_graph.G.directed_graph;
dominator_roots : Flambda2_term_basics.Simple.Set.t;

}

An internal type for the data_flow graph

type alias_map =
  Flambda2_term_basics.Simple.t Flambda2_identifiers.Variable.Map.t

val create : 
  required_names:Flambda2_identifiers.Name.Set.t ->
  return_continuation:Flambda2_identifiers.Continuation.t ->
  exn_continuation:Flambda2_identifiers.Continuation.t ->
  Flambda2_simplify.Flow_types.Continuation_info.t
    Flambda2_identifiers.Continuation.Map.t ->
  Flambda2_simplify.Dominator_graph.t

Create the data flow graph

val dominator_analysis : 
  Flambda2_simplify.Dominator_graph.t ->
  Flambda2_simplify.Dominator_graph.alias_map

val aliases_kind : 
  Flambda2_simplify.Dominator_graph.t ->
  Flambda2_simplify.Dominator_graph.alias_map ->
  Flambda2_kinds.Flambda_kind.t Flambda2_identifiers.Variable.Map.t

module Dot : sig ... end

Module Flambda2_simplify.Dominator_graph

Module `Flambda2_simplify.Dominator_graph`