[llvm] [ValueTracking] Compute knownbits for `(and/or cond0, cond1)` on both sides of branch (PR #82818)

[Nikita Popov via llvm-commits]

https://github.com/nikic requested changes to this pull request.

You'll also have to adjust the logic in DomCondCache to recurse into all and/or, not just ones that match the top-level type. Unless you intentionally only want to handle the inverted type at the top level?

Please recheck compile-time impact after doing that.

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