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

Merge 5be4727740 into 733487e730

Browse source
This commit is contained in:
Martin Povišer 2025-03-20 11:00:55 +00:00 committed by GitHub
parent 733487e730 5be4727740
commit 0fc7ce3022
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 47 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

49
passes/opt/opt_lut.cc
View file

@ -48,7 +48,7 @@ struct OptLutWorker
int eliminated_count = 0, combined_count = 0;
bool evaluate_lut(RTLIL::Cell *lut, dict<SigBit, bool> inputs)
State evaluate_lut_x(RTLIL::Cell *lut, dict<SigBit, bool> inputs)
{
SigSpec lut_input = sigmap(lut->getPort(ID::A));
int lut_width = lut->getParam(ID::WIDTH).as_int();
@ -68,7 +68,12 @@ struct OptLutWorker
}
}
return lut_table.extract(lut_index).as_bool();
return lut_table.bits[lut_index];
}
bool evaluate_lut(RTLIL::Cell *lut, dict<SigBit, bool> inputs)
{
return evaluate_lut_x(lut, inputs) != State::S0;
}
void show_stats_by_arity()
@ -520,6 +525,46 @@ struct OptLutWorker
}
}
show_stats_by_arity();
if (!dlogic.empty()) {
// We don't have handling for the constraints, so until then, disable
// narrowing.
log("Narrowing LUTs skipped: constraints in place.\n");
return;
}
log("\n");
log("Narrowing LUTs.\n");
worklist = luts;
while (worklist.size())
{
auto lut = worklist.pop();
SigSpec lut_input = sigmap(lut->getPort(ID::A));
SigSpec lut_new_input = lut_input;
lut_new_input.remove_const();
if (lut_new_input.size() == lut_input.size())
continue;
log_debug("Found to-be-narrowed cell %s.%s.\n", log_id(module), log_id(lut));
int lut_width = lut_new_input.size();
RTLIL::Const lut_new_table(State::Sx, 1 << lut_width);
for (int eval = 0; eval < 1 << lut_width; eval++)
{
dict<SigBit, bool> eval_inputs;
eval_inputs[State::S0] = false;
eval_inputs[State::S1] = true;
for (size_t i = 0; i < (size_t) lut_new_input.size(); i++)
eval_inputs[lut_new_input[i]] = (eval >> i) & 1;
lut_new_table.bits[eval] = evaluate_lut_x(lut, eval_inputs);
}
lut->setPort(ID::A, lut_new_input);
lut->setParam(ID::WIDTH, lut_width);
lut->setParam(ID::LUT, lut_new_table);
}
}
};