llvm/test/Transforms/PGOProfile/irreducible.ll

   1 ; RUN: llvm-profdata merge %S/Inputs/irreducible.proftext -o %t.profdata
   2 ; RUN: opt < %s -pgo-instr-use -pgo-instrument-entry=false -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefix=USE
   3 ; RUN: opt < %s -passes=pgo-instr-use -pgo-instrument-entry=false -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefix=USE
   4 ; RUN: llvm-profdata merge %S/Inputs/irreducible_entry.proftext -o %t2.profdata
   5 ; RUN: opt < %s -pgo-instr-use -pgo-instrument-entry=true -pgo-test-profile-file=%t2.profdata -S | FileCheck %s --check-prefix=USE
   6 ; RUN: opt < %s -passes=pgo-instr-use -pgo-instrument-entry=true -pgo-test-profile-file=%t2.profdata -S | FileCheck %s --check-prefix=USE
   7
   8 ; GEN: $__llvm_profile_raw_version = comdat any
   9
  10 ; Function Attrs: noinline norecurse nounwind readnone uwtable
  11 define i32 @_Z11irreducibleii(i32 %iter_outer, i32 %iter_inner) local_unnamed_addr #0 {
  12 entry:
  13   %cmp24 = icmp sgt i32 %iter_outer, 0
  14   br i1 %cmp24, label %for.body, label %entry.for.cond.cleanup_crit_edge
  15
  16 entry.for.cond.cleanup_crit_edge:                 ; preds = %entry
  17   br label %for.cond.cleanup
  18
  19 for.cond.cleanup:                                 ; preds = %entry.for.cond.cleanup_crit_edge, %for.end
  20   %sum.0.lcssa = phi i32 [ 0, %entry.for.cond.cleanup_crit_edge ], [ %sum.1, %for.end ]
  21   ret i32 %sum.0.lcssa
  22
  23 for.body:                                         ; preds = %entry, %for.end
  24   %k.026 = phi i32 [ %inc12, %for.end ], [ 0, %entry ]
  25   %sum.025 = phi i32 [ %sum.1, %for.end ], [ 0, %entry ]
  26   %rem23 = and i32 %k.026, 1
  27   %cmp1 = icmp eq i32 %rem23, 0
  28   br i1 %cmp1, label %entry8, label %for.cond2
  29
  30 for.cond2:                                        ; preds = %for.body, %if.end9
  31   %sum.1 = phi i32 [ %add10, %if.end9 ], [ %sum.025, %for.body ]
  32   %i.0 = phi i32 [ %inc, %if.end9 ], [ 0, %for.body ]
  33   %cmp3 = icmp slt i32 %i.0, %iter_inner
  34   br i1 %cmp3, label %for.body4, label %for.end
  35 ; USE: br i1 %cmp3, label %for.body4, label %for.end, !prof !{{[0-9]+}},
  36 ; USE-SAME: !irr_loop ![[FOR_COND2_IRR_LOOP:[0-9]+]]
  37
  38 for.body4:                                        ; preds = %for.cond2
  39   %rem5 = srem i32 %k.026, 3
  40   %cmp6 = icmp eq i32 %rem5, 0
  41   br i1 %cmp6, label %entry8, label %if.end9
  42
  43 entry8:                                           ; preds = %for.body4, %for.body
  44   %sum.2 = phi i32 [ %sum.025, %for.body ], [ %sum.1, %for.body4 ]
  45   %i.1 = phi i32 [ 0, %for.body ], [ %i.0, %for.body4 ]
  46   %add = add nsw i32 %sum.2, 4
  47   br label %if.end9
  48 ; USE: br label %if.end9,
  49 ; USE-SAME: !irr_loop ![[ENTRY8_IRR_LOOP:[0-9]+]]
  50
  51 if.end9:                                          ; preds = %entry8, %for.body4
  52   %sum.3 = phi i32 [ %add, %entry8 ], [ %sum.1, %for.body4 ]
  53   %i.2 = phi i32 [ %i.1, %entry8 ], [ %i.0, %for.body4 ]
  54   %add10 = add nsw i32 %sum.3, 1
  55   %inc = add nsw i32 %i.2, 1
  56   br label %for.cond2
  57 ; USE: br label %for.cond2,
  58 ; USE-SAME: !irr_loop ![[IF_END9_IRR_LOOP:[0-9]+]]
  59
  60 for.end:                                          ; preds = %for.cond2
  61   %inc12 = add nuw nsw i32 %k.026, 1
  62   %exitcond = icmp eq i32 %inc12, %iter_outer
  63   br i1 %exitcond, label %for.cond.cleanup, label %for.body
  64 }
  65
  66
  67
  68 @targets = local_unnamed_addr global [256 x i8*] zeroinitializer, align 16
  69 @tracing = local_unnamed_addr global i32 0, align 4
  70
  71 ; Function Attrs: noinline norecurse nounwind uwtable
  72 define i32 @_Z11irreduciblePh(i8* nocapture readonly %p) {
  73 entry:
  74   %0 = load i32, i32* @tracing, align 4
  75   %1 = trunc i32 %0 to i8
  76   %tobool = icmp eq i32 %0, 0
  77   br label %for.cond1
  78
  79 for.cond1:                                        ; preds = %sw.default, %entry
  80   br label %dispatch_op
  81
  82 dispatch_op:                                      ; preds = %sw.bb6, %for.cond1
  83   switch i8 %1, label %sw.default [
  84     i8 0, label %sw.bb
  85     i8 1, label %dispatch_op.sw.bb6_crit_edge
  86     i8 2, label %sw.bb15
  87   ]
  88
  89 dispatch_op.sw.bb6_crit_edge:                     ; preds = %dispatch_op
  90   br label %sw.bb6
  91
  92 sw.bb:                                            ; preds = %indirectgoto, %dispatch_op
  93   br label %exit
  94
  95 TARGET_1:                                         ; preds = %indirectgoto
  96   br label %sw.bb6
  97 ; USE: br label %sw.bb6, !irr_loop {{.*}}
  98
  99 sw.bb6:                                           ; preds = %TARGET_1, %dispatch_op.sw.bb6_crit_edge
 100   br i1 %tobool, label %dispatch_op, label %if.then
 101 ; USE: br i1 %tobool, label %dispatch_op, label %if.then, !prof !{{[0-9]+}},
 102 ; USE-SAME: !irr_loop ![[SW_BB6_IRR_LOOP:[0-9]+]]
 103
 104 if.then:                                          ; preds = %sw.bb6
 105   br label %indirectgoto
 106
 107 TARGET_2:                                         ; preds = %indirectgoto
 108   br label %sw.bb15
 109 ; USE: br label %sw.bb15, !irr_loop {{.*}}
 110
 111 sw.bb15:                                          ; preds = %TARGET_2, %dispatch_op
 112   br i1 %tobool, label %if.then18, label %exit
 113 ; USE: br i1 %tobool, label %if.then18, label %exit, !prof !{{[0-9]+}},
 114 ; USE-SAME: !irr_loop ![[SW_BB15_IRR_LOOP:[0-9]+]]
 115
 116 if.then18:                                        ; preds = %sw.bb15
 117   br label %indirectgoto
 118
 119 unknown_op:                                       ; preds = %indirectgoto
 120   br label %sw.default
 121
 122 sw.default:                                       ; preds = %unknown_op, %dispatch_op
 123   br label %for.cond1
 124
 125 exit:                                             ; preds = %sw.bb15, %sw.bb
 126   ret i32 0
 127
 128 indirectgoto:                                     ; preds = %if.then18, %if.then
 129   %idxprom21 = zext i32 %0 to i64
 130   %arrayidx22 = getelementptr inbounds [256 x i8*], [256 x i8*]* @targets, i64 0, i64 %idxprom21
 131   %target = load i8*, i8** %arrayidx22, align 8
 132   indirectbr i8* %target, [label %unknown_op, label %sw.bb, label %TARGET_1, label %TARGET_2]
 133 ; USE: indirectbr i8* %target, [label %unknown_op, label %sw.bb, label %TARGET_1, label %TARGET_2], !prof !{{[0-9]+}},
 134 ; USE-SAME: !irr_loop ![[INDIRECTGOTO_IRR_LOOP:[0-9]+]]
 135 }
 136
 137 ; USE: ![[FOR_COND2_IRR_LOOP]] = !{!"loop_header_weight", i64 1050}
 138 ; USE: ![[ENTRY8_IRR_LOOP]] = !{!"loop_header_weight", i64 373}
 139 ; USE: ![[IF_END9_IRR_LOOP]] = !{!"loop_header_weight", i64 1000}
 140 ; USE: ![[SW_BB6_IRR_LOOP]] = !{!"loop_header_weight", i64 501}
 141 ; USE: ![[SW_BB15_IRR_LOOP]] = !{!"loop_header_weight", i64 100}
 142 ; USE: ![[INDIRECTGOTO_IRR_LOOP]] = !{!"loop_header_weight", i64 400}