xref: /freebsd-src/contrib/llvm-project/llvm/lib/LTO/UpdateCompilerUsed.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
10b57cec5SDimitry Andric //==-LTOInternalize.cpp - LLVM Link Time Optimizer Internalization Utility -==//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file defines a helper to run the internalization part of LTO.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "llvm/LTO/legacy/UpdateCompilerUsed.h"
140b57cec5SDimitry Andric #include "llvm/Analysis/TargetLibraryInfo.h"
150b57cec5SDimitry Andric #include "llvm/CodeGen/TargetLowering.h"
160b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
170b57cec5SDimitry Andric #include "llvm/IR/Mangler.h"
18*0fca6ea1SDimitry Andric #include "llvm/IR/Module.h"
195ffd83dbSDimitry Andric #include "llvm/Target/TargetMachine.h"
20*0fca6ea1SDimitry Andric #include "llvm/Transforms/Utils/ModuleUtils.h"
210b57cec5SDimitry Andric 
220b57cec5SDimitry Andric using namespace llvm;
230b57cec5SDimitry Andric 
240b57cec5SDimitry Andric namespace {
250b57cec5SDimitry Andric 
260b57cec5SDimitry Andric // Helper class that collects AsmUsed and user supplied libcalls.
270b57cec5SDimitry Andric class PreserveLibCallsAndAsmUsed {
280b57cec5SDimitry Andric public:
290b57cec5SDimitry Andric   PreserveLibCallsAndAsmUsed(const StringSet<> &AsmUndefinedRefs,
300b57cec5SDimitry Andric                              const TargetMachine &TM,
310b57cec5SDimitry Andric                              std::vector<GlobalValue *> &LLVMUsed)
320b57cec5SDimitry Andric       : AsmUndefinedRefs(AsmUndefinedRefs), TM(TM), LLVMUsed(LLVMUsed) {}
330b57cec5SDimitry Andric 
340b57cec5SDimitry Andric   void findInModule(Module &TheModule) {
350b57cec5SDimitry Andric     initializeLibCalls(TheModule);
360b57cec5SDimitry Andric     for (Function &F : TheModule)
370b57cec5SDimitry Andric       findLibCallsAndAsm(F);
380b57cec5SDimitry Andric     for (GlobalVariable &GV : TheModule.globals())
390b57cec5SDimitry Andric       findLibCallsAndAsm(GV);
400b57cec5SDimitry Andric     for (GlobalAlias &GA : TheModule.aliases())
410b57cec5SDimitry Andric       findLibCallsAndAsm(GA);
420b57cec5SDimitry Andric   }
430b57cec5SDimitry Andric 
440b57cec5SDimitry Andric private:
450b57cec5SDimitry Andric   // Inputs
460b57cec5SDimitry Andric   const StringSet<> &AsmUndefinedRefs;
470b57cec5SDimitry Andric   const TargetMachine &TM;
480b57cec5SDimitry Andric 
490b57cec5SDimitry Andric   // Temps
500b57cec5SDimitry Andric   llvm::Mangler Mangler;
510b57cec5SDimitry Andric   StringSet<> Libcalls;
520b57cec5SDimitry Andric 
530b57cec5SDimitry Andric   // Output
540b57cec5SDimitry Andric   std::vector<GlobalValue *> &LLVMUsed;
550b57cec5SDimitry Andric 
560b57cec5SDimitry Andric   // Collect names of runtime library functions. User-defined functions with the
570b57cec5SDimitry Andric   // same names are added to llvm.compiler.used to prevent them from being
580b57cec5SDimitry Andric   // deleted by optimizations.
590b57cec5SDimitry Andric   void initializeLibCalls(const Module &TheModule) {
600b57cec5SDimitry Andric     TargetLibraryInfoImpl TLII(Triple(TM.getTargetTriple()));
610b57cec5SDimitry Andric     TargetLibraryInfo TLI(TLII);
620b57cec5SDimitry Andric 
630b57cec5SDimitry Andric     // TargetLibraryInfo has info on C runtime library calls on the current
640b57cec5SDimitry Andric     // target.
650b57cec5SDimitry Andric     for (unsigned I = 0, E = static_cast<unsigned>(LibFunc::NumLibFuncs);
660b57cec5SDimitry Andric          I != E; ++I) {
670b57cec5SDimitry Andric       LibFunc F = static_cast<LibFunc>(I);
680b57cec5SDimitry Andric       if (TLI.has(F))
690b57cec5SDimitry Andric         Libcalls.insert(TLI.getName(F));
700b57cec5SDimitry Andric     }
710b57cec5SDimitry Andric 
720b57cec5SDimitry Andric     SmallPtrSet<const TargetLowering *, 1> TLSet;
730b57cec5SDimitry Andric 
740b57cec5SDimitry Andric     for (const Function &F : TheModule) {
750b57cec5SDimitry Andric       const TargetLowering *Lowering =
760b57cec5SDimitry Andric           TM.getSubtargetImpl(F)->getTargetLowering();
770b57cec5SDimitry Andric 
780b57cec5SDimitry Andric       if (Lowering && TLSet.insert(Lowering).second)
790b57cec5SDimitry Andric         // TargetLowering has info on library calls that CodeGen expects to be
800b57cec5SDimitry Andric         // available, both from the C runtime and compiler-rt.
810b57cec5SDimitry Andric         for (unsigned I = 0, E = static_cast<unsigned>(RTLIB::UNKNOWN_LIBCALL);
820b57cec5SDimitry Andric              I != E; ++I)
830b57cec5SDimitry Andric           if (const char *Name =
840b57cec5SDimitry Andric                   Lowering->getLibcallName(static_cast<RTLIB::Libcall>(I)))
850b57cec5SDimitry Andric             Libcalls.insert(Name);
860b57cec5SDimitry Andric     }
870b57cec5SDimitry Andric   }
880b57cec5SDimitry Andric 
890b57cec5SDimitry Andric   void findLibCallsAndAsm(GlobalValue &GV) {
900b57cec5SDimitry Andric     // There are no restrictions to apply to declarations.
910b57cec5SDimitry Andric     if (GV.isDeclaration())
920b57cec5SDimitry Andric       return;
930b57cec5SDimitry Andric 
940b57cec5SDimitry Andric     // There is nothing more restrictive than private linkage.
950b57cec5SDimitry Andric     if (GV.hasPrivateLinkage())
960b57cec5SDimitry Andric       return;
970b57cec5SDimitry Andric 
980b57cec5SDimitry Andric     // Conservatively append user-supplied runtime library functions (supplied
990b57cec5SDimitry Andric     // either directly, or via a function alias) to llvm.compiler.used.  These
1000b57cec5SDimitry Andric     // could be internalized and deleted by optimizations like -globalopt,
1010b57cec5SDimitry Andric     // causing problems when later optimizations add new library calls (e.g.,
1020b57cec5SDimitry Andric     // llvm.memset => memset and printf => puts).
1030b57cec5SDimitry Andric     // Leave it to the linker to remove any dead code (e.g. with -dead_strip).
1040b57cec5SDimitry Andric     GlobalValue *FuncAliasee = nullptr;
1050b57cec5SDimitry Andric     if (isa<GlobalAlias>(GV)) {
1060b57cec5SDimitry Andric       auto *A = cast<GlobalAlias>(&GV);
1070b57cec5SDimitry Andric       FuncAliasee = dyn_cast<Function>(A->getAliasee());
1080b57cec5SDimitry Andric     }
1090b57cec5SDimitry Andric     if ((isa<Function>(GV) || FuncAliasee) && Libcalls.count(GV.getName())) {
1100b57cec5SDimitry Andric       LLVMUsed.push_back(&GV);
1110b57cec5SDimitry Andric       return;
1120b57cec5SDimitry Andric     }
1130b57cec5SDimitry Andric 
1140b57cec5SDimitry Andric     SmallString<64> Buffer;
1150b57cec5SDimitry Andric     TM.getNameWithPrefix(Buffer, &GV, Mangler);
1160b57cec5SDimitry Andric     if (AsmUndefinedRefs.count(Buffer))
1170b57cec5SDimitry Andric       LLVMUsed.push_back(&GV);
1180b57cec5SDimitry Andric   }
1190b57cec5SDimitry Andric };
1200b57cec5SDimitry Andric 
1210b57cec5SDimitry Andric } // namespace anonymous
1220b57cec5SDimitry Andric 
1230b57cec5SDimitry Andric void llvm::updateCompilerUsed(Module &TheModule, const TargetMachine &TM,
1240b57cec5SDimitry Andric                               const StringSet<> &AsmUndefinedRefs) {
1250b57cec5SDimitry Andric   std::vector<GlobalValue *> UsedValues;
1260b57cec5SDimitry Andric   PreserveLibCallsAndAsmUsed(AsmUndefinedRefs, TM, UsedValues)
1270b57cec5SDimitry Andric       .findInModule(TheModule);
1280b57cec5SDimitry Andric 
1290b57cec5SDimitry Andric   if (UsedValues.empty())
1300b57cec5SDimitry Andric     return;
1310b57cec5SDimitry Andric 
1320b57cec5SDimitry Andric   appendToCompilerUsed(TheModule, UsedValues);
1330b57cec5SDimitry Andric }
134