summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ValueTracking.cpp
diff options
context:
space:
mode:
authorCraig Topper <craig.topper@gmail.com>2017-04-28 16:57:55 +0000
committerCraig Topper <craig.topper@gmail.com>2017-04-28 16:57:55 +0000
commit9eb2d72a1d8609f203d6243c9664f581d06c0e72 (patch)
treed076072b3ebe53b1dcef06410d2c89872c78671c /llvm/lib/Analysis/ValueTracking.cpp
parentf7bd5ebd3b62989f335efc0eb8263be40301a861 (diff)
downloadbcm5719-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.cpp4
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?");
OpenPOWER on IntegriCloud