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

Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs

Browse source 
qbfsat: Make hole name recovery from source locations more robust.
This commit is contained in:
Claire Wolf 2020-04-23 11:34:19 +02:00 committed by GitHub
parent 1797c574da 4ee8452d34
commit dc9a72bc8d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
passes/sat/qbfsat.cc
View file

@ -98,11 +98,8 @@ dict<std::string, std::string> get_hole_loc_name_map(RTLIL::Module *module, cons
for (auto cell : module->cells()) { for (auto cell : module->cells()) {
std::string cell_src = cell->get_src_attribute(); std::string cell_src = cell->get_src_attribute();
auto pos = sol.hole_to_value.find(cell_src); auto pos = sol.hole_to_value.find(cell_src);
if (pos != sol.hole_to_value.end()) { if (pos != sol.hole_to_value.end() && cell->type.in("$anyconst", "$anyseq")) {
#ifndef NDEBUG log_assert(hole_loc_to_name.find(pos->first) == hole_loc_to_name.end());
log_assert(cell->type.in("$anyconst", "$anyseq"));
log_assert(cell->getPort(ID::Y).is_wire());
#endif
hole_loc_to_name[pos->first] = cell->getPort(ID::Y).as_wire()->name.str(); hole_loc_to_name[pos->first] = cell->getPort(ID::Y).as_wire()->name.str();
} }
} }