From: "Fea.Wang" <fea.w...@sifive.com> The spec explicitly says svukte doesn't support RV32. So check that it is not enabled in RV32.
Signed-off-by: Fea.Wang <fea.w...@sifive.com> Reviewed-by: Alistair Francis <alistair.fran...@wdc.com> Message-ID: <20241203034932.25185-7-fea.w...@sifive.com> Signed-off-by: Alistair Francis <alistair.fran...@wdc.com> --- target/riscv/tcg/tcg-cpu.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/target/riscv/tcg/tcg-cpu.c b/target/riscv/tcg/tcg-cpu.c index c62c221696..3b99c8c9e3 100644 --- a/target/riscv/tcg/tcg-cpu.c +++ b/target/riscv/tcg/tcg-cpu.c @@ -652,6 +652,11 @@ void riscv_cpu_validate_set_extensions(RISCVCPU *cpu, Error **errp) return; } + if (mcc->misa_mxl_max == MXL_RV32 && cpu->cfg.ext_svukte) { + error_setg(errp, "svukte is not supported for RV32"); + return; + } + /* * Disable isa extensions based on priv spec after we * validated and set everything we need. -- 2.47.1