Windows下clang-cl复用寄存器变量的最优代码生成方案问询

问题背景 #

需要在自定义脚本JIT调用的函数里，直接使用前置调用已设置好的RBX寄存器中存储的状态对象。GCC的全局寄存器变量方案在Clang中不支持，试过的替代方案都有明显缺陷：

• 未赋值的局部寄存器变量：Clang直接拒绝编译
• 绑定为asm输出：Clang会生成多余的RBX保存指令
• 将RBX值mov到其他寄存器：产生冗余指令，还破坏了非易失寄存器的保留规则

下面是几个无需手动编写全量汇编的可行方案：

方案1：内联汇编关联寄存器+空约束 #

通过内联汇编明确告知Clang，RBX寄存器已预先持有所需的状态指针，且不需要编译器对RBX做保存/恢复操作，同时将寄存器与局部变量绑定，后续直接用变量访问即可：

struct ExecutionStateJIT {
    void* pData;
};

void resumeMultiplexGlobal(void)
{
    ExecutionStateJIT* pState;
    // 空汇编语句+输出约束，让Clang将RBX的值关联到pState，且不修改RBX
    asm volatile("" : "=b"(pState) : :);
    
    // 后续正常使用pState，Clang会直接用RBX访问，无多余指令
    pState->pData = nullptr;
}

方案2：函数属性强制保留RBX #

如果整个函数都需要依赖RBX作为状态寄存器，可以给函数添加__attribute__((no_caller_saved_registers))属性，强制Clang将所有寄存器视为非易失寄存器，不会自动保存/恢复RBX：

struct ExecutionStateJIT {
    void* pData;
};

__attribute__((no_caller_saved_registers))
void resumeMultiplexGlobal(void)
{
    ExecutionStateJIT* pState;
    asm volatile("" : "=b"(pState) : :);
    pState->pData = nullptr;
}

注意：这个属性会让编译器的寄存器优化受限，可能导致代码体积变大，但针对JIT场景的特定函数，这种权衡是可接受的。

方案3：Clang局部寄存器变量绑定 #

Clang支持局部寄存器变量绑定语法，只需通过内联汇编补充告知编译器RBX已有有效值，无需初始化，写法更贴近GCC的全局寄存器变量方案：

struct ExecutionStateJIT {
    void* pData;
};

void resumeMultiplexGlobal(void)
{
    register ExecutionStateJIT* pState asm("rbx");
    // 告知Clang RBX已就绪，无需赋值
    asm volatile("" : "=b"(pState) : :);
    
    pState->pData = nullptr;
}

验证方法 #

编译时可以用clang-cl -c -O2 -S resume.cpp -o resume.asm指令查看汇编输出，确认没有多余的push rbx/pop rbx指令，且访问pState->pData时直接使用RBX寄存器。

内容的提问来源于stack exchange，提问作者Juliean