xref: /llvm-project/llvm/test/CodeGen/Hexagon/vararg-linux-abi.ll (revision 2208c97c1bec2512d4e47b6223db6d95a7037956)
1; RUN: llc -mtriple=hexagon -mtriple=hexagon-unknown-linux-musl < %s | FileCheck %s
2
3; Check that we update the stack pointer before we do allocframe, so that
4; the LR/FP are stored in the location required by the Linux ABI.
5; CHECK: r29 = add(r29,#-24)
6; CHECK: allocframe
7
8target triple = "hexagon-unknown-linux"
9
10%s.0 = type { ptr, ptr, ptr }
11
12define dso_local i32 @f0(i32 %a0, ...) local_unnamed_addr #0 {
13b0:
14  %v0 = alloca [1 x %s.0], align 8
15  call void @llvm.lifetime.start.p0(i64 12, ptr nonnull %v0) #2
16  call void @llvm.va_start(ptr nonnull %v0)
17  %v3 = load ptr, ptr %v0, align 8
18  %v4 = getelementptr inbounds [1 x %s.0], ptr %v0, i32 0, i32 0, i32 1
19  %v5 = load ptr, ptr %v4, align 4
20  %v6 = getelementptr i8, ptr %v3, i32 4
21  %v7 = icmp sgt ptr %v6, %v5
22  br i1 %v7, label %b1, label %b2
23
24b1:                                               ; preds = %b0
25  %v8 = getelementptr inbounds [1 x %s.0], ptr %v0, i32 0, i32 0, i32 2
26  %v9 = load ptr, ptr %v8, align 8
27  %v10 = getelementptr i8, ptr %v9, i32 4
28  store ptr %v10, ptr %v8, align 8
29  br label %b2
30
31b2:                                               ; preds = %b1, %b0
32  %v11 = phi ptr [ %v10, %b1 ], [ %v6, %b0 ]
33  %v12 = phi ptr [ %v9, %b1 ], [ %v3, %b0 ]
34  store ptr %v11, ptr %v0, align 8
35  %v14 = load i32, ptr %v12, align 4
36  %v15 = icmp eq i32 %v14, 0
37  br i1 %v15, label %b7, label %b3
38
39b3:                                               ; preds = %b2
40  %v16 = getelementptr inbounds [1 x %s.0], ptr %v0, i32 0, i32 0, i32 2
41  br label %b4
42
43b4:                                               ; preds = %b6, %b3
44  %v17 = phi i32 [ %v14, %b3 ], [ %v28, %b6 ]
45  %v18 = phi i32 [ %a0, %b3 ], [ %v20, %b6 ]
46  %v19 = phi ptr [ %v11, %b3 ], [ %v25, %b6 ]
47  %v20 = add nsw i32 %v17, %v18
48  %v21 = getelementptr i8, ptr %v19, i32 4
49  %v22 = icmp sgt ptr %v21, %v5
50  br i1 %v22, label %b5, label %b6
51
52b5:                                               ; preds = %b4
53  %v23 = load ptr, ptr %v16, align 8
54  %v24 = getelementptr i8, ptr %v23, i32 4
55  store ptr %v24, ptr %v16, align 8
56  br label %b6
57
58b6:                                               ; preds = %b5, %b4
59  %v25 = phi ptr [ %v24, %b5 ], [ %v21, %b4 ]
60  %v26 = phi ptr [ %v23, %b5 ], [ %v19, %b4 ]
61  store ptr %v25, ptr %v0, align 8
62  %v28 = load i32, ptr %v26, align 4
63  %v29 = icmp eq i32 %v28, 0
64  br i1 %v29, label %b7, label %b4
65
66b7:                                               ; preds = %b6, %b2
67  %v30 = phi i32 [ %a0, %b2 ], [ %v20, %b6 ]
68  call void @llvm.va_end(ptr nonnull %v0)
69  call void @llvm.lifetime.end.p0(i64 12, ptr nonnull %v0) #2
70  ret i32 %v30
71}
72
73; Function Attrs: argmemonly nounwind
74declare void @llvm.lifetime.start.p0(i64, ptr nocapture) #1
75
76; Function Attrs: nounwind
77declare void @llvm.va_start(ptr) #2
78
79; Function Attrs: nounwind
80declare void @llvm.va_end(ptr) #2
81
82; Function Attrs: argmemonly nounwind
83declare void @llvm.lifetime.end.p0(i64, ptr nocapture) #1
84
85attributes #0 = { argmemonly nounwind "frame-pointer"="all" }
86
87!llvm.module.flags = !{!0}
88
89!0 = !{i32 1, !"wchar_size", i32 4}
90