[Mlir-commits] [mlir] [mlir][vector] Check the indices when inferring in_bounds from a permutation map (PR #221268)

[Federico Bruzzone]

================
@@ -250,7 +251,8 @@ Value createReadOrMaskedRead(OpBuilder &builder, Location loc, Value source,
 /// instead of explicit masks.
 /// `writeIndices` specifies the offsets to use. If empty, all indices are set
 /// to 0. When `permutationMap` is provided, the in_bounds attribute is
-/// inferred from the map instead of the destination shape.
+/// inferred from the map and `writeIndices` instead of the destination shape,
+/// as for createReadOrMaskedRead.
 Operation *createWriteOrMaskedWrite(OpBuilder &builder, Location loc,
                                     Value vecToStore, Value dest,
                                     SmallVector<Value> writeIndices = {},
----------------
FedericoBruzzone wrote:

As above, does this inference also assume the index is in range for the dim?

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