llvm/test/Bitcode/thinlto-func-summary-vtableref-pgo.ll

   1 ; Promote at most one function and annotate at most one vtable.
   2 ; As a result, only one value (of each relevant kind) shows up in the function
   3 ; summary.
   4
   5 ; RUN: opt -module-summary -icp-max-num-vtables=1 -icp-max-prom=1 %s -o %t.o
   6
   7 ; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s
   8
   9 ; RUN: llvm-dis -o - %t.o | FileCheck %s --check-prefix=DIS
  10 ; Round trip it through llvm-as
  11 ; RUN: llvm-dis -o - %t.o | llvm-as -o - | llvm-dis -o - | FileCheck %s --check-prefix=DIS
  12
  13 ; CHECK: <GLOBALVAL_SUMMARY_BLOCK
  14 ; CHECK-NEXT:   <VERSION op0=
  15 ; CHECK-NEXT:   <FLAGS op0=0/>
  16 ; The `VALUE_GUID` below represents the "_ZTV4Base" referenced by the instruction
  17 ; that loads vtable pointers.
  18 ; CHECK-NEXT: <VALUE_GUID op0=21 op1=1960855528937986108/>
  19 ; The `VALUE_GUID` below represents the "_ZN4Base4funcEv" referenced by the
  20 ; indirect call instruction.
  21 ; CHECK-NEXT:      <VALUE_GUID op0=20 op1=5459407273543877811/>
  22 ; NOTE vtables and functions from Derived class is dropped because
  23 ; `-icp-max-num-vtables` and `-icp-max-prom` are both set to one.
  24 ; <PERMODULE_PROFILE> has the format [valueid, flags, instcount, funcflags,
  25 ;                                     numrefs, rorefcnt, worefcnt,
  26 ;                                     m x valueid,
  27 ;                                     n x (valueid, hotness+tailcall)]
  28 ; CHECK-NEXT:   <PERMODULE_PROFILE abbrevid=4 op0=0 op1=0 op2=4 op3=256 op4=1 op5=1 op6=0 op7=21 op8=20 op9=3/>
  29 ; CHECK-NEXT:  </GLOBALVAL_SUMMARY_BLOCK>
  30
  31 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  32 target triple = "x86_64-unknown-linux-gnu"
  33
  34 ; Function has one BB and an entry count of 150, so the BB is hot according to
  35 ; ProfileSummary and reflected so in the bitcode (see llvm-dis output).
  36 define i32 @_Z4testP4Base(ptr %0) !prof !15 {
  37   %2 = load ptr, ptr %0, !prof !16
  38   %3 = load ptr, ptr %2
  39   %4 = tail call i32 %3(ptr %0), !prof !17
  40   ret i32 %4
  41 }
  42
  43 !llvm.module.flags = !{!1}
  44
  45 !1 = !{i32 1, !"ProfileSummary", !2}
  46 !2 = !{!3, !4, !5, !6, !7, !8, !9, !10}
  47 !3 = !{!"ProfileFormat", !"InstrProf"}
  48 !4 = !{!"TotalCount", i64 10000}
  49 !5 = !{!"MaxCount", i64 200}
  50 !6 = !{!"MaxInternalCount", i64 200}
  51 !7 = !{!"MaxFunctionCount", i64 200}
  52 !8 = !{!"NumCounts", i64 3}
  53 !9 = !{!"NumFunctions", i64 3}
  54 !10 = !{!"DetailedSummary", !11}
  55 !11 = !{!12, !13, !14}
  56 !12 = !{i32 10000, i64 100, i32 1}
  57 !13 = !{i32 990000, i64 100, i32 1}
  58 !14 = !{i32 999999, i64 1, i32 2}
  59
  60 !15 = !{!"function_entry_count", i32 150}
  61 ; 1960855528937986108 is the MD5 hash of _ZTV4Base, and
  62 ; 13870436605473471591 is the MD5 hash of _ZTV7Derived
  63 !16 = !{!"VP", i32 2, i64 150, i64 1960855528937986108, i64 100, i64 13870436605473471591, i64 50}
  64 ; 5459407273543877811 is the MD5 hash of _ZN4Base4funcEv, and
  65 ; 6174874150489409711 is the MD5 hash of  _ZN7Derived4funcEv
  66 !17 = !{!"VP", i32 0, i64 150, i64 5459407273543877811, i64 100, i64 6174874150489409711, i64 50}
  67
  68 ; ModuleSummaryIndex stores <guid, global-value summary> map in std::map; so
  69 ; global value summares are printed out in the order that gv's guid increases.
  70 ; DIS: ^0 = module: (path: "{{.*}}", hash: (0, 0, 0, 0, 0))
  71 ; DIS: ^1 = gv: (guid: 1960855528937986108)
  72 ; DIS: ^2 = gv: (guid: 5459407273543877811)
  73 ; DIS: ^3 = gv: (name: "_Z4testP4Base", summaries: (function: (module: ^0, flags: (linkage: external, visibility: default, notEligibleToImport: 0, live: 0, dsoLocal: 0, canAutoHide: 0, importType: definition), insts: 4, funcFlags: (readNone: 0, readOnly: 0, noRecurse: 0, returnDoesNotAlias: 0, noInline: 0, alwaysInline: 0, noUnwind: 0, mayThrow: 0, hasUnknownCall: 1, mustBeUnreachable: 0), calls: ((callee: ^2, hotness: hot)), refs: (readonly ^1)))) ; guid = 15857150948103218965
  74 ; DIS: ^4 = blockcount: 0