Add Add op

gussmith23 · Feb 25, 2024 · 845670b · 845670b
1 parent 50423fc
commit 845670b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/egglog_src/churchroad.egg b/egglog_src/churchroad.egg
@@ -9,6 +9,7 @@
 ; Ops
 (datatype Op
   (And)
+  (Add)
   (Or)
   (Xor)
   (Shr)
@@ -102,6 +103,7 @@
 ;;; op.
 (relation AllBitwidthsMatch (Op))
 (AllBitwidthsMatch (And))
+(AllBitwidthsMatch (Add))
 (AllBitwidthsMatch (Or))
 (AllBitwidthsMatch (Xor))
 (AllBitwidthsMatch (Shr))