diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-11-13 17:40:47 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-11-13 17:40:47 +0000 |
| commit | 9e3d8f4b39e29e4616e8addb1240530dbdfab2c4 (patch) | |
| tree | 92f3c7910ec6511274758397090c0e8a67050d99 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 5df6b94381ead323b3a8b3e9035f61bfcd25df00 (diff) | |
| download | llvm-9e3d8f4b39e29e4616e8addb1240530dbdfab2c4.zip llvm-9e3d8f4b39e29e4616e8addb1240530dbdfab2c4.tar.gz llvm-9e3d8f4b39e29e4616e8addb1240530dbdfab2c4.tar.bz2 | |
[ValueTracking] simplify code in CannotBeNegativeZero() with match(); NFCI
llvm-svn: 318055
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 9a0df74..af35e4f 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -2607,11 +2607,9 @@ bool llvm::CannotBeNegativeZero(const Value *V, const TargetLibraryInfo *TLI, if (FPO->hasNoSignedZeros()) return true; - // (add x, 0.0) is guaranteed to return +0.0, not -0.0. - if (I->getOpcode() == Instruction::FAdd) - if (ConstantFP *CFP = dyn_cast<ConstantFP>(I->getOperand(1))) - if (CFP->isNullValue()) - return true; + // (fadd x, 0.0) is guaranteed to return +0.0, not -0.0. + if (match(I, m_FAdd(m_Value(), m_Zero()))) + return true; // sitofp and uitofp turn into +0.0 for zero. if (isa<SIToFPInst>(I) || isa<UIToFPInst>(I)) |