[llvm] [ValueTracking] Infer is-power-of-2 from assumptions. (PR #107745)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

This looks fine, but we should have tests for both the pow2 and pow2-or-zero cases.

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