Module `Closure_conversion_aux.IR`

type simple =

| Var of Ident.t
| Const of Lambda.structured_constant

type exn_continuation = {

exn_handler : Flambda2_identifiers.Continuation.t;
extra_args : (Flambda2_from_lambda.Closure_conversion_aux.IR.simple * Flambda2_identifiers.Flambda_debug_uid.t * Flambda2_kinds.Flambda_kind.With_subkind.t) list;

}

type trap_action =

| Push of {
1. exn_handler : Flambda2_identifiers.Continuation.t;
}
| Pop of {
1. exn_handler : Flambda2_identifiers.Continuation.t;
}

type user_visible =

| User_visible
| Not_user_visible

type named =

| Simple of Flambda2_from_lambda.Closure_conversion_aux.IR.simple
| Get_tag of Ident.t
| Begin_region of {
1. ghost : bool;
2. is_try_region : bool;
3. parent_region : Ident.t option;
}
| End_region of {
1. is_try_region : bool;
2. region : Ident.t;
3. ghost : bool;
}
(*
Begin_region and End_region are needed because these primitives don't exist in Lambda
*)
| Prim of {
1. prim : Lambda.primitive;
2. args : Flambda2_from_lambda.Closure_conversion_aux.IR.simple list list;
3. loc : Lambda.scoped_location;
4. exn_continuation : Flambda2_from_lambda.Closure_conversion_aux.IR.exn_continuation option;
5. region : Ident.t option;
6. ghost_region : Ident.t option;
}

type apply_kind =

| Function
| Method of {
1. kind : Lambda.meth_kind;
2. obj : Flambda2_from_lambda.Closure_conversion_aux.IR.simple;
}

type apply = {

kind : Flambda2_from_lambda.Closure_conversion_aux.IR.apply_kind;
func : Ident.t;
args : Flambda2_from_lambda.Closure_conversion_aux.IR.simple list;
continuation : Flambda2_identifiers.Continuation.t;
exn_continuation : Flambda2_from_lambda.Closure_conversion_aux.IR.exn_continuation;
loc : Lambda.scoped_location;
region_close : Lambda.region_close;
inlined : Lambda.inlined_attribute;
probe : Lambda.probe;
mode : Lambda.locality_mode;
region : Ident.t option;
ghost_region : Ident.t option;
args_arity : [ `Complex ] Flambda2_kinds.Flambda_arity.t;
return_arity : [ `Unarized ] Flambda2_kinds.Flambda_arity.t;

}

type switch = {

numconsts : int;
consts : (int * Flambda2_identifiers.Continuation.t * Debuginfo.t * Flambda2_from_lambda.Closure_conversion_aux.IR.trap_action option * Flambda2_from_lambda.Closure_conversion_aux.IR.simple list) list;
failaction : (Flambda2_identifiers.Continuation.t * Debuginfo.t * Flambda2_from_lambda.Closure_conversion_aux.IR.trap_action option * Flambda2_from_lambda.Closure_conversion_aux.IR.simple list) option;

}

val print_simple : 
  Stdlib.Format.formatter ->
  Flambda2_from_lambda.Closure_conversion_aux.IR.simple ->
  unit

val print_named : 
  Stdlib.Format.formatter ->
  Flambda2_from_lambda.Closure_conversion_aux.IR.named ->
  unit