diff options
| author | Leonid Gorbunov <leon.tyumen@icloud.com> | 2025-05-28 15:21:00 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-28 13:21:00 +0100 |
| commit | ff5f8e513c6fb854cb11b05574c593c49f6f82d9 (patch) | |
| tree | 8920d5a387b2e9f95b4e2fd41d29f0809ddee447 /lldb/source/Plugins/Language/CPlusPlus/CPlusPlusLanguage.cpp | |
| parent | 618a399f862b68d3f4e3c2f39a1265dad8fd0e2f (diff) | |
| download | llvm-ff5f8e513c6fb854cb11b05574c593c49f6f82d9.zip llvm-ff5f8e513c6fb854cb11b05574c593c49f6f82d9.tar.gz llvm-ff5f8e513c6fb854cb11b05574c593c49f6f82d9.tar.bz2 | |
[MLIR][Presburger] removeTrivialRedundancy: skip unnecessary check for duplicate constraints (#138969)
`removeTrivialRedundancy` first marks duplicate rows redundant, then
when multiple rows differ only by a constant term, it removes all but
one of them. Since the latter removes all but one duplicate row as well,
it is unnecessary (redundant!) to mark duplicate rows redundant. So we
remove this step.
Diffstat (limited to 'lldb/source/Plugins/Language/CPlusPlus/CPlusPlusLanguage.cpp')
0 files changed, 0 insertions, 0 deletions