diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-05-28 12:42:17 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-05-28 12:42:17 -0700 |
| commit | b4321a31bbd9f215e753563d5d031b2c24f1b371 (patch) | |
| tree | 2da0290348a15efa4d5cc112776868c41379ba11 /backends/aiger/xaiger.cc | |
| parent | 13e233217cd0caceeb5d30d2eefa5238ffc5bfc9 (diff) | |
| download | yosys-b4321a31bbd9f215e753563d5d031b2c24f1b371.tar.gz yosys-b4321a31bbd9f215e753563d5d031b2c24f1b371.tar.bz2 yosys-b4321a31bbd9f215e753563d5d031b2c24f1b371.zip | |
Fix for abc9_test022
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 5919b2302..2ffd460dd 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -277,8 +277,10 @@ struct XAigerWriter } } if (is_output) { + input_bits.insert(b); SigBit O = sigmap(b); - input_bits.insert(O); + if (O != b) + alias_map[O] = b; undriven_bits.erase(O); } } @@ -346,8 +348,10 @@ struct XAigerWriter int offset = 0; for (const auto &b : rhs.bits()) { + ci_bits.emplace_back(b, cell, port_name, offset++); SigBit O = sigmap(b); - ci_bits.emplace_back(O, cell, port_name, offset++); + if (O != b) + alias_map[O] = b; undriven_bits.erase(O); } } |