test/Transforms/PGOProfile/branch1.ll

   1 ; RUN: opt < %s -pgo-instr-gen -S | FileCheck %s --check-prefix=GEN --check-prefix=GEN-COMDAT
   2 ; RUN: opt < %s -mtriple=x86_64-apple-darwin -pgo-instr-gen -S | FileCheck %s --check-prefix=GEN --check-prefix=GEN-DARWIN-LINKONCE
   3
   4 ; New PM
   5 ; RUN: opt < %s -passes=pgo-instr-gen -S | FileCheck %s --check-prefix=GEN --check-prefix=GEN-COMDAT
   6 ; RUN: opt < %s -mtriple=x86_64-apple-darwin -passes=pgo-instr-gen -S | FileCheck %s --check-prefix=GEN --check-prefix=GEN-DARWIN-LINKONCE
   7
   8 ; RUN: llvm-profdata merge %S/Inputs/branch1.proftext -o %t.profdata
   9 ; RUN: opt < %s -pgo-instr-use -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefix=USE
  10
  11 ; RUN: llvm-profdata merge %S/Inputs/branch1_large_count.proftext -o %t.l.profdata
  12 ; RUN: opt < %s -pgo-instr-use -pgo-test-profile-file=%t.l.profdata -S | FileCheck %s --check-prefix=USE-LARGE
  13
  14 ; New PM
  15 ; RUN: opt < %s -passes=pgo-instr-use -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefix=USE
  16 ; RUN: opt < %s -passes=pgo-instr-use -pgo-test-profile-file=%t.l.profdata -S | FileCheck %s --check-prefix=USE-LARGE
  17
  18 ; RUN: opt < %s -pgo-instr-use -pgo-test-profile-file=%t.profdata -pass-remarks=pgo-instrumentation -pgo-emit-branch-prob -S 2>&1| FileCheck %s --check-prefix=ANALYSIS
  19 ; RUN: opt < %s -passes=pgo-instr-use -pgo-test-profile-file=%t.profdata -pass-remarks=pgo-instrumentation -pgo-emit-branch-prob -S 2>&1| FileCheck %s --check-prefix=ANALYSIS
  20
  21 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  22 target triple = "x86_64-unknown-linux-gnu"
  23 ; GEN-DARWIN-LINKONCE: target triple = "x86_64-apple-darwin"
  24
  25 ; GEN-COMDAT: $__llvm_profile_raw_version = comdat any
  26 ; GEN-COMDAT: @__llvm_profile_raw_version = constant i64 {{[0-9]+}}, comdat
  27 ; GEN-LINKONCE: @__llvm_profile_raw_version = linkonce constant i64 {{[0-9]+}}
  28 ; GEN: @__profn_test_br_1 = private constant [9 x i8] c"test_br_1"
  29
  30 define i32 @test_br_1(i32 %i) {
  31 ; USE-LABEL: @test_br_1
  32 ; USE-SAME: !prof ![[FUNC_ENTRY_COUNT:[0-9]+]]
  33 entry:
  34 ; GEN: entry:
  35 ; GEN: call void @llvm.instrprof.increment(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @__profn_test_br_1, i32 0, i32 0), i64 25571299074, i32 2, i32 0)
  36   %cmp = icmp sgt i32 %i, 0
  37   br i1 %cmp, label %if.then, label %if.end
  38 ; USE: br i1 %cmp, label %if.then, label %if.end
  39 ; USE-SAME: !prof ![[BW_ENTRY:[0-9]+]]
  40 ; USE-DAG: ![[BW_ENTRY]] = !{!"branch_weights", i32 2, i32 1}
  41 ; USE-LARGE: br i1 %cmp, label %if.then, label %if.end
  42 ; USE-LARGE-SAME: !prof ![[BW_L_ENTRY:[0-9]+]]
  43 ; USE-LARGE-DAG: ![[BW_L_ENTRY]] = !{!"branch_weights", i32 -1431655766, i32 1431655765}
  44
  45 if.then:
  46 ; GEN: if.then:
  47 ; GEN: call void @llvm.instrprof.increment(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @__profn_test_br_1, i32 0, i32 0), i64 25571299074, i32 2, i32 1)
  48   %add = add nsw i32 %i, 2
  49   br label %if.end
  50
  51 if.end:
  52 ; GEN: if.end:
  53 ; GEN-NOT: llvm.instrprof.increment
  54 ; GEN: ret i32
  55   %retv = phi i32 [ %add, %if.then ], [ %i, %entry ]
  56   ret i32 %retv
  57 }
  58 ; USE-DAG: {{![0-9]+}} = !{i32 1, !"ProfileSummary", {{![0-9]+}}}
  59 ; USE-DAG: {{![0-9]+}} = !{!"DetailedSummary", {{![0-9]+}}}
  60 ; USE-DAG: ![[FUNC_ENTRY_COUNT]] = !{!"function_entry_count", i64 3}
  61
  62 ; ANALYSIS:remark: <unknown>:0:0: sgt_i32_Zero {{.*}}66.67% (total count : 3)