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

[Georgios Pinitas]

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

Indeed, would prefer initially for this to be run under strict compliance checking. Maybe worth a broader discussion but IMHO when it comes to the type support maybe we should be more relaxed on give the optionality for it.
Maybe is better to do it the other way? Have an option to relax this check instead?

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