diff options
author | Chih-Min Chao <chihmin.chao@sifive.com> | 2019-05-20 01:20:43 -0700 |
---|---|---|
committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2019-05-20 01:46:47 -0700 |
commit | c03e56c7919487c13a8e689e5cc83a2c125fa4ec (patch) | |
tree | 1d4fbe89575e89afa30f444b7ce608a3a72ae704 /spike_main | |
parent | dc11ecca6287f602d483974eeef57f1b891906b1 (diff) | |
download | spike-c03e56c7919487c13a8e689e5cc83a2c125fa4ec.zip spike-c03e56c7919487c13a8e689e5cc83a2c125fa4ec.tar.gz spike-c03e56c7919487c13a8e689e5cc83a2c125fa4ec.tar.bz2 |
rvv: add --check-1905 option to turn on 1905 release check
Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>
Diffstat (limited to 'spike_main')
-rw-r--r-- | spike_main/spike.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index 8ac7981..6be28d0 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -92,6 +92,10 @@ static std::vector<std::pair<reg_t, mem_t*>> make_mems(const char* arg) return res; } +extern "C" { +extern bool g_check_1905; +}; + int main(int argc, char** argv) { bool debug = false; @@ -154,6 +158,7 @@ int main(int argc, char** argv) parser.option(0, "varch", 1, [&](const char* s){varch = s;}); parser.option(0, "extension", 1, [&](const char* s){extension = find_extension(s);}); parser.option(0, "dump-dts", 0, [&](const char *s){dump_dts = true;}); + parser.option(0, "check-1905", 0, [&](const char *s){g_check_1905 = true;}); parser.option(0, "disable-dtb", 0, [&](const char *s){dtb_enabled = false;}); parser.option(0, "extlib", 1, [&](const char *s){ void *lib = dlopen(s, RTLD_NOW | RTLD_GLOBAL); |