汇编跳转目标：函数与标签是否需8字节对齐？

1. 跳转目标标签是否必须对齐到8字节边界？ #

不是必须的。CPU的跳转指令（比如jmp）可以跳转到任意内存地址，不管该地址是否对齐。你给出的第一个示例代码完全可以正常运行，不会因为.ret1、.ret2没对齐而报错。

添加ALIGN 8属于性能优化手段，而非语法或功能上的强制要求。现代CPU的指令预取、译码单元通常按8字节或16字节的块来处理指令，如果指令起始地址刚好落在这些块的边界上，能减少预取时的拆分操作，提升执行效率。但如果你的代码对性能要求不高（比如小工具、调试代码），完全可以省略对齐指令。

2. 函数本身是否必须对齐到8字节边界？ #

同样不是强制要求，但多数编译器和汇编规范会默认对函数入口做对齐（通常是8字节或16字节，取决于CPU架构和编译选项）。原因还是性能优化：函数作为高频执行的入口点，对齐后能让CPU更高效地加载和执行函数内的指令。

比如x86-64架构下，系统V ABI规范建议函数入口对齐到16字节，这是因为x86-64的SIMD指令（比如SSE、AVX）要求操作数对齐，同时函数栈帧的初始化也依赖对齐的入口地址。但即便你手动写汇编时不做函数对齐，代码依然能运行，只是可能在性能上有微小损失。

示例代码说明 #

你的第一个代码示例无需修改就能正常工作：

func:
        jmp     .ret1
 .ret1: mov     eax, 1
        ret
 .ret2: mov     eax, 2
        ret

如果追求性能，可以给函数入口和高频跳转的标签添加对齐，但这不是必须的：

ALIGN 8
func:
        jmp     .ret1
   ALIGN 8
 .ret1: mov     eax, 1
        ret
   ALIGN 8
 .ret2: mov     eax, 2
        ret

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