riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required

This commit is contained in:
Eddie Hung 2020-01-14 14:28:07 -08:00
parent b951ca9e1c 4656f202c6
commit 588a713b54
2 changed files with 1 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/aiger/xaiger.cc
View File

@ -370,7 +370,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;

9
passes/techmap/abc9_ops.cc
View File

@ -754,15 +754,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)