[Mlir-commits] [mlir] [mlir][spirv] Improve type constraints for SPIR-V Tosa CastOp (PR #192227)

[Davide Grohmann]

================
@@ -124,6 +124,10 @@ class TypeConstraintImplicationOn<string name, Type type, string other, list<Typ
     Implies<ElementTypeIsPred<name, type>,
     !foreach(allowedType, allowedTypes, ElementTypeIsPred<other, allowedType>)>>;
 
+class ElementTypeIsNot<string name, Type type> :
----------------
davidegrohmann wrote:

Yeah probably it is worth doing that way. I am gonna remove those changes from this PR and just leave the CastOp improvements here.

I will open a new PR since that is gonna be a bigger refactor.

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