[llvm] [ValueTracking] Infer known bits fromfrom (icmp eq (and/or x,y), C) (PR #87143)

[Nikita Popov via llvm-commits]

nikic wrote:

@dtcxzyw If it's useful, we can move the fold from instsimplify to instcombine and create non-terminator unreachable there.

https://github.com/llvm/llvm-project/pull/87143