[PATCH] D14368: [ValueTracking] Add a framework for encoding implication rules

[Philip Reames via llvm-commits]

reames accepted this revision.
reames added a comment.
This revision is now accepted and ready to land.

LGTM w/minor comment.


================
Comment at: lib/Analysis/ValueTracking.cpp:4124
@@ +4123,3 @@
+
+/// Return true if "icmp Pred BLHS BRHS" is true whenever "icmp Pred
+/// ALHS ARHS" is true.
----------------
For the comment, what are 'A' and 'B'?


http://reviews.llvm.org/D14368