diff options
author | Matthias Springer <springerm@google.com> | 2021-10-08 21:19:13 +0900 |
---|---|---|
committer | Matthias Springer <springerm@google.com> | 2021-10-08 21:27:49 +0900 |
commit | f8453ea75fe3d8777357f1075ca28bc1ffc60503 (patch) | |
tree | 86429ac12797d6bd9ca233ddb59d5dfb38d3dd7d /lldb/unittests/ScriptInterpreter/Python | |
parent | 4cd7ff6728f440234def491be380e5af62f34b83 (diff) | |
download | llvm-f8453ea75fe3d8777357f1075ca28bc1ffc60503.zip llvm-f8453ea75fe3d8777357f1075ca28bc1ffc60503.tar.gz llvm-f8453ea75fe3d8777357f1075ca28bc1ffc60503.tar.bz2 |
[mlir][linalg][bufferize] Rewrite "write into non-writable memory" detection
The purpose of this revision is to make "write into non-writable memory" conflict detection easier to understand.
The main idea is that there is a conflict in the case of inplace bufferization if:
1. Someone writes to (an alias of) opOperand, opResult or the to-be-bufferized op writes itself.
2. And, opOperand or opResult aliases a non-writable buffer.
Differential Revision: https://reviews.llvm.org/D111379
Diffstat (limited to 'lldb/unittests/ScriptInterpreter/Python')
0 files changed, 0 insertions, 0 deletions