SuperH汇编中常量与mov指令的距离限制及相关技术问题

问题背景 #

在SuperH汇编中，将常量放在子程序后时，以下代码可正常运行：

my_subroutine:
    mov.w my_const, r1

    ; <code omitted for brevity>

    rts
    nop

my_const: .word 0x7070

但把常量移到子程序前时，会触发错误：Error: pcrel too far：

my_const: .word 0x7070

my_subroutine:
    mov.w my_const, r1

    ; <code omitted for brevity>

    rts
    nop

推测是mov指令使用PC相对偏移访问常量，偏移超出范围导致报错，针对此场景解答以下问题：

1. 偏移量范围、对应指令及@符号疑问 #

• 偏移量范围：SuperH针对16位字操作的PC相对mov指令，偏移范围是**-2048到+2047字节**（对应11位有符号偏移字段，乘以2后得到字节级偏移）。
• 对应指令：这是mov.w @(disp,PC), Rn的隐式简化写法。汇编器会自动将符号my_const解析为PC相对偏移，生成PC相对寻址的mov指令。
• 无@符号的原因：直接写mov.w my_const, r1时，汇编器会根据符号位置自动选择寻址方式。若符号在PC相对偏移范围内，就会省略@和PC的显式写法，生成简化的PC相对寻址指令；手册里的带@写法是显式指定寻址方式，而汇编器支持这种隐式简化来简化代码。

2. 最佳编码实践及常量放置位置 #

• 最佳实践：
  • 将与子程序关联的常量放在子程序紧接的后面，确保常量处于PC相对偏移的有效范围内，避免偏移越界。
  • 若常量需被多个子程序共享，可统一放在.text段的共享常量区域，或使用绝对寻址方式访问（需注意绝对寻址的指令长度与性能）。
• 单文件子程序的常量放置：完全可以将关联常量放在子程序后，既符合PC相对寻址的范围要求，还能让代码逻辑更紧凑，便于维护。

3. 变量访问及段交错问题 #

• 变量访问：不能用这种PC相对寻址方式访问.data段变量，因为.data与.text段通常处于内存中不同地址区域，偏移量会远超PC相对寻址范围，必须使用绝对寻址或寄存器间接寻址（先将变量地址加载到寄存器，再访问）。
• 段交错：不建议交错.text和.data段。多数链接器默认会将所有.text段合并到代码区，.data段合并到数据区，强行交错可能引发链接错误或内存布局混乱，不利于程序加载执行。若要在同一文件中同时写代码和变量，需分开写在各自段内，示例：

.text
my_subroutine:
    mov.l #my_var, r1 ; 加载变量绝对地址到寄存器
    mov.w @r1, r2     ; 访问变量
    rts
    nop

.data
my_var: .word 0x1234

4. .bss段支持及段用途确认 #

• .bss段支持：部分SuperH汇编器（如GAS）支持.bss段，但老版本或特定厂商的汇编器可能不支持，会提示unknown pseudo-op。遇到这种情况，可手动在.data段末尾用.space伪指令预留未初始化空间模拟.bss功能，比如.space 4（预留4字节未初始化空间）。
• 段用途确认：
  • .text段：用于存放可执行代码和只读常量（如字符串、固定数值常量），此用法正确，因为.text段通常被映射为只读内存，可避免常量被意外修改。
  • .data段：用于存放已初始化的可读写变量，此用法也正确，.data段会被加载到可读写内存区域，程序运行时可修改其中内容。

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