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