From nobody Mon May 12 11:26:07 2025
Delivered-To: importer@patchew.org
Authentication-Results: mx.zohomail.com;
	dkim=pass;
	spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as
 permitted sender)
  smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org;
	dmarc=pass(p=reject dis=none)  header.from=sifive.com
ARC-Seal: i=1; a=rsa-sha256; t=1736142388; cv=none;
	d=zohomail.com; s=zohoarc;
	b=eoQsFmjHfjGB0MDBXGFvJBAb3OKT7d/3G8i6QuueWePMPkMwXfIgtGDDGgGG3lb3gQHZzIgCK0mMUDzx+XNXyUjzdQlBfylq3QcLNrc08HiXcP609tyb2CDdjkewRuzzWeDWLnyUkWVfo905gZkQxSOGIPdKj7lZxULxzxqu6tE=
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com;
 s=zohoarc;
	t=1736142388;
 h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To;
	bh=DMWiwVoFUO9CgNCJuVDY2YJrtySv3drqiXkHUeaBqX8=;
	b=SG2M7gbldLmxUTbTwjeUjwSsCgJCVbWdIBBpbnt0Oy4s47skUmHy7nrvdkxyOqg2LTAcnmSyjXUTjiYank/2c0A4wr7i1nD0N2woFqTF6ZguPRuenEomTwLzXk6eLU8t2Ryd/WzvpVnGdPwhiXtUH+mgiRf//tDa0dimYBjG040=
ARC-Authentication-Results: i=1; mx.zohomail.com;
	dkim=pass;
	spf=pass (zohomail.com: domain of gnu.org designates 209.51.188.17 as
 permitted sender)
  smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org;
	dmarc=pass header.from=<frank.chang@sifive.com> (p=reject dis=none)
Return-Path: <qemu-devel-bounces+importer=patchew.org@nongnu.org>
Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by
 mx.zohomail.com
	with SMTPS id 1736142388639979.9692284643417;
 Sun, 5 Jan 2025 21:46:28 -0800 (PST)
Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <qemu-devel-bounces@nongnu.org>)
	id 1tUfuE-0003lZ-3s; Mon, 06 Jan 2025 00:44:02 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <frank.chang@sifive.com>)
 id 1tUfu9-0003jc-Ob
 for qemu-devel@nongnu.org; Mon, 06 Jan 2025 00:43:58 -0500
Received: from mail-pl1-x629.google.com ([2607:f8b0:4864:20::629])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <frank.chang@sifive.com>)
 id 1tUfu7-0004J5-V7
 for qemu-devel@nongnu.org; Mon, 06 Jan 2025 00:43:57 -0500
Received: by mail-pl1-x629.google.com with SMTP id
 d9443c01a7336-2156e078563so172625975ad.2
 for <qemu-devel@nongnu.org>; Sun, 05 Jan 2025 21:43:55 -0800 (PST)
