1 ; RUN: llc -disable-preheader-prot=true -disable-machine-licm -machine-sink-bfi=true -mtriple=x86_64-apple-darwin < %s | FileCheck %s -check-prefix=MSINK_BFI 2 ; RUN: llc -disable-preheader-prot=true -disable-machine-licm -machine-sink-bfi=false -mtriple=x86_64-apple-darwin < %s | FileCheck %s -check-prefix=MSINK_NOBFI 3 4 ; Test that by changing BlockFrequencyInfo we change the order in which 5 ; machine-sink looks for sucessor blocks. By not using BFI, both G and B 6 ; have the same loop depth and no instructions is sinked - B is selected but 7 ; can't be used as to avoid breaking a non profitable critical edge. By using 8 ; BFI, "mul" is sinked into the less frequent block G. 9 define i32 @sink_freqinfo(i32 %a, i32 %b) nounwind uwtable ssp { 10 ; MSINK_BFI-LABEL: sink_freqinfo 11 ; MSINK_BFI: jl 12 ; MSINK_BFI-NEXT: ## BB# 13 ; MSINK_BFI-NEXT: imull 14 15 ; MSINK_NOBFI-LABEL: sink_freqinfo 16 ; MSINK_NOBFI: imull 17 ; MSINK_NOBFI: jl 18 entry: 19 br label %B 20 21 B: 22 %ee = phi i32 [ 0, %entry ], [ %inc, %F ] 23 %xx = sub i32 %a, %ee 24 %cond0 = icmp slt i32 %xx, 0 25 br i1 %cond0, label %F, label %exit, !prof !0 26 27 F: 28 %inc = add nsw i32 %xx, 2 29 %aa = mul nsw i32 %b, %inc 30 %exitcond = icmp slt i32 %inc, %a 31 br i1 %exitcond, label %B, label %G, !prof !1 32 33 G: 34 %ii = add nsw i32 %aa, %a 35 %ll = add i32 %b, 45 36 %exitcond2 = icmp sge i32 %ii, %b 37 br i1 %exitcond2, label %G, label %exit, !prof !2 38 39 exit: 40 ret i32 0 41 } 42 43 !0 = !{!"branch_weights", i32 4, i32 1} 44 !1 = !{!"branch_weights", i32 128, i32 1} 45 !2 = !{!"branch_weights", i32 1, i32 1} 46
