diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-12-26 10:54:23 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-12-26 10:54:23 +0100 |
commit | 35f611e2f6b38b18fc50fadbb07df1d1bc462583 (patch) | |
tree | 19516d0d4b8be9c38be97178fcaa085e382e8488 /kernel/driver.cc | |
parent | a6c96b986be313368b4fa03eba5cf6987448100c (diff) | |
download | yosys-35f611e2f6b38b18fc50fadbb07df1d1bc462583.tar.gz yosys-35f611e2f6b38b18fc50fadbb07df1d1bc462583.tar.bz2 yosys-35f611e2f6b38b18fc50fadbb07df1d1bc462583.zip |
Added "yosys -d" command line option
Diffstat (limited to 'kernel/driver.cc')
-rw-r--r-- | kernel/driver.cc | 38 |
1 files changed, 28 insertions, 10 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 7f466839c..6ba0c1134 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -80,6 +80,7 @@ int main(int argc, char **argv) bool print_banner = true; bool print_stats = true; bool call_abort = false; + bool timing_details = false; #ifdef YOSYS_ENABLE_READLINE int history_offset = 0; @@ -92,7 +93,7 @@ int main(int argc, char **argv) #endif int opt; - while ((opt = getopt(argc, argv, "AQTVSm:f:Hh:b:o:p:l:qv:ts:c:")) != -1) + while ((opt = getopt(argc, argv, "AQTVSm:f:Hh:b:o:p:l:qv:tds:c:")) != -1) { switch (opt) { @@ -152,6 +153,9 @@ int main(int argc, char **argv) case 't': log_time = true; break; + case 'd': + timing_details = true; + break; case 's': scriptfile = optarg; scriptfile_tcl = false; @@ -181,6 +185,9 @@ int main(int argc, char **argv) fprintf(stderr, " -t\n"); fprintf(stderr, " annotate all log messages with a time stamp\n"); fprintf(stderr, "\n"); + fprintf(stderr, " -d\n"); + fprintf(stderr, " print more detailed timing stats at exit\n"); + fprintf(stderr, "\n"); fprintf(stderr, " -l logfile\n"); fprintf(stderr, " write log messages to the specified file\n"); fprintf(stderr, "\n"); @@ -325,17 +332,28 @@ int main(int argc, char **argv) timedat.insert(make_tuple(it.second->runtime_ns + 1, it.second->call_counter, it.first)); } - int out_count = 0; - log("Time spent:"); - for (auto it = timedat.rbegin(); it != timedat.rend() && out_count < 4; it++, out_count++) { - if (out_count >= 2 && (std::get<0>(*it) < 1000000000 || int(100*std::get<0>(*it) / total_ns) < 20)) { - log(", ..."); - break; + if (timing_details) + { + log("Time spent:\n"); + for (auto it = timedat.rbegin(); it != timedat.rend(); it++) { + log("%5d%% %5d calls %8.3f sec %s\n", int(100*std::get<0>(*it) / total_ns), + std::get<1>(*it), std::get<0>(*it) / 1000000000.0, std::get<2>(*it).c_str()); + } + } + else + { + int out_count = 0; + log("Time spent:"); + for (auto it = timedat.rbegin(); it != timedat.rend() && out_count < 4; it++, out_count++) { + if (out_count >= 2 && (std::get<0>(*it) < 1000000000 || int(100*std::get<0>(*it) / total_ns) < 20)) { + log(", ..."); + break; + } + log("%s %d%% %dx %s (%d sec)", out_count ? "," : "", int(100*std::get<0>(*it) / total_ns), + std::get<1>(*it), std::get<2>(*it).c_str(), int(std::get<0>(*it) / 1000000000)); } - log("%s %d%% %dx %s (%d sec)", out_count ? "," : "", int(100*std::get<0>(*it) / total_ns), - std::get<1>(*it), std::get<2>(*it).c_str(), int(std::get<0>(*it) / 1000000000)); + log("%s\n", out_count ? "" : " no commands executed"); } - log("%s\n", out_count ? "" : " no commands executed"); } #ifdef YOSYS_ENABLE_COVER |