[Mlir-commits] [mlir] emit inbounds and nuw attributes in memref. (PR #138984)
Peiyong Lin
llvmlistbot at llvm.org
Thu May 15 16:08:43 PDT 2025
================
@@ -1881,7 +1885,11 @@ def MemRef_StoreOp : MemRef_Op<"store",
The `store` op stores an element into a memref at the specified indices.
The number of indices must match the rank of the memref. The indices must
- be in-bounds: `0 <= idx < dim_size`
+ be in-bounds: `0 <= idx < dim_size`.
+
+ Lowerings of `memref.store` may emit annotations that would cause undefined
+ behavior if indices are out of bounds or if computing the offset in the
+ memref would cause signed overflow of the `idx` type.
----------------
lpy wrote:
Thanks, done!
https://github.com/llvm/llvm-project/pull/138984
More information about the Mlir-commits
mailing list