; RUN: llc -march=hexagon -O2 -spill-func-threshold=4 < %s | FileCheck %s --check-prefix=NOSAVE
; RUN: llc -march=hexagon -O2 -spill-func-threshold=2 < %s | FileCheck %s --check-prefix=SAVE
; NOSAVE-NOT: call __save_r16_
; SAVE: call __save_r16_

target triple = "hexagon"

%s.0 = type { %s.1, [50 x %s.2], i8, i32 }
%s.1 = type { i8, i8, i8, i8, i8, i8, i8, i8, [2 x i8], [2 x i8], [4 x i8] }
%s.2 = type { %s.3, [16 x i8] }
%s.3 = type { %s.4, %s.5 }
%s.4 = type { i8, i8, [2 x i8], [4 x i8] }
%s.5 = type { i16, i16 }

@g0 = private unnamed_addr constant [21 x i8] c"....................\00", align 1
@g1 = internal unnamed_addr global [1 x %s.0*] zeroinitializer, align 4

; Function Attrs: nounwind
define void @f0(i8 zeroext %a0, %s.0** nocapture %a1) #0 {
b0:
  %v0 = tail call i8* @f1(i8 zeroext %a0, i32 1424, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @g0, i32 0, i32 0), i32 118) #0
  %v1 = bitcast i8* %v0 to %s.0*
  %v2 = zext i8 %a0 to i32
  %v3 = getelementptr inbounds [1 x %s.0*], [1 x %s.0*]* @g1, i32 0, i32 %v2
  store %s.0* %v1, %s.0** %v3, align 4, !tbaa !0
  store %s.0* %v1, %s.0** %a1, align 4, !tbaa !0
  ret void
}

declare i8* @f1(i8 zeroext, i32, i8*, i32)

; Function Attrs: nounwind
define void @f2(i8 zeroext %a0) #0 {
b0:
  %v0 = zext i8 %a0 to i32
  %v1 = getelementptr inbounds [1 x %s.0*], [1 x %s.0*]* @g1, i32 0, i32 %v0
  %v2 = load %s.0*, %s.0** %v1, align 4, !tbaa !0
  %v3 = getelementptr inbounds %s.0, %s.0* %v2, i32 0, i32 0, i32 0
  tail call void @f3(i8 zeroext %a0, i8* %v3, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @g0, i32 0, i32 0), i32 142) #0
  store %s.0* null, %s.0** %v1, align 4, !tbaa !0
  ret void
}

declare void @f3(i8 zeroext, i8*, i8*, i32)

; Function Attrs: nounwind
define void @f4(i8 zeroext %a0, i8 zeroext %a1, i8 zeroext %a2, i8 zeroext %a3, i8 zeroext %a4) #0 {
b0:
  %v0 = alloca [7 x i32], align 4
  %v1 = zext i8 %a0 to i32
  %v2 = getelementptr inbounds [1 x %s.0*], [1 x %s.0*]* @g1, i32 0, i32 %v1
  %v3 = load %s.0*, %s.0** %v2, align 4, !tbaa !0
  %v4 = getelementptr inbounds %s.0, %s.0* %v3, i32 0, i32 3
  %v5 = load i32, i32* %v4, align 4, !tbaa !4
  %v6 = and i32 %v5, 8
  %v7 = icmp eq i32 %v6, 0
  br i1 %v7, label %b2, label %b1

b1:                                               ; preds = %b0
  %v8 = getelementptr inbounds [7 x i32], [7 x i32]* %v0, i32 0, i32 0
  %v9 = bitcast [7 x i32]* %v0 to %s.2*
  %v10 = call i32 @f5() #0
  %v11 = getelementptr [7 x i32], [7 x i32]* %v0, i32 0, i32 1
  store i32 %v10, i32* %v11, align 4
  %v12 = call zeroext i16 @f6(i8 zeroext %a0) #0
  %v13 = zext i16 %v12 to i32
  %v14 = shl nuw i32 %v13, 16
  %v15 = or i32 %v14, 260
  store i32 %v15, i32* %v8, align 4
  %v16 = zext i8 %a1 to i32
  %v17 = getelementptr [7 x i32], [7 x i32]* %v0, i32 0, i32 2
  %v18 = zext i8 %a2 to i32
  %v19 = shl nuw nsw i32 %v18, 12
  %v20 = zext i8 %a3 to i32
  %v21 = shl nuw nsw i32 %v20, 16
  %v22 = and i32 %v21, 458752
  %v23 = and i32 %v19, 61440
  %v24 = zext i8 %a4 to i32
  %v25 = shl nuw nsw i32 %v24, 19
  %v26 = and i32 %v25, 3670016
  %v27 = or i32 %v23, %v16
  %v28 = or i32 %v27, %v22
  %v29 = or i32 %v28, %v26
  %v30 = call zeroext i8 @f7(i8 zeroext %a0, i8 zeroext %a1) #0
  %v31 = zext i8 %v30 to i32
  %v32 = shl nuw nsw i32 %v31, 8
  %v33 = and i32 %v32, 3840
  %v34 = or i32 %v33, %v29
  store i32 %v34, i32* %v17, align 4
  %v35 = call i32 bitcast (i32 (...)* @f8 to i32 (i32, %s.2*)*)(i32 %v1, %s.2* %v9) #0
  br label %b2

b2:                                               ; preds = %b1, %b0
  ret void
}

declare i32 @f5()

declare zeroext i16 @f6(i8 zeroext)

declare zeroext i8 @f7(i8 zeroext, i8 zeroext)

declare i32 @f8(...)

attributes #0 = { nounwind }

!0 = !{!1, !1, i64 0}
!1 = !{!"any pointer", !2}
!2 = !{!"omnipotent char", !3}
!3 = !{!"Simple C/C++ TBAA"}
!4 = !{!5, !5, i64 0}
!5 = !{!"long", !2}