diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-03-06 10:51:47 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-03-06 10:51:47 -0800 |
| commit | 3be7784d0e06f75d5e35eb356b726b559f647f13 (patch) | |
| tree | 1bc021f5d2600f3bd4482ab9bf94b299c18a24eb /backends | |
| parent | 80dcc8a0d1b6833f093c4ad6742c60187d1c9c00 (diff) | |
| download | yosys-3be7784d0e06f75d5e35eb356b726b559f647f13.tar.gz yosys-3be7784d0e06f75d5e35eb356b726b559f647f13.tar.bz2 yosys-3be7784d0e06f75d5e35eb356b726b559f647f13.zip | |
xaiger: remove some unnecessary operations ...
... since they can not be triggered by (* keep *) anymore
(but could still be triggered by (* abc9_scc *) !?!)
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 7b6b851b3..cde6d066a 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -224,8 +224,6 @@ struct XAigerWriter alias_map[Q] = D; auto r YS_ATTRIBUTE(unused) = ff_bits.insert(std::make_pair(D, cell)); log_assert(r.second); - if (input_bits.erase(Q)) - log_assert(Q.wire->attributes.count(ID::keep)); continue; } @@ -379,11 +377,6 @@ struct XAigerWriter alias_map[O] = b; ci_bits.emplace_back(b); undriven_bits.erase(O); - // If PI and CI, then must be a (* keep *) wire - if (input_bits.erase(O)) { - log_assert(output_bits.count(O)); - log_assert(O.wire->get_bool_attribute(ID::keep)); - } } } @@ -468,8 +461,8 @@ struct XAigerWriter for (const auto &bit : output_bits) { ordered_outputs[bit] = aig_o++; int aig; - // Unlike bit2aig() which checks aig_map first, for - // inout/keep bits, since aig_map will point to + // Unlike bit2aig() which checks aig_map first for + // inout/scc bits, since aig_map will point to // the PI, first attempt to find the NOT/AND driver // before resorting to an aig_map lookup (which // could be another PO) |