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

[Nikita Popov via llvm-commits]

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

```suggestion
``disjoint`` means that for each bit, that bit is zero in at least one of the inputs.
```
I think?

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