mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-24 14:41:31 +00:00
Code Activity

proc_mux: optimize source map locality for index density

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-11-15 01:04:30 +01:00
parent 31618a7e99
commit 3887be1f05
1 changed files with 13 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

22
passes/proc/proc_mux.cc
View file

@ -28,27 +28,31 @@
USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN
using SnippetSourceMap = dict<std::pair<int, const RTLIL::CaseRule*>, const Const*>;
using SnippetSourceMap = std::vector<dict<const RTLIL::CaseRule*, const Const*>>;
struct SnippetSourceMapBuilder {
SnippetSourceMap map;
void insert(int snippet, const RTLIL::CaseRule* cs, const RTLIL::SyncAction& action) {
map.resize(snippet + 1);
if (action.src.size())
map[std::make_pair(snippet, cs)] = &action.src;
map[snippet][cs] = &action.src;
}
};
struct SnippetSourceMapper {
const SnippetSourceMap map;
void try_map_into(pool<std::string>& sources, int snippet, const RTLIL::CaseRule* cs) const {
auto src_it = map.find(std::make_pair(snippet, cs));
if (src_it != map.end()) {
sources.insert(src_it->second->decode_string());
} else {
auto cs_src = cs->get_src_attribute();
if (cs_src.size()) {
sources.insert(cs_src);
if ((size_t)snippet < map.size()) {
const auto& snippet_map = map[snippet];
auto src_it = snippet_map.find(cs);
if (src_it != snippet_map.end()) {
sources.insert(src_it->second->decode_string());
return;
}
}
auto cs_src = cs->get_src_attribute();
if (cs_src.size()) {
sources.insert(cs_src);
}
}
};