test/Transforms/CodeExtractor/live_shrink_gep.ll

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