Fix for abc9_test022

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