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 13define void @_Z3foo_unknown_mem_accessv() local_unnamed_addr { 14bb: 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 24bb7: ; preds = %bb 25 call void @_ZN1A7memfuncEv(ptr nonnull %tmp) 26 br label %bb8 27 28bb8: ; 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 34declare void @_Z3barv() local_unnamed_addr 35declare void @llvm.lifetime.start.p0(i64, ptr nocapture) 36declare void @_ZN1A7memfuncEv(ptr) local_unnamed_addr 37declare void @llvm.lifetime.end.p0(i64, ptr nocapture) 38 39define void @_Z3foo_unknown_calli(i32 %arg) local_unnamed_addr { 40bb: 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 47bb3: ; preds = %bb 48 call void @_ZN1A7memfuncEv(ptr nonnull %tmp) 49 br label %bb4 50 51bb4: ; preds = %bb3, %bb 52 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %tmp) 53 ret void 54} 55 56define void @_Z3goov() local_unnamed_addr { 57; CHECK-LABEL: @_Z3goov 58; CHECK-NEXT: bb: 59; CHECK: alloca 60; CHECK: lifetime 61bb: 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} 92