在内联汇编程序中使用和保留寄存器

Microsoft 专用

通常，__asm 块开始时，不应假定寄存器将具有给定值。 不保证将在单独的 __asm 块中保留寄存器值。 如果结束一个内联代码块并开始另一个内联代码块，则不能依赖第二个块中的寄存器来保留其在第一个块中的值。 __asm 块从正常控制流继承任意寄存器值结果。

如果使用 __fastcall 调用约定，则编译器将传递寄存器中而不是堆栈上的函数参数。 这可能会导致带 __asm 块的函数出现问题，因为函数无法告知哪一参数位于哪一寄存器中。 如果函数碰巧在 EAX 中收到一个参数并立即在 EAX 中存储其他内容，则原始参数将丢失。 此外，您还必须在使用 __fastcall 声明的任何函数中保留 ECX 寄存器。

若要避免此类寄存器冲突，请勿对包含 __fastcall 块的函数使用 __asm 约定。 如果使用 /Gr 编译器选项全局指定 __fastcall 约定，请使用 __asm 或 __cdecl 来声明每个包含 __stdcall 块的函数。 （__cdecl 属性指示编译器使用该函数的 C 调用约定。）如果不使用 /Gr 进行编译，请避免使用 __fastcall 属性声明函数。

当使用 __asm 在 C/C++ 函数中编写汇编语言时，不需要保留 EAX、EBX、ECX、EDX、ESI 或 EDI 寄存器。 例如，在使用内联程序集编写函数的 POWER2.C 示例中，power2 函数没有在 EAX 寄存器中保留此值。 但是，使用这些寄存器将影响代码质量，因为寄存器分配器无法使用它们在 __asm 块中储存值。 此外，通过在内联程序集代码中使用 EBX、ESI 或 EDI，将强制编译器在函数序言和尾声中保存并还原这些寄存器。

您应保留用于 __asm 块的范围的其他寄存器（如 DS、SS、SP、BP 和标记寄存器）。 您应保留 ESP 和 EBP 寄存器，除非您出于某种原因要更改它们（例如，切换堆栈）。 另请参阅优化内联程序集。

某些 SSE 类型需要 8 字节堆栈对齐，以强制编译器发出动态堆栈对齐代码。 为了能在对齐之后访问局部变量和函数参数，编译器将保留两个帧指针。 如果编译器执行帧指针省略 (FPO)，它将使用 EBP 和 ESP。 如果编译器不执行 FPO，它将使用 EBX 和 EBP。 为了确保代码正常运行，当函数需要动态堆栈对齐以便能修改帧指针时，请勿在 asm 代码中修改 EBX。 请将 8 字节对齐的类型移出函数，或者避免使用 EBX。

注意

如果内联程序集代码使用 STD 或 CLD 指令更改方向标志，你必须将此标志还原为其原始值。

结束 Microsoft 专用

另请参阅

内联汇编程序