Module `Flambda2_simplify.Data_flow_graph`

type t

An internal type for the data_flow graph

val print : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Data_flow_graph.t ->
  unit

Printing function

val create : 
  return_continuation:Flambda2_identifiers.Continuation.t ->
  exn_continuation:Flambda2_identifiers.Continuation.t ->
  code_age_relation:Flambda2_types.Code_age_relation.t ->
  used_value_slots:
    Flambda2_nominal.Name_occurrences.t Flambda2_lattices.Or_unknown.t ->
  code_ids_to_never_delete:Flambda2_identifiers.Code_id.Set.t ->
  Flambda2_simplify.Flow_types.Continuation_info.t
    Flambda2_identifiers.Continuation.Map.t ->
  Flambda2_simplify.Data_flow_graph.t

Create the data flow graph

val required_names : 
  Flambda2_simplify.Data_flow_graph.t ->
  Flambda2_simplify.Flow_types.Data_flow_result.t

Run the required names analysis

Module Flambda2_simplify.Data_flow_graph

Module `Flambda2_simplify.Data_flow_graph`