llvm/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 -passes=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 ptr, 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   call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %tmp)
  18   call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %tmp1)
  19   %tmp4 = load ptr, ptr @condptr, align 8, !tbaa !2
  20   %tmp5 = load i32, ptr %tmp4, align 4, !tbaa !6
  21   %tmp6 = icmp eq i32 %tmp5, 0
  22   br i1 %tmp6, label %bb7, label %bb8
  23
  24 bb7:                                              ; preds = %bb
  25   call void @_ZN1A7memfuncEv(ptr nonnull %tmp)
  26   br label %bb8
  27
  28 bb8:                                              ; preds = %bb7, %bb
  29   call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %tmp1)
  30   call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %tmp)
  31   ret void
  32 }
  33
  34 declare void @_Z3barv() local_unnamed_addr
  35 declare void @llvm.lifetime.start.p0(i64, ptr nocapture)
  36 declare void @_ZN1A7memfuncEv(ptr) local_unnamed_addr
  37 declare void @llvm.lifetime.end.p0(i64, ptr nocapture)
  38
  39 define void @_Z3foo_unknown_calli(i32 %arg) local_unnamed_addr {
  40 bb:
  41   %tmp = alloca %class.A, align 4
  42   call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %tmp)
  43   tail call void @_Z3barv()
  44   %tmp2 = icmp eq i32 %arg, 0
  45   br i1 %tmp2, label %bb3, label %bb4
  46
  47 bb3:                                              ; preds = %bb
  48   call void @_ZN1A7memfuncEv(ptr nonnull %tmp)
  49   br label %bb4
  50
  51 bb4:                                              ; preds = %bb3, %bb
  52   call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %tmp)
  53   ret void
  54 }
  55
  56 define void @_Z3goov() local_unnamed_addr  {
  57 ; CHECK-LABEL: @_Z3goov
  58 ; CHECK-NEXT: bb:
  59 ; CHECK: alloca
  60 ; CHECK: lifetime
  61 bb:
  62   call void @_Z3foo_unknown_mem_accessv()
  63   %tmp = load i32, ptr @cond, align 4, !tbaa !2
  64   tail call void @_Z3foo_unknown_calli(i32 %tmp)
  65   ret void
  66 }
  67
  68 ; CHECK-LABEL: define internal void @_Z3foo_unknown_calli.1.bb3
  69 ; CHECK: newFuncRoot:
  70 ; CHECK-NEXT: br label %bb3
  71
  72 ; CHECK: bb3:
  73 ; CHECK-NOT: lifetime.ed
  74 ; CHECK: br label %bb4.exitStub
  75
  76 ; CHECK: bb4.exitStub:
  77 ; CHECK-NEXT: ret void
  78
  79
  80
  81 !llvm.module.flags = !{!0}
  82 !llvm.ident = !{!1}
  83
  84 !0 = !{i32 1, !"wchar_size", i32 4}
  85 !1 = !{!"clang version 5.0.0 (trunk 304489)"}
  86 !2 = !{!3, !3, i64 0}
  87 !3 = !{!"any pointer", !4, i64 0}
  88 !4 = !{!"omnipotent char", !5, i64 0}
  89 !5 = !{!"Simple C++ TBAA"}
  90 !6 = !{!7, !7, i64 0}
  91 !7 = !{!"int", !4, i64 0}