能否通过内联汇编实现零开销整数向上转换的宏？

问题描述 #

能否制作一个宏，通过内联汇编实现一种零开销的整数向上转换？在很多场景中，我希望将已“就位”的32位整数传入接收64位整数的接口，但C语言不允许高位比特处于不确定状态；通过强制转换或联合将32位扩展为64位时，编译器会对32位数字进行零扩展或符号扩展。示例代码如下：

void g(unsigned long );
void f(int X){
    unsigned long XX = (unsigned)X; // 对应汇编指令：mov %edi, %edi
    g(XX);
}

能否用JUST_PRETEND_ITS_AN_UNSIGNED_LONG_WITHOUT_DOING_ANYTHING(X)替代该强制转换？

解决方案 #

可行的宏实现（针对x86-64架构） #

可以通过内联汇编实现符合需求的宏，核心思路是利用汇编约束让编译器直接复用32位值所在的寄存器，跳过扩展操作：

#define JUST_PRETEND_ITS_AN_UNSIGNED_LONG_WITHOUT_DOING_ANYTHING(X) \
({ \
    unsigned long _res; \
    __asm__ __volatile__("" : "=r"(_res) : "0"(X)); \
    _res; \
})

工作原理 #

这个宏借助GCC风格的内联汇编约束：

• "0"(X) 表示输入的X和输出的_res使用同一个寄存器
• 空的汇编指令""意味着不执行任何实际操作，只是让编译器把32位的X直接当作64位的unsigned long处理
• 在x86-64架构下，如果X原本就存储在64位寄存器的低32位（且高位状态符合预期），编译器不会生成零扩展或符号扩展的指令，完全实现零开销

替换示例代码后的效果 #

修改后的代码如下：

void g(unsigned long);
void f(int X) {
    unsigned long XX = JUST_PRETEND_ITS_AN_UNSIGNED_LONG_WITHOUT_DOING_ANYTHING(X);
    g(XX);
}

此时编译器不会生成mov %edi, %edi这类冗余的扩展指令，直接将存储X的寄存器（如%edi）作为64位寄存器%rdi传入函数g。

注意事项 #

• 架构依赖性：该实现仅适用于x86-64架构，其他CPU架构（如ARM）的寄存器行为不同，无法直接复用
• 未定义行为风险：C语言标准中，这种绕过类型系统的操作属于未定义行为，编译器版本更新或优化策略调整可能导致行为变化
• 前置条件：必须确保32位整数的高位（64位寄存器的高32位）状态符合预期，否则会触发未定义行为（C语言要求变量的所有比特都有确定值）

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