test/Analysis/BlockFrequencyInfo/double_exit.ll

   1 ; RUN: opt < %s -analyze -block-freq | FileCheck %s
   2
   3 ; CHECK-LABEL: Printing analysis {{.*}} for function 'double_exit':
   4 ; CHECK-NEXT: block-frequency-info: double_exit
   5 define i32 @double_exit(i32 %N) {
   6 ; Mass = 1
   7 ; Frequency = 1
   8 ; CHECK-NEXT: entry: float = 1.0, int = [[ENTRY:[0-9]+]]
   9 entry:
  10   br label %outer
  11
  12 ; Mass = 1
  13 ; Backedge mass = 1/3, exit mass = 2/3
  14 ; Loop scale = 3/2
  15 ; Pseudo-edges = exit
  16 ; Pseudo-mass = 1
  17 ; Frequency = 1*3/2*1 = 3/2
  18 ; CHECK-NEXT: outer: float = 1.5,
  19 outer:
  20   %I.0 = phi i32 [ 0, %entry ], [ %inc6, %outer.inc ]
  21   %Return.0 = phi i32 [ 0, %entry ], [ %Return.1, %outer.inc ]
  22   %cmp = icmp slt i32 %I.0, %N
  23   br i1 %cmp, label %inner, label %exit, !prof !2 ; 2:1
  24
  25 ; Mass = 1
  26 ; Backedge mass = 3/5, exit mass = 2/5
  27 ; Loop scale = 5/2
  28 ; Pseudo-edges = outer.inc @ 1/5, exit @ 1/5
  29 ; Pseudo-mass = 2/3
  30 ; Frequency = 3/2*1*5/2*2/3 = 5/2
  31 ; CHECK-NEXT: inner: float = 2.5,
  32 inner:
  33   %Return.1 = phi i32 [ %Return.0, %outer ], [ %call4, %inner.inc ]
  34   %J.0 = phi i32 [ %I.0, %outer ], [ %inc, %inner.inc ]
  35   %cmp2 = icmp slt i32 %J.0, %N
  36   br i1 %cmp2, label %inner.body, label %outer.inc, !prof !1 ; 4:1
  37
  38 ; Mass = 4/5
  39 ; Frequency = 5/2*4/5 = 2
  40 ; CHECK-NEXT: inner.body: float = 2.0,
  41 inner.body:
  42   %call = call i32 @c2(i32 %I.0, i32 %J.0)
  43   %tobool = icmp ne i32 %call, 0
  44   br i1 %tobool, label %exit, label %inner.inc, !prof !0 ; 3:1
  45
  46 ; Mass = 3/5
  47 ; Frequency = 5/2*3/5 = 3/2
  48 ; CHECK-NEXT: inner.inc: float = 1.5,
  49 inner.inc:
  50   %call4 = call i32 @logic2(i32 %Return.1, i32 %I.0, i32 %J.0)
  51   %inc = add nsw i32 %J.0, 1
  52   br label %inner
  53
  54 ; Mass = 1/3
  55 ; Frequency = 3/2*1/3 = 1/2
  56 ; CHECK-NEXT: outer.inc: float = 0.5,
  57 outer.inc:
  58   %inc6 = add nsw i32 %I.0, 1
  59   br label %outer
  60
  61 ; Mass = 1
  62 ; Frequency = 1
  63 ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]]
  64 exit:
  65   %Return.2 = phi i32 [ %Return.1, %inner.body ], [ %Return.0, %outer ]
  66   ret i32 %Return.2
  67 }
  68
  69 !0 = !{!"branch_weights", i32 1, i32 3}
  70 !1 = !{!"branch_weights", i32 4, i32 1}
  71 !2 = !{!"branch_weights", i32 2, i32 1}
  72
  73 declare i32 @c2(i32, i32)
  74 declare i32 @logic2(i32, i32, i32)
  75
  76 ; CHECK-LABEL: Printing analysis {{.*}} for function 'double_exit_in_loop':
  77 ; CHECK-NEXT: block-frequency-info: double_exit_in_loop
  78 define i32 @double_exit_in_loop(i32 %N) {
  79 ; Mass = 1
  80 ; Frequency = 1
  81 ; CHECK-NEXT: entry: float = 1.0, int = [[ENTRY:[0-9]+]]
  82 entry:
  83   br label %outer
  84
  85 ; Mass = 1
  86 ; Backedge mass = 1/2, exit mass = 1/2
  87 ; Loop scale = 2
  88 ; Pseudo-edges = exit
  89 ; Pseudo-mass = 1
  90 ; Frequency = 1*2*1 = 2
  91 ; CHECK-NEXT: outer: float = 2.0,
  92 outer:
  93   %I.0 = phi i32 [ 0, %entry ], [ %inc12, %outer.inc ]
  94   %Return.0 = phi i32 [ 0, %entry ], [ %Return.3, %outer.inc ]
  95   %cmp = icmp slt i32 %I.0, %N
  96   br i1 %cmp, label %middle, label %exit, !prof !3 ; 1:1
  97
  98 ; Mass = 1
  99 ; Backedge mass = 1/3, exit mass = 2/3
 100 ; Loop scale = 3/2
 101 ; Pseudo-edges = outer.inc
 102 ; Pseudo-mass = 1/2
 103 ; Frequency = 2*1*3/2*1/2 = 3/2
 104 ; CHECK-NEXT: middle: float = 1.5,
 105 middle:
 106   %J.0 = phi i32 [ %I.0, %outer ], [ %inc9, %middle.inc ]
 107   %Return.1 = phi i32 [ %Return.0, %outer ], [ %Return.2, %middle.inc ]
 108   %cmp2 = icmp slt i32 %J.0, %N
 109   br i1 %cmp2, label %inner, label %outer.inc, !prof !2 ; 2:1
 110
 111 ; Mass = 1
 112 ; Backedge mass = 3/5, exit mass = 2/5
 113 ; Loop scale = 5/2
 114 ; Pseudo-edges = middle.inc @ 1/5, outer.inc @ 1/5
 115 ; Pseudo-mass = 2/3
 116 ; Frequency = 3/2*1*5/2*2/3 = 5/2
 117 ; CHECK-NEXT: inner: float = 2.5,
 118 inner:
 119   %Return.2 = phi i32 [ %Return.1, %middle ], [ %call7, %inner.inc ]
 120   %K.0 = phi i32 [ %J.0, %middle ], [ %inc, %inner.inc ]
 121   %cmp5 = icmp slt i32 %K.0, %N
 122   br i1 %cmp5, label %inner.body, label %middle.inc, !prof !1 ; 4:1
 123
 124 ; Mass = 4/5
 125 ; Frequency = 5/2*4/5 = 2
 126 ; CHECK-NEXT: inner.body: float = 2.0,
 127 inner.body:
 128   %call = call i32 @c3(i32 %I.0, i32 %J.0, i32 %K.0)
 129   %tobool = icmp ne i32 %call, 0
 130   br i1 %tobool, label %outer.inc, label %inner.inc, !prof !0 ; 3:1
 131
 132 ; Mass = 3/5
 133 ; Frequency = 5/2*3/5 = 3/2
 134 ; CHECK-NEXT: inner.inc: float = 1.5,
 135 inner.inc:
 136   %call7 = call i32 @logic3(i32 %Return.2, i32 %I.0, i32 %J.0, i32 %K.0)
 137   %inc = add nsw i32 %K.0, 1
 138   br label %inner
 139
 140 ; Mass = 1/3
 141 ; Frequency = 3/2*1/3 = 1/2
 142 ; CHECK-NEXT: middle.inc: float = 0.5,
 143 middle.inc:
 144   %inc9 = add nsw i32 %J.0, 1
 145   br label %middle
 146
 147 ; Mass = 1/2
 148 ; Frequency = 2*1/2 = 1
 149 ; CHECK-NEXT: outer.inc: float = 1.0,
 150 outer.inc:
 151   %Return.3 = phi i32 [ %Return.2, %inner.body ], [ %Return.1, %middle ]
 152   %inc12 = add nsw i32 %I.0, 1
 153   br label %outer
 154
 155 ; Mass = 1
 156 ; Frequency = 1
 157 ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]]
 158 exit:
 159   ret i32 %Return.0
 160 }
 161
 162 !3 = !{!"branch_weights", i32 1, i32 1}
 163
 164 declare i32 @c3(i32, i32, i32)
 165 declare i32 @logic3(i32, i32, i32, i32)