From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 4 Mar 2018 16:13:45 +0000 (+0100)
Subject: Add "synth -noshare"
X-Git-Tag: yosys-0.8~184
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=27dd500d31c07991d5a6f01c95f5519d7225c427;p=yosys.git

Add "synth -noshare"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc
index 11ebe5339..4ca34839e 100644
--- a/techlibs/common/synth.cc
+++ b/techlibs/common/synth.cc
@@ -64,6 +64,9 @@ struct SynthPass : public ScriptPass
 		log("    -nordff\n");
 		log("        passed to 'memory'. prohibits merging of FFs into memory read ports\n");
 		log("\n");
+		log("    -noshare\n");
+		log("        do not run SAT-based resource sharing\n");
+		log("\n");
 		log("    -run <from_label>[:<to_label>]\n");
 		log("        only run the commands between the labels (see below). an empty\n");
 		log("        from label is synonymous to 'begin', and empty to label is\n");
@@ -76,7 +79,7 @@ struct SynthPass : public ScriptPass
 	}
 
 	string top_module, fsm_opts, memory_opts;
-	bool autotop, flatten, noalumacc, nofsm, noabc;
+	bool autotop, flatten, noalumacc, nofsm, noabc, noshare;
 
 	virtual void clear_flags() YS_OVERRIDE
 	{
@@ -89,6 +92,7 @@ struct SynthPass : public ScriptPass
 		noalumacc = false;
 		nofsm = false;
 		noabc = false;
+		noshare = false;
 	}
 
 	virtual void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
@@ -142,6 +146,10 @@ struct SynthPass : public ScriptPass
 				memory_opts += " -nordff";
 				continue;
 			}
+			if (args[argidx] == "-noshare") {
+				noshare = true;
+				continue;
+			}
 			break;
 		}
 		extra_args(args, argidx, design);
@@ -186,7 +194,8 @@ struct SynthPass : public ScriptPass
 			run("wreduce");
 			if (!noalumacc)
 				run("alumacc");
-			run("share");
+			if (!noshare)
+				run("share");
 			run("opt");
 			if (!nofsm)
 				run("fsm" + fsm_opts);