GCC生成的.L3标签无外部跳转为何仍能正常执行？

汇编执行逻辑说明 #

你产生误解的核心原因是忽略了汇编代码默认按地址顺序执行的基础规则：只有跳转、调用、返回这类控制流指令才会打断顺序执行的流程，进入代码块不需要专门的跳转指令指向标签，前面的初始化逻辑执行完成后，直接按顺序流就能进入.L3对应的循环体。

我们逐行拆解test函数的完整执行流程，完全对应原C代码的逻辑：

1. 前置约定 #

x86-64 System V调用约定下：

• 第一个参数buffer的指针存在寄存器rdi
• 第二个参数size的值存在寄存器esi
• 编译器已经优化printf("%c", data)为等价的putchar调用，性能更高。

2. 函数入口判断与初始化 #

testl   %esi, %esi
jle .L6

判断size是否小于等于0，如果是直接跳转到.L6标签直接返回，对应C代码中size <= 0时不进入for循环的逻辑。

pushq   %rbp
leal    -1(%rsi), %eax
pushq   %rbx
leaq    1(%rdi,%rax), %rbp
movq    %rdi, %rbx
subq    $8, %rsp

这部分是循环初始化逻辑：

• 先保存rbp、rbx两个被调用者需要保留的寄存器
• 计算得到buffer + size（也就是数组末尾的后一个地址）存在rbp中，作为循环终止的边界值
• 把buffer的起始地址存到rbx，作为遍历的移动指针
• subq $8, %rsp是为了满足x86-64调用的16字节栈对齐要求，适配后续putchar调用。

3. 循环体执行 #

上面的初始化逻辑执行完成后，下一条指令就是.L3标签对应的循环首指令，直接顺序进入循环，不需要额外的跳转指向.L3：

.L3:
movzbl  (%rbx), %edi
addq    $1, %rbx
call    putchar@PLT
cmpq    %rbp, %rbx
jne .L3

循环逻辑完全对应C的for循环：

1. 取rbx指向的字符，作为参数传给putchar输出
2. 移动指针rbx向后偏移1字节
3. 比较当前指针rbx和边界值rbp：如果不相等就跳回.L3继续执行下一轮循环，相等就退出循环向下执行。

4. 收尾逻辑 #

循环结束后执行栈恢复、寄存器弹出，最后返回调用者；如果size<=0则直接走.L6分支直接返回。

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