mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-27 10:55:51 +00:00
Code Activity

share: add -pattern-limit to set analysis effort on branch-unbranch mux regions

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-02-14 18:57:36 +01:00
parent df3c62a4ed
commit 8968986b54
1 changed files with 29 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

32
passes/opt/share.cc
View file

@ -23,6 +23,7 @@
#include "kernel/modtools.h"
#include "kernel/utils.h"
#include "kernel/macc.h"
#include <iterator>
USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN
@ -33,6 +34,7 @@ typedef std::pair<RTLIL::SigSpec, RTLIL::Const> ssc_pair_t;
struct ShareWorkerConfig
{
int limit;
size_t pattern_limit;
bool opt_force;
bool opt_aggressive;
bool opt_fast;
@ -853,6 +855,21 @@ struct ShareWorker
optimize_activation_patterns(patterns);
}
template<typename Iterator>
void insert_capped(pool<ssc_pair_t>& cache, Iterator begin_pattern, Iterator end_pattern)
{
if (cache.size() + std::distance(begin_pattern, end_pattern) > config.pattern_limit) {
cache.clear();
cache.insert(ssc_pair_t());
} else {
cache.insert(begin_pattern, end_pattern);
}
}
void insert_capped(pool<ssc_pair_t>& cache, ssc_pair_t pattern)
{
insert_capped(cache, &pattern, &pattern + 1);
}
const pool<ssc_pair_t> &find_cell_activation_patterns(RTLIL::Cell *cell, const char *indent)
{
if (recursion_state.count(cell)) {
@ -909,20 +926,20 @@ struct ShareWorker
for (int i = 0; i < GetSize(sig_s); i++)
p.first.append(sig_s[i]), p.second.bits().push_back(RTLIL::State::S0);
if (sort_check_activation_pattern(p))
activation_patterns_cache[cell].insert(p);
insert_capped(activation_patterns_cache[cell], p);
}
for (int idx : used_in_b_parts)
for (auto p : c_patterns) {
p.first.append(sig_s[idx]), p.second.bits().push_back(RTLIL::State::S1);
if (sort_check_activation_pattern(p))
activation_patterns_cache[cell].insert(p);
insert_capped(activation_patterns_cache[cell], p);
}
}
for (auto c : driven_cells) {
const pool<ssc_pair_t> &c_patterns = find_cell_activation_patterns(c, indent);
activation_patterns_cache[cell].insert(c_patterns.begin(), c_patterns.end());
insert_capped(activation_patterns_cache[cell], c_patterns.begin(), c_patterns.end());
}
log_assert(recursion_state.count(cell) != 0);
@ -1437,6 +1454,10 @@ struct SharePass : public Pass {
log("\n");
log(" -limit N\n");
log(" Only perform the first N merges, then stop. This is useful for debugging.\n");
log(" -pattern-limit N\n");
log(" Only analyze up to N activation patterns per cell, otherwise assume active.\n");
log(" N is 1000 by default. Higher values may merge more resources at the cost of\n");
log(" more runtime and memory consumption.\n");
log("\n");
}
void execute(std::vector<std::string> args, RTLIL::Design *design) override
@ -1444,6 +1465,7 @@ struct SharePass : public Pass {
ShareWorkerConfig config;
config.limit = -1;
config.pattern_limit = 1000;
config.opt_force = false;
config.opt_aggressive = false;
config.opt_fast = false;
@ -1508,6 +1530,10 @@ struct SharePass : public Pass {
config.limit = atoi(args[++argidx].c_str());
continue;
}
if (args[argidx] == "-pattern-limit" && argidx+1 < args.size()) {
config.pattern_limit = atoi(args[++argidx].c_str());
continue;
}
break;
}
extra_args(args, argidx, design);