diff --git a/llvm/test/Transforms/PhaseOrdering/memcpyopt.ll b/llvm/test/Transforms/PhaseOrdering/memcpyopt.ll deleted file mode 100644 index 39b4f3bc808c..000000000000 --- a/llvm/test/Transforms/PhaseOrdering/memcpyopt.ll +++ /dev/null @@ -1,134 +0,0 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -O2 -S < %s | FileCheck %s --check-prefixes=ANY,OLDPM -; RUN: opt -passes='default' -aa-pipeline=default -S < %s | FileCheck %s --check-prefixes=ANY,NEWPM - -; There should not be any remaining 'memcpy' calls in this code. -; http://bugs.llvm.org/PR47114 - -target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" - -%struct.Arr = type { [2 x %struct.String] } -%struct.String = type { i64, i64, i8* } -%struct.PartialArr = type { %struct.Arr } - -define void @c(%struct.Arr* noalias sret align 8 %agg.result) #0 { -; OLDPM-LABEL: @c( -; OLDPM-NEXT: entry: -; OLDPM-NEXT: [[DATA:%.*]] = alloca [[STRUCT_PARTIALARR:%.*]], align 8 -; OLDPM-NEXT: [[TMP0:%.*]] = bitcast %struct.PartialArr* [[DATA]] to i8* -; OLDPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 48, i8* nonnull [[TMP0]]) [[ATTR3:#.*]] -; OLDPM-NEXT: [[TMP1:%.*]] = bitcast %struct.PartialArr* [[DATA]] to i8* -; OLDPM-NEXT: call void @llvm.memset.p0i8.i64(i8* nonnull align 8 dereferenceable(24) [[TMP1]], i8 0, i64 24, i1 false) -; OLDPM-NEXT: [[ARRAYIDX_1:%.*]] = getelementptr inbounds [[STRUCT_PARTIALARR]], %struct.PartialArr* [[DATA]], i64 0, i32 0, i32 0, i64 1 -; OLDPM-NEXT: [[TMP2:%.*]] = bitcast %struct.String* [[ARRAYIDX_1]] to i8* -; OLDPM-NEXT: call void @llvm.memset.p0i8.i64(i8* nonnull align 8 dereferenceable(24) [[TMP2]], i8 0, i64 24, i1 false) -; OLDPM-NEXT: [[TMP3:%.*]] = bitcast %struct.Arr* [[AGG_RESULT:%.*]] to i8* -; OLDPM-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 8 dereferenceable(48) [[TMP3]], i8* nonnull align 8 dereferenceable(48) [[TMP0]], i64 48, i1 false), !tbaa.struct !3 -; OLDPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 48, i8* nonnull [[TMP0]]) [[ATTR3]] -; OLDPM-NEXT: ret void -; -; NEWPM-LABEL: @c( -; NEWPM-NEXT: entry: -; NEWPM-NEXT: [[DATA_SROA_0:%.*]] = alloca [2 x %struct.String], align 8 -; NEWPM-NEXT: [[DATA_SROA_0_0__SROA_CAST19:%.*]] = bitcast [2 x %struct.String]* [[DATA_SROA_0]] to i8* -; NEWPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 48, i8* nonnull [[DATA_SROA_0_0__SROA_CAST19]]) -; NEWPM-NEXT: call void @llvm.memset.p0i8.i64(i8* nonnull align 8 dereferenceable(24) [[DATA_SROA_0_0__SROA_CAST19]], i8 0, i64 24, i1 false) -; NEWPM-NEXT: [[DATA_SROA_0_24__SROA_IDX:%.*]] = getelementptr inbounds [2 x %struct.String], [2 x %struct.String]* [[DATA_SROA_0]], i64 0, i64 1 -; NEWPM-NEXT: [[DATA_SROA_0_24__SROA_CAST18:%.*]] = bitcast %struct.String* [[DATA_SROA_0_24__SROA_IDX]] to i8* -; NEWPM-NEXT: call void @llvm.memset.p0i8.i64(i8* nonnull align 8 dereferenceable(24) [[DATA_SROA_0_24__SROA_CAST18]], i8 0, i64 24, i1 false) -; NEWPM-NEXT: [[DATA_SROA_0_0__SROA_CAST14:%.*]] = bitcast %struct.Arr* [[AGG_RESULT:%.*]] to i8* -; NEWPM-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 8 dereferenceable(48) [[DATA_SROA_0_0__SROA_CAST14]], i8* nonnull align 8 dereferenceable(48) [[DATA_SROA_0_0__SROA_CAST19]], i64 48, i1 false), !tbaa.struct !3 -; NEWPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 48, i8* nonnull [[DATA_SROA_0_0__SROA_CAST19]]) -; NEWPM-NEXT: ret void -; -entry: - %data = alloca %struct.PartialArr, align 8 - %slots = alloca [2 x %struct.String]*, align 8 - %i = alloca i64, align 8 - %tmp = alloca %struct.String, align 8 - %0 = bitcast %struct.PartialArr* %data to i8* - call void @llvm.lifetime.start.p0i8(i64 48, i8* %0) #3 - %1 = bitcast [2 x %struct.String]** %slots to i8* - call void @llvm.lifetime.start.p0i8(i64 8, i8* %1) #3 - %value = getelementptr inbounds %struct.PartialArr, %struct.PartialArr* %data, i32 0, i32 0 - %data1 = getelementptr inbounds %struct.Arr, %struct.Arr* %value, i32 0, i32 0 - store [2 x %struct.String]* %data1, [2 x %struct.String]** %slots, align 8, !tbaa !3 - %2 = bitcast i64* %i to i8* - call void @llvm.lifetime.start.p0i8(i64 8, i8* %2) #3 - store i64 0, i64* %i, align 8, !tbaa !7 - br label %for.cond - -for.cond: ; preds = %for.inc, %entry - %3 = load i64, i64* %i, align 8, !tbaa !7 - %cmp = icmp ult i64 %3, 2 - br i1 %cmp, label %for.body, label %for.cond.cleanup - -for.cond.cleanup: ; preds = %for.cond - %4 = bitcast i64* %i to i8* - call void @llvm.lifetime.end.p0i8(i64 8, i8* %4) #3 - br label %for.end - -for.body: ; preds = %for.cond - %5 = load [2 x %struct.String]*, [2 x %struct.String]** %slots, align 8, !tbaa !3 - %6 = load i64, i64* %i, align 8, !tbaa !7 - %arrayidx = getelementptr inbounds [2 x %struct.String], [2 x %struct.String]* %5, i64 0, i64 %6 - %7 = bitcast %struct.String* %tmp to i8* - call void @llvm.lifetime.start.p0i8(i64 24, i8* %7) #3 - call void @new_string(%struct.String* sret align 8 %tmp) - %8 = bitcast %struct.String* %arrayidx to i8* - %9 = bitcast %struct.String* %tmp to i8* - call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %8, i8* align 8 %9, i64 24, i1 false), !tbaa.struct !9 - %10 = bitcast %struct.String* %tmp to i8* - call void @llvm.lifetime.end.p0i8(i64 24, i8* %10) #3 - br label %for.inc - -for.inc: ; preds = %for.body - %11 = load i64, i64* %i, align 8, !tbaa !7 - %inc = add i64 %11, 1 - store i64 %inc, i64* %i, align 8, !tbaa !7 - br label %for.cond - -for.end: ; preds = %for.cond.cleanup - %value2 = getelementptr inbounds %struct.PartialArr, %struct.PartialArr* %data, i32 0, i32 0 - %12 = bitcast %struct.Arr* %agg.result to i8* - %13 = bitcast %struct.Arr* %value2 to i8* - call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 %12, i8* align 8 %13, i64 48, i1 false), !tbaa.struct !10 - %14 = bitcast [2 x %struct.String]** %slots to i8* - call void @llvm.lifetime.end.p0i8(i64 8, i8* %14) #3 - %15 = bitcast %struct.PartialArr* %data to i8* - call void @llvm.lifetime.end.p0i8(i64 48, i8* %15) #3 - ret void -} - -declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) #1 -declare void @llvm.memcpy.p0i8.p0i8.i64(i8* noalias nocapture writeonly, i8* noalias nocapture readonly, i64, i1 immarg) #1 -declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture) #1 -declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1 immarg) #2 - -define internal void @new_string(%struct.String* noalias sret align 8 %agg.result) #0 { -entry: - %0 = bitcast %struct.String* %agg.result to i8* - call void @llvm.memset.p0i8.i64(i8* align 8 %0, i8 0, i64 24, i1 false) - ret void -} - -attributes #0 = { nounwind ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="penryn" "target-features"="+cx16,+cx8,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } -attributes #1 = { argmemonly nounwind willreturn } -attributes #2 = { argmemonly nounwind willreturn writeonly } -attributes #3 = { nounwind } - -!llvm.module.flags = !{!0, !1} -!llvm.ident = !{!2} - -!0 = !{i32 1, !"wchar_size", i32 4} -!1 = !{i32 7, !"PIC Level", i32 2} -!2 = !{!"clang version 12.0.0 (https://github.com/llvm/llvm-project.git c0bdd0753b8a3baf0629e724dc16f77b68fd9c3e)"} -!3 = !{!4, !4, i64 0} -!4 = !{!"any pointer", !5, i64 0} -!5 = !{!"omnipotent char", !6, i64 0} -!6 = !{!"Simple C/C++ TBAA"} -!7 = !{!8, !8, i64 0} -!8 = !{!"long", !5, i64 0} -!9 = !{i64 0, i64 8, !7, i64 8, i64 8, !7, i64 16, i64 8, !3} -!10 = !{i64 0, i64 48, !11} -!11 = !{!5, !5, i64 0}