[Mlir-commits] [mlir] [mlir][tosa] Add verifier for `ArgMax` operator (PR #68410)

[Georgios Pinitas]

GeorgeARM wrote:

> I think checking the axis in the verifier is a good idea. For the size check, I know that the current spec calls out i32 as the return type, but anticipating future changes where that is changed to a larger number, this feels like something that should go into the opt-in pass that takes a profile to validate against. That profile check would fail today, but implementations that don't strictly check can still use the operator set.

Should we check that the return type is of an integer type? Not of a particular bitwidth per se. 

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