Articles liés

Articles avec le tag inlining

Site

Catégories

Flambda2 Ep. 3: Speculative Inlining

Auteurs: Pierre Chambart, Vincent Laviron, Guillaume Bury, Dario Pinto, Nathanaëlle Courant
Date: 2024-08-09
Catégorie: OCaml
Tags: flambda2, flambda, compiler, optimisation, f2s, inlining

Welcome to a new episode of The Flambda2 Snippets! The F2S blog posts aim at gradually introducing the world to the inner-workings of a complex piece of software engineering: The Flambda2 Optimising Compiler for OCaml, a technical marvel born from a 10 year-long effort in Research & Development and ... (Lire plus)

Better Inlining: Progress Report

Auteurs: Chambart
Date: 2013-07-11
Catégorie: OCaml
Tags: OCaml, inlining, flambda

As announced some time ago, I am working on a new intermediate language within the OCaml compiler to improve its inlining strategy. After some time of bug squashing, I prepared a testable version of the patchset, available either on Github (branch flambda_experiments), or through OPAM, in the follow... (Lire plus)

Optimisations you shouldn’t do

Auteurs: chambart
Date: 2013-05-24
Catégorie: OCaml
Tags: OCaml, inlining, flambda

Doing the compiler's work Working at OCamlPro may have some drawbacks. I spend a lot of time hacking the OCaml compiler. Hence when I write some code, I have a good glimpse of what the generated assembly will look like. This is nice when I want to write performance sensitive code, but as I usually w... (Lire plus)