Declare the InvalidOpsWithReturn struct and register it on the TestDialect Dialect

Signed-off-by: Tomas Fabrizio Orsi <[email protected]>

Author: lima-limon-inc

hir/src/derive.rs

@@ -136,7 +136,7 @@ mod tests {
 
     use crate::{
         attributes::Overflow,
-        dialects::test::{self, Add},
+        dialects::test::{self, Add, InvalidOpsWithReturn},
         Builder, BuilderExt, Context, Op, Operation, Report, Spanned,
     };
 

hir/src/dialects/test.rs

@@ -115,6 +115,7 @@ impl DialectRegistration for TestDialect {
 
     fn register_operations(info: &mut DialectInfo) {
         info.register_operation::<ops::Add>();
+        info.register_operation::<ops::InvalidOpsWithReturn>();
         info.register_operation::<ops::Mul>();
         info.register_operation::<ops::Shl>();
         info.register_operation::<ops::Ret>();

hir/src/dialects/test/ops/binary.rs

@@ -74,3 +74,19 @@ impl InferTypeOpInterface for Shl {
         Ok(())
     }
 }
+
+/// Invalid operation that breaks the SameOperandsAndResultType trait
+#[operation(
+    dialect = TestDialect,
+    traits(BinaryOp, SameTypeOperands, SameOperandsAndResultType),
+)]
+pub struct InvalidOpsWithReturn {
+    #[operand]
+    lhs: AnyInteger,
+    #[operand]
+    rhs: AnyInteger,
+    #[result]
+    result: AnyUnsignedInteger,
+    #[attr]
+    overflow: Overflow,
+}