diff options
author | Craig Topper <craig.topper@intel.com> | 2019-08-01 06:06:21 +0000 |
---|---|---|
committer | Craig Topper <craig.topper@intel.com> | 2019-08-01 06:06:21 +0000 |
commit | 388df2ea19dde955111e6b81bff5ed9e7e7be7ff (patch) | |
tree | fbec9ff33bca1383f2af0bdd1902d4130d2d5f89 | |
parent | 7a2958bc20bcd8dd42bef30223da5d0cba08f4d5 (diff) | |
download | bcm5719-llvm-388df2ea19dde955111e6b81bff5ed9e7e7be7ff.tar.gz bcm5719-llvm-388df2ea19dde955111e6b81bff5ed9e7e7be7ff.zip |
[SelectionDAG] Use APInt::isSubsetOf/intersects to simplify some code.
Also use KnownBits::isNegative/isNonNegative to further simplify.
llvm-svn: 367518
-rw-r--r-- | llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp b/llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp index 2520de49efb..2143fef6adc 100644 --- a/llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp +++ b/llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp @@ -3090,12 +3090,12 @@ KnownBits SelectionDAG::computeKnownBits(SDValue Op, const APInt &DemandedElts, // If the first operand is non-negative or has all low bits zero, then // the upper bits are all zero. - if (Known2.Zero[BitWidth-1] || ((Known2.Zero & LowBits) == LowBits)) + if (Known2.isNonNegative() || 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[BitWidth-1] && ((Known2.One & LowBits) != 0)) + if (Known2.isNegative() && LowBits.intersects(Known2.One)) Known.One |= ~LowBits; assert((Known.Zero & Known.One) == 0&&"Bits known to be one AND zero?"); } |