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

[Nikita Popov via llvm-commits]

================
@@ -1576,3 +1576,10 @@ define <4 x i1> @and_or_not_or_logical_vec(<4 x i32> %ap, <4 x i32> %bp) {
   %Z = or <4 x i1> %X, %Y
   ret <4 x i1> %Z
 }
+
+; Make sure SimplifyDemandedBits drops the disjoint flag.
+define i8 @drop_disjoint(i8 %x) {
----------------
nikic wrote:

Missing CHECK lines?

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