Preserve $specify[23] cells

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc
index c38e9df5e7db7fead4804f1bf8b0cecc90bc0a23..3f38dd58003acefa6e6ee0a1f980ee47ed66ac8f 100644 (file)
--- a/passes/opt/opt_clean.cc
+++ b/passes/opt/opt_clean.cc
@@ -64,7 +64,7 @@ struct keep_cache_t
 
        bool query(Cell *cell)
        {
-               if (cell->type.in("$memwr", "$meminit", "$assert", "$assume", "$live", "$fair", "$cover"))
+               if (cell->type.in("$memwr", "$meminit", "$assert", "$assume", "$live", "$fair", "$cover", "$specify2", "$specify3"))
                        return true;
 
                if (cell->has_keep_attr())