Add Commutative traits

Author: alastairreid

asl_xdsl/dialects/asl.py

@@ -46,6 +46,7 @@
 from xdsl.printer import Printer
 from xdsl.traits import (
     CallableOpInterface,
+    Commutative,
     ConstantLike,
     HasParent,
     IsolatedFromAbove,
@@ -519,6 +520,8 @@ class AddIntOp(BinaryIntOp):
 
     name = "asl.add_int"
 
+    traits = traits_def(Commutative())
+
 
 @irdl_op_definition
 class SubIntOp(BinaryIntOp):
@@ -533,6 +536,8 @@ class MulIntOp(BinaryIntOp):
 
     name = "asl.mul_int"
 
+    traits = traits_def(Commutative())
+
 
 @irdl_op_definition
 class ExpIntOp(BinaryIntOp):
@@ -697,13 +702,17 @@ class EqIntOp(PredicateIntOp):
 
     name = "asl.eq_int"
 
+    traits = traits_def(Commutative())
+
 
 @irdl_op_definition
 class NeIntOp(PredicateIntOp):
     """An integer inequality operation."""
 
     name = "asl.ne_int"
 
+    traits = traits_def(Commutative())
+
 
 @irdl_op_definition
 class LeIntOp(PredicateIntOp):
@@ -765,6 +774,8 @@ class AddBitsOp(BinaryBitsOp):
 
     name = "asl.add_bits"
 
+    traits = traits_def(Commutative())
+
 
 @irdl_op_definition
 class SubBitsOp(BinaryBitsOp):
@@ -779,27 +790,35 @@ class MulBitsOp(BinaryBitsOp):
 
     name = "asl.mul_bits"
 
+    traits = traits_def(Commutative())
+
 
 @irdl_op_definition
 class AndBitsOp(BinaryBitsOp):
     """A bit vector AND operation."""
 
     name = "asl.and_bits"
 
+    traits = traits_def(Commutative())
+
 
 @irdl_op_definition
 class OrBitsOp(BinaryBitsOp):
     """A bit vector OR operation."""
 
     name = "asl.or_bits"
 
+    traits = traits_def(Commutative())
+
 
 @irdl_op_definition
 class XorBitsOp(BinaryBitsOp):
     """A bit vector XOR operation."""
 
     name = "asl.xor_bits"
 
+    traits = traits_def(Commutative())
+
 
 @irdl_op_definition
 class AddBitsIntOp(IRDLOperation):
@@ -1203,6 +1222,8 @@ class EqBitsOp(IRDLOperation):
 
     name = "asl.eq_bits"
 
+    traits = traits_def(Commutative())
+
     T: ClassVar = VarConstraint("T", BaseAttr(BitVectorType))
 
     lhs = operand_def(T)
@@ -1232,6 +1253,8 @@ class NeBitsOp(IRDLOperation):
 
     name = "asl.ne_bits"
 
+    traits = traits_def(Commutative())
+
     T: ClassVar = VarConstraint("T", BaseAttr(BitVectorType))
 
     lhs = operand_def(T)