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 : 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 ->
  Flow_types.Continuation_info.t Flambda2_identifiers.Continuation.Map.t ->
  t

Create the data flow graph

val dominator_analysis : t -> alias_map

val aliases_kind : 
  t ->
  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`