ptrtoint(X) & mask != 0 implies X != null

[dtcxzyw]

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

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(inaccessiblemem: write)
define noundef i1 @src3(ptr noundef %0) local_unnamed_addr #0 {
entry:
  %1 = ptrtoint ptr %0 to i64
  %2 = and i64 %1, 15
  %3 = icmp ne i64 %2, 0
  tail call void @llvm.assume(i1 %3)
  %4 = icmp eq ptr %0, null
  ret i1 %4
}

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
define noundef i1 @tgt3(ptr nocapture readnone %0) local_unnamed_addr #2 {
entry:
  ret i1 false
}

tests/llvm/optimized/Comment.cpp.ll