[llvm] [InstCombine] Fold (X / C) < X and (X >> C) < X into X > 0 (PR #85555)
via llvm-commits
llvm-commits at lists.llvm.org
Sun Mar 17 12:03:43 PDT 2024
Poseydon42 wrote:
I have modified the code to work with all predicates for `udiv`/`lshr` and unsigned predicates for `sdiv`, however I believe that `ashr` does not work with this type of fold. As you can see [here](https://alive2.llvm.org/ce/z/cVMB9e), the only two predicates that it does work with are `slt` and `sge`. Should I include these two folds for `ashr` or should I ignore it altogether and only focus on the other 3 instructions?
https://github.com/llvm/llvm-project/pull/85555
More information about the llvm-commits
mailing list