RISC-V指令集架构------RV32C压缩指令集

0 概述

 

    RV32C是RISC-V架构中的一种指令集，其设计目标是提供高效的指令压缩技术，同时保持RISC-V架构的简洁和灵活性。它是RISC-V架构中的一个重要的扩展，为嵌入式系统和低功耗设备提供了方便和支持。基于32位寄存器的RISC-V架构，同时增加了压缩指令集（C），可以将32位指令压缩为16位或更短的指令，从而减少指令存储和传输的开销，提高指令的缓存效率，同时降低功耗和成本。

    RV32C指令集包含了一些常用的指令，如算术、逻辑、数据传输、分支和跳转等指令。尽管这些指令可以被压缩成16位或更短的指令，但是其功能与32位指令相同。此外外，还提供了一些特殊的压缩寄存器，用于存储压缩指令的结果。

    总的来说，RV32C是RISC-V架构中的一种扩展，它为程序员提供了一些常用指令的压缩形式，可以减少指令存储和传输的开销，提高指令的缓存效率，同时也能够降低功耗和成本。

1 RV32C指令集概述

    相比于ARM和MIPS中为了缩小代码而从心设计指令集来说，RV32C采用了一种新颖的办法：每条短指令必须和一条标准的32位RISC-V指令一一对应。此外，16位指令只对汇编器和链接器可见，是否以短指令取代对应的宽指令有它们自己觉决定，这对弈编译器编写者和汇编语言程序原始很幸福的。基于对程序的观察发现：

• 对十个常用寄存器（a0-a5,s0-s1,sp和ra）的访问频率要远超其他寄存器；
• 许多指令的写入目标是它们的源操作数之一；
• 立即数往往很小。

    RV32C的指令集可以表述为：

2 RV32C指令集详解

2.1 加载/存储指令

2.1.1 C.LWSP指令（c.lwsp rd,uimm(x2)）

x[rd] = sext(M[x[2] + uimm][31:0])

• 栈指针相关字加载（Load Word, Stack-Pointer Relative），扩展形式为lw rd,uimm(x2)，rd=x0时非法。

2.1.2 C.SWSP指令（c.swsp rs2,uimm(x2)）

M[x[2] + uimm][31:0] = x[rs2]

• 栈指针相关字存储（Store Word, Stack-Pointer Relative），扩展形式为sw rs2,uimm(x2)。

2.1.3 C.LW指令 （c.lw rd‘’,uimm(rs1')）

x[8+rd’] = sext(M[x[8+rs1’] + uimm][31:0])

• 字加载（Load Word），扩展形式为lw rd,uimm(rs1)，其中rd=8+rd',rs1=8+rs1'

2.1.4 C.SW指令（c.sw rs2',uimm(rs1')）

M[x[8+rs1’] + uimm][31:0] = x[8+rs2’]

• 字存储（Store Word），扩展形式为sw rs2,uimm(rs1)，其中rs2=8+rs2'，rs1=8+rs1'。

2.2 跳转指令

2.2.1 C.J指令（c.j offset）

pc += sext(offset)

• 跳转（Jump），扩展形式为jal x0,offset

2.2.2 C.JAL指令（c.jal offset）

x[1] = pc+2; pc += sext(offset)

• 链接跳转（Jump and Link），扩展形式为jal x1,offset

2.2.3 C.JALR指令（c.jalr rs1）

t = pc+2; pc = x[rs1]; x[1] = t

• 寄存器链接跳转（Jump and Link Register），扩展形式为jalr x1,0(rs1)，当rs1=x0时非法。

2.3 判断分支指令

2.3.1 C.BEQZ指令（c.beqz rs1',offset）

if (x[8+rs1’] == 0) pc += sext(offset)

• 等于零时分支（Branch if Equal to Zero），扩展形式为beq rs1,x0,offset，其中rs1=8+rs1'。

2.3.2 C.BNEZ指令（c.bnez rs1',offset）

if (x[8+rs1’] ≠ 0) pc += sext(offset)

