From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 25 Oct 2015 00:15:20 +0000 (+0200)
Subject: equiv_struct now creates equiv_merged attributes
X-Git-Tag: yosys-0.6~87
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=83bd27bf6e7b632c78bd9d6741c42297c2819fdf;p=yosys.git

equiv_struct now creates equiv_merged attributes
---

diff --git a/passes/equiv/equiv_struct.cc b/passes/equiv/equiv_struct.cc
index d231913c2..eae6d0fcf 100644
--- a/passes/equiv/equiv_struct.cc
+++ b/passes/equiv/equiv_struct.cc
@@ -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);
 		}
 	}