45 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=memcpyopt,instcombine -S %s -verify-memoryssa | FileCheck %s3%Foo = type { [2048 x i64] }4 5; Make sure that all mempcy calls are converted to memset calls, or removed.6define void @baz() unnamed_addr #0 {7; CHECK-LABEL: @baz(8; CHECK-NEXT: entry-block:9; CHECK-NEXT: [[TMP2:%.*]] = alloca [[FOO:%.*]], align 810; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[TMP2]])11; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(16384) [[TMP2]], i8 0, i64 16384, i1 false)12; CHECK-NEXT: call void @bar(ptr noalias nonnull captures(none) dereferenceable(16384) [[TMP2]])13; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[TMP2]])14; CHECK-NEXT: ret void15;16entry-block:17 %x.sroa.0 = alloca [2048 x i64], align 818 %tmp0 = alloca [2048 x i64], align 819 %tmp2 = alloca %Foo, align 820 call void @llvm.lifetime.start.p0(ptr %x.sroa.0)21 call void @llvm.lifetime.start.p0(ptr %tmp0)22 call void @llvm.memset.p0.i64(ptr align 8 %tmp0, i8 0, i64 16384, i1 false)23 call void @llvm.memcpy.p0.p0.i64(ptr align 8 %x.sroa.0, ptr align 8 %tmp0, i64 16384, i1 false)24 call void @llvm.lifetime.end.p0(ptr %tmp0)25 call void @llvm.lifetime.start.p0(ptr %tmp2)26 call void @llvm.memcpy.p0.p0.i64(ptr align 8 %tmp2, ptr align 8 %x.sroa.0, i64 16384, i1 false)27 call void @bar(ptr noalias nocapture nonnull dereferenceable(16384) %tmp2)28 call void @llvm.lifetime.end.p0(ptr %tmp2)29 call void @llvm.lifetime.end.p0(ptr %x.sroa.0)30 ret void31}32 33declare void @llvm.lifetime.start.p0(ptr nocapture) #134 35declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1) #136 37declare void @llvm.lifetime.end.p0(ptr nocapture) #138 39declare void @bar(ptr noalias nocapture readonly dereferenceable(16384)) unnamed_addr #040 41declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1) #142 43attributes #0 = { uwtable }44attributes #1 = { argmemonly nounwind }45