Module Flambda2_to_cmm.To_cmm_static
Translation of statically-allocated constants to Cmm.
val static_consts :
Flambda2_to_cmm.To_cmm_env.t ->
Flambda2_to_cmm.To_cmm_result.t ->
params_and_body:
(Flambda2_to_cmm.To_cmm_env.t ->
Flambda2_to_cmm.To_cmm_result.t ->
Flambda2_identifiers.Code_id.t ->
Flambda2_terms.Flambda.Import.Function_params_and_body.t ->
result_arity:[ `Unarized ] Flambda2_kinds.Flambda_arity.t ->
fun_dbg:Debuginfo.t ->
zero_alloc_attribute:Flambda2_terms.Zero_alloc_attribute.t ->
Cmm.fundecl * Flambda2_to_cmm.To_cmm_result.t) ->
Flambda2_bound_identifiers.Bound_static.t ->
Flambda2_terms.Flambda.Import.Static_const_group.t ->
Flambda2_to_cmm.To_cmm_env.t
* Flambda2_to_cmm.To_cmm_result.t
* Flambda2_to_cmm.To_cmm_env.expr_with_info option