|
|
|
@ -531,7 +531,7 @@ 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"); |
|
|
|
bad_isa_string(str, "Spike does not support VLEN > 4096"); |
|
|
|
} |
|
|
|
|
|
|
|
if ((vlen != 0) ^ (elen != 0) || vlen < elen) { |
|
|
|
|