From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 10 Jan 2020 11:34:21 +0000 (+0100)
Subject: Use CARRY4 for abc1 as well, preventing issues with Vivado
X-Git-Tag: working-ls180~869^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=992b507537d6c0e5804859100e05a7a78adb21eb;p=yosys.git

Use CARRY4 for abc1 as well, preventing issues with Vivado
---

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 51d2cbbd2..7ff09a437 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -515,7 +515,7 @@ struct SynthXilinxPass : public ScriptPass
 				techmap_args += " -map +/xilinx/arith_map.v";
 				if (vpr)
 					techmap_args += " -D _EXPLICIT_CARRY";
-				else if (abc9)
+				else
 					techmap_args += " -D _CLB_CARRY";
 			}
 			run("techmap " + techmap_args);