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