]> git.proxmox.com Git - mirror_qemu.git/blame - target/riscv/insn16.decode
target/riscv: Add support for Zvfbfwma extension
[mirror_qemu.git] / target / riscv / insn16.decode
CommitLineData
e98d9140
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:
20%rd 7:5
21%rs1_3 7:3 !function=ex_rvc_register
22%rs2_3 2:3 !function=ex_rvc_register
97b0be81 23%rs2_5 2:5
193eb522
WL
24%r1s 7:3 !function=ex_sreg_register
25%r2s 2:3 !function=ex_sreg_register
e98d9140
BK
26
27# Immediates:
07b001c6 28%imm_ci 12:s1 2:5
e98d9140 29%nzuimm_ciw 7:4 11:2 5:1 6:1 !function=ex_shift_2
a2f827ff 30%uimm_cl_q 10:1 5:2 11:2 !function=ex_shift_4
e98d9140
BK
31%uimm_cl_d 5:2 10:3 !function=ex_shift_3
32%uimm_cl_w 5:1 10:3 6:1 !function=ex_shift_2
07b001c6
BK
33%imm_cb 12:s1 5:2 2:1 10:2 3:2 !function=ex_shift_1
34%imm_cj 12:s1 8:1 9:2 6:1 7:1 2:1 11:1 3:3 !function=ex_shift_1
35
33632775
FP
36%shlimm_6bit 12:1 2:5 !function=ex_rvc_shiftli
37%shrimm_6bit 12:1 2:5 !function=ex_rvc_shiftri
a2f827ff 38%uimm_6bit_lq 2:4 12:1 6:1 !function=ex_shift_4
97b0be81
BK
39%uimm_6bit_ld 2:3 12:1 5:2 !function=ex_shift_3
40%uimm_6bit_lw 2:2 12:1 4:3 !function=ex_shift_2
a2f827ff 41%uimm_6bit_sq 7:4 11:2 !function=ex_shift_4
97b0be81
BK
42%uimm_6bit_sd 7:3 10:3 !function=ex_shift_3
43%uimm_6bit_sw 7:2 9:4 !function=ex_shift_2
07b001c6
BK
44
45%imm_addi16sp 12:s1 3:2 5:1 2:1 6:1 !function=ex_shift_4
46%imm_lui 12:s1 2:5 !function=ex_shift_12
47
e0a3054f
WL
48%uimm_cl_b 5:1 6:1
49%uimm_cl_h 5:1 !function=ex_shift_1
193eb522
WL
50%spimm 2:2 !function=ex_shift_4
51%urlist 4:4
ce3af0bb 52%index 2:8
e98d9140 53
e1d455dd
RH
54# Argument sets imported from insn32.decode:
55&empty !extern
56&r rd rs1 rs2 !extern
57&i imm rs1 rd !extern
58&s imm rs1 rs2 !extern
59&j imm rd !extern
60&b imm rs2 rs1 !extern
61&u imm rd !extern
62&shift shamt rs1 rd !extern
e0a3054f 63&r2 rd rs1 !extern
193eb522 64&r2_s rs1 rs2 !extern
e98d9140 65
193eb522 66&cmpp urlist spimm
ce3af0bb 67&cmjt index
e98d9140
BK
68
69# Formats 16:
e1d455dd
RH
70@cr .... ..... ..... .. &r rs2=%rs2_5 rs1=%rd %rd
71@ci ... . ..... ..... .. &i imm=%imm_ci rs1=%rd %rd
a2f827ff 72@cl_q ... . ..... ..... .. &i imm=%uimm_cl_q rs1=%rs1_3 rd=%rs2_3
e1d455dd
RH
73@cl_d ... ... ... .. ... .. &i imm=%uimm_cl_d rs1=%rs1_3 rd=%rs2_3
74@cl_w ... ... ... .. ... .. &i imm=%uimm_cl_w rs1=%rs1_3 rd=%rs2_3
e1d455dd 75@cs_2 ... ... ... .. ... .. &r rs2=%rs2_3 rs1=%rs1_3 rd=%rs1_3
a2f827ff 76@cs_q ... ... ... .. ... .. &s imm=%uimm_cl_q rs1=%rs1_3 rs2=%rs2_3
e1d455dd
RH
77@cs_d ... ... ... .. ... .. &s imm=%uimm_cl_d rs1=%rs1_3 rs2=%rs2_3
78@cs_w ... ... ... .. ... .. &s imm=%uimm_cl_w rs1=%rs1_3 rs2=%rs2_3
79@cj ... ........... .. &j imm=%imm_cj
80@cb_z ... ... ... .. ... .. &b imm=%imm_cb rs1=%rs1_3 rs2=0
81
a2f827ff 82@c_lqsp ... . ..... ..... .. &i imm=%uimm_6bit_lq rs1=2 %rd
e1d455dd
RH
83@c_ldsp ... . ..... ..... .. &i imm=%uimm_6bit_ld rs1=2 %rd
84@c_lwsp ... . ..... ..... .. &i imm=%uimm_6bit_lw rs1=2 %rd
a2f827ff 85@c_sqsp ... . ..... ..... .. &s imm=%uimm_6bit_sq rs1=2 rs2=%rs2_5
e1d455dd
RH
86@c_sdsp ... . ..... ..... .. &s imm=%uimm_6bit_sd rs1=2 rs2=%rs2_5
87@c_swsp ... . ..... ..... .. &s imm=%uimm_6bit_sw rs1=2 rs2=%rs2_5
88@c_li ... . ..... ..... .. &i imm=%imm_ci rs1=0 %rd
c2cfb97c
RH
89@c_lui ... . ..... ..... .. &u imm=%imm_lui %rd
90@c_jalr ... . ..... ..... .. &i imm=0 rs1=%rd
91@c_mv ... . ..... ..... .. &i imm=0 rs1=%rs2_5 %rd
97b0be81 92
c2cfb97c
RH
93@c_addi4spn ... . ..... ..... .. &i imm=%nzuimm_ciw rs1=2 rd=%rs2_3
94@c_addi16sp ... . ..... ..... .. &i imm=%imm_addi16sp rs1=2 rd=2
07b001c6 95
e1d455dd 96@c_shift ... . .. ... ..... .. \
33632775 97 &shift rd=%rs1_3 rs1=%rs1_3 shamt=%shrimm_6bit
e1d455dd 98@c_shift2 ... . .. ... ..... .. \
33632775 99 &shift rd=%rd rs1=%rd shamt=%shlimm_6bit
07b001c6 100
e1d455dd 101@c_andi ... . .. ... ..... .. &i imm=%imm_ci rs1=%rs1_3 rd=%rs1_3
e98d9140 102
e0a3054f
WL
103@cu ... ... ... .. ... .. &r2 rs1=%rs1_3 rd=%rs1_3
104@cl_b ... . .. ... .. ... .. &i imm=%uimm_cl_b rs1=%rs1_3 rd=%rs2_3
105@cl_h ... . .. ... .. ... .. &i imm=%uimm_cl_h rs1=%rs1_3 rd=%rs2_3
106@cs_b ... . .. ... .. ... .. &s imm=%uimm_cl_b rs1=%rs1_3 rs2=%rs2_3
107@cs_h ... . .. ... .. ... .. &s imm=%uimm_cl_h rs1=%rs1_3 rs2=%rs2_3
193eb522
WL
108@cm_pp ... ... ........ .. &cmpp %urlist %spimm
109@cm_mv ... ... ... .. ... .. &r2_s rs2=%r2s rs1=%r1s
ce3af0bb 110@cm_jt ... ... ........ .. &cmjt %index
e0a3054f 111
0e68e240 112# *** RV32/64C Standard Extension (Quadrant 0) ***
c2cfb97c
RH
113{
114 # Opcode of all zeros is illegal; rd != 0, nzuimm == 0 is reserved.
115 illegal 000 000 000 00 --- 00
116 addi 000 ... ... .. ... 00 @c_addi4spn
117}
a2f827ff
FP
118{
119 lq 001 ... ... .. ... 00 @cl_q
c4935b58 120 c_fld 001 ... ... .. ... 00 @cl_d
a2f827ff 121}
e1d455dd 122lw 010 ... ... .. ... 00 @cl_w
a2f827ff
FP
123{
124 sq 101 ... ... .. ... 00 @cs_q
c4935b58 125 c_fsd 101 ... ... .. ... 00 @cs_d
a2f827ff 126}
e1d455dd 127sw 110 ... ... .. ... 00 @cs_w
07b001c6 128
6baba30a
AF
129# *** RV32C and RV64C specific Standard Extension (Quadrant 0) ***
130{
131 ld 011 ... ... .. ... 00 @cl_d
30b03579 132 c_flw 011 ... ... .. ... 00 @cl_w
6baba30a
AF
133}
134{
135 sd 111 ... ... .. ... 00 @cs_d
30b03579 136 c_fsw 111 ... ... .. ... 00 @cs_w
6baba30a
AF
137}
138
0e68e240 139# *** RV32/64C Standard Extension (Quadrant 1) ***
e1d455dd 140addi 000 . ..... ..... 01 @ci
e1d455dd 141addi 010 . ..... ..... 01 @c_li
c2cfb97c 142{
4cc16b3b 143 illegal 011 0 ----- 00000 01 # c.addi16sp and c.lui, RES nzimm=0
c2cfb97c
RH
144 addi 011 . 00010 ..... 01 @c_addi16sp
145 lui 011 . ..... ..... 01 @c_lui
146}
6cafec92
RH
147srli 100 . 00 ... ..... 01 @c_shift
148srai 100 . 01 ... ..... 01 @c_shift
e1d455dd
RH
149andi 100 . 10 ... ..... 01 @c_andi
150sub 100 0 11 ... 00 ... 01 @cs_2
151xor 100 0 11 ... 01 ... 01 @cs_2
152or 100 0 11 ... 10 ... 01 @cs_2
153and 100 0 11 ... 11 ... 01 @cs_2
e1d455dd
RH
154jal 101 ........... 01 @cj rd=0 # C.J
155beq 110 ... ... ..... 01 @cb_z
156bne 111 ... ... ..... 01 @cb_z
97b0be81 157
6baba30a
AF
158# *** RV64C and RV32C specific Standard Extension (Quadrant 1) ***
159{
160 c64_illegal 001 - 00000 ----- 01 # c.addiw, RES rd=0
161 addiw 001 . ..... ..... 01 @ci
162 jal 001 ........... 01 @cj rd=1 # C.JAL
163}
164subw 100 1 11 ... 00 ... 01 @cs_2
165addw 100 1 11 ... 01 ... 01 @cs_2
166
0e68e240 167# *** RV32/64C Standard Extension (Quadrant 2) ***
6cafec92 168slli 000 . ..... ..... 10 @c_shift2
a2f827ff
FP
169{
170 lq 001 ... ... .. ... 10 @c_lqsp
c4935b58 171 c_fld 001 . ..... ..... 10 @c_ldsp
a2f827ff 172}
c2cfb97c 173{
4cc16b3b
RH
174 illegal 010 - 00000 ----- 10 # c.lwsp, RES rd=0
175 lw 010 . ..... ..... 10 @c_lwsp
176}
177{
178 illegal 100 0 00000 00000 10 # c.jr, RES rs1=0
c2cfb97c
RH
179 jalr 100 0 ..... 00000 10 @c_jalr rd=0 # C.JR
180 addi 100 0 ..... ..... 10 @c_mv
181}
182{
183 ebreak 100 1 00000 00000 10
184 jalr 100 1 ..... 00000 10 @c_jalr rd=1 # C.JALR
185 add 100 1 ..... ..... 10 @cr
186}
a2f827ff
FP
187{
188 sq 101 ... ... .. ... 10 @c_sqsp
c4935b58 189 c_fsd 101 ...... ..... 10 @c_sdsp
193eb522 190
ce3af0bb 191 # *** RV64 and RV32 Zcmp/Zcmt Extension ***
193eb522
WL
192 [
193 cm_push 101 11000 .... .. 10 @cm_pp
194 cm_pop 101 11010 .... .. 10 @cm_pp
195 cm_popret 101 11110 .... .. 10 @cm_pp
196 cm_popretz 101 11100 .... .. 10 @cm_pp
197 cm_mva01s 101 011 ... 11 ... 10 @cm_mv
198 cm_mvsa01 101 011 ... 01 ... 10 @cm_mv
ce3af0bb
WL
199
200 cm_jalt 101 000 ........ 10 @cm_jt
193eb522 201 ]
a2f827ff 202}
e1d455dd 203sw 110 . ..... ..... 10 @c_swsp
6baba30a
AF
204
205# *** RV32C and RV64C specific Standard Extension (Quadrant 2) ***
206{
207 c64_illegal 011 - 00000 ----- 10 # c.ldsp, RES rd=0
208 ld 011 . ..... ..... 10 @c_ldsp
30b03579 209 c_flw 011 . ..... ..... 10 @c_lwsp
6baba30a
AF
210}
211{
212 sd 111 . ..... ..... 10 @c_sdsp
30b03579 213 c_fsw 111 . ..... ..... 10 @c_swsp
6baba30a 214}
e0a3054f
WL
215
216# *** RV64 and RV32 Zcb Extension ***
217c_zext_b 100 111 ... 11 000 01 @cu
218c_sext_b 100 111 ... 11 001 01 @cu
219c_zext_h 100 111 ... 11 010 01 @cu
220c_sext_h 100 111 ... 11 011 01 @cu
221c_zext_w 100 111 ... 11 100 01 @cu
222c_not 100 111 ... 11 101 01 @cu
223c_mul 100 111 ... 10 ... 01 @cs_2
224c_lbu 100 000 ... .. ... 00 @cl_b
225c_lhu 100 001 ... 0. ... 00 @cl_h
226c_lh 100 001 ... 1. ... 00 @cl_h
227c_sb 100 010 ... .. ... 00 @cs_b
228c_sh 100 011 ... 0. ... 00 @cs_h