175 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.cond2, !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.cond2: ; preds = %for.cond60 %10 = load i32, ptr %i, align 461 %11 = load i32, ptr %ub.addr, align 462 %cmp2 = icmp slt i32 %10, %1163 br i1 %cmp2, label %for.body2, label %for.end, !prof !3164 65for.body2: ; preds = %for.cond266 %12 = load i32, ptr %value.addr, align 467 %rem2 = srem i32 %12, 2068 %cmp3 = icmp eq i32 %rem2, 069 br i1 %cmp3, label %if.then2, label %if.else2, !prof !3270 71if.then2: ; preds = %for.body272 %13 = load i32, ptr %value.addr, align 473 %14 = load i32, ptr %i, align 474 %mul2 = mul nsw i32 %14, 575 %add4 = add nsw i32 %13, %mul276 %15 = load i32, ptr %sum, align 477 %add5 = add nsw i32 %15, %add478 store i32 %add5, ptr %sum, align 479 br label %if.then2.b80 81if.then2.b: ; preds = %if.then282 br label %if.end283 84if.else2: ; preds = %for.body285 %16 = load i32, ptr %value.addr, align 486 %17 = load i32, ptr %i, align 487 %sub2 = sub nsw i32 %16, %1788 %18 = load i32, ptr %sum, align 489 %add6 = add nsw i32 %18, %sub290 store i32 %add6, ptr %sum, align 491 br label %if.end292 93if.end2: ; preds = %if.else2, %if.then294 br label %for.inc295 96for.inc2: ; preds = %if.end297 %19 = load i32, ptr %i, align 498 %inc2 = add nsw i32 %19, 199 store i32 %inc2, ptr %i, align 4100 br label %for.cond2101 102for.end: ; preds = %for.cond2103 callbr void asm sideeffect "1: nop\0A\09.quad b, ${0:l}, $$5\0A\09", "!i,~{dirflag},~{fpsr},~{flags}"()104 to label %asm.fallthrough [label %l_yes]105asm.fallthrough: ; preds = %for.end106 br label %l_yes107 108l_yes:109 %20 = load i32, ptr %sum, align 4110 ret i32 %20111}112 113define signext i32 @foo(i32 signext %value, i32 signext %ub) #0 !prof !30 {114; CHECK-LABEL: @foo115; CHECK-NOT: call signext i32 @bar116; CHECK: codeRepl1.i:117; CHECK: call void @bar.1.if.then118; CHECK: codeRepl.i:119; CHECK: call void @bar.1.if.then2120entry:121 %value.addr = alloca i32, align 4122 %ub.addr = alloca i32, align 4123 store i32 %value, ptr %value.addr, align 4124 store i32 %ub, ptr %ub.addr, align 4125 %0 = load i32, ptr %value.addr, align 4126 %1 = load i32, ptr %ub.addr, align 4127 %call = call signext i32 @bar(i32 signext %0, i32 signext %1)128 ret i32 %call129}130 131; CHECK-LABEL: define internal void @bar.1.if.then2132; CHECK: .exitStub:133; CHECK: ret void134 135; CHECK-LABEL: define internal void @bar.1.if.then136; CHECK: .exitStub:137; CHECK: ret void138 139!llvm.module.flags = !{!0, !1, !2}140!llvm.ident = !{!29}141 142!0 = !{i32 1, !"wchar_size", i32 4}143!1 = !{i32 7, !"PIC Level", i32 2}144!2 = !{i32 1, !"ProfileSummary", !3}145!3 = !{!4, !5, !6, !7, !8, !9, !10, !11}146!4 = !{!"ProfileFormat", !"InstrProf"}147!5 = !{!"TotalCount", i64 103}148!6 = !{!"MaxCount", i64 100}149!7 = !{!"MaxInternalCount", i64 1}150!8 = !{!"MaxFunctionCount", i64 100}151!9 = !{!"NumCounts", i64 5}152!10 = !{!"NumFunctions", i64 3}153!11 = !{!"DetailedSummary", !12}154!12 = !{!13, !14, !15, !16, !17, !18, !18, !19, !19, !20, !21, !22, !23, !24, !25, !26, !27, !28}155!13 = !{i32 10000, i64 100, i32 1}156!14 = !{i32 100000, i64 100, i32 1}157!15 = !{i32 200000, i64 100, i32 1}158!16 = !{i32 300000, i64 100, i32 1}159!17 = !{i32 400000, i64 100, i32 1}160!18 = !{i32 500000, i64 100, i32 1}161!19 = !{i32 600000, i64 100, i32 1}162!20 = !{i32 700000, i64 100, i32 1}163!21 = !{i32 800000, i64 100, i32 1}164!22 = !{i32 900000, i64 100, i32 1}165!23 = !{i32 950000, i64 100, i32 1}166!24 = !{i32 990000, i64 1, i32 4}167!25 = !{i32 999000, i64 1, i32 4}168!26 = !{i32 999900, i64 1, i32 4}169!27 = !{i32 999990, i64 1, i32 4}170!28 = !{i32 999999, i64 1, i32 4}171!29 = !{!"clang version 6.0.0 (123456)"}172!30 = !{!"function_entry_count", i64 2}173!31 = !{!"branch_weights", i32 100, i32 1}174!32 = !{!"branch_weights", i32 0, i32 100}175