这是一篇关于 OCaml 编译器 Flambda2 中推测内联（Speculative Inlining）的博客文章，主要内容如下：

• 欢迎新的 Flambda2 片段系列：介绍了 F2S 博客文章的目的是逐步介绍 Flambda2 优化编译器的内部工作原理，本文将介绍构建 Flambda2 的关键设计决策之一——向上和向下遍历，以及内联相关的内容。
• 内联概述：内联是将代码复制到特定上下文中以进行专门化的过程，其主要好处是利用特定上下文触发进一步优化，而非去除函数调用成本。通过一个简单的示例展示了内联的过程以及结合其他优化可能带来的简化。
• 内联有害的情况：不能随意进行内联，否则会导致编译代码大小大幅增加，如一个包含多个嵌套函数调用的示例，内联后会产生非常大的二进制文件。
• 如何决定内联是否有益：大多数编译器使用启发式方法来指导内联决策，但很难设计和调整，且不同编译器可能不适用。同时，要考虑 CPU 执行指令的成本和缓存大小等因素，以避免从主内存加载指令的最坏情况。
• 推测内联：通过两个特性来解决内联决策问题，即能够同时内联和优化，以及能够回溯内联决策。在实际中，推测内联是通过量化一组优化带来的好处来确定内联决策是否值得，同时使用启发式算法来比较原始代码和优化后的代码，并选择考虑嵌套调用时的内联决策关系。
• 总结：理解了推测内联的复杂性，它是 Flambda2 优化框架的算法之一，有助于其他优化的发生。同时强调了功能性语言的纯度特性在设计、实现和维护中的重要性。
• 结论：本文只是对向上和向下遍历这一重要主题的介绍，推测内联是解决复杂问题的一个可行方案，为理解关键设计决策奠定了基础。

OCamlPro 是一家 R&D 实验室，提供多种服务，包括审计、支持、定制开发工具和培训等，并创建了多个开源项目。欢迎联系 OCamlPro 讨论挑战。