llvm/test/Transforms/CodeExtractor/live_shrink_multiple.ll

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