| ; RUN: opt < %s -mtriple=systemz-unknown -mcpu=z15 -passes='cgscc(inline)' -disable-output \ |
| ; RUN: -debug-only=inline,systemztti 2>&1 | FileCheck %s |
| ; REQUIRES: asserts |
| |
| ; Check that the inlining threshold is incremented for a function using an |
| ; argument only as a memcpy source. |
| ; |
| ; CHECK: Inlining calls in: root_function |
| ; CHECK: Inlining {{.*}} Call: call void @leaf_function_A(ptr %Dst) |
| ; CHECK: ++ SZTTI Adding inlining bonus: 1000 |
| ; CHECK: Inlining {{.*}} Call: call void @leaf_function_B(ptr %Dst, ptr %Src) |
| |
| define void @leaf_function_A(ptr %Dst) { |
| entry: |
| call void @llvm.memcpy.p0.p0.i64(ptr %Dst, ptr undef, i64 16, i1 false) |
| ret void |
| } |
| |
| define void @leaf_function_B(ptr %Dst, ptr %Src) { |
| entry: |
| call void @llvm.memcpy.p0.p0.i64(ptr %Dst, ptr %Src, i64 16, i1 false) |
| ret void |
| } |
| |
| define void @root_function(ptr %Dst, ptr %Src) { |
| entry: |
| call void @leaf_function_A(ptr %Dst) |
| call void @leaf_function_B(ptr %Dst, ptr %Src) |
| ret void |
| } |
| |
| declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) |
| |
| ; Check that the inlining threshold is incremented in case of multiple |
| ; accesses of a global variable by both caller and callee (which is true here |
| ; after the first call is inlined). |
| ; |
| ; CHECK: Inlining calls in: Caller1 |
| ; CHECK: ++ SZTTI Adding inlining bonus: 1000 |
| |
| @GlobV = external global i32 |
| |
| define i64 @Caller1(i1 %cond1, i32 %0) #0 { |
| entry: |
| br i1 %cond1, label %sw.bb3437, label %fake_end |
| |
| common.ret: ; preds = %fake_end, %sw.bb3437 |
| ret i64 0 |
| |
| sw.bb3437: ; preds = %entry |
| %call34652 = call i32 @Callee1(ptr null, i32 %0) |
| br label %common.ret |
| |
| fake_end: ; preds = %entry |
| %call57981 = call i32 @Callee1(ptr null, i32 0) |
| br label %common.ret |
| } |
| |
| define i32 @Callee1(ptr %rex, i32 %parenfloor) #0 { |
| entry: |
| %cmp21 = icmp slt i32 %parenfloor, 0 |
| br i1 %cmp21, label %for.body, label %for.end |
| |
| common.ret: ; preds = %for.end, %for.body |
| ret i32 0 |
| |
| for.body: ; preds = %entry |
| %0 = load i32, ptr @GlobV, align 4 |
| %inc = or i32 %0, 1 |
| store i32 %inc, ptr @GlobV, align 4 |
| store i64 0, ptr %rex, align 8 |
| %1 = load i32, ptr @GlobV, align 4 |
| %inc28 = or i32 %1, 1 |
| store i32 %inc28, ptr @GlobV, align 4 |
| store i64 0, ptr %rex, align 8 |
| %2 = load i32, ptr @GlobV, align 4 |
| %inc35 = or i32 %2, 1 |
| store i32 %inc35, ptr @GlobV, align 4 |
| store i32 0, ptr %rex, align 8 |
| br label %common.ret |
| |
| for.end: ; preds = %entry |
| store i32 0, ptr @GlobV, align 4 |
| store i32 0, ptr %rex, align 8 |
| %3 = load i32, ptr @GlobV, align 4 |
| %inc42 = or i32 %3, 1 |
| store i32 %inc42, ptr @GlobV, align 4 |
| store i32 0, ptr %rex, align 8 |
| %4 = load i32, ptr @GlobV, align 4 |
| %inc48 = or i32 %4, 1 |
| store i32 %inc48, ptr @GlobV, align 4 |
| br label %common.ret |
| } |
| |
| ; Check that the inlining threshold is incremented for a function that is |
| ; accessing an alloca of the caller multiple times. |
| ; |
| ; CHECK: Inlining calls in: Caller2 |
| ; CHECK: ++ SZTTI Adding inlining bonus: 550 |
| |
| define i1 @Caller2() { |
| entry: |
| %A = alloca [80 x i64], align 8 |
| call void @Callee2(ptr %A) |
| ret i1 false |
| } |
| |
| define void @Callee2(ptr nocapture readonly %Arg) { |
| entry: |
| %nonzero = getelementptr i8, ptr %Arg, i64 48 |
| %0 = load i32, ptr %nonzero, align 8 |
| %tobool1.not = icmp eq i32 %0, 0 |
| br i1 %tobool1.not, label %if.else38, label %if.then2 |
| |
| if.then2: ; preds = %entry |
| %1 = load i32, ptr %Arg, align 4 |
| %tobool4.not = icmp eq i32 %1, 0 |
| br i1 %tobool4.not, label %common.ret, label %if.then5 |
| |
| if.then5: ; preds = %if.then2 |
| %2 = load double, ptr %Arg, align 8 |
| %slab_den = getelementptr i8, ptr %Arg, i64 24 |
| %3 = load double, ptr %slab_den, align 8 |
| %mul = fmul double %2, %3 |
| %cmp = fcmp olt double %mul, 0.000000e+00 |
| br i1 %cmp, label %common.ret, label %if.end55 |
| |
| common.ret: ; preds = %if.end100, %if.else79, %if.end55, %if.else38, %if.then5, %if.then2 |
| ret void |
| |
| if.else38: ; preds = %entry |
| %4 = load double, ptr %Arg, align 8 |
| %cmp52 = fcmp ogt double %4, 0.000000e+00 |
| br i1 %cmp52, label %common.ret, label %if.end55 |
| |
| if.end55: ; preds = %if.else38, %if.then5 |
| %arrayidx57 = getelementptr i8, ptr %Arg, i64 52 |
| %5 = load i32, ptr %arrayidx57, align 4 |
| %tobool58.not = icmp eq i32 %5, 0 |
| br i1 %tobool58.not, label %common.ret, label %if.then59 |
| |
| if.then59: ; preds = %if.end55 |
| %arrayidx61 = getelementptr i8, ptr %Arg, i64 64 |
| %6 = load i32, ptr %arrayidx61, align 4 |
| %tobool62.not = icmp eq i32 %6, 0 |
| br i1 %tobool62.not, label %if.else79, label %if.end100 |
| |
| if.else79: ; preds = %if.then59 |
| %arrayidx84 = getelementptr i8, ptr %Arg, i64 8 |
| %7 = load double, ptr %arrayidx84, align 8 |
| %arrayidx87 = getelementptr i8, ptr %Arg, i64 32 |
| %8 = load double, ptr %arrayidx87, align 8 |
| %mul88 = fmul double %7, %8 |
| %9 = fcmp olt double %mul88, 0.000000e+00 |
| br i1 %9, label %common.ret, label %if.end100 |
| |
| if.end100: ; preds = %if.else79, %if.then59 |
| %arrayidx151 = getelementptr i8, ptr %Arg, i64 16 |
| %10 = load double, ptr %arrayidx151, align 8 |
| %arrayidx154 = getelementptr i8, ptr %Arg, i64 40 |
| %11 = load double, ptr %arrayidx154, align 8 |
| %mul155 = fmul double %10, %11 |
| %cmp181 = fcmp olt double %mul155, 0.000000e+00 |
| br label %common.ret |
| } |
