有没有办法在进入功能之前保存寄存器？

Question

这是我的第一个问题，因为我找不到与此主题相关的任何内容。

最近，在为我的 C 游戏引擎项目制作课程时，我发现了一些有趣的事情：

struct Stack *S1 = new(Stack);
struct Stack *S2 = new(Stack);

S1->bPush(S1, 1, 2);               //at this point

bPush是结构体中的一个函数指针。

所以我想知道，在这种情况下，运算符-> 是什么，我发现：

 mov         r8b,2                 ; a char, written to a low point of register r8
 mov         dl,1                  ; also a char, but to d this time
 mov         rcx,qword ptr [S1]    ; this is the 1st parameter of function
 mov         rax,qword ptr [S1]    ; !Why cannot I use this one?
 call        qword ptr [rax+1A0h]  ; pointer call

所以我假设 -> 写了一个指向 rcx 的对象指针，我想在函数中使用它（它们应该是方法）。所以问题是，我怎样才能做类似的事情

 push        rcx
 // do other call vars
 pop         rcx
 mov         qword ptr [this], rcx

在它开始写入函数的其他变量之前。有预处理器的东西？

Answer 1

如果您使用 C++ 编写代码，看起来您会更轻松（并获得相同或更高效的 asm），这样您就可以使用语言对虚函数的内置支持，以及在初始化时运行构造函数。更不用说不必手动运行析构函数了。你不需要你的struct Class hack。

我想隐式传递*this 指针，因为如第二个 asm 部分所示，它两次做同样的事情，是的，这就是我要找的，bPush 是结构的一部分，它不能从外部调用，但我必须传递它已经拥有的指针 S1。

由于禁用了优化，您的 asm 效率低下。

MSVC -O2 或 -Ox 不会重新加载静态指针两次。它确实浪费了在寄存器之间复制 mov 指令，但如果你想要更好的 asm，请使用更好的编译器（如 gcc 或 clang）。

Godbolt 编译器资源管理器中最古老的 MSVC 是来自 MSVC 2015 的 CL19.0，它编译此源代码

struct Stack {
    int stuff[4];
    void (*bPush)(struct Stack*, unsigned char value, unsigned char length);
};


struct Stack *const S1 = new(Stack);

int foo(){
    S1->bPush(S1, 1, 2);

    //S1->bPush(S1, 1, 2);
    return 0;  // prevent tailcall optimization
}

into this asm (Godbolt)

# MSVC 2015  -O2
int foo(void) PROC                                        ; foo, COMDAT
$LN4:
        sub     rsp, 40                             ; 00000028H
        mov     rax, QWORD PTR Stack * __ptr64 __ptr64 S1
        mov     r8b, 2
        mov     dl, 1
        mov     rcx, rax                   ;; copy RAX to the arg-passing register
        call    QWORD PTR [rax+16]
        xor     eax, eax
        add     rsp, 40                             ; 00000028H
        ret     0
int foo(void) ENDP                                        ; foo

（我在 C++ 模式下编译，因此我可以编写 S1 = new(Stack) 而无需复制您的 github 代码，并使用非常量初始化程序在全局范围内编写它。）

Clang7.0 -O3 立即加载到 RCX：

# clang -O3
foo():
        sub     rsp, 40
        mov     rcx, qword ptr [rip + S1]
        mov     dl, 1
        mov     r8b, 2
        call    qword ptr [rcx + 16]          # uses the arg-passing register
        xor     eax, eax
        add     rsp, 40
        ret

奇怪的是，clang 仅在使用__attribute__((ms_abi)) 定位 Windows ABI 时才决定使用低字节寄存器。它使用mov esi, 1 来避免在针对其默认 Linux 调用约定而不是mov sil, 1 时出现错误的依赖关系。

---

或者，如果您正在使用优化，那是因为更旧的 MSVC 更糟糕。在这种情况下，您可能无法在 C 源代码中执行任何操作来修复它，尽管您可以尝试使用 struct Stack *p = S1 局部变量来手动将编译器加载到寄存器中并从那里重用它。）