[Mlir-commits] [mlir] [mlir][ArmSVE] Add convert_to/from_svbool ops (PR #68586)

[Benjamin Maxwell]

================
@@ -236,6 +243,66 @@ def UmmlaOp : ArmSVE_Op<"ummla",
     "$acc `,` $src1 `,` $src2 attr-dict `:` type($src1) `to` type($dst)";
 }
 
+
+class SvboolTypeContraint<string lhsArg, string rhsArg> : TypesMatchWith<
+      "expected corresponding svbool type widened to [16]xi1",
----------------
MacDue wrote:

This is already implicitly tested. This is used to infer the the svbool type (from the result or argument), so there's no textual representation of an op that fails this constraint. 

https://github.com/llvm/llvm-project/pull/68586