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

Producing a cmp and cmov instruction in V8 for x64

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

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

的代码

问题是:是否有已经生成 cmpcmov 指令的汇编例程?如果没有,我将如何生成它?

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

这里是 V8 开发人员。 CodeStubAssembler 的设计目的不是让您精确控制发出的汇编指令——它与平台无关,这是它存在的重要原因。

您可以查看 src/builtins/builtins-math-gen.cc 中的 MathBuiltinsAssembler::MathMaxMin 及其在同一个文件中更下方的两个调用站点,以查看您将如何表达一系列 min/max 操作(或其他条件select离子)在 CSA 中。然后由 Turbofan 后端为 CSA 提供支持,以便在每个平台上 select 适当的机器指令。如果您认为可以改进机器代码,那么解决该问题的方法是改进 Turbofan 的指令 select 或(and/or 早期优化通过)以检测相关模式。

如果您真的想手动编写特定于平台的程序集,您也可以这样做:您可以使用特定于平台的 MacroAssembler 而不是 CodeStubAssembler,它(在 x64 上)公开了两者 cmpcmov。剩下一些这样的内置函数,您可以作为示例学习,请查看 src/builtins/x64/builtins-x64.cc。以前有更多这样的东西,但我们已经将它们几乎全部迁移到其他实现技术,如 C++、CSA 或 Torque,因为 reading/writing/debugging/maintaining 汇编代码既耗时又容易出错。