X | Y >s -1 implies X >s -1 and Y >s -1

[dtcxzyw]

https://alive2.llvm.org/ce/z/Kbf2zZ

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(inaccessiblemem: write)
define noundef i1 @src428(i32 noundef %0, i32 noundef %1) local_unnamed_addr #0 {
entry:
  %2 = or i32 %1, %0
  %3 = icmp sgt i32 %2, -1
  tail call void @llvm.assume(i1 %3)
  %4 = icmp sgt i32 %1, -1
  ret i1 %4
}

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
define noundef i1 @tgt428(i32 %0, i32 %1) local_unnamed_addr #2 {
entry:
  ret i1 true
}

tests/stb/optimized/stb_image.c.ll
See also llvm/llvm-project#118114