mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Fix "opt_expr -fine" bug introduced in 213a89558

Browse source 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
This commit is contained in:
Claire Wolf 2020-05-01 19:10:26 +02:00
parent 667f38fe53
commit 8ee32adac3
1 changed files with 19 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
passes/opt/opt_expr.cc
View file

@ -682,25 +682,37 @@ void replace_const_cells(RTLIL::Design *design, RTLIL::Module *module, bool cons
RTLIL::SigSpec sig_a = assign_map(cell->getPort(ID::A)); RTLIL::SigSpec sig_a = assign_map(cell->getPort(ID::A));
RTLIL::SigSpec sig_b = assign_map(cell->getPort(ID::B)); RTLIL::SigSpec sig_b = assign_map(cell->getPort(ID::B));
RTLIL::SigSpec sig_y = cell->getPort(ID::Y); RTLIL::SigSpec sig_y = cell->getPort(ID::Y);
bool is_signed = cell->getParam(ID::A_SIGNED).as_bool();
bool sub = cell->type == ID($sub); bool sub = cell->type == ID($sub);
int minsz = GetSize(sig_y);
minsz = std::min(minsz, GetSize(sig_a));
minsz = std::min(minsz, GetSize(sig_b));
int i; int i;
for (i = 0; i < GetSize(sig_y); i++) { for (i = 0; i < minsz; i++) {
RTLIL::SigBit b = sig_b.at(i, State::Sx); RTLIL::SigBit b = sig_b[i];
RTLIL::SigBit a = sig_a.at(i, State::Sx); RTLIL::SigBit a = sig_a[i];
if (b == State::S0 && a != State::Sx) if (b == State::S0)
module->connect(sig_y[i], a); module->connect(sig_y[i], a);
else if (sub && b == State::S1 && a == State::S1) else if (sub && b == State::S1 && a == State::S1)
module->connect(sig_y[i], State::S0); module->connect(sig_y[i], State::S0);
else if (!sub && a == State::S0 && b != State::Sx) else if (!sub && a == State::S0)
module->connect(sig_y[i], b); module->connect(sig_y[i], b);
else else
break; break;
} }
if (i > 0) { if (i > 0) {
cover_list("opt.opt_expr.fine", "$add", "$sub", cell->type.str()); cover_list("opt.opt_expr.fine", "$add", "$sub", cell->type.str());
cell->setPort(ID::A, sig_a.extract_end(i)); log_debug("Stripping %d LSB bits of %s cell %s in module %s.\n", i, log_id(cell->type), log_id(cell), log_id(module));
cell->setPort(ID::B, sig_b.extract_end(i)); SigSpec new_a = sig_a.extract_end(i);
SigSpec new_b = sig_b.extract_end(i);
if (new_a.empty() && is_signed)
new_a = sig_a[i-1];
if (new_b.empty() && is_signed)
new_b = sig_b[i-1];
cell->setPort(ID::A, new_a);
cell->setPort(ID::B, new_b);
cell->setPort(ID::Y, sig_y.extract_end(i)); cell->setPort(ID::Y, sig_y.extract_end(i));
cell->fixup_parameters(); cell->fixup_parameters();
did_something = true; did_something = true;