RISC-V GCC编译器汇编代码编译异常问题求助

核心问题 #

你最后一段内联汇编的约束完全错误：

• 你把write_target声明为输出寄存器（=r），但实际sh指令是读取write_target的值写入内存，不需要修改它，因此不该将其放在输出段。
• 你没有将write_target作为输入参数传入汇编模板，导致GCC根本没把它加载到独立寄存器，反而复用了base_addr的寄存器，最终执行了sh a5, 0(a5)这种错误操作。

另外前面的addi代码块完全冗余：lui指令已经直接生成了0x10406000的地址，加0的操作毫无意义，反而让GCC生成了多余的存/取指令。

修正后的代码 #

// write_target = 0x1F9
asm volatile ( 
  "li   %0, 0x1F9\n"
  : "=r"(write_target)
);

// base_addr = 0x1040_6000
asm volatile (
  "lui %0, 0x10406"  // 直接写十六进制更直观，无需转十进制66566
  : "=r" (base_addr)
);

// 核心修正：将write_target作为输入，无输出（仅写内存）
asm volatile ( 
  "sh   %0, 0(%1)\n"
  :  // 输出段为空，此操作不修改任何C变量
  : "r"(write_target), "r"(base_addr)  // 输入参数：要写入的值、目标地址
  : "memory"  // 告知GCC这段汇编修改了内存，阻止优化导致的乱序或省略
);

关键知识点解释 #

1. 内联汇编约束规则：

   • 输出约束（=开头）表示汇编会修改对应C变量，GCC会分配寄存器并将值写回内存。
   • 输入约束表示汇编需要读取对应C变量的值，GCC会将其加载到指定类型的寄存器中。
     你之前的错误是把需要读取的变量放到了输出位置，导致GCC未为其分配独立寄存器。

2. memory clobber的必要性：
   在-O3优化下，GCC会对内存操作做激进优化（比如缓存变量到寄存器、重排指令顺序）。加上"memory"可以告诉编译器：这段汇编直接访问了内存，必须确保所有内存操作的可见性，避免优化引发错误。

3. 冗余代码清理：
   原addi块属于无效操作，lui %0, 0x10406已经将base_addr设置为0x10406000，完全不需要额外执行加0操作。

验证编译结果 #

修正后，GCC会生成类似以下的正确汇编：

# write_target = 0x1F9
8000xxxx:   1f900793            li  a5,505
8000xxxx:   f6f42423            sw  a5,-152(s0)
# base_addr = 0x10406000
8000xxxx:   104067b7            lui a4,0x10406
8000xxxx:   f6c42623            sw  a4,-148(s0)
# mem[base_addr] = write_target
8000xxxx:   f6f42783            lw  a5,-152(s0)
8000xxxx:   00f78023            sh  a5,0(a4)  # 正确使用a5（write_target）和a4（base_addr）

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