Index: include/llvm/IR/FunctionInfo.h =================================================================== --- include/llvm/IR/FunctionInfo.h +++ include/llvm/IR/FunctionInfo.h @@ -196,8 +196,10 @@ /// Add a function info for a function of the given name. void addFunctionInfo(StringRef FuncName, std::unique_ptr Info) { - if (ExportingModule) { - assert(Info->functionSummary()); + // Update the HasExportedFunctions flag, but only if we had a function + // summary (i.e. we aren't parsing them lazily or have a bitcode file + // without a function summary section). + if (ExportingModule && Info->functionSummary()) { if (ExportingModule->getModuleIdentifier() == Info->functionSummary()->modulePath()) HasExportedFunctions = true; Index: lib/Bitcode/Reader/BitcodeReader.cpp =================================================================== --- lib/Bitcode/Reader/BitcodeReader.cpp +++ lib/Bitcode/Reader/BitcodeReader.cpp @@ -5566,12 +5566,14 @@ case BitstreamEntry::SubBlock: if (CheckFuncSummaryPresenceOnly) { - if (Entry.ID == bitc::FUNCTION_SUMMARY_BLOCK_ID) + if (Entry.ID == bitc::FUNCTION_SUMMARY_BLOCK_ID) { SeenFuncSummary = true; + // No need to parse the rest since we found the summary. + return std::error_code(); + } if (Stream.SkipBlock()) return error("Invalid record"); - // No need to parse the rest since we found the summary. - return std::error_code(); + continue; } switch (Entry.ID) { default: // Skip unknown content. Index: lib/IR/FunctionInfo.cpp =================================================================== --- lib/IR/FunctionInfo.cpp +++ lib/IR/FunctionInfo.cpp @@ -31,6 +31,10 @@ assert(List.size() == 1); std::unique_ptr Info = std::move(List.front()); + // Skip if there was no function summary section. + if (!Info->functionSummary()) + continue; + // Add the module path string ref for this module if we haven't already // saved a reference to it. if (ModPath.empty()) Index: test/Linker/funcimport.ll =================================================================== --- test/Linker/funcimport.ll +++ test/Linker/funcimport.ll @@ -1,3 +1,10 @@ +; First ensure that the ThinLTO handling in llvm-link and llvm-lto handles +; bitcode without function summary sections gracefully. +; RUN: llvm-as %s -o %t.bc +; RUN: llvm-as %p/Inputs/funcimport.ll -o %t2.bc +; RUN: llvm-link %t.bc -functionindex=%t.bc -S +; RUN: llvm-lto -thinlto -o %t3 %t.bc %t2.bc + ; Do setup work for all below tests: generate bitcode and combined index ; RUN: llvm-as -function-summary %s -o %t.bc ; RUN: llvm-as -function-summary %p/Inputs/funcimport.ll -o %t2.bc Index: test/tools/gold/X86/thinlto.ll =================================================================== --- test/tools/gold/X86/thinlto.ll +++ test/tools/gold/X86/thinlto.ll @@ -1,3 +1,11 @@ +; First ensure that the ThinLTO handling in the gold plugin handles +; bitcode without function summary sections gracefully. +; RUN: llvm-as %s -o %t.o +; RUN: llvm-as %p/Inputs/thinlto.ll -o %t2.o +; RUN: %gold -plugin %llvmshlibdir/LLVMgold.so \ +; RUN: --plugin-opt=thinlto \ +; RUN: -shared %t.o %t2.o -o %t3 + ; RUN: llvm-as -function-summary %s -o %t.o ; RUN: llvm-as -function-summary %p/Inputs/thinlto.ll -o %t2.o Index: tools/gold/gold-plugin.cpp =================================================================== --- tools/gold/gold-plugin.cpp +++ tools/gold/gold-plugin.cpp @@ -620,6 +620,13 @@ MemoryBufferRef BufferRef(StringRef((const char *)View, Info.filesize), Info.name); + + // Don't bother trying to build an index if there is no summary information + // in this bitcode file. + if (!object::FunctionIndexObjectFile::hasFunctionSummaryInMemBuffer( + BufferRef, diagnosticHandler)) + return std::unique_ptr(nullptr); + ErrorOr> ObjOrErr = object::FunctionIndexObjectFile::create(BufferRef, diagnosticHandler); @@ -911,6 +918,11 @@ std::unique_ptr Index = getFunctionIndexForFile(F, File); + + // Skip files without a function summary. + if (!Index) + continue; + CombinedIndex.mergeFrom(std::move(Index), ++NextModuleId); } Index: tools/llvm-lto/llvm-lto.cpp =================================================================== --- tools/llvm-lto/llvm-lto.cpp +++ tools/llvm-lto/llvm-lto.cpp @@ -192,24 +192,27 @@ /// Parse the function index out of an IR file and return the function /// index object if found, or nullptr if not. -static std::unique_ptr -getFunctionIndexForFile(StringRef Path, std::string &Error, +static ErrorOr> +getFunctionIndexForFile(StringRef Path, DiagnosticHandlerFunction DiagnosticHandler) { std::unique_ptr Buffer; ErrorOr> BufferOrErr = MemoryBuffer::getFile(Path); - if (std::error_code EC = BufferOrErr.getError()) { - Error = EC.message(); - return nullptr; - } + if (std::error_code EC = BufferOrErr.getError()) + return EC; Buffer = std::move(BufferOrErr.get()); + + // Don't bother trying to build an index if there is no summary information + // in this bitcode file. + if (!object::FunctionIndexObjectFile::hasFunctionSummaryInMemBuffer( + Buffer->getMemBufferRef(), DiagnosticHandler)) + return std::unique_ptr(nullptr); + ErrorOr> ObjOrErr = object::FunctionIndexObjectFile::create(Buffer->getMemBufferRef(), DiagnosticHandler); - if (std::error_code EC = ObjOrErr.getError()) { - Error = EC.message(); - return nullptr; - } + if (std::error_code EC = ObjOrErr.getError()) + return EC; return (*ObjOrErr)->takeIndex(); } @@ -221,14 +224,18 @@ FunctionInfoIndex CombinedIndex; uint64_t NextModuleId = 0; for (auto &Filename : InputFilenames) { - std::string Error; - std::unique_ptr Index = - getFunctionIndexForFile(Filename, Error, diagnosticHandler); - if (!Index) { + ErrorOr> IndexOrErr = + getFunctionIndexForFile(Filename, diagnosticHandler); + if (std::error_code EC = IndexOrErr.getError()) { + std::string Error = EC.message(); errs() << Command << ": error loading file '" << Filename << "': " << Error << "\n"; return 1; } + std::unique_ptr Index = std::move(IndexOrErr.get()); + // Skip files without a function summary. + if (!Index) + continue; CombinedIndex.mergeFrom(std::move(Index), ++NextModuleId); } std::error_code EC;