simplify unit test as z3 cant verify this anymore
DELETE
tests/alive-tv/memory/zeroinit-memset.src.ll
-; From Transforms/MemCpyOpt/fca2memcpy.ll
-target datalayout = "e-i64:64-f80:128-n8:16:32:64"
-
-%S = type { i8*, i8, i32 }
-
-define void @destroysrc(%S* %src, %S* %dst) {
- %1 = load %S, %S* %src
- store %S zeroinitializer, %S* %src
- store %S %1, %S* %dst
- ret void
-}
-
-

RENAME
tests/alive-tv/memory/zeroinit-memset.tgt.ll
tests/alive-tv/memory/zeroinit-memset.srctgt.ll
+; From Transforms/MemCpyOpt/fca2memcpy.ll
target datalayout = "e-i64:64-f80:128-n8:16:32:64"
-%S = type { i8*, i8, i32 }
-define void @destroysrc(%S* %src, %S* %dst) {
+%S = type { i8*, i32 }
+
+define void @src(%S* %src, %S* %dst) {
+ %1 = load %S, %S* %src
+ store %S zeroinitializer, %S* %src
+ store %S %1, %S* %dst
+ ret void
+}
+
+define void @tgt(%S* %src, %S* %dst) {
%1 = load %S, %S* %src
%2 = bitcast %S* %src to i8*
call void @llvm.memset.p0i8.i64(i8* align 8 %2, i8 0, i64 16, i1 false)

simplify unit test as z3 cant verify this anymore
https://github.com/Z3Prover/z3/issues/5516