;; Check if basic blocks that don't get unique sections are placed in cold sections.
;; Basic block with id 1 and 2 must be in the cold section.
;;
;; Profile for version 0
; RUN: echo '!_Z3bazb' > %t1
; RUN: echo '!!0' >> %t1
;;
;; Profile for version 1
; RUN: echo 'v1' > %t2
; RUN: echo 'f _Z3bazb' >> %t2
; RUN: echo 'c 0' >> %t2
;;
; RUN: llc < %s -mtriple=aarch64 -function-sections -basic-block-sections=%t1 -unique-basic-block-section-names | FileCheck %s -check-prefix=SECTIONS
; RUN: llc < %s -mtriple=aarch64 -function-sections -basic-block-sections=%t2 -unique-basic-block-section-names | FileCheck %s -check-prefix=SECTIONS
; RUN: llc < %s -mtriple=aarch64 -function-sections -basic-block-sections=%t1 -unique-basic-block-section-names -bbsections-cold-text-prefix=".text.unlikely." | FileCheck %s -check-prefix=SPLIT

define void @_Z3bazb(i1 zeroext %0) nounwind {
  br i1 %0, label %2, label %4

2:                                                ; preds = %1
  %3 = call i32 @_Z3barv()
  br label %6

4:                                                ; preds = %1
  %5 = call i32 @_Z3foov()
  br label %6

6:                                                ; preds = %2, %4
  ret void
}

declare i32 @_Z3barv() #1

declare i32 @_Z3foov() #1

; SECTIONS: .section        .text.hot._Z3bazb,"ax",@progbits
; SECTIONS: _Z3bazb:
; Check that the basic block with id 1 doesn't get a section.
; SECTIONS-NOT: .section        .text{{.*}}._Z3bazb.1,"ax",@progbits,unique
; Check that a single cold section is started here and id 1 and 2 blocks are placed here.
; SECTIONS: .section	.text.split._Z3bazb,"ax",@progbits
; SECTIONS: _Z3bazb.cold:
; SECTIONS-NOT: .section        .text.hot._Z3bazb._Z3bazb.2,"ax",@progbits,unique
; SECTIONS: .LBB0_2:
; SECTIONS: .size   _Z3bazb, .Lfunc_end{{[0-9]}}-_Z3bazb

; SPLIT:      .section	.text.unlikely._Z3bazb,"ax",@progbits
; SPLIT-NEXT: _Z3bazb.cold:
; SPLIT-NEXT:   bl _Z3barv
; SPLIT:      .LBB0_2:
; SPLIT:      .LBB_END0_2: