diff options
| author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2022-09-20 16:44:26 +0100 |
|---|---|---|
| committer | Simon Pilgrim <llvm-dev@redking.me.uk> | 2022-09-20 16:44:41 +0100 |
| commit | 09cb9fdef983719b509f43fe0e77762005265039 (patch) | |
| tree | 4cbd565e7919d0273ed9d952a6ce622cb49f377d /llvm/lib/Transforms/Utils/InlineFunction.cpp | |
| parent | 8aed4bb2783d32c40fae998b6518cd40a16b6ec5 (diff) | |
| download | llvm-09cb9fdef983719b509f43fe0e77762005265039.zip llvm-09cb9fdef983719b509f43fe0e77762005265039.tar.gz llvm-09cb9fdef983719b509f43fe0e77762005265039.tar.bz2 | |
[InstCombine] Fold ult(add(x,-1),c) -> ule(x,c) iff x != 0 (PR57635)
Alive2: https://alive2.llvm.org/ce/z/sZ6wwS
As detailed on Issue #57635 and #37628 - for unsigned comparisons, we can compare prior to a decrement iff the value is known never to be zero.
Differential Revision: https://reviews.llvm.org/D134172
Diffstat (limited to 'llvm/lib/Transforms/Utils/InlineFunction.cpp')
0 files changed, 0 insertions, 0 deletions