equiv_struct now creates equiv_merged attributes
authorClifford Wolf <clifford@clifford.at>
Sun, 25 Oct 2015 00:15:20 +0000 (02:15 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 25 Oct 2015 00:15:20 +0000 (02:15 +0200)
passes/equiv/equiv_struct.cc

index d231913c2a48a1a12ec86c96a84f7424d9e87261..eae6d0fcf0f4f2da1a7bc4318087262c338ad6c6 100644 (file)
@@ -107,6 +107,9 @@ struct EquivStructWorker
                                equiv_bits.add(sig_b, sig_a);
                        }
 
+                       auto merged_attr = cell_b->get_strpool_attribute("\\equiv_merged");
+                       merged_attr.insert(log_id(cell_b));
+                       cell_a->add_strpool_attribute("\\equiv_merged", merged_attr);
                        module->remove(cell_b);
                }
        }