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 d114b6269c911151ae066987b3ba4da5be5be2aa..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");
@@ -274,7 +276,7 @@ struct SynthIce40Pass : public ScriptPass
                        else
                                run("techmap -map +/techmap.v -map +/ice40/arith_map.v");
                        if (retime || help_mode)
-                               run("abc -dff -D 1", "(only if -retime)");
+                               run("abc -dff", "(only if -retime)");
                        run("ice40_opt");
                }