riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add a check for packed memory MEMID uniqueness

This commit is contained in:
Marcelina Kościelnicka 2022-06-13 16:53:29 +02:00
parent 3eaa9e38e0
commit 6b7efe12b7
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
kernel/rtlil.cc
View File

@ -1842,6 +1842,8 @@ void RTLIL::Module::check()
log_assert(!it2.first.empty()); log_assert(!it2.first.empty());
} }
pool<IdString> packed_memids;
for (auto &it : cells_) { for (auto &it : cells_) {
log_assert(this == it.second->module); log_assert(this == it.second->module);
log_assert(it.first == it.second->name); log_assert(it.first == it.second->name);
@ -1857,6 +1859,14 @@ void RTLIL::Module::check()
log_assert(!it2.first.empty()); log_assert(!it2.first.empty());
InternalCellChecker checker(this, it.second); InternalCellChecker checker(this, it.second);
checker.check(); checker.check();
if (it.second->has_memid()) {
log_assert(memories.count(it.second->parameters.at(ID::MEMID).decode_string()));
} else if (it.second->is_mem_cell()) {
IdString memid = it.second->parameters.at(ID::MEMID).decode_string();
log_assert(!memories.count(memid));
log_assert(!packed_memids.count(memid));
packed_memids.insert(memid);
}
} }
for (auto &it : processes) { for (auto &it : processes) {