X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=techlibs%2Fefinix%2Fsynth_efinix.cc;h=f9a7ef8654bdb8e06cccf2b9a56a5af77a0a02ac;hb=7ad8b242806357599cfcbd228cef5c331935ef7c;hp=0efd917089e824e0566f13d5593f18273045359a;hpb=f443695a38fbdd8c2ca38cab45ca964a173dc158;p=yosys.git

diff --git a/techlibs/efinix/synth_efinix.cc b/techlibs/efinix/synth_efinix.cc
index 0efd91708..f9a7ef865 100644
--- a/techlibs/efinix/synth_efinix.cc
+++ b/techlibs/efinix/synth_efinix.cc
@@ -175,13 +175,13 @@ struct SynthEfinixPass : public ScriptPass
 		if (check_label("map_gates"))
 		{
 			run("techmap -map +/techmap.v -map +/efinix/arith_map.v");
+			run("opt -fast");
 			if (retime || help_mode)
 				run("abc -dff -D 1", "(only if -retime)");
 		}
 
 		if (check_label("map_ffs"))
 		{
-			run("dffsr2dff");
 			run("techmap -D NO_LUT -map +/efinix/cells_map.v");
 			run("dffinit -strinit SET RESET -ff AL_MAP_SEQ q REGSET -noreinit");
 			run("opt_expr -mux_undef");