mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 01:25:33 +00:00
Code Activity

Reapply "Add fanoutlimit"

Browse source 
This reverts commit 9470dbe806.
This commit is contained in:
Akash Levy 2024-08-27 17:23:55 -07:00
parent 9470dbe806
commit 7ebc3ed7d2
3 changed files with 32 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

21
passes/cmds/splitfanout.cc
View file

@ -67,7 +67,7 @@ struct SplitfanoutWorker
}
}
int split(Cell *cell)
int split(Cell *cell, int fanoutlimit)
{
// Get output signal/port
SigSpec outsig;
@ -93,8 +93,8 @@ struct SplitfanoutWorker
}
}
// Skip if output signal has only one user
if (GetSize(bit_users) <= 1)
// Skip if output signal has only one user or too many users
if (GetSize(bit_users) <= 1 || GetSize(bit_users) > fanoutlimit)
return 0;
// Iterate over bit users and create a new cell for each one
@ -148,7 +148,7 @@ struct SplitfanoutPass : public Pass {
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n");
log(" splitfanout [selection]\n");
log(" splitfanout [options] [selection]\n");
log("\n");
log("This command copies selected cells with >1 fanout into cells with fanout 1. It\n");
log("is effectively the opposite of the opt_merge pass.\n");
@ -156,16 +156,23 @@ struct SplitfanoutPass : public Pass {
log("This command operates only on cells with 1 output and no \"bit split\" on that\n");
log("output.\n");
log("\n");
log(" -fanoutlimit\n");
log(" fanout limit for splitfanout, beyond which no split (default: 10)\n");
log("\n");
}
void execute(std::vector<std::string> args, RTLIL::Design *design) override
{
int fanoutlimit = 10;
log_header(design, "Executing SPLITFANOUT pass (splitting up cells with >1 fanout into copies).\n");
size_t argidx;
for (argidx = 1; argidx < args.size(); argidx++)
{
// No options currently. When adding in the future make sure to update docstring with [options]
break;
if ((args[argidx] == "-fanoutlimit") && ((argidx + 1) < args.size())) {
fanoutlimit = std::stoi(args[++argidx]);
continue;
}
}
extra_args(args, argidx, design);
@ -178,7 +185,7 @@ struct SplitfanoutPass : public Pass {
SplitfanoutWorker worker(module);
bool did_something = false;
for (auto cell : module->selected_cells()) {
int n = worker.split(cell);
int n = worker.split(cell, fanoutlimit);
did_something |= (n != 0);
count_split_pre += (n != 0);
count_split_post += n;

10
passes/opt/muxpack.cc
View file

@ -344,6 +344,9 @@ struct MuxpackPass : public Pass {
log(" -splitfanout\n");
log(" run splitfanout pass first\n");
log("\n");
log(" -fanoutlimit\n");
log(" fanout limit for splitfanout, beyond which no split (default: 10)\n");
log("\n");
log(" -assume_excl\n");
log(" assume mutually exclusive constraint when packing (may result in inequivalence)\n");
log("\n");
@ -352,6 +355,7 @@ struct MuxpackPass : public Pass {
{
bool splitfanout = false;
bool assume_excl = false;
int fanoutlimit = 10;
log_header(design, "Executing MUXPACK pass ($mux cell cascades to $pmux).\n");
@ -362,6 +366,10 @@ struct MuxpackPass : public Pass {
splitfanout = true;
continue;
}
if ((args[argidx] == "-fanoutlimit") && ((argidx + 1) < args.size())) {
fanoutlimit = std::stoi(args[++argidx]);
continue;
}
if (args[argidx] == "-assume_excl") {
assume_excl = true;
continue;
@ -371,7 +379,7 @@ struct MuxpackPass : public Pass {
extra_args(args, argidx, design);
if (splitfanout)
Pass::call(design, "splitfanout t:$mux t:$pmux");
Pass::call(design, stringf("splitfanout -fanoutlimit %d t:$mux t:$pmux", fanoutlimit));
int mux_count = 0;
int pmux_count = 0;

10
passes/opt/opt_balance_tree.cc
View file

@ -314,9 +314,13 @@ struct OptBalanceTreePass : public Pass {
log(" -splitfanout\n");
log(" run splitfanout pass first\n");
log("\n");
log(" -fanoutlimit\n");
log(" fanout limit for splitfanout, beyond which no split (default: 10)\n");
log("\n");
}
void execute(std::vector<std::string> args, RTLIL::Design *design) override {
bool splitfanout = false;
int fanoutlimit = 10;
log_header(design, "Executing OPT_BALANCE_TREE pass (cell cascades to trees).\n");
@ -327,13 +331,17 @@ struct OptBalanceTreePass : public Pass {
splitfanout = true;
continue;
}
if ((args[argidx] == "-fanoutlimit") && ((argidx + 1) < args.size())) {
fanoutlimit = std::stoi(args[++argidx]);
continue;
}
break;
}
extra_args(args, argidx, design);
// Run splitfanout pass first
if (splitfanout)
Pass::call(design, "splitfanout t:$and t:$or t:$xor t:$add t:$mul");
Pass::call(design, stringf("splitfanout -fanoutlimit %d t:$and t:$or t:$xor t:$add t:$mul", fanoutlimit));
// Count of all cells that were packed
dict<IdString, int> cell_count;