mirror of
https://github.com/RPCSX/llvm.git
synced 2024-11-26 13:10:34 +00:00
Refuse to inline two functions which use different personality functions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@136269 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
f36b0a2ee4
commit
91c56a8d8d
@ -829,6 +829,40 @@ bool llvm::InlineFunction(CallSite CS, InlineFunctionInfo &IFI) {
|
||||
return false;
|
||||
}
|
||||
|
||||
// Find the personality function used by the landing pads of the caller. If it
|
||||
// exists, then check to see that it matches the personality function used in
|
||||
// the callee.
|
||||
for (Function::const_iterator
|
||||
I = Caller->begin(), E = Caller->end(); I != E; ++I)
|
||||
if (const InvokeInst *II = dyn_cast<InvokeInst>(I->getTerminator())) {
|
||||
const BasicBlock *BB = II->getUnwindDest();
|
||||
// FIXME: This 'isa' here should become go away once the new EH system is
|
||||
// in place.
|
||||
if (!isa<LandingPadInst>(BB->getFirstNonPHI()))
|
||||
continue;
|
||||
const LandingPadInst *LP = cast<LandingPadInst>(BB->getFirstNonPHI());
|
||||
const Value *CallerPersFn = LP->getPersonalityFn();
|
||||
|
||||
// If the personality functions match, then we can perform the
|
||||
// inlining. Otherwise, we can't inline.
|
||||
// TODO: This isn't 100% true. Some personality functions are proper
|
||||
// supersets of others and can be used in place of the other.
|
||||
for (Function::const_iterator
|
||||
I = CalledFunc->begin(), E = CalledFunc->end(); I != E; ++I)
|
||||
if (const InvokeInst *II = dyn_cast<InvokeInst>(I->getTerminator())) {
|
||||
const BasicBlock *BB = II->getUnwindDest();
|
||||
// FIXME: This 'if/dyn_cast' here should become a normal 'cast' once
|
||||
// the new EH system is in place.
|
||||
if (const LandingPadInst *LP =
|
||||
dyn_cast<LandingPadInst>(BB->getFirstNonPHI()))
|
||||
if (CallerPersFn != LP->getPersonalityFn())
|
||||
return false;
|
||||
break;
|
||||
}
|
||||
|
||||
break;
|
||||
}
|
||||
|
||||
// Get an iterator to the last basic block in the function, which will have
|
||||
// the new function inlined after it.
|
||||
//
|
||||
|
Loading…
Reference in New Issue
Block a user