diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-07-09 10:14:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-09 10:14:23 -0700 |
| commit | 713337255e6ab57b0679d64539d5c87d036c067f (patch) | |
| tree | 76a906984830c48d5831a8db0bf22762fd91b7d3 /techlibs | |
| parent | e95ce1f7af269447943cf1798c03b02a0c5aa1a2 (diff) | |
| download | yosys-713337255e6ab57b0679d64539d5c87d036c067f.tar.gz yosys-713337255e6ab57b0679d64539d5c87d036c067f.tar.bz2 yosys-713337255e6ab57b0679d64539d5c87d036c067f.zip | |
Revert "Add "synth -keepdc" option"
Diffstat (limited to 'techlibs')
| -rw-r--r-- | techlibs/common/synth.cc | 15 |
1 files changed, 2 insertions, 13 deletions
diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc index af70cc498..555de9fba 100644 --- a/techlibs/common/synth.cc +++ b/techlibs/common/synth.cc @@ -78,9 +78,6 @@ struct SynthPass : public ScriptPass log(" -abc9\n"); log(" use new ABC9 flow (EXPERIMENTAL)\n"); log("\n"); - log(" -keepdc\n"); - log(" do not optimize explicit don't-care values on $mux cells.\n"); - log("\n"); log("\n"); log("The following commands are executed by this synthesis command:\n"); help_script(); @@ -88,7 +85,7 @@ struct SynthPass : public ScriptPass } string top_module, fsm_opts, memory_opts, abc; - bool autotop, flatten, noalumacc, nofsm, noabc, noshare, keepdc; + bool autotop, flatten, noalumacc, nofsm, noabc, noshare; int lut; void clear_flags() YS_OVERRIDE @@ -105,7 +102,6 @@ struct SynthPass : public ScriptPass noabc = false; noshare = false; abc = "abc"; - keepdc = false; } void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE @@ -171,10 +167,6 @@ struct SynthPass : public ScriptPass abc = "abc9"; continue; } - if (args[argidx] == "-keepdc") { - keepdc = true; - continue; - } break; } extra_args(args, argidx, design); @@ -219,10 +211,7 @@ struct SynthPass : public ScriptPass run("opt_clean"); run("check"); run("opt"); - if (help_mode) - run("wreduce [-keepdc]"); - else - run("wreduce" + std::string(keepdc ? " -keepdc" : "")); + run("wreduce"); run("peepopt"); run("opt_clean"); if (help_mode) |