diff options
author | Craig Topper <craig.topper@gmail.com> | 2017-04-28 16:57:55 +0000 |
---|---|---|
committer | Craig Topper <craig.topper@gmail.com> | 2017-04-28 16:57:55 +0000 |
commit | 9eb2d72a1d8609f203d6243c9664f581d06c0e72 (patch) | |
tree | d076072b3ebe53b1dcef06410d2c89872c78671c /llvm/lib/Analysis/ValueTracking.cpp | |
parent | f7bd5ebd3b62989f335efc0eb8263be40301a861 (diff) | |
download | bcm5719-llvm-9eb2d72a1d8609f203d6243c9664f581d06c0e72.tar.gz bcm5719-llvm-9eb2d72a1d8609f203d6243c9664f581d06c0e72.zip |
[ValueTracking] Use APInt::isSubsetOf and APInt::intersects. NFC
llvm-svn: 301654
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
-rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index aeb8fcfc2b1..2f3b1139ac0 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -1162,12 +1162,12 @@ static void computeKnownBitsFromOperator(const Operator *I, KnownBits &Known, // If the first operand is non-negative or has all low bits zero, then // the upper bits are all zero. - if (Known2.Zero.isSignBitSet() || ((Known2.Zero & LowBits) == LowBits)) + if (Known2.Zero.isSignBitSet() || LowBits.isSubsetOf(Known2.Zero)) Known.Zero |= ~LowBits; // If the first operand is negative and not all low bits are zero, then // the upper bits are all one. - if (Known2.One.isSignBitSet() && ((Known2.One & LowBits) != 0)) + if (Known2.One.isSignBitSet() && LowBits.intersects(Known2.One)) Known.One |= ~LowBits; assert((Known.Zero & Known.One) == 0 && "Bits known to be one AND zero?"); |