aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/common
diff options
context:
space:
mode:
authorEddie Hung <eddieh@ece.ubc.ca>2019-07-09 10:14:23 -0700
committerGitHub <noreply@github.com>2019-07-09 10:14:23 -0700
commit713337255e6ab57b0679d64539d5c87d036c067f (patch)
tree76a906984830c48d5831a8db0bf22762fd91b7d3 /techlibs/common
parente95ce1f7af269447943cf1798c03b02a0c5aa1a2 (diff)
downloadyosys-713337255e6ab57b0679d64539d5c87d036c067f.tar.gz
yosys-713337255e6ab57b0679d64539d5c87d036c067f.tar.bz2
yosys-713337255e6ab57b0679d64539d5c87d036c067f.zip
Revert "Add "synth -keepdc" option"
Diffstat (limited to 'techlibs/common')
-rw-r--r--techlibs/common/synth.cc15
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)