如何在Go汇编宏定义中定义局部标签以避免重复定义问题

Go汇编（基于Plan 9汇编语法）没有提供专门的LOCAL指令，但可以通过**.L前缀命名标签**来实现宏内局部标签的效果，避免宏多次展开时出现标签冲突，完全能满足你通过宏优化性能的需求。

核心规则 #

宏内的局部标签必须以.L开头，汇编器会自动为每个宏展开实例中的.L标签生成唯一的后缀（比如.Lxxx.1、.Lxxx.2），确保标签只在当前宏展开的作用域内有效。

宏定义示例 #

下面是一个带局部标签的宏函数示例，用于乘法溢出检查：

#include "textflag.h"

// 定义乘法并检查溢出的宏，结果存入ret，溢出时ret设为-1
#define MUL_AND_CHECK(a, b, ret) \
    MOVQ a, AX                   \
    IMULQ b, AX                  \
    JC .Lmul_overflow            \
    MOVQ AX, ret                 \
    JMP .Lmul_end                \
.Lmul_overflow:                  \
    MOVQ $-1, ret                \
.Lmul_end:

宏使用示例 #

在函数中调用该宏，汇编器会自动处理局部标签的唯一性：

TEXT ·Mul(SB), NOSPLIT, $0
    MOVQ x+0(FP), BX
    MOVQ y+8(FP), CX
    MUL_AND_CHECK(BX, CX, ret+16(FP))
    RET

注意事项 #

• 所有宏内需要局部作用的标签都要遵循.L前缀规则
• 宏内跳转直接使用定义的.L标签即可，无需额外处理
• 该方式完全等价于传统汇编中LOCAL指令的作用，能有效避免标签重复定义问题

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