diff options
| author | Matthias Springer <me@m-sp.org> | 2023-12-05 11:46:30 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-05 11:46:30 +0900 |
| commit | 3dae97cc011ca097bd457bbfa5855da86290f631 (patch) | |
| tree | 550ac482a319c24eeeee9f87d99181456c39b73a /flang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 4288fb8c26447280b9e8ddb22160ebbfc082a815 (diff) | |
| download | llvm-3dae97cc011ca097bd457bbfa5855da86290f631.zip llvm-3dae97cc011ca097bd457bbfa5855da86290f631.tar.gz llvm-3dae97cc011ca097bd457bbfa5855da86290f631.tar.bz2 | |
[mlir][bufferization] Fix op dominance bug in rewrite pattern (#74159)
Fixes a bug in `SplitDeallocWhenNotAliasingAnyOther`. This pattern used
to generate invalid IR (op dominance error). We never noticed this bug
in existing test cases because other patterns and/or foldings were
applied afterwards and those rewrites "fixed up" the IR again. (The bug
is visible when running `mlir-opt -debug`.) Also add additional comments
to the implementation and simplify the code a bit.
Apart from the fixed dominance error, this change is NFC. Without this
change, buffer deallocation tests will fail when running with #74270.
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions