[Mlir-commits] [mlir] [mlir][tosa] Add option to validate function signature during validation (PR #214276)

[Luke Hutton]

================

----------------
lhutton1 wrote:

Thanks for the suggestion, I hadn't thought about enabling the checks by default, likely due to being overly cautious. I suspect there are some uses of the validation pass that don't strictly align with the specification (e.g. usage of unsigned integers), but enabling it didn't seem to break any tests here (e.g. in tosa-to-linalg). Therefore enabling by default while leaving the option to disable the checks seems reasonable to me.

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