166 lines · plain
1; RUN: opt < %s -passes='print<block-freq>' -disable-output 2>&1 | FileCheck %s2 3; CHECK-LABEL: Printing analysis {{.*}} for function 'double_exit':4; CHECK-NEXT: block-frequency-info: double_exit5define i32 @double_exit(i32 %N) {6; Mass = 17; Frequency = 18; CHECK-NEXT: entry: float = 1.0, int = [[ENTRY:[0-9]+]]9entry:10 br label %outer11 12; Mass = 113; Backedge mass = 1/3, exit mass = 2/314; Loop scale = 3/215; Pseudo-edges = exit16; Pseudo-mass = 117; Frequency = 1*3/2*1 = 3/218; CHECK-NEXT: outer: float = 1.5,19outer: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, %N23 br i1 %cmp, label %inner, label %exit, !prof !2 ; 2:124 25; Mass = 126; Backedge mass = 3/5, exit mass = 2/527; Loop scale = 5/228; Pseudo-edges = outer.inc @ 1/5, exit @ 1/529; Pseudo-mass = 2/330; Frequency = 3/2*1*5/2*2/3 = 5/231; CHECK-NEXT: inner: float = 2.5,32inner: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, %N36 br i1 %cmp2, label %inner.body, label %outer.inc, !prof !1 ; 4:137 38; Mass = 4/539; Frequency = 5/2*4/5 = 240; CHECK-NEXT: inner.body: float = 2.0,41inner.body:42 %call = call i32 @c2(i32 %I.0, i32 %J.0)43 %tobool = icmp ne i32 %call, 044 br i1 %tobool, label %exit, label %inner.inc, !prof !0 ; 3:145 46; Mass = 3/547; Frequency = 5/2*3/5 = 3/248; CHECK-NEXT: inner.inc: float = 1.5,49inner.inc:50 %call4 = call i32 @logic2(i32 %Return.1, i32 %I.0, i32 %J.0)51 %inc = add nsw i32 %J.0, 152 br label %inner53 54; Mass = 1/355; Frequency = 3/2*1/3 = 1/256; CHECK-NEXT: outer.inc: float = 0.5,57outer.inc:58 %inc6 = add nsw i32 %I.0, 159 br label %outer60 61; Mass = 162; Frequency = 163; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]]64exit:65 %Return.2 = phi i32 [ %Return.1, %inner.body ], [ %Return.0, %outer ]66 ret i32 %Return.267}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 73declare i32 @c2(i32, i32)74declare 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_loop78define i32 @double_exit_in_loop(i32 %N) {79; Mass = 180; Frequency = 181; CHECK-NEXT: entry: float = 1.0, int = [[ENTRY:[0-9]+]]82entry:83 br label %outer84 85; Mass = 186; Backedge mass = 1/2, exit mass = 1/287; Loop scale = 288; Pseudo-edges = exit89; Pseudo-mass = 190; Frequency = 1*2*1 = 291; CHECK-NEXT: outer: float = 2.0,92outer: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, %N96 br i1 %cmp, label %middle, label %exit, !prof !3 ; 1:197 98; Mass = 199; Backedge mass = 1/3, exit mass = 2/3100; Loop scale = 3/2101; Pseudo-edges = outer.inc102; Pseudo-mass = 1/2103; Frequency = 2*1*3/2*1/2 = 3/2104; CHECK-NEXT: middle: float = 1.5,105middle: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, %N109 br i1 %cmp2, label %inner, label %outer.inc, !prof !2 ; 2:1110 111; Mass = 1112; Backedge mass = 3/5, exit mass = 2/5113; Loop scale = 5/2114; Pseudo-edges = middle.inc @ 1/5, outer.inc @ 1/5115; Pseudo-mass = 2/3116; Frequency = 3/2*1*5/2*2/3 = 5/2117; CHECK-NEXT: inner: float = 2.5,118inner: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, %N122 br i1 %cmp5, label %inner.body, label %middle.inc, !prof !1 ; 4:1123 124; Mass = 4/5125; Frequency = 5/2*4/5 = 2126; CHECK-NEXT: inner.body: float = 2.0,127inner.body:128 %call = call i32 @c3(i32 %I.0, i32 %J.0, i32 %K.0)129 %tobool = icmp ne i32 %call, 0130 br i1 %tobool, label %outer.inc, label %inner.inc, !prof !0 ; 3:1131 132; Mass = 3/5133; Frequency = 5/2*3/5 = 3/2134; CHECK-NEXT: inner.inc: float = 1.5,135inner.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, 1138 br label %inner139 140; Mass = 1/3141; Frequency = 3/2*1/3 = 1/2142; CHECK-NEXT: middle.inc: float = 0.5,143middle.inc:144 %inc9 = add nsw i32 %J.0, 1145 br label %middle146 147; Mass = 1/2148; Frequency = 2*1/2 = 1149; CHECK-NEXT: outer.inc: float = 1.0,150outer.inc:151 %Return.3 = phi i32 [ %Return.2, %inner.body ], [ %Return.1, %middle ]152 %inc12 = add nsw i32 %I.0, 1153 br label %outer154 155; Mass = 1156; Frequency = 1157; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]]158exit:159 ret i32 %Return.0160}161 162!3 = !{!"branch_weights", i32 1, i32 1}163 164declare i32 @c3(i32, i32, i32)165declare i32 @logic3(i32, i32, i32, i32)166