Received: from fchang-1826.internal.sifive.com ([210.176.154.33])
 by smtp.gmail.com with ESMTPSA id
 d9443c01a7336-219dc96eac6sm285722215ad.80.2025.01.05.21.43.50
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Sun, 05 Jan 2025 21:43:52 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=sifive.com; s=google; t=1736142233; x=1736747033; darn=nongnu.org;
 h=content-transfer-encoding:mime-version:references:in-reply-to
 :message-id:date:subject:cc:to:from:from:to:cc:subject:date
 :message-id:reply-to;
 bh=DMWiwVoFUO9CgNCJuVDY2YJrtySv3drqiXkHUeaBqX8=;
 b=CHRjJsut+ogbOScYqtkgw04fIa6NiS9hYF2nEtbFk7VeGvLNVK4R7pcNhg7cKvoY3y
 w1rZ/yRZLRWxJGqMHa+aiLLDu+oF3D6Sio5y/FoQjZGzyU/0iKzPVIF+LBxKQKweABvb
 DiVmcEb8oVdra3TN2bLb0A8i6HUxm3PQGaxPIDz3KQpQ4QWIMykwhAycxZCTD8yrx6yk
 aPWzC+kfLHyO4ZLWc40ghusoNf39lryUPVLu9tWczE0Ub4tUHvFm8LHYF1bcOG1oJVf0
 fCjzoVQuXh1efAkdlCAJlHxDYDFmyHLY7WAxudjhYWSr76BZ1rmQ6YBysm2y9wuT3WFe
 cHaA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1736142233; x=1736747033;
 h=content-transfer-encoding:mime-version:references:in-reply-to
 :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=DMWiwVoFUO9CgNCJuVDY2YJrtySv3drqiXkHUeaBqX8=;
 b=jf3uqbLthdwOWE0TAKQAwz5BeEOo4+Nc9hgvgMqJULpj5OQk56gn6gHO5U1qbGYjRm
 b9Yo2pfac2U8wbGtG5b6jMfsBV+qeplWd8fY3MVMsFWVGdT5QSa3SmRNF26GC3pLMRwl
 tYoMcnEwA0Z3PkNnxijCb1c1h1uN35fEbBYBIZAKDaZdhRhAdHWqSR2YC4fJMuSVdu8K
 Mqti7CLURlQ1NRmll9RO2SEP7ch6B9QnuWe1LFP6u3MQA3u8ozEDxubiJFKxuuQii9Vt
 vv4HQOu+DvKj11HEiS1Fj6ixR+IudnFJdfIW0XVxXB1wIJzKCam2trqC/IF1lagfs1BR
 KGqg==
X-Gm-Message-State: AOJu0Yx1hTBwYBUo+5pBKhrTawjGxyQjMJkQ4bK4JKv2JLsmg1S85Zrc
 3YhcF0CgejBTEVSevog3bzY4ozNkDmw2NVOoli6hyAX2ntfd4IPhgfBe1HR2RDnchgSSh0MPSXC
 RKPz8mokedKF30M84u1sE6oWtw4egQLLdfZ+s9w9YEItKrOJ8l1htayq5ydZS9pxile0N/N0DVt
 sKDNR+nQrNluvqgCCP7tnLvnP3J5UZzHhAjxqkvhGw2Q==
X-Gm-Gg: ASbGnctd59NRW++yKzEzybeU54eJO1mAeUXNrZFQDbMMhOMe//jbMWYd69j5C1E+9ps
 lRN/zXGcjiakkv2IxsUzx2Pb7GOAECrB5e1xthWPcK1i/4Uy6W4NE75CE3GkrPuM2GJJnqfphfA
 WaTjvG61ZSXpButMpzgQor5KjSp2+SW9fGMGLpZXwNA5tplV8td6R3vdkSoX+DEVgC8IZeqHtjE
 ks5WDOsz65t1ZI2vQ32AUg7l4i9EZczWTRjN2msIl/KMa2Wsh1YXFnQ2PxyR3Z5xS3D4sbMsTqM
 7UJZaMqp2K8=
X-Google-Smtp-Source: 
 AGHT+IFhpduUXhDNV5ApBzk6FHaLHzbZUkW07f75JmI1oWdcVEvjHQkXKvAByG9o+zSrKVUl4dBZGQ==
X-Received: by 2002:a17:902:e84b:b0:216:6f1a:1c77 with SMTP id
 d9443c01a7336-219e6f105d3mr774972755ad.43.1736142233140;
 Sun, 05 Jan 2025 21:43:53 -0800 (PST)
From: frank.chang@sifive.com
To: qemu-devel@nongnu.org,
	qemu-riscv@nongnu.org
Cc: Palmer Dabbelt <palmer@dabbelt.com>,
 Alistair Francis <alistair.francis@wdc.com>, Bin Meng <bmeng.cn@gmail.com>,
 Weiwei Li <liwei1518@gmail.com>,
 Daniel Henrique Barboza <dbarboza@ventanamicro.com>,
 Liu Zhiwei <zhiwei_liu@linux.alibaba.com>, Tommy Wu <tommy.wu@sifive.com>,
 Frank Chang <frank.chang@sifive.com>
