Module `Flambda2_reaper.Global_flow_graph`

type graph

val to_datalog : graph -> Flambda2_datalog.Datalog.database

module Relations : sig ... end

val add_alias : 
  graph ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_use_dep : 
  graph ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_accessor_dep : 
  graph ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  Field.t ->
  base:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_constructor_dep : 
  graph ->
  base:Flambda2_identifiers.Code_id_or_name.t ->
  Field.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_argument_dep : 
  graph ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  Cofield.t ->
  base:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_parameter_dep : 
  graph ->
  base:Flambda2_identifiers.Code_id_or_name.t ->
  Cofield.t ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_propagate_dep : 
  graph ->
  if_used:Flambda2_identifiers.Code_id_or_name.t ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_alias_if_any_source_dep : 
  graph ->
  if_any_source:Flambda2_identifiers.Code_id_or_name.t ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_any_usage : graph -> Flambda2_identifiers.Code_id_or_name.t -> unit

val add_any_source : graph -> Flambda2_identifiers.Code_id_or_name.t -> unit

val add_zero_alloc_source : 
  graph ->
  Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_code_id_my_closure : 
  graph ->
  Flambda2_identifiers.Code_id.t ->
  Flambda2_identifiers.Variable.t ->
  unit

val create : unit -> graph

val add_opaque_let_dependency : 
  graph ->
  to_:Flambda2_bound_identifiers.Bound_pattern.t ->
  from:Flambda2_nominal.Name_occurrences.t ->
  unit

val print_iter_edges : 
  print_edge:
    ((Flambda2_identifiers.Code_id_or_name.t
      * Flambda2_identifiers.Code_id_or_name.t
      * string) ->
      unit) ->
  graph ->
  unit

Module Flambda2_reaper.Global_flow_graph

Module `Flambda2_reaper.Global_flow_graph`