diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 21:56:02 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 21:56:47 -0700 |
| commit | c4ea6fff65d6b2e69a31649af7e10b129c6ae0f5 (patch) | |
| tree | 1b0ea3a9a4c0f3a95a3562581d5b4909f5dc0dc1 | |
| parent | 477e566e8d203ec7754c90fc845d7f3f759f2974 (diff) | |
| download | yosys-c4ea6fff65d6b2e69a31649af7e10b129c6ae0f5.tar.gz yosys-c4ea6fff65d6b2e69a31649af7e10b129c6ae0f5.tar.bz2 yosys-c4ea6fff65d6b2e69a31649af7e10b129c6ae0f5.zip | |
Fix gcc invalidation behaviour for write_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 d685c5638..6863b40fa 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) |