diff options
| author | Cameron McInally <cameron.mcinally@nyu.edu> | 2019-05-17 16:47:00 +0000 |
|---|---|---|
| committer | Cameron McInally <cameron.mcinally@nyu.edu> | 2019-05-17 16:47:00 +0000 |
| commit | 067e9468596a6e7a7f386558a0c1874aa1725f54 (patch) | |
| tree | 66138978e1da229ea7466bc57b8c9715449c92ce /llvm/lib/Analysis/InstructionSimplify.cpp | |
| parent | 777cad2c448f964f80986c0427bbf36d021aba4f (diff) | |
| download | bcm5719-llvm-067e9468596a6e7a7f386558a0c1874aa1725f54.tar.gz bcm5719-llvm-067e9468596a6e7a7f386558a0c1874aa1725f54.zip | |
[InstSimplify] Add unary fneg to `fsub 0.0, (fneg X) ==> X` transform
Differential Revision: https://reviews.llvm.org/D62013
llvm-svn: 361047
Diffstat (limited to 'llvm/lib/Analysis/InstructionSimplify.cpp')
| -rw-r--r-- | llvm/lib/Analysis/InstructionSimplify.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/InstructionSimplify.cpp b/llvm/lib/Analysis/InstructionSimplify.cpp index f1ec7b36a93..95ba69df6ba 100644 --- a/llvm/lib/Analysis/InstructionSimplify.cpp +++ b/llvm/lib/Analysis/InstructionSimplify.cpp @@ -4400,8 +4400,10 @@ static Value *SimplifyFSubInst(Value *Op0, Value *Op1, FastMathFlags FMF, return X; // fsub 0.0, (fsub 0.0, X) ==> X if signed zeros are ignored. + // fsub 0.0, (fneg X) ==> X if signed zeros are ignored. if (FMF.noSignedZeros() && match(Op0, m_AnyZeroFP()) && - match(Op1, m_FSub(m_AnyZeroFP(), m_Value(X)))) + (match(Op1, m_FSub(m_AnyZeroFP(), m_Value(X))) || + match(Op1, m_FNeg(m_Value(X))))) return X; // fsub nnan x, x ==> 0.0 |
