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
diff --git a/lib/IR/Constants.cpp b/lib/IR/Constants.cpp
index 70f7e01..1abb656 100644
--- a/lib/IR/Constants.cpp
+++ b/lib/IR/Constants.cpp
@@ -53,12 +53,9 @@
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();