和你一起从零开始写RISC-V处理器(4)

RISC-V指令添加中的若干小细节

---

上期回顾

在上一期，着重讲解了流水线冲刷机制以及BNE指令的添加过程；其实当指令跳转的框架搭好之后，指令的添加都大同小异，无非看指令格式来确定id译码模块如何译码，看指令功能来确定ex执行模块的功能编写。

上期的最后说到，B站@外瑞罗格的程序或许有点小问题，当然了，问题不大，不影响功能；

今天来说一说这个小问题以及在指令添加过程中需要注意的若干小细节。
本文首发于公众号：FPGA学习者，关注公众号，获取更多精彩内容。

---

一、一个小问题

根据之前的设计，译码到执行部分的框图如下：

其中，回写寄存器的使能信号由译码模块给出，然后往下一级进行传递，所以按理说ex模块输出的回写寄存器的使能信号，应该由前级电路直接赋值输出；但是之前的程序中，ex的回写使能信号，是在该模块中的独立赋值，没有用到之前传递过来的信号；如下：

`INST_ADDI:                          //带有立即数的加法操作
              begin
                rd_data_o = op1_i_add_op2_i;
                rd_addr_o = rd_addr_i;
                rd_wen_o = 1'b1;
              end

应改为：

`INST_ADDI:                          //带有立即数的加法操作
              begin
                rd_data_o = op1_i_add_op2_i;
                rd_addr_o = rd_addr_i;
                rd_wen_o = reg_wen_i;    //使用译码模块传递来的信号
              end

当然了，在执行模块直接赋值也是没有问题的，如果是这样的话，那么前级id和id_ex模块就没必要设置回写使能信号了。

二、其他小细节

1.数值比较

如命令blt、bge、bltu、bgeu；后面两个命令带了u说明是无符号数的比较，前面两个为有符号数比较：

  assign    op1_i_less_op2_i    = ($signed(op1_i) < $signed(op2_i)) ?  1'b1 : 1'b0;//有符号数比较
  assign    op1_i_lessu_op2_i   = (op1_i < op2_i) ?  1'b1 : 1'b0;  

2.逻辑移位

在RISC-V的命令中，移位运算最多移5位，并且是按照低5位进行移位，例如命令sll和srl：
编程方式如下：

assign    op1_i_sll_op2_i    = op1_i << op2_i[4:0];    //这里op2_i得使用低五位
assign    op1_i_srl_op2_i    = op1_i >> op2_i[4:0];    //逻辑右移，

3.算术右移

算术右移，即移位后的空余位都用原来数据的最高位补充。可以通过构造掩码的方式产生算术右移：
上述方法有点复杂，还可以通过一种简单方法来实现，代码如下：

assign    op1_i_sra_op2_i    =  ($signed(op1_i)) >>> op2_i[4:0];

4.提高代码利用率

为了提高代码的利用率，可以事先将部分需要重复用到的运算结果先算出来，后面可以多次使用该部分结果。例如：

  assign    op1_i_equal_op2_i  = (op1_i == op2_i) ? 1'b1 : 1'b0;
  assign    op1_i_add_op2_i    = op1_i + op2_i;
  assign    op1_i_sub_op2_i    = op1_i - op2_i;
  assign    op1_i_less_op2_i    = ($signed(op1_i) < $signed(op2_i)) ?  1'b1 : 1'b0;
  assign    op1_i_lessu_op2_i   = (op1_i < op2_i) ?  1'b1 : 1'b0;
  assign    op1_i_xor_op2_i    = op1_i ^ op2_i;

因为两数相加，两数相减等等运算，在R型指令会用到，在I型指令也会用到，id译码模块将这两种指令的操作数都统一为了op1_i和op2_i，所以这边可以直接使用op1_i和op2_i进行操作，分别赋给R型指令和I型指令的运算中。

5.立即数处理

在很多类型的指令中都涉及到立即数，如下：

但是，上述几种带有立即数的指令格式都是不统一的，怎么去处理呢？
一个原则：按照指令规则扩充到32位数据；(有符号位扩展)

下面举例说明：
对于I类指令：指令[31:20]对应imm[11:0]，则32位的立即数为：

{{20{inst_i[31]}},inst[31:20]};  //将最高位扩展

对于S类指令：立即数有两个部分，扩展后的32位立即数为：

{{20{inst_i[31]}},inst_i[31:25],inst_i[11:7]};

对于B类指令：立即数也分为两个部分，不过比较乱：

{{19{inst_i[31]}},inst_i[31],inst_i[7],inst_i[30:25],inst_i[11:8],1'b0};

剩下两个类似的处理，就不多说了。

总结

今天的内容到此结束，感谢阅读！

往期精彩：

和你一起从零开始写RISC-V处理器(1)
和你一起从零开始写RISC-V处理器(2)
和你一起从零开始写RISC-V处理器(3)