[llvm] [LazyValueInfo] Treat 'or disjoint' as both 'add nuw nsw' and bin or. (PR #221832)

[Florian Hahn via llvm-commits]

fhahn wrote:

I put up the move to ConstantRange up as https://github.com/llvm/llvm-project/pull/222573, in case we want both together in a single PR

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