Subject: [PATCH v12 4/6] target/riscv: Add Smrnmi mnret instruction
Date: Mon,  6 Jan 2025 13:43:34 +0800
Message-Id: <20250106054336.1878291-5-frank.chang@sifive.com>
X-Mailer: git-send-email 2.34.1
In-Reply-To: <20250106054336.1878291-1-frank.chang@sifive.com>
References: <20250106054336.1878291-1-frank.chang@sifive.com>
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass (zohomail.com: domain of gnu.org designates 209.51.188.17
 as permitted sender) client-ip=209.51.188.17;
 envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org;
 helo=lists.gnu.org;
Received-SPF: pass client-ip=2607:f8b0:4864:20::629;
 envelope-from=frank.chang@sifive.com; helo=mail-pl1-x629.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=unavailable autolearn_force=no
X-Spam_action: no action
X-BeenThere: qemu-devel@nongnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
 <mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <https://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
 <mailto:qemu-devel-request@nongnu.org?subject=subscribe>
Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org
Sender: qemu-devel-bounces+importer=patchew.org@nongnu.org
X-ZohoMail-DKIM: pass (identity @sifive.com)
X-ZM-MESSAGEID: 1736142390934116600
Content-Type: text/plain; charset="utf-8"

From: Tommy Wu <tommy.wu@sifive.com>

This patch adds a new instruction 'mnret'. 'mnret' is an M-mode-only
instruction that uses the values in `mnepc` and `mnstatus` to return to the
program counter, privilege mode, and virtualization mode of the
interrupted context.

Signed-off-by: Frank Chang <frank.chang@sifive.com>
Signed-off-by: Tommy Wu <tommy.wu@sifive.com>
Reviewed-by: Daniel Henrique Barboza <dbarboza@ventanamicro.com>
Reviewed-by: Alistair Francis <alistair.francis@wdc.com>
---
 target/riscv/helper.h                         |  1 +
 target/riscv/insn32.decode                    |  3 ++
 .../riscv/insn_trans/trans_privileged.c.inc   | 20 +++++++++
 target/riscv/op_helper.c                      | 45 ++++++++++++++++---
 4 files changed, 64 insertions(+), 5 deletions(-)

diff --git a/target/riscv/helper.h b/target/riscv/helper.h
index 451261ce5a..16ea240d26 100644
--- a/target/riscv/helper.h
+++ b/target/riscv/helper.h
@@ -131,6 +131,7 @@ DEF_HELPER_6(csrrw_i128, tl, env, int, tl, tl, tl, tl)
 #ifndef CONFIG_USER_ONLY
 DEF_HELPER_1(sret, tl, env)
 DEF_HELPER_1(mret, tl, env)
+DEF_HELPER_1(mnret, tl, env)
 DEF_HELPER_1(wfi, void, env)
 DEF_HELPER_1(wrs_nto, void, env)
 DEF_HELPER_1(tlb_flush, void, env)
diff --git a/target/riscv/insn32.decode b/target/riscv/insn32.decode
index e9139ec1b9..942c434c6e 100644
--- a/target/riscv/insn32.decode
+++ b/target/riscv/insn32.decode
@@ -121,6 +121,9 @@ wfi         0001000    00101 00000 000 00000 1110011
 sfence_vma  0001001    ..... ..... 000 00000 1110011 @sfence_vma
 sfence_vm   0001000    00100 ..... 000 00000 1110011 @sfence_vm
=20
+# *** NMI ***
+mnret       0111000    00010 00000 000 00000 1110011
+
 # *** RV32I Base Instruction Set ***
 lui      ....................       ..... 0110111 @u
 {
diff --git a/target/riscv/insn_trans/trans_privileged.c.inc b/target/riscv/=
insn_trans/trans_privileged.c.inc
index ecd3b8b2c9..73f940d406 100644
--- a/target/riscv/insn_trans/trans_privileged.c.inc
+++ b/target/riscv/insn_trans/trans_privileged.c.inc
@@ -18,6 +18,12 @@
  * this program.  If not, see <http://www.gnu.org/licenses/>.
  */
=20
+#define REQUIRE_SMRNMI(ctx) do {     \
+    if (!ctx->cfg_ptr->ext_smrnmi) { \
+        return false;                \
+    }                                \
+} while (0)
+
 static bool trans_ecall(DisasContext *ctx, arg_ecall *a)
 {
     /* always generates U-level ECALL, fixed in do_interrupt handler */
@@ -106,6 +112,20 @@ static bool trans_mret(DisasContext *ctx, arg_mret *a)
 #endif
 }
