156 lines · plain
1; Check the basic block sections labels option2; RUN: llc < %s -mtriple=x86_64 -function-sections -unique-section-names=true -basic-block-address-map | FileCheck %s --check-prefixes=CHECK,BASIC,PGO-NONE3; 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-NONE4 5;; Also verify this holds for all PGO features enabled6; 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-BRP7; 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-BRP8 9;; Also verify that pgo extension only includes the enabled feature10; 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-ONLY11; 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-ONLY12; 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-ONLY13 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-ENTRIES15; 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-ERROR16; 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-ERROR17 18;; Verify that we emit an error if we try and specify values in addition to all/none19; RUN: not llc < %s -mtriple=x86_64 -basic-block-address-map -pgo-analysis-map=all,bb-freq20; RUN: not llc < %s -mtriple=x86_64 -basic-block-address-map -pgo-analysis-map=none,bb-freq21 22 23define void @_Z3bazb(i1 zeroext, i1 zeroext) personality ptr @__gxx_personality_v0 !prof !0 {24 br i1 %0, label %3, label %8, !prof !125 263:27 %4 = invoke i32 @_Z3barv()28 to label %8 unwind label %629 br label %1030 316:32 landingpad { ptr, i32 }33 catch ptr null34 br label %1235 368:37 %9 = call i32 @_Z3foov()38 br i1 %1, label %12, label %10, !prof !239 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 !343 4412:45 ret void46}47 48declare i32 @_Z3barv() #149 50declare i32 @_Z3foov() #151 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 4 # version73; BASIC-NEXT: .byte 32 # feature74; PGO-ALL-NEXT: .byte 39 # feature75; FEC-ONLY-NEXT:.byte 33 # feature76; BBF-ONLY-NEXT:.byte 34 # feature77; BRP-ONLY-NEXT:.byte 36 # feature78; CHECK-NEXT: .quad .Lfunc_begin0 # function address79; CHECK-NEXT: .byte 6 # number of basic blocks80; CHECK-NEXT: .byte 0 # BB id81; CHECK-NEXT: .uleb128 .Lfunc_begin0-.Lfunc_begin082; CHECK-NEXT: .byte 0 # number of callsites83; CHECK-NEXT: .uleb128 .LBB_END0_0-.Lfunc_begin084; CHECK-NEXT: .byte 885; CHECK-NEXT: .byte 1 # BB id86; CHECK-NEXT: .uleb128 .LBB0_1-.LBB_END0_087; CHECK-NEXT: .byte 1 # number of callsites88; CHECK-NEXT: .uleb128 .LBB0_1_CS0-.LBB0_189; CHECK-NEXT: .uleb128 .LBB_END0_1-.LBB0_1_CS090; CHECK-NEXT: .byte 891; CHECK-NEXT: .byte 3 # BB id92; CHECK-NEXT: .uleb128 .LBB0_2-.LBB_END0_193; CHECK-NEXT: .byte 1 # number of callsites94; CHECK-NEXT: .uleb128 .LBB0_2_CS0-.LBB0_295; CHECK-NEXT: .uleb128 .LBB_END0_2-.LBB0_2_CS096; CHECK-NEXT: .byte 897; CHECK-NEXT: .byte 5 # BB id98; CHECK-NEXT: .uleb128 .LBB0_3-.LBB_END0_299; CHECK-NEXT: .byte 0 # number of callsites100; CHECK-NEXT: .uleb128 .LBB_END0_3-.LBB0_3101; CHECK-NEXT: .byte 1102; CHECK-NEXT: .byte 4 # BB id103; CHECK-NEXT: .uleb128 .LBB0_4-.LBB_END0_3104; CHECK-NEXT: .byte 0 # number of callsites105; CHECK-NEXT: .uleb128 .LBB_END0_4-.LBB0_4106; CHECK-NEXT: .byte 16107; CHECK-NEXT: .byte 2 # BB id108; CHECK-NEXT: .uleb128 .LBB0_5-.LBB_END0_4109; CHECK-NEXT: .byte 0 # number of callsites110; CHECK-NEXT: .uleb128 .LBB_END0_5-.LBB0_5111; CHECK-NEXT: .byte 4112 113;; PGO Analysis Map114; PGO-NONE-NOT: .byte 100 # function entry count115; PGO-NONE-NOT: .ascii "\271\235\376\332\245\200\356\017" # basic block frequency116; PGO-NONE-NOT: .byte 2 # basic block successor count117; PGO-FEC-NEXT: .byte 100 # function entry count118; PGO-BBF-NEXT: .ascii "\271\235\376\332\245\200\356\017" # basic block frequency119; PGO-BRP-NEXT: .byte 2 # basic block successor count120; PGO-BRP-NEXT: .byte 1 # successor BB ID121; PGO-BRP-NEXT: .ascii "\346\314\231\263\006" # successor branch probability122; PGO-BRP-NEXT: .byte 3 # successor BB ID123; PGO-BRP-NEXT: .ascii "\232\263\346\314\001" # successor branch probability124; PGO-BBF-NEXT: .ascii "\202\301\341\375\205\200\200\003" # basic block frequency125; PGO-BRP-NEXT: .byte 2 # basic block successor count126; PGO-BRP-NEXT: .byte 3 # successor BB ID127; PGO-BRP-NEXT: .ascii "\200\360\377\377\007" # successor branch probability128; PGO-BRP-NEXT: .byte 2 # successor BB ID129; PGO-BRP-NEXT: .ascii "\200\020" # successor branch probability130; PGO-BBF-NEXT: .ascii "\200\200\200\200\200\200\200 " # basic block frequency131; PGO-BRP-NEXT: .byte 2 # basic block successor count132; PGO-BRP-NEXT: .byte 5 # successor BB ID133; PGO-BRP-NEXT: .ascii "\200\200\200\200\007" # successor branch probability134; PGO-BRP-NEXT: .byte 4 # successor BB ID135; PGO-BRP-NEXT: .ascii "\200\200\200\200\001" # successor branch probability136; PGO-BBF-NEXT: .ascii "\271\235\376\332\245\200\356\017" # basic block frequency137; PGO-BRP-NEXT: .byte 0 # basic block successor count138; PGO-BBF-NEXT: .ascii "\210\214\356\257\200\200\230\002" # basic block frequency139; PGO-BRP-NEXT: .byte 2 # basic block successor count140; PGO-BRP-NEXT: .byte 1 # successor BB ID141; PGO-BRP-NEXT: .ascii "\200\200\200\200\006" # successor branch probability142; PGO-BRP-NEXT: .byte 5 # successor BB ID143; PGO-BRP-NEXT: .ascii "\200\200\200\200\002" # successor branch probability144; PGO-BBF-NEXT: .ascii "\235\323\243\200#" # basic block frequency145; PGO-BRP-NEXT: .byte 1 # basic block successor count146; PGO-BRP-NEXT: .byte 5 # successor BB ID147; PGO-BRP-NEXT: .ascii "\200\200\200\200\b" # successor branch probability148 149; SKIP-BB-ENTRIES: .byte 49 # feature150; SKIP-BB-ENTRIES-NEXT: .quad .Lfunc_begin0 # function address151; SKIP-BB-ENTRIES-NEXT: .byte 6 # number of basic blocks152; SKIP-BB-ENTRIES-NEXT: .byte 100 # function entry count153; SKIP-BB-ENTRIES-NOT: # BB id154 155; SKIP-BB-ENTRIES-ERROR: error: BB entries info is required for BBFreq and BrProb features156