From 9063a2bca1a8ce0603c089a4d3da627c37079dc1 Mon Sep 17 00:00:00 2001
From: MingZhu Yan <69898423+trdthg@users.noreply.github.com>
Date: Thu, 12 Sep 2024 21:39:21 +0800
Subject: [PATCH] Add enable-svinval option

This was missed in the original implementation.
---
 c_emulator/riscv_sim.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/c_emulator/riscv_sim.c b/c_emulator/riscv_sim.c
index b5b7b08d4..3f812c5ec 100644
--- a/c_emulator/riscv_sim.c
+++ b/c_emulator/riscv_sim.c
@@ -418,6 +418,10 @@ static int process_args(int argc, char **argv)
     case 'l':
       insn_limit = atoi(optarg);
       break;
+    case OPT_ENABLE_SVINVAL:
+      fprintf(stderr, "enabling svinval extension.\n");
+      rv_enable_svinval = true;
+      break;
     case OPT_ENABLE_ZCB:
       fprintf(stderr, "enabling Zcb extension.\n");
       rv_enable_zcb = true;