forked from OSchip/llvm-project
Don't codegen available_externally functions. Fixes http://llvm.org/PR5735.
llvm-svn: 91626
This commit is contained in:
parent
7cc86b4cc6
commit
2b73a4e90f
|
@ -366,6 +366,32 @@ void JIT::deleteModuleProvider(ModuleProvider *MP, std::string *E) {
|
|||
}
|
||||
}
|
||||
|
||||
/// materializeFunction - make sure the given function is fully read. If the
|
||||
/// module is corrupt, this returns true and fills in the optional string with
|
||||
/// information about the problem. If successful, this returns false.
|
||||
bool JIT::materializeFunction(Function *F, std::string *ErrInfo) {
|
||||
// Read in the function if it exists in this Module.
|
||||
if (F->hasNotBeenReadFromBitcode()) {
|
||||
// Determine the module provider this function is provided by.
|
||||
Module *M = F->getParent();
|
||||
ModuleProvider *MP = 0;
|
||||
for (unsigned i = 0, e = Modules.size(); i != e; ++i) {
|
||||
if (Modules[i]->getModule() == M) {
|
||||
MP = Modules[i];
|
||||
break;
|
||||
}
|
||||
}
|
||||
if (MP)
|
||||
return MP->materializeFunction(F, ErrInfo);
|
||||
|
||||
if (ErrInfo)
|
||||
*ErrInfo = "Function isn't in a module we know about!";
|
||||
return true;
|
||||
}
|
||||
// Succeed if the function is already read.
|
||||
return false;
|
||||
}
|
||||
|
||||
/// run - Start execution with the specified function and arguments.
|
||||
///
|
||||
GenericValue JIT::runFunction(Function *F,
|
||||
|
@ -607,6 +633,9 @@ void JIT::runJITOnFunctionUnlocked(Function *F, const MutexGuard &locked) {
|
|||
Function *PF = jitstate->getPendingFunctions(locked).back();
|
||||
jitstate->getPendingFunctions(locked).pop_back();
|
||||
|
||||
assert(!PF->hasAvailableExternallyLinkage() &&
|
||||
"Externally-defined function should not be in pending list.");
|
||||
|
||||
// JIT the function
|
||||
isAlreadyCodeGenerating = true;
|
||||
jitstate->getPM(locked).run(*PF);
|
||||
|
@ -627,36 +656,19 @@ void *JIT::getPointerToFunction(Function *F) {
|
|||
return Addr; // Check if function already code gen'd
|
||||
|
||||
MutexGuard locked(lock);
|
||||
|
||||
// Now that this thread owns the lock, check if another thread has already
|
||||
// code gen'd the function.
|
||||
if (void *Addr = getPointerToGlobalIfAvailable(F))
|
||||
return Addr;
|
||||
|
||||
// Make sure we read in the function if it exists in this Module.
|
||||
if (F->hasNotBeenReadFromBitcode()) {
|
||||
// Determine the module provider this function is provided by.
|
||||
Module *M = F->getParent();
|
||||
ModuleProvider *MP = 0;
|
||||
for (unsigned i = 0, e = Modules.size(); i != e; ++i) {
|
||||
if (Modules[i]->getModule() == M) {
|
||||
MP = Modules[i];
|
||||
break;
|
||||
}
|
||||
}
|
||||
assert(MP && "Function isn't in a module we know about!");
|
||||
|
||||
std::string ErrorMsg;
|
||||
if (MP->materializeFunction(F, &ErrorMsg)) {
|
||||
llvm_report_error("Error reading function '" + F->getName()+
|
||||
"' from bitcode file: " + ErrorMsg);
|
||||
}
|
||||
|
||||
// Now retry to get the address.
|
||||
if (void *Addr = getPointerToGlobalIfAvailable(F))
|
||||
return Addr;
|
||||
// Now that this thread owns the lock, make sure we read in the function if it
|
||||
// exists in this Module.
|
||||
std::string ErrorMsg;
|
||||
if (materializeFunction(F, &ErrorMsg)) {
|
||||
llvm_report_error("Error reading function '" + F->getName()+
|
||||
"' from bitcode file: " + ErrorMsg);
|
||||
}
|
||||
|
||||
// ... and check if another thread has already code gen'd the function.
|
||||
if (void *Addr = getPointerToGlobalIfAvailable(F))
|
||||
return Addr;
|
||||
|
||||
if (F->isDeclaration() || F->hasAvailableExternallyLinkage()) {
|
||||
bool AbortOnFailure = !F->hasExternalWeakLinkage();
|
||||
void *Addr = getPointerToNamedFunction(F->getName(), AbortOnFailure);
|
||||
|
|
|
@ -104,6 +104,12 @@ public:
|
|||
/// the underlying module.
|
||||
virtual void deleteModuleProvider(ModuleProvider *P,std::string *ErrInfo = 0);
|
||||
|
||||
/// materializeFunction - make sure the given function is fully read. If the
|
||||
/// module is corrupt, this returns true and fills in the optional string with
|
||||
/// information about the problem. If successful, this returns false.
|
||||
///
|
||||
bool materializeFunction(Function *F, std::string *ErrInfo = 0);
|
||||
|
||||
/// runFunction - Start execution with the specified function and arguments.
|
||||
///
|
||||
virtual GenericValue runFunction(Function *F,
|
||||
|
|
|
@ -517,9 +517,15 @@ void *JITResolver::getLazyFunctionStub(Function *F) {
|
|||
void *Actual = TheJIT->isCompilingLazily()
|
||||
? (void *)(intptr_t)LazyResolverFn : (void *)0;
|
||||
|
||||
// TODO: Delete this when PR5737 is fixed.
|
||||
std::string ErrorMsg;
|
||||
if (TheJIT->materializeFunction(F, &ErrorMsg)) {
|
||||
llvm_report_error("Error reading function '" + F->getName()+
|
||||
"' from bitcode file: " + ErrorMsg);
|
||||
}
|
||||
// If this is an external declaration, attempt to resolve the address now
|
||||
// to place in the stub.
|
||||
if (F->isDeclaration() && !F->hasNotBeenReadFromBitcode()) {
|
||||
if (F->isDeclaration() || F->hasAvailableExternallyLinkage()) {
|
||||
Actual = TheJIT->getPointerToFunction(F);
|
||||
|
||||
// If we resolved the symbol to a null address (eg. a weak external)
|
||||
|
@ -552,7 +558,7 @@ void *JITResolver::getLazyFunctionStub(Function *F) {
|
|||
// exist yet, add it to the JIT's work list so that we can fill in the stub
|
||||
// address later.
|
||||
if (!Actual && !TheJIT->isCompilingLazily())
|
||||
if (!F->isDeclaration() || F->hasNotBeenReadFromBitcode())
|
||||
if (!F->isDeclaration() && !F->hasAvailableExternallyLinkage())
|
||||
TheJIT->addPendingFunction(F);
|
||||
|
||||
return Stub;
|
||||
|
@ -755,9 +761,16 @@ void *JITEmitter::getPointerToGlobal(GlobalValue *V, void *Reference,
|
|||
void *ResultPtr = TheJIT->getPointerToGlobalIfAvailable(F);
|
||||
if (ResultPtr) return ResultPtr;
|
||||
|
||||
// TODO: Delete this when PR5737 is fixed.
|
||||
std::string ErrorMsg;
|
||||
if (TheJIT->materializeFunction(F, &ErrorMsg)) {
|
||||
llvm_report_error("Error reading function '" + F->getName()+
|
||||
"' from bitcode file: " + ErrorMsg);
|
||||
}
|
||||
|
||||
// If this is an external function pointer, we can force the JIT to
|
||||
// 'compile' it, which really just adds it to the map.
|
||||
if (F->isDeclaration() && !F->hasNotBeenReadFromBitcode())
|
||||
if (F->isDeclaration() || F->hasAvailableExternallyLinkage())
|
||||
return TheJIT->getPointerToFunction(F);
|
||||
}
|
||||
|
||||
|
@ -1562,6 +1575,7 @@ void JIT::updateFunctionStub(Function *F) {
|
|||
JITEmitter *JE = cast<JITEmitter>(getCodeEmitter());
|
||||
void *Stub = JE->getJITResolver().getLazyFunctionStub(F);
|
||||
void *Addr = getPointerToGlobalIfAvailable(F);
|
||||
assert(Addr != Stub && "Function must have non-stub address to be updated.");
|
||||
|
||||
// Tell the target jit info to rewrite the stub at the specified address,
|
||||
// rather than creating a new one.
|
||||
|
|
|
@ -559,6 +559,35 @@ TEST_F(JITTest, AvailableExternallyGlobalIsntEmitted) {
|
|||
<< " not 7 from the IR version.";
|
||||
}
|
||||
|
||||
} // anonymous namespace
|
||||
// This function is intentionally defined differently in the statically-compiled
|
||||
// program from the IR input to the JIT to assert that the JIT doesn't use its
|
||||
// definition.
|
||||
extern "C" int32_t JITTest_AvailableExternallyFunction() {
|
||||
return 42;
|
||||
}
|
||||
namespace {
|
||||
|
||||
TEST_F(JITTest, AvailableExternallyFunctionIsntCompiled) {
|
||||
TheJIT->DisableLazyCompilation(true);
|
||||
LoadAssembly("define available_externally i32 "
|
||||
" @JITTest_AvailableExternallyFunction() { "
|
||||
" ret i32 7 "
|
||||
"} "
|
||||
" "
|
||||
"define i32 @func() { "
|
||||
" %result = tail call i32 "
|
||||
" @JITTest_AvailableExternallyFunction() "
|
||||
" ret i32 %result "
|
||||
"} ");
|
||||
Function *funcIR = M->getFunction("func");
|
||||
|
||||
int32_t (*func)() = reinterpret_cast<int32_t(*)()>(
|
||||
(intptr_t)TheJIT->getPointerToFunction(funcIR));
|
||||
EXPECT_EQ(42, func()) << "func should return 42 from the static version,"
|
||||
<< " not 7 from the IR version.";
|
||||
}
|
||||
|
||||
// This code is copied from JITEventListenerTest, but it only runs once for all
|
||||
// the tests in this directory. Everything seems fine, but that's strange
|
||||
// behavior.
|
||||
|
|
Loading…
Reference in New Issue