diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 14:27:29 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 14:27:29 -0800 |
| commit | 4656f202c6f05d126c1acc79fca675e467c80840 (patch) | |
| tree | b6c3fbb378cfb0191492260220289e7a3ae2502e | |
| parent | 654247abe9078566f93960a135ce08b0cfc96442 (diff) | |
| download | yosys-4656f202c6f05d126c1acc79fca675e467c80840.tar.gz yosys-4656f202c6f05d126c1acc79fca675e467c80840.tar.bz2 yosys-4656f202c6f05d126c1acc79fca675e467c80840.zip | |
abc9_ops: -reintegrate to not trim box padding anymore
| -rw-r--r-- | backends/aiger/xaiger.cc | 2 | ||||
| -rw-r--r-- | passes/techmap/abc9_ops.cc | 9 |
2 files changed, 1 insertions, 10 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index f9890a592..4f466d568 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -349,7 +349,7 @@ struct XAigerWriter unused_bits.erase(I); } if (w->port_output) - for (const auto &b : rhs.bits()) { + for (const auto &b : rhs) { SigBit O = sigmap(b); if (O != b) alias_map[O] = b; diff --git a/passes/techmap/abc9_ops.cc b/passes/techmap/abc9_ops.cc index 463941b0b..aa21ff283 100644 --- a/passes/techmap/abc9_ops.cc +++ b/passes/techmap/abc9_ops.cc @@ -562,15 +562,6 @@ void reintegrate(RTLIL::Module *module) c.wire = module->wires_.at(remap_name(c.wire->name)); newsig.append(c); } - - auto it = existing_cell->connections_.find(port_name); - if (it == existing_cell->connections_.end()) - continue; - if (GetSize(newsig) > GetSize(it->second)) - newsig = newsig.extract(0, GetSize(it->second)); - else - log_assert(GetSize(newsig) == GetSize(it->second)); - cell->setPort(port_name, newsig); if (w->port_input && !abc9_flop) |