Add AsmPrinter support for emitting a directive to declare that

the code being generated does not require an executable stack.

Also, add target-specific code to make use of this on Linux
on x86. 


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@50634 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2008-05-05 00:28:39 +00:00
parent 6625eff8ec
commit a779a9899a
7 changed files with 36 additions and 4 deletions

View File

@ -61,10 +61,16 @@ namespace llvm {
/// Null if this target doesn't support a BSS section.
///
const char *TLSBSSSection;// Default to ".section .tbss,"awT",@nobits".
/// ZeroFillDirective - Directive for emitting a global to the ZeroFill
/// section on this target. Null if this target doesn't support zerofill.
const char *ZeroFillDirective; // Default is null.
/// NonexecutableStackDirective - Directive for declaring to the
/// linker and beyond that the emitted code does not require stack
/// memory to be executable.
const char *NonexecutableStackDirective; // Default is null.
/// NeedsSet - True if target asm treats expressions in data directives
/// as linktime-relocatable. For assembly-time computation, we need to
/// use a .set. Thus:
@ -440,6 +446,9 @@ namespace llvm {
const char *getZeroFillDirective() const {
return ZeroFillDirective;
}
const char *getNonexecutableStackDirective() const {
return NonexecutableStackDirective;
}
bool needsSet() const {
return NeedsSet;
}

View File

@ -192,6 +192,13 @@ bool AsmPrinter::doFinalization(Module &M) {
E = CMM->begin(); I != E; )
(*--I)->finishAssembly(O, *this, *TAI);
// If we don't have any trampolines, then we don't require stack memory
// to be executable. Some targets have a directive to declare this.
Function* InitTrampolineIntrinsic = M.getFunction("llvm.init.trampoline");
if (!InitTrampolineIntrinsic || InitTrampolineIntrinsic->use_empty())
if (TAI->getNonexecutableStackDirective())
O << TAI->getNonexecutableStackDirective() << "\n";
delete Mang; Mang = 0;
return false;
}

View File

@ -26,6 +26,7 @@ TargetAsmInfo::TargetAsmInfo() :
TLSDataSection("\t.section .tdata,\"awT\",@progbits"),
TLSBSSSection("\t.section .tbss,\"awT\",@nobits"),
ZeroFillDirective(0),
NonexecutableStackDirective(0),
NeedsSet(false),
MaxInstLength(4),
PCSymbol("$"),

View File

@ -278,6 +278,8 @@ X86Subtarget::X86Subtarget(const Module &M, const std::string &FS, bool is64Bit)
DarwinVers = atoi(&TT[Pos+7]);
else
DarwinVers = 8; // Minimum supported darwin is Tiger.
} else if (TT.find("linux") != std::string::npos) {
TargetType = isELFLinux;
} else if (TT.find("cygwin") != std::string::npos) {
TargetType = isCygwin;
} else if (TT.find("mingw") != std::string::npos) {
@ -302,6 +304,9 @@ X86Subtarget::X86Subtarget(const Module &M, const std::string &FS, bool is64Bit)
#elif defined(_WIN32) || defined(_WIN64)
TargetType = isWindows;
#elif defined(__linux__)
// Linux doesn't imply ELF, but we don't currently support anything else.
TargetType = isELFLinux;
#endif
}

View File

@ -84,7 +84,7 @@ private:
public:
enum {
isELF, isCygwin, isDarwin, isWindows, isMingw
isELF, isELFLinux, isCygwin, isDarwin, isWindows, isMingw
} TargetType;
/// This constructor initializes the data members to match that
@ -132,7 +132,12 @@ public:
bool isFlavorIntel() const { return AsmFlavor == Intel; }
bool isTargetDarwin() const { return TargetType == isDarwin; }
bool isTargetELF() const { return TargetType == isELF; }
bool isTargetELF() const {
return TargetType == isELF || TargetType == isELFLinux;
}
bool isTargetLinux() const {
return TargetType == isELFLinux;
}
bool isTargetWindows() const { return TargetType == isWindows; }
bool isTargetMingw() const { return TargetType == isMingw; }
bool isTargetCygMing() const { return (TargetType == isMingw ||

View File

@ -128,6 +128,7 @@ X86TargetAsmInfo::X86TargetAsmInfo(const X86TargetMachine &TM) {
break;
case X86Subtarget::isELF:
case X86Subtarget::isELFLinux:
ReadOnlySection = "\t.section\t.rodata";
FourByteConstantSection = "\t.section\t.rodata.cst4,\"aM\",@progbits,4";
EightByteConstantSection = "\t.section\t.rodata.cst8,\"aM\",@progbits,8";
@ -229,6 +230,10 @@ X86TargetAsmInfo::X86TargetAsmInfo(const X86TargetMachine &TM) {
SectionEndDirectiveSuffix = "\tends\n";
}
// On Linux we must declare when we can use a non-executable stack.
if (Subtarget->isTargetLinux())
NonexecutableStackDirective = "\t.section\t.note.GNU-stack,\"\",@progbits";
AssemblerDialect = Subtarget->getAsmFlavor();
}

View File

@ -1,5 +1,5 @@
; RUN: llvm-as < %s | llc -march=x86 | grep {not} | count 3
; RUN: llvm-as < %s | llc -march=x86-64 | grep {not} | count 4
; RUN: llvm-as < %s | llc -march=x86 | grep {not\[lwb\]} | count 3
; RUN: llvm-as < %s | llc -march=x86-64 | grep {not\[lwb\]} | count 4
define i32 @test(i32 %a, i32 %b) nounwind {
entry:
%tmp1not = xor i32 %b, -2