13ca95b02SDimitry Andric //==-LTOInternalize.cpp - LLVM Link Time Optimizer Internalization Utility -==//
23ca95b02SDimitry Andric //
33ca95b02SDimitry Andric // The LLVM Compiler Infrastructure
43ca95b02SDimitry Andric //
53ca95b02SDimitry Andric // This file is distributed under the University of Illinois Open Source
63ca95b02SDimitry Andric // License. See LICENSE.TXT for details.
73ca95b02SDimitry Andric //
83ca95b02SDimitry Andric //===----------------------------------------------------------------------===//
93ca95b02SDimitry Andric //
103ca95b02SDimitry Andric // This file defines a helper to run the internalization part of LTO.
113ca95b02SDimitry Andric //
123ca95b02SDimitry Andric //===----------------------------------------------------------------------===//
133ca95b02SDimitry Andric
143ca95b02SDimitry Andric #include "llvm/LTO/legacy/UpdateCompilerUsed.h"
153ca95b02SDimitry Andric #include "llvm/Analysis/TargetLibraryInfo.h"
162cab237bSDimitry Andric #include "llvm/CodeGen/TargetLowering.h"
172cab237bSDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
183ca95b02SDimitry Andric #include "llvm/IR/LegacyPassManager.h"
193ca95b02SDimitry Andric #include "llvm/IR/Mangler.h"
20d88c1a5aSDimitry Andric #include "llvm/Transforms/Utils/ModuleUtils.h"
213ca95b02SDimitry Andric
223ca95b02SDimitry Andric using namespace llvm;
233ca95b02SDimitry Andric
243ca95b02SDimitry Andric namespace {
253ca95b02SDimitry Andric
263ca95b02SDimitry Andric // Helper class that collects AsmUsed and user supplied libcalls.
273ca95b02SDimitry Andric class PreserveLibCallsAndAsmUsed {
283ca95b02SDimitry Andric public:
PreserveLibCallsAndAsmUsed(const StringSet<> & AsmUndefinedRefs,const TargetMachine & TM,std::vector<GlobalValue * > & LLVMUsed)293ca95b02SDimitry Andric PreserveLibCallsAndAsmUsed(const StringSet<> &AsmUndefinedRefs,
303ca95b02SDimitry Andric const TargetMachine &TM,
31d88c1a5aSDimitry Andric std::vector<GlobalValue *> &LLVMUsed)
323ca95b02SDimitry Andric : AsmUndefinedRefs(AsmUndefinedRefs), TM(TM), LLVMUsed(LLVMUsed) {}
333ca95b02SDimitry Andric
findInModule(Module & TheModule)34d88c1a5aSDimitry Andric void findInModule(Module &TheModule) {
353ca95b02SDimitry Andric initializeLibCalls(TheModule);
36d88c1a5aSDimitry Andric for (Function &F : TheModule)
373ca95b02SDimitry Andric findLibCallsAndAsm(F);
38d88c1a5aSDimitry Andric for (GlobalVariable &GV : TheModule.globals())
393ca95b02SDimitry Andric findLibCallsAndAsm(GV);
40d88c1a5aSDimitry Andric for (GlobalAlias &GA : TheModule.aliases())
413ca95b02SDimitry Andric findLibCallsAndAsm(GA);
423ca95b02SDimitry Andric }
433ca95b02SDimitry Andric
443ca95b02SDimitry Andric private:
453ca95b02SDimitry Andric // Inputs
463ca95b02SDimitry Andric const StringSet<> &AsmUndefinedRefs;
473ca95b02SDimitry Andric const TargetMachine &TM;
483ca95b02SDimitry Andric
493ca95b02SDimitry Andric // Temps
503ca95b02SDimitry Andric llvm::Mangler Mangler;
513ca95b02SDimitry Andric StringSet<> Libcalls;
523ca95b02SDimitry Andric
533ca95b02SDimitry Andric // Output
54d88c1a5aSDimitry Andric std::vector<GlobalValue *> &LLVMUsed;
553ca95b02SDimitry Andric
563ca95b02SDimitry Andric // Collect names of runtime library functions. User-defined functions with the
573ca95b02SDimitry Andric // same names are added to llvm.compiler.used to prevent them from being
583ca95b02SDimitry Andric // deleted by optimizations.
initializeLibCalls(const Module & TheModule)593ca95b02SDimitry Andric void initializeLibCalls(const Module &TheModule) {
603ca95b02SDimitry Andric TargetLibraryInfoImpl TLII(Triple(TM.getTargetTriple()));
613ca95b02SDimitry Andric TargetLibraryInfo TLI(TLII);
623ca95b02SDimitry Andric
633ca95b02SDimitry Andric // TargetLibraryInfo has info on C runtime library calls on the current
643ca95b02SDimitry Andric // target.
653ca95b02SDimitry Andric for (unsigned I = 0, E = static_cast<unsigned>(LibFunc::NumLibFuncs);
663ca95b02SDimitry Andric I != E; ++I) {
677a7e6055SDimitry Andric LibFunc F = static_cast<LibFunc>(I);
683ca95b02SDimitry Andric if (TLI.has(F))
693ca95b02SDimitry Andric Libcalls.insert(TLI.getName(F));
703ca95b02SDimitry Andric }
713ca95b02SDimitry Andric
723ca95b02SDimitry Andric SmallPtrSet<const TargetLowering *, 1> TLSet;
733ca95b02SDimitry Andric
743ca95b02SDimitry Andric for (const Function &F : TheModule) {
753ca95b02SDimitry Andric const TargetLowering *Lowering =
763ca95b02SDimitry Andric TM.getSubtargetImpl(F)->getTargetLowering();
773ca95b02SDimitry Andric
783ca95b02SDimitry Andric if (Lowering && TLSet.insert(Lowering).second)
793ca95b02SDimitry Andric // TargetLowering has info on library calls that CodeGen expects to be
803ca95b02SDimitry Andric // available, both from the C runtime and compiler-rt.
813ca95b02SDimitry Andric for (unsigned I = 0, E = static_cast<unsigned>(RTLIB::UNKNOWN_LIBCALL);
823ca95b02SDimitry Andric I != E; ++I)
833ca95b02SDimitry Andric if (const char *Name =
843ca95b02SDimitry Andric Lowering->getLibcallName(static_cast<RTLIB::Libcall>(I)))
853ca95b02SDimitry Andric Libcalls.insert(Name);
863ca95b02SDimitry Andric }
873ca95b02SDimitry Andric }
883ca95b02SDimitry Andric
findLibCallsAndAsm(GlobalValue & GV)89d88c1a5aSDimitry Andric void findLibCallsAndAsm(GlobalValue &GV) {
903ca95b02SDimitry Andric // There are no restrictions to apply to declarations.
913ca95b02SDimitry Andric if (GV.isDeclaration())
923ca95b02SDimitry Andric return;
933ca95b02SDimitry Andric
943ca95b02SDimitry Andric // There is nothing more restrictive than private linkage.
953ca95b02SDimitry Andric if (GV.hasPrivateLinkage())
963ca95b02SDimitry Andric return;
973ca95b02SDimitry Andric
98*b5893f02SDimitry Andric // Conservatively append user-supplied runtime library functions (supplied
99*b5893f02SDimitry Andric // either directly, or via a function alias) to llvm.compiler.used. These
100*b5893f02SDimitry Andric // could be internalized and deleted by optimizations like -globalopt,
101*b5893f02SDimitry Andric // causing problems when later optimizations add new library calls (e.g.,
102*b5893f02SDimitry Andric // llvm.memset => memset and printf => puts).
1033ca95b02SDimitry Andric // Leave it to the linker to remove any dead code (e.g. with -dead_strip).
104*b5893f02SDimitry Andric GlobalValue *FuncAliasee = nullptr;
105*b5893f02SDimitry Andric if (isa<GlobalAlias>(GV)) {
106*b5893f02SDimitry Andric auto *A = cast<GlobalAlias>(&GV);
107*b5893f02SDimitry Andric FuncAliasee = dyn_cast<Function>(A->getAliasee());
108*b5893f02SDimitry Andric }
109*b5893f02SDimitry Andric if ((isa<Function>(GV) || FuncAliasee) && Libcalls.count(GV.getName())) {
110d88c1a5aSDimitry Andric LLVMUsed.push_back(&GV);
111d88c1a5aSDimitry Andric return;
112d88c1a5aSDimitry Andric }
1133ca95b02SDimitry Andric
1143ca95b02SDimitry Andric SmallString<64> Buffer;
1153ca95b02SDimitry Andric TM.getNameWithPrefix(Buffer, &GV, Mangler);
1163ca95b02SDimitry Andric if (AsmUndefinedRefs.count(Buffer))
117d88c1a5aSDimitry Andric LLVMUsed.push_back(&GV);
1183ca95b02SDimitry Andric }
1193ca95b02SDimitry Andric };
1203ca95b02SDimitry Andric
1213ca95b02SDimitry Andric } // namespace anonymous
1223ca95b02SDimitry Andric
updateCompilerUsed(Module & TheModule,const TargetMachine & TM,const StringSet<> & AsmUndefinedRefs)1233ca95b02SDimitry Andric void llvm::updateCompilerUsed(Module &TheModule, const TargetMachine &TM,
1243ca95b02SDimitry Andric const StringSet<> &AsmUndefinedRefs) {
125d88c1a5aSDimitry Andric std::vector<GlobalValue *> UsedValues;
1263ca95b02SDimitry Andric PreserveLibCallsAndAsmUsed(AsmUndefinedRefs, TM, UsedValues)
1273ca95b02SDimitry Andric .findInModule(TheModule);
1283ca95b02SDimitry Andric
1293ca95b02SDimitry Andric if (UsedValues.empty())
1303ca95b02SDimitry Andric return;
1313ca95b02SDimitry Andric
132d88c1a5aSDimitry Andric appendToCompilerUsed(TheModule, UsedValues);
1333ca95b02SDimitry Andric }
134