package ocaml-base-compiler

  1. Overview
  2. Docs
val run : never_inline:bool -> backend:(module Backend_intf.S) -> prefixname:string -> round:int -> ppf_dump:Format.formatter -> Flambda.program -> Flambda.program

Simplification of Flambda programs combined with function inlining: for the most part a beta-reduction pass.

Readers interested in the inlining strategy should read the Inlining_decision module first.