diff options
| author | Nikita Popov <npopov@redhat.com> | 2024-12-02 09:53:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-02 09:53:10 +0100 |
| commit | 8201926ec0a61ea182e3b25c23e3dbaae6036dbf (patch) | |
| tree | d8cfa274451e96d599402361179ca0c3bb5dcc56 /lldb/packages/Python/lldbsuite/test/gdbclientutils.py | |
| parent | a545cf5c6da6decbde95287f95e1ffce40116d23 (diff) | |
| download | llvm-8201926ec0a61ea182e3b25c23e3dbaae6036dbf.zip llvm-8201926ec0a61ea182e3b25c23e3dbaae6036dbf.tar.gz llvm-8201926ec0a61ea182e3b25c23e3dbaae6036dbf.tar.bz2 | |
[InstSimplify] Generalize simplification of icmps with monotonic operands (#69471)
InstSimplify currently folds patterns like `(x | y) uge x` and `(x & y)
ule x` to true. However, it cannot handle combinations of such
situations, such as `(x | y) uge (x & z)` etc.
To support this, recursively collect operands of monotonic instructions
(that preserve either a greater-or-equal or less-or-equal relationship)
and then check whether any of them match.
Fixes https://github.com/llvm/llvm-project/issues/69333.
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/gdbclientutils.py')
0 files changed, 0 insertions, 0 deletions