• 不等于零时分支（Branch if Not Equal to Zero），扩展形式为bne rs1,x0,ofset，其中rs1=8+rs1'。

2.4 算数指令

2.4.1 C.LI指令（c.li rd,imm）

x[rd] = sext(imm)

• 立即数加载（Load Immediate），扩展形式为addi rd,x0,imm。

2.4.2 C.LUI指令（c.lui rd,imm）

x[rd] = sext(imm[17:12] << 12)

• 高位立即数加载（Load Upper Immediate），扩展形式为lui rd,imm，当rd=x2或imm=0时非法

2.4.3 C.ADDI指令（c.addi rd,imm）

x[rd] = x[rd] + sext(imm)

• 加立即数（Add Immediate），扩展形式为addi rd,rd,imm

2.4.4 C.ADDI16SP指令（c.addi16sp imm）

x[2] = x[2] + sext(imm)

• 加16倍立即数到栈指针（Add Immediate, Scaled by 16, to Stack Pointer），扩展形式为addi x2,x2,imm，imm=0时非法。

2.4.5 C.ADDI4SPN指令（c.addi4spn rd',uimm）

x[8+rd’] = x[2] + uimm

• 加4倍立即数到栈指针（Add Immediate, Scaled by 4, to Stack Pointer, Nondestructive），扩展形式为addi rd,x2,uimm，其中rd=8+rd'。uimm=0时非法。

2.4.6 C.SLLI指令（c.slli rd,uimm）

x[rd] = x[rd] << uimm

• 立即数逻辑左移（Shift Left Logical Immediate），扩展形式为slli rd,rd,uimm。

2.4.7 C.SRLI指令（c.srli rd',uimm）

x[8+rd’] = x[8+rd’] >>u uimm

• 立即数逻辑右移（Shift Right Logical Immediate），扩展形式为srli rd,rd,uimm，其中rd=8+rd'。

2.4.8 C.SRAI指令（srai rd',uimm）

x[8+rd’] = x[8+rd’] >>s uimm

• 立即数算数右移（Shift Right Arithmetic Immediate），扩展形式为srai rd,rd,uimm，其中rd=8+rd'。

2.4.9 C.ANDI指令（c.andi rd',imm）

x[8+rd’] = x[8+rd’] & sext(imm)

• 与立即数（AND Immediate），扩展形式为andi rd,rd,imm，其中rd=8+rd'。

2.4.10 C.MV指令（c.mv rd,rs2）

x[rd] = x[rs2]

• 移动（Move），扩展形式为add,rd,x0,rs2，rs2=0时非法。

2.4.11 C.ADD指令（c.add rd,rs2）

x[rd] = x[rd] + x[rs2]

• 加（Add），扩展形式为add rd,rd,rs2。rd=x0或rs2=x0时非法。

2.4.12 C.AND指令（c.and rd'.rs2'）

x[8+rd’] = x[8+rd’] & x[8+rs2’]

• 与（AND），扩展形式为and rd,rd,rs2，其中rd=8+rd'，rs2=8+rs2'。

2.4.13 C.OR指令（c.or rd',rs2'）

x[8+rd’] = x[8+rd’] | x[8+rs2’]

• 或（OR），扩展形式为or rd,rd,rs2，其中rd=8+rd'，rs2=8+rs2'。

2.4.14 C.XOR指令（c.xor rd',rs2'）

x[8+rd’] = x[8+rd’] ^ x[8+rs2’]

• 异或（Exclusive-OR），扩展形式为xor rd,rd,rs2，其中rd=8+rd'，rs2=8+rs2'。

2.4.15 C.SUB指令（c.sub rd',rs2'）

x[8+rd’] = x[8+rd’] - x[8+rs2’]

• 扩展形式为sub rd,rd,rs2，其中rd=8+rd'，rs2=8+rs2'。

2.5 系统指令

2.5.1 C.EBREAK指令（c.ebreak）

RaiseException(Breakpoint)

• 环境断点（Environment Breakpoint），扩展形式为ebreak。