A shift of a power of two is a power of two or zero.
authorDuncan Sands <baldrick@free.fr>
Fri, 28 Oct 2011 18:30:05 +0000 (18:30 +0000)
committerDuncan Sands <baldrick@free.fr>
Fri, 28 Oct 2011 18:30:05 +0000 (18:30 +0000)
commit4604fc7791314af7ba7b66999e4c7fb75a4d9f6e
tree3e33c7f131400070536fc37376e488bdb946ee02
parentc65c747bc4ee7d3ca8463d33708bbb2aed38a809
A shift of a power of two is a power of two or zero.
For completeness - not spotted in the wild.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143211 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp
test/Transforms/InstSimplify/AndOrXor.ll