[PATCH] D150443: [KnownBits] Define and use meet and join operations

[Sergei Barannikov via Phabricator via llvm-commits]

barannikov88 added a comment.

In D150443#4340138 <https://reviews.llvm.org/D150443#4340138>, @foad wrote:

>> Why don't just use overloaded operators?
>
> Because `operator&` already does something different. It returns the known bits of the expression `A&B`, given the known bits of `A` and the known bits of `B`.

This may be a bit surprising, but in a way it makes sense.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150443