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

[Antonio Frighetto via llvm-commits]

https://github.com/antoniofrighetto commented:

I'd have expected the simplest case to be solved suboptimally with a few range intersections in ValueTracking, but this seems like a nice extension, if that's the appropriate direction and compile-time acceptable.

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