[PATCH] D141498: [LVI] Handle `x & 0xfff0 == 0x1230` comparison

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Tests?



================
Comment at: llvm/lib/Analysis/LazyValueInfo.cpp:1137
   if (match(LHS, m_And(m_Specific(Val), m_APInt(Mask))) &&
       match(RHS, m_APInt(C))) {
     // If (Val & Mask) == C then all the masked bits are known and we can
----------------
Please integrate your code here. It's not super obvious to me in what way it extends the existing handling.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D141498