diff options
author | Jerry Zhao <jerryz123@berkeley.edu> | 2024-06-20 14:30:33 -0700 |
---|---|---|
committer | Jerry Zhao <jerryz123@berkeley.edu> | 2024-06-21 10:29:20 -0700 |
commit | 67e205c289becb42b4e8495b46385688c1c167f7 (patch) | |
tree | 041526513a43fc60d5340ec5c3aaf7a5fe7aaa7c | |
parent | 3b6a8fa06ec04bee5634a52b01a4df0d5a91f826 (diff) | |
download | spike-67e205c289becb42b4e8495b46385688c1c167f7.zip spike-67e205c289becb42b4e8495b46385688c1c167f7.tar.gz spike-67e205c289becb42b4e8495b46385688c1c167f7.tar.bz2 |
Restrict spike to vlen <= 4096
-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"); } |