Module `Flambda2_terms.Code`

type t =
  Flambda2_terms.Flambda.Function_params_and_body.t Flambda2_terms.Code0.t

A piece of code, comprising of the parameters and body of a function, together with a field indicating whether the piece of code is a newer version of one that existed previously (and may still exist), for example after a round of simplification.

val code_metadata : Flambda2_terms.Code.t -> Flambda2_terms.Code_metadata.t

val params_and_body : 
  Flambda2_terms.Code.t ->
  Flambda2_terms.Flambda.Function_params_and_body.t

include Flambda2_terms.Code_metadata.Code_metadata_accessors_result_type
  with type 'a t := Flambda2_terms.Code.t

val code_id : Flambda2_terms.Code.t -> Flambda2_identifiers.Code_id.t

val newer_version_of : 
  Flambda2_terms.Code.t ->
  Flambda2_identifiers.Code_id.t option

val params_arity : 
  Flambda2_terms.Code.t ->
  [ `Complex ] Flambda2_kinds.Flambda_arity.t

val param_modes : 
  Flambda2_terms.Code.t ->
  Flambda2_term_basics.Alloc_mode.For_types.t list

val first_complex_local_param : Flambda2_terms.Code.t -> int

val result_arity : 
  Flambda2_terms.Code.t ->
  [ `Unarized ] Flambda2_kinds.Flambda_arity.t

val result_types : 
  Flambda2_terms.Code.t ->
  Flambda2_terms.Result_types.t Flambda2_lattices.Or_unknown_or_bottom.t

val result_mode : Flambda2_terms.Code.t -> Lambda.locality_mode

val stub : Flambda2_terms.Code.t -> bool

val inline : Flambda2_terms.Code.t -> Flambda2_terms.Inline_attribute.t

val zero_alloc_attribute : 
  Flambda2_terms.Code.t ->
  Flambda2_terms.Zero_alloc_attribute.t

val poll_attribute : Flambda2_terms.Code.t -> Flambda2_terms.Poll_attribute.t

val regalloc_attribute : 
  Flambda2_terms.Code.t ->
  Flambda2_terms.Regalloc_attribute.t

val regalloc_param_attribute : 
  Flambda2_terms.Code.t ->
  Flambda2_terms.Regalloc_param_attribute.t

val cold : Flambda2_terms.Code.t -> bool

val is_a_functor : Flambda2_terms.Code.t -> bool

val is_opaque : Flambda2_terms.Code.t -> bool

val recursive : Flambda2_terms.Code.t -> Flambda2_terms.Recursive.t

val cost_metrics : Flambda2_terms.Code.t -> Flambda2_terms.Cost_metrics.t

val inlining_arguments : 
  Flambda2_terms.Code.t ->
  Flambda2_terms.Inlining_arguments.t

val dbg : Flambda2_terms.Code.t -> Debuginfo.t

val is_tupled : Flambda2_terms.Code.t -> bool

val is_my_closure_used : Flambda2_terms.Code.t -> bool

val inlining_decision : 
  Flambda2_terms.Code.t ->
  Flambda2_terms.Function_decl_inlining_decision_type.t

val absolute_history : 
  Flambda2_terms.Code.t ->
  Flambda2_terms.Inlining_history.Absolute.t

val relative_history : 
  Flambda2_terms.Code.t ->
  Flambda2_terms.Inlining_history.Relative.t

val loopify : Flambda2_terms.Code.t -> Flambda2_terms.Loopify_attribute.t

val function_slot_size : Flambda2_terms.Code.t -> int

val create_with_metadata : 
  params_and_body:Flambda2_terms.Flambda.Function_params_and_body.t ->
  free_names_of_params_and_body:Flambda2_nominal.Name_occurrences.t ->
  code_metadata:Flambda2_terms.Code_metadata.t ->
  Flambda2_terms.Code.t

val create : 
  params_and_body:Flambda2_terms.Flambda.Function_params_and_body.t ->
  free_names_of_params_and_body:Flambda2_nominal.Name_occurrences.t ->
  Flambda2_terms.Code.t Flambda2_terms.Code_metadata.create_type

val with_code_id : 
  Flambda2_identifiers.Code_id.t ->
  Flambda2_terms.Code.t ->
  Flambda2_terms.Code.t

val with_params_and_body : 
  params_and_body:Flambda2_terms.Flambda.Function_params_and_body.t ->
  free_names_of_params_and_body:Flambda2_nominal.Name_occurrences.t ->
  cost_metrics:Flambda2_terms.Cost_metrics.t ->
  Flambda2_terms.Code.t ->
  Flambda2_terms.Code.t

val with_newer_version_of : 
  Flambda2_identifiers.Code_id.t option ->
  Flambda2_terms.Code.t ->
  Flambda2_terms.Code.t

val print : Stdlib.Format.formatter -> Flambda2_terms.Code.t -> unit

include Flambda2_nominal.Contains_names.S with type t := Flambda2_terms.Code.t

val free_names : Flambda2_terms.Code.t -> Flambda2_nominal.Name_occurrences.t

Compute the free names of a term. Such computation covers all kinds of bindable names (variables, continuations, ...)

val apply_renaming : 
  Flambda2_terms.Code.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_terms.Code.t

Apply a renaming throughout a term.

val ids_for_export : Flambda2_terms.Code.t -> Flambda2_nominal.Ids_for_export.t

val map_result_types : 
  Flambda2_terms.Code.t ->
  f:(Flambda2_types.t -> Flambda2_types.t) ->
  Flambda2_terms.Code.t

val free_names_of_params_and_body : 
  Flambda2_terms.Code.t ->
  Flambda2_nominal.Name_occurrences.t

Module Flambda2_terms.Code

Module `Flambda2_terms.Code`