xref: /llvm-project/llvm/test/CodeGen/X86/basic-block-address-map-pgo-features.ll (revision cf83a7fdc2dfac8220d9923a831181dccb9f7277)
1; Check the basic block sections labels option
2; RUN: llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map | FileCheck %s --check-prefixes=CHECK,BASIC,PGO-NONE
3; RUN: llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map -pgo-analysis-map=none | FileCheck %s --check-prefixes=CHECK,BASIC,PGO-NONE
4
5;; Also verify this holds for all PGO features enabled
6; RUN: llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map -pgo-analysis-map=func-entry-count,bb-freq,br-prob | FileCheck %s --check-prefixes=CHECK,PGO-ALL,PGO-FEC,PGO-BBF,PGO-BRP
7; RUN: llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map -pgo-analysis-map=all | FileCheck %s --check-prefixes=CHECK,PGO-ALL,PGO-FEC,PGO-BBF,PGO-BRP
8
9;; Also verify that pgo extension only includes the enabled feature
10; RUN: llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map -pgo-analysis-map=func-entry-count | FileCheck %s --check-prefixes=CHECK,PGO-FEC,FEC-ONLY
11; RUN: llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map -pgo-analysis-map=bb-freq | FileCheck %s --check-prefixes=CHECK,PGO-BBF,BBF-ONLY
12; RUN: llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map -pgo-analysis-map=br-prob | FileCheck %s --check-prefixes=CHECK,PGO-BRP,BRP-ONLY
13
14; RUN: llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map -pgo-analysis-map=func-entry-count -basic-block-address-map-skip-bb-entries | FileCheck %s --check-prefixes=SKIP-BB-ENTRIES
15; RUN: not llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map -pgo-analysis-map=bb-freq -basic-block-address-map-skip-bb-entries 2>&1 | FileCheck %s --check-prefixes=SKIP-BB-ENTRIES-ERROR
16; RUN: not llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map -pgo-analysis-map=br-prob -basic-block-address-map-skip-bb-entries 2>&1 | FileCheck %s --check-prefixes=SKIP-BB-ENTRIES-ERROR
17
18;; Verify that we emit an error if we try and specify values in addition to all/none
19; RUN: not llc < %s -mtriple=x86_64 -basic-block-address-map -pgo-analysis-map=all,bb-freq
20; RUN: not llc < %s -mtriple=x86_64 -basic-block-address-map -pgo-analysis-map=none,bb-freq
21
22
23define void @_Z3bazb(i1 zeroext, i1 zeroext) personality ptr @__gxx_personality_v0 !prof !0  {
24  br i1 %0, label %3, label %8, !prof !1
25
263:
27  %4 = invoke i32 @_Z3barv()
28          to label %8 unwind label %6
29  br label %10
30
316:
32  landingpad { ptr, i32 }
33          catch ptr null
34  br label %12
35
368:
37  %9 = call i32 @_Z3foov()
38  br i1 %1, label %12, label %10, !prof !2
39
4010:
41  %11 = select i1 %1, ptr blockaddress(@_Z3bazb, %3), ptr blockaddress(@_Z3bazb, %12) ; <ptr> [#uses=1]
42  indirectbr ptr %11, [label %3, label %12], !prof !3
43
4412:
45  ret void
46}
47
48declare i32 @_Z3barv() #1
49
50declare i32 @_Z3foov() #1
51
52declare i32 @__gxx_personality_v0(...)
53
54!0 = !{!"function_entry_count", i64 100}
55!1 = !{!"branch_weights", i32 80, i32 20}
56!2 = !{!"branch_weights", i32 70, i32 10}
57!3 = !{!"branch_weights", i32 15, i32 5}
58
59; CHECK:	.section .text._Z3bazb,"ax",@progbits{{$}}
60; CHECK-LABEL:	_Z3bazb:
61; CHECK-LABEL:	.Lfunc_begin0:
62; CHECK-LABEL:	.LBB_END0_0:
63; CHECK-LABEL:	.LBB0_1:
64; CHECK-LABEL:	.LBB_END0_1:
65; CHECK-LABEL:	.LBB0_2:
66; CHECK-LABEL:	.LBB_END0_2:
67; CHECK-LABEL:	.LBB0_3:
68; CHECK-LABEL:	.LBB_END0_3:
69; CHECK-LABEL:	.Lfunc_end0:
70
71; CHECK: 	.section	.llvm_bb_addr_map,"o",@llvm_bb_addr_map,.text._Z3bazb{{$}}
72; CHECK-NEXT:	.byte	2		# version
73; BASIC-NEXT:	.byte	0		# feature
74; PGO-ALL-NEXT:	.byte	7		# feature
75; FEC-ONLY-NEXT:.byte	1		# feature
76; BBF-ONLY-NEXT:.byte	2		# feature
77; BRP-ONLY-NEXT:.byte	4		# feature
78; CHECK-NEXT:	.quad	.Lfunc_begin0	# function address
79; CHECK-NEXT:	.byte	6		# number of basic blocks
80; CHECK-NEXT:	.byte	0		# BB id
81; CHECK-NEXT:	.uleb128 .Lfunc_begin0-.Lfunc_begin0
82; CHECK-NEXT:	.uleb128 .LBB_END0_0-.Lfunc_begin0
83; CHECK-NEXT:	.byte	8
84; CHECK-NEXT:	.byte	1		# BB id
85; CHECK-NEXT:	.uleb128 .LBB0_1-.LBB_END0_0
86; CHECK-NEXT:	.uleb128 .LBB_END0_1-.LBB0_1
87; CHECK-NEXT:	.byte	8
88; CHECK-NEXT:	.byte	3		# BB id
89; CHECK-NEXT:	.uleb128 .LBB0_2-.LBB_END0_1
90; CHECK-NEXT:	.uleb128 .LBB_END0_2-.LBB0_2
91; CHECK-NEXT:	.byte	8
92; CHECK-NEXT:	.byte	5		# BB id
93; CHECK-NEXT:	.uleb128 .LBB0_3-.LBB_END0_2
94; CHECK-NEXT:	.uleb128 .LBB_END0_3-.LBB0_3
95; CHECK-NEXT:	.byte	1
96; CHECK-NEXT:	.byte	4		# BB id
97; CHECK-NEXT:	.uleb128 .LBB0_4-.LBB_END0_3
98; CHECK-NEXT:	.uleb128 .LBB_END0_4-.LBB0_4
99; CHECK-NEXT:	.byte	16
100; CHECK-NEXT:	.byte	2		# BB id
101; CHECK-NEXT:	.uleb128 .LBB0_5-.LBB_END0_4
102; CHECK-NEXT:	.uleb128 .LBB_END0_5-.LBB0_5
103; CHECK-NEXT:	.byte	4
104
105;; PGO Analysis Map
106; PGO-NONE-NOT: .byte	100		# function entry count
107; PGO-NONE-NOT: .ascii	"\271\235\376\332\245\200\356\017"	# basic block frequency
108; PGO-NONE-NOT: .byte	2		# basic block successor count
109; PGO-FEC-NEXT:	.byte	100		# function entry count
110; PGO-BBF-NEXT:	.ascii	"\271\235\376\332\245\200\356\017"	# basic block frequency
111; PGO-BRP-NEXT:	.byte	2		# basic block successor count
112; PGO-BRP-NEXT:	.byte	1		# successor BB ID
113; PGO-BRP-NEXT:	.ascii	"\346\314\231\263\006"	# successor branch probability
114; PGO-BRP-NEXT:	.byte	3		# successor BB ID
115; PGO-BRP-NEXT:	.ascii	"\232\263\346\314\001"	# successor branch probability
116; PGO-BBF-NEXT:	.ascii	"\202\301\341\375\205\200\200\003"	# basic block frequency
117; PGO-BRP-NEXT:	.byte	2		# basic block successor count
118; PGO-BRP-NEXT:	.byte	3		# successor BB ID
119; PGO-BRP-NEXT:	.ascii	"\200\360\377\377\007"	# successor branch probability
120; PGO-BRP-NEXT:	.byte	2		# successor BB ID
121; PGO-BRP-NEXT:	.ascii	"\200\020"	# successor branch probability
122; PGO-BBF-NEXT:	.ascii	"\200\200\200\200\200\200\200 "	# basic block frequency
123; PGO-BRP-NEXT:	.byte	2		# basic block successor count
124; PGO-BRP-NEXT:	.byte	5		# successor BB ID
125; PGO-BRP-NEXT:	.ascii	"\200\200\200\200\007"	# successor branch probability
126; PGO-BRP-NEXT:	.byte 	4		# successor BB ID
127; PGO-BRP-NEXT:	.ascii	"\200\200\200\200\001"	# successor branch probability
128; PGO-BBF-NEXT:	.ascii	"\271\235\376\332\245\200\356\017"	# basic block frequency
129; PGO-BRP-NEXT:	.byte	0		# basic block successor count
130; PGO-BBF-NEXT:	.ascii	"\210\214\356\257\200\200\230\002"	# basic block frequency
131; PGO-BRP-NEXT:	.byte	2		# basic block successor count
132; PGO-BRP-NEXT:	.byte 	1		# successor BB ID
133; PGO-BRP-NEXT:	.ascii	"\200\200\200\200\006"	# successor branch probability
134; PGO-BRP-NEXT:	.byte	5		# successor BB ID
135; PGO-BRP-NEXT:	.ascii	"\200\200\200\200\002"	# successor branch probability
136; PGO-BBF-NEXT:	.ascii	"\235\323\243\200#"	# basic block frequency
137; PGO-BRP-NEXT:	.byte	1		# basic block successor count
138; PGO-BRP-NEXT:	.byte	5		# successor BB ID
139; PGO-BRP-NEXT:	.ascii	"\200\200\200\200\b"	# successor branch probability
140
141; SKIP-BB-ENTRIES:      .byte	17                              # feature
142; SKIP-BB-ENTRIES-NEXT:	.quad	.Lfunc_begin0                   # function address
143; SKIP-BB-ENTRIES-NEXT:	.byte	6                               # number of basic blocks
144; SKIP-BB-ENTRIES-NEXT:	.byte	100                             # function entry count
145; SKIP-BB-ENTRIES-NOT:  # BB id
146
147; SKIP-BB-ENTRIES-ERROR: error: BB entries info is required for BBFreq and BrProb features
148