x64架构下G++内联汇编实现strlen遇asm操作数约束错误求助

错误根源分析 #

1. 寄存器约束冲突：你指定输出操作数使用"=a"(len)（即EAX寄存器），同时又在clobber列表中声明%eax为被破坏寄存器。编译器会认为EAX既被用作输出载体，又被无条件破坏，这就产生了约束冲突，直接导致"‘asm’ operand has impossible constraints"错误。
2. 指令使用错误：scasb指令的工作逻辑是对比AL寄存器的值与EDI寄存器指向的内存字节，并自动调整EDI指针；但你错误地将字符串地址加载到了ESI寄存器，导致指令无法正确扫描字符串。
3. 长度限制不合理：硬编码mov ecx, 100会让函数只能处理最长99字节的字符串，超出长度的字符串会计算错误。

修正后的代码（32位环境） #

int new_strlen(char* word)
{
    int len = 0;
    __asm__  ("mov ecx, 0xffffffff\n\t"  // 使用32位最大值，支持最长字符串
              "mov edi, %1\n\t"          // scasb依赖EDI指向内存，替换原错误的ESI
              "mov al, 0\n\t"
              "repne scasb\n\t"
              "mov %0, 0xffffffff\n\t"
              "sub %0, ecx\n\t"
              "dec %0\n\t"               // 修正repne scasb的循环计数偏移
            : "=a"(len)
            : "r"(word)
            : "%ecx","%edi"              // 移除%eax，替换%esi为%edi
    );

    return len;
}

64位环境适配代码 #

如果编译的是64位程序，需要改用64位寄存器：

int new_strlen(char* word)
{
    int len = 0;
    __asm__  ("mov rcx, 0xffffffffffffffff\n\t"
              "mov rdi, %1\n\t"
              "mov al, 0\n\t"
              "repne scasb\n\t"
              "mov %0, 0xffffffffffffffff\n\t"
              "sub %0, rcx\n\t"
              "dec %0\n\t"
            : "=a"(len)
            : "r"(word)
            : "%rcx","%rdi"
    );

    return len;
}

关键修正点说明 #

• 移除clobber列表中的%eax：因为"=a"(len)已将EAX分配给输出操作数，编译器会自动处理其值的保存，无需重复标记为被破坏。
• 替换ESI为EDI：严格遵循scasb指令的寄存器使用规则，确保字符串地址被正确加载到指令期望的寄存器中。
• 扩展ECX/RCX的初始值：使用寄存器最大值避免字符串长度限制，同时通过dec %0修正repne scasb的循环计数偏移（该指令找到终止符后会先执行一次ECX减1再退出循环）。
• 保留-masm=intel选项：你的代码使用Intel语法，该选项是正确的；volatile关键字在此场景下无必要，因为汇编逻辑完全依赖输入，编译器不会优化掉。

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