diff options
| author | Veera <32646674+veera-sivarajan@users.noreply.github.com> | 2024-12-02 03:33:45 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-02 09:33:45 +0100 |
| commit | 979a0356d4c90ec855be4f2d2f6687132cf10298 (patch) | |
| tree | 253fdfca412894e6b58110bd375cdb7bbe05e01c /lldb/packages/Python/lldbsuite/test/gdbclientutils.py | |
| parent | eaa6cc547e7300b122efbbaf8940ee9d15f7964c (diff) | |
| download | llvm-979a0356d4c90ec855be4f2d2f6687132cf10298.zip llvm-979a0356d4c90ec855be4f2d2f6687132cf10298.tar.gz llvm-979a0356d4c90ec855be4f2d2f6687132cf10298.tar.bz2 | |
[InstCombine] Fold `X Pred C2 ? X BOp C1 : C2 BOp C1` to `min/max(X, C2) BOp C1` (#116888)
Fixes #82414.
General Proof: https://alive2.llvm.org/ce/z/ERjNs4
Proof for Tests: https://alive2.llvm.org/ce/z/K-934G
This PR transforms `select` instructions of the form `select (Cmp X C1)
(BOp X C2) C3` to `BOp (min/max X C1) C2` iff `C3 == BOp C1 C2`.
This helps in eliminating a noop loop in
https://github.com/rust-lang/rust/issues/123845 but does not improve
optimizations.
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/gdbclientutils.py')
0 files changed, 0 insertions, 0 deletions