diff options
| -rw-r--r-- | disasm/isa_parser.cc | 4 |
1 files changed, 4 insertions, 0 deletions
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"); } |