diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 21:56:02 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 22:10:43 -0700 |
| commit | 4422b7311b8d672df386f993b413d32baad8550b (patch) | |
| tree | 74fedf49add7bbd247584806d559b8fe9aba1e11 /backends/aiger | |
| parent | 32f8014e121cd3338d6786269455c8b3fe9f1631 (diff) | |
| download | yosys-4422b7311b8d672df386f993b413d32baad8550b.tar.gz yosys-4422b7311b8d672df386f993b413d32baad8550b.tar.bz2 yosys-4422b7311b8d672df386f993b413d32baad8550b.zip | |
Fix gcc invalidation behaviour for write_aiger
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/aiger.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index 4c2ea511a..4fb47f0d6 100644 --- a/backends/aiger/aiger.cc +++ b/backends/aiger/aiger.cc @@ -89,7 +89,8 @@ struct AigerWriter aig_map[bit] = mkgate(a0, a1); } else if (alias_map.count(bit)) { - aig_map[bit] = bit2aig(alias_map.at(bit)); + int a = bit2aig(alias_map.at(bit)); + aig_map[bit] = a; } if (bit == State::Sx || bit == State::Sz) |