RISC-V函数内数组初始化的内存分配及指令疑问

你疑惑的(元素数量×元素大小)+15和andi (数组字节大小),(数组字节大小), -16操作，本质是把数组所需的栈空间大小向上取整到16字节的最小倍数，这完全是为了符合RISC-V架构的ABI（应用二进制接口）要求。

为什么需要16字节对齐？ #

• RISC-V的通用处理器ABI（psABI）明确规定：函数执行过程中，栈指针sp必须始终保持16字节对齐。
• 对齐的核心原因：
  • 兼容特殊指令：比如双精度浮点指令（fld/fsd）、向量指令等，都要求内存访问地址满足特定对齐要求，16字节对齐是通用的安全标准。
  • 提升性能：对齐的内存访问在RISC-V处理器上效率更高，部分严格的处理器甚至会对非对齐访问触发异常。
  • 函数调用一致性：保证栈帧切换、函数调用时的栈状态符合规范，避免跨函数调用时出现兼容性问题。

对齐操作的具体原理 #

1. andi ..., -16的作用 #

在RISC-V的补码表示中，-16的二进制是末尾4位全0，其余位全1（比如32位是0xFFFFFFF0，64位是0xFFFFFFFFFFFFFFF0）。andi指令会将操作数的最后4位清零，相当于向下取整到最近的16字节倍数。

2. 先加15的原因 #

如果直接对原大小执行andi -16，得到的是小于等于原大小的16倍数，这会导致栈空间不足。而先加15：

• 若原大小已经是16的倍数，加15后再取整，结果和原大小一致（比如32+15=47，47&-16=32）。
• 若原大小不是16的倍数，加15后会让数值跨越到下一个16倍数区间，再取整就得到大于原大小的最小16倍数（比如40+15=55，55&-16=48）。

结合你的汇编代码举例 #

假设你的C函数中数组是10个int（每个4字节，共40字节），对应汇编的关键操作：

addi    a0, a0, 15  # 原大小40 +15 =55
andi    a0, a0, -16 # 55 & -16 =48，得到对齐后的栈空间大小

• 第7行的addi是把原数组大小加上15，让数值进入下一个16倍数的覆盖区间。
• 第8行的andi通过位操作清零最后4位，得到大于原大小的最小16字节倍数（48字节）。
  这样分配栈空间后，栈指针sp减去48字节依然保持16字节对齐，完全符合RISC-V的ABI规范。

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