Make sure we don't inline functions marked with __attribute__((naked)). <rdar://problem/9973228>

llvm-svn: 138310
This commit is contained in:
Eli Friedman 2011-08-22 23:55:33 +00:00
parent 5b31d7acf7
commit c55efe4fb2
2 changed files with 18 additions and 6 deletions

View File

@ -472,15 +472,20 @@ void CodeGenModule::SetLLVMFunctionAttributesForDefinition(const Decl *D,
if (!Features.Exceptions && !Features.ObjCNonFragileABI)
F->addFnAttr(llvm::Attribute::NoUnwind);
if (D->hasAttr<AlwaysInlineAttr>())
F->addFnAttr(llvm::Attribute::AlwaysInline);
if (D->hasAttr<NakedAttr>())
if (D->hasAttr<NakedAttr>()) {
// Naked implies noinline: we should not be inlining such functions.
F->addFnAttr(llvm::Attribute::Naked);
F->addFnAttr(llvm::Attribute::NoInline);
}
if (D->hasAttr<NoInlineAttr>())
F->addFnAttr(llvm::Attribute::NoInline);
// (noinline wins over always_inline, and we can't specify both in IR)
if (D->hasAttr<AlwaysInlineAttr>() &&
!F->hasFnAttr(llvm::Attribute::NoInline))
F->addFnAttr(llvm::Attribute::AlwaysInline);
if (isa<CXXConstructorDecl>(D) || isa<CXXDestructorDecl>(D))
F->setUnnamedAddr(true);

View File

@ -1,9 +1,16 @@
// RUN: %clang_cc1 -g -emit-llvm -o %t %s
// RUN: grep 'naked' %t
// RUN: %clang_cc1 -triple x86_64-apple-macosx10.7.0 %s -emit-llvm -o - | FileCheck %s
void t1() __attribute__((naked));
// Basic functionality check
// (Note that naked needs to imply noinline to work properly.)
// CHECK: define void @t1() nounwind noinline naked {
void t1()
{
}
// Make sure this doesn't explode in the verifier.
// (It doesn't really make sense, but it isn't invalid.)
// CHECK: define void @t2() nounwind noinline naked {
__attribute((naked, always_inline)) void t2() {
}