diff options
author | Rupert Swarbrick <rswarbrick@gmail.com> | 2020-03-27 10:25:20 +0000 |
---|---|---|
committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2020-04-05 22:35:36 -0700 |
commit | 414cf9ae675e5c437528abfcb758f1b127d86dce (patch) | |
tree | 4f41c41466be285e981ae0ae30401279a7b36cc1 /spike_main/spike-log-parser.cc | |
parent | 59847b98f014d1f672fa6e26f9f288ffa72ead7c (diff) | |
download | spike-414cf9ae675e5c437528abfcb758f1b127d86dce.zip spike-414cf9ae675e5c437528abfcb758f1b127d86dce.tar.gz spike-414cf9ae675e5c437528abfcb758f1b127d86dce.tar.bz2 |
Write execution logs to a named log file (#409)
This patch adds a --log argument to spike. If not given, the behaviour
is unchanged: messages logging execution of instructions and (if
commit logging is enabled) commits go to stderr.
If --log=P is given, Spike now writes these messages to a log file at
the path P. This is nice, because they are no longer tangled up with
other errors and warnings.
The code is mostly plumbing: passing a FILE* object through to the
functions that were using stderr. I've written a simple "log_file_t"
class, which opens a log file if necessary and yields it or stderr.
Diffstat (limited to 'spike_main/spike-log-parser.cc')
-rw-r--r-- | spike_main/spike-log-parser.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spike_main/spike-log-parser.cc b/spike_main/spike-log-parser.cc index 5de6220..d174afc 100644 --- a/spike_main/spike-log-parser.cc +++ b/spike_main/spike-log-parser.cc @@ -27,7 +27,7 @@ int main(int argc, char** argv) parser.option(0, "isa", 1, [&](const char* s){isa = s;}); parser.parse(argv); - processor_t p(isa, DEFAULT_PRIV, DEFAULT_VARCH, 0, 0); + processor_t p(isa, DEFAULT_PRIV, DEFAULT_VARCH, 0, 0, false, nullptr); if (extension) { p.register_extension(extension()); } |