RISC-V架构中a1寄存器何时用于函数返回值存储？

先附上对应的C代码与汇编代码：

C代码 #

// 1 long foo(long a, unsigned long b, char *cp)
// 2 {
// 3   char c = *cp;
// 4   long sum=0;
// 5   long n = a > b ? a-b : b-a;
// 6 
// 7   do {
// 8     sum += n + c;
// 9     n--;
// 10   } while (n > 0);
// 11 
// 12   return sum;
// 13 }

RISC-V汇编代码 #

.file   "example.c"
        .text
        .align  2
        .globl  foo
foo:                            # a0 = a, a1 = b, a2 = cp
        lbu     a5,0(a2)        # a5 = load byte at *c        (=c)
        sub     a4,a1,a0        # a4 = b-a                    (=n, ? false, line 5)
        bleu    a0,a1,.L3       # a < b ? goto .L3
        sub     a4,a0,a1        # a4 = a-b                    (=n, ? true, line 5)
.L3:
        add     a5,a5,a4        # a5 = c + n
        li      a0,0            # a0 = 0                      (=sum, line 4)
.L4:
        add     a0,a0,a5        # a0 += a5 (=c+n)             (line 8)
        addi    a4,a4,-1        # a4--                        (=n--, line 9)
        addi    a5,a5,-1        # a5--                        (=(c+n)--)
        bgt     a4,zero,.L4     # a4(=n) > 0 ? goto .L4
        ret                     # return a0(=sum)

针对你的疑问逐一解答：

1. a0是否为默认返回值寄存器，a1仅在返回值无法放入a0或存在多个返回值时使用？ #

没错，这是**RISC-V ABI（应用二进制接口）**明确规定的：

• 单个、长度不超过XLEN（寄存器位宽，比如64位系统就是64位）的返回值，默认存在a0；
• 当返回值是双XLEN长度（比如64位系统下的128位整数__int128），会拆分到a0（低半部分）和a1（高半部分）；
• 多个返回值（比如返回结构体且大小不超过2*XLEN时）也会拆分到a0/a1；更大的结构则会通过栈传递。

2. 编译器是否明确知晓需用a0存储返回值？ #

当然。编译器在生成代码时严格遵守RISC-V的ABI规范，从编译阶段就确定了参数传递、返回值存储的寄存器规则——不管你的函数逻辑是什么，只要是符合规范的函数返回值，都会按约定放到对应寄存器里，这是编译流程的固定环节，和代码中的变量计算逻辑无关。

3. 若返回值sum类型远大于long、无法放入a0，编译器是否会将其拆分存入a0与a1？ #

分情况：

• 如果返回值大小刚好是2*XLEN（比如64位RISC-V下的128位整数），会拆分到a0和a1；
• 如果返回值大小超过2*XLEN（比如超大结构体、动态数组），编译器不会用寄存器拆分存储，而是会让调用方提前在栈上分配一块内存空间，函数把返回值写入该空间，最后用a0返回这块内存的地址。

4. 疑惑汇编代码未明确标注返回值存储位置，相关逻辑似乎隐式执行。 #

这是因为RISC-V的ABI是所有工具链（编译器、汇编器、链接器、调试器）共同遵守的标准约定，属于行业通用的“潜规则”：所有符合规范的代码都默认知道ret返回时，返回值在a0（必要时加a1）里，所以不需要在汇编代码里额外标注。就像函数调用时参数默认存在a0/a1/a2等寄存器里，也不需要额外说明一样。

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