diff options
-rw-r--r-- | spike_main/spike-dasm.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/spike_main/spike-dasm.cc b/spike_main/spike-dasm.cc index 7f15db0..aecaa0a 100644 --- a/spike_main/spike-dasm.cc +++ b/spike_main/spike-dasm.cc @@ -22,6 +22,12 @@ int main(int argc, char** argv) std::function<extension_t*()> extension; option_parser_t parser; parser.option(0, "extension", 1, [&](const char* s){extension = find_extension(s);}); + parser.parse(argv); + + if (extension) { + for (auto disasm_insn : extension()->get_disasms()) + d.add_insn(disasm_insn); + } while (getline(cin, s)) { |