[MLIR][LinAlg] Use AnyTypeOf for LinalgOperand for better error msg.

[kumasento]

Summary

Previously, LinalgOperand is defined with Type<Or<..,>>, which produces
not very readable error messages when it is not matched, e.g.,

'linalg.generic' op operand #0 must be anonymous_326, but got ....

It is simply because the description property is not properly set.

This diff switches to use AnyTypeOf for LinalgOperand, which automatically
generates a description based on the allowed types provided.

As a result, the error message now becomes:

'linalg.generic' op operand #0 must be ranked tensor of any type values or strided memref of any type values, but got ...

Which is clearer and more informative.

[nicolasvasilache]

Much better, thanks @kumasento

[kumasento]

In D84428#2181604, @nicolasvasilache wrote:

Much better, thanks @kumasento

Thank you Nicolas, would you mind helping me committing it when you are available? Thanks :)

mlir/include/mlir/Dialect/Linalg/IR/LinalgStructuredOps.td

let description = [{
     Takes add op as pooling operation, i.e., it accumulates the values in the
     window.
   }];
 }
 
 //===----------------------------------------------------------------------===//
 // Generic Linalg ops.
 //===----------------------------------------------------------------------===//
-def LinalgOperand: Type<
-  Or<[AnyRankedTensor.predicate, AnyStridedMemRef.predicate]>>;
+def LinalgOperand: AnyTypeOf<[AnyRankedTensor, AnyStridedMemRef]>;
 
 class LinalgOperandOfRank<int rank>: Type<
   And<[
     LinalgOperand.predicate,
     CPred<"$_self.cast<ShapedType>().getRank() == " # rank>]
   >>;
 
 class GenericOpBase<string mnemonic> : LinalgStructuredBase_Op<mnemonic,