[Mlir-commits] [mlir] emit inbounds and nuw attributes in memref. (PR #138984)

Krzysztof Drewniak llvmlistbot at llvm.org
Thu May 15 14:44:11 PDT 2025


krzysz00 wrote:

1. Yeah, there's no static enforecement of the 0 <= [index] < [dimension length] requirement, but it's documented on `memref.load` and `memref.store`. It _might_ be worth strengthening the language in the op description about undefined behavior
2. `inbounds` implies `nusw`, and we *additionally* know `nuw` because all of the offsets we're adding are non-negative

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


More information about the Mlir-commits mailing list