mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 09:55:20 +00:00
Code Activity

Merge pull request #1768 from boqwxp/smt2_cleanup

Browse source 
Clean up pseudo-private member usage in `backends/smt2/smt2.cc`.
This commit is contained in:
N. Engelhardt 2020-03-16 13:49:10 +01:00 committed by GitHub
parent a2e340de43 07f0874779
commit 020f6d167a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
backends/smt2/smt2.cc
View file

@ -1508,11 +1508,11 @@ struct Smt2Backend : public Backend {
// extract module dependencies // extract module dependencies
std::map<RTLIL::Module*, std::set<RTLIL::Module*>> module_deps; std::map<RTLIL::Module*, std::set<RTLIL::Module*>> module_deps;
for (auto &mod_it : design->modules_) { for (auto mod : design->modules()) {
module_deps[mod_it.second] = std::set<RTLIL::Module*>(); module_deps[mod] = std::set<RTLIL::Module*>();
for (auto &cell_it : mod_it.second->cells_) for (auto cell : mod->cells())
if (design->modules_.count(cell_it.second->type) > 0) if (design->has(cell->type))
module_deps[mod_it.second].insert(design->modules_.at(cell_it.second->type)); module_deps[mod].insert(design->module(cell->type));
} }
// simple good-enough topological sort // simple good-enough topological sort