Module `Flambda2_simplify.Unboxing_epa`

Handling of the extra params and args required for the unboxing of a continuation's parameter(s).

exception Invalid_apply_cont

type unboxed_arg =

| Poison
| Available of Flambda2_term_basics.Simple.t
| Generated of Flambda2_identifiers.Variable.t
| Added_by_wrapper_at_rewrite_use of {
1. nth_arg : int;
}

val compute_extra_args_for_one_decision_and_use : 
  pass:Flambda2_simplify.Unboxing_types.pass ->
  Flambda2_identifiers.Apply_cont_rewrite_id.t ->
  typing_env_at_use:Flambda2_types.Typing_env.t ->
  machine_width:Target_system.Machine_width.t ->
  Flambda2_simplify.Unboxing_epa.unboxed_arg ->
  Flambda2_simplify.Unboxing_types.decision ->
  Flambda2_simplify.Unboxing_types.decision

val add_extra_params_and_args : 
  Flambda2_simplify.Continuation_extra_params_and_args.t ->
  invalids:Flambda2_identifiers.Apply_cont_rewrite_id.Set.t ->
  Flambda2_simplify.Unboxing_types.decision ->
  Flambda2_simplify.Continuation_extra_params_and_args.t

Module Flambda2_simplify.Unboxing_epa

Module `Flambda2_simplify.Unboxing_epa`