test/Analysis/BlockFrequencyInfo/loop_with_branch.ll

   1 ; RUN: opt < %s -analyze -block-freq | FileCheck %s
   2 ; RUN: opt < %s -passes='print<block-freq>' -disable-output 2>&1 | FileCheck %s
   3
   4 ; CHECK-LABEL: Printing analysis {{.*}} for function 'loop_with_branch':
   5 ; CHECK-NEXT: block-frequency-info: loop_with_branch
   6 define void @loop_with_branch(i32 %a) {
   7 ; CHECK-NEXT: entry: float = 1.0, int = [[ENTRY:[0-9]+]]
   8 entry:
   9   %skip_loop = call i1 @foo0(i32 %a)
  10   br i1 %skip_loop, label %skip, label %header, !prof !0
  11
  12 ; CHECK-NEXT: skip: float = 0.25,
  13 skip:
  14   br label %exit
  15
  16 ; CHECK-NEXT: header: float = 4.5,
  17 header:
  18   %i = phi i32 [ 0, %entry ], [ %i.next, %back ]
  19   %i.next = add i32 %i, 1
  20   %choose = call i2 @foo1(i32 %i)
  21   switch i2 %choose, label %exit [ i2 0, label %left
  22                                    i2 1, label %right ], !prof !1
  23
  24 ; CHECK-NEXT: left: float = 1.5,
  25 left:
  26   br label %back
  27
  28 ; CHECK-NEXT: right: float = 2.25,
  29 right:
  30   br label %back
  31
  32 ; CHECK-NEXT: back: float = 3.75,
  33 back:
  34   br label %header
  35
  36 ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]]
  37 exit:
  38   ret void
  39 }
  40
  41 declare i1 @foo0(i32)
  42 declare i2 @foo1(i32)
  43
  44 !0 = !{!"branch_weights", i32 1, i32 3}
  45 !1 = !{!"branch_weights", i32 1, i32 2, i32 3}