2019-02-13 18:53:41 +03:00
|
|
|
#
|
|
|
|
# RISC-V translation routines for the RVXI Base Integer Instruction Set.
|
|
|
|
#
|
|
|
|
# Copyright (c) 2018 Peer Adelt, peer.adelt@hni.uni-paderborn.de
|
|
|
|
# Bastian Koppelmann, kbastian@mail.uni-paderborn.de
|
|
|
|
#
|
|
|
|
# This program is free software; you can redistribute it and/or modify it
|
|
|
|
# under the terms and conditions of the GNU General Public License,
|
|
|
|
# version 2 or later, as published by the Free Software Foundation.
|
|
|
|
#
|
|
|
|
# This program is distributed in the hope it will be useful, but WITHOUT
|
|
|
|
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
|
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
|
|
|
# more details.
|
|
|
|
#
|
|
|
|
# You should have received a copy of the GNU General Public License along with
|
|
|
|
# this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
# Fields:
|
2019-02-13 18:53:51 +03:00
|
|
|
%rs3 27:5
|
2019-02-13 18:53:42 +03:00
|
|
|
%rs2 20:5
|
|
|
|
%rs1 15:5
|
2019-02-13 18:53:41 +03:00
|
|
|
%rd 7:5
|
|
|
|
|
2019-02-13 18:53:45 +03:00
|
|
|
%sh10 20:10
|
2019-02-13 18:53:47 +03:00
|
|
|
%csr 20:12
|
2019-02-13 18:53:51 +03:00
|
|
|
%rm 12:3
|
2019-02-13 18:53:45 +03:00
|
|
|
|
2019-02-13 18:53:41 +03:00
|
|
|
# immediates:
|
2019-02-13 18:53:42 +03:00
|
|
|
%imm_i 20:s12
|
2019-02-13 18:53:43 +03:00
|
|
|
%imm_s 25:s7 7:5
|
2019-02-13 18:53:42 +03:00
|
|
|
%imm_b 31:s1 7:1 25:6 8:4 !function=ex_shift_1
|
|
|
|
%imm_j 31:s1 12:8 20:1 21:10 !function=ex_shift_1
|
2019-02-13 18:53:41 +03:00
|
|
|
%imm_u 12:s20 !function=ex_shift_12
|
|
|
|
|
2019-02-13 18:53:42 +03:00
|
|
|
# Argument sets:
|
2019-04-01 06:11:48 +03:00
|
|
|
&empty
|
2019-02-13 18:53:42 +03:00
|
|
|
&b imm rs2 rs1
|
2019-02-13 18:54:03 +03:00
|
|
|
&i imm rs1 rd
|
2019-04-01 06:11:48 +03:00
|
|
|
&j imm rd
|
2019-02-13 18:54:04 +03:00
|
|
|
&r rd rs1 rs2
|
2019-04-01 06:11:48 +03:00
|
|
|
&s imm rs1 rs2
|
|
|
|
&u imm rd
|
2019-02-13 18:53:45 +03:00
|
|
|
&shift shamt rs1 rd
|
2019-02-13 18:53:49 +03:00
|
|
|
&atomic aq rl rs2 rs1 rd
|
2019-02-13 18:53:42 +03:00
|
|
|
|
2019-02-13 18:53:41 +03:00
|
|
|
# Formats 32:
|
2019-02-13 18:54:04 +03:00
|
|
|
@r ....... ..... ..... ... ..... ....... &r %rs2 %rs1 %rd
|
2019-02-13 18:54:03 +03:00
|
|
|
@i ............ ..... ... ..... ....... &i imm=%imm_i %rs1 %rd
|
2019-02-13 18:53:42 +03:00
|
|
|
@b ....... ..... ..... ... ..... ....... &b imm=%imm_b %rs2 %rs1
|
2019-04-01 06:11:48 +03:00
|
|
|
@s ....... ..... ..... ... ..... ....... &s imm=%imm_s %rs2 %rs1
|
|
|
|
@u .................... ..... ....... &u imm=%imm_u %rd
|
|
|
|
@j .................... ..... ....... &j imm=%imm_j %rd
|
2019-02-13 18:53:41 +03:00
|
|
|
|
2019-02-13 18:53:45 +03:00
|
|
|
@sh ...... ...... ..... ... ..... ....... &shift shamt=%sh10 %rs1 %rd
|
2019-02-13 18:53:47 +03:00
|
|
|
@csr ............ ..... ... ..... ....... %csr %rs1 %rd
|
2019-02-13 18:53:45 +03:00
|
|
|
|
2019-02-13 18:53:49 +03:00
|
|
|
@atom_ld ..... aq:1 rl:1 ..... ........ ..... ....... &atomic rs2=0 %rs1 %rd
|
|
|
|
@atom_st ..... aq:1 rl:1 ..... ........ ..... ....... &atomic %rs2 %rs1 %rd
|
|
|
|
|
2019-02-13 18:53:51 +03:00
|
|
|
@r4_rm ..... .. ..... ..... ... ..... ....... %rs3 %rs2 %rs1 %rm %rd
|
|
|
|
@r_rm ....... ..... ..... ... ..... ....... %rs2 %rs1 %rm %rd
|
|
|
|
@r2_rm ....... ..... ..... ... ..... ....... %rs1 %rm %rd
|
|
|
|
@r2 ....... ..... ..... ... ..... ....... %rs1 %rd
|
|
|
|
|
2020-02-01 04:02:36 +03:00
|
|
|
@hfence_gvma ....... ..... ..... ... ..... ....... %rs2 %rs1
|
|
|
|
@hfence_bvma ....... ..... ..... ... ..... ....... %rs2 %rs1
|
|
|
|
|
2019-02-13 18:53:55 +03:00
|
|
|
@sfence_vma ....... ..... ..... ... ..... ....... %rs2 %rs1
|
|
|
|
@sfence_vm ....... ..... ..... ... ..... ....... %rs1
|
|
|
|
|
|
|
|
|
|
|
|
# *** Privileged Instructions ***
|
2020-02-01 04:02:36 +03:00
|
|
|
ecall 000000000000 00000 000 00000 1110011
|
|
|
|
ebreak 000000000001 00000 000 00000 1110011
|
|
|
|
uret 0000000 00010 00000 000 00000 1110011
|
|
|
|
sret 0001000 00010 00000 000 00000 1110011
|
|
|
|
mret 0011000 00010 00000 000 00000 1110011
|
|
|
|
wfi 0001000 00101 00000 000 00000 1110011
|
|
|
|
hfence_gvma 0110001 ..... ..... 000 00000 1110011 @hfence_gvma
|
|
|
|
hfence_bvma 0010001 ..... ..... 000 00000 1110011 @hfence_bvma
|
|
|
|
sfence_vma 0001001 ..... ..... 000 00000 1110011 @sfence_vma
|
|
|
|
sfence_vm 0001000 00100 ..... 000 00000 1110011 @sfence_vm
|
2019-02-13 18:53:55 +03:00
|
|
|
|
2019-02-13 18:53:41 +03:00
|
|
|
# *** RV32I Base Instruction Set ***
|
|
|
|
lui .................... ..... 0110111 @u
|
|
|
|
auipc .................... ..... 0010111 @u
|
2019-02-13 18:53:42 +03:00
|
|
|
jal .................... ..... 1101111 @j
|
|
|
|
jalr ............ ..... 000 ..... 1100111 @i
|
|
|
|
beq ....... ..... ..... 000 ..... 1100011 @b
|
|
|
|
bne ....... ..... ..... 001 ..... 1100011 @b
|
|
|
|
blt ....... ..... ..... 100 ..... 1100011 @b
|
|
|
|
bge ....... ..... ..... 101 ..... 1100011 @b
|
|
|
|
bltu ....... ..... ..... 110 ..... 1100011 @b
|
|
|
|
bgeu ....... ..... ..... 111 ..... 1100011 @b
|
2019-02-13 18:53:43 +03:00
|
|
|
lb ............ ..... 000 ..... 0000011 @i
|
|
|
|
lh ............ ..... 001 ..... 0000011 @i
|
|
|
|
lw ............ ..... 010 ..... 0000011 @i
|
|
|
|
lbu ............ ..... 100 ..... 0000011 @i
|
|
|
|
lhu ............ ..... 101 ..... 0000011 @i
|
|
|
|
sb ....... ..... ..... 000 ..... 0100011 @s
|
|
|
|
sh ....... ..... ..... 001 ..... 0100011 @s
|
|
|
|
sw ....... ..... ..... 010 ..... 0100011 @s
|
2019-02-13 18:53:45 +03:00
|
|
|
addi ............ ..... 000 ..... 0010011 @i
|
|
|
|
slti ............ ..... 010 ..... 0010011 @i
|
|
|
|
sltiu ............ ..... 011 ..... 0010011 @i
|
|
|
|
xori ............ ..... 100 ..... 0010011 @i
|
|
|
|
ori ............ ..... 110 ..... 0010011 @i
|
|
|
|
andi ............ ..... 111 ..... 0010011 @i
|
|
|
|
slli 00.... ...... ..... 001 ..... 0010011 @sh
|
|
|
|
srli 00.... ...... ..... 101 ..... 0010011 @sh
|
|
|
|
srai 01.... ...... ..... 101 ..... 0010011 @sh
|
|
|
|
add 0000000 ..... ..... 000 ..... 0110011 @r
|
|
|
|
sub 0100000 ..... ..... 000 ..... 0110011 @r
|
|
|
|
sll 0000000 ..... ..... 001 ..... 0110011 @r
|
|
|
|
slt 0000000 ..... ..... 010 ..... 0110011 @r
|
|
|
|
sltu 0000000 ..... ..... 011 ..... 0110011 @r
|
|
|
|
xor 0000000 ..... ..... 100 ..... 0110011 @r
|
|
|
|
srl 0000000 ..... ..... 101 ..... 0110011 @r
|
|
|
|
sra 0100000 ..... ..... 101 ..... 0110011 @r
|
|
|
|
or 0000000 ..... ..... 110 ..... 0110011 @r
|
|
|
|
and 0000000 ..... ..... 111 ..... 0110011 @r
|
2019-02-13 18:53:46 +03:00
|
|
|
fence ---- pred:4 succ:4 ----- 000 ----- 0001111
|
|
|
|
fence_i ---- ---- ---- ----- 001 ----- 0001111
|
2019-02-13 18:53:47 +03:00
|
|
|
csrrw ............ ..... 001 ..... 1110011 @csr
|
|
|
|
csrrs ............ ..... 010 ..... 1110011 @csr
|
|
|
|
csrrc ............ ..... 011 ..... 1110011 @csr
|
|
|
|
csrrwi ............ ..... 101 ..... 1110011 @csr
|
|
|
|
csrrsi ............ ..... 110 ..... 1110011 @csr
|
|
|
|
csrrci ............ ..... 111 ..... 1110011 @csr
|
2019-02-13 18:53:48 +03:00
|
|
|
|
|
|
|
# *** RV32M Standard Extension ***
|
|
|
|
mul 0000001 ..... ..... 000 ..... 0110011 @r
|
|
|
|
mulh 0000001 ..... ..... 001 ..... 0110011 @r
|
|
|
|
mulhsu 0000001 ..... ..... 010 ..... 0110011 @r
|
|
|
|
mulhu 0000001 ..... ..... 011 ..... 0110011 @r
|
|
|
|
div 0000001 ..... ..... 100 ..... 0110011 @r
|
|
|
|
divu 0000001 ..... ..... 101 ..... 0110011 @r
|
|
|
|
rem 0000001 ..... ..... 110 ..... 0110011 @r
|
|
|
|
remu 0000001 ..... ..... 111 ..... 0110011 @r
|
2019-02-13 18:53:49 +03:00
|
|
|
|
|
|
|
# *** RV32A Standard Extension ***
|
|
|
|
lr_w 00010 . . 00000 ..... 010 ..... 0101111 @atom_ld
|
|
|
|
sc_w 00011 . . ..... ..... 010 ..... 0101111 @atom_st
|
|
|
|
amoswap_w 00001 . . ..... ..... 010 ..... 0101111 @atom_st
|
|
|
|
amoadd_w 00000 . . ..... ..... 010 ..... 0101111 @atom_st
|
|
|
|
amoxor_w 00100 . . ..... ..... 010 ..... 0101111 @atom_st
|
|
|
|
amoand_w 01100 . . ..... ..... 010 ..... 0101111 @atom_st
|
|
|
|
amoor_w 01000 . . ..... ..... 010 ..... 0101111 @atom_st
|
|
|
|
amomin_w 10000 . . ..... ..... 010 ..... 0101111 @atom_st
|
|
|
|
amomax_w 10100 . . ..... ..... 010 ..... 0101111 @atom_st
|
|
|
|
amominu_w 11000 . . ..... ..... 010 ..... 0101111 @atom_st
|
|
|
|
amomaxu_w 11100 . . ..... ..... 010 ..... 0101111 @atom_st
|
2019-02-13 18:53:51 +03:00
|
|
|
|
|
|
|
# *** RV32F Standard Extension ***
|
|
|
|
flw ............ ..... 010 ..... 0000111 @i
|
|
|
|
fsw ....... ..... ..... 010 ..... 0100111 @s
|
|
|
|
fmadd_s ..... 00 ..... ..... ... ..... 1000011 @r4_rm
|
|
|
|
fmsub_s ..... 00 ..... ..... ... ..... 1000111 @r4_rm
|
|
|
|
fnmsub_s ..... 00 ..... ..... ... ..... 1001011 @r4_rm
|
|
|
|
fnmadd_s ..... 00 ..... ..... ... ..... 1001111 @r4_rm
|
|
|
|
fadd_s 0000000 ..... ..... ... ..... 1010011 @r_rm
|
|
|
|
fsub_s 0000100 ..... ..... ... ..... 1010011 @r_rm
|
|
|
|
fmul_s 0001000 ..... ..... ... ..... 1010011 @r_rm
|
|
|
|
fdiv_s 0001100 ..... ..... ... ..... 1010011 @r_rm
|
|
|
|
fsqrt_s 0101100 00000 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fsgnj_s 0010000 ..... ..... 000 ..... 1010011 @r
|
|
|
|
fsgnjn_s 0010000 ..... ..... 001 ..... 1010011 @r
|
|
|
|
fsgnjx_s 0010000 ..... ..... 010 ..... 1010011 @r
|
|
|
|
fmin_s 0010100 ..... ..... 000 ..... 1010011 @r
|
|
|
|
fmax_s 0010100 ..... ..... 001 ..... 1010011 @r
|
|
|
|
fcvt_w_s 1100000 00000 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fcvt_wu_s 1100000 00001 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fmv_x_w 1110000 00000 ..... 000 ..... 1010011 @r2
|
|
|
|
feq_s 1010000 ..... ..... 010 ..... 1010011 @r
|
|
|
|
flt_s 1010000 ..... ..... 001 ..... 1010011 @r
|
|
|
|
fle_s 1010000 ..... ..... 000 ..... 1010011 @r
|
|
|
|
fclass_s 1110000 00000 ..... 001 ..... 1010011 @r2
|
|
|
|
fcvt_s_w 1101000 00000 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fcvt_s_wu 1101000 00001 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fmv_w_x 1111000 00000 ..... 000 ..... 1010011 @r2
|
2019-02-13 18:53:53 +03:00
|
|
|
|
|
|
|
# *** RV32D Standard Extension ***
|
|
|
|
fld ............ ..... 011 ..... 0000111 @i
|
|
|
|
fsd ....... ..... ..... 011 ..... 0100111 @s
|
|
|
|
fmadd_d ..... 01 ..... ..... ... ..... 1000011 @r4_rm
|
|
|
|
fmsub_d ..... 01 ..... ..... ... ..... 1000111 @r4_rm
|
|
|
|
fnmsub_d ..... 01 ..... ..... ... ..... 1001011 @r4_rm
|
|
|
|
fnmadd_d ..... 01 ..... ..... ... ..... 1001111 @r4_rm
|
|
|
|
fadd_d 0000001 ..... ..... ... ..... 1010011 @r_rm
|
|
|
|
fsub_d 0000101 ..... ..... ... ..... 1010011 @r_rm
|
|
|
|
fmul_d 0001001 ..... ..... ... ..... 1010011 @r_rm
|
|
|
|
fdiv_d 0001101 ..... ..... ... ..... 1010011 @r_rm
|
|
|
|
fsqrt_d 0101101 00000 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fsgnj_d 0010001 ..... ..... 000 ..... 1010011 @r
|
|
|
|
fsgnjn_d 0010001 ..... ..... 001 ..... 1010011 @r
|
|
|
|
fsgnjx_d 0010001 ..... ..... 010 ..... 1010011 @r
|
|
|
|
fmin_d 0010101 ..... ..... 000 ..... 1010011 @r
|
|
|
|
fmax_d 0010101 ..... ..... 001 ..... 1010011 @r
|
|
|
|
fcvt_s_d 0100000 00001 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fcvt_d_s 0100001 00000 ..... ... ..... 1010011 @r2_rm
|
|
|
|
feq_d 1010001 ..... ..... 010 ..... 1010011 @r
|
|
|
|
flt_d 1010001 ..... ..... 001 ..... 1010011 @r
|
|
|
|
fle_d 1010001 ..... ..... 000 ..... 1010011 @r
|
|
|
|
fclass_d 1110001 00000 ..... 001 ..... 1010011 @r2
|
|
|
|
fcvt_w_d 1100001 00000 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fcvt_wu_d 1100001 00001 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fcvt_d_w 1101001 00000 ..... ... ..... 1010011 @r2_rm
|
|
|
|
fcvt_d_wu 1101001 00001 ..... ... ..... 1010011 @r2_rm
|