[PATCH] Fold fcmp in cases where value is provably non-negative.

[hfinkel at anl.gov]

LGTM.


================
Comment at: include/llvm/Analysis/ValueTracking.h:119
@@ -118,1 +118,3 @@
 
+  /// CannotBeOrderedLessThanZero - Return true if we can prove that the specified FP 
+  /// value is either a NaN or never less than 0.0.
----------------
Line too long?

http://reviews.llvm.org/D6972

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/