[Mlir-commits] [mlir] [mlir][tosa] Add several level checks (PR #128074)

[TatWai Chong]

================
@@ -695,6 +773,9 @@ LogicalResult TosaValidation::applyErrorIfCheck(Operation *op) {
 }
 
 bool TosaValidation::isValidElementType(Type type) {
+  if (auto quantType = llvm::dyn_cast<mlir::quant::QuantizedType>(type))
----------------
tatwaichong wrote:

make sense. I agree your point that the validation pass is usually used at the end of compilation as the final check. Let me swap out the quantized type with basic types from the tests.

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