1.概述
在riscv的处理器开发过程中，各家处理器往往都会涉及到自定义指令功能的添加。在处理器设计上，添加一些特定功能的指令是十分正常的，一般处理办法本文会讲述，让其识别客户自定义的指令。从现有的解决办法上来看，第一种是可以利用 Kito Cheng提供的 .insn模板进行开发，第二种则是修改 binutils的方法。本文主要介绍这两种办法进行riscv custom指令的添加。
2.riscv指令集基础
要想设计一条自定义的riscv指令，必须了解riscv指令的构成。
从riscv指令集手册上来说，riscv的指令集被分成了R-type,I-type,S-type,B-type,U-type,J-type。
每一种类型的指令的格式都不相同，按照特定的机器码编排的指令有着特殊的用途。
在进行指令实验时，可以通过自定义一条基础整数指令开始。
按照划分，riscv的模块化指令集可以分成下列许多类型：
riscv基础指令集中，主要分析R-type,同时可以自定义一条custom指令。
custom的指令可以添加一条
比如自定义一条 cube指令，该指令的作用是计算算数立方。
| func7 | rs2 | rs1 | func3 | rd | opcode |
|---|---|---|---|---|---|
| 000110 | 00000 | ***** | 110 | ***** | 1111011 |
设计完成指令后，就可以实现该指令了。
3.利用.insn模板进行编程
在利用.insn模板进行编程时，不需要修改riscv的gcc任何代码，只需要用户根据指令编码设计模型。
对于R-type的指令模板构成，有下面的通用处理办法：
.insn r opcode， func3， func7， rd， rs1， rs2
从c内联汇编编程的编程方式，cube指令的实现可以通过下面的指令进行操作。
asm volatile（“.insn r 0x7b， 6， 6， %0， %1， x0” ： “=r”（cube） ： “r”（addr））;
当然，也可以裸写汇编,a0，a1寄存器中存放的是函数调用时的两个参数。
.insn r 0x7b， 6， 6， a0， a1， x0
这样就完成了一条指令的功能。x0在riscv架构中，始终为0，所以该指令实际上就是讲a1的数据通过算数立方乘，将结果存放到a0寄存器。
通过手写C代码进行测试
反汇编后可以得到
其中的 0xc07e7fb，机器码交给实际的硬件进行解析，只要硬件设计指令按照指令规范即可。这样就能够实现算数立方的功能了。
4.修改 binutils让riscv gcc认识到这条指令
采用 .insn模板进行编程的缺点非常明显，就是非常的复杂难懂，编程人员还需要知道每条指令的机器码，这样不利于riscv编程使用者的开发体验。为了解决这样的问题，可以通过修改binutils来解决。
4.1 利用riscv-opcodes生成对应的宏
首先定义好cube指令的格式后。
| func7 | rs2 | rs1 | func3 | rd | opcode |
|---|---|---|---|---|---|
| 000110 | 00000 | ***** | 110 | ***** | 1111011 |
可生成对应的指令模板。
首先新建一个 opcodes-custom文件。
添加如下的内容
cube rd rs1 rs2 31..25=0x0c 14..12=0x6 6..2=0x1e 1..0=3
其中的格式是按照定义好的指令序列进行排布。
接着输入
cat opcodes-custom | python3 parse_opcodes -c > encoding.h
可看到 encoding.h生成对应的文件
DECLARE_INSN(cube, MATCH_CUBE, MASK_CUBE)
还生成下面的宏定义
#define MATCH_CUBE 0x1800607b
#define MASK_CUBE 0xfe00707f
4.2 修改 binutils
在 riscv-gnu-toolchain/riscv-binutils中，修改
include/opcode/riscv-opc.h
上述 riscv-opcodes生成的三条宏定义放到该文件中。
然后修改 opcodes/riscv-opc.c中的指令定义。
{"cube", 0, INSN_CLASS_I, "d,s,t", MATCH_CUBE, MASK_CUBE, match_opcode, 0 },
修改完成后，这样就添加完成了。
4.3 编译与测试
对于单独编译binutils，可以直接进入到 build-binutils-newlib。
输入 make -j8 && make install。不用全部重新编译riscv gcc效率比较高。
如果是第一次编译 riscv-gnu-toolchain，则没有 build-binutils-newlib，需要全部重新编译：
./configure --prefix=$RISCV --enable-multilib --with-cmodel=medany
make -j8
测试时，可以写内联汇编
很容易，也可以在汇编文件中写
cube a0,a1,zero
因为x0寄存器表示zero,所以这样写是等价的。
通过反汇编后可以看到解析代码如下：
直接写汇编，gcc已经可以识别到cube指令了。
5.两种办法分析
riscv添加新的自定义指令，利用 .insn的好处是不用修改riscv gcc的代码，所有的riscv gcc均可进行编译，但是需要理解指令的操作码，对于应用程序编程来说比较复杂，更加适合硬件指令的功能验证。而采用修改 binutils则需要单独维护一个与riscv gcc主线分离的版本，单独发布，更适合芯片方案厂商。虽然修改riscv gcc并不是一件很容易的事情，但是对用户来说，操作体验更好。
评论