如何在AT&T汇编中实现带与运算符条件的if语句？

首先，我们先明确核心逻辑：C语言里的if(x & y)等价于当x和y按位与的结果不为0时，执行if块——因为C中任何非零值都会被视为真。接下来我们先分析你给出的代码问题，再给出正确的实现方式。

你的代码存在的问题 #

让我们逐一指出代码里的错误：

• 栈操作顺序错误：栈是后进先出（LIFO）结构，你先push %r10再push %r11，但弹出时却先pop %r10再pop %r11，这会导致原来的r11值被恢复到r10，r10值恢复到r11，完全打乱了寄存器的原始值。正确的弹出顺序应该是先pop %r11，再pop %r10。
• AT&T汇编语法错误：and $r11, %r12这行是错的——AT&T中寄存器不需要加$前缀，只有立即数才需要。正确写法是and %r11, %r12（将r12和r11按位与，结果存在r12中）。
• 条件判断逻辑错误：你用cmpq $0xFF, %r12然后je .if，这是判断与运算结果是否等于0xFF才执行if块，和原逻辑if(x & y)（判断结果非零）完全不符。我们需要判断结果是否不为0，而非等于某个特定值。
• 冗余的跳转：jmp .loop完全没必要，初始化x和y后直接执行与运算即可，不需要额外跳转到loop标签。

修正后的正确代码示例 #

下面是符合需求的AT&T汇编代码，我们保留你的寄存器使用习惯，同时修复所有问题：

.globl func
func:
    push %r10        # 保存调用者的r10寄存器
    push %r11        # 保存调用者的r11寄存器

    movq $0x60, %r10 # 初始化x = 0x60
    movq $0x45, %r11 # 初始化y = 0x45

    movq %r10, %r12  # 将x的值复制到r12
    and %r11, %r12   # r12 = x & y
    test %r12, %r12  # 测试r12是否为0（等价于cmpq $0, %r12，但更高效）
    jz .done         # 如果结果为0，跳转到done，不执行if块
                     # 非零则继续执行下面的if块（无需显式跳转）

.if:
    # 这里写你要执行的代码，比如示例操作：
    movq $1, %rax    # 示例：将返回值设为1，表示进入了if块

.done:
    pop %r11         # 恢复r11的原始值（注意弹出顺序和push相反）
    pop %r10         # 恢复r10的原始值
    ret

关键逻辑说明 #

• 用test %r12, %r12来检查与运算结果：test指令会对两个操作数进行按位与，但不保存结果，只更新标志位。如果结果为0，ZF（零标志位）会被置1；非零则ZF为0。
• 用jz .done（零则跳转）：如果x&y结果为0，就跳过if块直接到done；如果非零，就会顺序执行.if标签下的代码。这完全对应了if(x & y)的逻辑。

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