From 16b1a914f1f131337726440415221e0ed424c228 Mon Sep 17 00:00:00 2001
From: nella <simontupy64@gmail.com>
Date: Mon, 2 Mar 2026 12:24:41 +0100
Subject: [PATCH] Aiger use defines for known ops.

---
 backends/aiger2/aiger.cc | 18 +++++-------------
 1 file changed, 5 insertions(+), 13 deletions(-)

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index 1831fdb03..6f32d05de 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -47,24 +47,16 @@ PRIVATE_NAMESPACE_BEGIN
 
 static constexpr auto known_ops = []() constexpr {
 	StaticCellTypes::Categories::Category c{};
-	// bitwise
-	for (auto id : {ID($buf), ID($not), ID($mux), ID($and), ID($or), ID($xor), ID($xnor), ID($fa), ID($bwmux)})
+	for (auto id : {BITWISE_OPS})
 		c.set_id(id);
-	// reduce
-	for (auto id : {ID($reduce_and), ID($reduce_or), ID($reduce_xor), ID($reduce_xnor), ID($reduce_bool)})
+	for (auto id : {REDUCE_OPS})
 		c.set_id(id);
-	// logic
-	for (auto id : {ID($logic_and), ID($logic_or), ID($logic_not)})
+	for (auto id : {LOGIC_OPS})
 		c.set_id(id);
-	// gates
-	for (auto id : {ID($_BUF_), ID($_NOT_), ID($_AND_), ID($_NAND_), ID($_OR_), ID($_NOR_),
-					ID($_XOR_), ID($_XNOR_), ID($_ANDNOT_), ID($_ORNOT_), ID($_MUX_), ID($_NMUX_),
-					ID($_AOI3_), ID($_OAI3_), ID($_AOI4_), ID($_OAI4_)})
+	for (auto id : {GATE_OPS})
 		c.set_id(id);
-	// compare
-	for (auto id : {ID($eq), ID($ne), ID($lt), ID($le), ID($ge), ID($gt)})
+	for (auto id : {CMP_OPS})
 		c.set_id(id);
-	// other
 	for (auto id : {ID($pos), ID($pmux), ID($bmux)})
 		c.set_id(id);
 	return c;