[llvm] [IR] Add disjoint flag for Or instructions. (PR #72583)

[Craig Topper via llvm-commits]

================
@@ -10012,6 +10013,12 @@ The truth table used for the '``or``' instruction is:
 |   1 |   1 |   1 |
 +-----+-----+-----+
 
+``disjoint`` means every bit is known to be zero in at least one of the inputs.
----------------
topperc wrote:

That was not my intention. I'll try to reword it.

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