From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 28 May 2019 19:42:17 +0000 (-0700)
Subject: Fix for abc9_test022
X-Git-Tag: working-ls180~1208^2~248
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b4321a31bbd9f215e753563d5d031b2c24f1b371;p=yosys.git

Fix for abc9_test022
---

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);
 						}
 					}