[Mlir-commits] [mlir] [mlir][vector] Add opt-in `inbounds`/`nneg` flags to `vector.load`/`vector.store` (PR #202118)

[Federico Bruzzone]

FedericoBruzzone wrote:

Folks I updated the PR and the PR description :D

**Follow-ups**

1. A dedicated PR will guard `nuw` against negative strides in the `MemRef` to LLVM lowering as well (`memref.load/store` currently emit `inbounds|nuw` unconditionally, which is unsound for negative strides).
2. A small docs PR will make the `memref.load` wording precise (an out-of-bounds index makes the getelementptr result a poison value, hence the immediate UB arises when the subsequent `load/store` dereferences that poison pointer).
3. Eventually, we can see if it makes sense to bring optional attributes to memref as well, following what we did here for `vector`. Let me know < 3

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