package ocaml-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Third alpha release of OCaml 5.5.0

Install

dune-project

Dependency

ocaml.org Edit opam file Versions (18)

Authors

Maintainers

Sources

5.5.0-alpha3.tar.gz

sha256=3f4c5a4395a790ee09f1826ccddc19f6be87fcb385d3e8db94159b1cb3191e8e

doc/compiler-libs.optcomp/Unbox_specialised_args/index.html

Module `Unbox_specialised_args`

When approximations of specialised arguments indicate that they are closures or blocks, add more specialised arguments corresponding to the projections from such blocks (with definitions of such projections lifted out), such that the original specialised arguments may later be eliminated.

This in particular enables elimination of closure allocations in examples such as:

let rec map f = function | -> | a::l -> let r = f a in r :: map f l

let g x = map (fun y -> x + y) 1; 2; 3; 4

Here, the specialised version of map initially has a specialised argument f; and upon inlining there will be a projection of x from the closure of f. This pass adds a new specialised argument to carry that projection, at which point the closure of f is redundant.

val rewrite_set_of_closures : 
  env:Inline_and_simplify_aux.Env.t ->
  duplicate_function:
    (env:Inline_and_simplify_aux.Env.t ->
      set_of_closures:Flambda.set_of_closures ->
      fun_var:Variable.t ->
      new_fun_var:Variable.t ->
      Flambda.function_declaration * Flambda.specialised_to Variable.Map.t) ->
  set_of_closures:Flambda.set_of_closures ->
  (Flambda.expr * Inlining_cost.Benefit.t) option