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 45bc47f2461e4b0552c3cdee5b71fa53cfbea34d..86b49b13cd9750ad03d3b4a4cb26cd0f8cd2892f 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -281,6 +281,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)