xref: /llvm-project/llvm/test/Transforms/CodeExtractor/live_shrink.ll (revision bbbbbfbdcb1ab1ba9857138dfa0f2355da8e4499)
1; RUN: opt -S -passes=partial-inliner  -skip-partial-inlining-cost-analysis  < %s |   FileCheck %s
2; RUN: opt -S -passes=partial-inliner  -skip-partial-inlining-cost-analysis  < %s   | FileCheck %s
3
4%class.A = type { i32 }
5@cond = local_unnamed_addr global i32 0, align 4
6
7; Function Attrs: uwtable
8define void @_Z3foov() local_unnamed_addr  {
9bb:
10  %tmp = alloca %class.A, align 4
11  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %tmp)
12  %tmp2 = load i32, ptr @cond, align 4, !tbaa !2
13  %tmp3 = icmp eq i32 %tmp2, 0
14  br i1 %tmp3, label %bb4, label %bb5
15
16bb4:                                              ; preds = %bb
17  call void @_ZN1A7memfuncEv(ptr nonnull %tmp)
18  br label %bb5
19
20bb5:                                              ; preds = %bb4, %bb
21  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %tmp)
22  ret void
23}
24
25; Function Attrs: argmemonly nounwind
26declare void @llvm.lifetime.start.p0(i64, ptr nocapture)
27
28declare void @_ZN1A7memfuncEv(ptr) local_unnamed_addr
29
30; Function Attrs: argmemonly nounwind
31declare void @llvm.lifetime.end.p0(i64, ptr nocapture)
32
33; Function Attrs: uwtable
34define void @_Z3goov() local_unnamed_addr  {
35; CHECK-LABEL: @_Z3goov()
36bb:
37; CHECK: bb:
38; CHECK-NOT: alloca
39; CHECK-NOT: bitcast
40; CHECK-NOT: llvm.lifetime
41; CHECK: br i1
42; CHECK: codeRepl.i:
43; CHECK: call void @_Z3foov.1.
44
45  tail call void @_Z3foov()
46  ret void
47}
48
49; CHECK-LABEL: define internal void @_Z3foov.1.
50; CHECK: newFuncRoot:
51; CHECK-NEXT:  %tmp = alloca %class.A
52; CHECK-NEXT:  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %tmp)
53; CHECK:  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %tmp)
54; CHECK-NEXT:  br label %bb5.exitStub
55
56
57!llvm.module.flags = !{!0}
58!llvm.ident = !{!1}
59
60!0 = !{i32 1, !"wchar_size", i32 4}
61!1 = !{!"clang version 5.0.0 (trunk 304489)"}
62!2 = !{!3, !3, i64 0}
63!3 = !{!"int", !4, i64 0}
64!4 = !{!"omnipotent char", !5, i64 0}
65!5 = !{!"Simple C++ TBAA"}
66