Preserve topo ordering from -prep_holes to write_xaiger

2 files changed, 2 insertions, 5 deletions

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index 25fe3fbc8..af37ecb5c 100644
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -187,17 +187,13 @@ struct Abc9Pass : public ScriptPass
 	{
 		run("scc -set_attr abc9_scc_id {}");
 		run("abc9_ops -break_scc"/*" -prep_holes"*/);
-//		run("select -set abc9_holes A:abc9_holes");
-//		run("dump @abc9_holes");
 //		run("flatten -wb @abc9_holes");
 //		run("techmap @abc9_holes");
 		run("aigmap");
+		run("abc9_ops -prep_holes");
 		if (dff_mode)
 			run("abc9_ops -prep_dff");
 //		run("opt -purge @abc9_holes");
-
-		run("abc9_ops -prep_holes");
-
 		run("select -set abc9_holes A:abc9_holes");
 		run("wbflip @abc9_holes");
 
diff --git a/passes/techmap/abc9_ops.cc b/passes/techmap/abc9_ops.cc
index c671553e2..bcf622dba 100644
--- a/passes/techmap/abc9_ops.cc
+++ b/passes/techmap/abc9_ops.cc
@@ -322,6 +322,7 @@ void prep_holes(RTLIL::Module *module)
 			}
 		}
 
+		cell->attributes["\\abc9_box_order"] = box_list.size();
 		box_list.emplace_back(cell);
 	}
 	log_assert(!box_list.empty());