X64快速调用叶函数需要保留RCX吗？

Question

我有一个用MASM64/ML64汇编的X64 ASM例程。它是一个独立的叶函数，而不是内联汇编。它用于Visual Studhtml" target="_blank">io解决方案中的C/C程序。

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

• 在内联程序集中使用和保存寄存器
• 呼叫者/被叫方保存的寄存器。

第一种是用于内联装配，但它明确规定在使用__fastcall时保留 ECX。它似乎也缺乏对X64的处理，因为它指的是32位寄存器。

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

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

Answer 1

因为调用者必须假设函数销毁这些寄存器，所以被调用者可以销毁它们而不保留它们。也就是说，这些寄存器是易失性的，也称为call-clobbed。这将应用整个64位寄存器列表，包括所有arg传递寄存器。

内联__asm函数中与周围 C/C 代码的接口本质上与函数之间的 ABI/调用约定无关。例如，x86（32 位）快速呼叫具有调用 clobbered ECX，就像总是用于 arg-pass 寄存器一样。无论如何，32 位 fastcall 是独立于 Windows x64 fastcall 的调用约定，因此您阅读的有关 32 位 fastcall 的任何内容都不是 64 位的权威。

MSVC 内联 asm 支持非常脆弱，并且在编译器中实现了黑客，以至于他们需要您的 asm 在具有寄存器参数的函数中跳过箍，因为他们的编译器太笨了，无法像普通变量那样将它们保存在安全的地方。例如，您链接的文档说“这可能会在具有__asm块的函数中产生问题，因为函数无法判断哪个参数位于哪个寄存器中”，但这显然是无稽之谈，因为调用约定确定了这一点。否则，编译器无法使 asm 在不使用内联 asm 的函数中访问其参数。（或者，这是对编译器中的内联 asm 代码不是为处理 register-arg 调用约定而编写的，并且从未重写过这一事实的拙劣描述。其他编译器，包括clang-cl，没有这个问题。

这就是所有这些关于保留ECX的废话的来源，与函数在asm中相互调用的方式无关，如果您使用的是MSVC的脆性内联asm，则只是对函数内部的要求。

Answer 2

“在内联汇编中使用和保留寄存器”这篇文章只讨论x86，不适用于x86-64。

“调用者/被调用者保存的寄存器”这篇文章是关于x86-64调用约定的，并且明确指出RCX寄存器是易失的，因此不需要被调用者保存。

@rkhb的评论提到“x64调用约定概述”一文是混淆的根源，大概是因为它说：

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

但是，如果您跟踪该引用中的< code>__fastcall链接，您会看到它说:“此调用约定[__fastcall]仅适用于x86体系结构”。我认为这篇概述文章实际上是想说，“x64使用了一种类似于< code>__fastcall的调用约定，其中寄存器用于传递参数”。