2017-05-12 01:18:05 +02:00
|
|
|
; Test to check the callgraph in summary when there is PGO
|
|
|
|
; RUN: opt -module-summary %s -o %t.o
|
|
|
|
; RUN: llvm-bcanalyzer -dump %t.o | FileCheck %s
|
2017-08-03 19:11:41 +02:00
|
|
|
; RUN: opt -module-summary %p/Inputs/thinlto-function-summary-callgraph-sample-profile-summary.ll -o %t2.o
|
2017-05-12 01:18:05 +02:00
|
|
|
; RUN: llvm-lto -thinlto -o %t3 %t.o %t2.o
|
|
|
|
; RUN: llvm-bcanalyzer -dump %t3.thinlto.bc | FileCheck %s --check-prefix=COMBINED
|
|
|
|
|
|
|
|
|
|
|
|
; CHECK: <SOURCE_FILENAME
|
|
|
|
; "hot_function"
|
|
|
|
; CHECK-NEXT: <FUNCTION op0=0 op1=12
|
|
|
|
; "hot1"
|
|
|
|
; CHECK-NEXT: <FUNCTION op0=12 op1=4
|
|
|
|
; "hot2"
|
|
|
|
; CHECK-NEXT: <FUNCTION op0=16 op1=4
|
|
|
|
; "hot3"
|
|
|
|
; CHECK-NEXT: <FUNCTION op0=20 op1=4
|
|
|
|
; "hot4"
|
2017-08-03 19:11:41 +02:00
|
|
|
; CHECK-NEXT: <FUNCTION op0=24 op1=5
|
2017-05-12 01:18:05 +02:00
|
|
|
; "cold"
|
2017-08-03 19:11:41 +02:00
|
|
|
; CHECK-NEXT: <FUNCTION op0=29 op1=5
|
2017-05-12 01:18:05 +02:00
|
|
|
; "none1"
|
2017-08-03 19:11:41 +02:00
|
|
|
; CHECK-NEXT: <FUNCTION op0=34 op1=5
|
2017-05-12 01:18:05 +02:00
|
|
|
; "none2"
|
2017-08-03 19:11:41 +02:00
|
|
|
; CHECK-NEXT: <FUNCTION op0=39 op1=5
|
2017-05-12 01:18:05 +02:00
|
|
|
; "none3"
|
2017-08-03 19:11:41 +02:00
|
|
|
; CHECK-NEXT: <FUNCTION op0=44 op1=5
|
|
|
|
; CHECK-NEXT: <FUNCTION op0=49 op1=5
|
|
|
|
|
2017-05-12 01:18:05 +02:00
|
|
|
; CHECK-LABEL: <GLOBALVAL_SUMMARY_BLOCK
|
|
|
|
; CHECK-NEXT: <VERSION
|
[LTO] Record whether LTOUnit splitting is enabled in index
Summary:
Records in the module summary index whether the bitcode was compiled
with the option necessary to enable splitting the LTO unit
(e.g. -fsanitize=cfi, -fwhole-program-vtables, or -fsplit-lto-unit).
The information is passed down to the ModuleSummaryIndex builder via a
new module flag "EnableSplitLTOUnit", which is propagated onto a flag
on the summary index.
This is then used during the LTO link to check whether all linked
summaries were built with the same value of this flag. If not, an error
is issued when we detect a situation requiring whole program visibility
of the class hierarchy. This is the case when both of the following
conditions are met:
1) We are performing LowerTypeTests or Whole Program Devirtualization.
2) There are type tests or type checked loads in the code.
Note I have also changed the ThinLTOBitcodeWriter to also gate the
module splitting on the value of this flag.
Reviewers: pcc
Subscribers: ormris, mehdi_amini, Prazek, inglorion, eraman, steven_wu, dexonsmith, arphaman, dang, llvm-commits
Differential Revision: https://reviews.llvm.org/D53890
llvm-svn: 350948
2019-01-11 19:31:57 +01:00
|
|
|
; CHECK-NEXT: <FLAGS
|
2017-08-03 19:11:41 +02:00
|
|
|
; CHECK-NEXT: <VALUE_GUID op0=26 op1=123/>
|
|
|
|
; op4=none1 op6=hot1 op8=cold1 op10=none2 op12=hot2 op14=cold2 op16=none3 op18=hot3 op20=cold3 op22=123
|
2019-07-05 17:25:05 +02:00
|
|
|
; CHECK-NEXT: <PERMODULE_PROFILE {{.*}} op7=7 op8=0 op9=1 op10=3 op11=4 op12=1 op13=8 op14=0 op15=2 op16=3 op17=5 op18=1 op19=9 op20=0 op21=3 op22=3 op23=6 op24=1 op25=26 op26=4/>
|
2017-05-12 01:18:05 +02:00
|
|
|
; CHECK-NEXT: </GLOBALVAL_SUMMARY_BLOCK>
|
|
|
|
|
|
|
|
; CHECK: <STRTAB_BLOCK
|
2017-08-03 19:11:41 +02:00
|
|
|
; CHECK-NEXT: blob data = 'hot_functionhot1hot2hot3cold1cold2cold3none1none2none3{{.*}}'
|
2017-05-12 01:18:05 +02:00
|
|
|
|
|
|
|
; COMBINED: <GLOBALVAL_SUMMARY_BLOCK
|
|
|
|
; COMBINED-NEXT: <VERSION
|
2018-02-07 05:05:59 +01:00
|
|
|
; COMBINED-NEXT: <FLAGS
|
2017-05-12 01:18:05 +02:00
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
2017-08-03 19:11:41 +02:00
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
|
|
|
; COMBINED-NEXT: <VALUE_GUID
|
|
|
|
; COMBINED-NEXT: <COMBINED abbrevid=
|
2017-05-12 01:18:05 +02:00
|
|
|
; COMBINED-NEXT: <COMBINED abbrevid=
|
|
|
|
; COMBINED-NEXT: <COMBINED abbrevid=
|
|
|
|
; COMBINED-NEXT: <COMBINED abbrevid=
|
|
|
|
; COMBINED-NEXT: <COMBINED abbrevid=
|
|
|
|
; COMBINED-NEXT: <COMBINED abbrevid=
|
|
|
|
; COMBINED-NEXT: <COMBINED abbrevid=
|
2017-08-03 19:11:41 +02:00
|
|
|
; COMBINED-NEXT: <COMBINED abbrevid=
|
2019-07-05 17:25:05 +02:00
|
|
|
; COMBINED-NEXT: <COMBINED_PROFILE {{.*}} op9=[[NONE1:.*]] op10=0 op11=[[HOT1:.*]] op12=3 op13=[[COLD1:.*]] op14=1 op15=[[NONE2:.*]] op16=0 op17=[[HOT2:.*]] op18=3 op19=[[COLD2:.*]] op20=1 op21=[[NONE3:.*]] op22=0 op23=[[HOT3:.*]] op24=3 op25=[[COLD3:.*]] op26=1/>
|
2017-05-12 01:18:05 +02:00
|
|
|
; COMBINED_NEXT: <COMBINED abbrevid=
|
|
|
|
; COMBINED_NEXT: </GLOBALVAL_SUMMARY_BLOCK>
|
|
|
|
|
|
|
|
|
|
|
|
; ModuleID = 'thinlto-function-summary-callgraph.ll'
|
|
|
|
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
|
|
target triple = "x86_64-unknown-linux-gnu"
|
|
|
|
|
|
|
|
; This function have high profile count, so entry block is hot.
|
|
|
|
define void @hot_function(i1 %a, i1 %a2) !prof !20 {
|
|
|
|
entry:
|
|
|
|
call void @none1()
|
2017-08-03 19:11:41 +02:00
|
|
|
call void @hot1(), !prof !15
|
|
|
|
call void @cold1(), !prof !16
|
|
|
|
br i1 %a, label %Cold, label %Hot, !prof !41
|
|
|
|
Cold: ; 1/1000 goes here
|
2017-05-12 01:18:05 +02:00
|
|
|
call void @none2()
|
2017-08-03 19:11:41 +02:00
|
|
|
call void @hot2(), !prof !15
|
|
|
|
call void @cold2(), !prof !16
|
2017-05-12 01:18:05 +02:00
|
|
|
br label %exit
|
2017-08-03 19:11:41 +02:00
|
|
|
Hot: ; 999/1000 goes here
|
2017-05-12 01:18:05 +02:00
|
|
|
call void @none3()
|
2017-08-03 19:11:41 +02:00
|
|
|
call void @hot3(), !prof !15
|
|
|
|
call void @cold3(), !prof !16
|
2017-05-12 01:18:05 +02:00
|
|
|
br label %exit
|
|
|
|
exit:
|
|
|
|
ret void
|
|
|
|
}
|
|
|
|
|
|
|
|
declare void @hot1() #1
|
|
|
|
declare void @hot2() #1
|
|
|
|
declare void @hot3() #1
|
2017-08-03 19:11:41 +02:00
|
|
|
declare void @cold1() #1
|
|
|
|
declare void @cold2() #1
|
|
|
|
declare void @cold3() #1
|
2017-05-12 01:18:05 +02:00
|
|
|
declare void @none1() #1
|
|
|
|
declare void @none2() #1
|
|
|
|
declare void @none3() #1
|
|
|
|
|
|
|
|
!41 = !{!"branch_weights", i32 1, i32 1000}
|
|
|
|
|
|
|
|
!llvm.module.flags = !{!1}
|
|
|
|
!20 = !{!"function_entry_count", i64 110, i64 123}
|
|
|
|
|
|
|
|
!1 = !{i32 1, !"ProfileSummary", !2}
|
|
|
|
!2 = !{!3, !4, !5, !6, !7, !8, !9, !10}
|
|
|
|
!3 = !{!"ProfileFormat", !"SampleProfile"}
|
|
|
|
!4 = !{!"TotalCount", i64 10000}
|
|
|
|
!5 = !{!"MaxCount", i64 10}
|
|
|
|
!6 = !{!"MaxInternalCount", i64 1}
|
|
|
|
!7 = !{!"MaxFunctionCount", i64 1000}
|
|
|
|
!8 = !{!"NumCounts", i64 3}
|
|
|
|
!9 = !{!"NumFunctions", i64 3}
|
|
|
|
!10 = !{!"DetailedSummary", !11}
|
|
|
|
!11 = !{!12, !13, !14}
|
|
|
|
!12 = !{i32 10000, i64 100, i32 1}
|
|
|
|
!13 = !{i32 999000, i64 100, i32 1}
|
|
|
|
!14 = !{i32 999999, i64 1, i32 2}
|
|
|
|
!15 = !{!"branch_weights", i32 100}
|
2017-08-03 19:11:41 +02:00
|
|
|
!16 = !{!"branch_weights", i32 1}
|