abc9_ops: -prep_xaiger to skip (* keep *) cells

diff --git a/passes/techmap/abc9_ops.cc b/passes/techmap/abc9_ops.cc
index 750f36ceb43908f76cfe9a3fe4d1a20d15615f02..40622ece7b4a780e96c9ea47511d344c17c7529d 100644 (file)
--- a/passes/techmap/abc9_ops.cc
+++ b/passes/techmap/abc9_ops.cc
@@ -165,6 +165,8 @@ void prep_xaiger(RTLIL::Module *module, bool dff)
        for (auto cell : module->cells()) {
                if (cell->type == "$__ABC9_FF_")
                        continue;
+               if (cell->has_keep_attr())
+                       continue;
 
                auto inst_module = module->design->module(cell->type);
                bool abc9_box = inst_module && inst_module->attributes.count("\\abc9_box_id");