From e2e792275698749457e8ea65df8f9c9132a18cf9 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Tue, 2 Dec 2025 14:03:12 +1300
Subject: [PATCH] tests/aiger: Compare .aag outputs against known

Any files that differ (e.g. due to compiler order of operations changing) will trigger an error.
---
 tests/aiger/.gitignore  | 1 +
 tests/aiger/run-test.sh | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/tests/aiger/.gitignore b/tests/aiger/.gitignore
index 4bb3e67f6..ef347c9d3 100644
--- a/tests/aiger/.gitignore
+++ b/tests/aiger/.gitignore
@@ -1,2 +1,3 @@
 /*_ref.v
 /neg.out/
+/gate/
diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh
index ca7339ff0..bd22f31ed 100755
--- a/tests/aiger/run-test.sh
+++ b/tests/aiger/run-test.sh
@@ -57,3 +57,9 @@ for y in *.ys; do
     echo "Running $y."
     ../../yosys -ql ${y%.*}.log $y
 done
+
+# compare aigmap with reference
+# make gold with: rm gold/*; yosys --no-version -p "test_cell -aigmap -w gold/ -n 1 -s 1 all"
+rm -rf gate; mkdir gate
+../../yosys --no-version -p "test_cell -aigmap -w gate/ -n 1 -s 1 all"
+diff --brief gold gate | tee aigmap.err