mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-12 20:18:20 +00:00
Code Activity

cxxrtl: add -O6, a shortcut for running proc; flatten.

Browse source 
People judge a compiler backend by the first impression, and
the metric they judge it for is speed. -O6 does severely impact
debuggability, but it provides equally massive gains in performance,
so use it by default.
This commit is contained in:
whitequark 2020-04-21 15:33:12 +00:00
parent 06985c3afd
commit 7f5313e6c3
1 changed files with 14 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
backends/cxxrtl/cxxrtl.cc
View file

@ -424,6 +424,7 @@ struct CxxrtlWorker {
bool localize_internal = false; bool localize_internal = false;
bool localize_public = false; bool localize_public = false;
bool run_opt_clean_purge = false; bool run_opt_clean_purge = false;
bool run_proc_flatten = false;
bool max_opt_level = false; bool max_opt_level = false;
std::ostringstream f; std::ostringstream f;
@ -1929,8 +1930,12 @@ struct CxxrtlWorker {
void prepare_design(RTLIL::Design *design) void prepare_design(RTLIL::Design *design)
{ {
bool has_sync_init, has_packed_mem; bool has_sync_init, has_packed_mem;
log_push();
check_design(design, has_sync_init, has_packed_mem); check_design(design, has_sync_init, has_packed_mem);
if (has_sync_init) { if (run_proc_flatten) {
Pass::call(design, "proc");
Pass::call(design, "flatten");
} else if (has_sync_init) {
// We're only interested in proc_init, but it depends on proc_prune and proc_clean, so call those // We're only interested in proc_init, but it depends on proc_prune and proc_clean, so call those
// in case they weren't already. (This allows `yosys foo.v -o foo.cc` to work.) // in case they weren't already. (This allows `yosys foo.v -o foo.cc` to work.)
Pass::call(design, "proc_prune"); Pass::call(design, "proc_prune");
@ -1945,13 +1950,13 @@ struct CxxrtlWorker {
log_assert(!(has_sync_init || has_packed_mem)); log_assert(!(has_sync_init || has_packed_mem));
if (run_opt_clean_purge) if (run_opt_clean_purge)
Pass::call(design, "opt_clean -purge"); Pass::call(design, "opt_clean -purge");
log("\n"); log_pop();
analyze_design(design); analyze_design(design);
} }
}; };
struct CxxrtlBackend : public Backend { struct CxxrtlBackend : public Backend {
static const int DEFAULT_OPT_LEVEL = 5; static const int DEFAULT_OPT_LEVEL = 6;
CxxrtlBackend() : Backend("cxxrtl", "convert design to C++ RTL simulation") { } CxxrtlBackend() : Backend("cxxrtl", "convert design to C++ RTL simulation") { }
void help() YS_OVERRIDE void help() YS_OVERRIDE
@ -2138,6 +2143,9 @@ struct CxxrtlBackend : public Backend {
log(" -O5\n"); log(" -O5\n");
log(" like -O4, and run `opt_clean -purge` first.\n"); log(" like -O4, and run `opt_clean -purge` first.\n");
log("\n"); log("\n");
log(" -O6\n");
log(" like -O5, and run `proc; flatten` first.\n");
log("\n");
} }
void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
{ {
@ -2170,8 +2178,10 @@ struct CxxrtlBackend : public Backend {
extra_args(f, filename, args, argidx); extra_args(f, filename, args, argidx);
switch (opt_level) { switch (opt_level) {
case 5: case 6:
worker.max_opt_level = true; worker.max_opt_level = true;
worker.run_proc_flatten = true;
case 5:
worker.run_opt_clean_purge = true; worker.run_opt_clean_purge = true;
case 4: case 4:
worker.localize_public = true; worker.localize_public = true;