1 ; RUN: opt < %s -analyze -block-freq | FileCheck %s 2 3 declare void @g(i32 %x) 4 5 ; CHECK-LABEL: Printing analysis {{.*}} for function 'branch_weight_0': 6 ; CHECK-NEXT: block-frequency-info: branch_weight_0 7 define void @branch_weight_0(i32 %a) { 8 ; CHECK-NEXT: entry: float = 1.0, int = [[ENTRY:[0-9]+]] 9 entry: 10 br label %for.body 11 12 ; Check that we get 1,4 instead of 0,3. 13 ; CHECK-NEXT: for.body: float = 4.0, 14 for.body: 15 %i = phi i32 [ 0, %entry ], [ %inc, %for.body ] 16 call void @g(i32 %i) 17 %inc = add i32 %i, 1 18 %cmp = icmp ugt i32 %inc, %a 19 br i1 %cmp, label %for.end, label %for.body, !prof !0 20 21 ; CHECK-NEXT: for.end: float = 1.0, int = [[ENTRY]] 22 for.end: 23 ret void 24 } 25 26 !0 = metadata !{metadata !"branch_weights", i32 0, i32 3} 27 28 ; CHECK-LABEL: Printing analysis {{.*}} for function 'infinite_loop' 29 ; CHECK-NEXT: block-frequency-info: infinite_loop 30 define void @infinite_loop(i1 %x) { 31 ; CHECK-NEXT: entry: float = 1.0, int = [[ENTRY:[0-9]+]] 32 entry: 33 br i1 %x, label %for.body, label %for.end, !prof !1 34 35 ; Check that the loop scale maxes out at 4096, giving 2048 here. 36 ; CHECK-NEXT: for.body: float = 2048.0, 37 for.body: 38 %i = phi i32 [ 0, %entry ], [ %inc, %for.body ] 39 call void @g(i32 %i) 40 %inc = add i32 %i, 1 41 br label %for.body 42 43 ; Check that the exit weight is half of entry, since half is lost in the 44 ; infinite loop above. 45 ; CHECK-NEXT: for.end: float = 0.5, 46 for.end: 47 ret void 48 } 49 50 !1 = metadata !{metadata !"branch_weights", i32 1, i32 1} 51
