move CannotBeNegativeZero to ValueTracking. Simplify some signbit comparisons.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51864 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 7 insertions, 0 deletions

diff --git a/include/llvm/Analysis/ValueTracking.h b/include/llvm/Analysis/ValueTracking.h
index d07e890..ca8d3e3 100644
--- a/include/llvm/Analysis/ValueTracking.h
+++ b/include/llvm/Analysis/ValueTracking.h
@@ -28,6 +28,9 @@ namespace llvm {
                          APInt &KnownOne, TargetData *TD = 0,
                          unsigned Depth = 0);
   
+  /// MaskedValueIsZero - Return true if 'V & Mask' is known to be zero.  We use
+  /// this predicate to simplify operations downstream.  Mask is known to be
+  /// zero for bits that V cannot have.
   bool MaskedValueIsZero(Value *V, const APInt &Mask, 
                          TargetData *TD = 0, unsigned Depth = 0);
 
@@ -43,6 +46,10 @@ namespace llvm {
   unsigned ComputeNumSignBits(Value *Op, TargetData *TD = 0,
                               unsigned Depth = 0);
 
+  /// CannotBeNegativeZero - Return true if we can prove that the specified FP 
+  /// value is never equal to -0.0.
+  ///
+  bool CannotBeNegativeZero(const Value *V, unsigned Depth = 0);
 } // end namespace llvm
 
 #endif