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 | |
| 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
| -rw-r--r-- | llvm/lib/Analysis/InstructionSimplify.cpp | 4 | ||||
| -rw-r--r-- | llvm/test/Transforms/InstSimplify/fast-math.ll | 8 |
2 files changed, 5 insertions, 7 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 diff --git a/llvm/test/Transforms/InstSimplify/fast-math.ll b/llvm/test/Transforms/InstSimplify/fast-math.ll index bb0e3683c2a..a53d6ff6982 100644 --- a/llvm/test/Transforms/InstSimplify/fast-math.ll +++ b/llvm/test/Transforms/InstSimplify/fast-math.ll @@ -219,9 +219,7 @@ define float @fsub_0_0_x(float %a) { ; fsub nsz 0.0, (fneg X) ==> X define float @fneg_x(float %a) { ; CHECK-LABEL: @fneg_x( -; CHECK-NEXT: [[T1:%.*]] = fneg float [[A:%.*]] -; CHECK-NEXT: [[RET:%.*]] = fsub nsz float 0.000000e+00, [[T1]] -; CHECK-NEXT: ret float [[RET]] +; CHECK-NEXT: ret float [[A:%.*]] ; %t1 = fneg float %a %ret = fsub nsz float 0.0, %t1 @@ -239,9 +237,7 @@ define <2 x float> @fsub_0_0_x_vec_undef1(<2 x float> %a) { define <2 x float> @fneg_x_vec_undef1(<2 x float> %a) { ; CHECK-LABEL: @fneg_x_vec_undef1( -; CHECK-NEXT: [[T1:%.*]] = fneg <2 x float> [[A:%.*]] -; CHECK-NEXT: [[RET:%.*]] = fsub nsz <2 x float> <float 0.000000e+00, float undef>, [[T1]] -; CHECK-NEXT: ret <2 x float> [[RET]] +; CHECK-NEXT: ret <2 x float> [[A:%.*]] ; %t1 = fneg <2 x float> %a %ret = fsub nsz <2 x float> <float 0.0, float undef>, %t1 |
