关于RISC-V汇编指令功能及相关问题的技术咨询

代码片段 #

loop:
1. ADDI R2, R2, 1  : Add 1 to R2
2. LD R4, 0(R3)    : Load data at R3 address into R4 (?)
3. LD R5, 4(R3)    : Load data at R3 address into R5 (?)
4. SLT R6, R4, R5  : Set R6 = R4 < R5? 0 : 1
5. SD R6, 8(R3)     : Store data in R6 at R3 address (?)
6. ADDI R3, R3, 1  : Add 1 to R3 (?)
7. BNEZ R2, loop.  : If R2 == 0, goto 1, else proceed to 8
8. ADD R11, R12, R13.: ???

备注：寄存器R2初始值为R2 = -2

问题解答 #

1. 0(R3)、4(R3)、8(R3)三种寻址方式的区别 #

这是RISC-V的基址偏移寻址，实际访问的内存地址计算公式为：基址寄存器值 + 偏移量（偏移量单位是字节），三者核心区别是偏移量不同：

• 0(R3)：访问内存地址为R3的位置
• 4(R3)：访问内存地址为R3 + 4的位置（比R3指向的地址往后4字节）
• 8(R3)：访问内存地址为R3 + 8的位置（比R3指向的地址往后8字节）

2. 循环执行2次的逻辑理解 #

R2初始值为-2，循环执行流程如下：

• 第1次进入循环：
  1. ADDI R2, R2, 1 → R2变为-1
     2-6. 执行加载内存数据、比较大小、存储比较结果、R3自增的操作
  2. BNEZ R2, loop：R2=-1≠0，跳回loop标签继续循环
• 第2次进入循环：
  1. ADDI R2, R2, 1 → R2变为0
     2-6. 重复加载、比较、存储、R3自增的操作
  2. BNEZ R2, loop：R2=0，不跳转，退出循环执行第8条指令

简言之，循环体（指令2-6）会执行2次，每次完成一组内存数据的比较与结果存储，直到R2自增到0时终止循环。

3. 代码中包含R11、R12、R13相关指令的原因 #

这条指令是循环结束后的独立执行步骤，和循环逻辑本身无关。从数据冒险的作业场景来看，它大概率是用来测试流水线数据冲突的示例指令——验证流水线中这条加法指令是否会和前面的指令产生数据依赖冲突；也可能是作业为填充代码结构添加的无关指令，本身功能是将R12与R13的数值相加，结果存入R11。

4. RISC-V指令的在线文档推荐 #

这确实是RISC-V指令集，推荐以下权威参考：

• 官方《RISC-V Instruction Set Manual Volume I: Unprivileged ISA》：包含所有无特权指令的详细定义、格式与行为，是最权威的资料
• 国内社区整理的中文RISC-V指令速查表：可快速查阅常用指令功能
  注意：你找到的IBM文档针对PowerPC架构，和RISC-V无关，不要参考。

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