126 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature2; RUN: opt < %s -passes=tailcallelim -verify-dom-info -S | FileCheck %s3 4; the test was generated from the following C++ source:5;6; #include <stdio.h>7; typedef struct A { long long x[10] = {0}; } A;8; A global;9; void dostuff(A a, A b, int i) {10; if (i==10) return;11; a.x[5]++;12; printf("%lld %lld\n", a.x[5], b.x[5]); dostuff(b, a, i+1);13; }14; __attribute((optnone)) int main() { dostuff(global, global, 0); }15;16; This test checks that values for two ByValue operands are copied17; into temporarily variables first and then the temporaily18; variables are copied into original function arguments location.19 20%struct.A = type { [10 x i64] }21 22@global = dso_local local_unnamed_addr global %struct.A zeroinitializer, align 823@.str = private unnamed_addr constant [11 x i8] c"%lld %lld\0A\00", align 124 25; Function Attrs: noinline nounwind uwtable26define dso_local void @_Z7dostuff1AS_i(ptr nocapture byval(%struct.A) align 8 %a, ptr nocapture readonly byval(%struct.A) align 8 %b, i32 %i) local_unnamed_addr #0 {27; CHECK-LABEL: define {{[^@]+}}@_Z7dostuff1AS_i28; CHECK-SAME: (ptr byval([[STRUCT_A:%.*]]) align 8 captures(none) [[A:%.*]], ptr byval([[STRUCT_A]]) align 8 captures(none) [[B:%.*]], i32 [[I:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {29; CHECK-NEXT: entry:30; CHECK-NEXT: [[AGG_TMP52:%.*]] = alloca [[STRUCT_A]], align 831; CHECK-NEXT: [[AGG_TMP1:%.*]] = alloca [[STRUCT_A]], align 832; CHECK-NEXT: [[AGG_TMP:%.*]] = alloca [[STRUCT_A]], align 833; CHECK-NEXT: [[AGG_TMP5:%.*]] = alloca [[STRUCT_A]], align 834; CHECK-NEXT: br label [[TAILRECURSE:%.*]]35; CHECK: tailrecurse:36; CHECK-NEXT: [[I_TR:%.*]] = phi i32 [ [[I]], [[ENTRY:%.*]] ], [ [[ADD:%.*]], [[IF_END:%.*]] ]37; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[I_TR]], 1038; CHECK-NEXT: br i1 [[CMP]], label [[RETURN:%.*]], label [[IF_END]]39; CHECK: if.end:40; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [[STRUCT_A]], ptr [[A]], i64 0, i32 0, i64 541; CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr [[ARRAYIDX]], align 842; CHECK-NEXT: [[INC:%.*]] = add nsw i64 [[TMP0]], 143; CHECK-NEXT: store i64 [[INC]], ptr [[ARRAYIDX]], align 844; CHECK-NEXT: [[ARRAYIDX4:%.*]] = getelementptr inbounds [[STRUCT_A]], ptr [[B]], i64 0, i32 0, i64 545; CHECK-NEXT: [[TMP1:%.*]] = load i64, ptr [[ARRAYIDX4]], align 846; CHECK-NEXT: [[CALL:%.*]] = tail call i32 (ptr, ...) @printf(ptr nonnull dereferenceable(1) @.str, i64 [[INC]], i64 [[TMP1]])47; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[AGG_TMP]])48; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 dereferenceable(80) [[AGG_TMP]], ptr nonnull align 8 dereferenceable(80) [[B]], i64 80, i1 false)49; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[AGG_TMP5]])50; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 dereferenceable(80) [[AGG_TMP5]], ptr nonnull align 8 dereferenceable(80) [[A]], i64 80, i1 false)51; CHECK-NEXT: [[ADD]] = add nsw i32 [[I_TR]], 152; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[AGG_TMP1]], ptr align 8 [[AGG_TMP]], i64 80, i1 false)53; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[AGG_TMP52]], ptr align 8 [[AGG_TMP5]], i64 80, i1 false)54; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[A]], ptr align 8 [[AGG_TMP1]], i64 80, i1 false)55; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[B]], ptr align 8 [[AGG_TMP52]], i64 80, i1 false)56; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[AGG_TMP]])57; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[AGG_TMP5]])58; CHECK-NEXT: br label [[TAILRECURSE]]59; CHECK: return:60; CHECK-NEXT: ret void61;62entry:63 %agg.tmp = alloca %struct.A, align 864 %agg.tmp5 = alloca %struct.A, align 865 %cmp = icmp eq i32 %i, 1066 br i1 %cmp, label %return, label %if.end67 68if.end: ; preds = %entry69 %arrayidx = getelementptr inbounds %struct.A, ptr %a, i64 0, i32 0, i64 570 %0 = load i64, ptr %arrayidx, align 871 %inc = add nsw i64 %0, 172 store i64 %inc, ptr %arrayidx, align 873 %arrayidx4 = getelementptr inbounds %struct.A, ptr %b, i64 0, i32 0, i64 574 %1 = load i64, ptr %arrayidx4, align 875 %call = call i32 (ptr, ...) @printf(ptr nonnull dereferenceable(1) @.str76, i64 %inc, i64 %1)77 call void @llvm.lifetime.start.p0(ptr nonnull %agg.tmp)78 call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 dereferenceable(80) %agg.tmp, ptr nonnull align 8 dereferenceable(80) %b, i64 80, i1 false)79 call void @llvm.lifetime.start.p0(ptr nonnull %agg.tmp5)80 call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 dereferenceable(80) %agg.tmp5, ptr nonnull align 8 dereferenceable(80) %a, i64 80, i1 false)81 %add = add nsw i32 %i, 182 call void @_Z7dostuff1AS_i(ptr nonnull byval(%struct.A) align 8 %agg.tmp, ptr nonnull byval(%struct.A) align 8 %agg.tmp5, i32 %add)83 call void @llvm.lifetime.end.p0(ptr nonnull %agg.tmp)84 call void @llvm.lifetime.end.p0(ptr nonnull %agg.tmp5)85 br label %return86 87return: ; preds = %entry, %if.end88 ret void89}90 91; Function Attrs: nofree nounwind92declare dso_local noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #193 94; Function Attrs: argmemonly nounwind willreturn95declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #296 97; Function Attrs: argmemonly nounwind willreturn98declare void @llvm.lifetime.start.p0(ptr nocapture) #299 100; Function Attrs: argmemonly nounwind willreturn101declare void @llvm.lifetime.end.p0(ptr nocapture) #2102 103; Function Attrs: noinline norecurse nounwind optnone uwtable104define dso_local i32 @main() local_unnamed_addr #3 {105; CHECK-LABEL: define {{[^@]+}}@main() local_unnamed_addr {106; CHECK-NEXT: entry:107; CHECK-NEXT: [[AGG_TMP:%.*]] = alloca [[STRUCT_A:%.*]], align 8108; CHECK-NEXT: [[AGG_TMP1:%.*]] = alloca [[STRUCT_A]], align 8109; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[AGG_TMP]], ptr align 8 @global, i64 80, i1 false)110; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 8 [[AGG_TMP1]], ptr align 8 @global, i64 80, i1 false)111; CHECK-NEXT: tail call void @_Z7dostuff1AS_i(ptr byval([[STRUCT_A]]) align 8 [[AGG_TMP]], ptr byval([[STRUCT_A]]) align 8 [[AGG_TMP1]], i32 0)112; CHECK-NEXT: ret i32 0113;114entry:115 %agg.tmp = alloca %struct.A, align 8116 %agg.tmp1 = alloca %struct.A, align 8117 call void @llvm.memcpy.p0.p0.i64(ptr align 8 %agg.tmp, ptr align 8 @global, i64 80, i1 false)118 call void @llvm.memcpy.p0.p0.i64(ptr align 8 %agg.tmp1, ptr align 8 @global, i64 80, i1 false)119 call void @_Z7dostuff1AS_i(ptr byval(%struct.A) align 8 %agg.tmp, ptr byval(%struct.A) align 8 %agg.tmp1, i32 0)120 ret i32 0121}122 123attributes #0 = { uwtable }124attributes #1 = { uwtable }125attributes #2 = { argmemonly nounwind willreturn }126