[llvm] [DAG] Improved ISD::SHL handling in isKnownToBeAPowerOfTwo (PR #181882)

Aadarsh Keshri via llvm-commits llvm-commits at lists.llvm.org
Sat Feb 21 00:49:12 PST 2026


Aadarsh-Keshri wrote:

Regenerated `known-pow2.ll` and removed unnecessary includes from `llvm/unittests/Target/AArch64/AArch64SelectionDAGTest.cpp` that were introduced in this PR.

I'll take a few days off to work myself on proofing/verification and also better understand `isKnownToBeAPowerOfTwo` , `ISD::SHL` and  `computeKnownBits`.
After that, I'll get back to this issue to test `computeKnownBits` implementation as suggested by @arsenm .

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


More information about the llvm-commits mailing list