test/Transforms/CodeExtractor/live_shrink_unsafe.ll

   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
  13 define void @_Z3foo_unknown_mem_accessv() local_unnamed_addr  {
  14 bb:
  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
  26 bb7:                                              ; preds = %bb
  27   call void @_ZN1A7memfuncEv(%class.A* nonnull %tmp)
  28   br label %bb8
  29
  30 bb8:                                              ; 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
  36 declare void @_Z3barv() local_unnamed_addr
  37 declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
  38 declare void @_ZN1A7memfuncEv(%class.A*) local_unnamed_addr
  39 declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)
  40
  41 define void @_Z3foo_unknown_calli(i32 %arg) local_unnamed_addr {
  42 bb:
  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
  50 bb3:                                              ; preds = %bb
  51   call void @_ZN1A7memfuncEv(%class.A* nonnull %tmp)
  52   br label %bb4
  53
  54 bb4:                                              ; preds = %bb3, %bb
  55   call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %tmp1)
  56   ret void
  57 }
  58
  59 define void @_Z3goov() local_unnamed_addr  {
  60 ; CHECK-LABEL: @_Z3goov
  61 ; CHECK-NEXT: bb:
  62 ; CHECK: alloca
  63 ; CHECK: lifetime
  64 bb:
  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: bb4.exitStub:
  76 ; CHECK-NEXT: ret void
  77
  78 ; CHECK: bb3:
  79 ; CHECK-NOT: lifetime.ed
  80 ; CHECK: br label %bb4.exitStub
  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}