test/CodeGen/X86/code_placement_cold_loop_blocks.ll

   1 ; RUN: llc -mcpu=corei7 -mtriple=x86_64-linux < %s | FileCheck %s -check-prefix=CHECK
   2
   3 define void @foo() !prof !1 {
   4 ; Test if a cold block in a loop will be placed at the end of the function
   5 ; chain.
   6 ;
   7 ; CHECK-LABEL: foo:
   8 ; CHECK: callq b
   9 ; CHECK: callq c
  10 ; CHECK: callq e
  11 ; CHECK: callq f
  12 ; CHECK: callq d
  13
  14 entry:
  15   br label %header
  16
  17 header:
  18   call void @b()
  19   %call = call zeroext i1 @a()
  20   br i1 %call, label %if.then, label %if.else, !prof !4
  21
  22 if.then:
  23   call void @c()
  24   br label %if.end
  25
  26 if.else:
  27   call void @d()
  28   br label %if.end
  29
  30 if.end:
  31   call void @e()
  32   %call2 = call zeroext i1 @a()
  33   br i1 %call2, label %header, label %end, !prof !5
  34
  35 end:
  36   call void @f()
  37   ret void
  38 }
  39
  40 define void @nested_loop_0() !prof !1 {
  41 ; Test if a block that is cold in the inner loop but not cold in the outer loop
  42 ; will merged to the outer loop chain.
  43 ;
  44 ; CHECK-LABEL: nested_loop_0:
  45 ; CHECK: callq c
  46 ; CHECK: callq d
  47 ; CHECK: callq e
  48 ; CHECK: callq b
  49 ; CHECK: callq f
  50
  51 entry:
  52   br label %header
  53
  54 header:
  55   call void @b()
  56   %call4 = call zeroext i1 @a()
  57   br i1 %call4, label %header2, label %end
  58
  59 header2:
  60   call void @c()
  61   %call = call zeroext i1 @a()
  62   br i1 %call, label %if.then, label %if.else, !prof !2
  63
  64 if.then:
  65   call void @d()
  66   %call3 = call zeroext i1 @a()
  67   br i1 %call3, label %header2, label %header, !prof !3
  68
  69 if.else:
  70   call void @e()
  71   %call2 = call zeroext i1 @a()
  72   br i1 %call2, label %header2, label %header, !prof !3
  73
  74 end:
  75   call void @f()
  76   ret void
  77 }
  78
  79 define void @nested_loop_1() !prof !1 {
  80 ; Test if a cold block in an inner loop will be placed at the end of the
  81 ; function chain.
  82 ;
  83 ; CHECK-LABEL: nested_loop_1:
  84 ; CHECK: callq b
  85 ; CHECK: callq c
  86 ; CHECK: callq e
  87 ; CHECK: callq d
  88
  89 entry:
  90   br label %header
  91
  92 header:
  93   call void @b()
  94   br label %header2
  95
  96 header2:
  97   call void @c()
  98   %call = call zeroext i1 @a()
  99   br i1 %call, label %end, label %if.else, !prof !4
 100
 101 if.else:
 102   call void @d()
 103   %call2 = call zeroext i1 @a()
 104   br i1 %call2, label %header2, label %header, !prof !5
 105
 106 end:
 107   call void @e()
 108   ret void
 109 }
 110
 111 declare zeroext i1 @a()
 112 declare void @b()
 113 declare void @c()
 114 declare void @d()
 115 declare void @e()
 116 declare void @f()
 117
 118 !1 = !{!"function_entry_count", i64 1}
 119 !2 = !{!"branch_weights", i32 100, i32 1}
 120 !3 = !{!"branch_weights", i32 1, i32 10}
 121 !4 = !{!"branch_weights", i32 1000, i32 1}
 122 !5 = !{!"branch_weights", i32 100, i32 1}