[PATCH] D13971: [ValueTracking] Expose `implies` via ValueTracking, NFC

[David Majnemer via llvm-commits]

majnemer added a subscriber: majnemer.

================
Comment at: lib/Analysis/ValueTracking.cpp:3944
@@ +3943,3 @@
+      APred == ICmpInst::ICMP_ULT &&
+      !CI->isNegative() &&
+      match(RHS, m_ICmp(BPred, m_Specific(I), m_Specific(L))) &&
----------------
Does this need to be here? `add nuw` can never decrease a number in unsigned-comparison space.


http://reviews.llvm.org/D13971