草帽王子 发表于 2021-5-18 17:37:58

嵌入式IoT[03]_riscv实现自定义指令并用qemu运行

本帖最后由 草帽王子 于 2021-5-18 17:37 编辑

riscv实现自定义指令并用qemu运行
1.说明
2.riscv扩展指令的添加
3.裸机代码编译
4.qemu编译和指令的扩展
4.1 添加扩展指令的decodetree
4.2 添加扩展函数
4.3 解析函数实现
5.功能测试与验证


1.说明

riscv支持指令集自定义扩展,这大大增加了riscv的可玩性,同时对于一些实际应用中,自己通过一条指令来实现特定的功能,效率非常高,当然,前提是硬件平台需要对该指令的支持。

本文主要利用qemu模拟硬件平台,实现特定指令解析,同时写裸机代码来测试该指令的运行情况。当然,如果实现的很好,是需要修改riscv的gcc的,让自己的扩展指令加入。这里不做修改,后面会详细描述细节。

自定义指令实现完成后,用qemu对功能进行仿真,然后通过fgpa验证具体的行为,最后流片,一个完整的riscv,并支持自定义指令的芯片就可以完成了。

这里可以实现一个cube指令,并定义该指令的含义是将传入的值进行三次幂,得到最后的数据。

qemu模拟的硬件平台是sifive_u。


2.riscv扩展指令的添加

目的:
实现cube指令,传入一个数,比如2,那么该指令返回的结果是8,如果是3,则返回3^3=27。

riscv指令的类型:
对于riscv,其指令按照特定的类型分为一下几种。


目前的实现只基于R-type。

其扩展指令集的格式如下
.insn r opcode, func3, func7, rd, rs1, rs2

按照其语法规则opcode表示操作码,目前是7位,对于非压缩指令来说,最后两位是0。所以自己可以定义一个操作码,当然有一下操作码已经使用了,具体可以查看下面的仓库。
https://github.com/riscv/riscv-opcodes
也可以在riscv官网上
https://github.com/riscv/riscv-isa-manual/releases/download/Ratified-IMAFDQC/riscv-spec-20191213.pdf的第Chapter 24 RV32/64G Instryction Set Listings查看目前riscv定义的指令码。

比如关于算数的指令集定义如下:

自己设计一条指令要在这些标准指令之外的,比如操作码为0x7b。

内联汇编格式如下:
asm volatile(".insn r 0x7b, 6, 6, %0, %1, x0" : "=r"(cube) : "r"(addr));

于是,按照语法解析如下:
*      func7      rs2      rs1    func3         rd      opcode
* 31---------25--------19------15------12----------------6----------0
* | 000110    | 00000| *****|110|    *****       |1111011 |
* |------------------------------------------------------|----------|
上图中,*表示的是任意值,所以该指令在翻译的时候,实际上就是取出rs1表示的是寄存器地址,然后返回的是rd,也是寄存器地址。最后,从寄存器中存放的地址取数据则得到相应的值。


3.裸机代码编译

下面一段非常简单的针对sifive_u的裸机代码,并在进入main函数后,直接调用custom_cube计算得到结果。
#include

static int custom_cube(int addr)
{
    int cube;
    asm volatile (
       ".insn r 0x7b, 6, 6, %0, %1, x0"
             :"=r"(cube)
             :"r"(addr)
   );
    return cube;
}

void main()
{
    int a = 3;
    int ret = 0;
    ret = custom_cube((int)&a);
    if(ret == a*a*a)
    {
      putchar('o');
      putchar('k');
    }
    else
    {
      putchar('e');
      putchar('r');
      putchar('r');
    }
    while(1);
}程序非常简单,就是判断custom_cube得到计算结果是否与a*a*a的值相等。

代码可以在下面的地址中找到
https://github.com/bigmagic123/riscv-hello-c下载sifive的交叉编译工具链即可,不需要自己编译工具链,添加到系统环境变量,即可编译。

通过反汇编查看
riscv64-unknown-elf-objdump-D build/bin/rv64imac/qemu-sifive_u/hello > 1.txt可以看到如下的信息:

可以看到gcc并不认识这条指令,没法翻译成伪代码,所以直接变成机器码了。

手动分析一下这个机器码
*      func7      rs2      rs1    func3         rd      opcode
* 31---------25--------19------15------12----------------6----------0
* | 0000110    | 00000| 01111|110|    01111      |1111011 |
* |------------------------------------------------------|----------|通过上述分析,主要关注传递的参数rs1与rd。其值都是01111,因为寄存器一共是32位,所以用五位来表示,此时使用了x15寄存器传递参数同时作为返回值。


4.qemu编译和指令的扩展

本机测试环境是Ubuntu20.04,首先需要从官方网站上下载最新的代码。

执行下面的命令,安装编译环境。
sudo apt-get install -y git build-essential pkg-config zlib1g-dev libglib2.0-0 libglib2.0-dev libsdl1.2-dev libpixman-1-dev libfdt-dev autoconf automake libtool librbd-dev libaio-dev flex bison make
sudo apt-get install ninja-build
并进入qemu目录并创建build目录,进入build,输入下面语句开始编译。
../configure --prefix=your_path/linux_qemu --target-list=riscv32-softmmu,riscv64-softmmu && make -j8 && make install其中your_path/linux_qemu是自己存在的目录。编译完成后,qemu在该目录下。


4.1 添加扩展指令的decodetree

由于riscv指令格式具有一定的规律,所以有人根据语法规则写了一个通用的python脚本来生产对应指令解析函数,这也是非常值得学习。qemu是通过指令集解析的,目前只需在decodetree中增加一条cube指令的实现即可。

在target/riscv/insn32.decode中。

只需要按照规定的格式排版即可

定义其格式


4.2 添加扩展函数

在扩展函数实现上可以在target/riscv/insn_trans/trans_rvi.c.inc中添加
static bool trans_cube(DisasContext *ctx, arg_cube *a)
{
    gen_helper_cube(cpu_gpr, cpu_gpr);
    return true;
}当指令集解析时,匹配上操作码后,可以执行该函数。

另外也需要在target/riscv/helper.h函数中添加函数定义
DEF_HELPER_1(cube, tl, tl)其中第一个参数为名称,第二个是返回值,第三个是参数传递值。


4.3 解析函数实现

可以在target/riscv/op_helper.c中添加具体指令的实现。
target_ulong helper_cube(target_ulong rs1)
{
    target_ulong val;
    cpu_physical_memory_rw(rs1, &val, 4, 0);
    return val*val*val;
}由于该指令是实现立方乘法,所以返回乘法值即可。


5.功能测试与验证

qemu重新编译后,执行第二章节的代码。

当指令执行正确会输出ok。
qemu-system-riscv64 -nographic -machine sifive_u -bios none -kernel build/bin/rv64imac/qemu-sifive_u/hello实际执行效果如下:

此时,可以正常的执行成功。


页: [1]
查看完整版本: 嵌入式IoT[03]_riscv实现自定义指令并用qemu运行