diff options
| author | Matthias Springer <me@m-sp.org> | 2025-03-31 10:28:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-31 10:28:55 -0700 |
| commit | 5edf12738441d54239a5043e727b4dac709728c7 (patch) | |
| tree | 4e7b24a20b3947d300da805a8c91ae6d0d2d7c27 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | e4b9486056fab7a262fdafbe70acf393c9767d12 (diff) | |
[mlir][memref] Verify out-of-bounds access for memref.subview (#133086)
* Improve the verifier of `memref.subview` to detect out-of-bounds
extractions.
* Improve the documentation of `memref.subview` to make clear that
out-of-bounds extractions are not allowed. Rewrite examples to use the
new `strided<>` notation instead of `affine_map` layout maps. Also
remove all unrelated operations (`memref.alloc`) from the examples.
* Fix various test cases where `memref.subview` ops ran out-of-bounds.
* Update canonicalizations patterns to ensure that they do not fold IR
if it would generate IR that no longer verifies.
Related discussion on Discourse:
https://discourse.llvm.org/t/out-of-bounds-semantics-of-memref-subview/85293
This is a re-upload of #131876, which was reverted due to failing GPU
tests. These tests were faulty and fixed in #133051.
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions