fmcombine: use the master ff cell type list

diff --git a/passes/sat/fmcombine.cc b/passes/sat/fmcombine.cc
index 5694a7473dd1232c9afd8781e53280a26a92ccfc..cb49edac3c2dd8ddf0ae7906a18ec0ccdc7c681c 100644 (file)
--- a/passes/sat/fmcombine.cc
+++ b/passes/sat/fmcombine.cc
@@ -114,8 +114,7 @@ struct FmcombineWorker
                                        Cell *gold = import_prim_cell(cell, "_gold");
                                        Cell *gate = import_prim_cell(cell, "_gate");
                                        if (opts.initeq) {
-                                               if (cell->type.in(ID($ff), ID($dff), ID($dffe),
-                                                               ID($dffsr), ID($adff), ID($dlatch), ID($dlatchsr))) {
+                                               if (RTLIL::builtin_ff_cell_types().count(cell->type)) {
                                                        SigSpec gold_q = gold->getPort(ID::Q);
                                                        SigSpec gate_q = gate->getPort(ID::Q);
                                                        SigSpec en = module->Initstate(NEW_ID);