xref: /netbsd-src/external/apache2/llvm/dist/llvm/lib/ExecutionEngine/Orc/Mangling.cpp (revision 82d56013d7b633d116a93943de88e08335357a7c)
1*82d56013Sjoerg //===----------- Mangling.cpp -- Name Mangling Utilities for ORC ----------===//
2*82d56013Sjoerg //
3*82d56013Sjoerg // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*82d56013Sjoerg // See https://llvm.org/LICENSE.txt for license information.
5*82d56013Sjoerg // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*82d56013Sjoerg //
7*82d56013Sjoerg //===----------------------------------------------------------------------===//
8*82d56013Sjoerg 
9*82d56013Sjoerg #include "llvm/ExecutionEngine/Orc/Mangling.h"
10*82d56013Sjoerg #include "llvm/IR/Constants.h"
11*82d56013Sjoerg #include "llvm/IR/Mangler.h"
12*82d56013Sjoerg #include "llvm/Object/MachO.h"
13*82d56013Sjoerg #include "llvm/Object/ObjectFile.h"
14*82d56013Sjoerg #include "llvm/Support/Debug.h"
15*82d56013Sjoerg 
16*82d56013Sjoerg #define DEBUG_TYPE "orc"
17*82d56013Sjoerg 
18*82d56013Sjoerg namespace llvm {
19*82d56013Sjoerg namespace orc {
20*82d56013Sjoerg 
MangleAndInterner(ExecutionSession & ES,const DataLayout & DL)21*82d56013Sjoerg MangleAndInterner::MangleAndInterner(ExecutionSession &ES, const DataLayout &DL)
22*82d56013Sjoerg     : ES(ES), DL(DL) {}
23*82d56013Sjoerg 
operator ()(StringRef Name)24*82d56013Sjoerg SymbolStringPtr MangleAndInterner::operator()(StringRef Name) {
25*82d56013Sjoerg   std::string MangledName;
26*82d56013Sjoerg   {
27*82d56013Sjoerg     raw_string_ostream MangledNameStream(MangledName);
28*82d56013Sjoerg     Mangler::getNameWithPrefix(MangledNameStream, Name, DL);
29*82d56013Sjoerg   }
30*82d56013Sjoerg   return ES.intern(MangledName);
31*82d56013Sjoerg }
32*82d56013Sjoerg 
add(ExecutionSession & ES,const ManglingOptions & MO,ArrayRef<GlobalValue * > GVs,SymbolFlagsMap & SymbolFlags,SymbolNameToDefinitionMap * SymbolToDefinition)33*82d56013Sjoerg void IRSymbolMapper::add(ExecutionSession &ES, const ManglingOptions &MO,
34*82d56013Sjoerg                          ArrayRef<GlobalValue *> GVs,
35*82d56013Sjoerg                          SymbolFlagsMap &SymbolFlags,
36*82d56013Sjoerg                          SymbolNameToDefinitionMap *SymbolToDefinition) {
37*82d56013Sjoerg   if (GVs.empty())
38*82d56013Sjoerg     return;
39*82d56013Sjoerg 
40*82d56013Sjoerg   MangleAndInterner Mangle(ES, GVs[0]->getParent()->getDataLayout());
41*82d56013Sjoerg   for (auto *G : GVs) {
42*82d56013Sjoerg     assert(G && "GVs cannot contain null elements");
43*82d56013Sjoerg     if (!G->hasName() || G->isDeclaration() || G->hasLocalLinkage() ||
44*82d56013Sjoerg         G->hasAvailableExternallyLinkage() || G->hasAppendingLinkage())
45*82d56013Sjoerg       continue;
46*82d56013Sjoerg 
47*82d56013Sjoerg     if (G->isThreadLocal() && MO.EmulatedTLS) {
48*82d56013Sjoerg       auto *GV = cast<GlobalVariable>(G);
49*82d56013Sjoerg 
50*82d56013Sjoerg       auto Flags = JITSymbolFlags::fromGlobalValue(*GV);
51*82d56013Sjoerg 
52*82d56013Sjoerg       auto EmuTLSV = Mangle(("__emutls_v." + GV->getName()).str());
53*82d56013Sjoerg       SymbolFlags[EmuTLSV] = Flags;
54*82d56013Sjoerg       if (SymbolToDefinition)
55*82d56013Sjoerg         (*SymbolToDefinition)[EmuTLSV] = GV;
56*82d56013Sjoerg 
57*82d56013Sjoerg       // If this GV has a non-zero initializer we'll need to emit an
58*82d56013Sjoerg       // __emutls.t symbol too.
59*82d56013Sjoerg       if (GV->hasInitializer()) {
60*82d56013Sjoerg         const auto *InitVal = GV->getInitializer();
61*82d56013Sjoerg 
62*82d56013Sjoerg         // Skip zero-initializers.
63*82d56013Sjoerg         if (isa<ConstantAggregateZero>(InitVal))
64*82d56013Sjoerg           continue;
65*82d56013Sjoerg         const auto *InitIntValue = dyn_cast<ConstantInt>(InitVal);
66*82d56013Sjoerg         if (InitIntValue && InitIntValue->isZero())
67*82d56013Sjoerg           continue;
68*82d56013Sjoerg 
69*82d56013Sjoerg         auto EmuTLST = Mangle(("__emutls_t." + GV->getName()).str());
70*82d56013Sjoerg         SymbolFlags[EmuTLST] = Flags;
71*82d56013Sjoerg         if (SymbolToDefinition)
72*82d56013Sjoerg           (*SymbolToDefinition)[EmuTLST] = GV;
73*82d56013Sjoerg       }
74*82d56013Sjoerg       continue;
75*82d56013Sjoerg     }
76*82d56013Sjoerg 
77*82d56013Sjoerg     // Otherwise we just need a normal linker mangling.
78*82d56013Sjoerg     auto MangledName = Mangle(G->getName());
79*82d56013Sjoerg     SymbolFlags[MangledName] = JITSymbolFlags::fromGlobalValue(*G);
80*82d56013Sjoerg     if (SymbolToDefinition)
81*82d56013Sjoerg       (*SymbolToDefinition)[MangledName] = G;
82*82d56013Sjoerg   }
83*82d56013Sjoerg }
84*82d56013Sjoerg 
85*82d56013Sjoerg Expected<std::pair<SymbolFlagsMap, SymbolStringPtr>>
getObjectSymbolInfo(ExecutionSession & ES,MemoryBufferRef ObjBuffer)86*82d56013Sjoerg getObjectSymbolInfo(ExecutionSession &ES, MemoryBufferRef ObjBuffer) {
87*82d56013Sjoerg   auto Obj = object::ObjectFile::createObjectFile(ObjBuffer);
88*82d56013Sjoerg 
89*82d56013Sjoerg   if (!Obj)
90*82d56013Sjoerg     return Obj.takeError();
91*82d56013Sjoerg 
92*82d56013Sjoerg   bool IsMachO = isa<object::MachOObjectFile>(Obj->get());
93*82d56013Sjoerg 
94*82d56013Sjoerg   SymbolFlagsMap SymbolFlags;
95*82d56013Sjoerg   for (auto &Sym : (*Obj)->symbols()) {
96*82d56013Sjoerg     Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
97*82d56013Sjoerg     if (!SymFlagsOrErr)
98*82d56013Sjoerg       // TODO: Test this error.
99*82d56013Sjoerg       return SymFlagsOrErr.takeError();
100*82d56013Sjoerg 
101*82d56013Sjoerg     // Skip symbols not defined in this object file.
102*82d56013Sjoerg     if (*SymFlagsOrErr & object::BasicSymbolRef::SF_Undefined)
103*82d56013Sjoerg       continue;
104*82d56013Sjoerg 
105*82d56013Sjoerg     // Skip symbols that are not global.
106*82d56013Sjoerg     if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global))
107*82d56013Sjoerg       continue;
108*82d56013Sjoerg 
109*82d56013Sjoerg     // Skip symbols that have type SF_File.
110*82d56013Sjoerg     if (auto SymType = Sym.getType()) {
111*82d56013Sjoerg       if (*SymType == object::SymbolRef::ST_File)
112*82d56013Sjoerg         continue;
113*82d56013Sjoerg     } else
114*82d56013Sjoerg       return SymType.takeError();
115*82d56013Sjoerg 
116*82d56013Sjoerg     auto Name = Sym.getName();
117*82d56013Sjoerg     if (!Name)
118*82d56013Sjoerg       return Name.takeError();
119*82d56013Sjoerg     auto InternedName = ES.intern(*Name);
120*82d56013Sjoerg     auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym);
121*82d56013Sjoerg     if (!SymFlags)
122*82d56013Sjoerg       return SymFlags.takeError();
123*82d56013Sjoerg 
124*82d56013Sjoerg     // Strip the 'exported' flag from MachO linker-private symbols.
125*82d56013Sjoerg     if (IsMachO && Name->startswith("l"))
126*82d56013Sjoerg       *SymFlags &= ~JITSymbolFlags::Exported;
127*82d56013Sjoerg 
128*82d56013Sjoerg     SymbolFlags[InternedName] = std::move(*SymFlags);
129*82d56013Sjoerg   }
130*82d56013Sjoerg 
131*82d56013Sjoerg   SymbolStringPtr InitSymbol;
132*82d56013Sjoerg 
133*82d56013Sjoerg   if (IsMachO) {
134*82d56013Sjoerg     auto &MachOObj = cast<object::MachOObjectFile>(*Obj->get());
135*82d56013Sjoerg     for (auto &Sec : MachOObj.sections()) {
136*82d56013Sjoerg       auto SecType = MachOObj.getSectionType(Sec);
137*82d56013Sjoerg       if ((SecType & MachO::SECTION_TYPE) == MachO::S_MOD_INIT_FUNC_POINTERS) {
138*82d56013Sjoerg         size_t Counter = 0;
139*82d56013Sjoerg         while (true) {
140*82d56013Sjoerg           std::string InitSymString;
141*82d56013Sjoerg           raw_string_ostream(InitSymString)
142*82d56013Sjoerg               << "$." << ObjBuffer.getBufferIdentifier() << ".__inits."
143*82d56013Sjoerg               << Counter++;
144*82d56013Sjoerg           InitSymbol = ES.intern(InitSymString);
145*82d56013Sjoerg           if (SymbolFlags.count(InitSymbol))
146*82d56013Sjoerg             continue;
147*82d56013Sjoerg           SymbolFlags[InitSymbol] =
148*82d56013Sjoerg               JITSymbolFlags::MaterializationSideEffectsOnly;
149*82d56013Sjoerg           break;
150*82d56013Sjoerg         }
151*82d56013Sjoerg         break;
152*82d56013Sjoerg       }
153*82d56013Sjoerg     }
154*82d56013Sjoerg   }
155*82d56013Sjoerg 
156*82d56013Sjoerg   return std::make_pair(std::move(SymbolFlags), std::move(InitSymbol));
157*82d56013Sjoerg }
158*82d56013Sjoerg 
159*82d56013Sjoerg } // End namespace orc.
160*82d56013Sjoerg } // End namespace llvm.
161