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

[Jay Foad via Phabricator via llvm-commits]

foad added a comment.

> 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`. That was probably my idea. I thought it would be nice if simple operators like `A&B`, `A+B`, `A<<B` etc all worked consistently in that way. But I guess we could abandon that plan and change the meaning of `operator&`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150443