Mercurial > hg > CbC > CbC_llvm

comparison test/CodeGen/X86/sink-blockfreq.ll @ 83:60c9769439b8 LLVM3.7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.7
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Wed, 18 Feb 2015 14:55:36 +0900
parents
children 1172e4bd9c6f
comparison
equal deleted inserted replaced
78:af83660cff7b 83:60c9769439b8
1 ; RUN: llc -disable-machine-licm -machine-sink-bfi=true -mtriple=x86_64-apple-darwin < %s | FileCheck %s -check-prefix=MSINK_BFI
2 ; RUN: llc -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}