diff options
| author | Chih-Min Chao <chihmin.chao@sifive.com> | 2019-08-01 23:31:01 -0700 |
|---|---|---|
| committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2019-08-02 00:05:49 -0700 |
| commit | 8cd629ddf2b792c07e4b63aff5ee1cea209b036d (patch) | |
| tree | 290a62754b5a3cd7c1317561bd6118102bd5092a /spike_main | |
| parent | b595bd3ab098cfa6753882f98a7136f12515e3cc (diff) | |
| download | spike-8cd629ddf2b792c07e4b63aff5ee1cea209b036d.zip spike-8cd629ddf2b792c07e4b63aff5ee1cea209b036d.tar.gz spike-8cd629ddf2b792c07e4b63aff5ee1cea209b036d.tar.bz2 | |
rvv: add vector-mistrp option
Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>
Diffstat (limited to 'spike_main')
| -rw-r--r-- | spike_main/spike.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index 6341c83..ecd14ed 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -93,9 +93,8 @@ static std::vector<std::pair<reg_t, mem_t*>> make_mems(const char* arg) return res; } -extern "C" { extern bool g_check_1905; -}; +extern bool g_vector_mistrap; int main(int argc, char** argv) { @@ -163,6 +162,7 @@ int main(int argc, char** argv) 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, "vector-mistrap", 0, [&](const char *s){g_vector_mistrap = 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); |