test/Transforms/PGOProfile/criticaledge_use.ll

   1 ; RUN: llvm-profdata merge %S/Inputs/criticaledge.proftext -o %T/criticaledge.profdata
   2 ; RUN: opt < %s -pgo-instr-use -pgo-profile-file=%T/criticaledge.profdata -S | FileCheck %s
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 define i32 @_Z17test_criticalEdgeii(i32 %i, i32 %j) {
   7 entry:
   8   switch i32 %i, label %sw.default [
   9     i32 1, label %sw.bb
  10     i32 2, label %sw.bb1
  11     i32 3, label %sw.bb3
  12     i32 4, label %sw.bb3
  13 ; CHECK:    i32 3, label %entry.sw.bb3_crit_edge
  14 ; CHECK:    i32 4, label %entry.sw.bb3_crit_edge1
  15     i32 5, label %sw.bb3
  16   ]
  17 ; CHECK: !prof !0
  18
  19 ; CHECK: entry.sw.bb3_crit_edge1:
  20 ; CHECK:   br label %sw.bb3
  21 ; CHECK: entry.sw.bb3_crit_edge:
  22 ; CHECK:   br label %sw.bb3
  23
  24 sw.bb:
  25   %call = call i32 @_ZL3bari(i32 2)
  26   br label %sw.epilog
  27
  28 sw.bb1:
  29   %call2 = call i32 @_ZL3bari(i32 1024)
  30   br label %sw.epilog
  31
  32 sw.bb3:
  33   %cmp = icmp eq i32 %j, 2
  34   br i1 %cmp, label %if.then, label %if.end
  35 ; CHECK: !prof !1
  36
  37 if.then:
  38   %call4 = call i32 @_ZL3bari(i32 4)
  39   br label %return
  40
  41 if.end:
  42   %call5 = call i32 @_ZL3bari(i32 8)
  43   br label %sw.epilog
  44
  45 sw.default:
  46   %call6 = call i32 @_ZL3bari(i32 32)
  47   %cmp7 = icmp sgt i32 %j, 10
  48   br i1 %cmp7, label %if.then8, label %if.end9
  49 ; CHECK: !prof !2
  50
  51 if.then8:
  52   %add = add nsw i32 %call6, 10
  53   br label %if.end9
  54
  55 if.end9:
  56   %res.0 = phi i32 [ %add, %if.then8 ], [ %call6, %sw.default ]
  57   br label %sw.epilog
  58
  59 sw.epilog:
  60   %res.1 = phi i32 [ %res.0, %if.end9 ], [ %call5, %if.end ], [ %call2, %sw.bb1 ], [ %call, %sw.bb ]
  61   br label %return
  62
  63 return:
  64   %retval = phi i32 [ %res.1, %sw.epilog ], [ %call4, %if.then ]
  65   ret i32 %retval
  66 }
  67
  68 define internal i32 @_ZL3bari(i32 %i) {
  69 entry:
  70   ret i32 %i
  71 }
  72
  73 ; CHECK: !0 = !{!"branch_weights", i32 2, i32 1, i32 0, i32 2, i32 1, i32 1}
  74 ; CHECK: !1 = !{!"branch_weights", i32 2, i32 2}
  75 ; CHECK: !2 = !{!"branch_weights", i32 1, i32 1}