test/Transforms/PGOProfile/loop3_gen.ll

   1 ; RUN: opt < %s -pgo-instr-gen -S | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 ; CHECK: @__llvm_profile_name__Z15test_nested_foriii = private constant [22 x i8] c"_Z15test_nested_foriii"
   6
   7 define i32 @_Z15test_nested_foriii(i32 %r, i32 %s, i32 %t) {
   8 entry:
   9   br label %for.cond
  10
  11 for.cond:
  12   %i.0 = phi i32 [ 0, %entry ], [ %inc12, %for.inc11 ]
  13   %nested_for_sum.0 = phi i32 [ 1, %entry ], [ %nested_for_sum.1, %for.inc11 ]
  14   %cmp = icmp slt i32 %i.0, %r
  15   br i1 %cmp, label %for.body, label %for.end13
  16
  17 for.body:
  18   br label %for.cond1
  19
  20 for.cond1:
  21   %j.0 = phi i32 [ 0, %for.body ], [ %inc9, %for.inc8 ]
  22   %nested_for_sum.1 = phi i32 [ %nested_for_sum.0, %for.body ], [ %nested_for_sum.2, %for.inc8 ]
  23   %cmp2 = icmp slt i32 %j.0, %s
  24   br i1 %cmp2, label %for.body3, label %for.end10
  25
  26 for.body3:
  27   br label %for.cond4
  28
  29 for.cond4:
  30   %k.0 = phi i32 [ 0, %for.body3 ], [ %inc7, %for.inc ]
  31   %nested_for_sum.2 = phi i32 [ %nested_for_sum.1, %for.body3 ], [ %inc, %for.inc ]
  32   %cmp5 = icmp slt i32 %k.0, %t
  33   br i1 %cmp5, label %for.body6, label %for.end
  34
  35 for.body6:
  36   %inc = add nsw i32 %nested_for_sum.2, 1
  37   br label %for.inc
  38
  39 for.inc:
  40   %inc7 = add nsw i32 %k.0, 1
  41   br label %for.cond4
  42
  43 for.end:
  44   br label %for.inc8
  45
  46 for.inc8:
  47   %inc9 = add nsw i32 %j.0, 1
  48   br label %for.cond1
  49
  50 for.end10:
  51   br label %for.inc11
  52
  53 for.inc11:
  54   %inc12 = add nsw i32 %i.0, 1
  55   br label %for.cond
  56
  57 for.end13:
  58   ret i32 %nested_for_sum.0
  59 }