diff options
author | whitequark <whitequark@whitequark.org> | 2020-05-22 17:44:05 +0000 |
---|---|---|
committer | whitequark <whitequark@whitequark.org> | 2020-05-22 19:08:30 +0000 |
commit | 281c96856aec2fac0aa79a52484068f7e386b586 (patch) | |
tree | 151f66761bb419c4b748f2c5cdb176d6812c8b5e | |
parent | 026fed31356faa5a1b21a6270dd5cf0c745bb76e (diff) | |
download | yosys-281c96856aec2fac0aa79a52484068f7e386b586.tar.gz yosys-281c96856aec2fac0aa79a52484068f7e386b586.tar.bz2 yosys-281c96856aec2fac0aa79a52484068f7e386b586.zip |
cxxrtl: get rid of -O5 aka `opt_clean -purge` optimization level.
This isn't actually necessary anymore after scheduling was improved,
and `clean -purge` disrupts the mapping between wires in the input
RTLIL netlist and the output CXXRTL code.
-rw-r--r-- | backends/cxxrtl/cxxrtl.cc | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/backends/cxxrtl/cxxrtl.cc b/backends/cxxrtl/cxxrtl.cc index f3ed3f623..549404184 100644 --- a/backends/cxxrtl/cxxrtl.cc +++ b/backends/cxxrtl/cxxrtl.cc @@ -2306,10 +2306,7 @@ struct CxxrtlBackend : public Backend { log(" like -O3, and localize public wires not marked (*keep*) if possible.\n"); log("\n"); log(" -O5\n"); - log(" like -O4, and run `opt_clean -purge` first.\n"); - log("\n"); - log(" -O6\n"); - log(" like -O5, and run `proc; flatten` first.\n"); + log(" like -O4, 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 @@ -2343,13 +2340,10 @@ struct CxxrtlBackend : public Backend { extra_args(f, filename, args, argidx); switch (opt_level) { - case 6: + case 5: worker.max_opt_level = true; worker.run_proc_flatten = true; YS_FALLTHROUGH - case 5: - worker.run_opt_clean_purge = true; - YS_FALLTHROUGH case 4: worker.localize_public = true; YS_FALLTHROUGH |