[PATCH] D82715: [LVI][CVP] Handle (x | y) < C style conditions

[Sanjay Patel via Phabricator via llvm-commits]

spatel added inline comments.


================
Comment at: llvm/lib/Analysis/LazyValueInfo.cpp:1106
 
+  // If (x | y) < C, then (x < C) && (y < C).
+  if (match(LHS, m_c_Or(m_Specific(Val), m_Value())) &&
----------------
These transforms only work when C is a low-bit mask or power-of-2 (depending on predicate)?
https://alive2.llvm.org/ce/z/pmF7PF


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D82715