diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-10-25 02:15:20 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-10-25 02:15:20 +0200 |
| commit | 83bd27bf6e7b632c78bd9d6741c42297c2819fdf (patch) | |
| tree | f42d7d54289725f7ee9dd7945278b18a0c326ed1 /passes/equiv | |
| parent | 453736d91878de840714024b0fde416bc6af8215 (diff) | |
| download | yosys-83bd27bf6e7b632c78bd9d6741c42297c2819fdf.tar.gz yosys-83bd27bf6e7b632c78bd9d6741c42297c2819fdf.tar.bz2 yosys-83bd27bf6e7b632c78bd9d6741c42297c2819fdf.zip | |
equiv_struct now creates equiv_merged attributes
Diffstat (limited to 'passes/equiv')
| -rw-r--r-- | passes/equiv/equiv_struct.cc | 3 |
1 files changed, 3 insertions, 0 deletions
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); } } |