[clang] [llvm] [ConstantRange] Estimate tighter lower (upper) bounds for masked binary and (or) (PR #120352)

[Stephen Senran Zhang via llvm-commits]

zsrkmyn wrote:

@dtcxzyw, I've updated the patch. It's quite simple. You can forget about the previous patch and start a review from scratch.

unittests weren't updated with your patch, since the upper bound wasn't optimal (for AND op). I'm thinking if I need to add a new test mode to test the optimal lower (upper) bound only for AND (or).

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