Module `Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers`

type failure =

| Division_by_zero
| Index_out_of_bounds
| Address_was_misaligned

type expr_primitive =

| Simple of Flambda2_term_basics.Simple.t
| Nullary of Flambda2_terms.Flambda_primitive.nullary_primitive
| Unary of Flambda2_terms.Flambda_primitive.unary_primitive * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim
| Binary of Flambda2_terms.Flambda_primitive.binary_primitive * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim
| Ternary of Flambda2_terms.Flambda_primitive.ternary_primitive * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim
| Quaternary of Flambda2_terms.Flambda_primitive.quaternary_primitive * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim
| Variadic of Flambda2_terms.Flambda_primitive.variadic_primitive * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim list
| Checked of {
1. validity_conditions : Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive list;
  (*
  The validity_conditions return untagged immediates representing boolean values.
  *)
2. primitive : Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive;
3. failure : Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.failure;
4. dbg : Debuginfo.t;
}
| If_then_else of Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive * Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive * Flambda2_kinds.Flambda_kind.With_subkind.t list
| Sequence of Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive list
| Unboxed_product of Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive list

and simple_or_prim =

| Simple of Flambda2_term_basics.Simple.t
| Prim of Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive

val simple_untagged_int : 
  machine_width:Target_system.Machine_width.t ->
  int ->
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim

val simple_i64 : 
  Stdlib.Int64.t ->
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim

val simple_i64_expr : 
  Stdlib.Int64.t ->
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive

val maybe_create_unboxed_product : 
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive list ->
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive

val print_expr_primitive : 
  Stdlib.Format.formatter ->
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive ->
  unit

val print_simple_or_prim : 
  Stdlib.Format.formatter ->
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim ->
  unit

val print_list_of_simple_or_prim : 
  Stdlib.Format.formatter ->
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim list ->
  unit

val print_list_of_lists_of_simple_or_prim : 
  Stdlib.Format.formatter ->
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.simple_or_prim list
    list ->
  unit

val bind_recs : 
  Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
  Flambda2_terms.Exn_continuation.t option ->
  register_const0:
    (Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
      Flambda2_terms.Static_const.t ->
      string ->
      Flambda2_from_lambda.Closure_conversion_aux.Acc.t
      * Flambda2_identifiers.Symbol.t) ->
  Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers.expr_primitive ->
  Debuginfo.t ->
  (Flambda2_from_lambda.Closure_conversion_aux.Acc.t ->
    Flambda2_terms.Flambda.Named.t list ->
    Flambda2_from_lambda.Closure_conversion_aux.Expr_with_acc.t) ->
  Flambda2_from_lambda.Closure_conversion_aux.Expr_with_acc.t

val mixed_block_access_field_kind : 
  'a Mixed_block_shape.Singleton_mixed_block_element.t ->
  Flambda2_terms.Flambda_primitive.Mixed_block_access_field_kind.t

Module Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers

Module `Flambda2_from_lambda.Lambda_to_flambda_primitives_helpers`