编译器只声明对齐约束并生成带属性的代码段，链接器按段对齐规则合并填充并固化地址，硬件运行时校验PC是否满足对齐要求；三者分工明确，不存在编译期“精准对齐PC”的操作。
编译期本身不负责将异常表跳转地址与程序计数器（PC）进行“精准对齐”——这个说法存在概念混淆。真正完成对齐动作的是链接器（linker）和运行时加载机制，而编译器（compiler）只做静态布局准备与对齐声明。关键要分清三者的分工：
编译器的作用：声明对齐约束，生成带属性的代码段
编译器在生成目标文件（.o）时，会根据架构规范和用户指示，为异常向量表（如 mtvec 指向的入口）、中断处理函数等关键符号标注对齐要求。例如：
- 在 RISC-V 中，
mtvec要求 4 字节对齐（最低两位必须为00），编译器会用.align 2（即 2² = 4 字节）指令对齐异常向量表起始地址； - 对异常处理函数入口，可能加
__attribute__((section(".trap"), aligned(4)))，确保该函数第一条指令地址满足取指对齐要求； - 若启用 RVC（压缩指令集），还需额外保证 2 字节对齐，此时可能用
.align 1配合指令类型检查。
这些 .align 指令不是“让 PC 对齐”，而是让代码段起始地址满足硬件取指所需的地址模数约束，从而确保后续 PC 值天然落在合法位置。
链接器的作用：按段对齐规则合并并填充，固化地址
链接器读取所有目标文件的段（section）信息，依据链接脚本（如 link.ld）中定义的内存布局和对齐要求，完成最终地址分配：
- 将
.vector或.trap段强制映射到指定地址（如0x80000000），并确保其LOADADDR和VMA都满足.align 2（RISC-V 32位指令）或.align 1（含 RVC）； - 在段之间插入 padding 字节，使下一个段起始地址满足最小对齐；
- 修正所有重定位项（如
R_RISCV_RELATIVE），确保mtvec寄存器写入的是已对齐的、绝对的、可直接跳转的入口地址。
此时，异常向量表的首地址、各 handler 入口地址，已在二进制镜像中固定且合规。
程序计数器（PC）的“对齐”是硬件行为，非软件主动调整
PC 的值由硬件自动更新，其合法性由取指单元实时校验：
- 当 CPU 执行
csrw mtvec, a0后，若a0是未对齐地址（如0x80000001），后续触发异常时仍会因mepc指向非法地址而再次触发非法指令异常； - 因此，软件必须确保写入
mtvec的值本身是对齐的——这依赖于链接器输出的地址，而非编译器在编译时“把 PC 算出来再对齐”。
简言之：
- 编译器声明“这里需要对齐”；
- 链接器落实“这里确实对齐了，并填好地址”；
- 硬件在运行时只认地址是否满足
pc & (A-1) == 0（A 为对齐粒度），不接受任何妥协。
不复杂但容易忽略。
