Module `Closure_conversion_aux.Acc`

Used to pipe some data through closure conversion

type closure_info = private {

code_id : Flambda2_identifiers.Code_id.t;
return_continuation : Flambda2_identifiers.Continuation.t;
exn_continuation : Flambda2_terms.Exn_continuation.t;
my_closure : Flambda2_identifiers.Variable.t;
is_purely_tailrec : bool;
slot_offsets_at_definition : Flambda2_simplify_shared.Slot_offsets.t;

}

type t

val create : 
  cmx_loader:Flambda2_cmx.Flambda_cmx.loader ->
  machine_width:Target_system.Machine_width.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val manufacture_symbol_short_name : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t * Linkage_name.t

val declared_symbols : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  (Flambda2_identifiers.Symbol.t * Flambda2_terms.Static_const.t) list

val lifted_sets_of_closures : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  (Flambda2_identifiers.Symbol.t Flambda2_identifiers.Function_slot.Lmap.t
   * Flambda2_terms.Flambda.Set_of_closures.t)
    list

val shareable_constants : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_identifiers.Symbol.t Flambda2_terms.Static_const.Map.t

val code : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Lmap.t

val code_map : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Map.t

val free_names : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_nominal.Name_occurrences.t

val machine_width : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Target_system.Machine_width.t

val seen_a_function : Flambda2_from_lambda.Closure_conversion_aux.Acc.t -> bool

val with_seen_a_function : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  bool ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val add_declared_symbol : 
  symbol:Flambda2_identifiers.Symbol.t ->
  constant:Flambda2_terms.Static_const.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val add_lifted_set_of_closures : 
  symbols:
    Flambda2_identifiers.Symbol.t Flambda2_identifiers.Function_slot.Lmap.t ->
  set_of_closures:Flambda2_terms.Flambda.Set_of_closures.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val add_shareable_constant : 
  symbol:Flambda2_identifiers.Symbol.t ->
  constant:Flambda2_terms.Static_const.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val add_code : 
  code_id:Flambda2_identifiers.Code_id.t ->
  code:Flambda2_terms.Code.t ->
  ?slot_offsets:Flambda2_simplify_shared.Slot_offsets.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val add_free_names : 
  Flambda2_nominal.Name_occurrences.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val remove_var_from_free_names : 
  Flambda2_identifiers.Variable.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val remove_var_opt_from_free_names : 
  Flambda2_identifiers.Variable.t option ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val remove_continuation_from_free_names : 
  Flambda2_identifiers.Continuation.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val mark_continuation_as_untrackable : 
  Flambda2_identifiers.Continuation.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val continuation_known_arguments : 
  cont:Flambda2_identifiers.Continuation.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Env.value_approximation list
    option

val with_free_names : 
  Flambda2_nominal.Name_occurrences.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val eval_branch_free_names : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  f:
    (Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
      Flambda2_from_lambda.Closure_conversion_aux.Acc.t * 'a) ->
  Flambda2_nominal.Name_occurrences.t
  * Flambda2_from_lambda.Closure_conversion_aux.Acc.t
  * 'a

val cost_metrics : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_terms.Cost_metrics.t

val increment_metrics : 
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val with_cost_metrics : 
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val measure_cost_metrics : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  f:
    (Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
      Flambda2_from_lambda.Closure_conversion_aux.Acc.t * 'a) ->
  Flambda2_terms.Cost_metrics.t
  * Flambda2_nominal.Name_occurrences.t
  * Flambda2_from_lambda.Closure_conversion_aux.Acc.t
  * 'a

val slot_offsets : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_simplify_shared.Slot_offsets.t

val code_slot_offsets : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_simplify_shared.Slot_offsets.t Flambda2_identifiers.Code_id.Map.t

val add_offsets_from_code : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_identifiers.Code_id.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val add_set_of_closures_offsets : 
  is_phantom:bool ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_terms.Set_of_closures.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val top_closure_info : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.closure_info option

val push_closure_info : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  return_continuation:Flambda2_identifiers.Continuation.t ->
  exn_continuation:Flambda2_terms.Exn_continuation.t ->
  my_closure:Flambda2_identifiers.Variable.t ->
  is_purely_tailrec:bool ->
  code_id:Flambda2_identifiers.Code_id.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val pop_closure_info : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.closure_info
  * Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val add_symbol_approximation : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_identifiers.Symbol.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Env.value_approximation ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t

val find_symbol_approximation : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_identifiers.Symbol.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Env.value_approximation

val symbol_approximations : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Env.value_approximation
    Flambda2_identifiers.Symbol.Map.t

Module Closure_conversion_aux.Acc

Module `Closure_conversion_aux.Acc`