Module `Function_decls.Function_decl`

type unboxing_kind =

| Fields_of_block_with_tag_zero of Flambda2_kinds.Flambda_kind.With_subkind.t list
| Unboxed_number of Flambda2_kinds.Flambda_kind.Boxable_number.t
| Unboxed_float_record of int

type calling_convention =

| Normal_calling_convention
| Unboxed_calling_convention of Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.unboxing_kind option list * Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.unboxing_kind option * Flambda2_identifiers.Function_slot.t

type t

type param = {

name : Ident.t;
debug_uid : Flambda2_identifiers.Flambda_debug_uid.t;
kind : Flambda2_kinds.Flambda_kind.With_subkind.t;
attributes : Lambda.parameter_attribute;
mode : Lambda.locality_mode;

}

val create : 
  let_rec_ident:Ident.t option ->
  let_rec_uid:Flambda2_identifiers.Flambda_debug_uid.t ->
  function_slot:Flambda2_identifiers.Function_slot.t ->
  kind:Lambda.function_kind ->
  params:
    Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.param
      list ->
  params_arity:[ `Complex ] Flambda2_kinds.Flambda_arity.t ->
  removed_params:Ident.Set.t ->
  return:[ `Unarized ] Flambda2_kinds.Flambda_arity.t ->
  calling_convention:
    Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.calling_convention ->
  return_continuation:Flambda2_identifiers.Continuation.t ->
  exn_continuation:
    Flambda2_from_lambda.Closure_conversion_aux.IR.exn_continuation ->
  my_region:Ident.t option ->
  my_ghost_region:Ident.t option ->
  body:
    (Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
      Flambda2_from_lambda.Closure_conversion_aux.Env.t ->
      Flambda2_from_lambda.Closure_conversion_aux.Acc.t
      * Flambda2_terms.Flambda.Import.Expr.t) ->
  attr:Lambda.function_attribute ->
  loc:Lambda.scoped_location ->
  free_idents_of_body:Ident.Set.t ->
  Flambda2_terms.Recursive.t ->
  closure_alloc_mode:Lambda.locality_mode ->
  first_complex_local_param:int ->
  result_mode:Lambda.locality_mode ->
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t

val let_rec_ident : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Ident.t

val let_rec_debug_uid : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Flambda2_identifiers.Flambda_debug_uid.t

val function_slot : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Flambda2_identifiers.Function_slot.t

val kind : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.function_kind

val params : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.param
    list

val params_arity : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  [ `Complex ] Flambda2_kinds.Flambda_arity.t

val return : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  [ `Unarized ] Flambda2_kinds.Flambda_arity.t

val calling_convention : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.calling_convention

val return_continuation : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Flambda2_identifiers.Continuation.t

val exn_continuation : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Flambda2_from_lambda.Closure_conversion_aux.IR.exn_continuation

val my_region : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Ident.t option

val my_ghost_region : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Ident.t option

val body : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Env.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t
  * Flambda2_terms.Flambda.Import.Expr.t

val inline : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.inline_attribute

val specialise : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.specialise_attribute

val poll_attribute : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.poll_attribute

val regalloc_attribute : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.regalloc_attribute

val regalloc_param_attribute : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.regalloc_param_attribute

val cold : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  bool

val loop : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.loop_attribute

val is_a_functor : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  bool

val is_opaque : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  bool

val zero_alloc_attribute : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.zero_alloc_attribute

val stub : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  bool

val loc : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.scoped_location

val recursive : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Flambda2_terms.Recursive.t

val closure_alloc_mode : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.locality_mode

val first_complex_local_param : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  int

val result_mode : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Lambda.locality_mode

val free_idents : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t ->
  Ident.Set.t

Module Function_decls.Function_decl

Module `Function_decls.Function_decl`