isKnownPositiveOrNaNFP

Author: davemgreen

llvm/include/llvm/CodeGen/SelectionDAG.h

@@ -2115,9 +2115,9 @@ class SelectionDAG {
   /// Test whether the given SDValue is known to contain non-zero value(s).
   bool isKnownNeverZero(SDValue Op, unsigned Depth = 0) const;
 
-  /// Test whether the given float value is known to not be negative. 0.0 is
-  /// considered non-negative, -0.0 is considered negative.
-  bool isKnownNonNegativeFP(SDValue Op) const;
+  /// Test whether the given float value is known to be positive. +0.0, +inf and
+  /// +nan are considered positive, -0.0, -inf and -nan are not.
+  bool isKnownPositiveOrNaNFP(SDValue Op) const;
 
   /// Test whether two SDValues are known to compare equal. This
   /// is true if they are the same value, or if one is negative zero and the

llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp

@@ -17384,7 +17384,7 @@ SDValue DAGCombiner::visitFREM(SDNode *N) {
       TLI.isOperationLegalOrCustom(ISD::FDIV, VT) &&
       TLI.isOperationLegalOrCustom(ISD::FTRUNC, VT) &&
       DAG.isKnownToBeAPowerOfTwoFP(N1) &&
-      (Flags.hasNoSignedZeros() || DAG.isKnownNonNegativeFP(N0))) {
+      (Flags.hasNoSignedZeros() || DAG.isKnownPositiveOrNaNFP(N0))) {
     SDValue Div = DAG.getNode(ISD::FDIV, DL, VT, N0, N1);
     SDValue Rnd = DAG.getNode(ISD::FTRUNC, DL, VT, Div);
     if (TLI.isFMAFasterThanFMulAndFAdd(DAG.getMachineFunction(), VT))

llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp

@@ -5565,7 +5565,7 @@ bool SelectionDAG::isKnownNeverZero(SDValue Op, unsigned Depth) const {
   return computeKnownBits(Op, Depth).isNonZero();
 }
 
-bool SelectionDAG::isKnownNonNegativeFP(SDValue Op) const {
+bool SelectionDAG::isKnownPositiveOrNaNFP(SDValue Op) const {
   if (ConstantFPSDNode *C1 = isConstOrConstSplatFP(Op, true))
     return !C1->isNegative();