=20
+static bool trans_mnret(DisasContext *ctx, arg_mnret *a)
+{
+#ifndef CONFIG_USER_ONLY
+    REQUIRE_SMRNMI(ctx);
+    decode_save_opc(ctx, 0);
+    gen_helper_mnret(cpu_pc, tcg_env);
+    tcg_gen_exit_tb(NULL, 0); /* no chaining */
+    ctx->base.is_jmp =3D DISAS_NORETURN;
+    return true;
+#else
+    return false;
+#endif
+}
+
 static bool trans_wfi(DisasContext *ctx, arg_wfi *a)
 {
 #ifndef CONFIG_USER_ONLY
diff --git a/target/riscv/op_helper.c b/target/riscv/op_helper.c
index eddedacf4b..63ec53e992 100644
--- a/target/riscv/op_helper.c
+++ b/target/riscv/op_helper.c
@@ -321,24 +321,30 @@ target_ulong helper_sret(CPURISCVState *env)
     return retpc;
 }
=20
-target_ulong helper_mret(CPURISCVState *env)
+static void check_ret_from_m_mode(CPURISCVState *env, target_ulong retpc,
+                                  target_ulong prev_priv)
 {
     if (!(env->priv >=3D PRV_M)) {
         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
     }
=20
-    target_ulong retpc =3D env->mepc;
     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
     }
=20
-    uint64_t mstatus =3D env->mstatus;
-    target_ulong prev_priv =3D get_field(mstatus, MSTATUS_MPP);
-
     if (riscv_cpu_cfg(env)->pmp &&
         !pmp_get_num_rules(env) && (prev_priv !=3D PRV_M)) {
         riscv_raise_exception(env, RISCV_EXCP_INST_ACCESS_FAULT, GETPC());
     }
+}
+
+target_ulong helper_mret(CPURISCVState *env)
+{
+    target_ulong retpc =3D env->mepc;
+    uint64_t mstatus =3D env->mstatus;
+    target_ulong prev_priv =3D get_field(mstatus, MSTATUS_MPP);
+
+    check_ret_from_m_mode(env, retpc, prev_priv);
=20
     target_ulong prev_virt =3D get_field(env->mstatus, MSTATUS_MPV) &&
                              (prev_priv !=3D PRV_M);
@@ -370,6 +376,35 @@ target_ulong helper_mret(CPURISCVState *env)
     return retpc;
 }
=20
+target_ulong helper_mnret(CPURISCVState *env)
+{
+    target_ulong retpc =3D env->mnepc;
+    target_ulong prev_priv =3D get_field(env->mnstatus, MNSTATUS_MNPP);
+    target_ulong prev_virt;
+
+    check_ret_from_m_mode(env, retpc, prev_priv);
+
+    prev_virt =3D get_field(env->mnstatus, MNSTATUS_MNPV) &&
+                (prev_priv !=3D PRV_M);
+    env->mnstatus =3D set_field(env->mnstatus, MNSTATUS_NMIE, true);
+
+    /*
+     * If MNRET changes the privilege mode to a mode
+     * less privileged than M, it also sets mstatus.MPRV to 0.
+     */
+    if (prev_priv < PRV_M) {
+        env->mstatus =3D set_field(env->mstatus, MSTATUS_MPRV, false);
+    }
+
+    if (riscv_has_ext(env, RVH) && prev_virt) {
+        riscv_cpu_swap_hypervisor_regs(env);
+    }
+
+    riscv_cpu_set_mode(env, prev_priv, prev_virt);
+
+    return retpc;
+}
+
 void helper_wfi(CPURISCVState *env)
 {
     CPUState *cs =3D env_cpu(env);
--=20
2.34.1