blob: b7c65eda91b8b641834e7132ba96567626560773 [file] [log] [blame]
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001//===- LinkerScript.cpp ---------------------------------------------------===//
2//
3// The LLVM Linker
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the parser/evaluator of the linker script.
Rui Ueyama629e0aa52016-07-21 19:45:22 +000011// It parses a linker script and write the result to Config or ScriptConfig
12// objects.
13//
14// If SECTIONS command is used, a ScriptConfig contains an AST
15// of the command which will later be consumed by createSections() and
16// assignAddresses().
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000017//
18//===----------------------------------------------------------------------===//
19
Rui Ueyama717677a2016-02-11 21:17:59 +000020#include "LinkerScript.h"
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000021#include "Config.h"
22#include "Driver.h"
Rui Ueyama1ebc8ed2016-02-12 21:47:28 +000023#include "InputSection.h"
George Rimar652852c2016-04-16 10:10:32 +000024#include "OutputSections.h"
Adhemerval Zanellae77b5bf2016-04-06 20:59:11 +000025#include "ScriptParser.h"
Rui Ueyama93c9af42016-06-29 08:01:32 +000026#include "Strings.h"
Eugene Levianteda81a12016-07-12 06:39:48 +000027#include "Symbols.h"
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000028#include "SymbolTable.h"
Eugene Leviant467c4d52016-07-01 10:27:36 +000029#include "Target.h"
Eugene Leviantbbe38602016-07-19 09:25:43 +000030#include "Writer.h"
Rui Ueyama960504b2016-04-19 18:58:11 +000031#include "llvm/ADT/StringSwitch.h"
George Rimar652852c2016-04-16 10:10:32 +000032#include "llvm/Support/ELF.h"
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000033#include "llvm/Support/FileSystem.h"
34#include "llvm/Support/MemoryBuffer.h"
Rui Ueyamaf03f3cc2015-10-13 00:09:21 +000035#include "llvm/Support/Path.h"
Rui Ueyamaa47ee682015-10-11 01:53:04 +000036#include "llvm/Support/StringSaver.h"
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000037
38using namespace llvm;
George Rimar652852c2016-04-16 10:10:32 +000039using namespace llvm::ELF;
Rui Ueyama1ebc8ed2016-02-12 21:47:28 +000040using namespace llvm::object;
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000041using namespace lld;
Rafael Espindolae0df00b2016-02-28 00:25:54 +000042using namespace lld::elf;
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000043
George Rimar884e7862016-09-08 08:19:13 +000044LinkerScriptBase *elf::ScriptBase;
Rui Ueyama07320e42016-04-20 20:13:41 +000045ScriptConfiguration *elf::ScriptConfig;
Rui Ueyama717677a2016-02-11 21:17:59 +000046
George Rimar6c55f0e2016-09-08 08:20:30 +000047template <class ELFT> static void addRegular(SymbolAssignment *Cmd) {
Rui Ueyama16024212016-08-11 23:22:52 +000048 Symbol *Sym = Symtab<ELFT>::X->addRegular(Cmd->Name, STB_GLOBAL, STV_DEFAULT);
49 Sym->Visibility = Cmd->Hidden ? STV_HIDDEN : STV_DEFAULT;
50 Cmd->Sym = Sym->body();
Eugene Leviant20d03192016-09-16 15:30:47 +000051
52 // If we have no SECTIONS then we don't have '.' and don't call
53 // assignAddresses(). We calculate symbol value immediately in this case.
54 if (!ScriptConfig->HasSections)
55 cast<DefinedRegular<ELFT>>(Cmd->Sym)->Value = Cmd->Expression(0);
Eugene Leviantceabe802016-08-11 07:56:43 +000056}
57
Rui Ueyama0c70d3c2016-08-12 03:31:09 +000058template <class ELFT> static void addSynthetic(SymbolAssignment *Cmd) {
George Rimare1937bb2016-08-19 15:36:32 +000059 Symbol *Sym = Symtab<ELFT>::X->addSynthetic(
60 Cmd->Name, nullptr, 0, Cmd->Hidden ? STV_HIDDEN : STV_DEFAULT);
Rui Ueyama16024212016-08-11 23:22:52 +000061 Cmd->Sym = Sym->body();
Eugene Leviantceabe802016-08-11 07:56:43 +000062}
63
Eugene Leviantdb741e72016-09-07 07:08:43 +000064template <class ELFT> static void addSymbol(SymbolAssignment *Cmd) {
65 if (Cmd->IsAbsolute)
66 addRegular<ELFT>(Cmd);
67 else
68 addSynthetic<ELFT>(Cmd);
69}
Rui Ueyama16024212016-08-11 23:22:52 +000070// If a symbol was in PROVIDE(), we need to define it only when
71// it is an undefined symbol.
72template <class ELFT> static bool shouldDefine(SymbolAssignment *Cmd) {
73 if (Cmd->Name == ".")
Eugene Leviantceabe802016-08-11 07:56:43 +000074 return false;
Rui Ueyama16024212016-08-11 23:22:52 +000075 if (!Cmd->Provide)
76 return true;
77 SymbolBody *B = Symtab<ELFT>::X->find(Cmd->Name);
78 return B && B->isUndefined();
Eugene Leviantceabe802016-08-11 07:56:43 +000079}
80
George Rimar076fe152016-07-21 06:43:01 +000081bool SymbolAssignment::classof(const BaseCommand *C) {
82 return C->Kind == AssignmentKind;
83}
84
85bool OutputSectionCommand::classof(const BaseCommand *C) {
86 return C->Kind == OutputSectionKind;
87}
88
George Rimareea31142016-07-21 14:26:59 +000089bool InputSectionDescription::classof(const BaseCommand *C) {
90 return C->Kind == InputSectionKind;
91}
92
George Rimareefa7582016-08-04 09:29:31 +000093bool AssertCommand::classof(const BaseCommand *C) {
94 return C->Kind == AssertKind;
95}
96
Rui Ueyama36a153c2016-07-23 14:09:58 +000097template <class ELFT> static bool isDiscarded(InputSectionBase<ELFT> *S) {
George Rimareea31142016-07-21 14:26:59 +000098 return !S || !S->Live;
Rui Ueyama717677a2016-02-11 21:17:59 +000099}
100
Rui Ueyamaf34d0e02016-08-12 01:24:53 +0000101template <class ELFT> LinkerScript<ELFT>::LinkerScript() {}
102template <class ELFT> LinkerScript<ELFT>::~LinkerScript() {}
103
Rui Ueyama07320e42016-04-20 20:13:41 +0000104template <class ELFT>
105bool LinkerScript<ELFT>::shouldKeep(InputSectionBase<ELFT> *S) {
George Rimarc91930a2016-09-02 21:17:20 +0000106 for (Regex *Re : Opt.KeptSections)
Rafael Espindola042a3f22016-09-08 14:06:08 +0000107 if (Re->match(S->Name))
George Rimareea31142016-07-21 14:26:59 +0000108 return true;
109 return false;
110}
111
George Rimar575208c2016-09-15 19:15:12 +0000112static bool comparePriority(InputSectionData *A, InputSectionData *B) {
113 return getPriority(A->Name) < getPriority(B->Name);
114}
115
Rafael Espindolac0028d32016-09-08 20:47:52 +0000116static bool compareName(InputSectionData *A, InputSectionData *B) {
Rafael Espindola042a3f22016-09-08 14:06:08 +0000117 return A->Name < B->Name;
Rui Ueyama742c3832016-08-04 22:27:00 +0000118}
George Rimar350ece42016-08-03 08:35:59 +0000119
Rafael Espindolac0028d32016-09-08 20:47:52 +0000120static bool compareAlignment(InputSectionData *A, InputSectionData *B) {
Rui Ueyama742c3832016-08-04 22:27:00 +0000121 // ">" is not a mistake. Larger alignments are placed before smaller
122 // alignments in order to reduce the amount of padding necessary.
123 // This is compatible with GNU.
124 return A->Alignment > B->Alignment;
125}
George Rimar350ece42016-08-03 08:35:59 +0000126
Rafael Espindolac0028d32016-09-08 20:47:52 +0000127static std::function<bool(InputSectionData *, InputSectionData *)>
George Rimarbe394db2016-09-16 20:21:55 +0000128getComparator(SortSectionPolicy K) {
129 switch (K) {
130 case SortSectionPolicy::Alignment:
131 return compareAlignment;
132 case SortSectionPolicy::Name:
Rafael Espindolac0028d32016-09-08 20:47:52 +0000133 return compareName;
George Rimarbe394db2016-09-16 20:21:55 +0000134 case SortSectionPolicy::Priority:
135 return comparePriority;
136 default:
137 llvm_unreachable("unknown sort policy");
138 }
Rui Ueyama742c3832016-08-04 22:27:00 +0000139}
George Rimar0702c4e2016-07-29 15:32:46 +0000140
Rui Ueyama48c3f1c2016-08-12 00:27:23 +0000141template <class ELFT>
Rafael Espindolae71a3f8a2016-09-16 20:34:02 +0000142static bool matchConstraints(ArrayRef<InputSectionBase<ELFT> *> Sections,
George Rimar06ae6832016-08-12 09:07:57 +0000143 ConstraintKind Kind) {
George Rimar8f66df92016-08-12 20:38:20 +0000144 if (Kind == ConstraintKind::NoConstraint)
145 return true;
Rafael Espindolae746e522016-09-21 18:33:44 +0000146 bool IsRW = llvm::any_of(Sections, [=](InputSectionData *Sec2) {
Rafael Espindolad3190792016-09-16 15:10:23 +0000147 auto *Sec = static_cast<InputSectionBase<ELFT> *>(Sec2);
Rafael Espindolae746e522016-09-21 18:33:44 +0000148 return Sec->getSectionHdr()->sh_flags & SHF_WRITE;
George Rimar06ae6832016-08-12 09:07:57 +0000149 });
Rafael Espindolae746e522016-09-21 18:33:44 +0000150 return (IsRW && Kind == ConstraintKind::ReadWrite) ||
151 (!IsRW && Kind == ConstraintKind::ReadOnly);
George Rimar06ae6832016-08-12 09:07:57 +0000152}
153
George Rimar07171f22016-09-21 15:56:44 +0000154static void sortSections(InputSectionData **Begin, InputSectionData **End,
Rui Ueyamaee924702016-09-20 19:42:41 +0000155 SortSectionPolicy K) {
156 if (K != SortSectionPolicy::Default && K != SortSectionPolicy::None)
George Rimar07171f22016-09-21 15:56:44 +0000157 std::stable_sort(Begin, End, getComparator(K));
Rui Ueyamaee924702016-09-20 19:42:41 +0000158}
159
Rafael Espindolad3190792016-09-16 15:10:23 +0000160// Compute and remember which sections the InputSectionDescription matches.
Rafael Espindolabe94e1b2016-09-14 14:32:08 +0000161template <class ELFT>
Rafael Espindolae71a3f8a2016-09-16 20:34:02 +0000162void LinkerScript<ELFT>::computeInputSections(InputSectionDescription *I) {
Rui Ueyama4dc07be2016-09-17 02:23:40 +0000163 // Collects all sections that satisfy constraints of I
164 // and attach them to I.
165 for (SectionPattern &Pat : I->SectionPatterns) {
George Rimar07171f22016-09-21 15:56:44 +0000166 size_t SizeBefore = I->Sections.size();
George Rimar395281c2016-09-16 17:42:10 +0000167 for (ObjectFile<ELFT> *F : Symtab<ELFT>::X->getObjectFiles()) {
Rui Ueyama3ff27f42016-09-17 02:15:28 +0000168 StringRef Filename = sys::path::filename(F->getName());
Rafael Espindolaf135f0e2016-09-19 13:33:38 +0000169 if (!I->FileRe.match(Filename) || Pat.ExcludedFileRe.match(Filename))
Rui Ueyama3ff27f42016-09-17 02:15:28 +0000170 continue;
Rui Ueyama4dc07be2016-09-17 02:23:40 +0000171
Rui Ueyama3ff27f42016-09-17 02:15:28 +0000172 for (InputSectionBase<ELFT> *S : F->getSections())
Rafael Espindolaf135f0e2016-09-19 13:33:38 +0000173 if (!isDiscarded(S) && !S->OutSec && Pat.SectionRe.match(S->Name))
Rui Ueyama3ff27f42016-09-17 02:15:28 +0000174 I->Sections.push_back(S);
Rafael Espindolaf135f0e2016-09-19 13:33:38 +0000175 if (Pat.SectionRe.match("COMMON"))
Rui Ueyama3ff27f42016-09-17 02:15:28 +0000176 I->Sections.push_back(CommonInputSection<ELFT>::X);
George Rimar395281c2016-09-16 17:42:10 +0000177 }
Rafael Espindolad3190792016-09-16 15:10:23 +0000178
George Rimar07171f22016-09-21 15:56:44 +0000179 // Sort sections as instructed by SORT-family commands and --sort-section
180 // option. Because SORT-family commands can be nested at most two depth
181 // (e.g. SORT_BY_NAME(SORT_BY_ALIGNMENT(.text.*))) and because the command
182 // line option is respected even if a SORT command is given, the exact
183 // behavior we have here is a bit complicated. Here are the rules.
184 //
185 // 1. If two SORT commands are given, --sort-section is ignored.
186 // 2. If one SORT command is given, and if it is not SORT_NONE,
187 // --sort-section is handled as an inner SORT command.
188 // 3. If one SORT command is given, and if it is SORT_NONE, don't sort.
189 // 4. If no SORT command is given, sort according to --sort-section.
190 InputSectionData **Begin = I->Sections.data() + SizeBefore;
191 InputSectionData **End = I->Sections.data() + I->Sections.size();
192 if (Pat.SortOuter != SortSectionPolicy::None) {
193 if (Pat.SortInner == SortSectionPolicy::Default)
194 sortSections(Begin, End, Config->SortSection);
195 else
196 sortSections(Begin, End, Pat.SortInner);
197 sortSections(Begin, End, Pat.SortOuter);
198 }
Rui Ueyamaee924702016-09-20 19:42:41 +0000199 }
Rafael Espindolad3190792016-09-16 15:10:23 +0000200
201 // We do not add duplicate input sections, so mark them with a dummy output
202 // section for now.
203 for (InputSectionData *S : I->Sections) {
204 auto *S2 = static_cast<InputSectionBase<ELFT> *>(S);
205 S2->OutSec = (OutputSectionBase<ELFT> *)-1;
206 }
Rafael Espindolabe94e1b2016-09-14 14:32:08 +0000207}
208
209template <class ELFT>
210void LinkerScript<ELFT>::discard(ArrayRef<InputSectionBase<ELFT> *> V) {
211 for (InputSectionBase<ELFT> *S : V) {
212 S->Live = false;
213 reportDiscarded(S);
214 }
215}
216
George Rimar06ae6832016-08-12 09:07:57 +0000217template <class ELFT>
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000218std::vector<InputSectionBase<ELFT> *>
George Rimar06ae6832016-08-12 09:07:57 +0000219LinkerScript<ELFT>::createInputSectionList(OutputSectionCommand &OutCmd) {
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000220 std::vector<InputSectionBase<ELFT> *> Ret;
Rui Ueyamae7f912c2016-08-03 21:12:09 +0000221
George Rimar06ae6832016-08-12 09:07:57 +0000222 for (const std::unique_ptr<BaseCommand> &Base : OutCmd.Commands) {
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000223 auto *Cmd = dyn_cast<InputSectionDescription>(Base.get());
224 if (!Cmd)
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000225 continue;
Rafael Espindolae71a3f8a2016-09-16 20:34:02 +0000226 computeInputSections(Cmd);
Rafael Espindolad3190792016-09-16 15:10:23 +0000227 for (InputSectionData *S : Cmd->Sections)
228 Ret.push_back(static_cast<InputSectionBase<ELFT> *>(S));
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000229 }
Rafael Espindolae71a3f8a2016-09-16 20:34:02 +0000230
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000231 return Ret;
232}
233
Petr Hoseke5d3ca52016-08-31 15:31:17 +0000234template <class ELFT>
Rafael Espindola10897f12016-09-13 14:23:14 +0000235static SectionKey<ELFT::Is64Bits> createKey(InputSectionBase<ELFT> *C,
236 StringRef OutsecName) {
237 // When using linker script the merge rules are different.
238 // Unfortunately, linker scripts are name based. This means that expressions
239 // like *(.foo*) can refer to multiple input sections that would normally be
240 // placed in different output sections. We cannot put them in different
241 // output sections or we would produce wrong results for
242 // start = .; *(.foo.*) end = .; *(.bar)
243 // and a mapping of .foo1 and .bar1 to one section and .foo2 and .bar2 to
244 // another. The problem is that there is no way to layout those output
245 // sections such that the .foo sections are the only thing between the
246 // start and end symbols.
247
248 // An extra annoyance is that we cannot simply disable merging of the contents
249 // of SHF_MERGE sections, but our implementation requires one output section
250 // per "kind" (string or not, which size/aligment).
251 // Fortunately, creating symbols in the middle of a merge section is not
252 // supported by bfd or gold, so we can just create multiple section in that
253 // case.
254 const typename ELFT::Shdr *H = C->getSectionHdr();
255 typedef typename ELFT::uint uintX_t;
256 uintX_t Flags = H->sh_flags & (SHF_MERGE | SHF_STRINGS);
257
258 uintX_t Alignment = 0;
259 if (isa<MergeInputSection<ELFT>>(C))
260 Alignment = std::max(H->sh_addralign, H->sh_entsize);
261
262 return SectionKey<ELFT::Is64Bits>{OutsecName, /*Type*/ 0, Flags, Alignment};
263}
264
265template <class ELFT>
Eugene Leviant20d03192016-09-16 15:30:47 +0000266void LinkerScript<ELFT>::addSection(OutputSectionFactory<ELFT> &Factory,
267 InputSectionBase<ELFT> *Sec,
268 StringRef Name) {
269 OutputSectionBase<ELFT> *OutSec;
270 bool IsNew;
271 std::tie(OutSec, IsNew) = Factory.create(createKey(Sec, Name), Sec);
272 if (IsNew)
273 OutputSections->push_back(OutSec);
274 OutSec->addSection(Sec);
275}
276
277template <class ELFT>
278void LinkerScript<ELFT>::processCommands(OutputSectionFactory<ELFT> &Factory) {
Rafael Espindola28c15972016-09-13 13:00:06 +0000279
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000280 for (unsigned I = 0; I < Opt.Commands.size(); ++I) {
281 auto Iter = Opt.Commands.begin() + I;
282 const std::unique_ptr<BaseCommand> &Base1 = *Iter;
Rui Ueyama2ab5f732016-08-12 03:33:04 +0000283 if (auto *Cmd = dyn_cast<SymbolAssignment>(Base1.get())) {
284 if (shouldDefine<ELFT>(Cmd))
285 addRegular<ELFT>(Cmd);
286 continue;
287 }
Eugene Leviant20d03192016-09-16 15:30:47 +0000288 if (auto *Cmd = dyn_cast<AssertCommand>(Base1.get())) {
289 // If we don't have SECTIONS then output sections have already been
George Rimar194470cd2016-09-17 19:21:05 +0000290 // created by Writer<ELFT>. The LinkerScript<ELFT>::assignAddresses
Eugene Leviant20d03192016-09-16 15:30:47 +0000291 // will not be called, so ASSERT should be evaluated now.
292 if (!Opt.HasSections)
293 Cmd->Expression(0);
294 continue;
295 }
Rui Ueyama2ab5f732016-08-12 03:33:04 +0000296
Eugene Leviantceabe802016-08-11 07:56:43 +0000297 if (auto *Cmd = dyn_cast<OutputSectionCommand>(Base1.get())) {
Rafael Espindola7bd37872016-09-12 16:05:16 +0000298 std::vector<InputSectionBase<ELFT> *> V = createInputSectionList(*Cmd);
299
Rui Ueyama48c3f1c2016-08-12 00:27:23 +0000300 if (Cmd->Name == "/DISCARD/") {
Rafael Espindola7bd37872016-09-12 16:05:16 +0000301 discard(V);
Rui Ueyama48c3f1c2016-08-12 00:27:23 +0000302 continue;
303 }
Eugene Leviantceabe802016-08-11 07:56:43 +0000304
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000305 if (!matchConstraints<ELFT>(V, Cmd->Constraint)) {
306 for (InputSectionBase<ELFT> *S : V)
307 S->OutSec = nullptr;
308 Opt.Commands.erase(Iter);
George Rimardfbbbc82016-09-17 09:50:10 +0000309 --I;
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000310 continue;
311 }
312
313 for (const std::unique_ptr<BaseCommand> &Base : Cmd->Commands)
314 if (auto *OutCmd = dyn_cast<SymbolAssignment>(Base.get()))
315 if (shouldDefine<ELFT>(OutCmd))
316 addSymbol<ELFT>(OutCmd);
317
Eugene Leviant97403d12016-09-01 09:55:57 +0000318 if (V.empty())
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000319 continue;
320
George Rimardb24d9c2016-08-19 15:18:23 +0000321 for (InputSectionBase<ELFT> *Sec : V) {
Eugene Leviant20d03192016-09-16 15:30:47 +0000322 addSection(Factory, Sec, Cmd->Name);
323 if (uint32_t Subalign = Cmd->SubalignExpr ? Cmd->SubalignExpr(0) : 0)
George Rimardb24d9c2016-08-19 15:18:23 +0000324 Sec->Alignment = Subalign;
George Rimardb24d9c2016-08-19 15:18:23 +0000325 }
Eugene Leviantceabe802016-08-11 07:56:43 +0000326 }
Rui Ueyama48c3f1c2016-08-12 00:27:23 +0000327 }
Eugene Leviant20d03192016-09-16 15:30:47 +0000328}
Eugene Leviante63d81b2016-07-20 14:43:20 +0000329
Eugene Leviant20d03192016-09-16 15:30:47 +0000330template <class ELFT>
331void LinkerScript<ELFT>::createSections(OutputSectionFactory<ELFT> &Factory) {
332 processCommands(Factory);
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000333 // Add orphan sections.
Eugene Leviant20d03192016-09-16 15:30:47 +0000334 for (ObjectFile<ELFT> *F : Symtab<ELFT>::X->getObjectFiles())
335 for (InputSectionBase<ELFT> *S : F->getSections())
336 if (!isDiscarded(S) && !S->OutSec)
337 addSection(Factory, S, getOutputSectionName(S));
Eugene Leviante63d81b2016-07-20 14:43:20 +0000338}
339
Eugene Leviantdb741e72016-09-07 07:08:43 +0000340// Sets value of a section-defined symbol. Two kinds of
341// symbols are processed: synthetic symbols, whose value
342// is an offset from beginning of section and regular
343// symbols whose value is absolute.
344template <class ELFT>
345static void assignSectionSymbol(SymbolAssignment *Cmd,
346 OutputSectionBase<ELFT> *Sec,
347 typename ELFT::uint Off) {
348 if (!Cmd->Sym)
349 return;
350
351 if (auto *Body = dyn_cast<DefinedSynthetic<ELFT>>(Cmd->Sym)) {
352 Body->Section = Sec;
353 Body->Value = Cmd->Expression(Sec->getVA() + Off) - Sec->getVA();
354 return;
355 }
356 auto *Body = cast<DefinedRegular<ELFT>>(Cmd->Sym);
357 Body->Value = Cmd->Expression(Sec->getVA() + Off);
358}
359
Rafael Espindolaa940e532016-09-22 12:35:44 +0000360template <class ELFT> static bool isTbss(OutputSectionBase<ELFT> *Sec) {
361 return (Sec->getFlags() & SHF_TLS) && Sec->getType() == SHT_NOBITS;
362}
363
Rafael Espindolad3190792016-09-16 15:10:23 +0000364template <class ELFT> void LinkerScript<ELFT>::output(InputSection<ELFT> *S) {
365 if (!AlreadyOutputIS.insert(S).second)
366 return;
Rafael Espindolaa940e532016-09-22 12:35:44 +0000367 bool IsTbss = isTbss(CurOutSec);
Eugene Leviant20889c52016-08-31 08:13:33 +0000368
Rafael Espindolad3190792016-09-16 15:10:23 +0000369 uintX_t Pos = IsTbss ? Dot + ThreadBssOffset : Dot;
370 Pos = alignTo(Pos, S->Alignment);
371 S->OutSecOff = Pos - CurOutSec->getVA();
372 Pos += S->getSize();
373
374 // Update output section size after adding each section. This is so that
375 // SIZEOF works correctly in the case below:
376 // .foo { *(.aaa) a = SIZEOF(.foo); *(.bbb) }
377 CurOutSec->setSize(Pos - CurOutSec->getVA());
378
Rafael Espindola7252ae52016-09-22 12:00:08 +0000379 if (IsTbss)
380 ThreadBssOffset = Pos - Dot;
381 else
Rafael Espindolad3190792016-09-16 15:10:23 +0000382 Dot = Pos;
383}
384
385template <class ELFT> void LinkerScript<ELFT>::flush() {
Rafael Espindola65499b92016-09-23 20:10:47 +0000386 if (!CurOutSec || !AlreadyOutputOS.insert(CurOutSec).second)
387 return;
388 if (auto *OutSec = dyn_cast<OutputSection<ELFT>>(CurOutSec)) {
Rafael Espindolad3190792016-09-16 15:10:23 +0000389 for (InputSection<ELFT> *I : OutSec->Sections)
390 output(I);
Rafael Espindola65499b92016-09-23 20:10:47 +0000391 } else {
392 Dot += CurOutSec->getSize();
Eugene Leviant20889c52016-08-31 08:13:33 +0000393 }
394}
395
396template <class ELFT>
Rafael Espindolad3190792016-09-16 15:10:23 +0000397void LinkerScript<ELFT>::switchTo(OutputSectionBase<ELFT> *Sec) {
398 if (CurOutSec == Sec)
399 return;
400 if (AlreadyOutputOS.count(Sec))
401 return;
402
403 flush();
404 CurOutSec = Sec;
405
406 Dot = alignTo(Dot, CurOutSec->getAlignment());
Rafael Espindolaa940e532016-09-22 12:35:44 +0000407 CurOutSec->setVA(isTbss(CurOutSec) ? Dot + ThreadBssOffset : Dot);
Rafael Espindolad3190792016-09-16 15:10:23 +0000408}
409
410template <class ELFT> void LinkerScript<ELFT>::process(BaseCommand &Base) {
411 if (auto *AssignCmd = dyn_cast<SymbolAssignment>(&Base)) {
412 if (AssignCmd->Name == ".") {
413 // Update to location counter means update to section size.
414 Dot = AssignCmd->Expression(Dot);
415 CurOutSec->setSize(Dot - CurOutSec->getVA());
416 return;
417 }
418 assignSectionSymbol<ELFT>(AssignCmd, CurOutSec, Dot - CurOutSec->getVA());
Eugene Leviantceabe802016-08-11 07:56:43 +0000419 return;
Rui Ueyama2de509c2016-08-12 00:55:08 +0000420 }
Rafael Espindolad3190792016-09-16 15:10:23 +0000421 auto &ICmd = cast<InputSectionDescription>(Base);
422 for (InputSectionData *ID : ICmd.Sections) {
423 auto *IB = static_cast<InputSectionBase<ELFT> *>(ID);
424 switchTo(IB->OutSec);
425 if (auto *I = dyn_cast<InputSection<ELFT>>(IB))
426 output(I);
Rafael Espindola65499b92016-09-23 20:10:47 +0000427 else
428 flush();
Eugene Leviantceabe802016-08-11 07:56:43 +0000429 }
430}
431
George Rimar8f66df92016-08-12 20:38:20 +0000432template <class ELFT>
George Rimara14b13d2016-09-07 10:46:07 +0000433static std::vector<OutputSectionBase<ELFT> *>
434findSections(OutputSectionCommand &Cmd,
Rafael Espindolad3190792016-09-16 15:10:23 +0000435 const std::vector<OutputSectionBase<ELFT> *> &Sections) {
George Rimara14b13d2016-09-07 10:46:07 +0000436 std::vector<OutputSectionBase<ELFT> *> Ret;
437 for (OutputSectionBase<ELFT> *Sec : Sections)
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000438 if (Sec->getName() == Cmd.Name)
George Rimara14b13d2016-09-07 10:46:07 +0000439 Ret.push_back(Sec);
440 return Ret;
George Rimar8f66df92016-08-12 20:38:20 +0000441}
442
Rafael Espindolad3190792016-09-16 15:10:23 +0000443template <class ELFT>
444void LinkerScript<ELFT>::assignOffsets(OutputSectionCommand *Cmd) {
445 std::vector<OutputSectionBase<ELFT> *> Sections =
446 findSections(*Cmd, *OutputSections);
447 if (Sections.empty())
448 return;
449 switchTo(Sections[0]);
450
451 // Find the last section output location. We will output orphan sections
452 // there so that end symbols point to the correct location.
453 auto E = std::find_if(Cmd->Commands.rbegin(), Cmd->Commands.rend(),
454 [](const std::unique_ptr<BaseCommand> &Cmd) {
455 return !isa<SymbolAssignment>(*Cmd);
456 })
457 .base();
458 for (auto I = Cmd->Commands.begin(); I != E; ++I)
459 process(**I);
Rafael Espindola65499b92016-09-23 20:10:47 +0000460 for (OutputSectionBase<ELFT> *Base : Sections)
Rafael Espindolad3190792016-09-16 15:10:23 +0000461 switchTo(Base);
Rafael Espindola65499b92016-09-23 20:10:47 +0000462 flush();
George Rimarb31dd372016-09-19 13:27:31 +0000463 std::for_each(E, Cmd->Commands.end(),
464 [this](std::unique_ptr<BaseCommand> &B) { process(*B.get()); });
Rafael Espindolad3190792016-09-16 15:10:23 +0000465}
466
Rafael Espindola9546fff2016-09-22 14:40:50 +0000467template <class ELFT> void LinkerScript<ELFT>::adjustSectionsBeforeSorting() {
Rafael Espindola6d38e4d2016-09-20 13:12:07 +0000468 // It is common practice to use very generic linker scripts. So for any
469 // given run some of the output sections in the script will be empty.
470 // We could create corresponding empty output sections, but that would
471 // clutter the output.
472 // We instead remove trivially empty sections. The bfd linker seems even
473 // more aggressive at removing them.
474 auto Pos = std::remove_if(
475 Opt.Commands.begin(), Opt.Commands.end(),
476 [&](const std::unique_ptr<BaseCommand> &Base) {
477 auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get());
478 if (!Cmd)
479 return false;
480 std::vector<OutputSectionBase<ELFT> *> Secs =
481 findSections(*Cmd, *OutputSections);
482 if (!Secs.empty())
483 return false;
484 for (const std::unique_ptr<BaseCommand> &I : Cmd->Commands)
485 if (!isa<InputSectionDescription>(I.get()))
486 return false;
487 return true;
488 });
489 Opt.Commands.erase(Pos, Opt.Commands.end());
490
Rafael Espindola9546fff2016-09-22 14:40:50 +0000491 // If the output section contains only symbol assignments, create a
492 // corresponding output section. The bfd linker seems to only create them if
493 // '.' is assigned to, but creating these section should not have any bad
494 // consequeces and gives us a section to put the symbol in.
495 uintX_t Flags = SHF_ALLOC;
496 uint32_t Type = 0;
497 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands) {
498 auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get());
499 if (!Cmd)
500 continue;
501 std::vector<OutputSectionBase<ELFT> *> Secs =
502 findSections(*Cmd, *OutputSections);
503 if (!Secs.empty()) {
504 Flags = Secs[0]->getFlags();
505 Type = Secs[0]->getType();
506 continue;
507 }
508
509 auto *OutSec = new OutputSection<ELFT>(Cmd->Name, Type, Flags);
510 Out<ELFT>::Pool.emplace_back(OutSec);
511 OutputSections->push_back(OutSec);
512 }
513}
514
Rafael Espindola15c57952016-09-22 18:05:49 +0000515// When placing orphan sections, we want to place them after symbol assignments
516// so that an orphan after
517// begin_foo = .;
518// foo : { *(foo) }
519// end_foo = .;
520// doesn't break the intended meaning of the begin/end symbols.
521// We don't want to go over sections since Writer<ELFT>::sortSections is the
522// one in charge of deciding the order of the sections.
523// We don't want to go over alignments, since doing so in
524// rx_sec : { *(rx_sec) }
525// . = ALIGN(0x1000);
526// /* The RW PT_LOAD starts here*/
527// rw_sec : { *(rw_sec) }
528// would mean that the RW PT_LOAD would become unaligned.
529static bool shouldSkip(const BaseCommand &Cmd) {
530 if (isa<OutputSectionCommand>(Cmd))
531 return false;
532 const auto *Assign = dyn_cast<SymbolAssignment>(&Cmd);
533 if (!Assign)
534 return true;
535 return Assign->Name != ".";
536}
537
Rafael Espindola9546fff2016-09-22 14:40:50 +0000538template <class ELFT> void LinkerScript<ELFT>::assignAddresses() {
George Rimar652852c2016-04-16 10:10:32 +0000539 // Orphan sections are sections present in the input files which
Rui Ueyama7c18c282016-04-18 21:00:40 +0000540 // are not explicitly placed into the output file by the linker script.
541 // We place orphan sections at end of file.
542 // Other linkers places them using some heuristics as described in
George Rimar652852c2016-04-16 10:10:32 +0000543 // https://sourceware.org/binutils/docs/ld/Orphan-Sections.html#Orphan-Sections.
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000544
545 // The OutputSections are already in the correct order.
546 // This loops creates or moves commands as needed so that they are in the
547 // correct order.
548 int CmdIndex = 0;
Rui Ueyamae5cc6682016-08-12 00:36:56 +0000549 for (OutputSectionBase<ELFT> *Sec : *OutputSections) {
George Rimar652852c2016-04-16 10:10:32 +0000550 StringRef Name = Sec->getName();
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000551
552 // Find the last spot where we can insert a command and still get the
Rafael Espindola15c57952016-09-22 18:05:49 +0000553 // correct result.
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000554 auto CmdIter = Opt.Commands.begin() + CmdIndex;
555 auto E = Opt.Commands.end();
Rafael Espindola15c57952016-09-22 18:05:49 +0000556 while (CmdIter != E && shouldSkip(**CmdIter)) {
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000557 ++CmdIter;
558 ++CmdIndex;
559 }
560
561 auto Pos =
562 std::find_if(CmdIter, E, [&](const std::unique_ptr<BaseCommand> &Base) {
563 auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get());
564 return Cmd && Cmd->Name == Name;
565 });
566 if (Pos == E) {
567 Opt.Commands.insert(CmdIter,
568 llvm::make_unique<OutputSectionCommand>(Name));
Rafael Espindola15c57952016-09-22 18:05:49 +0000569 ++CmdIndex;
570 continue;
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000571 }
Rafael Espindola15c57952016-09-22 18:05:49 +0000572
573 // Continue from where we found it.
574 CmdIndex = (Pos - Opt.Commands.begin()) + 1;
575 continue;
George Rimar652852c2016-04-16 10:10:32 +0000576 }
George Rimar652852c2016-04-16 10:10:32 +0000577
Rui Ueyama7c18c282016-04-18 21:00:40 +0000578 // Assign addresses as instructed by linker script SECTIONS sub-commands.
Rui Ueyama4f7500b2016-08-12 04:00:22 +0000579 Dot = getHeaderSize();
George Rimar652852c2016-04-16 10:10:32 +0000580
George Rimar076fe152016-07-21 06:43:01 +0000581 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands) {
582 if (auto *Cmd = dyn_cast<SymbolAssignment>(Base.get())) {
Rui Ueyama8d083e62016-07-29 05:48:39 +0000583 if (Cmd->Name == ".") {
584 Dot = Cmd->Expression(Dot);
585 } else if (Cmd->Sym) {
586 cast<DefinedRegular<ELFT>>(Cmd->Sym)->Value = Cmd->Expression(Dot);
587 }
George Rimar652852c2016-04-16 10:10:32 +0000588 continue;
589 }
590
George Rimareefa7582016-08-04 09:29:31 +0000591 if (auto *Cmd = dyn_cast<AssertCommand>(Base.get())) {
592 Cmd->Expression(Dot);
593 continue;
594 }
595
George Rimar076fe152016-07-21 06:43:01 +0000596 auto *Cmd = cast<OutputSectionCommand>(Base.get());
George Rimar652852c2016-04-16 10:10:32 +0000597
Rafael Espindolad3190792016-09-16 15:10:23 +0000598 if (Cmd->AddrExpr)
599 Dot = Cmd->AddrExpr(Dot);
George Rimar58e5c4d2016-07-25 08:29:46 +0000600
Rafael Espindolad3190792016-09-16 15:10:23 +0000601 assignOffsets(Cmd);
George Rimar652852c2016-04-16 10:10:32 +0000602 }
Rui Ueyama52c4e172016-07-01 10:42:25 +0000603
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000604 uintX_t MinVA = std::numeric_limits<uintX_t>::max();
605 for (OutputSectionBase<ELFT> *Sec : *OutputSections) {
606 if (Sec->getFlags() & SHF_ALLOC)
607 MinVA = std::min(MinVA, Sec->getVA());
608 else
Rafael Espindolad3190792016-09-16 15:10:23 +0000609 Sec->setVA(0);
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000610 }
611
Rafael Espindola0d4b6d52016-09-22 16:47:21 +0000612 uintX_t HeaderSize = getHeaderSize();
Rafael Espindola4ec013a2016-09-15 21:22:11 +0000613 if (HeaderSize > MinVA)
614 fatal("Not enough space for ELF and program headers");
615
Rafael Espindola64c32d62016-07-07 14:28:47 +0000616 // ELF and Program headers need to be right before the first section in
George Rimarb91e7112016-07-19 07:42:07 +0000617 // memory. Set their addresses accordingly.
Rafael Espindola4ec013a2016-09-15 21:22:11 +0000618 MinVA = alignDown(MinVA - HeaderSize, Target->PageSize);
Eugene Leviant467c4d52016-07-01 10:27:36 +0000619 Out<ELFT>::ElfHeader->setVA(MinVA);
620 Out<ELFT>::ProgramHeaders->setVA(Out<ELFT>::ElfHeader->getSize() + MinVA);
George Rimar652852c2016-04-16 10:10:32 +0000621}
622
Rui Ueyama464daad2016-08-22 04:55:20 +0000623// Creates program headers as instructed by PHDRS linker script command.
Rui Ueyama07320e42016-04-20 20:13:41 +0000624template <class ELFT>
Rafael Espindolaa4b41dc2016-08-04 12:13:05 +0000625std::vector<PhdrEntry<ELFT>> LinkerScript<ELFT>::createPhdrs() {
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000626 std::vector<PhdrEntry<ELFT>> Ret;
Eugene Leviantbbe38602016-07-19 09:25:43 +0000627
Rui Ueyama464daad2016-08-22 04:55:20 +0000628 // Process PHDRS and FILEHDR keywords because they are not
629 // real output sections and cannot be added in the following loop.
Eugene Leviantbbe38602016-07-19 09:25:43 +0000630 for (const PhdrsCommand &Cmd : Opt.PhdrsCommands) {
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000631 Ret.emplace_back(Cmd.Type, Cmd.Flags == UINT_MAX ? PF_R : Cmd.Flags);
632 PhdrEntry<ELFT> &Phdr = Ret.back();
Eugene Leviantbbe38602016-07-19 09:25:43 +0000633
634 if (Cmd.HasFilehdr)
Rui Ueyamaadca2452016-07-23 14:18:48 +0000635 Phdr.add(Out<ELFT>::ElfHeader);
Eugene Leviantbbe38602016-07-19 09:25:43 +0000636 if (Cmd.HasPhdrs)
Rui Ueyamaadca2452016-07-23 14:18:48 +0000637 Phdr.add(Out<ELFT>::ProgramHeaders);
Eugene Leviant56b21c82016-09-09 09:46:16 +0000638
639 if (Cmd.LMAExpr) {
640 Phdr.H.p_paddr = Cmd.LMAExpr(0);
641 Phdr.HasLMA = true;
642 }
Eugene Leviantbbe38602016-07-19 09:25:43 +0000643 }
644
Rui Ueyama464daad2016-08-22 04:55:20 +0000645 // Add output sections to program headers.
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000646 PhdrEntry<ELFT> *Load = nullptr;
647 uintX_t Flags = PF_R;
Rui Ueyama464daad2016-08-22 04:55:20 +0000648 for (OutputSectionBase<ELFT> *Sec : *OutputSections) {
Eugene Leviantbbe38602016-07-19 09:25:43 +0000649 if (!(Sec->getFlags() & SHF_ALLOC))
650 break;
651
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000652 std::vector<size_t> PhdrIds = getPhdrIndices(Sec->getName());
Eugene Leviantbbe38602016-07-19 09:25:43 +0000653 if (!PhdrIds.empty()) {
654 // Assign headers specified by linker script
655 for (size_t Id : PhdrIds) {
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000656 Ret[Id].add(Sec);
Eugene Leviant865bf862016-07-21 10:43:25 +0000657 if (Opt.PhdrsCommands[Id].Flags == UINT_MAX)
Rafael Espindola0b113672016-07-27 14:10:56 +0000658 Ret[Id].H.p_flags |= Sec->getPhdrFlags();
Eugene Leviantbbe38602016-07-19 09:25:43 +0000659 }
660 } else {
661 // If we have no load segment or flags've changed then we want new load
662 // segment.
Rafael Espindola0b113672016-07-27 14:10:56 +0000663 uintX_t NewFlags = Sec->getPhdrFlags();
Eugene Leviantbbe38602016-07-19 09:25:43 +0000664 if (Load == nullptr || Flags != NewFlags) {
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000665 Load = &*Ret.emplace(Ret.end(), PT_LOAD, NewFlags);
Eugene Leviantbbe38602016-07-19 09:25:43 +0000666 Flags = NewFlags;
667 }
Rui Ueyama18f084f2016-07-20 19:36:41 +0000668 Load->add(Sec);
Eugene Leviantbbe38602016-07-19 09:25:43 +0000669 }
Eugene Leviantbbe38602016-07-19 09:25:43 +0000670 }
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000671 return Ret;
Eugene Leviantbbe38602016-07-19 09:25:43 +0000672}
673
Eugene Leviantf9bc3bd2016-08-16 06:40:58 +0000674template <class ELFT> bool LinkerScript<ELFT>::ignoreInterpSection() {
675 // Ignore .interp section in case we have PHDRS specification
676 // and PT_INTERP isn't listed.
677 return !Opt.PhdrsCommands.empty() &&
678 llvm::find_if(Opt.PhdrsCommands, [](const PhdrsCommand &Cmd) {
679 return Cmd.Type == PT_INTERP;
680 }) == Opt.PhdrsCommands.end();
681}
682
Eugene Leviantbbe38602016-07-19 09:25:43 +0000683template <class ELFT>
Rui Ueyama07320e42016-04-20 20:13:41 +0000684ArrayRef<uint8_t> LinkerScript<ELFT>::getFiller(StringRef Name) {
George Rimarf6c3cce2016-07-21 07:48:54 +0000685 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands)
686 if (auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get()))
687 if (Cmd->Name == Name)
688 return Cmd->Filler;
689 return {};
George Rimare2ee72b2016-02-26 14:48:31 +0000690}
691
George Rimar206fffa2016-08-17 08:16:57 +0000692template <class ELFT> Expr LinkerScript<ELFT>::getLma(StringRef Name) {
George Rimar8ceadb32016-08-17 07:44:19 +0000693 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands)
694 if (auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get()))
695 if (Cmd->LmaExpr && Cmd->Name == Name)
696 return Cmd->LmaExpr;
697 return {};
698}
699
Rui Ueyamac3e2a4b2016-04-21 20:30:00 +0000700// Returns the index of the given section name in linker script
701// SECTIONS commands. Sections are laid out as the same order as they
702// were in the script. If a given name did not appear in the script,
703// it returns INT_MAX, so that it will be laid out at end of file.
George Rimar076fe152016-07-21 06:43:01 +0000704template <class ELFT> int LinkerScript<ELFT>::getSectionIndex(StringRef Name) {
Rui Ueyamaf510fa62016-07-26 00:21:15 +0000705 int I = 0;
706 for (std::unique_ptr<BaseCommand> &Base : Opt.Commands) {
707 if (auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get()))
708 if (Cmd->Name == Name)
709 return I;
710 ++I;
711 }
712 return INT_MAX;
George Rimar71b26e92016-04-21 10:22:02 +0000713}
714
Eugene Leviantbbe38602016-07-19 09:25:43 +0000715template <class ELFT> bool LinkerScript<ELFT>::hasPhdrsCommands() {
716 return !Opt.PhdrsCommands.empty();
717}
718
George Rimar9e694502016-07-29 16:18:47 +0000719template <class ELFT>
George Rimar884e7862016-09-08 08:19:13 +0000720uint64_t LinkerScript<ELFT>::getOutputSectionAddress(StringRef Name) {
George Rimar96659df2016-08-30 09:54:01 +0000721 for (OutputSectionBase<ELFT> *Sec : *OutputSections)
722 if (Sec->getName() == Name)
723 return Sec->getVA();
724 error("undefined section " + Name);
725 return 0;
726}
727
728template <class ELFT>
George Rimar884e7862016-09-08 08:19:13 +0000729uint64_t LinkerScript<ELFT>::getOutputSectionSize(StringRef Name) {
George Rimar9e694502016-07-29 16:18:47 +0000730 for (OutputSectionBase<ELFT> *Sec : *OutputSections)
731 if (Sec->getName() == Name)
732 return Sec->getSize();
733 error("undefined section " + Name);
734 return 0;
735}
736
Eugene Leviant36fac7f2016-09-08 09:08:30 +0000737template <class ELFT>
738uint64_t LinkerScript<ELFT>::getOutputSectionAlign(StringRef Name) {
739 for (OutputSectionBase<ELFT> *Sec : *OutputSections)
740 if (Sec->getName() == Name)
741 return Sec->getAlignment();
742 error("undefined section " + Name);
743 return 0;
744}
745
George Rimar884e7862016-09-08 08:19:13 +0000746template <class ELFT> uint64_t LinkerScript<ELFT>::getHeaderSize() {
Rafael Espindola0d4b6d52016-09-22 16:47:21 +0000747 return elf::getHeaderSize<ELFT>();
George Rimare32a3592016-08-10 07:59:34 +0000748}
749
George Rimar884e7862016-09-08 08:19:13 +0000750template <class ELFT> uint64_t LinkerScript<ELFT>::getSymbolValue(StringRef S) {
751 if (SymbolBody *B = Symtab<ELFT>::X->find(S))
752 return B->getVA<ELFT>();
753 error("symbol not found: " + S);
754 return 0;
755}
756
George Rimarf34f45f2016-09-23 13:17:23 +0000757template <class ELFT> bool LinkerScript<ELFT>::isDefined(StringRef S) {
758 return Symtab<ELFT>::X->find(S) != nullptr;
759}
760
Eugene Leviantbbe38602016-07-19 09:25:43 +0000761// Returns indices of ELF headers containing specific section, identified
762// by Name. Each index is a zero based number of ELF header listed within
763// PHDRS {} script block.
764template <class ELFT>
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000765std::vector<size_t> LinkerScript<ELFT>::getPhdrIndices(StringRef SectionName) {
George Rimar076fe152016-07-21 06:43:01 +0000766 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands) {
767 auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get());
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000768 if (!Cmd || Cmd->Name != SectionName)
George Rimar31d842f2016-07-20 16:43:03 +0000769 continue;
770
Rui Ueyama29c5a2a2016-07-26 00:27:36 +0000771 std::vector<size_t> Ret;
772 for (StringRef PhdrName : Cmd->Phdrs)
773 Ret.push_back(getPhdrIndex(PhdrName));
774 return Ret;
Eugene Leviantbbe38602016-07-19 09:25:43 +0000775 }
George Rimar31d842f2016-07-20 16:43:03 +0000776 return {};
Eugene Leviantbbe38602016-07-19 09:25:43 +0000777}
778
Rui Ueyama29c5a2a2016-07-26 00:27:36 +0000779template <class ELFT>
780size_t LinkerScript<ELFT>::getPhdrIndex(StringRef PhdrName) {
781 size_t I = 0;
782 for (PhdrsCommand &Cmd : Opt.PhdrsCommands) {
783 if (Cmd.Name == PhdrName)
784 return I;
785 ++I;
786 }
787 error("section header '" + PhdrName + "' is not listed in PHDRS");
788 return 0;
789}
790
Rui Ueyama07320e42016-04-20 20:13:41 +0000791class elf::ScriptParser : public ScriptParserBase {
George Rimarc3794e52016-02-24 09:21:47 +0000792 typedef void (ScriptParser::*Handler)();
793
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000794public:
Rui Ueyama07320e42016-04-20 20:13:41 +0000795 ScriptParser(StringRef S, bool B) : ScriptParserBase(S), IsUnderSysroot(B) {}
George Rimarf23b2322016-02-19 10:45:45 +0000796
George Rimar20b65982016-08-31 09:08:26 +0000797 void readLinkerScript();
798 void readVersionScript();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000799
800private:
Rui Ueyama52a15092015-10-11 03:28:42 +0000801 void addFile(StringRef Path);
802
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000803 void readAsNeeded();
Denis Protivensky90c50992015-10-08 06:48:38 +0000804 void readEntry();
George Rimar83f406c2015-10-19 17:35:12 +0000805 void readExtern();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000806 void readGroup();
Rui Ueyama31aa1f82015-10-11 01:31:55 +0000807 void readInclude();
Rui Ueyamaee592822015-10-07 00:25:09 +0000808 void readOutput();
Davide Italiano9159ce92015-10-12 21:50:08 +0000809 void readOutputArch();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000810 void readOutputFormat();
Eugene Leviantbbe38602016-07-19 09:25:43 +0000811 void readPhdrs();
Davide Italiano68a39a62015-10-08 17:51:41 +0000812 void readSearchDir();
Denis Protivensky8e3b38a2015-11-12 09:52:08 +0000813 void readSections();
Rui Ueyama95769b42016-08-31 20:03:54 +0000814 void readVersion();
815 void readVersionScriptCommand();
Denis Protivensky8e3b38a2015-11-12 09:52:08 +0000816
Rui Ueyama113cdec2016-07-24 23:05:57 +0000817 SymbolAssignment *readAssignment(StringRef Name);
George Rimarff1f29e2016-09-06 13:51:57 +0000818 std::vector<uint8_t> readFill();
Rui Ueyama10416562016-08-04 02:03:27 +0000819 OutputSectionCommand *readOutputSectionDescription(StringRef OutSec);
George Rimarff1f29e2016-09-06 13:51:57 +0000820 std::vector<uint8_t> readOutputSectionFiller(StringRef Tok);
Eugene Leviantbbe38602016-07-19 09:25:43 +0000821 std::vector<StringRef> readOutputSectionPhdrs();
George Rimara2496cb2016-08-30 09:46:59 +0000822 InputSectionDescription *readInputSectionDescription(StringRef Tok);
George Rimarc91930a2016-09-02 21:17:20 +0000823 Regex readFilePatterns();
George Rimar07171f22016-09-21 15:56:44 +0000824 std::vector<SectionPattern> readInputSectionsList();
George Rimara2496cb2016-08-30 09:46:59 +0000825 InputSectionDescription *readInputSectionRules(StringRef FilePattern);
Eugene Leviantbbe38602016-07-19 09:25:43 +0000826 unsigned readPhdrType();
George Rimarbe394db2016-09-16 20:21:55 +0000827 SortSectionPolicy readSortKind();
Petr Hoseka35e39c2016-08-16 01:11:16 +0000828 SymbolAssignment *readProvideHidden(bool Provide, bool Hidden);
Eugene Leviantdb741e72016-09-07 07:08:43 +0000829 SymbolAssignment *readProvideOrAssignment(StringRef Tok, bool MakeAbsolute);
George Rimar03fc0102016-07-28 07:18:23 +0000830 void readSort();
George Rimareefa7582016-08-04 09:29:31 +0000831 Expr readAssert();
Rui Ueyama708019c2016-07-24 18:19:40 +0000832
833 Expr readExpr();
834 Expr readExpr1(Expr Lhs, int MinPrec);
835 Expr readPrimary();
836 Expr readTernary(Expr Cond);
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +0000837 Expr readParenExpr();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000838
George Rimar20b65982016-08-31 09:08:26 +0000839 // For parsing version script.
840 void readExtern(std::vector<SymbolVersion> *Globals);
Rui Ueyama95769b42016-08-31 20:03:54 +0000841 void readVersionDeclaration(StringRef VerStr);
George Rimar20b65982016-08-31 09:08:26 +0000842 void readGlobal(StringRef VerStr);
843 void readLocal();
844
Rui Ueyama07320e42016-04-20 20:13:41 +0000845 ScriptConfiguration &Opt = *ScriptConfig;
846 StringSaver Saver = {ScriptConfig->Alloc};
Simon Atanasyan16b0cc92015-11-26 05:53:00 +0000847 bool IsUnderSysroot;
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000848};
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000849
George Rimar20b65982016-08-31 09:08:26 +0000850void ScriptParser::readVersionScript() {
Rui Ueyama95769b42016-08-31 20:03:54 +0000851 readVersionScriptCommand();
852 if (!atEOF())
853 setError("EOF expected, but got " + next());
854}
855
856void ScriptParser::readVersionScriptCommand() {
George Rimar20b65982016-08-31 09:08:26 +0000857 if (skip("{")) {
Rui Ueyama95769b42016-08-31 20:03:54 +0000858 readVersionDeclaration("");
George Rimar20b65982016-08-31 09:08:26 +0000859 return;
860 }
861
Rui Ueyama95769b42016-08-31 20:03:54 +0000862 while (!atEOF() && !Error && peek() != "}") {
George Rimar20b65982016-08-31 09:08:26 +0000863 StringRef VerStr = next();
864 if (VerStr == "{") {
Rui Ueyama95769b42016-08-31 20:03:54 +0000865 setError("anonymous version definition is used in "
866 "combination with other version definitions");
George Rimar20b65982016-08-31 09:08:26 +0000867 return;
868 }
869 expect("{");
Rui Ueyama95769b42016-08-31 20:03:54 +0000870 readVersionDeclaration(VerStr);
George Rimar20b65982016-08-31 09:08:26 +0000871 }
872}
873
Rui Ueyama95769b42016-08-31 20:03:54 +0000874void ScriptParser::readVersion() {
875 expect("{");
876 readVersionScriptCommand();
877 expect("}");
878}
879
George Rimar20b65982016-08-31 09:08:26 +0000880void ScriptParser::readLinkerScript() {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000881 while (!atEOF()) {
882 StringRef Tok = next();
Rui Ueyamaa27eecc2016-09-02 18:52:41 +0000883 if (Tok == ";")
884 continue;
885
Eugene Leviant20d03192016-09-16 15:30:47 +0000886 if (Tok == "ASSERT") {
887 Opt.Commands.emplace_back(new AssertCommand(readAssert()));
888 } else if (Tok == "ENTRY") {
Rui Ueyamaa27eecc2016-09-02 18:52:41 +0000889 readEntry();
890 } else if (Tok == "EXTERN") {
891 readExtern();
892 } else if (Tok == "GROUP" || Tok == "INPUT") {
893 readGroup();
894 } else if (Tok == "INCLUDE") {
895 readInclude();
896 } else if (Tok == "OUTPUT") {
897 readOutput();
898 } else if (Tok == "OUTPUT_ARCH") {
899 readOutputArch();
900 } else if (Tok == "OUTPUT_FORMAT") {
901 readOutputFormat();
902 } else if (Tok == "PHDRS") {
903 readPhdrs();
904 } else if (Tok == "SEARCH_DIR") {
905 readSearchDir();
906 } else if (Tok == "SECTIONS") {
907 readSections();
908 } else if (Tok == "VERSION") {
909 readVersion();
Eugene Leviantdb741e72016-09-07 07:08:43 +0000910 } else if (SymbolAssignment *Cmd = readProvideOrAssignment(Tok, true)) {
Eugene Leviant20d03192016-09-16 15:30:47 +0000911 Opt.Commands.emplace_back(Cmd);
Petr Hoseke5d3ca52016-08-31 15:31:17 +0000912 } else {
George Rimar57610422016-03-11 14:43:02 +0000913 setError("unknown directive: " + Tok);
Petr Hoseke5d3ca52016-08-31 15:31:17 +0000914 }
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000915 }
916}
917
Rui Ueyama717677a2016-02-11 21:17:59 +0000918void ScriptParser::addFile(StringRef S) {
Simon Atanasyan16b0cc92015-11-26 05:53:00 +0000919 if (IsUnderSysroot && S.startswith("/")) {
920 SmallString<128> Path;
921 (Config->Sysroot + S).toStringRef(Path);
922 if (sys::fs::exists(Path)) {
923 Driver->addFile(Saver.save(Path.str()));
924 return;
925 }
926 }
927
Rui Ueyamaf03f3cc2015-10-13 00:09:21 +0000928 if (sys::path::is_absolute(S)) {
Rui Ueyama52a15092015-10-11 03:28:42 +0000929 Driver->addFile(S);
930 } else if (S.startswith("=")) {
931 if (Config->Sysroot.empty())
932 Driver->addFile(S.substr(1));
933 else
934 Driver->addFile(Saver.save(Config->Sysroot + "/" + S.substr(1)));
935 } else if (S.startswith("-l")) {
Rui Ueyama21eecb42016-02-02 21:13:09 +0000936 Driver->addLibrary(S.substr(2));
Simon Atanasyana1b8fc32015-11-26 20:23:46 +0000937 } else if (sys::fs::exists(S)) {
938 Driver->addFile(S);
Rui Ueyama52a15092015-10-11 03:28:42 +0000939 } else {
940 std::string Path = findFromSearchPaths(S);
941 if (Path.empty())
George Rimar777f9632016-03-12 08:31:34 +0000942 setError("unable to find " + S);
Rui Ueyama025d59b2016-02-02 20:27:59 +0000943 else
944 Driver->addFile(Saver.save(Path));
Rui Ueyama52a15092015-10-11 03:28:42 +0000945 }
946}
947
Rui Ueyama717677a2016-02-11 21:17:59 +0000948void ScriptParser::readAsNeeded() {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000949 expect("(");
Rui Ueyama35da9b62015-10-11 20:59:12 +0000950 bool Orig = Config->AsNeeded;
951 Config->AsNeeded = true;
Rui Ueyamaa2acc932016-08-05 01:25:45 +0000952 while (!Error && !skip(")"))
George Rimarcd574a52016-09-09 14:35:36 +0000953 addFile(unquote(next()));
Rui Ueyama35da9b62015-10-11 20:59:12 +0000954 Config->AsNeeded = Orig;
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000955}
956
Rui Ueyama717677a2016-02-11 21:17:59 +0000957void ScriptParser::readEntry() {
Denis Protivensky90c50992015-10-08 06:48:38 +0000958 // -e <symbol> takes predecence over ENTRY(<symbol>).
959 expect("(");
960 StringRef Tok = next();
961 if (Config->Entry.empty())
962 Config->Entry = Tok;
963 expect(")");
964}
965
Rui Ueyama717677a2016-02-11 21:17:59 +0000966void ScriptParser::readExtern() {
George Rimar83f406c2015-10-19 17:35:12 +0000967 expect("(");
Rui Ueyamaa2acc932016-08-05 01:25:45 +0000968 while (!Error && !skip(")"))
969 Config->Undefined.push_back(next());
George Rimar83f406c2015-10-19 17:35:12 +0000970}
971
Rui Ueyama717677a2016-02-11 21:17:59 +0000972void ScriptParser::readGroup() {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000973 expect("(");
Rui Ueyamaa2acc932016-08-05 01:25:45 +0000974 while (!Error && !skip(")")) {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000975 StringRef Tok = next();
Rui Ueyamaa2acc932016-08-05 01:25:45 +0000976 if (Tok == "AS_NEEDED")
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000977 readAsNeeded();
Rui Ueyamaa2acc932016-08-05 01:25:45 +0000978 else
George Rimarcd574a52016-09-09 14:35:36 +0000979 addFile(unquote(Tok));
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +0000980 }
981}
982
Rui Ueyama717677a2016-02-11 21:17:59 +0000983void ScriptParser::readInclude() {
Rui Ueyama31aa1f82015-10-11 01:31:55 +0000984 StringRef Tok = next();
George Rimarcd574a52016-09-09 14:35:36 +0000985 auto MBOrErr = MemoryBuffer::getFile(unquote(Tok));
Rui Ueyama025d59b2016-02-02 20:27:59 +0000986 if (!MBOrErr) {
George Rimar57610422016-03-11 14:43:02 +0000987 setError("cannot open " + Tok);
Rui Ueyama025d59b2016-02-02 20:27:59 +0000988 return;
989 }
Rui Ueyama31aa1f82015-10-11 01:31:55 +0000990 std::unique_ptr<MemoryBuffer> &MB = *MBOrErr;
Rui Ueyamaa47ee682015-10-11 01:53:04 +0000991 StringRef S = Saver.save(MB->getMemBufferRef().getBuffer());
992 std::vector<StringRef> V = tokenize(S);
Rui Ueyama31aa1f82015-10-11 01:31:55 +0000993 Tokens.insert(Tokens.begin() + Pos, V.begin(), V.end());
Rui Ueyama31aa1f82015-10-11 01:31:55 +0000994}
995
Rui Ueyama717677a2016-02-11 21:17:59 +0000996void ScriptParser::readOutput() {
Rui Ueyamaee592822015-10-07 00:25:09 +0000997 // -o <file> takes predecence over OUTPUT(<file>).
998 expect("(");
999 StringRef Tok = next();
1000 if (Config->OutputFile.empty())
George Rimarcd574a52016-09-09 14:35:36 +00001001 Config->OutputFile = unquote(Tok);
Rui Ueyamaee592822015-10-07 00:25:09 +00001002 expect(")");
1003}
1004
Rui Ueyama717677a2016-02-11 21:17:59 +00001005void ScriptParser::readOutputArch() {
Davide Italiano9159ce92015-10-12 21:50:08 +00001006 // Error checking only for now.
1007 expect("(");
1008 next();
1009 expect(")");
1010}
1011
Rui Ueyama717677a2016-02-11 21:17:59 +00001012void ScriptParser::readOutputFormat() {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001013 // Error checking only for now.
1014 expect("(");
1015 next();
Davide Italiano6836c612015-10-12 21:08:41 +00001016 StringRef Tok = next();
1017 if (Tok == ")")
George Rimar6c55f0e2016-09-08 08:20:30 +00001018 return;
Rui Ueyama025d59b2016-02-02 20:27:59 +00001019 if (Tok != ",") {
George Rimar57610422016-03-11 14:43:02 +00001020 setError("unexpected token: " + Tok);
Rui Ueyama025d59b2016-02-02 20:27:59 +00001021 return;
1022 }
Davide Italiano6836c612015-10-12 21:08:41 +00001023 next();
1024 expect(",");
1025 next();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001026 expect(")");
1027}
1028
Eugene Leviantbbe38602016-07-19 09:25:43 +00001029void ScriptParser::readPhdrs() {
1030 expect("{");
1031 while (!Error && !skip("}")) {
1032 StringRef Tok = next();
Eugene Leviant56b21c82016-09-09 09:46:16 +00001033 Opt.PhdrsCommands.push_back(
1034 {Tok, PT_NULL, false, false, UINT_MAX, nullptr});
Eugene Leviantbbe38602016-07-19 09:25:43 +00001035 PhdrsCommand &PhdrCmd = Opt.PhdrsCommands.back();
1036
1037 PhdrCmd.Type = readPhdrType();
1038 do {
1039 Tok = next();
1040 if (Tok == ";")
1041 break;
1042 if (Tok == "FILEHDR")
1043 PhdrCmd.HasFilehdr = true;
1044 else if (Tok == "PHDRS")
1045 PhdrCmd.HasPhdrs = true;
Eugene Leviant56b21c82016-09-09 09:46:16 +00001046 else if (Tok == "AT")
1047 PhdrCmd.LMAExpr = readParenExpr();
Eugene Leviant865bf862016-07-21 10:43:25 +00001048 else if (Tok == "FLAGS") {
1049 expect("(");
Rafael Espindolaeb685cd2016-08-02 22:14:57 +00001050 // Passing 0 for the value of dot is a bit of a hack. It means that
1051 // we accept expressions like ".|1".
1052 PhdrCmd.Flags = readExpr()(0);
Eugene Leviant865bf862016-07-21 10:43:25 +00001053 expect(")");
1054 } else
Eugene Leviantbbe38602016-07-19 09:25:43 +00001055 setError("unexpected header attribute: " + Tok);
1056 } while (!Error);
1057 }
1058}
1059
Rui Ueyama717677a2016-02-11 21:17:59 +00001060void ScriptParser::readSearchDir() {
Davide Italiano68a39a62015-10-08 17:51:41 +00001061 expect("(");
Rui Ueyama86c5fb82016-09-08 23:26:54 +00001062 StringRef Tok = next();
Rui Ueyama6c7ad132016-09-02 19:20:33 +00001063 if (!Config->Nostdlib)
George Rimarcd574a52016-09-09 14:35:36 +00001064 Config->SearchPaths.push_back(unquote(Tok));
Davide Italiano68a39a62015-10-08 17:51:41 +00001065 expect(")");
1066}
1067
Rui Ueyama717677a2016-02-11 21:17:59 +00001068void ScriptParser::readSections() {
Eugene Leviante05336ff2016-09-14 08:32:36 +00001069 Opt.HasSections = true;
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001070 expect("{");
George Rimar652852c2016-04-16 10:10:32 +00001071 while (!Error && !skip("}")) {
Rui Ueyama113cdec2016-07-24 23:05:57 +00001072 StringRef Tok = next();
Eugene Leviantdb741e72016-09-07 07:08:43 +00001073 BaseCommand *Cmd = readProvideOrAssignment(Tok, true);
Eugene Leviantceabe802016-08-11 07:56:43 +00001074 if (!Cmd) {
1075 if (Tok == "ASSERT")
1076 Cmd = new AssertCommand(readAssert());
1077 else
1078 Cmd = readOutputSectionDescription(Tok);
Rui Ueyama708019c2016-07-24 18:19:40 +00001079 }
Rui Ueyama10416562016-08-04 02:03:27 +00001080 Opt.Commands.emplace_back(Cmd);
George Rimar652852c2016-04-16 10:10:32 +00001081 }
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001082}
1083
Rui Ueyama708019c2016-07-24 18:19:40 +00001084static int precedence(StringRef Op) {
1085 return StringSwitch<int>(Op)
Rui Ueyama0120e3f2016-09-23 18:06:51 +00001086 .Cases("*", "/", 5)
1087 .Cases("+", "-", 4)
1088 .Cases("<<", ">>", 3)
1089 .Cases("<", "<=", ">", ">=", 2) // Cases takes up to four cases.
1090 .Cases("==", "!=", 2)
1091 .Cases("&", "|", 1)
Rui Ueyama708019c2016-07-24 18:19:40 +00001092 .Default(-1);
1093}
1094
George Rimarc91930a2016-09-02 21:17:20 +00001095Regex ScriptParser::readFilePatterns() {
Rui Ueyama10416562016-08-04 02:03:27 +00001096 std::vector<StringRef> V;
1097 while (!Error && !skip(")"))
1098 V.push_back(next());
George Rimarc91930a2016-09-02 21:17:20 +00001099 return compileGlobPatterns(V);
George Rimar0702c4e2016-07-29 15:32:46 +00001100}
1101
George Rimarbe394db2016-09-16 20:21:55 +00001102SortSectionPolicy ScriptParser::readSortKind() {
Rui Ueyama742c3832016-08-04 22:27:00 +00001103 if (skip("SORT") || skip("SORT_BY_NAME"))
George Rimarbe394db2016-09-16 20:21:55 +00001104 return SortSectionPolicy::Name;
Rui Ueyama742c3832016-08-04 22:27:00 +00001105 if (skip("SORT_BY_ALIGNMENT"))
George Rimarbe394db2016-09-16 20:21:55 +00001106 return SortSectionPolicy::Alignment;
George Rimar575208c2016-09-15 19:15:12 +00001107 if (skip("SORT_BY_INIT_PRIORITY"))
George Rimarbe394db2016-09-16 20:21:55 +00001108 return SortSectionPolicy::Priority;
George Rimarbe394db2016-09-16 20:21:55 +00001109 if (skip("SORT_NONE"))
Rui Ueyamab2a0abd2016-09-16 21:14:55 +00001110 return SortSectionPolicy::None;
1111 return SortSectionPolicy::Default;
George Rimarbe394db2016-09-16 20:21:55 +00001112}
1113
George Rimar395281c2016-09-16 17:42:10 +00001114// Method reads a list of sequence of excluded files and section globs given in
1115// a following form: ((EXCLUDE_FILE(file_pattern+))? section_pattern+)+
1116// Example: *(.foo.1 EXCLUDE_FILE (*a.o) .foo.2 EXCLUDE_FILE (*b.o) .foo.3)
George Rimaraf03be12016-09-17 19:17:25 +00001117// The semantics of that is next:
1118// * Include .foo.1 from every file.
1119// * Include .foo.2 from every file but a.o
1120// * Include .foo.3 from every file but b.o
George Rimar07171f22016-09-21 15:56:44 +00001121std::vector<SectionPattern> ScriptParser::readInputSectionsList() {
1122 std::vector<SectionPattern> Ret;
George Rimar601e9892016-09-21 08:53:21 +00001123 while (!Error && peek() != ")") {
1124 Regex ExcludeFileRe;
George Rimar395281c2016-09-16 17:42:10 +00001125 if (skip("EXCLUDE_FILE")) {
George Rimar395281c2016-09-16 17:42:10 +00001126 expect("(");
1127 ExcludeFileRe = readFilePatterns();
George Rimar395281c2016-09-16 17:42:10 +00001128 }
1129
George Rimar601e9892016-09-21 08:53:21 +00001130 std::vector<StringRef> V;
1131 while (!Error && peek() != ")" && peek() != "EXCLUDE_FILE")
1132 V.push_back(next());
1133
1134 if (!V.empty())
George Rimar07171f22016-09-21 15:56:44 +00001135 Ret.push_back({std::move(ExcludeFileRe), compileGlobPatterns(V)});
George Rimar601e9892016-09-21 08:53:21 +00001136 else
1137 setError("section pattern is expected");
George Rimar395281c2016-09-16 17:42:10 +00001138 }
George Rimar07171f22016-09-21 15:56:44 +00001139 return Ret;
George Rimar395281c2016-09-16 17:42:10 +00001140}
1141
George Rimar07171f22016-09-21 15:56:44 +00001142// Section pattern grammar can have complex expressions, for example:
1143// *(SORT(.foo.* EXCLUDE_FILE (*file1.o) .bar.*) .bar.* SORT(.zed.*))
1144// Generally is a sequence of globs and excludes that may be wrapped in a SORT()
1145// commands, like: SORT(glob0) glob1 glob2 SORT(glob4)
1146// This methods handles wrapping sequences of excluded files and section globs
1147// into SORT() if that needed and reads them all.
George Rimara2496cb2016-08-30 09:46:59 +00001148InputSectionDescription *
1149ScriptParser::readInputSectionRules(StringRef FilePattern) {
George Rimarc91930a2016-09-02 21:17:20 +00001150 auto *Cmd = new InputSectionDescription(FilePattern);
Davide Italiano0ed42b02016-07-25 21:47:13 +00001151 expect("(");
George Rimar07171f22016-09-21 15:56:44 +00001152 while (!HasError && !skip(")")) {
1153 SortSectionPolicy Outer = readSortKind();
1154 SortSectionPolicy Inner = SortSectionPolicy::Default;
1155 std::vector<SectionPattern> V;
1156 if (Outer != SortSectionPolicy::Default) {
George Rimar350ece42016-08-03 08:35:59 +00001157 expect("(");
George Rimar07171f22016-09-21 15:56:44 +00001158 Inner = readSortKind();
1159 if (Inner != SortSectionPolicy::Default) {
1160 expect("(");
1161 V = readInputSectionsList();
1162 expect(")");
1163 } else {
1164 V = readInputSectionsList();
1165 }
George Rimar350ece42016-08-03 08:35:59 +00001166 expect(")");
1167 } else {
George Rimar07171f22016-09-21 15:56:44 +00001168 V = readInputSectionsList();
George Rimar350ece42016-08-03 08:35:59 +00001169 }
George Rimar0702c4e2016-07-29 15:32:46 +00001170
George Rimar07171f22016-09-21 15:56:44 +00001171 for (SectionPattern &Pat : V) {
1172 Pat.SortInner = Inner;
1173 Pat.SortOuter = Outer;
1174 }
1175
1176 std::move(V.begin(), V.end(), std::back_inserter(Cmd->SectionPatterns));
1177 }
Rui Ueyama10416562016-08-04 02:03:27 +00001178 return Cmd;
Davide Italianoe7282792016-07-27 01:44:01 +00001179}
1180
George Rimara2496cb2016-08-30 09:46:59 +00001181InputSectionDescription *
1182ScriptParser::readInputSectionDescription(StringRef Tok) {
George Rimar06598002016-07-28 21:51:30 +00001183 // Input section wildcard can be surrounded by KEEP.
1184 // https://sourceware.org/binutils/docs/ld/Input-Section-Keep.html#Input-Section-Keep
George Rimara2496cb2016-08-30 09:46:59 +00001185 if (Tok == "KEEP") {
George Rimar06598002016-07-28 21:51:30 +00001186 expect("(");
George Rimara2496cb2016-08-30 09:46:59 +00001187 StringRef FilePattern = next();
1188 InputSectionDescription *Cmd = readInputSectionRules(FilePattern);
George Rimar06598002016-07-28 21:51:30 +00001189 expect(")");
Rui Ueyama4dc07be2016-09-17 02:23:40 +00001190 for (SectionPattern &Pat : Cmd->SectionPatterns)
1191 Opt.KeptSections.push_back(&Pat.SectionRe);
Rui Ueyama10416562016-08-04 02:03:27 +00001192 return Cmd;
George Rimar06598002016-07-28 21:51:30 +00001193 }
George Rimara2496cb2016-08-30 09:46:59 +00001194 return readInputSectionRules(Tok);
Davide Italiano0ed42b02016-07-25 21:47:13 +00001195}
1196
George Rimar03fc0102016-07-28 07:18:23 +00001197void ScriptParser::readSort() {
1198 expect("(");
1199 expect("CONSTRUCTORS");
1200 expect(")");
1201}
1202
George Rimareefa7582016-08-04 09:29:31 +00001203Expr ScriptParser::readAssert() {
1204 expect("(");
1205 Expr E = readExpr();
1206 expect(",");
George Rimarcd574a52016-09-09 14:35:36 +00001207 StringRef Msg = unquote(next());
George Rimareefa7582016-08-04 09:29:31 +00001208 expect(")");
1209 return [=](uint64_t Dot) {
1210 uint64_t V = E(Dot);
1211 if (!V)
1212 error(Msg);
1213 return V;
1214 };
1215}
1216
Rui Ueyama25150e82016-09-06 17:46:43 +00001217// Reads a FILL(expr) command. We handle the FILL command as an
1218// alias for =fillexp section attribute, which is different from
1219// what GNU linkers do.
1220// https://sourceware.org/binutils/docs/ld/Output-Section-Data.html
George Rimarff1f29e2016-09-06 13:51:57 +00001221std::vector<uint8_t> ScriptParser::readFill() {
1222 expect("(");
1223 std::vector<uint8_t> V = readOutputSectionFiller(next());
1224 expect(")");
1225 expect(";");
1226 return V;
1227}
1228
Rui Ueyama10416562016-08-04 02:03:27 +00001229OutputSectionCommand *
1230ScriptParser::readOutputSectionDescription(StringRef OutSec) {
George Rimar076fe152016-07-21 06:43:01 +00001231 OutputSectionCommand *Cmd = new OutputSectionCommand(OutSec);
George Rimar58e5c4d2016-07-25 08:29:46 +00001232
1233 // Read an address expression.
1234 // https://sourceware.org/binutils/docs/ld/Output-Section-Address.html#Output-Section-Address
1235 if (peek() != ":")
1236 Cmd->AddrExpr = readExpr();
1237
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001238 expect(":");
Davide Italiano246f6812016-07-22 03:36:24 +00001239
George Rimar8ceadb32016-08-17 07:44:19 +00001240 if (skip("AT"))
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001241 Cmd->LmaExpr = readParenExpr();
George Rimar630c6172016-07-26 18:06:29 +00001242 if (skip("ALIGN"))
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001243 Cmd->AlignExpr = readParenExpr();
George Rimardb24d9c2016-08-19 15:18:23 +00001244 if (skip("SUBALIGN"))
1245 Cmd->SubalignExpr = readParenExpr();
George Rimar630c6172016-07-26 18:06:29 +00001246
Davide Italiano246f6812016-07-22 03:36:24 +00001247 // Parse constraints.
1248 if (skip("ONLY_IF_RO"))
Rui Ueyamaefc40662016-07-25 22:00:10 +00001249 Cmd->Constraint = ConstraintKind::ReadOnly;
Davide Italiano246f6812016-07-22 03:36:24 +00001250 if (skip("ONLY_IF_RW"))
Rui Ueyamaefc40662016-07-25 22:00:10 +00001251 Cmd->Constraint = ConstraintKind::ReadWrite;
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001252 expect("{");
Rui Ueyama8ec77e62016-04-21 22:00:51 +00001253
Rui Ueyama025d59b2016-02-02 20:27:59 +00001254 while (!Error && !skip("}")) {
Eugene Leviantceabe802016-08-11 07:56:43 +00001255 StringRef Tok = next();
Eugene Leviantdb741e72016-09-07 07:08:43 +00001256 if (SymbolAssignment *Assignment = readProvideOrAssignment(Tok, false))
Eugene Leviantceabe802016-08-11 07:56:43 +00001257 Cmd->Commands.emplace_back(Assignment);
George Rimarff1f29e2016-09-06 13:51:57 +00001258 else if (Tok == "FILL")
1259 Cmd->Filler = readFill();
Eugene Leviantceabe802016-08-11 07:56:43 +00001260 else if (Tok == "SORT")
George Rimar03fc0102016-07-28 07:18:23 +00001261 readSort();
George Rimara2496cb2016-08-30 09:46:59 +00001262 else if (peek() == "(")
1263 Cmd->Commands.emplace_back(readInputSectionDescription(Tok));
Eugene Leviantceabe802016-08-11 07:56:43 +00001264 else
1265 setError("unknown command " + Tok);
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001266 }
George Rimar076fe152016-07-21 06:43:01 +00001267 Cmd->Phdrs = readOutputSectionPhdrs();
George Rimar4ebc5622016-09-23 13:29:20 +00001268
1269 if (skip("="))
1270 Cmd->Filler = readOutputSectionFiller(next());
1271 else if (peek().startswith("="))
George Rimarff1f29e2016-09-06 13:51:57 +00001272 Cmd->Filler = readOutputSectionFiller(next().drop_front());
George Rimar4ebc5622016-09-23 13:29:20 +00001273
Rui Ueyama10416562016-08-04 02:03:27 +00001274 return Cmd;
Rui Ueyamaf71caa22016-07-29 06:14:07 +00001275}
Rui Ueyama8ec77e62016-04-21 22:00:51 +00001276
Rui Ueyama2c8f1f02016-08-29 22:01:21 +00001277// Read "=<number>" where <number> is an octal/decimal/hexadecimal number.
1278// https://sourceware.org/binutils/docs/ld/Output-Section-Fill.html
1279//
1280// ld.gold is not fully compatible with ld.bfd. ld.bfd handles
1281// hexstrings as blobs of arbitrary sizes, while ld.gold handles them
1282// as 32-bit big-endian values. We will do the same as ld.gold does
1283// because it's simpler than what ld.bfd does.
George Rimarff1f29e2016-09-06 13:51:57 +00001284std::vector<uint8_t> ScriptParser::readOutputSectionFiller(StringRef Tok) {
Rui Ueyama965827d2016-08-03 23:25:15 +00001285 uint32_t V;
George Rimarff1f29e2016-09-06 13:51:57 +00001286 if (Tok.getAsInteger(0, V)) {
Rui Ueyama965827d2016-08-03 23:25:15 +00001287 setError("invalid filler expression: " + Tok);
Rui Ueyamaf71caa22016-07-29 06:14:07 +00001288 return {};
George Rimare2ee72b2016-02-26 14:48:31 +00001289 }
Rui Ueyama2c8f1f02016-08-29 22:01:21 +00001290 return {uint8_t(V >> 24), uint8_t(V >> 16), uint8_t(V >> 8), uint8_t(V)};
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001291}
1292
Petr Hoseka35e39c2016-08-16 01:11:16 +00001293SymbolAssignment *ScriptParser::readProvideHidden(bool Provide, bool Hidden) {
Eugene Levianta31c91b2016-07-22 07:38:40 +00001294 expect("(");
Rui Ueyama174e0a12016-07-29 00:29:25 +00001295 SymbolAssignment *Cmd = readAssignment(next());
Petr Hoseka35e39c2016-08-16 01:11:16 +00001296 Cmd->Provide = Provide;
Rui Ueyama174e0a12016-07-29 00:29:25 +00001297 Cmd->Hidden = Hidden;
Eugene Levianta31c91b2016-07-22 07:38:40 +00001298 expect(")");
1299 expect(";");
Rui Ueyama10416562016-08-04 02:03:27 +00001300 return Cmd;
Eugene Levianteda81a12016-07-12 06:39:48 +00001301}
1302
Eugene Leviantdb741e72016-09-07 07:08:43 +00001303SymbolAssignment *ScriptParser::readProvideOrAssignment(StringRef Tok,
1304 bool MakeAbsolute) {
Eugene Leviantceabe802016-08-11 07:56:43 +00001305 SymbolAssignment *Cmd = nullptr;
1306 if (peek() == "=" || peek() == "+=") {
1307 Cmd = readAssignment(Tok);
1308 expect(";");
1309 } else if (Tok == "PROVIDE") {
Petr Hoseka35e39c2016-08-16 01:11:16 +00001310 Cmd = readProvideHidden(true, false);
1311 } else if (Tok == "HIDDEN") {
1312 Cmd = readProvideHidden(false, true);
Eugene Leviantceabe802016-08-11 07:56:43 +00001313 } else if (Tok == "PROVIDE_HIDDEN") {
Petr Hoseka35e39c2016-08-16 01:11:16 +00001314 Cmd = readProvideHidden(true, true);
Eugene Leviantceabe802016-08-11 07:56:43 +00001315 }
Eugene Leviantdb741e72016-09-07 07:08:43 +00001316 if (Cmd && MakeAbsolute)
1317 Cmd->IsAbsolute = true;
Eugene Leviantceabe802016-08-11 07:56:43 +00001318 return Cmd;
1319}
1320
George Rimar30835ea2016-07-28 21:08:56 +00001321static uint64_t getSymbolValue(StringRef S, uint64_t Dot) {
1322 if (S == ".")
1323 return Dot;
George Rimar884e7862016-09-08 08:19:13 +00001324 return ScriptBase->getSymbolValue(S);
George Rimare32a3592016-08-10 07:59:34 +00001325}
1326
George Rimar30835ea2016-07-28 21:08:56 +00001327SymbolAssignment *ScriptParser::readAssignment(StringRef Name) {
1328 StringRef Op = next();
Eugene Leviantdb741e72016-09-07 07:08:43 +00001329 bool IsAbsolute = false;
1330 Expr E;
George Rimar30835ea2016-07-28 21:08:56 +00001331 assert(Op == "=" || Op == "+=");
Eugene Leviantdb741e72016-09-07 07:08:43 +00001332 if (skip("ABSOLUTE")) {
1333 E = readParenExpr();
1334 IsAbsolute = true;
1335 } else {
1336 E = readExpr();
1337 }
George Rimar30835ea2016-07-28 21:08:56 +00001338 if (Op == "+=")
1339 E = [=](uint64_t Dot) { return getSymbolValue(Name, Dot) + E(Dot); };
Eugene Leviantdb741e72016-09-07 07:08:43 +00001340 return new SymbolAssignment(Name, E, IsAbsolute);
George Rimar30835ea2016-07-28 21:08:56 +00001341}
1342
1343// This is an operator-precedence parser to parse a linker
1344// script expression.
1345Expr ScriptParser::readExpr() { return readExpr1(readPrimary(), 0); }
1346
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001347static Expr combine(StringRef Op, Expr L, Expr R) {
1348 if (Op == "*")
1349 return [=](uint64_t Dot) { return L(Dot) * R(Dot); };
1350 if (Op == "/") {
1351 return [=](uint64_t Dot) -> uint64_t {
1352 uint64_t RHS = R(Dot);
1353 if (RHS == 0) {
1354 error("division by zero");
1355 return 0;
1356 }
1357 return L(Dot) / RHS;
1358 };
1359 }
1360 if (Op == "+")
1361 return [=](uint64_t Dot) { return L(Dot) + R(Dot); };
1362 if (Op == "-")
1363 return [=](uint64_t Dot) { return L(Dot) - R(Dot); };
George Rimarc8ccd1f2016-09-23 13:13:55 +00001364 if (Op == "<<")
1365 return [=](uint64_t Dot) { return L(Dot) << R(Dot); };
1366 if (Op == ">>")
1367 return [=](uint64_t Dot) { return L(Dot) >> R(Dot); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001368 if (Op == "<")
1369 return [=](uint64_t Dot) { return L(Dot) < R(Dot); };
1370 if (Op == ">")
1371 return [=](uint64_t Dot) { return L(Dot) > R(Dot); };
1372 if (Op == ">=")
1373 return [=](uint64_t Dot) { return L(Dot) >= R(Dot); };
1374 if (Op == "<=")
1375 return [=](uint64_t Dot) { return L(Dot) <= R(Dot); };
1376 if (Op == "==")
1377 return [=](uint64_t Dot) { return L(Dot) == R(Dot); };
1378 if (Op == "!=")
1379 return [=](uint64_t Dot) { return L(Dot) != R(Dot); };
1380 if (Op == "&")
1381 return [=](uint64_t Dot) { return L(Dot) & R(Dot); };
Rafael Espindolacc3dd622016-08-22 21:33:35 +00001382 if (Op == "|")
1383 return [=](uint64_t Dot) { return L(Dot) | R(Dot); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001384 llvm_unreachable("invalid operator");
1385}
1386
Rui Ueyama708019c2016-07-24 18:19:40 +00001387// This is a part of the operator-precedence parser. This function
1388// assumes that the remaining token stream starts with an operator.
1389Expr ScriptParser::readExpr1(Expr Lhs, int MinPrec) {
1390 while (!atEOF() && !Error) {
1391 // Read an operator and an expression.
1392 StringRef Op1 = peek();
1393 if (Op1 == "?")
1394 return readTernary(Lhs);
1395 if (precedence(Op1) < MinPrec)
Eugene Levianteda81a12016-07-12 06:39:48 +00001396 break;
Rui Ueyama708019c2016-07-24 18:19:40 +00001397 next();
1398 Expr Rhs = readPrimary();
1399
1400 // Evaluate the remaining part of the expression first if the
1401 // next operator has greater precedence than the previous one.
1402 // For example, if we have read "+" and "3", and if the next
1403 // operator is "*", then we'll evaluate 3 * ... part first.
1404 while (!atEOF()) {
1405 StringRef Op2 = peek();
1406 if (precedence(Op2) <= precedence(Op1))
1407 break;
1408 Rhs = readExpr1(Rhs, precedence(Op2));
1409 }
1410
1411 Lhs = combine(Op1, Lhs, Rhs);
Eugene Levianteda81a12016-07-12 06:39:48 +00001412 }
Rui Ueyama708019c2016-07-24 18:19:40 +00001413 return Lhs;
1414}
1415
1416uint64_t static getConstant(StringRef S) {
Michael J. Spencere2cc07b2016-08-17 02:10:51 +00001417 if (S == "COMMONPAGESIZE")
Rui Ueyama708019c2016-07-24 18:19:40 +00001418 return Target->PageSize;
Michael J. Spencere2cc07b2016-08-17 02:10:51 +00001419 if (S == "MAXPAGESIZE")
1420 return Target->MaxPageSize;
Rui Ueyama708019c2016-07-24 18:19:40 +00001421 error("unknown constant: " + S);
1422 return 0;
1423}
1424
Rui Ueyama626e0b02016-09-02 18:19:00 +00001425// Parses Tok as an integer. Returns true if successful.
1426// It recognizes hexadecimal (prefixed with "0x" or suffixed with "H")
1427// and decimal numbers. Decimal numbers may have "K" (kilo) or
1428// "M" (mega) prefixes.
George Rimar9f2f7ad2016-09-02 16:01:42 +00001429static bool readInteger(StringRef Tok, uint64_t &Result) {
Simon Atanasyaneaeafb22016-09-02 21:54:35 +00001430 if (Tok.startswith("-")) {
1431 if (!readInteger(Tok.substr(1), Result))
1432 return false;
1433 Result = -Result;
1434 return true;
1435 }
George Rimar9f2f7ad2016-09-02 16:01:42 +00001436 if (Tok.startswith_lower("0x"))
1437 return !Tok.substr(2).getAsInteger(16, Result);
1438 if (Tok.endswith_lower("H"))
1439 return !Tok.drop_back().getAsInteger(16, Result);
1440
1441 int Suffix = 1;
1442 if (Tok.endswith_lower("K")) {
1443 Suffix = 1024;
1444 Tok = Tok.drop_back();
1445 } else if (Tok.endswith_lower("M")) {
1446 Suffix = 1024 * 1024;
1447 Tok = Tok.drop_back();
1448 }
1449 if (Tok.getAsInteger(10, Result))
1450 return false;
1451 Result *= Suffix;
1452 return true;
1453}
1454
Rui Ueyama708019c2016-07-24 18:19:40 +00001455Expr ScriptParser::readPrimary() {
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001456 if (peek() == "(")
1457 return readParenExpr();
Rui Ueyama708019c2016-07-24 18:19:40 +00001458
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001459 StringRef Tok = next();
Rui Ueyama708019c2016-07-24 18:19:40 +00001460
Simon Atanasyaneaeafb22016-09-02 21:54:35 +00001461 if (Tok == "~") {
1462 Expr E = readPrimary();
1463 return [=](uint64_t Dot) { return ~E(Dot); };
1464 }
1465 if (Tok == "-") {
1466 Expr E = readPrimary();
1467 return [=](uint64_t Dot) { return -E(Dot); };
1468 }
1469
Rui Ueyama708019c2016-07-24 18:19:40 +00001470 // Built-in functions are parsed here.
1471 // https://sourceware.org/binutils/docs/ld/Builtin-Functions.html.
George Rimar96659df2016-08-30 09:54:01 +00001472 if (Tok == "ADDR") {
1473 expect("(");
1474 StringRef Name = next();
1475 expect(")");
George Rimar884e7862016-09-08 08:19:13 +00001476 return
1477 [=](uint64_t Dot) { return ScriptBase->getOutputSectionAddress(Name); };
George Rimar96659df2016-08-30 09:54:01 +00001478 }
George Rimareefa7582016-08-04 09:29:31 +00001479 if (Tok == "ASSERT")
1480 return readAssert();
Rui Ueyama708019c2016-07-24 18:19:40 +00001481 if (Tok == "ALIGN") {
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001482 Expr E = readParenExpr();
Rui Ueyama708019c2016-07-24 18:19:40 +00001483 return [=](uint64_t Dot) { return alignTo(Dot, E(Dot)); };
1484 }
1485 if (Tok == "CONSTANT") {
1486 expect("(");
1487 StringRef Tok = next();
1488 expect(")");
1489 return [=](uint64_t Dot) { return getConstant(Tok); };
1490 }
George Rimarf34f45f2016-09-23 13:17:23 +00001491 if (Tok == "DEFINED") {
1492 expect("(");
1493 StringRef Tok = next();
1494 expect(")");
1495 return [=](uint64_t Dot) {
1496 return ScriptBase->isDefined(Tok) ? 1 : 0;
1497 };
1498 }
Rafael Espindola54c145c2016-07-28 18:16:24 +00001499 if (Tok == "SEGMENT_START") {
1500 expect("(");
1501 next();
1502 expect(",");
George Rimar8c658bf2016-09-17 18:14:56 +00001503 Expr E = readExpr();
Rafael Espindola54c145c2016-07-28 18:16:24 +00001504 expect(")");
George Rimar8c658bf2016-09-17 18:14:56 +00001505 return [=](uint64_t Dot) { return E(Dot); };
Rafael Espindola54c145c2016-07-28 18:16:24 +00001506 }
Rui Ueyama708019c2016-07-24 18:19:40 +00001507 if (Tok == "DATA_SEGMENT_ALIGN") {
1508 expect("(");
1509 Expr E = readExpr();
1510 expect(",");
1511 readExpr();
1512 expect(")");
Rui Ueyamaf7791bb2016-07-26 19:34:10 +00001513 return [=](uint64_t Dot) { return alignTo(Dot, E(Dot)); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001514 }
1515 if (Tok == "DATA_SEGMENT_END") {
1516 expect("(");
1517 expect(".");
1518 expect(")");
1519 return [](uint64_t Dot) { return Dot; };
1520 }
George Rimar276b4e62016-07-26 17:58:44 +00001521 // GNU linkers implements more complicated logic to handle
1522 // DATA_SEGMENT_RELRO_END. We instead ignore the arguments and just align to
1523 // the next page boundary for simplicity.
1524 if (Tok == "DATA_SEGMENT_RELRO_END") {
1525 expect("(");
Rafael Espindola97bdc722016-09-14 19:14:01 +00001526 readExpr();
George Rimar276b4e62016-07-26 17:58:44 +00001527 expect(",");
1528 readExpr();
1529 expect(")");
1530 return [](uint64_t Dot) { return alignTo(Dot, Target->PageSize); };
1531 }
George Rimar9e694502016-07-29 16:18:47 +00001532 if (Tok == "SIZEOF") {
1533 expect("(");
1534 StringRef Name = next();
1535 expect(")");
George Rimar884e7862016-09-08 08:19:13 +00001536 return [=](uint64_t Dot) { return ScriptBase->getOutputSectionSize(Name); };
George Rimar9e694502016-07-29 16:18:47 +00001537 }
Eugene Leviant36fac7f2016-09-08 09:08:30 +00001538 if (Tok == "ALIGNOF") {
1539 expect("(");
1540 StringRef Name = next();
1541 expect(")");
1542 return
1543 [=](uint64_t Dot) { return ScriptBase->getOutputSectionAlign(Name); };
1544 }
George Rimare32a3592016-08-10 07:59:34 +00001545 if (Tok == "SIZEOF_HEADERS")
George Rimar884e7862016-09-08 08:19:13 +00001546 return [=](uint64_t Dot) { return ScriptBase->getHeaderSize(); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001547
George Rimar9f2f7ad2016-09-02 16:01:42 +00001548 // Tok is a literal number.
1549 uint64_t V;
1550 if (readInteger(Tok, V))
1551 return [=](uint64_t Dot) { return V; };
1552
1553 // Tok is a symbol name.
1554 if (Tok != "." && !isValidCIdentifier(Tok))
1555 setError("malformed number: " + Tok);
1556 return [=](uint64_t Dot) { return getSymbolValue(Tok, Dot); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001557}
1558
1559Expr ScriptParser::readTernary(Expr Cond) {
1560 next();
1561 Expr L = readExpr();
1562 expect(":");
1563 Expr R = readExpr();
1564 return [=](uint64_t Dot) { return Cond(Dot) ? L(Dot) : R(Dot); };
1565}
1566
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001567Expr ScriptParser::readParenExpr() {
1568 expect("(");
1569 Expr E = readExpr();
1570 expect(")");
1571 return E;
1572}
1573
Eugene Leviantbbe38602016-07-19 09:25:43 +00001574std::vector<StringRef> ScriptParser::readOutputSectionPhdrs() {
1575 std::vector<StringRef> Phdrs;
1576 while (!Error && peek().startswith(":")) {
1577 StringRef Tok = next();
1578 Tok = (Tok.size() == 1) ? next() : Tok.substr(1);
1579 if (Tok.empty()) {
1580 setError("section header name is empty");
1581 break;
1582 }
Rui Ueyama047404f2016-07-20 19:36:36 +00001583 Phdrs.push_back(Tok);
Eugene Leviantbbe38602016-07-19 09:25:43 +00001584 }
1585 return Phdrs;
1586}
1587
1588unsigned ScriptParser::readPhdrType() {
Eugene Leviantbbe38602016-07-19 09:25:43 +00001589 StringRef Tok = next();
Rui Ueyamab0f6c592016-07-20 19:36:38 +00001590 unsigned Ret = StringSwitch<unsigned>(Tok)
George Rimar6c55f0e2016-09-08 08:20:30 +00001591 .Case("PT_NULL", PT_NULL)
1592 .Case("PT_LOAD", PT_LOAD)
1593 .Case("PT_DYNAMIC", PT_DYNAMIC)
1594 .Case("PT_INTERP", PT_INTERP)
1595 .Case("PT_NOTE", PT_NOTE)
1596 .Case("PT_SHLIB", PT_SHLIB)
1597 .Case("PT_PHDR", PT_PHDR)
1598 .Case("PT_TLS", PT_TLS)
1599 .Case("PT_GNU_EH_FRAME", PT_GNU_EH_FRAME)
1600 .Case("PT_GNU_STACK", PT_GNU_STACK)
1601 .Case("PT_GNU_RELRO", PT_GNU_RELRO)
1602 .Default(-1);
Eugene Leviantbbe38602016-07-19 09:25:43 +00001603
Rui Ueyamab0f6c592016-07-20 19:36:38 +00001604 if (Ret == (unsigned)-1) {
1605 setError("invalid program header type: " + Tok);
1606 return PT_NULL;
1607 }
1608 return Ret;
Eugene Leviantbbe38602016-07-19 09:25:43 +00001609}
1610
Rui Ueyama95769b42016-08-31 20:03:54 +00001611void ScriptParser::readVersionDeclaration(StringRef VerStr) {
George Rimar20b65982016-08-31 09:08:26 +00001612 // Identifiers start at 2 because 0 and 1 are reserved
1613 // for VER_NDX_LOCAL and VER_NDX_GLOBAL constants.
1614 size_t VersionId = Config->VersionDefinitions.size() + 2;
1615 Config->VersionDefinitions.push_back({VerStr, VersionId});
1616
1617 if (skip("global:") || peek() != "local:")
1618 readGlobal(VerStr);
1619 if (skip("local:"))
1620 readLocal();
1621 expect("}");
1622
1623 // Each version may have a parent version. For example, "Ver2" defined as
1624 // "Ver2 { global: foo; local: *; } Ver1;" has "Ver1" as a parent. This
1625 // version hierarchy is, probably against your instinct, purely for human; the
1626 // runtime doesn't care about them at all. In LLD, we simply skip the token.
1627 if (!VerStr.empty() && peek() != ";")
1628 next();
1629 expect(";");
1630}
1631
1632void ScriptParser::readLocal() {
1633 Config->DefaultSymbolVersion = VER_NDX_LOCAL;
1634 expect("*");
1635 expect(";");
1636}
1637
1638void ScriptParser::readExtern(std::vector<SymbolVersion> *Globals) {
George Rimarcd574a52016-09-09 14:35:36 +00001639 expect("\"C++\"");
George Rimar20b65982016-08-31 09:08:26 +00001640 expect("{");
1641
1642 for (;;) {
1643 if (peek() == "}" || Error)
1644 break;
George Rimarcd574a52016-09-09 14:35:36 +00001645 bool HasWildcard = !peek().startswith("\"") && hasWildcard(peek());
1646 Globals->push_back({unquote(next()), true, HasWildcard});
George Rimar20b65982016-08-31 09:08:26 +00001647 expect(";");
1648 }
1649
1650 expect("}");
1651 expect(";");
1652}
1653
1654void ScriptParser::readGlobal(StringRef VerStr) {
1655 std::vector<SymbolVersion> *Globals;
1656 if (VerStr.empty())
1657 Globals = &Config->VersionScriptGlobals;
1658 else
1659 Globals = &Config->VersionDefinitions.back().Globals;
1660
1661 for (;;) {
1662 if (skip("extern"))
1663 readExtern(Globals);
1664
1665 StringRef Cur = peek();
1666 if (Cur == "}" || Cur == "local:" || Error)
1667 return;
1668 next();
George Rimarcd574a52016-09-09 14:35:36 +00001669 Globals->push_back({unquote(Cur), false, hasWildcard(Cur)});
George Rimar20b65982016-08-31 09:08:26 +00001670 expect(";");
1671 }
1672}
1673
Simon Atanasyan16b0cc92015-11-26 05:53:00 +00001674static bool isUnderSysroot(StringRef Path) {
1675 if (Config->Sysroot == "")
1676 return false;
1677 for (; !Path.empty(); Path = sys::path::parent_path(Path))
1678 if (sys::fs::equivalent(Config->Sysroot, Path))
1679 return true;
1680 return false;
1681}
1682
Rui Ueyama07320e42016-04-20 20:13:41 +00001683void elf::readLinkerScript(MemoryBufferRef MB) {
Simon Atanasyan16b0cc92015-11-26 05:53:00 +00001684 StringRef Path = MB.getBufferIdentifier();
George Rimar20b65982016-08-31 09:08:26 +00001685 ScriptParser(MB.getBuffer(), isUnderSysroot(Path)).readLinkerScript();
1686}
1687
1688void elf::readVersionScript(MemoryBufferRef MB) {
1689 ScriptParser(MB.getBuffer(), false).readVersionScript();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001690}
Rui Ueyama1ebc8ed2016-02-12 21:47:28 +00001691
Rui Ueyama07320e42016-04-20 20:13:41 +00001692template class elf::LinkerScript<ELF32LE>;
1693template class elf::LinkerScript<ELF32BE>;
1694template class elf::LinkerScript<ELF64LE>;
1695template class elf::LinkerScript<ELF64BE>;