mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
Add support for disabling llvm.lifetime intrinsics in the AlwaysInliner. These
are optimization hints, but at -O0 we're not optimizing. This becomes a problem when the alwaysinline attribute is abused. rdar://10921594 llvm-svn: 151429
This commit is contained in:
parent
25553028ff
commit
096b8c0365
@ -94,6 +94,7 @@ Pass *createFunctionInliningPass(int Threshold);
|
||||
/// createAlwaysInlinerPass - Return a new pass object that inlines only
|
||||
/// functions that are marked as "always_inline".
|
||||
Pass *createAlwaysInlinerPass();
|
||||
Pass *createAlwaysInlinerPass(bool InsertLifetime);
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
/// createPruneEHPass - Return a new pass object which transforms invoke
|
||||
|
@ -31,7 +31,7 @@ namespace llvm {
|
||||
///
|
||||
struct Inliner : public CallGraphSCCPass {
|
||||
explicit Inliner(char &ID);
|
||||
explicit Inliner(char &ID, int Threshold);
|
||||
explicit Inliner(char &ID, int Threshold, bool InsertLifetime);
|
||||
|
||||
/// getAnalysisUsage - For this class, we declare that we require and preserve
|
||||
/// the call graph. If the derived class implements this method, it should
|
||||
@ -87,6 +87,9 @@ private:
|
||||
// InlineThreshold - Cache the value here for easy access.
|
||||
unsigned InlineThreshold;
|
||||
|
||||
// InsertLifetime - Insert @llvm.lifetime intrinsics.
|
||||
bool InsertLifetime;
|
||||
|
||||
/// shouldInline - Return true if the inliner should attempt to
|
||||
/// inline at the given CallSite.
|
||||
bool shouldInline(CallSite CS);
|
||||
|
@ -197,9 +197,9 @@ public:
|
||||
/// exists in the instruction stream. Similarly this will inline a recursive
|
||||
/// function by one level.
|
||||
///
|
||||
bool InlineFunction(CallInst *C, InlineFunctionInfo &IFI);
|
||||
bool InlineFunction(InvokeInst *II, InlineFunctionInfo &IFI);
|
||||
bool InlineFunction(CallSite CS, InlineFunctionInfo &IFI);
|
||||
bool InlineFunction(CallInst *C, InlineFunctionInfo &IFI, bool InsertLifetime = true);
|
||||
bool InlineFunction(InvokeInst *II, InlineFunctionInfo &IFI, bool InsertLifetime = true);
|
||||
bool InlineFunction(CallSite CS, InlineFunctionInfo &IFI, bool InsertLifetime = true);
|
||||
|
||||
} // End llvm namespace
|
||||
|
||||
|
@ -37,7 +37,11 @@ namespace {
|
||||
InlineCostAnalyzer CA;
|
||||
public:
|
||||
// Use extremely low threshold.
|
||||
AlwaysInliner() : Inliner(ID, -2000000000) {
|
||||
AlwaysInliner() : Inliner(ID, -2000000000, true) {
|
||||
initializeAlwaysInlinerPass(*PassRegistry::getPassRegistry());
|
||||
}
|
||||
AlwaysInliner(bool InsertLifetime) : Inliner(ID, -2000000000,
|
||||
InsertLifetime) {
|
||||
initializeAlwaysInlinerPass(*PassRegistry::getPassRegistry());
|
||||
}
|
||||
static char ID; // Pass identification, replacement for typeid
|
||||
@ -72,6 +76,10 @@ INITIALIZE_PASS_END(AlwaysInliner, "always-inline",
|
||||
|
||||
Pass *llvm::createAlwaysInlinerPass() { return new AlwaysInliner(); }
|
||||
|
||||
Pass *llvm::createAlwaysInlinerPass(bool InsertLifetime) {
|
||||
return new AlwaysInliner(InsertLifetime);
|
||||
}
|
||||
|
||||
// doInitialization - Initializes the vector of functions that have not
|
||||
// been annotated with the "always inline" attribute.
|
||||
bool AlwaysInliner::doInitialization(CallGraph &CG) {
|
||||
|
@ -37,7 +37,7 @@ namespace {
|
||||
SimpleInliner() : Inliner(ID) {
|
||||
initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
|
||||
}
|
||||
SimpleInliner(int Threshold) : Inliner(ID, Threshold) {
|
||||
SimpleInliner(int Threshold) : Inliner(ID, Threshold, true) {
|
||||
initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
|
||||
}
|
||||
static char ID; // Pass identification, replacement for typeid
|
||||
|
@ -48,11 +48,12 @@ HintThreshold("inlinehint-threshold", cl::Hidden, cl::init(325),
|
||||
const int OptSizeThreshold = 75;
|
||||
|
||||
Inliner::Inliner(char &ID)
|
||||
: CallGraphSCCPass(ID), InlineThreshold(InlineLimit) {}
|
||||
: CallGraphSCCPass(ID), InlineThreshold(InlineLimit), InsertLifetime(true) {}
|
||||
|
||||
Inliner::Inliner(char &ID, int Threshold)
|
||||
Inliner::Inliner(char &ID, int Threshold, bool InsertLifetime)
|
||||
: CallGraphSCCPass(ID), InlineThreshold(InlineLimit.getNumOccurrences() > 0 ?
|
||||
InlineLimit : Threshold) {}
|
||||
InlineLimit : Threshold),
|
||||
InsertLifetime(InsertLifetime) {}
|
||||
|
||||
/// getAnalysisUsage - For this class, we declare that we require and preserve
|
||||
/// the call graph. If the derived class implements this method, it should
|
||||
@ -75,13 +76,13 @@ InlinedArrayAllocasTy;
|
||||
/// any new allocas to the set if not possible.
|
||||
static bool InlineCallIfPossible(CallSite CS, InlineFunctionInfo &IFI,
|
||||
InlinedArrayAllocasTy &InlinedArrayAllocas,
|
||||
int InlineHistory) {
|
||||
int InlineHistory, bool InsertLifetime) {
|
||||
Function *Callee = CS.getCalledFunction();
|
||||
Function *Caller = CS.getCaller();
|
||||
|
||||
// Try to inline the function. Get the list of static allocas that were
|
||||
// inlined.
|
||||
if (!InlineFunction(CS, IFI))
|
||||
if (!InlineFunction(CS, IFI, InsertLifetime))
|
||||
return false;
|
||||
|
||||
// If the inlined function had a higher stack protection level than the
|
||||
@ -439,7 +440,7 @@ bool Inliner::runOnSCC(CallGraphSCC &SCC) {
|
||||
|
||||
// Attempt to inline the function.
|
||||
if (!InlineCallIfPossible(CS, InlineInfo, InlinedArrayAllocas,
|
||||
InlineHistoryID))
|
||||
InlineHistoryID, InsertLifetime))
|
||||
continue;
|
||||
++NumInlined;
|
||||
|
||||
|
@ -31,11 +31,11 @@
|
||||
#include "llvm/Support/IRBuilder.h"
|
||||
using namespace llvm;
|
||||
|
||||
bool llvm::InlineFunction(CallInst *CI, InlineFunctionInfo &IFI) {
|
||||
return InlineFunction(CallSite(CI), IFI);
|
||||
bool llvm::InlineFunction(CallInst *CI, InlineFunctionInfo &IFI, bool InsertLifetime) {
|
||||
return InlineFunction(CallSite(CI), IFI, InsertLifetime);
|
||||
}
|
||||
bool llvm::InlineFunction(InvokeInst *II, InlineFunctionInfo &IFI) {
|
||||
return InlineFunction(CallSite(II), IFI);
|
||||
bool llvm::InlineFunction(InvokeInst *II, InlineFunctionInfo &IFI, bool InsertLifetime) {
|
||||
return InlineFunction(CallSite(II), IFI, InsertLifetime);
|
||||
}
|
||||
|
||||
namespace {
|
||||
@ -484,7 +484,7 @@ static void fixupLineNumbers(Function *Fn, Function::iterator FI,
|
||||
/// instruction 'call B' is inlined, and 'B' calls 'C', then the call to 'C' now
|
||||
/// exists in the instruction stream. Similarly this will inline a recursive
|
||||
/// function by one level.
|
||||
bool llvm::InlineFunction(CallSite CS, InlineFunctionInfo &IFI) {
|
||||
bool llvm::InlineFunction(CallSite CS, InlineFunctionInfo &IFI, bool InsertLifetime) {
|
||||
Instruction *TheCall = CS.getInstruction();
|
||||
assert(TheCall->getParent() && TheCall->getParent()->getParent() &&
|
||||
"Instruction not in function!");
|
||||
@ -655,7 +655,7 @@ bool llvm::InlineFunction(CallSite CS, InlineFunctionInfo &IFI) {
|
||||
|
||||
// Leave lifetime markers for the static alloca's, scoping them to the
|
||||
// function we just inlined.
|
||||
if (!IFI.StaticAllocas.empty()) {
|
||||
if (InsertLifetime && !IFI.StaticAllocas.empty()) {
|
||||
IRBuilder<> builder(FirstNewBlock->begin());
|
||||
for (unsigned ai = 0, ae = IFI.StaticAllocas.size(); ai != ae; ++ai) {
|
||||
AllocaInst *AI = IFI.StaticAllocas[ai];
|
||||
|
Loading…
Reference in New Issue
Block a user