Browse Source

Merge pull request #2054 from nadime15/update_vlen_elen

Add VLEN >= ELEN validation check
pull/2066/head
Andrew Waterman 11 months ago
committed by GitHub
parent
commit
dcef3e5881
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 2
      disasm/isa_parser.cc

2
disasm/isa_parser.cc

@ -528,7 +528,7 @@ isa_parser_t::isa_parser_t(const char* str, const char *priv)
bad_isa_string(str, "Spike does not currently support VLEN > 4096b");
}
if ((vlen != 0) ^ (elen != 0)) {
if ((vlen != 0) ^ (elen != 0) || vlen < elen) {
bad_isa_string(str, "Invalid Zvl/Zve configuration");
}

Loading…
Cancel
Save