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

[Krzysztof Drewniak]

krzysz00 wrote:

> OK, IIUC, we make this assumption based on the docs, but that's not something that we can enforce, right? Just making sure I follow the rationale :)

We can actually enforce it if you're willing to run https://github.com/llvm/llvm-project/blob/main/mlir/lib/Dialect/MemRef/Transforms/RuntimeOpVerification.cpp 


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