92 lines · plain
1; The expected behavior of this file is expected to change when partial2; inlining legality check is enhanced.3 4; RUN: opt -S -passes=partial-inliner -skip-partial-inlining-cost-analysis < %s | FileCheck %s5; RUN: opt -S -passes=partial-inliner -skip-partial-inlining-cost-analysis < %s | FileCheck %s6 7%class.A = type { i32 }8 9@cond = local_unnamed_addr global i32 0, align 410@condptr = external local_unnamed_addr global ptr, align 811 12; Function Attrs: uwtable13define void @_Z3foo_unknown_mem_accessv() local_unnamed_addr {14bb:15 %tmp = alloca %class.A, align 416 %tmp1 = alloca %class.A, align 417 call void @llvm.lifetime.start.p0(ptr nonnull %tmp)18 call void @llvm.lifetime.start.p0(ptr nonnull %tmp1)19 %tmp4 = load ptr, ptr @condptr, align 8, !tbaa !220 %tmp5 = load i32, ptr %tmp4, align 4, !tbaa !621 %tmp6 = icmp eq i32 %tmp5, 022 br i1 %tmp6, label %bb7, label %bb823 24bb7: ; preds = %bb25 call void @_ZN1A7memfuncEv(ptr nonnull %tmp)26 br label %bb827 28bb8: ; preds = %bb7, %bb29 call void @llvm.lifetime.end.p0(ptr nonnull %tmp1)30 call void @llvm.lifetime.end.p0(ptr nonnull %tmp)31 ret void32}33 34declare void @_Z3barv() local_unnamed_addr35declare void @llvm.lifetime.start.p0(ptr nocapture)36declare void @_ZN1A7memfuncEv(ptr) local_unnamed_addr37declare void @llvm.lifetime.end.p0(ptr nocapture)38 39define void @_Z3foo_unknown_calli(i32 %arg) local_unnamed_addr {40bb:41 %tmp = alloca %class.A, align 442 call void @llvm.lifetime.start.p0(ptr nonnull %tmp)43 tail call void @_Z3barv()44 %tmp2 = icmp eq i32 %arg, 045 br i1 %tmp2, label %bb3, label %bb446 47bb3: ; preds = %bb48 call void @_ZN1A7memfuncEv(ptr nonnull %tmp)49 br label %bb450 51bb4: ; preds = %bb3, %bb52 call void @llvm.lifetime.end.p0(ptr nonnull %tmp)53 ret void54}55 56define void @_Z3goov() local_unnamed_addr {57; CHECK-LABEL: @_Z3goov58; CHECK-NEXT: bb:59; CHECK: alloca60; CHECK: lifetime61bb:62 call void @_Z3foo_unknown_mem_accessv()63 %tmp = load i32, ptr @cond, align 4, !tbaa !264 tail call void @_Z3foo_unknown_calli(i32 %tmp)65 ret void66}67 68; CHECK-LABEL: define internal void @_Z3foo_unknown_calli.1.bb369; CHECK: newFuncRoot:70; CHECK-NEXT: br label %bb371 72; CHECK: bb3:73; CHECK-NOT: lifetime.ed74; CHECK: br label %bb4.exitStub75 76; CHECK: bb4.exitStub:77; CHECK-NEXT: ret void78 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