diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-07 14:01:29 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-05-16 13:03:32 -0500 |
| commit | 23f1047daac9702876ca99b53e8fe649fca569fa (patch) | |
| tree | 9f5e8abdca33b2c01fc35eb75d19ef741446643c /lldb/source/Plugins/Process/gdb-remote/ProcessGDBRemote.cpp | |
| parent | ebbf484e1c62a312d88c7f6482af11a58d40f52d (diff) | |
| download | llvm-23f1047daac9702876ca99b53e8fe649fca569fa.zip llvm-23f1047daac9702876ca99b53e8fe649fca569fa.tar.gz llvm-23f1047daac9702876ca99b53e8fe649fca569fa.tar.bz2 | |
[InstCombine] Fold `(icmp pred (trunc nuw/nsw X), C)` -> `(icmp pred X, (zext/sext C))`
This is valid as long as the sign of the wrap flag doesn't differ from
the sign of the `pred`.
Proofs: https://alive2.llvm.org/ce/z/35NsrR
NB: The online Alive2 hasn't been updated with `trunc nuw/nsw`
support, so the proofs must be reproduced locally.
Closes #87935
Diffstat (limited to 'lldb/source/Plugins/Process/gdb-remote/ProcessGDBRemote.cpp')
0 files changed, 0 insertions, 0 deletions