a64411916c
Functions can have section names set via #pragma or section attributes, basic block sections should be correctly named for such functions. With #pragma, the expectation is that all functions in that file are placed in the same section in the final binary. Basic block sections should be correctly named with the unique flag set so that the final binary has all the basic blocks of the function in that named section. This patch fixes the bug by calling getExplictSectionGlobal when implicit-section-name attribute is set to make sure the function's basic blocks get the correct section name. Differential Revision: https://reviews.llvm.org/D101311
43 lines
1.5 KiB
LLVM
43 lines
1.5 KiB
LLVM
; RUN: llc < %s -mtriple=x86_64-pc-linux -basic-block-sections=all | FileCheck %s
|
|
; RUN: llc < %s -mtriple=x86_64-pc-linux -function-sections -basic-block-sections=all | FileCheck %s
|
|
; RUN: echo "!_Z3fooi" > %t.order.txt
|
|
; RUN: echo "!!2" >> %t.order.txt
|
|
; RUN: llc < %s -mtriple=x86_64-pc-linux -basic-block-sections=%t.order.txt | FileCheck %s --check-prefix=LIST
|
|
; RUN: llc < %s -mtriple=x86_64-pc-linux -function-sections -basic-block-sections=%t.order.txt | FileCheck %s --check-prefix=LIST
|
|
|
|
; CHECK: .section foo_section,"ax",@progbits,unique,1
|
|
; CHECK-LABEL: _Z3fooi:
|
|
; CHECK: .section foo_section,"ax",@progbits,unique,2
|
|
; CHECK-NEXT: _Z3fooi.__part.1:
|
|
; CHECK: .section foo_section,"ax",@progbits,unique,3
|
|
; CHECK-NEXT: _Z3fooi.__part.2:
|
|
|
|
; LIST: .section foo_section,"ax",@progbits,unique,1
|
|
; LIST-LABEL: _Z3fooi:
|
|
; LIST: .section foo_section,"ax",@progbits,unique,2
|
|
; LIST-NEXT: _Z3fooi.__part.0:
|
|
; LIST-NOT: .section foo_section,"ax",@progbits,unique,3
|
|
|
|
;; Source to generate the IR:
|
|
;; __attribute__((section("foo_section")))
|
|
;; int foo(int n) {
|
|
;; if (n < 0)
|
|
;; exit(-1);
|
|
;; return 0;
|
|
;; }
|
|
|
|
define dso_local i32 @_Z3fooi(i32 %n) local_unnamed_addr section "foo_section" {
|
|
entry:
|
|
%cmp = icmp slt i32 %n, 0
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @exit(i32 -1) #2
|
|
unreachable
|
|
|
|
if.end: ; preds = %entry
|
|
ret i32 0
|
|
}
|
|
|
|
declare dso_local void @exit(i32) local_unnamed_addr
|