From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 20 Jun 2019 23:45:09 +0000 (-0700)
Subject: Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc
X-Git-Tag: working-ls180~1208^2~132
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d1dadfcec8e5fffb1d27f067a86a606591b9c686;p=yosys.git

Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc
---

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 7b20a7132..f1e887df8 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -299,6 +299,7 @@ struct SynthXilinxPass : public ScriptPass
 		}
 
 		if (check_label("map_luts")) {
+			run("opt_expr -mux_undef");
 			if (abc == "abc9")
 				run(abc + " -lut +/xilinx/abc_xc7.lut -box +/xilinx/abc_xc7.box -W " + XC7_WIRE_DELAY + string(retime ? " -dff" : ""));
 			else if (help_mode)