From 67e205c289becb42b4e8495b46385688c1c167f7 Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Thu, 20 Jun 2024 14:30:33 -0700
Subject: Restrict spike to vlen <= 4096

---
 disasm/isa_parser.cc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/disasm/isa_parser.cc b/disasm/isa_parser.cc
index a22e8d6..cba5516 100644
--- a/disasm/isa_parser.cc
+++ b/disasm/isa_parser.cc
@@ -457,6 +457,10 @@ isa_parser_t::isa_parser_t(const char* str, const char *priv)
   }
 #endif
 
+  if (vlen > 4096) {
+    bad_isa_string(str, "Spike does not currently support VLEN > 4096b");
+  }
+
   if ((vlen != 0) ^ (elen != 0)) {
     bad_isa_string(str, "Invalid Zvl/Zve configuration");
   }
-- 
cgit v1.1