[PATCH] D114882: [PatternMatch] create and use matcher for 'not' that excludes undef elements

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added inline comments.


================
Comment at: llvm/include/llvm/IR/PatternMatch.h:2295-2298
+    if (m_Xor(m_Value(X), m_APIntForbidUndef(C)).match(V) && C->isAllOnes())
+      return Val.match(X);
+    if (m_Xor(m_APIntForbidUndef(C), m_Value(X)).match(V) && C->isAllOnes())
+      return Val.match(X);
----------------
?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D114882/new/

https://reviews.llvm.org/D114882