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

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Should disjoint or support be uplifted into ConstantRange? SCCP may wish to use it as well.

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