Module `Flambda2_simplify.Unboxing_types`

type do_not_unbox_reason =

| Not_beneficial
| Max_depth_exceeded
| Incomplete_parameter_type
| Not_enough_information_at_use
| Not_of_kind_value
| Unboxing_not_requested
| All_fields_invalid

module Extra_param_and_args : sig ... end

type unboxing_decision =

| Unique_tag_and_size of {
1. tag : Flambda2_kinds.Tag.t;
2. shape : Flambda2_kinds.Flambda_kind.Block_shape.t;
3. fields : Flambda2_simplify.Unboxing_types.field_decision list;
}
| Variant of {
1. tag : Flambda2_simplify.Unboxing_types.Extra_param_and_args.t;
2. const_ctors : Flambda2_simplify.Unboxing_types.const_ctors_decision;
3. fields_by_tag : (Flambda2_kinds.Flambda_kind.Block_shape.t * Flambda2_simplify.Unboxing_types.field_decision list) Flambda2_kinds.Tag.Scannable.Map.t;
}
| Closure_single_entry of {
1. function_slot : Flambda2_identifiers.Function_slot.t;
2. vars_within_closure : Flambda2_simplify.Unboxing_types.field_decision Flambda2_identifiers.Value_slot.Map.t;
}
| Number of Flambda2_kinds.Flambda_kind.Naked_number_kind.t * Flambda2_simplify.Unboxing_types.Extra_param_and_args.t

and field_decision = {

epa : Flambda2_simplify.Unboxing_types.Extra_param_and_args.t;
decision : Flambda2_simplify.Unboxing_types.decision;
kind : Flambda2_kinds.Flambda_kind.With_subkind.t;

}

and const_ctors_decision =

| Zero
| At_least_one of {
1. is_int : Flambda2_simplify.Unboxing_types.Extra_param_and_args.t;
2. ctor : Flambda2_simplify.Unboxing_types.decision;
}

and decision =

| Unbox of Flambda2_simplify.Unboxing_types.unboxing_decision
| Do_not_unbox of Flambda2_simplify.Unboxing_types.do_not_unbox_reason

val print_decision : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Unboxing_types.decision ->
  unit

Printing function for individual decisions.

module Decisions : sig ... end

type pass =

| Filter
| Compute_all_extra_args