Run "peepopt" in generic "synth" pass and "synth_ice40"

[yosys.git] / techlibs / ice40 / synth_ice40.cc

diff --git a/techlibs/ice40/synth_ice40.cc b/techlibs/ice40/synth_ice40.cc
index d6d047fe7b60423c6748631b65074c96e922718b..f5249e567980e9136b26341217850aeae299cb34 100644 (file)
--- a/techlibs/ice40/synth_ice40.cc
+++ b/techlibs/ice40/synth_ice40.cc
@@ -239,6 +239,8 @@ struct SynthIce40Pass : public ScriptPass
                        run("check");
                        run("opt");
                        run("wreduce");
+                       run("peepopt");
+                       run("opt_clean");
                        run("share");
                        run("techmap -map +/cmp2lut.v -D LUT_WIDTH=4");
                        run("opt_expr");
@@ -257,6 +259,7 @@ struct SynthIce40Pass : public ScriptPass
                {
                        run("memory_bram -rules +/ice40/brams.txt");
                        run("techmap -map +/ice40/brams_map.v");
+                       run("ice40_braminit");
                }
 
                if (check_label("map"))
@@ -306,7 +309,7 @@ struct SynthIce40Pass : public ScriptPass
                                run("techmap -map +/gate2lut.v -D LUT_WIDTH=4", "(only if -noabc)");
                        }
                        if (!noabc) {
-                               run("abc -lut 4", "(skip if -noabc)");
+                               run("abc -dress -lut 4", "(skip if -noabc)");
                        }
                        run("clean");
                        if (relut || help_mode) {