汇编语言中.loop:与loop:的区别及树莓派4B代码运行疑问

以下是你提供的树莓派4B上运行的汇编代码：

.section .data
msg1:
    .asciz "Hello1: %d\n"
msg2:
    .asciz "Hello2: %d\n"

.section .text
.global main

main:
    mov r4, #0         
.loop:
    cmp r4, #5          
    bge .endloop         
    ldr r0, =msg1       
    mov r1, r4
    bl printf          
    add r4, r4, #1      
    b .loop            
.endloop:
    mov r7, #1          
    mov r0, #0         
    swi 0               

针对你提出的“将.loop:替换为loop:、.endloop:替换为endloop:后程序仍能正常执行，两者有何区别”的问题，结合树莓派使用的GNU汇编器（GAS），核心区别如下：

• 作用域不同
  带.的是局部标签，仅在当前的全局标签（比如代码里的main:）范围内有效。如果代码包含多个函数（全局标签），每个函数都可以定义自己的.loop:，不会出现命名冲突；而不带.的是全局标签，整个汇编项目中只能存在一个同名全局标签，重复定义会直接触发汇编错误。

• 符号可见性不同
  不带.的全局标签会被写入目标文件的符号表，链接器可以识别它，甚至其他独立编译的目标文件也能引用这个标签；带.的局部标签不会进入全局符号表，仅在当前局部代码块内有效，外部无法访问。

• 跳转语法灵活性不同
  局部标签支持相对编号跳转，比如用b 1b跳转到前面最近的1号局部标签，b 1f跳转到后面最近的1号局部标签（你例子里直接用.loop跳转也是合法的）；而全局标签只能通过完整名称跳转，没有这种简化写法。

你的代码中只有main一个全局标签，所以修改后不会出现冲突，程序能正常运行。但在复杂的多函数项目中，使用带.的局部标签能有效避免符号命名冲突，让代码结构更清晰、更安全。

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