remove operands because of binOp

opencompl · Feb 11, 2025 · 5af30b7 · 5af30b7
1 parent f65493f
commit 5af30b7
Showing 1 changed file with 0 additions and 32 deletions.
diff --git a/xdsl_smt/dialects/transfer.py b/xdsl_smt/dialects/transfer.py
@@ -356,53 +356,21 @@ def __init__(
 class GetLowBitsOp(BinOp):
     name = "transfer.get_low_bits"
 
-    T: ClassVar = VarConstraint(
-        "T", irdl_to_attr_constraint(TransIntegerType | IntegerType)
-    )
-
-    val: Operand = operand_def(T)
-    low_bits: Operand = operand_def(T)
-    result: OpResult = result_def(T)
-
 
 @irdl_op_definition
 class SetHighBitsOp(BinOp):
     name = "transfer.set_high_bits"
 
-    T: ClassVar = VarConstraint(
-        "T", irdl_to_attr_constraint(TransIntegerType | IntegerType)
-    )
-
-    val: Operand = operand_def(T)
-    high_bits: Operand = operand_def(T)
-    result: OpResult = result_def(T)
-
 
 @irdl_op_definition
 class SetLowBitsOp(BinOp):
     name = "transfer.set_low_bits"
 
-    T: ClassVar = VarConstraint(
-        "T", irdl_to_attr_constraint(TransIntegerType | IntegerType)
-    )
-
-    val: Operand = operand_def(T)
-    low_bits: Operand = operand_def(T)
-    result: OpResult = result_def(T)
-
 
 @irdl_op_definition
 class SetSignBitOp(BinOp):
     name = "transfer.set_sign_bit"
 
-    T: ClassVar = VarConstraint(
-        "T", irdl_to_attr_constraint(TransIntegerType | IntegerType)
-    )
-
-    val: Operand = operand_def(T)
-    sign_bit: Operand = operand_def(T)
-    result: OpResult = result_def(T)
-
 
 @irdl_op_definition
 class IsPowerOf2Op(IRDLOperation):