[llvm] [InstCombine] Fold `ceil(X / (2 ^ C)) == 0` -> `X == 0` (PR #143683)

Iris Shi via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 20 23:27:12 PDT 2025

Previous message: [llvm] [InstCombine] Fold `ceil(X / (2 ^ C)) == 0` -> `X == 0` (PR #143683)
Next message: [llvm] [InstCombine] Fold `ceil(X / (2 ^ C)) == 0` -> `X == 0` (PR #143683)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

el-ev wrote:

> IIRC the regression can be fixed by handling this pattern in `isKnownNonZero`. It would be better to add a helper `stripNullTest` to find patterns in the form of `f(x) == 0 <-> x == 0`.

Updated. Could you help me rerun the benchmarks?

https://github.com/llvm/llvm-project/pull/143683

Previous message: [llvm] [InstCombine] Fold `ceil(X / (2 ^ C)) == 0` -> `X == 0` (PR #143683)
Next message: [llvm] [InstCombine] Fold `ceil(X / (2 ^ C)) == 0` -> `X == 0` (PR #143683)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list