projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
13e2332
)
Fix for abc9_test022
author
Eddie Hung
<eddie@fpgeh.com>
Tue, 28 May 2019 19:42:17 +0000
(12:42 -0700)
committer
Eddie Hung
<eddie@fpgeh.com>
Tue, 28 May 2019 19:42:17 +0000
(12:42 -0700)
backends/aiger/xaiger.cc
patch
|
blob
|
history
diff --git
a/backends/aiger/xaiger.cc
b/backends/aiger/xaiger.cc
index 5919b23029160e3f5b617af1bb64a9c11715b022..2ffd460dd8c8949ecab95e93c1f3621beabbd845 100644
(file)
--- a/
backends/aiger/xaiger.cc
+++ b/
backends/aiger/xaiger.cc
@@
-277,8
+277,10
@@
struct XAigerWriter
}
}
if (is_output) {
}
}
if (is_output) {
+ input_bits.insert(b);
SigBit O = sigmap(b);
SigBit O = sigmap(b);
- input_bits.insert(O);
+ if (O != b)
+ alias_map[O] = b;
undriven_bits.erase(O);
}
}
undriven_bits.erase(O);
}
}
@@
-346,8
+348,10
@@
struct XAigerWriter
int offset = 0;
for (const auto &b : rhs.bits()) {
int offset = 0;
for (const auto &b : rhs.bits()) {
+ ci_bits.emplace_back(b, cell, port_name, offset++);
SigBit O = sigmap(b);
SigBit O = sigmap(b);
- ci_bits.emplace_back(O, cell, port_name, offset++);
+ if (O != b)
+ alias_map[O] = b;
undriven_bits.erase(O);
}
}
undriven_bits.erase(O);
}
}