- // GlobalValue, even with InternalLinkage type, may have operands with
- // ExternalLinkage type. Do not ignore these operands.
- if (Constant *c = dyn_cast<Constant>(value))
- // Handle ConstantExpr, ConstantStruct, ConstantArry etc..
- for (unsigned i = 0, e = c->getNumOperands(); i != e; ++i)
- findExternalRefs(c->getOperand(i), references, mangler);
-}
-
-/// If Module with InputFilename is available then remove it from allModules
-/// and call delete on it.
-void
-LTO::removeModule (const std::string &InputFilename)
-{
- NameToModuleMap::iterator pos = allModules.find(InputFilename.c_str());
- if (pos == allModules.end())
- return;
-
- Module *m = pos->second;
- allModules.erase(pos);
- delete m;
-}
-
-/// InputFilename is a LLVM bitcode file. If Module with InputFilename is
-/// available then return it. Otherwise parseInputFilename.
-Module *
-LTO::getModule(const std::string &InputFilename)
-{
- Module *m = NULL;
-
- NameToModuleMap::iterator pos = allModules.find(InputFilename.c_str());
- if (pos != allModules.end())
- m = allModules[InputFilename.c_str()];
- else {
- if (MemoryBuffer *Buffer
- = MemoryBuffer::getFile(&InputFilename[0], InputFilename.size())) {
- m = ParseBitcodeFile(Buffer);
- delete Buffer;
- }
- allModules[InputFilename.c_str()] = m;
- }
- return m;
-}
-
-/// InputFilename is a LLVM bitcode file. Reade this bitcode file and
-/// set corresponding target triplet string.
-void
-LTO::getTargetTriple(const std::string &InputFilename,
- std::string &targetTriple)
-{
- Module *m = getModule(InputFilename);
- if (m)
- targetTriple = m->getTargetTriple();
-}
-
-/// InputFilename is a LLVM bitcode file. Read it using bitcode reader.
-/// Collect global functions and symbol names in symbols vector.
-/// Collect external references in references vector.
-/// Return LTO_READ_SUCCESS if there is no error.
-enum LTOStatus
-LTO::readLLVMObjectFile(const std::string &InputFilename,
- NameToSymbolMap &symbols,
- std::set<std::string> &references)
-{
- Module *m = getModule(InputFilename);
- if (!m)
- return LTO_READ_FAILURE;
-
- // Collect Target info
- getTarget(m);
-
- if (!Target)
- return LTO_READ_FAILURE;
-
- // Use mangler to add GlobalPrefix to names to match linker names.
- // FIXME : Instead of hard coding "-" use GlobalPrefix.
- Mangler mangler(*m, Target->getTargetAsmInfo()->getGlobalPrefix());
- modules.push_back(m);
-
- for (Module::iterator f = m->begin(), e = m->end(); f != e; ++f) {
- LTOLinkageTypes lt = getLTOLinkageType(f);
- LTOVisibilityTypes vis = getLTOVisibilityType(f);
- if (!f->isDeclaration() && lt != LTOInternalLinkage
- && strncmp (f->getName().c_str(), "llvm.", 5)) {
- int alignment = ( 16 > f->getAlignment() ? 16 : f->getAlignment());
- LLVMSymbol *newSymbol = new LLVMSymbol(lt, vis, f, f->getName(),
- mangler.getValueName(f),
- Log2_32(alignment));
- symbols[newSymbol->getMangledName()] = newSymbol;
- allSymbols[newSymbol->getMangledName()] = newSymbol;
- }
-
- // Collect external symbols referenced by this function.
- for (Function::iterator b = f->begin(), fe = f->end(); b != fe; ++b)
- for (BasicBlock::iterator i = b->begin(), be = b->end();
- i != be; ++i) {
- for (unsigned count = 0, total = i->getNumOperands();
- count != total; ++count)
- findExternalRefs(i->getOperand(count), references, mangler);
- }
- }
-
- for (Module::global_iterator v = m->global_begin(), e = m->global_end();
- v != e; ++v) {
- LTOLinkageTypes lt = getLTOLinkageType(v);
- LTOVisibilityTypes vis = getLTOVisibilityType(v);
- if (!v->isDeclaration() && lt != LTOInternalLinkage
- && strncmp (v->getName().c_str(), "llvm.", 5)) {
- const TargetData *TD = Target->getTargetData();
- LLVMSymbol *newSymbol = new LLVMSymbol(lt, vis, v, v->getName(),
- mangler.getValueName(v),
- TD->getPreferredAlignmentLog(v));
- symbols[newSymbol->getMangledName()] = newSymbol;
- allSymbols[newSymbol->getMangledName()] = newSymbol;
-
- for (unsigned count = 0, total = v->getNumOperands();
- count != total; ++count)
- findExternalRefs(v->getOperand(count), references, mangler);
-
- }
- }
-
- return LTO_READ_SUCCESS;
-}
-
-/// Get TargetMachine.
-/// Use module M to find appropriate Target.
-void
-LTO::getTarget (Module *M) {
-
- if (Target)
- return;
-
- std::string Err;
- const TargetMachineRegistry::entry* March =
- TargetMachineRegistry::getClosestStaticTargetForModule(*M, Err);
-
- if (March == 0)
- return;
-
- // Create target
- std::string Features;
- Target = March->CtorFn(*M, Features);
-}
-
-/// Optimize module M using various IPO passes. Use exportList to
-/// internalize selected symbols. Target platform is selected
-/// based on information available to module M. No new target
-/// features are selected.
-enum LTOStatus
-LTO::optimize(Module *M, std::ostream &Out,
- std::vector<const char *> &exportList)
-{
- // Instantiate the pass manager to organize the passes.
- PassManager Passes;
-
- // Collect Target info
- getTarget(M);
-
- if (!Target)
- return LTO_NO_TARGET;
-
- // If target supports exception handling then enable it now.
- if (Target->getTargetAsmInfo()->doesSupportExceptionHandling())
- ExceptionHandling = true;
-
- // Start off with a verification pass.
- Passes.add(createVerifierPass());
-
- // Add an appropriate TargetData instance for this module...
- Passes.add(new TargetData(*Target->getTargetData()));
-
- // Internalize symbols if export list is nonemty
- if (!exportList.empty())
- Passes.add(createInternalizePass(exportList));
-
- // Now that we internalized some globals, see if we can hack on them!
- Passes.add(createGlobalOptimizerPass());
-
- // Linking modules together can lead to duplicated global constants, only
- // keep one copy of each constant...
- Passes.add(createConstantMergePass());
-
- // If the -s command line option was specified, strip the symbols out of the
- // resulting program to make it smaller. -s is a GLD option that we are
- // supporting.
- if(!ExceptionHandling)
- // FIXME : This causes multiple nameless _.eh symbols on
- // darwin when EH is ON.
- Passes.add(createStripSymbolsPass());
-
- // Propagate constants at call sites into the functions they call.
- Passes.add(createIPConstantPropagationPass());
-
- // Remove unused arguments from functions...
- Passes.add(createDeadArgEliminationPass());
-
- Passes.add(createFunctionInliningPass()); // Inline small functions
-
- Passes.add(createPruneEHPass()); // Remove dead EH info
-
- Passes.add(createGlobalDCEPass()); // Remove dead functions
-
- // If we didn't decide to inline a function, check to see if we can
- // transform it to pass arguments by value instead of by reference.
- Passes.add(createArgumentPromotionPass());
-
- // The IPO passes may leave cruft around. Clean up after them.
- Passes.add(createInstructionCombiningPass());
-
- Passes.add(createScalarReplAggregatesPass()); // Break up allocas
-
- // Run a few AA driven optimizations here and now, to cleanup the code.
- Passes.add(createGlobalsModRefPass()); // IP alias analysis
-
- Passes.add(createLICMPass()); // Hoist loop invariants
- Passes.add(createLoadValueNumberingPass()); // GVN for load instrs
- Passes.add(createGCSEPass()); // Remove common subexprs
- Passes.add(createDeadStoreEliminationPass()); // Nuke dead stores
-
- // Cleanup and simplify the code after the scalar optimizations.
- Passes.add(createInstructionCombiningPass());
-
- // Delete basic blocks, which optimization passes may have killed...
- Passes.add(createCFGSimplificationPass());
-
- // Now that we have optimized the program, discard unreachable functions...
- Passes.add(createGlobalDCEPass());
-
- // Make sure everything is still good.
- Passes.add(createVerifierPass());
-
- FunctionPassManager *CodeGenPasses =
- new FunctionPassManager(new ExistingModuleProvider(M));
-
- CodeGenPasses->add(new TargetData(*Target->getTargetData()));
-
- MachineCodeEmitter *MCE = 0;
-
- switch (Target->addPassesToEmitFile(*CodeGenPasses, Out,
- TargetMachine::AssemblyFile, true)) {
- default:
- case FileModel::Error:
- return LTO_WRITE_FAILURE;
- case FileModel::AsmFile:
- break;
- case FileModel::MachOFile:
- MCE = AddMachOWriter(*CodeGenPasses, Out, *Target);
- break;
- case FileModel::ElfFile:
- MCE = AddELFWriter(*CodeGenPasses, Out, *Target);
- break;
- }