diff options
| author | Matthias Springer <me@m-sp.org> | 2023-06-15 11:15:07 +0200 |
|---|---|---|
| committer | Matthias Springer <me@m-sp.org> | 2023-06-15 11:21:41 +0200 |
| commit | 253afd03f1ffb9574109e36238b0854a214609c9 (patch) | |
| tree | 7f385511ee91bf18b9453d22c6b652ed18d9f708 /clang/lib/Basic/FileManager.cpp | |
| parent | e7169d0027995b8e587cb8170fca36887f25f0ca (diff) | |
| download | llvm-253afd03f1ffb9574109e36238b0854a214609c9.zip llvm-253afd03f1ffb9574109e36238b0854a214609c9.tar.gz llvm-253afd03f1ffb9574109e36238b0854a214609c9.tar.bz2 | |
[mlir][Interfaces] Symbols are not trivially dead
The greedy pattern rewrite driver removes ops that are "trivially dead". This could include symbols that are still referenced by other ops. Dead symbols should be removed with the `-symbol-dce` pass instead.
This bug was not triggered for `func::FuncOp`, because ops are not considered "trivally dead" if they do not implement the `MemoryEffectOpInterface`, indicating that the op may or may not have side effects. It is, however, triggered for `transform::NamedSequenceOp`, which implements that interface because it is required for all transform dialect ops.
Differential Revision: https://reviews.llvm.org/D152994
Diffstat (limited to 'clang/lib/Basic/FileManager.cpp')
0 files changed, 0 insertions, 0 deletions