From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 26 Jun 2019 17:06:33 +0000 (-0700)
Subject: Oops. Actually use nocarry flag as spotted by @koriakin
X-Git-Tag: yosys-0.9~37^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb722e7b58d634370bb013641dcccb2b5041febb;p=yosys.git

Oops. Actually use nocarry flag as spotted by @koriakin
---

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 27125d56c..dc2b4f2ac 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -254,11 +254,13 @@ struct SynthXilinxPass : public ScriptPass
 			}
 
 			if (help_mode)
-				run("techmap -map +/techmap.v -map +/xilinx/arith_map.v", "(skip if '-nocarry')");
-			else if (!vpr)
-				run("techmap -map +/techmap.v -map +/xilinx/arith_map.v");
-			else
-				run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY");
+				run("techmap -map +/techmap.v [-map +/xilinx/arith_map.v]", "(skip if '-nocarry')");
+			else if (!nocarry) {
+                                if (!vpr)
+                                        run("techmap -map +/techmap.v -map +/xilinx/arith_map.v");
+                                else
+                                        run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY");
+                        }
 
 			run("opt -fast");
 		}