汇编编译器如何确定函数与标签在二进制/目标文件中的放置位置？

标签本质就是内存地址的别名，编译器不会刻意为函数“挑选”存放位置，所有标签、函数的地址都是按固定流程计算出来的，核心逻辑是两遍扫描机制：

• 第一遍扫描（地址计数阶段）
  编译器维护一个初始值为0的地址计数器（如果用org指令指定了加载基址，计数器初始值就设为对应基址），从源码第一行开始逐行解析：
  • 遇到空行、注释直接跳过，不改变计数器值
  • 遇到指令、数据定义，就计算该内容占用的字节数，累加到地址计数器上
  • 遇到标签（包括函数名开头的标签），直接把当前地址计数器的值绑定到这个标签上，存入符号表，标签本身不占用任何存储空间
    以给出的x86实模式汇编代码为例，第一遍扫描的计算过程如下：

  Func1:
      mov %ax, 0x100
  
  jmp Func1
  

  1. 初始地址计数器值为0，遇到Func1:标签，直接绑定Func1 = 0
  2. 解析mov %ax, 0x100，该指令占3字节（操作码0xB8 + 16位小端立即数0x0100），计数器累加3，当前值为3
  3. 空行跳过，计数器值不变
  4. 解析jmp Func1，近跳转指令占3字节（操作码0xE9 + 16位相对偏移），计数器累加3，最终值为6
• 第二遍扫描（机器码生成阶段）
  这一步所有标签的地址已经在符号表里固定，编译器逐行生成对应机器码：
  • 普通指令直接按编码规则生成字节即可
  • 遇到跳转、调用指令时，分两种情况计算目标地址：
    • 绝对跳转：直接从符号表取出目标标签绑定的地址，填入指令的地址字段
    • 相对跳转：这也是手动写码时容易遇到偏移计算偏差的核心——x86体系下相对跳转的偏移计算基准，是当前跳转指令执行完成后，下一条指令的地址，也就是跳转指令起始地址加上跳转指令自身的长度，计算公式为：相对偏移 = 目标标签地址 - (当前跳转指令起始地址 + 跳转指令长度)。CPU执行跳转指令时，取完当前跳转指令后程序计数器会自动累加当前指令长度，指向下一条指令，此时加上相对偏移就得到最终跳转目标。不存在“跳转默认跳到函数末尾”的规则，写jmp Func1就一定会跳转到Func1绑定的地址，也就是示例中mov指令的起始位置。

对于.o可重定位目标文件，逻辑和上述生成.bin平二进制文件的流程基本一致，区别是第一遍扫描时只计算标签在对应段内的偏移，跳转指令的地址字段暂时留空，同时生成重定位表项，等后续链接阶段把多个目标文件的段拼接完成、确定所有段的实际加载基址后，再修正所有跳转、引用的地址值。

自研编译器、模拟器的实现提示 #

• 不需要给“函数”做任何特殊处理，函数本质就是绑定了一段指令块起始地址的普通标签，和循环入口、条件跳转目标的标签没有任何区别
• 实现指令集时，一定要先明确每条指令的长度，第一遍扫描只做地址计数和符号表记录，不要着急生成机器码，能避免90%的地址计算错误
• 相对跳转的基准点不要搞错：程序计数器永远在取指阶段自动累加当前指令长度，不要把跳转指令本身的起始地址当成偏移计算基准，之前遇到的需要手动+1才能跳对位置的问题，本质就是偏移计算时少扣了指令长度对应的差值
• 条件跳转、比较指令的地址计算逻辑和无条件跳转完全一致，只是执行时多一步标志位判断，决定是否真的修改程序计数器的值即可。

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