I remember when flambda was introduced, there were some discussions on why a new intermediate language was introduced instead of doing optimizations on lambda or clambda. This is the only link I found , do we have some documents explaining why such layer is justified? A side question, if you revisi…

I’m not aware of any documents explaining why we introduced an extra layer, but the existing Lambda and Clambda languages are not well-suited to the optimisations that Flambda does. Lambda represents functions as lambda-terms instead of closures, so it’s a pain when inlining (you have to make sure …

[image] vlaviron: the new representation Is it publicly available somewhere? It would be interesting to see the discussions of the tradeoff between different encodings. I experimented a little bit with ANF and CPS but did not find it particularly useful compared with direct style, it might be…

Previous discussions on why flambda IR introduced?

Learning

vlaviron October 27, 2022, 9:27am 4

The Flambda 2 repo (still experimental) is available at https://github.com/ocaml-flambda/flambda-backend. You can see the exact representation in middle-end/flambda2/terms/flambda.mli.

Topic		Replies	Views
Understanding the soundness of an flambda optimization Community	10	1542	June 21, 2018
[BLOG] The Flambda2 Snippets, by OCamlPro Learning compiler , blog , flambda , flambda2	9	1763	March 30, 2024
Static analysis in Flambda 2 - Talks at the Cambium Seminar Community compiler , flambda , optimization	2	667	August 29, 2023
Where is Flambda being developed? Ecosystem flambda	7	2727	July 13, 2017
"flambda for newbies" questions Learning jbuilder , flambda	3	3251	September 19, 2017

Previous discussions on why flambda IR introduced?

Related topics