mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-29 01:18:46 +00:00
Code Activity

Optimise

Browse source
This commit is contained in:
Eddie Hung 2019-04-16 21:05:44 -07:00
parent 743c164eee
commit 5c134980c4
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
backends/aiger/xaiger.cc
View file

@ -585,18 +585,17 @@ struct XAigerWriter
if (holes_module && !holes_module->cell(stringf("\\u%d", box_id))) if (holes_module && !holes_module->cell(stringf("\\u%d", box_id)))
holes_cell = holes_module->addCell(stringf("\\u%d", box_id), cell->type); holes_cell = holes_module->addCell(stringf("\\u%d", box_id), cell->type);
RTLIL::Wire *holes_wire; RTLIL::Wire *holes_wire;
int num_inputs = 0;
// NB: cell->connections_ already sorted from before // NB: cell->connections_ already sorted from before
for (const auto &c : cell->connections()) { for (const auto &c : cell->connections()) {
log_assert(c.second.size() == 1);
if (cell->input(c.first)) { if (cell->input(c.first)) {
box_inputs += c.second.size(); box_inputs += c.second.size();
if (holes_cell) { if (holes_cell) {
holes_wire = holes_module->wire(stringf("\\i%d", num_inputs)); holes_wire = holes_module->wire(stringf("\\i%d", box_inputs));
if (!holes_wire) { if (!holes_wire) {
holes_wire = holes_module->addWire(stringf("\\i%d", num_inputs)); holes_wire = holes_module->addWire(stringf("\\i%d", box_inputs));
holes_wire->port_input = true; holes_wire->port_input = true;
} }
++num_inputs;
holes_cell->setPort(c.first, holes_wire); holes_cell->setPort(c.first, holes_wire);
} }
} }