19 lines · plain
1; Check that basic block section is emitted when a non-entry block has no predecessors.2; RUN: llc < %s -mtriple=x86_64 -O0 -basic-block-sections=all | FileCheck %s --check-prefix=CHECK-SECTIONS3; RUN: llc < %s -mtriple=x86_64 -O0 | FileCheck %s --check-prefix=CHECK-NOSECTIONS4define void @foo(ptr %bar) {5 %v = load i32, ptr %bar6 switch i32 %v, label %default [7 i32 0, label %target8 ]9target:10 ret void11;; This is the block which will not have any predecessors. If the block is not garbage collected, it must12;; be placed in a basic block section with a corresponding symbol.13default:14 unreachable15; CHECK-NOSECTIONS: # %bb.2: # %default16; CHECK-SECTIONS: .section .text.foo,"ax",@progbits,unique,217; CHECK-SECTIONS-NEXT: foo.__part.2: # %default18}19