diff options
| author | whitequark <whitequark@whitequark.org> | 2020-05-22 20:08:39 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 20:08:39 +0000 |
| commit | 721040df76c7095463ebf4f708f94bb236333f61 (patch) | |
| tree | ccb5120f2531c251ca636b2eaf545ad8c83ad40a /backends | |
| parent | 4f0f32116956782059d415a13ac52bf056634d6f (diff) | |
| parent | 281c96856aec2fac0aa79a52484068f7e386b586 (diff) | |
| download | yosys-721040df76c7095463ebf4f708f94bb236333f61.tar.gz yosys-721040df76c7095463ebf4f708f94bb236333f61.tar.bz2 yosys-721040df76c7095463ebf4f708f94bb236333f61.zip | |
Merge pull request #2072 from whitequark/cxxrtl-dont-purge
cxxrtl: get rid of -O5 aka `opt_clean -purge` optimization level
Diffstat (limited to 'backends')
| -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 |