diff options
| author | Martin Erhart <merhart@google.com> | 2023-08-21 13:07:44 +0000 |
|---|---|---|
| committer | Martin Erhart <merhart@google.com> | 2023-08-21 13:08:00 +0000 |
| commit | 765e82eeb6ca24b5bc6554b89c776fd250e72fdd (patch) | |
| tree | 38fbccb69bdafed6ec469feca5848c1e5a751c29 /clang/lib/ExtractAPI/Serialization/SymbolGraphSerializer.cpp | |
| parent | 5fde95bb74dd1e7fc7e546d196b72bb47f3cc924 (diff) | |
| download | llvm-765e82eeb6ca24b5bc6554b89c776fd250e72fdd.zip llvm-765e82eeb6ca24b5bc6554b89c776fd250e72fdd.tar.gz llvm-765e82eeb6ca24b5bc6554b89c776fd250e72fdd.tar.bz2 | |
[mlir][bufferization] Generalize dealloc simplification pattern
We are allowed to remove any values from the `memref` list for which there is no
memref in the `retained` list with a may-alias relation. Before removing, we
just have to make sure that the corresponding op results for all retained
memrefs with must-alias relation are updated accordingly. This means, the the
condition operand has to become part of the disjunction the result value is
computed with.
Reviewed By: springerm
Differential Revision: https://reviews.llvm.org/D158395
Diffstat (limited to 'clang/lib/ExtractAPI/Serialization/SymbolGraphSerializer.cpp')
0 files changed, 0 insertions, 0 deletions