[PATCH] D52934: [FPEnv] PatternMatcher support for checking FNEG ignoring signed zeros

[Cameron McInally via Phabricator via llvm-commits]

cameron.mcinally updated this revision to Diff 168499.
cameron.mcinally added a comment.

Small update to remove superfluous parentheses.


https://reviews.llvm.org/D52934

Files:
  include/llvm/IR/PatternMatch.h
  lib/Analysis/InstructionSimplify.cpp


Index: lib/Analysis/InstructionSimplify.cpp
===================================================================
--- lib/Analysis/InstructionSimplify.cpp
+++ lib/Analysis/InstructionSimplify.cpp
@@ -4508,10 +4508,8 @@
     // -X /  X -> -1.0 and
     //  X / -X -> -1.0 are legal when NaNs are ignored.
     // We can ignore signed zeros because +-0.0/+-0.0 is NaN and ignored.
-    if ((BinaryOperator::isFNeg(Op0, /*IgnoreZeroSign=*/true) &&
-         BinaryOperator::getFNegArgument(Op0) == Op1) ||
-        (BinaryOperator::isFNeg(Op1, /*IgnoreZeroSign=*/true) &&
-         BinaryOperator::getFNegArgument(Op1) == Op0))
+    if ((match(Op0, m_ISZFNeg(m_Value(X))) && X == Op1) ||
+        (match(Op1, m_ISZFNeg(m_Value(X))) && X == Op0))
       return ConstantFP::get(Op0->getType(), -1.0);
   }
 
Index: include/llvm/IR/PatternMatch.h
===================================================================
--- include/llvm/IR/PatternMatch.h
+++ include/llvm/IR/PatternMatch.h
@@ -666,6 +666,13 @@
   return m_FSub(m_NegZeroFP(), X);
 }
 
+/// Match 'fneg X' as 'fsub +-0.0, X'.
+template <typename RHS>
+inline BinaryOp_match<cstfp_pred_ty<is_any_zero_fp>, RHS, Instruction::FSub>
+m_ISZFNeg(const RHS &X) {
+  return m_FSub(m_AnyZeroFP(), X);
+}
+
 template <typename LHS, typename RHS>
 inline BinaryOp_match<LHS, RHS, Instruction::Mul> m_Mul(const LHS &L,
                                                         const RHS &R) {


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D52934.168499.patch
Type: text/x-patch
Size: 1433 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20181005/e26cb1a8/attachment.bin>