Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / fbb4d1e43d0db9f8d1514a0209bb01f56e49d75f / . / llvm / test / Transforms / MergeFunc / va_arg.ll
blob: 1a48a6395ede71a12cf8d7e5e1e61aef6062659c [file] [log] [blame]
Eric Christophercee313d2019-04-17 04:52:47 +0000[diff] [blame]1; RUN: opt -S -mergefunc < %s | FileCheck %s
2; RUN: opt -S -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 (i8*, ...), void (i8*, ...)* @_Z10simple_va2PKcz
8; ALIAS-NOT: @_Z9simple_vaPKcz
9
10%struct.__va_list_tag = type { i32, i32, i8*, i8* }
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(i8* nocapture readnone, ...) unnamed_addr {
16 %2 = alloca [1 x %struct.__va_list_tag], align 16
17 %3 = bitcast [1 x %struct.__va_list_tag]* %2 to i8*
18 call void @llvm.va_start(i8* nonnull %3)
19 %4 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 0
20 %5 = load i32, i32* %4, align 16
21 %6 = icmp ult i32 %5, 41
22 br i1 %6, label %7, label %13
23
24; <label>:7: ; preds = %1
25 %8 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 3
26 %9 = load i8*, i8** %8, align 16
27 %10 = sext i32 %5 to i64
28 %11 = getelementptr i8, i8* %9, i64 %10
29 %12 = add i32 %5, 8
30 store i32 %12, i32* %4, align 16
31 br label %17
32
33; <label>:13: ; preds = %1
34 %14 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 2
35 %15 = load i8*, i8** %14, align 8
36 %16 = getelementptr i8, i8* %15, i64 8
37 store i8* %16, i8** %14, align 8
38 br label %17
39
40; <label>:17: ; preds = %13, %7
41 %18 = phi i8* [ %11, %7 ], [ %15, %13 ]
42 %19 = bitcast i8* %18 to i32*
43 %20 = load i32, i32* %19, align 4
44 call void @_Z6escapei(i32 %20)
45 call void @llvm.va_end(i8* nonnull %3)
46 ret void
47}
48
49; Function Attrs: nounwind
50declare void @llvm.va_start(i8*)
51
52; Function Attrs: minsize optsize
53declare dso_local void @_Z6escapei(i32) local_unnamed_addr
54
55; Function Attrs: nounwind
56declare void @llvm.va_end(i8*)
57
58; CHECK-LABEL: define {{.*}}@_Z10simple_va2PKcz
59; CHECK: call void @llvm.va_start
60; CHECK: call void @llvm.va_end
61define dso_local void @_Z10simple_va2PKcz(i8* nocapture readnone, ...) unnamed_addr {
62 %2 = alloca [1 x %struct.__va_list_tag], align 16
63 %3 = bitcast [1 x %struct.__va_list_tag]* %2 to i8*
64 call void @llvm.va_start(i8* nonnull %3)
65 %4 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 0
66 %5 = load i32, i32* %4, align 16
67 %6 = icmp ult i32 %5, 41
68 br i1 %6, label %7, label %13
69
70; <label>:7: ; preds = %1
71 %8 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 3
72 %9 = load i8*, i8** %8, align 16
73 %10 = sext i32 %5 to i64
74 %11 = getelementptr i8, i8* %9, i64 %10
75 %12 = add i32 %5, 8
76 store i32 %12, i32* %4, align 16
77 br label %17
78
79; <label>:13: ; preds = %1
80 %14 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 2
81 %15 = load i8*, i8** %14, align 8
82 %16 = getelementptr i8, i8* %15, i64 8
83 store i8* %16, i8** %14, align 8
84 br label %17
85
86; <label>:17: ; preds = %13, %7
87 %18 = phi i8* [ %11, %7 ], [ %15, %13 ]
88 %19 = bitcast i8* %18 to i32*
89 %20 = load i32, i32* %19, align 4
90 call void @_Z6escapei(i32 %20)
91 call void @llvm.va_end(i8* nonnull %3)
92 ret void
93}