diff options
Diffstat (limited to 'disasm/isa_parser.cc')
-rw-r--r-- | disasm/isa_parser.cc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/disasm/isa_parser.cc b/disasm/isa_parser.cc index ee57a51..7d3d002 100644 --- a/disasm/isa_parser.cc +++ b/disasm/isa_parser.cc @@ -239,6 +239,12 @@ isa_parser_t::isa_parser_t(const char* str, const char *priv) extension_table[EXT_ZICOND] = true; } else if (ext_str == "zihpm") { extension_table[EXT_ZIHPM] = true; + } else if (ext_str == "zilsd") { + if (max_xlen != 32) + bad_isa_string(str, "'Zilsd' requires RV32"); + extension_table[EXT_ZILSD] = true; + } else if (ext_str == "zcmlsd") { + extension_table[EXT_ZCMLSD] = true; } else if (ext_str == "zvbb") { extension_table[EXT_ZVBB] = true; } else if (ext_str == "zvbc") { @@ -324,6 +330,14 @@ isa_parser_t::isa_parser_t(const char* str, const char *priv) bad_isa_string(str, ("can't parse: " + std::string(p)).c_str()); } + if (extension_table[EXT_ZCMLSD] && extension_table[EXT_ZCF]) { + bad_isa_string(str, "'Zcmlsd' extension conflicts with 'Zcf' extensions"); + } + + if (extension_table[EXT_ZCMLSD] && (!extension_table[EXT_ZCA] || !extension_table[EXT_ZILSD])) { + bad_isa_string(str, "'Zcmlsd' extension requires 'Zca' and 'Zilsd' extensions"); + } + if (extension_table[EXT_ZFBFMIN] && !extension_table['F']) { bad_isa_string(str, "'Zfbfmin' extension requires 'F' extension"); } |