xref: /llvm-project/llvm/test/Transforms/MergeFunc/va_arg.ll (revision ee2789001b8558656a13502f0de2c81dcb419430) 
1; RUN: opt -S -passes=mergefunc < %s | FileCheck %s
2; RUN: opt -S -passes=mergefunc -mergefunc-use-aliases < %s | FileCheck %s -check-prefix=ALIAS
3
4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
5target triple = "x86_64-unknown-linux-gnu"
6
7; ALIAS: @_Z9simple_vaPKcz = unnamed_addr alias void (ptr, ...), ptr @_Z10simple_va2PKcz
8; ALIAS-NOT: @_Z9simple_vaPKcz
9
10%struct.__va_list_tag = type { i32, i32, ptr, ptr }
11
12; CHECK-LABEL: define {{.*}}@_Z9simple_vaPKcz
13; CHECK: call void @llvm.va_start
14; CHECK: call void @llvm.va_end
15define dso_local void @_Z9simple_vaPKcz(ptr nocapture readnone, ...) unnamed_addr {
16  %2 = alloca [1 x %struct.__va_list_tag], align 16
17  call void @llvm.va_start(ptr nonnull %2)
18  %3 = load i32, ptr %2, align 16
19  %4 = icmp ult i32 %3, 41
20  br i1 %4, label %5, label %11
21
22; <label>:7:                                      ; preds = %1
23  %6 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %2, i64 0, i64 0, i32 3
24  %7 = load ptr, ptr %6, align 16
25  %8 = sext i32 %3 to i64
26  %9 = getelementptr i8, ptr %7, i64 %8
27  %10 = add i32 %3, 8
28  store i32 %10, ptr %2, align 16
29  br label %15
30
31; <label>:13:                                     ; preds = %1
32  %12 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %2, i64 0, i64 0, i32 2
33  %13 = load ptr, ptr %12, align 8
34  %14 = getelementptr i8, ptr %13, i64 8
35  store ptr %14, ptr %12, align 8
36  br label %15
37
38; <label>:17:                                     ; preds = %11, %5
39  %16 = phi ptr [ %9, %5 ], [ %13, %11 ]
40  %17 = load i32, ptr %16, align 4
41  call void @_Z6escapei(i32 %17)
42  call void @llvm.va_end(ptr nonnull %2)
43  ret void
44}
45
46; Function Attrs: nounwind
47declare void @llvm.va_start(ptr)
48
49; Function Attrs: minsize optsize
50declare dso_local void @_Z6escapei(i32) local_unnamed_addr
51
52; Function Attrs: nounwind
53declare void @llvm.va_end(ptr)
54
55; CHECK-LABEL: define {{.*}}@_Z10simple_va2PKcz
56; CHECK: call void @llvm.va_start
57; CHECK: call void @llvm.va_end
58define dso_local void @_Z10simple_va2PKcz(ptr nocapture readnone, ...) unnamed_addr {
59  %2 = alloca [1 x %struct.__va_list_tag], align 16
60  call void @llvm.va_start(ptr nonnull %2)
61  %3 = load i32, ptr %2, align 16
62  %4 = icmp ult i32 %3, 41
63  br i1 %4, label %5, label %11
64
65; <label>:7:                                      ; preds = %1
66  %6 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %2, i64 0, i64 0, i32 3
67  %7 = load ptr, ptr %6, align 16
68  %8 = sext i32 %3 to i64
69  %9 = getelementptr i8, ptr %7, i64 %8
70  %10 = add i32 %3, 8
71  store i32 %10, ptr %2, align 16
72  br label %15
73
74; <label>:13:                                     ; preds = %1
75  %12 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %2, i64 0, i64 0, i32 2
76  %13 = load ptr, ptr %12, align 8
77  %14 = getelementptr i8, ptr %13, i64 8
78  store ptr %14, ptr %12, align 8
79  br label %15
80
81; <label>:17:                                     ; preds = %11, %5
82  %16 = phi ptr [ %9, %5 ], [ %13, %11 ]
83  %17 = load i32, ptr %16, align 4
84  call void @_Z6escapei(i32 %17)
85  call void @llvm.va_end(ptr nonnull %2)
86  ret void
87}
88