feat: Added verify to the integer conversion operations to follow llvm semantics

tests/filecheck/dialects/llvm/arith_invalid.mlir

@@ -0,0 +1,32 @@
+// RUN: xdsl-opt %s --split-input-file --verify-diagnostics | filecheck %s
+
+"builtin.module"() ({
+
+    %arg0 = "test.op"() : () -> (i32)
+
+    %trunc = llvm.trunc %arg0 : i32 to i64
+    // CHECK: invalid cast opcode for cast from i32 to i64
+
+}) : () -> ()
+
+// -----
+
+"builtin.module"() ({
+
+    %arg0 = "test.op"() : () -> (i32)
+
+    %zext = llvm.zext %arg0 : i32 to i16
+    // CHECK: invalid cast opcode for cast from i32 to i16
+
+}) : () -> ()
+
+// -----
+
+"builtin.module"() ({
+
+    %arg0 = "test.op"() : () -> (i32)
+
+    %sext = llvm.sext %arg0 : i32 to i16
+    // CHECK: invalid cast opcode for cast from i32 to i16
+
+}) : () -> ()

xdsl/dialects/llvm.py

@@ -571,16 +571,43 @@ class AShrOp(ArithmeticBinOperation):
 class TruncOp(IntegerConversionOp):
     name = "llvm.trunc"
 
+    def verify(self, verify_nested_ops: bool = True):
+        assert isinstance(self.arg.type, IntegerType)
+        assert isinstance(self.res.type, IntegerType)
+        if self.arg.type.bitwidth <= self.res.type.bitwidth:
+            raise VerifyException(
+                f"invalid cast opcode for cast from {self.arg.type} to {self.res.type}"
+            )
+        super().verify(verify_nested_ops)
+
 
 @irdl_op_definition
 class ZExtOp(IntegerConversionOp):
     name = "llvm.zext"
 
+    def verify(self, verify_nested_ops: bool = True):
+        assert isinstance(self.arg.type, IntegerType)
+        assert isinstance(self.res.type, IntegerType)
+        if self.arg.type.bitwidth >= self.res.type.bitwidth:
+            raise VerifyException(
+                f"invalid cast opcode for cast from {self.arg.type} to {self.res.type}"
+            )
+        super().verify(verify_nested_ops)
+
 
 @irdl_op_definition
 class SExtOp(IntegerConversionOp):
     name = "llvm.sext"
 
+    def verify(self, verify_nested_ops: bool = True):
+        assert isinstance(self.arg.type, IntegerType)
+        assert isinstance(self.res.type, IntegerType)
+        if self.arg.type.bitwidth >= self.res.type.bitwidth:
+            raise VerifyException(
+                f"invalid cast opcode for cast from {self.arg.type} to {self.res.type}"
+            )
+        super().verify(verify_nested_ops)
+
 
 @irdl_op_definition
 class GEPOp(IRDLOperation):