Restore wreduce to synth_xilinx, after muxcover

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 170b3fb07f29133f6c09be71eae2e21df497708f..174138e6a8c62412c7bdb54e291566e1db0fb5c1 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -279,6 +279,7 @@ struct SynthXilinxPass : public ScriptPass
                                              //        otherwise it will use mux8 as mux4
                                run("muxcover -mux4=150 -mux8=200 -mux16=250 -dmux=0", "(skip if -nomux)");
                        }
+                       run("wreduce"); // FIXME: Moved until after muxcover from 'coarse'
                        run("opt -full");
 
                        if (!nosrl || help_mode) {