120 lines · plain
1; RUN: opt -S -passes=partial-inliner -min-block-execution=1 -skip-partial-inlining-cost-analysis < %s | FileCheck %s2; Require a dummy block (if.then.b) as successor to if.then due to PI requirement3; of region containing more than one BB.4define signext i32 @bar(i32 signext %value, i32 signext %ub) #0 !prof !30 {5entry:6 %value.addr = alloca i32, align 47 %ub.addr = alloca i32, align 48 %sum = alloca i32, align 49 %i = alloca i32, align 410 store i32 %value, ptr %value.addr, align 411 store i32 %ub, ptr %ub.addr, align 412 store i32 0, ptr %sum, align 413 store i32 0, ptr %i, align 414 br label %for.cond15 16for.cond: ; preds = %for.inc, %entry17 %0 = load i32, ptr %i, align 418 %1 = load i32, ptr %ub.addr, align 419 %cmp = icmp slt i32 %0, %120 br i1 %cmp, label %for.body, label %for.end, !prof !3121 22for.body: ; preds = %for.cond23 %2 = load i32, ptr %value.addr, align 424 %rem = srem i32 %2, 2025 %cmp1 = icmp eq i32 %rem, 026 br i1 %cmp1, label %if.then, label %if.else, !prof !3227 28if.then: ; preds = %for.body29 %3 = load i32, ptr %value.addr, align 430 %4 = load i32, ptr %i, align 431 %mul = mul nsw i32 %4, 532 %add = add nsw i32 %3, %mul33 %5 = load i32, ptr %sum, align 434 %add2 = add nsw i32 %5, %add35 store i32 %add2, ptr %sum, align 436 br label %if.then.b37 38if.then.b: ; preds = %if.then39 br label %if.end40 41if.else: ; preds = %for.body42 %6 = load i32, ptr %value.addr, align 443 %7 = load i32, ptr %i, align 444 %sub = sub nsw i32 %6, %745 %8 = load i32, ptr %sum, align 446 %add3 = add nsw i32 %8, %sub47 store i32 %add3, ptr %sum, align 448 br label %if.end49 50if.end: ; preds = %if.else, %if.then51 br label %for.inc52 53for.inc: ; preds = %if.end54 %9 = load i32, ptr %i, align 455 %inc = add nsw i32 %9, 156 store i32 %inc, ptr %i, align 457 br label %for.cond58 59for.end: ; preds = %for.cond60 %10 = load i32, ptr %sum, align 461 ret i32 %1062}63 64define signext i32 @foo(i32 signext %value, i32 signext %ub) #0 !prof !30 {65; CHECK-LABEL: @foo66; CHECK: codeRepl.i:67; CHECK-NOT: call signext i32 @bar68; CHECK: call void @bar.1.if.then69entry:70 %value.addr = alloca i32, align 471 %ub.addr = alloca i32, align 472 store i32 %value, ptr %value.addr, align 473 store i32 %ub, ptr %ub.addr, align 474 %0 = load i32, ptr %value.addr, align 475 %1 = load i32, ptr %ub.addr, align 476 %call = call signext i32 @bar(i32 signext %0, i32 signext %1)77 ret i32 %call78}79 80; CHECK-LABEL: define internal void @bar.1.if.then81; CHECK: .exitStub:82; CHECK: ret void83 84!llvm.module.flags = !{!0, !1, !2}85!llvm.ident = !{!29}86 87!0 = !{i32 1, !"wchar_size", i32 4}88!1 = !{i32 7, !"PIC Level", i32 2}89!2 = !{i32 1, !"ProfileSummary", !3}90!3 = !{!4, !5, !6, !7, !8, !9, !10, !11}91!4 = !{!"ProfileFormat", !"InstrProf"}92!5 = !{!"TotalCount", i64 103}93!6 = !{!"MaxCount", i64 100}94!7 = !{!"MaxInternalCount", i64 1}95!8 = !{!"MaxFunctionCount", i64 100}96!9 = !{!"NumCounts", i64 5}97!10 = !{!"NumFunctions", i64 3}98!11 = !{!"DetailedSummary", !12}99!12 = !{!13, !14, !15, !16, !17, !18, !18, !19, !19, !20, !21, !22, !23, !24, !25, !26, !27, !28}100!13 = !{i32 10000, i64 100, i32 1}101!14 = !{i32 100000, i64 100, i32 1}102!15 = !{i32 200000, i64 100, i32 1}103!16 = !{i32 300000, i64 100, i32 1}104!17 = !{i32 400000, i64 100, i32 1}105!18 = !{i32 500000, i64 100, i32 1}106!19 = !{i32 600000, i64 100, i32 1}107!20 = !{i32 700000, i64 100, i32 1}108!21 = !{i32 800000, i64 100, i32 1}109!22 = !{i32 900000, i64 100, i32 1}110!23 = !{i32 950000, i64 100, i32 1}111!24 = !{i32 990000, i64 1, i32 4}112!25 = !{i32 999000, i64 1, i32 4}113!26 = !{i32 999900, i64 1, i32 4}114!27 = !{i32 999990, i64 1, i32 4}115!28 = !{i32 999999, i64 1, i32 4}116!29 = !{!"clang version 6.0.0 (123456)"}117!30 = !{!"function_entry_count", i64 2}118!31 = !{!"branch_weights", i32 100, i32 1}119!32 = !{!"branch_weights", i32 0, i32 100}120