mirror of
https://github.com/RPCS3/llvm.git
synced 2025-01-15 22:37:59 +00:00
The testing to ensure a vector of zeros of type floating point isn't misclassified as negative zero can be simplified, as pointed out by Duncan Sands.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@177386 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
8483b47926
commit
974cdfb17a
@ -53,12 +53,9 @@ bool Constant::isNegativeZeroValue() const {
|
||||
if (SplatCFP && SplatCFP->isZero() && SplatCFP->isNegative())
|
||||
return true;
|
||||
|
||||
// However, vectors of zeroes which are floating point represent +0.0's.
|
||||
if (const ConstantAggregateZero *CAZ = dyn_cast<ConstantAggregateZero>(this))
|
||||
if (const VectorType *VT = dyn_cast<VectorType>(CAZ->getType()))
|
||||
if (VT->getElementType()->isFloatingPointTy())
|
||||
// As it's a CAZ, we know it's the zero bit-pattern (ie, +0.0) in each element.
|
||||
return false;
|
||||
// We've already handled true FP case; any other FP vectors can't represent -0.0.
|
||||
if (getType()->isFPOrFPVectorTy())
|
||||
return false;
|
||||
|
||||
// Otherwise, just use +0.0.
|
||||
return isNullValue();
|
||||
|
Loading…
x
Reference in New Issue
Block a user