; 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
}