From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 9 Jul 2019 17:21:54 +0000 (-0700)
Subject: synth_xilinx to call commands of synth -coarse directly
X-Git-Tag: working-ls180~1208^2~10
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c68b9092100280dbc059526a88f9d8e2902ff6a3;p=yosys.git

synth_xilinx to call commands of synth -coarse directly
---

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 8da6df57e..0152af481 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -239,10 +239,25 @@ struct SynthXilinxPass : public ScriptPass
 		}
 
 		if (check_label("coarse")) {
+			run("proc");
+			if (help_mode || flatten)
+				run("flatten", "(if -flatten)");
+			run("opt_expr");
+			run("opt_clean");
+			run("check");
+			run("opt");
 			if (help_mode)
-				run("synth -run coarse [-flatten]", "(with '-flatten')");
+				run("wreduce [-keepdc]", "(option for '-widemux')");
 			else
-				run("synth -run coarse" + std::string(flatten ? "" : " -flatten"), "(with '-flatten')");
+				run("wreduce" + std::string(widemux > 0 ? " -keepdc" : ""));
+			run("peepopt");
+			run("opt_clean");
+			run("alumacc");
+			run("share");
+			run("opt");
+			run("fsm");
+			run("opt -fast");
+			run("memory -nomap");
 
 			if (widemux > 0 || help_mode)
 				run("muxpack", "    ('-widemux' only)");
@@ -253,6 +268,8 @@ struct SynthXilinxPass : public ScriptPass
 			// Also: wide multiplexer inference benefits from this too
 			if (!(nosrl && widemux == 0) || help_mode)
 				run("pmux2shiftx", "(skip if '-nosrl' and '-widemux=0')");
+
+			run("opt_clean");
 		}
 
 		if (check_label("bram", "(skip if '-nobram')")) {
@@ -344,7 +361,7 @@ struct SynthXilinxPass : public ScriptPass
 		if (check_label("map_luts")) {
 			run("opt_expr -mux_undef");
 			if (help_mode)
-				run("abc -luts 2:2,3,6:5[,10,20] [-dff]", "(skip if 'nowidelut', only for '-retime')");
+				run("abc -luts 2:2,3,6:5[,10,20] [-dff]", "(option for 'nowidelut', option for '-retime')");
 			else if (abc9) {
 				if (family != "xc7")
 					log_warning("'synth_xilinx -abc9' currently supports '-family xc7' only.\n");