Module `Flambda2_simplify.Upwards_acc`

type t

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

Print a upwards accumulator to a formatter.

val create : 
  flow_result:Flambda2_simplify.Flow_types.Flow_result.t ->
  compute_slot_offsets:bool ->
  Flambda2_simplify.Upwards_env.t ->
  Flambda2_simplify.Downwards_acc.t ->
  Flambda2_simplify.Upwards_acc.t

val creation_dacc : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Downwards_acc.t

val uenv : Flambda2_simplify.Upwards_acc.t -> Flambda2_simplify.Upwards_env.t

Extract the environment component of the given upwards accumulator.

val cost_metrics : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_terms.Cost_metrics.t

val code_age_relation : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_types.Code_age_relation.t

val lifted_constants : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Lifted_constant_state.t

Return the lifted constants that still need to be placed (i.e. have Let-expressions made for them) on the upwards traversal.

val get_and_clear_lifted_constants : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Upwards_acc.t * Flambda2_simplify.Lifted_constant_state.t

val with_lifted_constants : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Lifted_constant_state.t ->
  Flambda2_simplify.Upwards_acc.t

Replace the accumulator of lifted constants.

val no_lifted_constants : Flambda2_simplify.Upwards_acc.t -> bool

val add_lifted_constant : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Lifted_constant.t ->
  Flambda2_simplify.Upwards_acc.t

val map_uenv : 
  Flambda2_simplify.Upwards_acc.t ->
  f:(Flambda2_simplify.Upwards_env.t -> Flambda2_simplify.Upwards_env.t) ->
  Flambda2_simplify.Upwards_acc.t

Map the environment component of the given upwards accumulator.

val with_uenv : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Upwards_env.t ->
  Flambda2_simplify.Upwards_acc.t

Replace the environment component of the given upwards accumulator.

val remember_code_for_cmx : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Map.t ->
  Flambda2_simplify.Upwards_acc.t

val all_code : Flambda2_simplify.Upwards_acc.t -> Flambda2_cmx.Exported_code.t

val shareable_constants : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_identifiers.Symbol.t Flambda2_terms.Static_const.Map.t

val name_occurrences : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_nominal.Name_occurrences.t

val with_name_occurrences : 
  Flambda2_simplify.Upwards_acc.t ->
  name_occurrences:Flambda2_nominal.Name_occurrences.t ->
  Flambda2_simplify.Upwards_acc.t

val clear_name_occurrences : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Upwards_acc.t

val add_free_names : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_nominal.Name_occurrences.t ->
  Flambda2_simplify.Upwards_acc.t

val used_value_slots : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_nominal.Name_occurrences.t

Note that this only includes uses of value slots in projections.

val remove_all_occurrences_of_free_names : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_nominal.Name_occurrences.t ->
  Flambda2_simplify.Upwards_acc.t

val clear_cost_metrics : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Upwards_acc.t

val with_cost_metrics : 
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Upwards_acc.t

val add_cost_metrics : 
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Upwards_acc.t

val add_cost_metrics_and_with_name_occurrences : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_terms.Cost_metrics.t ->
  Flambda2_nominal.Name_occurrences.t ->
  Flambda2_simplify.Upwards_acc.t

This function exists as an optimisation to reduce allocation.

val notify_added : 
  code_size:Flambda2_terms.Code_size.t ->
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Upwards_acc.t

val notify_removed : 
  operation:Flambda2_terms.Removed_operations.t ->
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Upwards_acc.t

val generate_phantom_lets : Flambda2_simplify.Upwards_acc.t -> bool

val are_rebuilding_terms : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify_shared.Are_rebuilding_terms.t

val is_demoted_exn_handler : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_identifiers.Continuation.t ->
  bool

val slot_offsets : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify_shared.Slot_offsets.t Flambda2_lattices.Or_unknown.t

val with_slot_offsets : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify_shared.Slot_offsets.t Flambda2_lattices.Or_unknown.t ->
  Flambda2_simplify.Upwards_acc.t

val required_names : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_identifiers.Name.Set.t

val reachable_code_ids : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Flow_types.Reachable_code_ids.t
    Flambda2_lattices.Or_unknown.t

val continuation_param_aliases : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Flow_types.Alias_result.t

val mutable_unboxing_result : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Flow_types.Mutable_unboxing_result.t

val set_resimplify : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_simplify.Upwards_acc.t

val resimplify : Flambda2_simplify.Upwards_acc.t -> bool

val specialization_map : 
  Flambda2_simplify.Upwards_acc.t ->
  Flambda2_identifiers.Continuation.t
    Flambda2_identifiers.Continuation_callsite_map.t

Module Flambda2_simplify.Upwards_acc

Module `Flambda2_simplify.Upwards_acc`