aboutsummaryrefslogtreecommitdiff
path: root/spike_main/spike-dasm.cc
diff options
context:
space:
mode:
authorYunsup Lee <yunsup@cs.berkeley.edu>2015-03-12 10:59:09 -0700
committerYunsup Lee <yunsup@cs.berkeley.edu>2015-03-12 10:59:09 -0700
commit9af855a28e7dc4009ad31312840ca6f9396d572e (patch)
tree79b21dc008714ef4bc4531ba8ef294510a982b96 /spike_main/spike-dasm.cc
parentc0e63cb0d414c06ee8aba0adeb32cefa26dc23b1 (diff)
downloadspike-9af855a28e7dc4009ad31312840ca6f9396d572e.zip
spike-9af855a28e7dc4009ad31312840ca6f9396d572e.tar.gz
spike-9af855a28e7dc4009ad31312840ca6f9396d572e.tar.bz2
correctly parse extension for spike-disasm
Diffstat (limited to 'spike_main/spike-dasm.cc')
-rw-r--r--spike_main/spike-dasm.cc6
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))
{