From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 26 Apr 2019 23:28:48 +0000 (-0700)
Subject: Apparently, this reduces number of MUXCY/XORCY
X-Git-Tag: working-ls180~1208^2~302
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ccc283737d99cb0f4d5742692d5d86c4ad9396c6;p=yosys.git

Apparently, this reduces number of MUXCY/XORCY
---

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 5652806f7..4ec115bec 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -287,11 +287,18 @@ struct SynthXilinxPass : public Pass
 
 		if (check_label(active, run_from, run_to, "fine"))
 		{
-			Pass::call(design, "opt -fast");
+			Pass::call(design, "opt -fast -full");
 			Pass::call(design, "memory_map");
 			Pass::call(design, "dffsr2dff");
 			Pass::call(design, "dff2dffe");
 
+			if (!nocarry) {
+				if (vpr)
+					Pass::call(design, "techmap -D _EXPLICIT_CARRY -map +/xilinx/arith_map.v");
+				else
+					Pass::call(design, "techmap -map +/xilinx/arith_map.v");
+			}
+
 			// shregmap -tech xilinx can cope with $shiftx and $mux
 			//   cells for identifying variable-length shift registers,
 			//   so attempt to convert $pmux-es to the former
@@ -300,15 +307,7 @@ struct SynthXilinxPass : public Pass
 				Pass::call(design, "pmux2shiftx");
 
 			Pass::call(design, "opt -full");
-			if (!nocarry) {
-				if (vpr)
-					Pass::call(design, "techmap -map +/techmap.v  -D _EXPLICIT_CARRY -map +/xilinx/arith_map.v");
-				else
-					Pass::call(design, "techmap -map +/techmap.v -map +/xilinx/arith_map.v");
-			}
-			else  {
-				Pass::call(design, "techmap");
-			}
+			Pass::call(design, "techmap");
 			Pass::call(design, "opt -fast");
 
 			// shregmap with '-tech xilinx' infers variable length shift regs