1; RUN: opt -memcpyopt -instcombine -S %s | FileCheck %s 2%Foo = type { [2048 x i64] } 3 4; Make sure that all mempcy calls are converted to memset calls, or removed. 5; CHECK-LABEL: @baz( 6; CHECK-NOT: call void @llvm.memcpy 7define void @baz() unnamed_addr #0 { 8entry-block: 9 %x.sroa.0 = alloca [2048 x i64], align 8 10 %tmp0 = alloca [2048 x i64], align 8 11 %0 = bitcast [2048 x i64]* %tmp0 to i8* 12 %tmp2 = alloca %Foo, align 8 13 %x.sroa.0.0..sroa_cast6 = bitcast [2048 x i64]* %x.sroa.0 to i8* 14 call void @llvm.lifetime.start.p0i8(i64 16384, i8* %x.sroa.0.0..sroa_cast6) 15 call void @llvm.lifetime.start.p0i8(i64 16384, i8* %0) 16 call void @llvm.memset.p0i8.i64(i8* align 8 %0, i8 0, i64 16384, i1 false) 17 call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %x.sroa.0.0..sroa_cast6, i8* align 8 %0, i64 16384, i1 false) 18 call void @llvm.lifetime.end.p0i8(i64 16384, i8* %0) 19 %1 = bitcast %Foo* %tmp2 to i8* 20 call void @llvm.lifetime.start.p0i8(i64 16384, i8* %1) 21 call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %1, i8* align 8 %x.sroa.0.0..sroa_cast6, i64 16384, i1 false) 22 call void @bar(%Foo* noalias nocapture nonnull dereferenceable(16384) %tmp2) 23 call void @llvm.lifetime.end.p0i8(i64 16384, i8* %1) 24 call void @llvm.lifetime.end.p0i8(i64 16384, i8* %x.sroa.0.0..sroa_cast6) 25 ret void 26} 27 28declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) #1 29 30declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1) #1 31 32declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) #1 33 34declare void @bar(%Foo* noalias nocapture readonly dereferenceable(16384)) unnamed_addr #0 35 36declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1) #1 37 38attributes #0 = { uwtable } 39attributes #1 = { argmemonly nounwind } 40