From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 26 Jun 2019 23:25:48 +0000 (-0700)
Subject: Return to upstream synth_xilinx with opt -full and wreduce
X-Git-Tag: working-ls180~1208^2~63
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5f807a7a5b3f4c1eae7b75ad93d90f3d202e2b6c;p=yosys.git

Return to upstream synth_xilinx with opt -full and wreduce
---

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 278098a58..c139fb3c4 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -241,26 +241,10 @@ struct SynthXilinxPass : public ScriptPass
 		}
 
 		if (check_label("coarse")) {
-			run("proc");
-			if (flatten || help_mode)
-				run("flatten", "(with -flatten only)");
-			run("opt_expr");
-			run("opt_clean");
-			run("check");
-			run("opt");
 			if (help_mode)
-				run("wreduce [-keepdc]", "('-widemux' only)");
+				run("synth -run coarse [-flatten]", "(with '-flatten')");
 			else
-				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");
-			run("opt_clean");
+				run("synth -run coarse" + std::string(flatten ? "" : " -flatten"), "(with '-flatten')");
 
 			if (widemux > 0 || help_mode)
 				run("muxpack", "    ('-widemux' only)");
@@ -288,7 +272,7 @@ struct SynthXilinxPass : public ScriptPass
 		}
 
 		if (check_label("fine")) {
-			run("opt -fast");
+			run("opt -fast -full");
 			run("memory_map");
 			run("dffsr2dff");
 			run("dff2dffe");