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