RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 11:02:59 +02:00
Code Issues Projects Releases Wiki Activity

[cfi] Support explicit sections for functions in cfi-icall.

Browse Source 
Allow explicit section for indirectly called functions in cfi-icall.
Jumptables for functions in the same type class must be contiguous, so they
always go to the default text section.

Fixes PR25079.

llvm-svn: 266486
This commit is contained in:
Evgeniy Stepanov 2016-04-15 22:55:38 +00:00
parent b940fef6b9
commit 4c8a1f75c0
2 changed files with 29 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/Transforms/IPO/LowerBitSets.cpp
View File

@ -639,8 +639,9 @@ void LowerBitSets::verifyBitSetMDNode(MDNode *Op) {
if (OpGlobal->isThreadLocal())
report_fatal_error("Bit set element may not be thread-local");
if (OpGlobal->hasSection())
report_fatal_error("Bit set element may not have an explicit section");
if (isa<GlobalVariable>(OpGlobal) && OpGlobal->hasSection())
report_fatal_error(
"Bit set global var element may not have an explicit section");
if (isa<GlobalVariable>(OpGlobal) && OpGlobal->isDeclarationForLinker())
report_fatal_error("Bit set global var element must be a definition");

26
test/Transforms/LowerBitSets/section.ll Normal file
View File

@ -0,0 +1,26 @@
; Test that functions with "section" attribute are accepted, and jumptables are
; emitted in ".text".
; RUN: opt -S -lowerbitsets < %s | FileCheck %s
target triple = "x86_64-unknown-linux-gnu"
; CHECK: @[[A:.*]] = private constant {{.*}} section ".text"
; CHECK: @f = alias void (), bitcast ({{.*}}* @[[A]] to void ()*)
; CHECK: define private void {{.*}} section "xxx"
define void @f() section "xxx" {
entry:
ret void
}
define i1 @g() {
entry:
%0 = call i1 @llvm.bitset.test(i8* bitcast (void ()* @f to i8*), metadata !"_ZTSFvE")
ret i1 %0
}
declare i1 @llvm.bitset.test(i8*, metadata) nounwind readnone
!llvm.bitsets = !{!0}
!0 = !{!"_ZTSFvE", void ()* @f, i64 0}