Back to passing all xc7srl tests!

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index dbafec301a133af639c85c509f80d077103e96cb..8aa7b508efaca959f61c9e34dc7af73c5847920e 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -205,17 +205,16 @@ struct SynthXilinxPass : public ScriptPass
                }
 
                if (check_label("fine")) {
-                       run("opt -fast");
-                       run("memory_map");
-                       run("dffsr2dff");
-                       run("dff2dffe");
-
                        // shregmap -tech xilinx can cope with $shiftx and $mux
                        //   cells for identifiying variable-length shift registers,
                        //   so attempt to convert $pmux-es to the former
                        if (!nosrl || help_mode)
                                run("pmux2shiftx", "(skip if '-nosrl')");
 
+                       run("opt -fast -full");
+                       run("memory_map");
+                       run("dffsr2dff");
+                       run("dff2dffe");
                        run("opt -full");
 
                        if (!vpr || help_mode)