diff options
| author | Nikita Popov <npopov@redhat.com> | 2024-02-20 12:48:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-20 12:48:13 +0100 |
| commit | 26d4afc3de86ca5416c8e38000362c526b6808cd (patch) | |
| tree | a26a8d5008e5f8bac832d29e84243da0fa69a0ec /llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp | |
| parent | f122268c04410ba949b6affc99cd329630add576 (diff) | |
| download | llvm-26d4afc3de86ca5416c8e38000362c526b6808cd.zip llvm-26d4afc3de86ca5416c8e38000362c526b6808cd.tar.gz llvm-26d4afc3de86ca5416c8e38000362c526b6808cd.tar.bz2 | |
[InstCombine] Fold gep of exact unsigned division (#82334)
Extend the transform added in
https://github.com/llvm/llvm-project/pull/76458 to also handle unsigned
division. X exact/ Y * Y == X holds independently of whether the
division is signed or unsigned.
Proofs: https://alive2.llvm.org/ce/z/wFd5Ec
Diffstat (limited to 'llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions