assembly - 在 V8 中为 x64 生成 cmp 和 cmov 指令

Question

我正在尝试使用内部汇编器在 V8 中实现我自己的 Math.clamp 版本。

我设法使用 Torque 脚本语言生成了它的一个版本，并想尝试使用 CodeStubAssembler 内置函数进行类似的实现。我意识到它们被认为是守旧派，但这似乎是生成我想要的实际程序集的最简单方法。目标是让编译器生成类似 to this as possible 的代码。

问题是:是否有一个已经生成cmp 和cmov 指令的汇编例程？如果没有，我将如何生成它？

这仅用于教育目的，这就是为什么我只对 x64 管道感兴趣并将所有输入都视为整数。

Answer 1

这里是 V8 开发人员。 CodeStubAssembler 的设计目的不是让您精确控制发出哪些汇编指令——它独立于平台，这是它存在的重要原因。

您可以查看 src/builtins/builtins-math-gen.cc 中的 MathBuiltinsAssembler::MathMaxMin 及其在同一个文件中更下方的两个调用站点，以查看您将如何在 CSA 中表达一系列最小/最大操作(或其他条件选择)。然后由支持 CSA 的 Turbofan 后端在每个平台上选择合适的机器指令。如果您认为可以改进机器代码，那么解决这个问题的方法就是改进 Turbofan 的指令选择器(和/或更早的优化过程)以检测相关模式。

如果您真的想手动编写特定于平台的程序集，您也可以这样做:您可以使用特定于平台的 MacroAssembler 而不是 CodeStubAssembler，它(在 x64 上)公开了 cmp 和 cmov。剩下一些这样的内置函数，您可以作为示例进行研究，请查看 src/builtins/x64/builtins-x64.cc。过去有更多这些，但我们已经将它们几乎全部迁移到其他实现技术，如 C++、CSA 或 Torque，因为读取/编写/调试/维护汇编代码既耗时又容易出错。