diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-09-14 12:43:18 +0200 |
|---|---|---|
| committer | N. Engelhardt <nak@symbioticeda.com> | 2020-09-14 12:43:18 +0200 |
| commit | 32381907972e16d5f72705eaf5350b731a9d71c8 (patch) | |
| tree | 73c08e35387cb9df6d69cf0d9129b03e115fd69c /passes/sat | |
| parent | 4af04be0b7bb493a86a35a60f3b18d88df6b8ea9 (diff) | |
| download | yosys-32381907972e16d5f72705eaf5350b731a9d71c8.tar.gz yosys-32381907972e16d5f72705eaf5350b731a9d71c8.tar.bz2 yosys-32381907972e16d5f72705eaf5350b731a9d71c8.zip | |
use the new isPublic() in a few places
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/mutate.cc | 6 | ||||
| -rw-r--r-- | passes/sat/sat.cc | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/passes/sat/mutate.cc b/passes/sat/mutate.cc index 15abee73e..95e0e0944 100644 --- a/passes/sat/mutate.cc +++ b/passes/sat/mutate.cc @@ -439,7 +439,7 @@ void mutate_list(Design *design, const mutate_opts_t &opts, const string &filena dict<SigBit, int> bit_user_cnt; for (auto wire : module->wires()) { - if (wire->name[0] == '\\' && wire->attributes.count(ID::src)) + if (wire->name.isPublic() && wire->attributes.count(ID::src)) sigmap.add(wire); } @@ -468,7 +468,7 @@ void mutate_list(Design *design, const mutate_opts_t &opts, const string &filena } if (!bit.wire->name[0] != !sigbit.wire->name[0]) { - if (bit.wire->name[0] == '\\') + if (bit.wire->name.isPublic()) sigmap.add(bit); continue; } @@ -493,7 +493,7 @@ void mutate_list(Design *design, const mutate_opts_t &opts, const string &filena entry.src.insert(s); SigBit bit = sigmap(conn.second[i]); - if (bit.wire && bit.wire->name[0] == '\\' && (cell->output(conn.first) || bit_user_cnt[bit] == 1)) { + if (bit.wire && bit.wire->name.isPublic() && (cell->output(conn.first) || bit_user_cnt[bit] == 1)) { for (auto &s : bit.wire->get_strpool_attribute(ID::src)) entry.src.insert(s); entry.wire = bit.wire->name; diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index d7bf125d1..9fdac6147 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -1365,7 +1365,7 @@ struct SatPass : public Pass { if (show_public) { for (auto wire : module->wires()) - if (wire->name[0] == '\\') + if (wire->name.isPublic()) shows.push_back(wire->name.str()); } |