[llvm] [DSE] Split memory intrinsics if they are dead in the middle (PR #75478)

[Nabeel Omer via llvm-commits]

================
@@ -246,7 +246,9 @@ define i32 @test5(i32 %x) nounwind ssp {
 ; CHECK-LABEL: @test5(
 ; CHECK-NEXT:  entry:
 ; CHECK-NEXT:    [[Y:%.*]] = alloca [[STRUCT_S:%.*]], align 16
-; CHECK-NEXT:    call void @llvm.memcpy.p0.p0.i64(ptr align 16 [[Y]], ptr align 16 @sS, i64 32, i1 false)
+; CHECK-NEXT:    [[TMP0:%.*]] = getelementptr inbounds i8, ptr [[Y]], i64 16
+; CHECK-NEXT:    call void @llvm.memcpy.p0.p0.i64(ptr align 16 dereferenceable(16) [[TMP0]], ptr align 16 @sS, i64 16, i1 false)
----------------
omern1 wrote:

Fixed in https://github.com/llvm/llvm-project/pull/75478/commits/1805544b4472b4fb578c5494cbadbf56c1855333.

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