134 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 32; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s3 4; Cold function, %dup should not be duplicated into predecessors.5define i32 @cold(i32 %a, ptr %p, ptr %q) !prof !21 {6; CHECK-LABEL: cold:7; CHECK: # %bb.0: # %entry8; CHECK-NEXT: cmpl $2, %edi9; CHECK-NEXT: jl .LBB0_210; CHECK-NEXT: # %bb.1: # %true111; CHECK-NEXT: movl (%rsi), %eax12; CHECK-NEXT: addl $2, %eax13; CHECK-NEXT: .LBB0_3: # %dup14; CHECK-NEXT: cmpl $5, %eax15; CHECK-NEXT: jl .LBB0_516; CHECK-NEXT: # %bb.4: # %true217; CHECK-NEXT: xorl %edi, %eax18; CHECK-NEXT: retq19; CHECK-NEXT: .LBB0_2: # %false120; CHECK-NEXT: movl (%rdx), %eax21; CHECK-NEXT: addl $-3, %eax22; CHECK-NEXT: jmp .LBB0_323; CHECK-NEXT: .LBB0_5: # %false224; CHECK-NEXT: andl %edi, %eax25; CHECK-NEXT: retq26entry:27 %cond1 = icmp sgt i32 %a, 128 br i1 %cond1, label %true1, label %false1, !prof !3029 30true1:31 %v1 = load i32, ptr %p, align 432 %v2 = add i32 %v1, 233 br label %dup34 35false1:36 %v3 = load i32, ptr %q, align 437 %v4 = sub i32 %v3, 338 br label %dup39 40dup:41 %v5 = phi i32 [%v2, %true1], [%v4, %false1]42 %cond2 = icmp sgt i32 %v5, 443 br i1 %cond2, label %true2, label %false2, !prof !3044 45true2:46 %v6 = xor i32 %v5, %a47 br label %exit48 49false2:50 %v7 = and i32 %v5, %a51 br label %exit52 53exit:54 %v8 = phi i32 [%v6, %true2], [%v7, %false2]55 ret i32 %v856}57 58; Same code as previous function, but with hot profile count.59; So %dup should be duplicated into predecessors.60define i32 @hot(i32 %a, ptr %p, ptr %q) !prof !22 {61; CHECK-LABEL: hot:62; CHECK: # %bb.0: # %entry63; CHECK-NEXT: cmpl $2, %edi64; CHECK-NEXT: jl .LBB1_265; CHECK-NEXT: # %bb.1: # %true166; CHECK-NEXT: movl (%rsi), %eax67; CHECK-NEXT: addl $2, %eax68; CHECK-NEXT: cmpl $5, %eax69; CHECK-NEXT: jge .LBB1_470; CHECK-NEXT: .LBB1_5: # %false271; CHECK-NEXT: andl %edi, %eax72; CHECK-NEXT: retq73; CHECK-NEXT: .LBB1_2: # %false174; CHECK-NEXT: movl (%rdx), %eax75; CHECK-NEXT: addl $-3, %eax76; CHECK-NEXT: cmpl $5, %eax77; CHECK-NEXT: jl .LBB1_578; CHECK-NEXT: .LBB1_4: # %true279; CHECK-NEXT: xorl %edi, %eax80; CHECK-NEXT: retq81entry:82 %cond1 = icmp sgt i32 %a, 183 br i1 %cond1, label %true1, label %false1, !prof !3084 85true1:86 %v1 = load i32, ptr %p, align 487 %v2 = add i32 %v1, 288 br label %dup89 90false1:91 %v3 = load i32, ptr %q, align 492 %v4 = sub i32 %v3, 393 br label %dup94 95dup:96 %v5 = phi i32 [%v2, %true1], [%v4, %false1]97 %cond2 = icmp sgt i32 %v5, 498 br i1 %cond2, label %true2, label %false2, !prof !3099 100true2:101 %v6 = xor i32 %v5, %a102 br label %exit103 104false2:105 %v7 = and i32 %v5, %a106 br label %exit107 108exit:109 %v8 = phi i32 [%v6, %true2], [%v7, %false2]110 ret i32 %v8111}112 113 114!llvm.module.flags = !{!1}115!21 = !{!"function_entry_count", i64 10}116!22 = !{!"function_entry_count", i64 400}117 118!30 = !{!"branch_weights", i32 1, i32 1}119 120!1 = !{i32 1, !"ProfileSummary", !2}121!2 = !{!3, !4, !5, !6, !7, !8, !9, !10}122!3 = !{!"ProfileFormat", !"InstrProf"}123!4 = !{!"TotalCount", i64 10000}124!5 = !{!"MaxCount", i64 10}125!6 = !{!"MaxInternalCount", i64 1}126!7 = !{!"MaxFunctionCount", i64 1000}127!8 = !{!"NumCounts", i64 3}128!9 = !{!"NumFunctions", i64 3}129!10 = !{!"DetailedSummary", !11}130!11 = !{!12, !13, !14}131!12 = !{i32 10000, i64 100, i32 1}132!13 = !{i32 999000, i64 100, i32 1}133!14 = !{i32 999999, i64 1, i32 2}134