From 1c4dd3ae2f34541e53ad0110f261421083bc0157 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Sun, 8 Dec 2019 10:13:16 -0500 Subject: [InstSimplify] fold copysign with negated operand, part 2 This is another transform suggested in PR44153: https://bugs.llvm.org/show_bug.cgi?id=44153 Unlike rG12f39e0fede9, it doesn't look like the backend matches this variant. --- llvm/lib/Analysis/InstructionSimplify.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'llvm/lib/Analysis/InstructionSimplify.cpp') diff --git a/llvm/lib/Analysis/InstructionSimplify.cpp b/llvm/lib/Analysis/InstructionSimplify.cpp index d151b78f04c..22a76a05595 100644 --- a/llvm/lib/Analysis/InstructionSimplify.cpp +++ b/llvm/lib/Analysis/InstructionSimplify.cpp @@ -5091,7 +5091,9 @@ static Value *simplifyBinaryIntrinsic(Function *F, Value *Op0, Value *Op1, if (Op0 == Op1) return Op0; // copysign -X, X --> X - if (match(Op0, m_FNeg(m_Specific(Op1)))) + // copysign X, -X --> -X + if (match(Op0, m_FNeg(m_Specific(Op1))) || + match(Op1, m_FNeg(m_Specific(Op0)))) return Op1; break; case Intrinsic::maxnum: -- cgit v1.2.3