Module `Flambda2`

val lambda_to_cmm : 
  ppf_dump:Stdlib.Format.formatter ->
  prefixname:string ->
  machine_width:Target_system.Machine_width.t ->
  keep_symbol_tables:bool ->
  Lambda.program ->
  Cmm.phrase list

Translate Lambda code to Cmm using Flambda 2. This function is not currently re-entrant.

type flambda_result = {

flambda : Flambda2_terms.Flambda_unit.t;
all_code : Flambda2_cmx.Exported_code.t;
offsets : Flambda2_simplify_shared.Exported_offsets.t;
reachable_names : Flambda2_nominal.Name_occurrences.t;

}

val lambda_to_flambda : 
  ppf_dump:Stdlib.Format.formatter ->
  prefixname:string ->
  machine_width:Target_system.Machine_width.t ->
  Lambda.program ->
  Flambda2.flambda_result

Translate Lambda code into (potentially Simplified) Flambda 2. This function is not currently re-entrant.

val reset_symbol_tables : unit -> unit

val get_module_info : 
  Compilation_unit.t ->
  Flambda2_cmx.Flambda_cmx_format.t option

Module Flambda2

Module `Flambda2`