]> git.proxmox.com Git - mirror_qemu.git/blame - target/riscv/insn32.decode
target/riscv: Report errors validating 2nd-stage PTEs
[mirror_qemu.git] / target / riscv / insn32.decode
CommitLineData
2a53cff4
BK
1#
2# RISC-V translation routines for the RVXI Base Integer Instruction Set.
3#
4# Copyright (c) 2018 Peer Adelt, peer.adelt@hni.uni-paderborn.de
5# Bastian Koppelmann, kbastian@mail.uni-paderborn.de
6#
7# This program is free software; you can redistribute it and/or modify it
8# under the terms and conditions of the GNU General Public License,
9# version 2 or later, as published by the Free Software Foundation.
10#
11# This program is distributed in the hope it will be useful, but WITHOUT
12# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
14# more details.
15#
16# You should have received a copy of the GNU General Public License along with
17# this program. If not, see <http://www.gnu.org/licenses/>.
18
19# Fields:
6f0e74ff 20%rs3 27:5
3cca75a6
BK
21%rs2 20:5
22%rs1 15:5
2a53cff4
BK
23%rd 7:5
24
b73a987b 25%sh10 20:10
771fbe15 26%csr 20:12
6f0e74ff 27%rm 12:3
b73a987b 28
2a53cff4 29# immediates:
3cca75a6 30%imm_i 20:s12
c1000d4e 31%imm_s 25:s7 7:5
3cca75a6
BK
32%imm_b 31:s1 7:1 25:6 8:4 !function=ex_shift_1
33%imm_j 31:s1 12:8 20:1 21:10 !function=ex_shift_1
2a53cff4
BK
34%imm_u 12:s20 !function=ex_shift_12
35
3cca75a6 36# Argument sets:
e7617997 37&empty
3cca75a6 38&b imm rs2 rs1
7a50d3e2 39&i imm rs1 rd
e7617997 40&j imm rd
f2ab1728 41&r rd rs1 rs2
e7617997
RH
42&s imm rs1 rs2
43&u imm rd
b73a987b 44&shift shamt rs1 rd
3b77c289 45&atomic aq rl rs2 rs1 rd
3cca75a6 46
2a53cff4 47# Formats 32:
f2ab1728 48@r ....... ..... ..... ... ..... ....... &r %rs2 %rs1 %rd
7a50d3e2 49@i ............ ..... ... ..... ....... &i imm=%imm_i %rs1 %rd
3cca75a6 50@b ....... ..... ..... ... ..... ....... &b imm=%imm_b %rs2 %rs1
e7617997
RH
51@s ....... ..... ..... ... ..... ....... &s imm=%imm_s %rs2 %rs1
52@u .................... ..... ....... &u imm=%imm_u %rd
53@j .................... ..... ....... &j imm=%imm_j %rd
2a53cff4 54
b73a987b 55@sh ...... ...... ..... ... ..... ....... &shift shamt=%sh10 %rs1 %rd
771fbe15 56@csr ............ ..... ... ..... ....... %csr %rs1 %rd
b73a987b 57
3b77c289
BK
58@atom_ld ..... aq:1 rl:1 ..... ........ ..... ....... &atomic rs2=0 %rs1 %rd
59@atom_st ..... aq:1 rl:1 ..... ........ ..... ....... &atomic %rs2 %rs1 %rd
60
6f0e74ff
BK
61@r4_rm ..... .. ..... ..... ... ..... ....... %rs3 %rs2 %rs1 %rm %rd
62@r_rm ....... ..... ..... ... ..... ....... %rs2 %rs1 %rm %rd
63@r2_rm ....... ..... ..... ... ..... ....... %rs1 %rm %rd
64@r2 ....... ..... ..... ... ..... ....... %rs1 %rd
65
895c412c
AF
66@hfence_gvma ....... ..... ..... ... ..... ....... %rs2 %rs1
67@hfence_bvma ....... ..... ..... ... ..... ....... %rs2 %rs1
68
4ba79c47
BK
69@sfence_vma ....... ..... ..... ... ..... ....... %rs2 %rs1
70@sfence_vm ....... ..... ..... ... ..... ....... %rs1
71
72
73# *** Privileged Instructions ***
895c412c
AF
74ecall 000000000000 00000 000 00000 1110011
75ebreak 000000000001 00000 000 00000 1110011
76uret 0000000 00010 00000 000 00000 1110011
77sret 0001000 00010 00000 000 00000 1110011
895c412c
AF
78mret 0011000 00010 00000 000 00000 1110011
79wfi 0001000 00101 00000 000 00000 1110011
80hfence_gvma 0110001 ..... ..... 000 00000 1110011 @hfence_gvma
81hfence_bvma 0010001 ..... ..... 000 00000 1110011 @hfence_bvma
82sfence_vma 0001001 ..... ..... 000 00000 1110011 @sfence_vma
83sfence_vm 0001000 00100 ..... 000 00000 1110011 @sfence_vm
4ba79c47 84
2a53cff4
BK
85# *** RV32I Base Instruction Set ***
86lui .................... ..... 0110111 @u
87auipc .................... ..... 0010111 @u
3cca75a6
BK
88jal .................... ..... 1101111 @j
89jalr ............ ..... 000 ..... 1100111 @i
90beq ....... ..... ..... 000 ..... 1100011 @b
91bne ....... ..... ..... 001 ..... 1100011 @b
92blt ....... ..... ..... 100 ..... 1100011 @b
93bge ....... ..... ..... 101 ..... 1100011 @b
94bltu ....... ..... ..... 110 ..... 1100011 @b
95bgeu ....... ..... ..... 111 ..... 1100011 @b
c1000d4e
BK
96lb ............ ..... 000 ..... 0000011 @i
97lh ............ ..... 001 ..... 0000011 @i
98lw ............ ..... 010 ..... 0000011 @i
99lbu ............ ..... 100 ..... 0000011 @i
100lhu ............ ..... 101 ..... 0000011 @i
101sb ....... ..... ..... 000 ..... 0100011 @s
102sh ....... ..... ..... 001 ..... 0100011 @s
103sw ....... ..... ..... 010 ..... 0100011 @s
b73a987b
BK
104addi ............ ..... 000 ..... 0010011 @i
105slti ............ ..... 010 ..... 0010011 @i
106sltiu ............ ..... 011 ..... 0010011 @i
107xori ............ ..... 100 ..... 0010011 @i
108ori ............ ..... 110 ..... 0010011 @i
109andi ............ ..... 111 ..... 0010011 @i
110slli 00.... ...... ..... 001 ..... 0010011 @sh
111srli 00.... ...... ..... 101 ..... 0010011 @sh
112srai 01.... ...... ..... 101 ..... 0010011 @sh
113add 0000000 ..... ..... 000 ..... 0110011 @r
114sub 0100000 ..... ..... 000 ..... 0110011 @r
115sll 0000000 ..... ..... 001 ..... 0110011 @r
116slt 0000000 ..... ..... 010 ..... 0110011 @r
117sltu 0000000 ..... ..... 011 ..... 0110011 @r
118xor 0000000 ..... ..... 100 ..... 0110011 @r
119srl 0000000 ..... ..... 101 ..... 0110011 @r
120sra 0100000 ..... ..... 101 ..... 0110011 @r
121or 0000000 ..... ..... 110 ..... 0110011 @r
122and 0000000 ..... ..... 111 ..... 0110011 @r
0c865e85
BK
123fence ---- pred:4 succ:4 ----- 000 ----- 0001111
124fence_i ---- ---- ---- ----- 001 ----- 0001111
771fbe15
BK
125csrrw ............ ..... 001 ..... 1110011 @csr
126csrrs ............ ..... 010 ..... 1110011 @csr
127csrrc ............ ..... 011 ..... 1110011 @csr
128csrrwi ............ ..... 101 ..... 1110011 @csr
129csrrsi ............ ..... 110 ..... 1110011 @csr
130csrrci ............ ..... 111 ..... 1110011 @csr
d2e2c1e4
BK
131
132# *** RV32M Standard Extension ***
133mul 0000001 ..... ..... 000 ..... 0110011 @r
134mulh 0000001 ..... ..... 001 ..... 0110011 @r
135mulhsu 0000001 ..... ..... 010 ..... 0110011 @r
136mulhu 0000001 ..... ..... 011 ..... 0110011 @r
137div 0000001 ..... ..... 100 ..... 0110011 @r
138divu 0000001 ..... ..... 101 ..... 0110011 @r
139rem 0000001 ..... ..... 110 ..... 0110011 @r
140remu 0000001 ..... ..... 111 ..... 0110011 @r
3b77c289
BK
141
142# *** RV32A Standard Extension ***
143lr_w 00010 . . 00000 ..... 010 ..... 0101111 @atom_ld
144sc_w 00011 . . ..... ..... 010 ..... 0101111 @atom_st
145amoswap_w 00001 . . ..... ..... 010 ..... 0101111 @atom_st
146amoadd_w 00000 . . ..... ..... 010 ..... 0101111 @atom_st
147amoxor_w 00100 . . ..... ..... 010 ..... 0101111 @atom_st
148amoand_w 01100 . . ..... ..... 010 ..... 0101111 @atom_st
149amoor_w 01000 . . ..... ..... 010 ..... 0101111 @atom_st
150amomin_w 10000 . . ..... ..... 010 ..... 0101111 @atom_st
151amomax_w 10100 . . ..... ..... 010 ..... 0101111 @atom_st
152amominu_w 11000 . . ..... ..... 010 ..... 0101111 @atom_st
153amomaxu_w 11100 . . ..... ..... 010 ..... 0101111 @atom_st
6f0e74ff
BK
154
155# *** RV32F Standard Extension ***
156flw ............ ..... 010 ..... 0000111 @i
157fsw ....... ..... ..... 010 ..... 0100111 @s
158fmadd_s ..... 00 ..... ..... ... ..... 1000011 @r4_rm
159fmsub_s ..... 00 ..... ..... ... ..... 1000111 @r4_rm
160fnmsub_s ..... 00 ..... ..... ... ..... 1001011 @r4_rm
161fnmadd_s ..... 00 ..... ..... ... ..... 1001111 @r4_rm
162fadd_s 0000000 ..... ..... ... ..... 1010011 @r_rm
163fsub_s 0000100 ..... ..... ... ..... 1010011 @r_rm
164fmul_s 0001000 ..... ..... ... ..... 1010011 @r_rm
165fdiv_s 0001100 ..... ..... ... ..... 1010011 @r_rm
166fsqrt_s 0101100 00000 ..... ... ..... 1010011 @r2_rm
167fsgnj_s 0010000 ..... ..... 000 ..... 1010011 @r
168fsgnjn_s 0010000 ..... ..... 001 ..... 1010011 @r
169fsgnjx_s 0010000 ..... ..... 010 ..... 1010011 @r
170fmin_s 0010100 ..... ..... 000 ..... 1010011 @r
171fmax_s 0010100 ..... ..... 001 ..... 1010011 @r
172fcvt_w_s 1100000 00000 ..... ... ..... 1010011 @r2_rm
173fcvt_wu_s 1100000 00001 ..... ... ..... 1010011 @r2_rm
174fmv_x_w 1110000 00000 ..... 000 ..... 1010011 @r2
175feq_s 1010000 ..... ..... 010 ..... 1010011 @r
176flt_s 1010000 ..... ..... 001 ..... 1010011 @r
177fle_s 1010000 ..... ..... 000 ..... 1010011 @r
178fclass_s 1110000 00000 ..... 001 ..... 1010011 @r2
179fcvt_s_w 1101000 00000 ..... ... ..... 1010011 @r2_rm
180fcvt_s_wu 1101000 00001 ..... ... ..... 1010011 @r2_rm
181fmv_w_x 1111000 00000 ..... 000 ..... 1010011 @r2
97f8b493
BK
182
183# *** RV32D Standard Extension ***
184fld ............ ..... 011 ..... 0000111 @i
185fsd ....... ..... ..... 011 ..... 0100111 @s
186fmadd_d ..... 01 ..... ..... ... ..... 1000011 @r4_rm
187fmsub_d ..... 01 ..... ..... ... ..... 1000111 @r4_rm
188fnmsub_d ..... 01 ..... ..... ... ..... 1001011 @r4_rm
189fnmadd_d ..... 01 ..... ..... ... ..... 1001111 @r4_rm
190fadd_d 0000001 ..... ..... ... ..... 1010011 @r_rm
191fsub_d 0000101 ..... ..... ... ..... 1010011 @r_rm
192fmul_d 0001001 ..... ..... ... ..... 1010011 @r_rm
193fdiv_d 0001101 ..... ..... ... ..... 1010011 @r_rm
194fsqrt_d 0101101 00000 ..... ... ..... 1010011 @r2_rm
195fsgnj_d 0010001 ..... ..... 000 ..... 1010011 @r
196fsgnjn_d 0010001 ..... ..... 001 ..... 1010011 @r
197fsgnjx_d 0010001 ..... ..... 010 ..... 1010011 @r
198fmin_d 0010101 ..... ..... 000 ..... 1010011 @r
199fmax_d 0010101 ..... ..... 001 ..... 1010011 @r
200fcvt_s_d 0100000 00001 ..... ... ..... 1010011 @r2_rm
201fcvt_d_s 0100001 00000 ..... ... ..... 1010011 @r2_rm
202feq_d 1010001 ..... ..... 010 ..... 1010011 @r
203flt_d 1010001 ..... ..... 001 ..... 1010011 @r
204fle_d 1010001 ..... ..... 000 ..... 1010011 @r
205fclass_d 1110001 00000 ..... 001 ..... 1010011 @r2
206fcvt_w_d 1100001 00000 ..... ... ..... 1010011 @r2_rm
207fcvt_wu_d 1100001 00001 ..... ... ..... 1010011 @r2_rm
208fcvt_d_w 1101001 00000 ..... ... ..... 1010011 @r2_rm
209fcvt_d_wu 1101001 00001 ..... ... ..... 1010011 @r2_rm