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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> I'm thinking if I need to add a new test mode to test the optimal lower (upper) bound only for AND (OR).

If you cannot make it optimal for all non-wrapped cases, please just add some special cases (e.g., `[7, 14) & [-1, 0) = [7, 14)`) before `TestBinaryOpExhaustive`.



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