是否需要为 X64 Fastcall 叶函数保留 RCX？

Question

我有一个用 MASM64/ML64 组装的 X64 ASM 例程。它是一个独立的叶函数，不是内联汇编。它用于 Visual Studio 解决方案中的 C/C++ 程序。

我在 MSDN 上找到了两个关于保留寄存器的参考资料：

• Using and Preserving Registers in Inline Assembly
• Caller/Callee Saved Registers。

第一个用于内联汇编，但它特别声明在使用__fastcall 时保留ECX。它似乎也缺少对 X64 的处理，因为它指的是 32 位寄存器。

第二个告诉我们“RAX、RCX、RDX、R8、R9、R10、R11 被认为是易失的，必须在函数调用时被认为是销毁”。不幸的是，它没有明确说明它们是否需要保存。 （如果你仔细观察，它使用了误导而不是说明要采取的行动）。

我认为第二篇文章是控制这种情况，但我想清楚以避免混淆......是否需要为X64 Fastcall Leaf Functions保留CX/ECX/RCX？

Answer 1

"Using and Preserving Registers in Inline Assembly" 文章仅讨论 x86，不适用于 x86-64。

"Caller/Callee Saved Registers" 文章是关于 x86-64 调用约定的，并明确指出 RCX 寄存器是易失的，因此不需要被调用者保存。

@rkhb 的评论提到 "Overview of x64 Calling Conventions" 文章是造成混乱的根源，大概是因为它说：

x64 仅使用 __fastcall 调用约定和基于 RISC 的异常处理模型

但是，如果您点击该引用中的 __fastcall 链接，您会看到它说：“此调用约定 [__fastcall] 仅适用于 x86 架构”。我认为概述文章的真正意思是说“x64 使用类似于__fastcall 的调用约定，其中寄存器用于传递参数”。