Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories

Explore the intricacies of inlining heuristics in OCaml and their impact on code performance prediction in this 37-minute conference talk from ACM SIGPLAN's INFER'23. Delve into the challenges posed by compiling different compilation units at varying optimization levels. Gain insights into the inlining heuristics employed in Flambda2 and discover the concept of "Inlining histories," a powerful tool for visualizing and comprehending the compiler's inlining decisions. Learn how these techniques can enhance your understanding of OCaml's compilation process and improve your ability to optimize code performance.