[PATCH] D14392: [ValueTracking] Teach isImpliedCondition a new bitwise trick

[Philip Reames via llvm-commits]

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

LGTM w/fix for issues in comment and test which would have caught same.


================
Comment at: lib/Analysis/ValueTracking.cpp:4128
@@ +4127,3 @@
+      if (match(A, m_NUWAdd(m_Value(X), m_APInt(CA))) &&
+          match(A, m_NUWAdd(m_Specific(X), m_APInt(CB))))
+        return true;
----------------
match(B?  You have A repeated twice.


http://reviews.llvm.org/D14392