RV32Q is not invalid

013ba6dc8a (diff-2a8fece1cbcdf623cafbce866ea7d4d0R7)
7 years ago · 60743fe5c5
1 changed files with 0 additions and 3 deletions
--- a/riscv/processor.cc
+++ b/riscv/processor.cc
@ -113,9 +113,6 @@ void processor_t::parse_isa_string(const char* str)
  if (supports_extension('Q') && !supports_extension('D'))
    bad_isa_string(str);

-  if (supports_extension('Q') && max_xlen < 64)
-    bad_isa_string(str);
-
  max_isa = state.misa;
 }