diff options
| author | Martin Erhart <merhart@google.com> | 2023-08-10 12:05:00 +0000 |
|---|---|---|
| committer | Martin Erhart <merhart@google.com> | 2023-08-10 12:45:38 +0000 |
| commit | 87f2dee423d283e584d55ea6169bd4b0be0246c0 (patch) | |
| tree | 81f4716f2a302ae734958f1573dd0794289c6968 /clang/lib/CodeGen/CodeGenFunction.cpp | |
| parent | 5a3753f35632f8fd7920c5c99b1237113b5c435e (diff) | |
| download | llvm-87f2dee423d283e584d55ea6169bd4b0be0246c0.zip llvm-87f2dee423d283e584d55ea6169bd4b0be0246c0.tar.gz llvm-87f2dee423d283e584d55ea6169bd4b0be0246c0.tar.bz2 | |
[mlir][bufferization] Add DeallocationSimplification pass
Adds a pass that can be run after buffer deallocation to simplify the deallocation operations.
In particular, there are patterns that need alias information and thus cannot be added as a regular canonicalization pattern.
This initial commit moves an incorrect canonicalization pattern from over to this new pass and fixes it by querying the alias analysis for the additional information it needs to be correct (there must not by any potential aliasing memref in the retain list other than the currently mached one).
Also, improves this pattern by considering the `extract_strided_metadata` operation which is inserted by the deallocation pass by default.
Reviewed By: springerm
Differential Revision: https://reviews.llvm.org/D157398
Diffstat (limited to 'clang/lib/CodeGen/CodeGenFunction.cpp')
0 files changed, 0 insertions, 0 deletions