[Mlir-commits] [mlir] [MLIR][MemRef] Add verifier check for index count vs memref rank in generic_atomic_rmw (PR #189229)

[Mehdi Amini]

================
@@ -1593,6 +1593,12 @@ LogicalResult GenericAtomicRMWOp::verify() {
   if (getResult().getType() != body.getArgument(0).getType())
     return emitOpError("expected block argument of the same type result type");
 
+  auto memrefType = cast<MemRefType>(getMemref().getType());
+  if (getIndices().size() != static_cast<size_t>(memrefType.getRank()))
----------------
joker-eph wrote:

It is, and it reminded me I can write as:

```
  MemRefType memrefType = getMemref().getType();
```

Instead of 

```
  auto memrefType = cast<MemRefType>(getMemref().getType());
```

Because `getMemref()` returns a `TypedValue`.

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