[Mlir-commits] [mlir] [mlir][tosa] Disallow invalid datatype combinations in the validation pass (PR #131595)

[Luke Hutton]

================
@@ -1042,6 +1042,11 @@ void TosaValidation::runOnOperation() {
       }
     }
 
+    if (failed(profileComp.checkInvalid(op))) {
----------------
lhutton1 wrote:

Having an option to relax the check seems reasonable to me, though I'm struggling to think of a name, perhaps something like `allowInvalidOpDatatypeCombinations`?

also cc @tatwaichong on this discussion since we had a discussion about this offline

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