[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:

This check might be too far reaching for some users of the validation pass - if this is the case, we could only run it when `strictOpSpecAlignment` is specified. Happy to have a discussion on this.

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