projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43cf2f8) | patch
[InstCombine] Handle assume(X & Pow2 != 0) in computeKnownBits()
authorNoah Goldstein <goldstein.w.n@gmail.com>
Wed, 11 Jan 2023 09:18:46 +0000 (10:18 +0100)
committerNikita Popov <npopov@redhat.com>
Wed, 11 Jan 2023 09:21:15 +0000 (10:21 +0100)
commitcc845e9de8c87c74d494f4e90e8fcf4fca264989
tree455984444a9ca41c0b4ee4b5127736450ac1b5e5tree | snapshot
parent43cf2f8103f9ef0f292c2cd12e89c55406182e1acommit | diff
[InstCombine] Handle assume(X & Pow2 != 0) in computeKnownBits()

If we know that X & Pow2 != 0, then the bit at that position is
known one.

Differential Revision: https://reviews.llvm.org/D140851
llvm/lib/Analysis/AssumptionCache.cpp diff | blob | history
llvm/lib/Analysis/ValueTracking.cpp diff | blob | history
llvm/test/Transforms/InstCombine/icmp-ne-pow2.ll diff | blob | history
Domain: System / Toolchain;