汇编跳转指令中f与b符号含义解析——基于阶乘代码的问询

问题背景 #

需求为编写计算n!的汇编程序：n存储于rdi寄存器，结果需存入rdx:rax寄存器；若结果无法容纳于rdx:rax，则返回其可容纳的最大值。已有正确实现代码，疑问点：

1. 第3行为何使用「ja 3f」而非「ja 3」？
2. 第17行的「ja 1b」中，「f」和「b」的含义是什么？

实现代码 #

factorial:
    cmp rdi, 34
    ja 3f
    xor edx, edx // Result stored in rdx:rax
    mov eax, 1
    cmp edi, 1
    jbe 2f    
1:  // Compute rdx:rax = rdx:rax * rdi
    // New rdx: rdx*rdi + (rax*rdi >> 64)
    // New rax: rax*rdi
    mov rcx, rdi
    imul rcx, rdx // First part of new rdx
    mul rdi // New rax + second part of new rdx
    sub edi, 1
    add rdx, rcx // New rdx
    cmp edi, 1

    ja 1b // Break loop if edi <= 1
2:  ret

3:  mov rax, -1
    mov rdx, -1
    ret

核心解答 #

「f」和「b」的本质含义 #

在x86汇编的跳转语法里：

• f是forward（向前）的缩写，专门指代当前跳转指令位置之后第一个同名的标签
• b是backward（向后）的缩写，专门指代当前跳转指令位置之前第一个同名的标签

为什么用ja 3f而非ja 3 #

看代码结构，3:标签在ja 3f这条指令的后方（第21行）。如果直接写ja 3，当代码中存在多个同名标签时，汇编器会无法确定要跳转到哪一个；而3f则明确告诉汇编器：找当前指令后面第一个3:标签，消除了歧义。

同理，第17行的ja 1b，因为1:标签在这条跳转指令的前方（第7行），1b明确指定回到当前指令之前的第一个1:标签，也就是循环的入口，实现循环迭代。

额外说明 #

这种带f/b的跳转写法是x86汇编的标准语法，主要作用是消除同名局部标签的跳转歧义，让代码逻辑更清晰，在复杂的多分支、多循环代码中能有效避免汇编解析错误。

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