RISC-V精简到何种程度？
本帖最后由 ニコ·ロビン 于 2020-8-4 11:44 编辑RISC-V作为最新设计的精简指令集计算机体系，那么其精简到什么程度呢？
指令格式
先来看看指令格式，这格式规律地一塌糊涂啊，看着这张图，我的强迫症瞬间消失了。有规律的指令编码不仅是让强迫症患者舒服，也让处理器很舒服，指令越有规律，解码器所要的gate越少，芯片面积越小，运行速度越快。
没有立即数减法？
只有addi没有subi，减法怎么办？无论是数学上还是程序上，x - y都等价于x + (-y)，也就是说可以把减法变成加法的，把被减数转成负数然后再加上减数就实现了和减法一样的功能了。正是基于这个原理，RISC-V只提供立即数加法，没有提供立即数减法，如果需要立即数减法，那么就要麻烦编译器把这个立即数转化成负数，然后继续使用加法。这也是RISC-V将立即数作为有符号数处理的原因吧。
x0简化指令集
通过引入x0寄存器，很多特殊指令用普通的指令加上x0做操作数就给解决了。指令的数量大大降低，指令数降低了，这处理器的解码电路不就简化了嘛。有关x0寄存器的内容可以参考《牵手RISC-V：x0寄存器》
32位常量
之前用ARM的处理器，ARM都是将立即数表示不下的常量存到常量池，然后用PC相关的LDR指令加载到寄存器的。RISC-V的常量完全是用指令拼接的，不需要Load指令，要知道使用Load指令是需要额外的访问周期的。RISC-V单条指令可以表示12位的有符号常量，超过12位需要两条指令来合成。其中一条指令是lui，lui指令加载常量的高20位，低12位可以用addi指令加上去，当然了这个过程又要麻烦编译器仔细算一算立即数到底是什么了，因为addi指令执行的是有符号加法，其中的12位立即数是会先被符号扩展成32位的有符号数再参与计算的。ARM的常量加载需要8个字节，一条指令+一个常量；RISC-V的常量加载也是需要8个字节，两条指令。占用的程序空间是一样的。
只有小于和大于等于
RISC-V的比较跳转指令只有blt和bge，即只有小于和大于等于。那大于和小于等于就不需要了吗？也是需要的，不过RISC-V用了个很巧妙的办法，将blt的两个参与比较的操作数位置换一下，就有了bgt，将bge的两个参与比较的操作数位置换一下，就有了ble。真是个好办法。用两条指令实现了四条指令的工作，其中两条是伪指令，实际的指令只有两条。
让编译器做更多
我对RISC的理解就是：处理器尽量少做，让编译器尽量多做。这是非常有道理的，毕竟编译的次数远少于执行的次数啊。上面几个段落就提到不少要让编译器多做的工作，再例举个为了简化处理器的设计而让编译器多做的工作。
B-type是比较跳转指令的格式，J-type是长跳转或函数调用指令格式，注意它们的立即数排列次序，我都有点同情编译器设计师了，这怎么搞啊？具体一点讲，填充这里的立即数的应该是链接器的工作。这么排放偏移地址立即数的目的还是为了简化处理器的设计，但明显给编译器增加了工作了。
其它省掉的指令还有很多常用的指令也被省掉了，比如nop、move、not、neg，当然不是说这些功能没有，所有这些功能都是有的，不过都是用其它的指令来等价实现的，比如not指令是用xori rd, rs, -1实现的。每看到这样的指令，我对Berkeley的大神都是佩服地五体投地。
总结能省的指令都省了。能让编译器做的都让编译器做了。绝对精简。
页:
[1]