计算机体系结构学习 --- RISC-V（一）

计算机体系结构学习 --- RISC-V（一）

1、Instructions for making decisions

条件语句实际上有6种类型，最基本的有两种：

beq rs1,rs2,L1 //若rs1=rs2，那么跳转到L1
bne rs1,rs2,L1 //若rs1!=rs2，那么跳转到L1

这两个指令都是关于有符号数的等于和非等于的关系，但是大小比较除了这样的关系之外，还有大于，小于等于这样的关系，因此有：

若与中均为补码，且和相比，更小，那么就取该分支若，采取该分支

若与中均为无符号数，且和相比，更小，那么就取该分支同理，若和均为无符号数，，采取该分支

条件语句的运用范围非常广泛，包括Loops(循环)，Bounds check shortcut(索引检查)，Case/Switch statement(用于Case/Switch)等等；

（1）Loops:

举一个例子，以C语言为例：

while(save[i] == k)
    i += 1;

我们设save数组的base地址存在x25，i：x22，k：x24；那么就有assembly programmable language为：

Loop:
    slli x10,x22,3 //i*8
    add x10,x10,x25 //x25+x10，确定新save[i]的地址
    ld x9,0(x10) //将save[i]的值读入x9寄存器中
    bne x9,x24,EXIT //若x9==x24，就跳转EXIT
    addi x22,x22,1 //i+1
    beq x0,x0,LOOP //非条件跳转，一定会返回LOOP处
EXIT:

其中，条件语句外的简单语句被称为basic block。编译中要做的第一件事就是将程序打平成basic block的形式，后面会说到。

（2）Bounds check shortcut:

这是一种特别的情况，例如如下代码：

bgeu x20,x11,IndexOutofBounds //若x20 >= x11,或者x20<0的话，那么就可以将branch引向索引越界

（3）Case/Switch statement:

利用branch address table/branch table(选择条件序列的地址表)，程序只要索引到表中，再分支到对应的sequence中即可；其中，branch table是存放着双字地址的表格；

条件语句包含跳转含义，而实行跳转还有无条件跳转语句，RISC-V中提供了两种无条件条件语句，包括jalr和jal。

2、Supporting Procedures in Computer Hardware

（1）对于程序中包含两种特殊跳转，procedure/function，过程/函数；关于过程和函数的执行流程略。

其中用于分配procedure的32位寄存器有x10-x17，用于存储返回值。而x1是用于返回原来地址的寄存器。

在过程语句和函数语句中，有两种无条件跳转，分别为jal(jump-and-link instrcution)，这个语句使用方式如下：

jal x1,ProcedureAdress //跳转到ProcedureAdress处，并将原来程序的地址写入x1

而jalr用于返回原来的地址，如下所示：

jalr x0,0(x1) //无条件跳转回原来的程序地址，用于跳转caller程序

用于存储当前地址的寄存器，称为PC(program counter)。在连续执行的情况下，用jal实现，每次返回的地址设为PC+4,再存入x1即可。或者有jal x0,Label，即无条件跳转至Label处，但是不返回任何值作为存储。

其中，有一个很关键的一点是，就是寄存器值是有限的，我们有的时候需要不止8个寄存器，此时我们使用stack（堆栈）对需要返回的地址和要用到的值进行存储。这样的过程称为spil registers to memory。特别注意的是堆栈的地址是从高到低的。

堆栈是一种last-in-first-out的队列。在使用堆栈时，我们需要一个堆栈指针sp(stack pointer)，通常是x2。<