1; The expected behavior of this file is expected to change when partial
2; inlining legality check is enhanced.
3
4; RUN: opt -S -partial-inliner -skip-partial-inlining-cost-analysis  < %s   | FileCheck %s
5; RUN: opt -S -passes=partial-inliner -skip-partial-inlining-cost-analysis < %s |   FileCheck %s
6
7%class.A = type { i32 }
8
9@cond = local_unnamed_addr global i32 0, align 4
10@condptr = external local_unnamed_addr global i32*, align 8
11
12; Function Attrs: uwtable
13define void @_Z3foo_unknown_mem_accessv() local_unnamed_addr  {
14bb:
15  %tmp = alloca %class.A, align 4
16  %tmp1 = alloca %class.A, align 4
17  %tmp2 = bitcast %class.A* %tmp to i8*
18  call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %tmp2)
19  %tmp3 = bitcast %class.A* %tmp1 to i8*
20  call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %tmp3)
21  %tmp4 = load i32*, i32** @condptr, align 8, !tbaa !2
22  %tmp5 = load i32, i32* %tmp4, align 4, !tbaa !6
23  %tmp6 = icmp eq i32 %tmp5, 0
24  br i1 %tmp6, label %bb7, label %bb8
25
26bb7:                                              ; preds = %bb
27  call void @_ZN1A7memfuncEv(%class.A* nonnull %tmp)
28  br label %bb8
29
30bb8:                                              ; preds = %bb7, %bb
31  call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %tmp3)
32  call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %tmp2)
33  ret void
34}
35
36declare void @_Z3barv() local_unnamed_addr
37declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
38declare void @_ZN1A7memfuncEv(%class.A*) local_unnamed_addr
39declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)
40
41define void @_Z3foo_unknown_calli(i32 %arg) local_unnamed_addr {
42bb:
43  %tmp = alloca %class.A, align 4
44  %tmp1 = bitcast %class.A* %tmp to i8*
45  call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %tmp1)
46  tail call void @_Z3barv()
47  %tmp2 = icmp eq i32 %arg, 0
48  br i1 %tmp2, label %bb3, label %bb4
49
50bb3:                                              ; preds = %bb
51  call void @_ZN1A7memfuncEv(%class.A* nonnull %tmp)
52  br label %bb4
53
54bb4:                                              ; preds = %bb3, %bb
55  call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %tmp1)
56  ret void
57}
58
59define void @_Z3goov() local_unnamed_addr  {
60; CHECK-LABEL: @_Z3goov
61; CHECK-NEXT: bb:
62; CHECK: alloca
63; CHECK: lifetime
64bb:
65  call void @_Z3foo_unknown_mem_accessv()
66  %tmp = load i32, i32* @cond, align 4, !tbaa !2
67  tail call void @_Z3foo_unknown_calli(i32 %tmp)
68  ret void
69}
70
71; CHECK-LABEL: define internal void @_Z3foo_unknown_calli.1.bb3
72; CHECK: newFuncRoot:
73; CHECK-NEXT: br label %bb3
74
75; CHECK: bb3:
76; CHECK-NOT: lifetime.ed
77; CHECK: br label %bb4.exitStub
78
79; CHECK: bb4.exitStub:
80; CHECK-NEXT: ret void
81
82
83
84!llvm.module.flags = !{!0}
85!llvm.ident = !{!1}
86
87!0 = !{i32 1, !"wchar_size", i32 4}
88!1 = !{!"clang version 5.0.0 (trunk 304489)"}
89!2 = !{!3, !3, i64 0}
90!3 = !{!"any pointer", !4, i64 0}
91!4 = !{!"omnipotent char", !5, i64 0}
92!5 = !{!"Simple C++ TBAA"}
93!6 = !{!7, !7, i64 0}
94!7 = !{!"int", !4, i64 0}
95