[llvm] [InstCombine] Fold `X udiv Y` to `X lshr cttz(Y)` if Y is a power of 2 (PR #121386)
Yingwei Zheng via llvm-commits
llvm-commits at lists.llvm.org
Tue Dec 31 08:25:12 PST 2024
================
@@ -1632,6 +1632,16 @@ Instruction *InstCombinerImpl::visitUDiv(BinaryOperator &I) {
I, Builder.CreateLShr(Op0, Res, I.getName(), I.isExact()));
}
+ // Op0 udiv Op1 -> Op0 lshr cttz(Op1), if Op1 is a power of 2.
+ if (isKnownToBeAPowerOfTwo(Op1, /*OrZero*/ true, /*Depth*/ 0, &I)) {
----------------
dtcxzyw wrote:
```suggestion
if (isKnownToBeAPowerOfTwo(Op1, /*OrZero=*/true, /*Depth=*/0, &I)) {
```
https://github.com/llvm/llvm-project/pull/121386
More information about the llvm-commits
mailing list