自己动手写CPU之第五阶段（4）——逻辑、移位与空指令的实现

将陆续上传本人写的新书《自己动手写CPU》（尚未出版），今天是第18篇，我尽量每周四篇

5.5 修改OpenMIPS以实现逻辑、移位操作与空指令

      为了实现逻辑、移位操作与空指令（其中nop、ssnop不用特意实现，可以认为是特殊的逻辑左移指令sll），只需要修改OpenMIPS的如下两个模块。

•  修改译码阶段的ID模块，用以实现对上述指令的译码。
•  修改执行阶段的EX模块，使其按照译码结果进行运算。

5.5.1 修改译码阶段的ID模块

      首先给出如下宏定义，都在文件defines.v中定义，读者可以在本书附带光盘的Code\Chapter5_2目录下找到该文件。

`define EXE_AND  6'b100100          // and指令的功能码
`define EXE_OR   6'b100101          //  or指令的功能码
`define EXE_XOR  6'b100110          // xor指令的功能码
`define EXE_NOR  6'b100111          // nor指令的功能码
`define EXE_ANDI 6'b001100          //andi指令的指令码
`define EXE_ORI  6'b001101          // ori指令的指令码
`define EXE_XORI 6'b001110          //xori指令的指令码
`define EXE_LUI  6'b001111          // lui指令的指令码

`define EXE_SLL  6'b000000          // sll指令的功能码
`define EXE_SLLV 6'b000100          //sllv指令的功能码
`define EXE_SRL  6'b000010          // sra指令的功能码
`define EXE_SRLV 6'b000110          //srlv指令的功能码
`define EXE_SRA  6'b000011          // sra指令的功能码
`define EXE_SRAV 6'b000111          //srav指令的功能码

`define EXE_SYNC  6'b001111         //sync指令的功能码
`define EXE_PREF  6'b110011         //pref指令的指令码
`define EXE_SPECIAL_INST 6'b000000  //SPECIAL类指令的指令码

      对指令进行译码的前提是能判断出指令种类，这个过程如图5-15所示。其中op就是指令的26-31bit，即指令码，op2就是指令的6-10 bit，op3就是指令的0-5bit，即功能码，op4就是指令的16-20bit，定义如下。

  wire[5:0] op  = inst_i[31:26];    // 指令码
  wire[4:0] op2 = inst_i[10:6];
  wire[5:0] op3 = inst_i[5:0];      // 功能码
  wire[4:0] op4 = inst_i[20:16];

      首先依据指令码op进行判断，如果是SPECIAL类指令，再判断指令的6-10bit（即op2）是否为0，如果为0，那么再依据功能码op3的值，进行最终判断，确定指令类型。如果指令码op不为SPECIAL，那么就直接依据指令码op的值进行判断。

      只有在确定指令sll、srl、sra的时候有一点特殊，从图5-13可知这3条指令都是SPECIAL类指令，但是这3条指令还要求第21-25bit为0，而且第6-10bit为移位位数，所以这3条指令的判断过程是：判断指令的21-31bit是否全为0，如果全为0，那么再依据功能码op3进行最终判断，确定指令类型。

      ID模块主要修改内容如下，完整的代码可以参考本书附带光盘Code\Chapter5_2目录下的id.v文件。

module id(
......
);

  wire[5:0] op  = inst_i[31:26];
  wire[4:0] op2 = inst_i[10:6];
  wire[5:0] op3 = inst_i[5:0];
  wire[4:0] op4 = inst_i[20:16];
  reg[`RegBus]	imm;
  reg instvalid;
  
always @ (*) begin	
	if (rst == `RstEnable) begin
	  aluop_o     <= `EXE_NOP_OP;
	  alusel_o