内嵌ASM指令的C代码编译出现汇编错误的排查与修复

我是汇编语言编程新手，编写了一段内嵌ASM指令实现字符串反转的C程序。该程序在基于VirtualBox、宿主系统为Windows 11的Debian虚拟机上编译运行无错误（编译命令：gcc -Wall -g program.c -o program），但部分同事在他们的虚拟机上编译时出现汇编错误，错误信息如下：

program.c: Assembler messages:
program.c:26: Error: (%rdx,%ecx)' is not a valid base/index expression
program.c:27: Error: (%rdx,%esi)' is not a valid base/index expression
program.c:28: Error: (%rdx,%ecx)' is not a valid base/index expression
program.c:29: Error: (%rdx,%esi)' is not a valid base/index expression

所用C代码如下：

#include <stdio.h>
#include <string.h>

int main() {
    char str[10000]; // Allow for 10000 characters

    // Prompt user for input
    printf("Enter a string: ");
    fgets(str, sizeof(str), stdin);

    // Remove newline character if present
    char *nl = strchr(str, '\n');
    if (nl != NULL) {
        *nl = '\0';
    } else {
        printf("Line too long or no newline character found.\n");
    }

    // Validate string length
    int length = strlen(str);
    if (length > 50) {
        printf("String exceeds 50 characters.\n");
        return 1;
    }

    // Inline assembly to reverse the string
    __asm__ (
        "mov %[len], %%esi\n\t"    // esi = length
        "decl %%esi\n\t"            // esi = length - 1 (last character index)
        "xor %%ecx, %%ecx\n\t"      // ecx = 0 (starting index)
        "reverse_loop:\n\t"
        "cmp %%esi, %%ecx\n\t"      // Compare start and end indexes
        "jge loop_end\n\t"          // If start >= end, end loop
        "movb (%[str], %%ecx), %%al\n\t"    // al = str[ecx]
        "movb (%[str], %%esi), %%bl\n\t"    // bl = str[esi]
        "movb %%bl, (%[str], %%ecx)\n\t"    // str[ecx] = bl
        "movb %%al, (%[str], %%esi)\n\t"    // str[esi] = al
        "incl %%ecx\n\t"            // Increment start index
        "decl %%esi\n\t"            // Decrement end index
        "jmp reverse_loop\n\t"      // Repeat loop
        "loop_end:\n\t"
        :
        : [str] "r" (str), [len] "r" (length)
        : "%esi", "%ecx", "%al", "%bl"
    );

    // Print the reversed string
    printf("Reversed string: %s\n", str);

    return 0;
}

请问导致同事机器出现该错误的原因是什么？如何修改代码使其在所有机器上正常编译运行？

• 核心问题是目标架构的寄存器宽度不兼容：你的虚拟机是64位x86_64架构，gcc默认生成64位代码；而同事的虚拟机可能是32位i386架构，或者他们的gcc默认编译32位程序。
• 在x86_64的寻址规则中，基址寄存器（比如str被分配到64位寄存器%rdx）和变址寄存器必须是同宽度的——要么都用64位寄存器，要么都用32位寄存器。你的代码里用了32位的%ecx/%esi作为变址，搭配64位的基址寄存器，这在64位汇编中属于非法格式，直接触发"无效基址/变址表达式"错误。
• 而在32位模式下，所有寄存器都是32位宽度，你的代码写法是合法的，所以你的64位机器能正常编译。

以下两种修改方式都能确保代码在32位和64位系统上兼容：

方案1：统一使用架构适配的寄存器 #

直接使用64位寄存器名，gcc会根据目标架构自动映射为对应宽度的寄存器：

__asm__ (
    "mov %[len], %%rsi\n\t"    // 64位模式用rsi，32位模式自动转为esi
    "dec %%rsi\n\t"
    "xor %%rcx, %%rcx\n\t"      // 用rcx代替ecx，自动适配架构宽度
    "reverse_loop:\n\t"
    "cmp %%rsi, %%rcx\n\t"
    "jge loop_end\n\t"
    "movb (%[str], %%rcx), %%al\n\t"
    "movb (%[str], %%rsi), %%bl\n\t"
    "movb %%bl, (%[str], %%rcx)\n\t"
    "movb %%al, (%[str], %%rsi)\n\t"
    "inc %%rcx\n\t"
    "dec %%rsi\n\t"
    "jmp reverse_loop\n\t"
    "loop_end:\n\t"
    :
    : [str] "r" (str), [len] "r" ((long)length)  // 强制length为长整型，匹配寄存器宽度
    : "%rsi", "%rcx", "%al", "%bl"
);

方案2：显式指定寻址比例因子 #

x86架构支持(base, index, scale)的寻址格式，显式指定scale=1后，汇编器会正确处理不同宽度的寄存器组合：

__asm__ (
    "mov %[len], %%esi\n\t"
    "decl %%esi\n\t"
    "xor %%ecx, %%ecx\n\t"
    "reverse_loop:\n\t"
    "cmp %%esi, %%ecx\n\t"
    "jge loop_end\n\t"
    "movb (%[str], %%ecx, 1), %%al\n\t"    // 显式添加比例因子1
    "movb (%[str], %%esi, 1), %%bl\n\t"
    "movb %%bl, (%[str], %%ecx, 1)\n\t"
    "movb %%al, (%[str], %%esi, 1)\n\t"
    "incl %%ecx\n\t"
    "decl %%esi\n\t"
    "jmp reverse_loop\n\t"
    "loop_end:\n\t"
    :
    : [str] "r" (str), [len] "r" (length)
    : "%esi", "%ecx", "%al", "%bl"
);

额外建议 #

如果只是为了实现字符串反转，纯C代码更简洁且完全跨平台，没必要用内嵌汇编：

for (int i = 0, j = length - 1; i < j; i++, j--) {
    char temp = str[i];
    str[i] = str[j];
    str[j] = temp;
}

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