Module `Closure_conversion_aux.Env`

Used to remember which Variable.t values correspond to which Ident.t values during closure conversion, and similarly for static exception identifiers.

type value_approximation =
  Flambda2_terms.Code_or_metadata.t
    Flambda2_classic_mode_types.Value_approximation.t

type t

val create : big_endian:bool -> t

Create an environment marked as being at toplevel.

val set_not_at_toplevel : t -> t

val at_toplevel : t -> bool

val clear_local_bindings : t -> t

val add_var : 
  t ->
  Ident.t ->
  Flambda2_identifiers.Variable.t ->
  Flambda2_kinds.Flambda_kind.With_subkind.t ->
  t

val add_vars : 
  t ->
  Ident.t list ->
  (Flambda2_identifiers.Variable.t * Flambda2_kinds.Flambda_kind.With_subkind.t)
    list ->
  t

val add_var_map : 
  t ->
  (Flambda2_identifiers.Variable.t * Flambda2_kinds.Flambda_kind.With_subkind.t)
    Ident.Map.t ->
  t

val add_var_like : 
  t ->
  Ident.t ->
  IR.user_visible ->
  Flambda2_kinds.Flambda_kind.With_subkind.t ->
  t * Flambda2_identifiers.Variable.t

val add_vars_like : 
  t ->
  (Ident.t
   * Flambda2_identifiers.Flambda_debug_uid.t
   * IR.user_visible
   * Flambda2_kinds.Flambda_kind.With_subkind.t)
    list ->
  t * Flambda2_identifiers.Variable.t list

val find_name : t -> Ident.t -> Flambda2_identifiers.Name.t

val find_name_exn : t -> Ident.t -> Flambda2_identifiers.Name.t

val find_var : 
  t ->
  Ident.t ->
  Flambda2_identifiers.Variable.t * Flambda2_kinds.Flambda_kind.With_subkind.t

val find_var_exn : 
  t ->
  Ident.t ->
  Flambda2_identifiers.Variable.t * Flambda2_kinds.Flambda_kind.With_subkind.t

val find_vars : 
  t ->
  Ident.t list ->
  (Flambda2_identifiers.Variable.t * Flambda2_kinds.Flambda_kind.With_subkind.t)
    list

val add_global : t -> int -> Flambda2_identifiers.Symbol.t -> t

val find_global : t -> int -> Flambda2_identifiers.Symbol.t

val add_simple_to_substitute : 
  t ->
  Ident.t ->
  Flambda2_term_basics.Simple.t ->
  Flambda2_kinds.Flambda_kind.With_subkind.t ->
  t

val add_simple_to_substitute_map : 
  t ->
  (Flambda2_term_basics.Simple.t * Flambda2_kinds.Flambda_kind.With_subkind.t)
    Ident.Map.t ->
  t

val find_simple_to_substitute_exn : 
  t ->
  Ident.t ->
  Flambda2_term_basics.Simple.t * Flambda2_kinds.Flambda_kind.With_subkind.t

val add_var_approximation : 
  t ->
  Flambda2_identifiers.Variable.t ->
  value_approximation ->
  t

val add_block_approximation : 
  t ->
  Flambda2_identifiers.Variable.t ->
  Flambda2_kinds.Tag.Scannable.t ->
  Flambda2_kinds.Flambda_kind.Scannable_block_shape.t ->
  value_approximation array ->
  Flambda2_bound_identifiers.Alloc_mode.For_types.t ->
  t

val find_var_approximation : 
  t ->
  Flambda2_identifiers.Variable.t ->
  value_approximation

val current_depth : t -> Flambda2_identifiers.Variable.t option

val with_depth : t -> Flambda2_identifiers.Variable.t -> t

val current_unit : t -> Compilation_unit.t

val big_endian : t -> bool

val set_path_to_root : t -> Debuginfo.Scoped_location.t -> t

val path_to_root : t -> Debuginfo.Scoped_location.t

val use_inlining_history_tracker : 
  t ->
  Flambda2_terms.Inlining_history.Tracker.t ->
  t

val inlining_history_tracker : t -> Flambda2_terms.Inlining_history.Tracker.t

val relative_history_from_scoped : 
  loc:Debuginfo.Scoped_location.t ->
  t ->
  Flambda2_terms.Inlining_history.Relative.t

Module Closure_conversion_aux.Env

Module `Closure_conversion_aux.Env`