PI before CI

[yosys.git] / backends / aiger / xaiger.cc

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index a4ef8993145e4c342ece8ff3d539c4f97d2bac1b..b0770ec96c715ff23fedb55052356d0e075181cc 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -229,7 +229,7 @@ struct XAigerWriter
                                        }
                                        if (is_output) {
                                                SigBit O = sigmap(b);
-                                               if (!input_bits.count(O) && !output_bits.count(O))
+                                               if (!input_bits.count(O))
                                                        ci_bits.insert(O);
                                        }
                                }
@@ -295,12 +295,12 @@ struct XAigerWriter
                aig_map[State::S0] = 0;
                aig_map[State::S1] = 1;
 
-               for (auto bit : ci_bits) {
+               for (auto bit : input_bits) {
                        aig_m++, aig_i++;
                        aig_map[bit] = 2*aig_m;
                }
 
-               for (auto bit : input_bits) {
+               for (auto bit : ci_bits) {
                        aig_m++, aig_i++;
                        aig_map[bit] = 2*aig_m;
                }