]>
Commit | Line | Data |
---|---|---|
dc5bd18f MC |
1 | /* |
2 | * QEMU RISC-V CPU | |
3 | * | |
4 | * Copyright (c) 2016-2017 Sagar Karandikar, [email protected] | |
5 | * Copyright (c) 2017-2018 SiFive, Inc. | |
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 | ||
20 | #include "qemu/osdep.h" | |
0442428a | 21 | #include "qemu/qemu-print.h" |
856dfd8a | 22 | #include "qemu/ctype.h" |
dc5bd18f MC |
23 | #include "qemu/log.h" |
24 | #include "cpu.h" | |
f7697f0e | 25 | #include "internals.h" |
dc5bd18f MC |
26 | #include "exec/exec-all.h" |
27 | #include "qapi/error.h" | |
b55d7d34 | 28 | #include "qemu/error-report.h" |
c4e95030 | 29 | #include "hw/qdev-properties.h" |
dc5bd18f | 30 | #include "migration/vmstate.h" |
135b03cb | 31 | #include "fpu/softfloat-helpers.h" |
ad40be27 YJ |
32 | #include "sysemu/kvm.h" |
33 | #include "kvm_riscv.h" | |
dc5bd18f MC |
34 | |
35 | /* RISC-V CPU definitions */ | |
36 | ||
9951ba94 FC |
37 | #define RISCV_CPU_MARCHID ((QEMU_VERSION_MAJOR << 16) | \ |
38 | (QEMU_VERSION_MINOR << 8) | \ | |
39 | (QEMU_VERSION_MICRO)) | |
40 | #define RISCV_CPU_MIPID RISCV_CPU_MARCHID | |
41 | ||
0e2c3770 | 42 | static const char riscv_single_letter_exts[] = "IEMAFDQCPVH"; |
dc5bd18f | 43 | |
a775398b AP |
44 | struct isa_ext_data { |
45 | const char *name; | |
46 | bool enabled; | |
47 | }; | |
48 | ||
dc5bd18f | 49 | const char * const riscv_int_regnames[] = { |
a9f37afa AP |
50 | "x0/zero", "x1/ra", "x2/sp", "x3/gp", "x4/tp", "x5/t0", "x6/t1", |
51 | "x7/t2", "x8/s0", "x9/s1", "x10/a0", "x11/a1", "x12/a2", "x13/a3", | |
52 | "x14/a4", "x15/a5", "x16/a6", "x17/a7", "x18/s2", "x19/s3", "x20/s4", | |
53 | "x21/s5", "x22/s6", "x23/s7", "x24/s8", "x25/s9", "x26/s10", "x27/s11", | |
54 | "x28/t3", "x29/t4", "x30/t5", "x31/t6" | |
dc5bd18f MC |
55 | }; |
56 | ||
2b547084 FP |
57 | const char * const riscv_int_regnamesh[] = { |
58 | "x0h/zeroh", "x1h/rah", "x2h/sph", "x3h/gph", "x4h/tph", "x5h/t0h", | |
59 | "x6h/t1h", "x7h/t2h", "x8h/s0h", "x9h/s1h", "x10h/a0h", "x11h/a1h", | |
60 | "x12h/a2h", "x13h/a3h", "x14h/a4h", "x15h/a5h", "x16h/a6h", "x17h/a7h", | |
61 | "x18h/s2h", "x19h/s3h", "x20h/s4h", "x21h/s5h", "x22h/s6h", "x23h/s7h", | |
62 | "x24h/s8h", "x25h/s9h", "x26h/s10h", "x27h/s11h", "x28h/t3h", "x29h/t4h", | |
63 | "x30h/t5h", "x31h/t6h" | |
64 | }; | |
65 | ||
dc5bd18f | 66 | const char * const riscv_fpr_regnames[] = { |
a9f37afa AP |
67 | "f0/ft0", "f1/ft1", "f2/ft2", "f3/ft3", "f4/ft4", "f5/ft5", |
68 | "f6/ft6", "f7/ft7", "f8/fs0", "f9/fs1", "f10/fa0", "f11/fa1", | |
69 | "f12/fa2", "f13/fa3", "f14/fa4", "f15/fa5", "f16/fa6", "f17/fa7", | |
70 | "f18/fs2", "f19/fs3", "f20/fs4", "f21/fs5", "f22/fs6", "f23/fs7", | |
71 | "f24/fs8", "f25/fs9", "f26/fs10", "f27/fs11", "f28/ft8", "f29/ft9", | |
72 | "f30/ft10", "f31/ft11" | |
dc5bd18f MC |
73 | }; |
74 | ||
9a575d33 | 75 | static const char * const riscv_excp_names[] = { |
dc5bd18f MC |
76 | "misaligned_fetch", |
77 | "fault_fetch", | |
78 | "illegal_instruction", | |
79 | "breakpoint", | |
80 | "misaligned_load", | |
81 | "fault_load", | |
82 | "misaligned_store", | |
83 | "fault_store", | |
84 | "user_ecall", | |
85 | "supervisor_ecall", | |
86 | "hypervisor_ecall", | |
87 | "machine_ecall", | |
88 | "exec_page_fault", | |
89 | "load_page_fault", | |
90 | "reserved", | |
fd990e86 | 91 | "store_page_fault", |
ab67a1d0 AF |
92 | "reserved", |
93 | "reserved", | |
94 | "reserved", | |
95 | "reserved", | |
96 | "guest_exec_page_fault", | |
97 | "guest_load_page_fault", | |
98 | "reserved", | |
fd990e86 | 99 | "guest_store_page_fault", |
dc5bd18f MC |
100 | }; |
101 | ||
9a575d33 | 102 | static const char * const riscv_intr_names[] = { |
dc5bd18f MC |
103 | "u_software", |
104 | "s_software", | |
205377f8 | 105 | "vs_software", |
dc5bd18f MC |
106 | "m_software", |
107 | "u_timer", | |
108 | "s_timer", | |
205377f8 | 109 | "vs_timer", |
dc5bd18f MC |
110 | "m_timer", |
111 | "u_external", | |
6cfcf775 | 112 | "s_external", |
205377f8 | 113 | "vs_external", |
dc5bd18f | 114 | "m_external", |
426f0348 MC |
115 | "reserved", |
116 | "reserved", | |
117 | "reserved", | |
118 | "reserved" | |
dc5bd18f MC |
119 | }; |
120 | ||
c51a3f5d YJ |
121 | const char *riscv_cpu_get_trap_name(target_ulong cause, bool async) |
122 | { | |
123 | if (async) { | |
124 | return (cause < ARRAY_SIZE(riscv_intr_names)) ? | |
125 | riscv_intr_names[cause] : "(unknown)"; | |
126 | } else { | |
127 | return (cause < ARRAY_SIZE(riscv_excp_names)) ? | |
128 | riscv_excp_names[cause] : "(unknown)"; | |
129 | } | |
130 | } | |
131 | ||
e91a7227 | 132 | static void set_misa(CPURISCVState *env, RISCVMXL mxl, uint32_t ext) |
dc5bd18f | 133 | { |
e91a7227 RH |
134 | env->misa_mxl_max = env->misa_mxl = mxl; |
135 | env->misa_ext_mask = env->misa_ext = ext; | |
dc5bd18f MC |
136 | } |
137 | ||
c9a73910 | 138 | static void set_priv_version(CPURISCVState *env, int priv_ver) |
dc5bd18f | 139 | { |
dc5bd18f MC |
140 | env->priv_ver = priv_ver; |
141 | } | |
142 | ||
32931383 LZ |
143 | static void set_vext_version(CPURISCVState *env, int vext_ver) |
144 | { | |
145 | env->vext_ver = vext_ver; | |
146 | } | |
147 | ||
01e723bf | 148 | static void set_resetvec(CPURISCVState *env, target_ulong resetvec) |
dc5bd18f MC |
149 | { |
150 | #ifndef CONFIG_USER_ONLY | |
151 | env->resetvec = resetvec; | |
152 | #endif | |
153 | } | |
154 | ||
155 | static void riscv_any_cpu_init(Object *obj) | |
156 | { | |
157 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
3820602f | 158 | #if defined(TARGET_RISCV32) |
e91a7227 | 159 | set_misa(env, MXL_RV32, RVI | RVM | RVA | RVF | RVD | RVC | RVU); |
3820602f | 160 | #elif defined(TARGET_RISCV64) |
e91a7227 | 161 | set_misa(env, MXL_RV64, RVI | RVM | RVA | RVF | RVD | RVC | RVU); |
3820602f | 162 | #endif |
7100fe6c | 163 | set_priv_version(env, PRIV_VERSION_1_12_0); |
dc5bd18f MC |
164 | } |
165 | ||
094b072c AF |
166 | #if defined(TARGET_RISCV64) |
167 | static void rv64_base_cpu_init(Object *obj) | |
8903bf6e AF |
168 | { |
169 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
b55d7d34 | 170 | /* We set this in the realise function */ |
e91a7227 | 171 | set_misa(env, MXL_RV64, 0); |
8903bf6e AF |
172 | } |
173 | ||
114baaca | 174 | static void rv64_sifive_u_cpu_init(Object *obj) |
dc5bd18f MC |
175 | { |
176 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
e91a7227 | 177 | set_misa(env, MXL_RV64, RVI | RVM | RVA | RVF | RVD | RVC | RVS | RVU); |
c9a73910 | 178 | set_priv_version(env, PRIV_VERSION_1_10_0); |
dc5bd18f MC |
179 | } |
180 | ||
114baaca | 181 | static void rv64_sifive_e_cpu_init(Object *obj) |
36b80ad9 AF |
182 | { |
183 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
e91a7227 | 184 | set_misa(env, MXL_RV64, RVI | RVM | RVA | RVC | RVU); |
36b80ad9 | 185 | set_priv_version(env, PRIV_VERSION_1_10_0); |
36b80ad9 AF |
186 | qdev_prop_set_bit(DEVICE(obj), "mmu", false); |
187 | } | |
332dab68 FP |
188 | |
189 | static void rv128_base_cpu_init(Object *obj) | |
190 | { | |
191 | if (qemu_tcg_mttcg_enabled()) { | |
192 | /* Missing 128-bit aligned atomics */ | |
193 | error_report("128-bit RISC-V currently does not work with Multi " | |
194 | "Threaded TCG. Please use: -accel tcg,thread=single"); | |
195 | exit(EXIT_FAILURE); | |
196 | } | |
197 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
198 | /* We set this in the realise function */ | |
199 | set_misa(env, MXL_RV128, 0); | |
200 | } | |
114baaca | 201 | #else |
094b072c AF |
202 | static void rv32_base_cpu_init(Object *obj) |
203 | { | |
204 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
205 | /* We set this in the realise function */ | |
e91a7227 | 206 | set_misa(env, MXL_RV32, 0); |
094b072c AF |
207 | } |
208 | ||
114baaca AF |
209 | static void rv32_sifive_u_cpu_init(Object *obj) |
210 | { | |
211 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
e91a7227 | 212 | set_misa(env, MXL_RV32, RVI | RVM | RVA | RVF | RVD | RVC | RVS | RVU); |
114baaca AF |
213 | set_priv_version(env, PRIV_VERSION_1_10_0); |
214 | } | |
36b80ad9 | 215 | |
114baaca AF |
216 | static void rv32_sifive_e_cpu_init(Object *obj) |
217 | { | |
218 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
e91a7227 | 219 | set_misa(env, MXL_RV32, RVI | RVM | RVA | RVC | RVU); |
114baaca AF |
220 | set_priv_version(env, PRIV_VERSION_1_10_0); |
221 | qdev_prop_set_bit(DEVICE(obj), "mmu", false); | |
222 | } | |
d8e72bd1 | 223 | |
e8905c6c | 224 | static void rv32_ibex_cpu_init(Object *obj) |
dc5bd18f MC |
225 | { |
226 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
e91a7227 | 227 | set_misa(env, MXL_RV32, RVI | RVM | RVC | RVU); |
c9a73910 | 228 | set_priv_version(env, PRIV_VERSION_1_10_0); |
8be6971b | 229 | qdev_prop_set_bit(DEVICE(obj), "mmu", false); |
ed6eebaa | 230 | qdev_prop_set_bit(DEVICE(obj), "x-epmp", true); |
dc5bd18f MC |
231 | } |
232 | ||
2fdd2c09 | 233 | static void rv32_imafcu_nommu_cpu_init(Object *obj) |
d784733b CW |
234 | { |
235 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
e91a7227 | 236 | set_misa(env, MXL_RV32, RVI | RVM | RVA | RVF | RVC | RVU); |
d784733b CW |
237 | set_priv_version(env, PRIV_VERSION_1_10_0); |
238 | set_resetvec(env, DEFAULT_RSTVEC); | |
8be6971b | 239 | qdev_prop_set_bit(DEVICE(obj), "mmu", false); |
d784733b | 240 | } |
eab15862 | 241 | #endif |
dc5bd18f | 242 | |
10f1ca27 YJ |
243 | #if defined(CONFIG_KVM) |
244 | static void riscv_host_cpu_init(Object *obj) | |
245 | { | |
246 | CPURISCVState *env = &RISCV_CPU(obj)->env; | |
247 | #if defined(TARGET_RISCV32) | |
248 | set_misa(env, MXL_RV32, 0); | |
249 | #elif defined(TARGET_RISCV64) | |
250 | set_misa(env, MXL_RV64, 0); | |
251 | #endif | |
252 | } | |
253 | #endif | |
254 | ||
dc5bd18f MC |
255 | static ObjectClass *riscv_cpu_class_by_name(const char *cpu_model) |
256 | { | |
257 | ObjectClass *oc; | |
258 | char *typename; | |
259 | char **cpuname; | |
260 | ||
261 | cpuname = g_strsplit(cpu_model, ",", 1); | |
262 | typename = g_strdup_printf(RISCV_CPU_TYPE_NAME("%s"), cpuname[0]); | |
263 | oc = object_class_by_name(typename); | |
264 | g_strfreev(cpuname); | |
265 | g_free(typename); | |
266 | if (!oc || !object_class_dynamic_cast(oc, TYPE_RISCV_CPU) || | |
267 | object_class_is_abstract(oc)) { | |
268 | return NULL; | |
269 | } | |
270 | return oc; | |
271 | } | |
272 | ||
90c84c56 | 273 | static void riscv_cpu_dump_state(CPUState *cs, FILE *f, int flags) |
dc5bd18f MC |
274 | { |
275 | RISCVCPU *cpu = RISCV_CPU(cs); | |
276 | CPURISCVState *env = &cpu->env; | |
277 | int i; | |
278 | ||
df30e652 AF |
279 | #if !defined(CONFIG_USER_ONLY) |
280 | if (riscv_has_ext(env, RVH)) { | |
281 | qemu_fprintf(f, " %s %d\n", "V = ", riscv_cpu_virt_enabled(env)); | |
282 | } | |
283 | #endif | |
90c84c56 | 284 | qemu_fprintf(f, " %s " TARGET_FMT_lx "\n", "pc ", env->pc); |
dc5bd18f | 285 | #ifndef CONFIG_USER_ONLY |
665b90d8 RH |
286 | { |
287 | static const int dump_csrs[] = { | |
288 | CSR_MHARTID, | |
289 | CSR_MSTATUS, | |
290 | CSR_MSTATUSH, | |
291 | CSR_HSTATUS, | |
292 | CSR_VSSTATUS, | |
293 | CSR_MIP, | |
294 | CSR_MIE, | |
295 | CSR_MIDELEG, | |
296 | CSR_HIDELEG, | |
297 | CSR_MEDELEG, | |
298 | CSR_HEDELEG, | |
299 | CSR_MTVEC, | |
300 | CSR_STVEC, | |
301 | CSR_VSTVEC, | |
302 | CSR_MEPC, | |
303 | CSR_SEPC, | |
304 | CSR_VSEPC, | |
305 | CSR_MCAUSE, | |
306 | CSR_SCAUSE, | |
307 | CSR_VSCAUSE, | |
308 | CSR_MTVAL, | |
309 | CSR_STVAL, | |
310 | CSR_HTVAL, | |
311 | CSR_MTVAL2, | |
312 | CSR_MSCRATCH, | |
313 | CSR_SSCRATCH, | |
314 | CSR_SATP, | |
bd5594ca AB |
315 | CSR_MMTE, |
316 | CSR_UPMBASE, | |
317 | CSR_UPMMASK, | |
318 | CSR_SPMBASE, | |
319 | CSR_SPMMASK, | |
320 | CSR_MPMBASE, | |
321 | CSR_MPMMASK, | |
665b90d8 RH |
322 | }; |
323 | ||
324 | for (int i = 0; i < ARRAY_SIZE(dump_csrs); ++i) { | |
325 | int csrno = dump_csrs[i]; | |
326 | target_ulong val = 0; | |
327 | RISCVException res = riscv_csrrw_debug(env, csrno, &val, 0, 0); | |
328 | ||
329 | /* | |
330 | * Rely on the smode, hmode, etc, predicates within csr.c | |
331 | * to do the filtering of the registers that are present. | |
332 | */ | |
333 | if (res == RISCV_EXCP_NONE) { | |
334 | qemu_fprintf(f, " %-8s " TARGET_FMT_lx "\n", | |
335 | csr_ops[csrno].name, val); | |
336 | } | |
337 | } | |
df30e652 | 338 | } |
dc5bd18f MC |
339 | #endif |
340 | ||
341 | for (i = 0; i < 32; i++) { | |
e573a7f3 | 342 | qemu_fprintf(f, " %-8s " TARGET_FMT_lx, |
90c84c56 | 343 | riscv_int_regnames[i], env->gpr[i]); |
dc5bd18f | 344 | if ((i & 3) == 3) { |
90c84c56 | 345 | qemu_fprintf(f, "\n"); |
dc5bd18f MC |
346 | } |
347 | } | |
86ea1880 RH |
348 | if (flags & CPU_DUMP_FPU) { |
349 | for (i = 0; i < 32; i++) { | |
e573a7f3 | 350 | qemu_fprintf(f, " %-8s %016" PRIx64, |
90c84c56 | 351 | riscv_fpr_regnames[i], env->fpr[i]); |
86ea1880 | 352 | if ((i & 3) == 3) { |
90c84c56 | 353 | qemu_fprintf(f, "\n"); |
86ea1880 | 354 | } |
dc5bd18f MC |
355 | } |
356 | } | |
357 | } | |
358 | ||
359 | static void riscv_cpu_set_pc(CPUState *cs, vaddr value) | |
360 | { | |
361 | RISCVCPU *cpu = RISCV_CPU(cs); | |
362 | CPURISCVState *env = &cpu->env; | |
bf9e776e LZ |
363 | |
364 | if (env->xl == MXL_RV32) { | |
365 | env->pc = (int32_t)value; | |
366 | } else { | |
367 | env->pc = value; | |
368 | } | |
dc5bd18f MC |
369 | } |
370 | ||
04a37d4c RH |
371 | static void riscv_cpu_synchronize_from_tb(CPUState *cs, |
372 | const TranslationBlock *tb) | |
dc5bd18f MC |
373 | { |
374 | RISCVCPU *cpu = RISCV_CPU(cs); | |
375 | CPURISCVState *env = &cpu->env; | |
bf9e776e LZ |
376 | RISCVMXL xl = FIELD_EX32(tb->flags, TB_FLAGS, XL); |
377 | ||
378 | if (xl == MXL_RV32) { | |
379 | env->pc = (int32_t)tb->pc; | |
380 | } else { | |
381 | env->pc = tb->pc; | |
382 | } | |
dc5bd18f MC |
383 | } |
384 | ||
385 | static bool riscv_cpu_has_work(CPUState *cs) | |
386 | { | |
387 | #ifndef CONFIG_USER_ONLY | |
388 | RISCVCPU *cpu = RISCV_CPU(cs); | |
389 | CPURISCVState *env = &cpu->env; | |
390 | /* | |
391 | * Definition of the WFI instruction requires it to ignore the privilege | |
392 | * mode and delegation registers, but respect individual enables | |
393 | */ | |
7ec5d303 | 394 | return (env->mip & env->mie) != 0; |
dc5bd18f MC |
395 | #else |
396 | return true; | |
397 | #endif | |
398 | } | |
399 | ||
400 | void restore_state_to_opc(CPURISCVState *env, TranslationBlock *tb, | |
401 | target_ulong *data) | |
402 | { | |
bf9e776e LZ |
403 | RISCVMXL xl = FIELD_EX32(tb->flags, TB_FLAGS, XL); |
404 | if (xl == MXL_RV32) { | |
405 | env->pc = (int32_t)data[0]; | |
406 | } else { | |
407 | env->pc = data[0]; | |
408 | } | |
dc5bd18f MC |
409 | } |
410 | ||
781c67ca | 411 | static void riscv_cpu_reset(DeviceState *dev) |
dc5bd18f | 412 | { |
43dc93af AP |
413 | #ifndef CONFIG_USER_ONLY |
414 | uint8_t iprio; | |
415 | int i, irq, rdzero; | |
416 | #endif | |
781c67ca | 417 | CPUState *cs = CPU(dev); |
dc5bd18f MC |
418 | RISCVCPU *cpu = RISCV_CPU(cs); |
419 | RISCVCPUClass *mcc = RISCV_CPU_GET_CLASS(cpu); | |
420 | CPURISCVState *env = &cpu->env; | |
421 | ||
781c67ca | 422 | mcc->parent_reset(dev); |
dc5bd18f | 423 | #ifndef CONFIG_USER_ONLY |
e91a7227 | 424 | env->misa_mxl = env->misa_mxl_max; |
dc5bd18f MC |
425 | env->priv = PRV_M; |
426 | env->mstatus &= ~(MSTATUS_MIE | MSTATUS_MPRV); | |
92371bd9 RH |
427 | if (env->misa_mxl > MXL_RV32) { |
428 | /* | |
429 | * The reset status of SXL/UXL is undefined, but mstatus is WARL | |
430 | * and we must ensure that the value after init is valid for read. | |
431 | */ | |
432 | env->mstatus = set_field(env->mstatus, MSTATUS64_SXL, env->misa_mxl); | |
433 | env->mstatus = set_field(env->mstatus, MSTATUS64_UXL, env->misa_mxl); | |
5a2ae235 LZ |
434 | if (riscv_has_ext(env, RVH)) { |
435 | env->vsstatus = set_field(env->vsstatus, | |
436 | MSTATUS64_SXL, env->misa_mxl); | |
437 | env->vsstatus = set_field(env->vsstatus, | |
438 | MSTATUS64_UXL, env->misa_mxl); | |
439 | env->mstatus_hs = set_field(env->mstatus_hs, | |
440 | MSTATUS64_SXL, env->misa_mxl); | |
441 | env->mstatus_hs = set_field(env->mstatus_hs, | |
442 | MSTATUS64_UXL, env->misa_mxl); | |
443 | } | |
92371bd9 | 444 | } |
dc5bd18f | 445 | env->mcause = 0; |
881df35d | 446 | env->miclaim = MIP_SGEIP; |
dc5bd18f | 447 | env->pc = env->resetvec; |
ec352d0c | 448 | env->two_stage_lookup = false; |
43dc93af AP |
449 | |
450 | /* Initialized default priorities of local interrupts. */ | |
451 | for (i = 0; i < ARRAY_SIZE(env->miprio); i++) { | |
452 | iprio = riscv_cpu_default_priority(i); | |
453 | env->miprio[i] = (i == IRQ_M_EXT) ? 0 : iprio; | |
454 | env->siprio[i] = (i == IRQ_S_EXT) ? 0 : iprio; | |
455 | env->hviprio[i] = 0; | |
456 | } | |
457 | i = 0; | |
458 | while (!riscv_cpu_hviprio_index2irq(i, &irq, &rdzero)) { | |
459 | if (!rdzero) { | |
460 | env->hviprio[irq] = env->miprio[irq]; | |
461 | } | |
462 | i++; | |
463 | } | |
4bbe8033 AB |
464 | /* mmte is supposed to have pm.current hardwired to 1 */ |
465 | env->mmte |= (PM_EXT_INITIAL | MMTE_M_PM_CURRENT); | |
dc5bd18f | 466 | #endif |
440544e1 | 467 | env->xl = riscv_cpu_mxl(env); |
40bfa5f6 | 468 | riscv_cpu_update_mask(env); |
330d2ae3 | 469 | cs->exception_index = RISCV_EXCP_NONE; |
c13b169f | 470 | env->load_res = -1; |
dc5bd18f | 471 | set_default_nan_mode(1, &env->fp_status); |
ad40be27 YJ |
472 | |
473 | #ifndef CONFIG_USER_ONLY | |
b6092544 BM |
474 | if (riscv_feature(env, RISCV_FEATURE_DEBUG)) { |
475 | riscv_trigger_init(env); | |
476 | } | |
477 | ||
ad40be27 YJ |
478 | if (kvm_enabled()) { |
479 | kvm_riscv_reset_vcpu(cpu); | |
480 | } | |
481 | #endif | |
dc5bd18f MC |
482 | } |
483 | ||
484 | static void riscv_cpu_disas_set_info(CPUState *s, disassemble_info *info) | |
485 | { | |
5c5a47f1 | 486 | RISCVCPU *cpu = RISCV_CPU(s); |
db23e5d9 RH |
487 | |
488 | switch (riscv_cpu_mxl(&cpu->env)) { | |
489 | case MXL_RV32: | |
5c5a47f1 | 490 | info->print_insn = print_insn_riscv32; |
db23e5d9 RH |
491 | break; |
492 | case MXL_RV64: | |
5c5a47f1 | 493 | info->print_insn = print_insn_riscv64; |
db23e5d9 | 494 | break; |
332dab68 FP |
495 | case MXL_RV128: |
496 | info->print_insn = print_insn_riscv128; | |
497 | break; | |
db23e5d9 RH |
498 | default: |
499 | g_assert_not_reached(); | |
5c5a47f1 | 500 | } |
dc5bd18f MC |
501 | } |
502 | ||
503 | static void riscv_cpu_realize(DeviceState *dev, Error **errp) | |
504 | { | |
505 | CPUState *cs = CPU(dev); | |
c4e95030 AF |
506 | RISCVCPU *cpu = RISCV_CPU(dev); |
507 | CPURISCVState *env = &cpu->env; | |
dc5bd18f | 508 | RISCVCPUClass *mcc = RISCV_CPU_GET_CLASS(dev); |
1191be09 | 509 | CPUClass *cc = CPU_CLASS(mcc); |
a8b37120 | 510 | int priv_version = 0; |
dc5bd18f MC |
511 | Error *local_err = NULL; |
512 | ||
513 | cpu_exec_realizefn(cs, &local_err); | |
514 | if (local_err != NULL) { | |
515 | error_propagate(errp, local_err); | |
516 | return; | |
517 | } | |
518 | ||
c4e95030 | 519 | if (cpu->cfg.priv_spec) { |
7100fe6c AP |
520 | if (!g_strcmp0(cpu->cfg.priv_spec, "v1.12.0")) { |
521 | priv_version = PRIV_VERSION_1_12_0; | |
522 | } else if (!g_strcmp0(cpu->cfg.priv_spec, "v1.11.0")) { | |
e3147506 AF |
523 | priv_version = PRIV_VERSION_1_11_0; |
524 | } else if (!g_strcmp0(cpu->cfg.priv_spec, "v1.10.0")) { | |
c4e95030 | 525 | priv_version = PRIV_VERSION_1_10_0; |
c4e95030 AF |
526 | } else { |
527 | error_setg(errp, | |
528 | "Unsupported privilege spec version '%s'", | |
529 | cpu->cfg.priv_spec); | |
530 | return; | |
531 | } | |
532 | } | |
533 | ||
a8b37120 LZ |
534 | if (priv_version) { |
535 | set_priv_version(env, priv_version); | |
536 | } else if (!env->priv_ver) { | |
7100fe6c | 537 | set_priv_version(env, PRIV_VERSION_1_12_0); |
a8b37120 | 538 | } |
c4e95030 AF |
539 | |
540 | if (cpu->cfg.mmu) { | |
f87adf23 | 541 | riscv_set_feature(env, RISCV_FEATURE_MMU); |
c4e95030 AF |
542 | } |
543 | ||
544 | if (cpu->cfg.pmp) { | |
f87adf23 | 545 | riscv_set_feature(env, RISCV_FEATURE_PMP); |
5da9514e HW |
546 | |
547 | /* | |
548 | * Enhanced PMP should only be available | |
549 | * on harts with PMP support | |
550 | */ | |
551 | if (cpu->cfg.epmp) { | |
f87adf23 | 552 | riscv_set_feature(env, RISCV_FEATURE_EPMP); |
5da9514e | 553 | } |
c4e95030 AF |
554 | } |
555 | ||
91870b51 AP |
556 | if (cpu->cfg.aia) { |
557 | riscv_set_feature(env, RISCV_FEATURE_AIA); | |
558 | } | |
559 | ||
1acdb3b0 BM |
560 | if (cpu->cfg.debug) { |
561 | riscv_set_feature(env, RISCV_FEATURE_DEBUG); | |
562 | } | |
563 | ||
73f6ed97 BM |
564 | set_resetvec(env, cpu->cfg.resetvec); |
565 | ||
e91a7227 RH |
566 | /* Validate that MISA_MXL is set properly. */ |
567 | switch (env->misa_mxl_max) { | |
568 | #ifdef TARGET_RISCV64 | |
569 | case MXL_RV64: | |
332dab68 | 570 | case MXL_RV128: |
6c3a9247 | 571 | cc->gdb_core_xml_file = "riscv-64bit-cpu.xml"; |
332dab68 | 572 | break; |
e91a7227 RH |
573 | #endif |
574 | case MXL_RV32: | |
1191be09 | 575 | cc->gdb_core_xml_file = "riscv-32bit-cpu.xml"; |
e91a7227 RH |
576 | break; |
577 | default: | |
578 | g_assert_not_reached(); | |
579 | } | |
580 | assert(env->misa_mxl_max == env->misa_mxl); | |
581 | ||
582 | /* If only MISA_EXT is unset for misa, then set it from properties */ | |
583 | if (env->misa_ext == 0) { | |
584 | uint32_t ext = 0; | |
585 | ||
b55d7d34 AF |
586 | /* Do some ISA extension error checking */ |
587 | if (cpu->cfg.ext_i && cpu->cfg.ext_e) { | |
588 | error_setg(errp, | |
589 | "I and E extensions are incompatible"); | |
8b5c807b AF |
590 | return; |
591 | } | |
b55d7d34 | 592 | |
bdddd446 AF |
593 | if (!cpu->cfg.ext_i && !cpu->cfg.ext_e) { |
594 | error_setg(errp, | |
595 | "Either I or E extension must be set"); | |
8b5c807b AF |
596 | return; |
597 | } | |
bdddd446 | 598 | |
61cdf459 TO |
599 | if (cpu->cfg.ext_g && !(cpu->cfg.ext_i && cpu->cfg.ext_m && |
600 | cpu->cfg.ext_a && cpu->cfg.ext_f && | |
9f6b7da5 TO |
601 | cpu->cfg.ext_d && |
602 | cpu->cfg.ext_icsr && cpu->cfg.ext_ifencei)) { | |
603 | warn_report("Setting G will also set IMAFD_Zicsr_Zifencei"); | |
b55d7d34 AF |
604 | cpu->cfg.ext_i = true; |
605 | cpu->cfg.ext_m = true; | |
606 | cpu->cfg.ext_a = true; | |
607 | cpu->cfg.ext_f = true; | |
608 | cpu->cfg.ext_d = true; | |
9f6b7da5 TO |
609 | cpu->cfg.ext_icsr = true; |
610 | cpu->cfg.ext_ifencei = true; | |
b55d7d34 AF |
611 | } |
612 | ||
1086504c TO |
613 | if (cpu->cfg.ext_f && !cpu->cfg.ext_icsr) { |
614 | error_setg(errp, "F extension requires Zicsr"); | |
615 | return; | |
616 | } | |
617 | ||
618 | if ((cpu->cfg.ext_zfh || cpu->cfg.ext_zfhmin) && !cpu->cfg.ext_f) { | |
619 | error_setg(errp, "Zfh/Zfhmin extensions require F extension"); | |
620 | return; | |
621 | } | |
622 | ||
623 | if (cpu->cfg.ext_d && !cpu->cfg.ext_f) { | |
624 | error_setg(errp, "D extension requires F extension"); | |
625 | return; | |
626 | } | |
627 | ||
628 | if (cpu->cfg.ext_v && !cpu->cfg.ext_d) { | |
629 | error_setg(errp, "V extension requires D extension"); | |
630 | return; | |
631 | } | |
632 | ||
89ffdcec WL |
633 | if (cpu->cfg.ext_zdinx || cpu->cfg.ext_zhinx || |
634 | cpu->cfg.ext_zhinxmin) { | |
635 | cpu->cfg.ext_zfinx = true; | |
636 | } | |
637 | ||
1086504c TO |
638 | if (cpu->cfg.ext_zfinx && !cpu->cfg.ext_icsr) { |
639 | error_setg(errp, "Zfinx extension requires Zicsr"); | |
640 | return; | |
641 | } | |
642 | ||
eef82872 WL |
643 | if (cpu->cfg.ext_zk) { |
644 | cpu->cfg.ext_zkn = true; | |
645 | cpu->cfg.ext_zkr = true; | |
646 | cpu->cfg.ext_zkt = true; | |
647 | } | |
648 | ||
649 | if (cpu->cfg.ext_zkn) { | |
650 | cpu->cfg.ext_zbkb = true; | |
651 | cpu->cfg.ext_zbkc = true; | |
652 | cpu->cfg.ext_zbkx = true; | |
653 | cpu->cfg.ext_zkne = true; | |
654 | cpu->cfg.ext_zknd = true; | |
655 | cpu->cfg.ext_zknh = true; | |
656 | } | |
657 | ||
658 | if (cpu->cfg.ext_zks) { | |
659 | cpu->cfg.ext_zbkb = true; | |
660 | cpu->cfg.ext_zbkc = true; | |
661 | cpu->cfg.ext_zbkx = true; | |
662 | cpu->cfg.ext_zksed = true; | |
663 | cpu->cfg.ext_zksh = true; | |
664 | } | |
665 | ||
b55d7d34 AF |
666 | /* Set the ISA extensions, checks should have happened above */ |
667 | if (cpu->cfg.ext_i) { | |
e91a7227 | 668 | ext |= RVI; |
b55d7d34 AF |
669 | } |
670 | if (cpu->cfg.ext_e) { | |
e91a7227 | 671 | ext |= RVE; |
b55d7d34 AF |
672 | } |
673 | if (cpu->cfg.ext_m) { | |
e91a7227 | 674 | ext |= RVM; |
b55d7d34 AF |
675 | } |
676 | if (cpu->cfg.ext_a) { | |
e91a7227 | 677 | ext |= RVA; |
b55d7d34 AF |
678 | } |
679 | if (cpu->cfg.ext_f) { | |
e91a7227 | 680 | ext |= RVF; |
b55d7d34 AF |
681 | } |
682 | if (cpu->cfg.ext_d) { | |
e91a7227 | 683 | ext |= RVD; |
b55d7d34 AF |
684 | } |
685 | if (cpu->cfg.ext_c) { | |
e91a7227 | 686 | ext |= RVC; |
b55d7d34 AF |
687 | } |
688 | if (cpu->cfg.ext_s) { | |
e91a7227 | 689 | ext |= RVS; |
b55d7d34 AF |
690 | } |
691 | if (cpu->cfg.ext_u) { | |
e91a7227 | 692 | ext |= RVU; |
b55d7d34 | 693 | } |
c9eefe05 | 694 | if (cpu->cfg.ext_h) { |
e91a7227 | 695 | ext |= RVH; |
c9eefe05 | 696 | } |
6bf91617 | 697 | if (cpu->cfg.ext_v) { |
9ec6622d | 698 | int vext_version = VEXT_VERSION_1_00_0; |
e91a7227 | 699 | ext |= RVV; |
6bf91617 LZ |
700 | if (!is_power_of_2(cpu->cfg.vlen)) { |
701 | error_setg(errp, | |
702 | "Vector extension VLEN must be power of 2"); | |
703 | return; | |
704 | } | |
705 | if (cpu->cfg.vlen > RV_VLEN_MAX || cpu->cfg.vlen < 128) { | |
706 | error_setg(errp, | |
707 | "Vector extension implementation only supports VLEN " | |
708 | "in the range [128, %d]", RV_VLEN_MAX); | |
709 | return; | |
710 | } | |
711 | if (!is_power_of_2(cpu->cfg.elen)) { | |
712 | error_setg(errp, | |
713 | "Vector extension ELEN must be power of 2"); | |
714 | return; | |
715 | } | |
716 | if (cpu->cfg.elen > 64 || cpu->cfg.vlen < 8) { | |
717 | error_setg(errp, | |
718 | "Vector extension implementation only supports ELEN " | |
719 | "in the range [8, 64]"); | |
720 | return; | |
721 | } | |
722 | if (cpu->cfg.vext_spec) { | |
9ec6622d FC |
723 | if (!g_strcmp0(cpu->cfg.vext_spec, "v1.0")) { |
724 | vext_version = VEXT_VERSION_1_00_0; | |
6bf91617 LZ |
725 | } else { |
726 | error_setg(errp, | |
727 | "Unsupported vector spec version '%s'", | |
728 | cpu->cfg.vext_spec); | |
729 | return; | |
730 | } | |
731 | } else { | |
cba42d61 | 732 | qemu_log("vector version is not specified, " |
9ec6622d | 733 | "use the default value v1.0\n"); |
6bf91617 LZ |
734 | } |
735 | set_vext_version(env, vext_version); | |
736 | } | |
32e579b8 FC |
737 | if ((cpu->cfg.ext_zve32f || cpu->cfg.ext_zve64f) && !cpu->cfg.ext_f) { |
738 | error_setg(errp, "Zve32f/Zve64f extension depends upon RVF."); | |
b4a99d40 FC |
739 | return; |
740 | } | |
0ee9a4e5 AB |
741 | if (cpu->cfg.ext_j) { |
742 | ext |= RVJ; | |
743 | } | |
89ffdcec WL |
744 | if (cpu->cfg.ext_zfinx && ((ext & (RVF | RVD)) || cpu->cfg.ext_zfh || |
745 | cpu->cfg.ext_zfhmin)) { | |
746 | error_setg(errp, | |
747 | "'Zfinx' cannot be supported together with 'F', 'D', 'Zfh'," | |
748 | " 'Zfhmin'"); | |
749 | return; | |
750 | } | |
b55d7d34 | 751 | |
e91a7227 | 752 | set_misa(env, env->misa_mxl, ext); |
b55d7d34 AF |
753 | } |
754 | ||
5371f5cd JW |
755 | riscv_cpu_register_gdb_regs_for_features(cs); |
756 | ||
dc5bd18f MC |
757 | qemu_init_vcpu(cs); |
758 | cpu_reset(cs); | |
759 | ||
760 | mcc->parent_realize(dev, errp); | |
761 | } | |
762 | ||
0f0b70ee AF |
763 | #ifndef CONFIG_USER_ONLY |
764 | static void riscv_cpu_set_irq(void *opaque, int irq, int level) | |
765 | { | |
766 | RISCVCPU *cpu = RISCV_CPU(opaque); | |
cd032fe7 | 767 | CPURISCVState *env = &cpu->env; |
0f0b70ee | 768 | |
cd032fe7 AP |
769 | if (irq < IRQ_LOCAL_MAX) { |
770 | switch (irq) { | |
771 | case IRQ_U_SOFT: | |
772 | case IRQ_S_SOFT: | |
773 | case IRQ_VS_SOFT: | |
774 | case IRQ_M_SOFT: | |
775 | case IRQ_U_TIMER: | |
776 | case IRQ_S_TIMER: | |
777 | case IRQ_VS_TIMER: | |
778 | case IRQ_M_TIMER: | |
779 | case IRQ_U_EXT: | |
cd032fe7 AP |
780 | case IRQ_VS_EXT: |
781 | case IRQ_M_EXT: | |
8b5c807b | 782 | if (kvm_enabled()) { |
cd032fe7 | 783 | kvm_riscv_set_irq(cpu, irq, level); |
8b5c807b | 784 | } else { |
cd032fe7 | 785 | riscv_cpu_update_mip(cpu, 1 << irq, BOOL_TO_MASK(level)); |
8b5c807b | 786 | } |
cd032fe7 | 787 | break; |
33fe584f AF |
788 | case IRQ_S_EXT: |
789 | if (kvm_enabled()) { | |
790 | kvm_riscv_set_irq(cpu, irq, level); | |
791 | } else { | |
792 | env->external_seip = level; | |
793 | riscv_cpu_update_mip(cpu, 1 << irq, | |
794 | BOOL_TO_MASK(level | env->software_seip)); | |
795 | } | |
796 | break; | |
cd032fe7 AP |
797 | default: |
798 | g_assert_not_reached(); | |
2b650fbb | 799 | } |
cd032fe7 AP |
800 | } else if (irq < (IRQ_LOCAL_MAX + IRQ_LOCAL_GUEST_MAX)) { |
801 | /* Require H-extension for handling guest local interrupts */ | |
802 | if (!riscv_has_ext(env, RVH)) { | |
803 | g_assert_not_reached(); | |
804 | } | |
805 | ||
806 | /* Compute bit position in HGEIP CSR */ | |
807 | irq = irq - IRQ_LOCAL_MAX + 1; | |
808 | if (env->geilen < irq) { | |
809 | g_assert_not_reached(); | |
810 | } | |
811 | ||
812 | /* Update HGEIP CSR */ | |
813 | env->hgeip &= ~((target_ulong)1 << irq); | |
814 | if (level) { | |
815 | env->hgeip |= (target_ulong)1 << irq; | |
816 | } | |
817 | ||
818 | /* Update mip.SGEIP bit */ | |
819 | riscv_cpu_update_mip(cpu, MIP_SGEIP, | |
820 | BOOL_TO_MASK(!!(env->hgeie & env->hgeip))); | |
821 | } else { | |
0f0b70ee AF |
822 | g_assert_not_reached(); |
823 | } | |
824 | } | |
825 | #endif /* CONFIG_USER_ONLY */ | |
826 | ||
dc5bd18f MC |
827 | static void riscv_cpu_init(Object *obj) |
828 | { | |
dc5bd18f MC |
829 | RISCVCPU *cpu = RISCV_CPU(obj); |
830 | ||
7506ed90 | 831 | cpu_set_cpustate_pointers(cpu); |
0f0b70ee AF |
832 | |
833 | #ifndef CONFIG_USER_ONLY | |
cd032fe7 AP |
834 | qdev_init_gpio_in(DEVICE(cpu), riscv_cpu_set_irq, |
835 | IRQ_LOCAL_MAX + IRQ_LOCAL_GUEST_MAX); | |
0f0b70ee | 836 | #endif /* CONFIG_USER_ONLY */ |
dc5bd18f MC |
837 | } |
838 | ||
c4e95030 | 839 | static Property riscv_cpu_properties[] = { |
9d3d60b7 | 840 | /* Defaults for standard extensions */ |
b55d7d34 AF |
841 | DEFINE_PROP_BOOL("i", RISCVCPU, cfg.ext_i, true), |
842 | DEFINE_PROP_BOOL("e", RISCVCPU, cfg.ext_e, false), | |
1d398ab9 | 843 | DEFINE_PROP_BOOL("g", RISCVCPU, cfg.ext_g, false), |
b55d7d34 AF |
844 | DEFINE_PROP_BOOL("m", RISCVCPU, cfg.ext_m, true), |
845 | DEFINE_PROP_BOOL("a", RISCVCPU, cfg.ext_a, true), | |
846 | DEFINE_PROP_BOOL("f", RISCVCPU, cfg.ext_f, true), | |
847 | DEFINE_PROP_BOOL("d", RISCVCPU, cfg.ext_d, true), | |
848 | DEFINE_PROP_BOOL("c", RISCVCPU, cfg.ext_c, true), | |
849 | DEFINE_PROP_BOOL("s", RISCVCPU, cfg.ext_s, true), | |
850 | DEFINE_PROP_BOOL("u", RISCVCPU, cfg.ext_u, true), | |
9ec6622d | 851 | DEFINE_PROP_BOOL("v", RISCVCPU, cfg.ext_v, false), |
07cb270a | 852 | DEFINE_PROP_BOOL("h", RISCVCPU, cfg.ext_h, true), |
9d3d60b7 AF |
853 | DEFINE_PROP_BOOL("Counters", RISCVCPU, cfg.ext_counters, true), |
854 | DEFINE_PROP_BOOL("Zifencei", RISCVCPU, cfg.ext_ifencei, true), | |
855 | DEFINE_PROP_BOOL("Zicsr", RISCVCPU, cfg.ext_icsr, true), | |
13fb8c7b | 856 | DEFINE_PROP_BOOL("Zfh", RISCVCPU, cfg.ext_zfh, false), |
e5237730 | 857 | DEFINE_PROP_BOOL("Zfhmin", RISCVCPU, cfg.ext_zfhmin, false), |
2fc1b44d | 858 | DEFINE_PROP_BOOL("Zve32f", RISCVCPU, cfg.ext_zve32f, false), |
bfefe406 | 859 | DEFINE_PROP_BOOL("Zve64f", RISCVCPU, cfg.ext_zve64f, false), |
9d3d60b7 AF |
860 | DEFINE_PROP_BOOL("mmu", RISCVCPU, cfg.mmu, true), |
861 | DEFINE_PROP_BOOL("pmp", RISCVCPU, cfg.pmp, true), | |
c9711bd7 | 862 | DEFINE_PROP_BOOL("debug", RISCVCPU, cfg.debug, true), |
9d3d60b7 AF |
863 | |
864 | DEFINE_PROP_STRING("priv_spec", RISCVCPU, cfg.priv_spec), | |
9ec6622d FC |
865 | DEFINE_PROP_STRING("vext_spec", RISCVCPU, cfg.vext_spec), |
866 | DEFINE_PROP_UINT16("vlen", RISCVCPU, cfg.vlen, 128), | |
867 | DEFINE_PROP_UINT16("elen", RISCVCPU, cfg.elen, 64), | |
9d3d60b7 | 868 | |
9951ba94 FC |
869 | DEFINE_PROP_UINT32("mvendorid", RISCVCPU, cfg.mvendorid, 0), |
870 | DEFINE_PROP_UINT64("marchid", RISCVCPU, cfg.marchid, RISCV_CPU_MARCHID), | |
871 | DEFINE_PROP_UINT64("mipid", RISCVCPU, cfg.mipid, RISCV_CPU_MIPID), | |
872 | ||
c5d77ddd | 873 | DEFINE_PROP_BOOL("svinval", RISCVCPU, cfg.ext_svinval, false), |
2bacb224 | 874 | DEFINE_PROP_BOOL("svnapot", RISCVCPU, cfg.ext_svnapot, false), |
bbce8ba8 | 875 | DEFINE_PROP_BOOL("svpbmt", RISCVCPU, cfg.ext_svpbmt, false), |
2bacb224 | 876 | |
0643c12e VG |
877 | DEFINE_PROP_BOOL("zba", RISCVCPU, cfg.ext_zba, true), |
878 | DEFINE_PROP_BOOL("zbb", RISCVCPU, cfg.ext_zbb, true), | |
879 | DEFINE_PROP_BOOL("zbc", RISCVCPU, cfg.ext_zbc, true), | |
cf7ed971 WL |
880 | DEFINE_PROP_BOOL("zbkb", RISCVCPU, cfg.ext_zbkb, false), |
881 | DEFINE_PROP_BOOL("zbkc", RISCVCPU, cfg.ext_zbkc, false), | |
882 | DEFINE_PROP_BOOL("zbkx", RISCVCPU, cfg.ext_zbkx, false), | |
0643c12e | 883 | DEFINE_PROP_BOOL("zbs", RISCVCPU, cfg.ext_zbs, true), |
cf7ed971 WL |
884 | DEFINE_PROP_BOOL("zk", RISCVCPU, cfg.ext_zk, false), |
885 | DEFINE_PROP_BOOL("zkn", RISCVCPU, cfg.ext_zkn, false), | |
886 | DEFINE_PROP_BOOL("zknd", RISCVCPU, cfg.ext_zknd, false), | |
887 | DEFINE_PROP_BOOL("zkne", RISCVCPU, cfg.ext_zkne, false), | |
888 | DEFINE_PROP_BOOL("zknh", RISCVCPU, cfg.ext_zknh, false), | |
889 | DEFINE_PROP_BOOL("zkr", RISCVCPU, cfg.ext_zkr, false), | |
890 | DEFINE_PROP_BOOL("zks", RISCVCPU, cfg.ext_zks, false), | |
891 | DEFINE_PROP_BOOL("zksed", RISCVCPU, cfg.ext_zksed, false), | |
892 | DEFINE_PROP_BOOL("zksh", RISCVCPU, cfg.ext_zksh, false), | |
893 | DEFINE_PROP_BOOL("zkt", RISCVCPU, cfg.ext_zkt, false), | |
dfdb46a3 | 894 | |
6b1accef WL |
895 | DEFINE_PROP_BOOL("zdinx", RISCVCPU, cfg.ext_zdinx, false), |
896 | DEFINE_PROP_BOOL("zfinx", RISCVCPU, cfg.ext_zfinx, false), | |
897 | DEFINE_PROP_BOOL("zhinx", RISCVCPU, cfg.ext_zhinx, false), | |
898 | DEFINE_PROP_BOOL("zhinxmin", RISCVCPU, cfg.ext_zhinxmin, false), | |
899 | ||
0d429bd2 PT |
900 | /* Vendor-specific custom extensions */ |
901 | DEFINE_PROP_BOOL("xventanacondops", RISCVCPU, cfg.ext_XVentanaCondOps, false), | |
902 | ||
dfdb46a3 | 903 | /* These are experimental so mark with 'x-' */ |
0ee9a4e5 | 904 | DEFINE_PROP_BOOL("x-j", RISCVCPU, cfg.ext_j, false), |
a44da25a | 905 | /* ePMP 0.9.3 */ |
5da9514e | 906 | DEFINE_PROP_BOOL("x-epmp", RISCVCPU, cfg.epmp, false), |
91870b51 | 907 | DEFINE_PROP_BOOL("x-aia", RISCVCPU, cfg.aia, false), |
5da9514e | 908 | |
9b4c9b2b | 909 | DEFINE_PROP_UINT64("resetvec", RISCVCPU, cfg.resetvec, DEFAULT_RSTVEC), |
a4a9a443 TO |
910 | |
911 | DEFINE_PROP_BOOL("short-isa-string", RISCVCPU, cfg.short_isa_string, false), | |
c4e95030 AF |
912 | DEFINE_PROP_END_OF_LIST(), |
913 | }; | |
914 | ||
edf64786 SP |
915 | static gchar *riscv_gdb_arch_name(CPUState *cs) |
916 | { | |
917 | RISCVCPU *cpu = RISCV_CPU(cs); | |
918 | CPURISCVState *env = &cpu->env; | |
919 | ||
db23e5d9 RH |
920 | switch (riscv_cpu_mxl(env)) { |
921 | case MXL_RV32: | |
edf64786 | 922 | return g_strdup("riscv:rv32"); |
db23e5d9 | 923 | case MXL_RV64: |
332dab68 | 924 | case MXL_RV128: |
edf64786 | 925 | return g_strdup("riscv:rv64"); |
db23e5d9 RH |
926 | default: |
927 | g_assert_not_reached(); | |
edf64786 SP |
928 | } |
929 | } | |
930 | ||
b93777e1 BM |
931 | static const char *riscv_gdb_get_dynamic_xml(CPUState *cs, const char *xmlname) |
932 | { | |
933 | RISCVCPU *cpu = RISCV_CPU(cs); | |
934 | ||
935 | if (strcmp(xmlname, "riscv-csr.xml") == 0) { | |
936 | return cpu->dyn_csr_xml; | |
719d3561 HW |
937 | } else if (strcmp(xmlname, "riscv-vector.xml") == 0) { |
938 | return cpu->dyn_vreg_xml; | |
b93777e1 BM |
939 | } |
940 | ||
941 | return NULL; | |
942 | } | |
943 | ||
8b80bd28 PMD |
944 | #ifndef CONFIG_USER_ONLY |
945 | #include "hw/core/sysemu-cpu-ops.h" | |
946 | ||
947 | static const struct SysemuCPUOps riscv_sysemu_ops = { | |
08928c6d | 948 | .get_phys_page_debug = riscv_cpu_get_phys_page_debug, |
715e3c1a PMD |
949 | .write_elf64_note = riscv_cpu_write_elf64_note, |
950 | .write_elf32_note = riscv_cpu_write_elf32_note, | |
feece4d0 | 951 | .legacy_vmsd = &vmstate_riscv_cpu, |
8b80bd28 PMD |
952 | }; |
953 | #endif | |
954 | ||
78271684 CF |
955 | #include "hw/core/tcg-cpu-ops.h" |
956 | ||
11906557 | 957 | static const struct TCGCPUOps riscv_tcg_ops = { |
78271684 CF |
958 | .initialize = riscv_translate_init, |
959 | .synchronize_from_tb = riscv_cpu_synchronize_from_tb, | |
78271684 CF |
960 | |
961 | #ifndef CONFIG_USER_ONLY | |
263e2ab2 | 962 | .tlb_fill = riscv_cpu_tlb_fill, |
17b3c353 | 963 | .cpu_exec_interrupt = riscv_cpu_exec_interrupt, |
78271684 CF |
964 | .do_interrupt = riscv_cpu_do_interrupt, |
965 | .do_transaction_failed = riscv_cpu_do_transaction_failed, | |
966 | .do_unaligned_access = riscv_cpu_do_unaligned_access, | |
b5f6379d BM |
967 | .debug_excp_handler = riscv_cpu_debug_excp_handler, |
968 | .debug_check_breakpoint = riscv_cpu_debug_check_breakpoint, | |
969 | .debug_check_watchpoint = riscv_cpu_debug_check_watchpoint, | |
78271684 CF |
970 | #endif /* !CONFIG_USER_ONLY */ |
971 | }; | |
972 | ||
dc5bd18f MC |
973 | static void riscv_cpu_class_init(ObjectClass *c, void *data) |
974 | { | |
975 | RISCVCPUClass *mcc = RISCV_CPU_CLASS(c); | |
976 | CPUClass *cc = CPU_CLASS(c); | |
977 | DeviceClass *dc = DEVICE_CLASS(c); | |
978 | ||
41fbbba7 MZ |
979 | device_class_set_parent_realize(dc, riscv_cpu_realize, |
980 | &mcc->parent_realize); | |
dc5bd18f | 981 | |
781c67ca | 982 | device_class_set_parent_reset(dc, riscv_cpu_reset, &mcc->parent_reset); |
dc5bd18f MC |
983 | |
984 | cc->class_by_name = riscv_cpu_class_by_name; | |
985 | cc->has_work = riscv_cpu_has_work; | |
dc5bd18f MC |
986 | cc->dump_state = riscv_cpu_dump_state; |
987 | cc->set_pc = riscv_cpu_set_pc; | |
dc5bd18f MC |
988 | cc->gdb_read_register = riscv_cpu_gdb_read_register; |
989 | cc->gdb_write_register = riscv_cpu_gdb_write_register; | |
5371f5cd | 990 | cc->gdb_num_core_regs = 33; |
dc5bd18f MC |
991 | cc->gdb_stop_before_watchpoint = true; |
992 | cc->disas_set_info = riscv_cpu_disas_set_info; | |
8a4ca3c1 | 993 | #ifndef CONFIG_USER_ONLY |
8b80bd28 | 994 | cc->sysemu_ops = &riscv_sysemu_ops; |
dc5bd18f | 995 | #endif |
edf64786 | 996 | cc->gdb_arch_name = riscv_gdb_arch_name; |
b93777e1 | 997 | cc->gdb_get_dynamic_xml = riscv_gdb_get_dynamic_xml; |
78271684 | 998 | cc->tcg_ops = &riscv_tcg_ops; |
6a3d2e7c | 999 | |
4f67d30b | 1000 | device_class_set_props(dc, riscv_cpu_properties); |
dc5bd18f MC |
1001 | } |
1002 | ||
a775398b AP |
1003 | #define ISA_EDATA_ENTRY(name, prop) {#name, cpu->cfg.prop} |
1004 | ||
1005 | static void riscv_isa_string_ext(RISCVCPU *cpu, char **isa_str, int max_str_len) | |
1006 | { | |
1007 | char *old = *isa_str; | |
1008 | char *new = *isa_str; | |
1009 | int i; | |
1010 | ||
1011 | /** | |
1012 | * Here are the ordering rules of extension naming defined by RISC-V | |
1013 | * specification : | |
1014 | * 1. All extensions should be separated from other multi-letter extensions | |
1015 | * by an underscore. | |
1016 | * 2. The first letter following the 'Z' conventionally indicates the most | |
1017 | * closely related alphabetical extension category, IMAFDQLCBKJTPVH. | |
1018 | * If multiple 'Z' extensions are named, they should be ordered first | |
1019 | * by category, then alphabetically within a category. | |
1020 | * 3. Standard supervisor-level extensions (starts with 'S') should be | |
1021 | * listed after standard unprivileged extensions. If multiple | |
1022 | * supervisor-level extensions are listed, they should be ordered | |
1023 | * alphabetically. | |
1024 | * 4. Non-standard extensions (starts with 'X') must be listed after all | |
1025 | * standard extensions. They must be separated from other multi-letter | |
1026 | * extensions by an underscore. | |
1027 | */ | |
1028 | struct isa_ext_data isa_edata_arr[] = { | |
1029 | ISA_EDATA_ENTRY(zfh, ext_zfh), | |
1030 | ISA_EDATA_ENTRY(zfhmin, ext_zfhmin), | |
1031 | ISA_EDATA_ENTRY(zfinx, ext_zfinx), | |
a775398b AP |
1032 | ISA_EDATA_ENTRY(zdinx, ext_zdinx), |
1033 | ISA_EDATA_ENTRY(zba, ext_zba), | |
1034 | ISA_EDATA_ENTRY(zbb, ext_zbb), | |
1035 | ISA_EDATA_ENTRY(zbc, ext_zbc), | |
a62c2c15 WL |
1036 | ISA_EDATA_ENTRY(zbkb, ext_zbkb), |
1037 | ISA_EDATA_ENTRY(zbkc, ext_zbkc), | |
1038 | ISA_EDATA_ENTRY(zbkx, ext_zbkx), | |
a775398b | 1039 | ISA_EDATA_ENTRY(zbs, ext_zbs), |
a62c2c15 WL |
1040 | ISA_EDATA_ENTRY(zk, ext_zk), |
1041 | ISA_EDATA_ENTRY(zkn, ext_zkn), | |
1042 | ISA_EDATA_ENTRY(zknd, ext_zknd), | |
1043 | ISA_EDATA_ENTRY(zkne, ext_zkne), | |
1044 | ISA_EDATA_ENTRY(zknh, ext_zknh), | |
1045 | ISA_EDATA_ENTRY(zkr, ext_zkr), | |
1046 | ISA_EDATA_ENTRY(zks, ext_zks), | |
1047 | ISA_EDATA_ENTRY(zksed, ext_zksed), | |
1048 | ISA_EDATA_ENTRY(zksh, ext_zksh), | |
1049 | ISA_EDATA_ENTRY(zkt, ext_zkt), | |
a775398b AP |
1050 | ISA_EDATA_ENTRY(zve32f, ext_zve32f), |
1051 | ISA_EDATA_ENTRY(zve64f, ext_zve64f), | |
6047dcc2 TO |
1052 | ISA_EDATA_ENTRY(zhinx, ext_zhinx), |
1053 | ISA_EDATA_ENTRY(zhinxmin, ext_zhinxmin), | |
a775398b AP |
1054 | ISA_EDATA_ENTRY(svinval, ext_svinval), |
1055 | ISA_EDATA_ENTRY(svnapot, ext_svnapot), | |
1056 | ISA_EDATA_ENTRY(svpbmt, ext_svpbmt), | |
1057 | }; | |
1058 | ||
1059 | for (i = 0; i < ARRAY_SIZE(isa_edata_arr); i++) { | |
1060 | if (isa_edata_arr[i].enabled) { | |
1061 | new = g_strconcat(old, "_", isa_edata_arr[i].name, NULL); | |
1062 | g_free(old); | |
1063 | old = new; | |
1064 | } | |
1065 | } | |
1066 | ||
1067 | *isa_str = new; | |
1068 | } | |
1069 | ||
dc5bd18f MC |
1070 | char *riscv_isa_string(RISCVCPU *cpu) |
1071 | { | |
1072 | int i; | |
0e2c3770 | 1073 | const size_t maxlen = sizeof("rv128") + sizeof(riscv_single_letter_exts); |
d1fd31f8 MC |
1074 | char *isa_str = g_new(char, maxlen); |
1075 | char *p = isa_str + snprintf(isa_str, maxlen, "rv%d", TARGET_LONG_BITS); | |
0e2c3770 TO |
1076 | for (i = 0; i < sizeof(riscv_single_letter_exts) - 1; i++) { |
1077 | if (cpu->env.misa_ext & RV(riscv_single_letter_exts[i])) { | |
1078 | *p++ = qemu_tolower(riscv_single_letter_exts[i]); | |
dc5bd18f MC |
1079 | } |
1080 | } | |
d1fd31f8 | 1081 | *p = '\0'; |
a4a9a443 TO |
1082 | if (!cpu->cfg.short_isa_string) { |
1083 | riscv_isa_string_ext(cpu, &isa_str, maxlen); | |
1084 | } | |
d1fd31f8 | 1085 | return isa_str; |
dc5bd18f MC |
1086 | } |
1087 | ||
eab15862 | 1088 | static gint riscv_cpu_list_compare(gconstpointer a, gconstpointer b) |
dc5bd18f | 1089 | { |
eab15862 MC |
1090 | ObjectClass *class_a = (ObjectClass *)a; |
1091 | ObjectClass *class_b = (ObjectClass *)b; | |
1092 | const char *name_a, *name_b; | |
dc5bd18f | 1093 | |
eab15862 MC |
1094 | name_a = object_class_get_name(class_a); |
1095 | name_b = object_class_get_name(class_b); | |
1096 | return strcmp(name_a, name_b); | |
dc5bd18f MC |
1097 | } |
1098 | ||
eab15862 | 1099 | static void riscv_cpu_list_entry(gpointer data, gpointer user_data) |
dc5bd18f | 1100 | { |
eab15862 MC |
1101 | const char *typename = object_class_get_name(OBJECT_CLASS(data)); |
1102 | int len = strlen(typename) - strlen(RISCV_CPU_TYPE_SUFFIX); | |
dc5bd18f | 1103 | |
0442428a | 1104 | qemu_printf("%.*s\n", len, typename); |
eab15862 | 1105 | } |
dc5bd18f | 1106 | |
0442428a | 1107 | void riscv_cpu_list(void) |
eab15862 | 1108 | { |
eab15862 MC |
1109 | GSList *list; |
1110 | ||
1111 | list = object_class_get_list(TYPE_RISCV_CPU, false); | |
1112 | list = g_slist_sort(list, riscv_cpu_list_compare); | |
0442428a | 1113 | g_slist_foreach(list, riscv_cpu_list_entry, NULL); |
eab15862 | 1114 | g_slist_free(list); |
dc5bd18f MC |
1115 | } |
1116 | ||
eab15862 MC |
1117 | #define DEFINE_CPU(type_name, initfn) \ |
1118 | { \ | |
1119 | .name = type_name, \ | |
1120 | .parent = TYPE_RISCV_CPU, \ | |
1121 | .instance_init = initfn \ | |
1122 | } | |
1123 | ||
1124 | static const TypeInfo riscv_cpu_type_infos[] = { | |
1125 | { | |
1126 | .name = TYPE_RISCV_CPU, | |
1127 | .parent = TYPE_CPU, | |
1128 | .instance_size = sizeof(RISCVCPU), | |
5de5b99b | 1129 | .instance_align = __alignof__(RISCVCPU), |
eab15862 MC |
1130 | .instance_init = riscv_cpu_init, |
1131 | .abstract = true, | |
1132 | .class_size = sizeof(RISCVCPUClass), | |
1133 | .class_init = riscv_cpu_class_init, | |
1134 | }, | |
1135 | DEFINE_CPU(TYPE_RISCV_CPU_ANY, riscv_any_cpu_init), | |
10f1ca27 YJ |
1136 | #if defined(CONFIG_KVM) |
1137 | DEFINE_CPU(TYPE_RISCV_CPU_HOST, riscv_host_cpu_init), | |
1138 | #endif | |
eab15862 | 1139 | #if defined(TARGET_RISCV32) |
094b072c | 1140 | DEFINE_CPU(TYPE_RISCV_CPU_BASE32, rv32_base_cpu_init), |
e8905c6c | 1141 | DEFINE_CPU(TYPE_RISCV_CPU_IBEX, rv32_ibex_cpu_init), |
114baaca | 1142 | DEFINE_CPU(TYPE_RISCV_CPU_SIFIVE_E31, rv32_sifive_e_cpu_init), |
2fdd2c09 | 1143 | DEFINE_CPU(TYPE_RISCV_CPU_SIFIVE_E34, rv32_imafcu_nommu_cpu_init), |
114baaca | 1144 | DEFINE_CPU(TYPE_RISCV_CPU_SIFIVE_U34, rv32_sifive_u_cpu_init), |
eab15862 | 1145 | #elif defined(TARGET_RISCV64) |
094b072c | 1146 | DEFINE_CPU(TYPE_RISCV_CPU_BASE64, rv64_base_cpu_init), |
114baaca AF |
1147 | DEFINE_CPU(TYPE_RISCV_CPU_SIFIVE_E51, rv64_sifive_e_cpu_init), |
1148 | DEFINE_CPU(TYPE_RISCV_CPU_SIFIVE_U54, rv64_sifive_u_cpu_init), | |
6ddc7069 | 1149 | DEFINE_CPU(TYPE_RISCV_CPU_SHAKTI_C, rv64_sifive_u_cpu_init), |
332dab68 | 1150 | DEFINE_CPU(TYPE_RISCV_CPU_BASE128, rv128_base_cpu_init), |
eab15862 MC |
1151 | #endif |
1152 | }; | |
1153 | ||
1154 | DEFINE_TYPES(riscv_cpu_type_infos) |