M-Labs/riscv-formal-nmigen
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add list of supported instructions for RV32I

Browse Source
This commit is contained in:
Donald Sebastian Leung 2020-07-23 11:18:41 +08:00
parent 41f01f22a8
commit d54a60879d
1 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
insns/isa_rv32i.txt Normal file
View File

@ -0,0 +1,37 @@
lui
auipc
jal
jalr
beq
bne
blt
bge
bltu
bgeu
lb
lh
lw
lbu
lhu
sb
sh
sw
addi
slti
sltiu
xori
ori
andi
slli
srli
srai
add
sub
sll
slt
sltu
xor
srl
sra
or
and