diff options
| author | Jacob Young <jacobly.alt@gmail.com> | 2025-01-18 17:05:31 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-18 14:05:31 -0800 |
| commit | bb59eb8ed534da2bd03117cfde594321add4d60c (patch) | |
| tree | 5122dfe513ff3b4b963ae0e94f428f0057ab4c99 /clang/lib/Format/Format.cpp | |
| parent | 4233a15c9f8e6f77a00a5770a35b70ab8a2705c6 (diff) | |
| download | llvm-bb59eb8ed534da2bd03117cfde594321add4d60c.zip llvm-bb59eb8ed534da2bd03117cfde594321add4d60c.tar.gz llvm-bb59eb8ed534da2bd03117cfde594321add4d60c.tar.bz2 | |
[InstCombine] fold unsigned predicates on srem result (#122520)
This allows optimization of more signed floor implementations when the
divisor is a known power of two to an arithmetic shift.
Proof for the implemented optimizations:
https://alive2.llvm.org/ce/z/j6C-Nz
Proof for the test cases:
https://alive2.llvm.org/ce/z/M_PBjw
---------
Co-authored-by: Jacob Young <jacobly0@users.noreply.github.com>
Diffstat (limited to 'clang/lib/Format/Format.cpp')
0 files changed, 0 insertions, 0 deletions