blob: 65bb362f383370a3b60a5c916c34047e933baf44 [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 Ueyamaf7c5fbb2015-09-30 17:23:26 +000011//
12//===----------------------------------------------------------------------===//
13
Rui Ueyama717677a2016-02-11 21:17:59 +000014#include "LinkerScript.h"
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000015#include "Config.h"
16#include "Driver.h"
Rui Ueyama1ebc8ed2016-02-12 21:47:28 +000017#include "InputSection.h"
Rui Ueyama9381eb12016-12-18 14:06:06 +000018#include "Memory.h"
George Rimar652852c2016-04-16 10:10:32 +000019#include "OutputSections.h"
Rui Ueyama794366a2017-02-14 04:47:05 +000020#include "ScriptLexer.h"
Rui Ueyama93c9af42016-06-29 08:01:32 +000021#include "Strings.h"
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000022#include "SymbolTable.h"
Rui Ueyama55518e72016-10-28 20:57:25 +000023#include "Symbols.h"
George Rimar3fb5a6d2016-11-29 16:05:27 +000024#include "SyntheticSections.h"
Eugene Leviant467c4d52016-07-01 10:27:36 +000025#include "Target.h"
Eugene Leviantbbe38602016-07-19 09:25:43 +000026#include "Writer.h"
Eugene Zelenko22886a22016-11-05 01:00:56 +000027#include "llvm/ADT/STLExtras.h"
Rui Ueyama8c6a5aa2016-11-05 22:37:59 +000028#include "llvm/ADT/SmallString.h"
Eugene Zelenko22886a22016-11-05 01:00:56 +000029#include "llvm/ADT/StringRef.h"
Rui Ueyama960504b2016-04-19 18:58:11 +000030#include "llvm/ADT/StringSwitch.h"
Eugene Zelenko22886a22016-11-05 01:00:56 +000031#include "llvm/Support/Casting.h"
George Rimar652852c2016-04-16 10:10:32 +000032#include "llvm/Support/ELF.h"
Eugene Zelenko22886a22016-11-05 01:00:56 +000033#include "llvm/Support/Endian.h"
34#include "llvm/Support/ErrorHandling.h"
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000035#include "llvm/Support/FileSystem.h"
Eugene Zelenko22886a22016-11-05 01:00:56 +000036#include "llvm/Support/MathExtras.h"
Rui Ueyamaf03f3cc2015-10-13 00:09:21 +000037#include "llvm/Support/Path.h"
Eugene Zelenko22886a22016-11-05 01:00:56 +000038#include <algorithm>
39#include <cassert>
40#include <cstddef>
41#include <cstdint>
42#include <iterator>
43#include <limits>
44#include <memory>
45#include <string>
46#include <tuple>
47#include <vector>
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000048
49using namespace llvm;
George Rimar652852c2016-04-16 10:10:32 +000050using namespace llvm::ELF;
Rui Ueyama1ebc8ed2016-02-12 21:47:28 +000051using namespace llvm::object;
George Rimare38cbab2016-09-26 19:22:50 +000052using namespace llvm::support::endian;
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000053using namespace lld;
Rafael Espindolae0df00b2016-02-28 00:25:54 +000054using namespace lld::elf;
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +000055
Rui Ueyamaa34da932017-03-21 23:03:09 +000056LinkerScript *elf::Script;
57
Rafael Espindola72dc1952017-03-17 13:05:04 +000058uint64_t ExprValue::getValue() const {
59 if (Sec)
60 return Sec->getOffset(Val) + Sec->getOutputSection()->Addr;
61 return Val;
62}
63
Rafael Espindola7ba5f472017-03-17 14:55:36 +000064uint64_t ExprValue::getSecAddr() const {
65 if (Sec)
66 return Sec->getOffset(0) + Sec->getOutputSection()->Addr;
67 return 0;
68}
69
70// Some operations only support one non absolute value. Move the
71// absolute one to the right hand side for convenience.
72static void moveAbsRight(ExprValue &A, ExprValue &B) {
Rafael Espindolaf2115f02017-03-17 13:45:36 +000073 if (A.isAbsolute())
74 std::swap(A, B);
Rafael Espindola5f08a1d2017-03-17 14:51:07 +000075 if (!B.isAbsolute())
76 error("At least one side of the expression must be absolute");
Rafael Espindola7ba5f472017-03-17 14:55:36 +000077}
78
79static ExprValue add(ExprValue A, ExprValue B) {
80 moveAbsRight(A, B);
Rafael Espindola72dc1952017-03-17 13:05:04 +000081 return {A.Sec, A.ForceAbsolute, A.Val + B.getValue()};
82}
Rui Ueyama5f20b632017-04-05 00:43:05 +000083
Rafael Espindola72dc1952017-03-17 13:05:04 +000084static ExprValue sub(ExprValue A, ExprValue B) {
85 return {A.Sec, A.Val - B.getValue()};
86}
Rui Ueyama5f20b632017-04-05 00:43:05 +000087
Rafael Espindola72dc1952017-03-17 13:05:04 +000088static ExprValue mul(ExprValue A, ExprValue B) {
89 return A.getValue() * B.getValue();
90}
Rui Ueyama5f20b632017-04-05 00:43:05 +000091
Rafael Espindola72dc1952017-03-17 13:05:04 +000092static ExprValue div(ExprValue A, ExprValue B) {
93 if (uint64_t BV = B.getValue())
94 return A.getValue() / BV;
95 error("division by zero");
96 return 0;
97}
Rui Ueyama5f20b632017-04-05 00:43:05 +000098
Rafael Espindola72dc1952017-03-17 13:05:04 +000099static ExprValue leftShift(ExprValue A, ExprValue B) {
100 return A.getValue() << B.getValue();
101}
Rui Ueyama5f20b632017-04-05 00:43:05 +0000102
Rafael Espindola72dc1952017-03-17 13:05:04 +0000103static ExprValue rightShift(ExprValue A, ExprValue B) {
104 return A.getValue() >> B.getValue();
105}
Rui Ueyama5f20b632017-04-05 00:43:05 +0000106
Rafael Espindola72dc1952017-03-17 13:05:04 +0000107static ExprValue bitAnd(ExprValue A, ExprValue B) {
Rafael Espindola7ba5f472017-03-17 14:55:36 +0000108 moveAbsRight(A, B);
109 return {A.Sec, A.ForceAbsolute,
110 (A.getValue() & B.getValue()) - A.getSecAddr()};
Rafael Espindola72dc1952017-03-17 13:05:04 +0000111}
Rui Ueyama5f20b632017-04-05 00:43:05 +0000112
Rafael Espindola72dc1952017-03-17 13:05:04 +0000113static ExprValue bitOr(ExprValue A, ExprValue B) {
Rafael Espindola7ba5f472017-03-17 14:55:36 +0000114 moveAbsRight(A, B);
115 return {A.Sec, A.ForceAbsolute,
116 (A.getValue() | B.getValue()) - A.getSecAddr()};
Rafael Espindola72dc1952017-03-17 13:05:04 +0000117}
Rui Ueyama5f20b632017-04-05 00:43:05 +0000118
Rafael Espindola72dc1952017-03-17 13:05:04 +0000119static ExprValue bitNot(ExprValue A) { return ~A.getValue(); }
120static ExprValue minus(ExprValue A) { return -A.getValue(); }
121
Meador Inge8f1f3c42017-01-09 18:36:57 +0000122template <class ELFT> static SymbolBody *addRegular(SymbolAssignment *Cmd) {
Petr Hosek5e51f7d2017-02-21 22:32:51 +0000123 Symbol *Sym;
Rafael Espindola3dabfc62016-10-31 13:14:53 +0000124 uint8_t Visibility = Cmd->Hidden ? STV_HIDDEN : STV_DEFAULT;
Petr Hosek5e51f7d2017-02-21 22:32:51 +0000125 std::tie(Sym, std::ignore) = Symtab<ELFT>::X->insert(
126 Cmd->Name, /*Type*/ 0, Visibility, /*CanOmitFromDynSym*/ false,
127 /*File*/ nullptr);
128 Sym->Binding = STB_GLOBAL;
Rafael Espindola72dc1952017-03-17 13:05:04 +0000129 ExprValue Value = Cmd->Expression();
130 SectionBase *Sec = Value.isAbsolute() ? nullptr : Value.Sec;
Rui Ueyama80474a22017-02-28 19:29:55 +0000131 replaceBody<DefinedRegular>(Sym, Cmd->Name, /*IsLocal=*/false, Visibility,
Rafael Espindola5616adf2017-03-08 22:36:28 +0000132 STT_NOTYPE, 0, 0, Sec, nullptr);
Meador Inge8f1f3c42017-01-09 18:36:57 +0000133 return Sym->body();
Eugene Leviantceabe802016-08-11 07:56:43 +0000134}
135
Rui Ueyama22375f22016-11-25 18:51:54 +0000136static bool isUnderSysroot(StringRef Path) {
137 if (Config->Sysroot == "")
138 return false;
139 for (; !Path.empty(); Path = sys::path::parent_path(Path))
140 if (sys::fs::equivalent(Config->Sysroot, Path))
141 return true;
142 return false;
143}
144
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000145OutputSection *LinkerScript::getOutputSection(const Twine &Loc,
146 StringRef Name) {
George Rimar851dc1e2017-03-14 10:15:53 +0000147 for (OutputSection *Sec : *OutputSections)
148 if (Sec->Name == Name)
149 return Sec;
150
Rui Ueyamaa08fa2e2017-04-05 00:42:45 +0000151 static OutputSection Dummy("", 0, 0);
Rafael Espindola72dc1952017-03-17 13:05:04 +0000152 if (ErrorOnMissingSection)
153 error(Loc + ": undefined section " + Name);
Rui Ueyamaa08fa2e2017-04-05 00:42:45 +0000154 return &Dummy;
George Rimar851dc1e2017-03-14 10:15:53 +0000155}
156
George Rimard83ce1b2017-03-14 10:24:47 +0000157// This function is essentially the same as getOutputSection(Name)->Size,
158// but it won't print out an error message if a given section is not found.
159//
160// Linker script does not create an output section if its content is empty.
161// We want to allow SIZEOF(.foo) where .foo is a section which happened to
162// be empty. That is why this function is different from getOutputSection().
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000163uint64_t LinkerScript::getOutputSectionSize(StringRef Name) {
George Rimard83ce1b2017-03-14 10:24:47 +0000164 for (OutputSection *Sec : *OutputSections)
165 if (Sec->Name == Name)
166 return Sec->Size;
167 return 0;
168}
169
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000170void LinkerScript::setDot(Expr E, const Twine &Loc, bool InSec) {
Rafael Espindola72dc1952017-03-17 13:05:04 +0000171 uint64_t Val = E().getValue();
Rafael Espindola679828f2017-02-17 16:26:13 +0000172 if (Val < Dot) {
173 if (InSec)
George Rimar2ee2d2d2017-02-21 14:50:38 +0000174 error(Loc + ": unable to move location counter backward for: " +
175 CurOutSec->Name);
Rafael Espindola679828f2017-02-17 16:26:13 +0000176 else
George Rimar2ee2d2d2017-02-21 14:50:38 +0000177 error(Loc + ": unable to move location counter backward");
Rafael Espindola679828f2017-02-17 16:26:13 +0000178 }
179 Dot = Val;
180 // Update to location counter means update to section size.
181 if (InSec)
182 CurOutSec->Size = Dot - CurOutSec->Addr;
183}
184
George Rimarb2b70972017-02-07 10:23:28 +0000185// Sets value of a symbol. Two kinds of symbols are processed: synthetic
186// symbols, whose value is an offset from beginning of section and regular
187// symbols whose value is absolute.
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000188void LinkerScript::assignSymbol(SymbolAssignment *Cmd, bool InSec) {
Rafael Espindola4cd73522017-02-17 16:01:51 +0000189 if (Cmd->Name == ".") {
George Rimar2ee2d2d2017-02-21 14:50:38 +0000190 setDot(Cmd->Expression, Cmd->Location, InSec);
Rafael Espindola4cd73522017-02-17 16:01:51 +0000191 return;
192 }
193
George Rimarb2b70972017-02-07 10:23:28 +0000194 if (!Cmd->Sym)
Meador Inge8f1f3c42017-01-09 18:36:57 +0000195 return;
196
Rafael Espindola5616adf2017-03-08 22:36:28 +0000197 auto *Sym = cast<DefinedRegular>(Cmd->Sym);
Rafael Espindola72dc1952017-03-17 13:05:04 +0000198 ExprValue V = Cmd->Expression();
199 if (V.isAbsolute()) {
200 Sym->Value = V.getValue();
201 } else {
202 Sym->Section = V.Sec;
203 if (Sym->Section->Flags & SHF_ALLOC)
204 Sym->Value = V.Val;
205 else
206 Sym->Value = V.getValue();
Meador Inge8f1f3c42017-01-09 18:36:57 +0000207 }
Eugene Leviantdb741e72016-09-07 07:08:43 +0000208}
Meador Inge8f1f3c42017-01-09 18:36:57 +0000209
George Rimara8dba482017-03-20 10:09:58 +0000210static SymbolBody *findSymbol(StringRef S) {
211 switch (Config->EKind) {
212 case ELF32LEKind:
213 return Symtab<ELF32LE>::X->find(S);
214 case ELF32BEKind:
215 return Symtab<ELF32BE>::X->find(S);
216 case ELF64LEKind:
217 return Symtab<ELF64LE>::X->find(S);
218 case ELF64BEKind:
219 return Symtab<ELF64BE>::X->find(S);
220 default:
221 llvm_unreachable("unknown Config->EKind");
222 }
223}
224
225static SymbolBody *addRegularSymbol(SymbolAssignment *Cmd) {
226 switch (Config->EKind) {
227 case ELF32LEKind:
228 return addRegular<ELF32LE>(Cmd);
229 case ELF32BEKind:
230 return addRegular<ELF32BE>(Cmd);
231 case ELF64LEKind:
232 return addRegular<ELF64LE>(Cmd);
233 case ELF64BEKind:
234 return addRegular<ELF64BE>(Cmd);
235 default:
236 llvm_unreachable("unknown Config->EKind");
237 }
238}
239
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000240void LinkerScript::addSymbol(SymbolAssignment *Cmd) {
Rui Ueyama16024212016-08-11 23:22:52 +0000241 if (Cmd->Name == ".")
Meador Inge8f1f3c42017-01-09 18:36:57 +0000242 return;
243
244 // If a symbol was in PROVIDE(), we need to define it only when
245 // it is a referenced undefined symbol.
George Rimara8dba482017-03-20 10:09:58 +0000246 SymbolBody *B = findSymbol(Cmd->Name);
Meador Inge8f1f3c42017-01-09 18:36:57 +0000247 if (Cmd->Provide && (!B || B->isDefined()))
248 return;
249
George Rimara8dba482017-03-20 10:09:58 +0000250 Cmd->Sym = addRegularSymbol(Cmd);
Eugene Leviantceabe802016-08-11 07:56:43 +0000251}
252
George Rimar076fe152016-07-21 06:43:01 +0000253bool SymbolAssignment::classof(const BaseCommand *C) {
254 return C->Kind == AssignmentKind;
255}
256
257bool OutputSectionCommand::classof(const BaseCommand *C) {
258 return C->Kind == OutputSectionKind;
259}
260
George Rimareea31142016-07-21 14:26:59 +0000261bool InputSectionDescription::classof(const BaseCommand *C) {
262 return C->Kind == InputSectionKind;
263}
264
George Rimareefa7582016-08-04 09:29:31 +0000265bool AssertCommand::classof(const BaseCommand *C) {
266 return C->Kind == AssertKind;
267}
268
George Rimare38cbab2016-09-26 19:22:50 +0000269bool BytesDataCommand::classof(const BaseCommand *C) {
270 return C->Kind == BytesDataKind;
271}
272
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000273static StringRef basename(InputSectionBase *S) {
274 if (S->File)
275 return sys::path::filename(S->File->getName());
Rui Ueyamae0be2902016-11-21 02:10:12 +0000276 return "";
277}
278
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000279bool LinkerScript::shouldKeep(InputSectionBase *S) {
Rui Ueyamae0be2902016-11-21 02:10:12 +0000280 for (InputSectionDescription *ID : Opt.KeptSections)
281 if (ID->FilePat.match(basename(S)))
282 for (SectionPattern &P : ID->SectionPatterns)
283 if (P.SectionPat.match(S->Name))
284 return true;
George Rimareea31142016-07-21 14:26:59 +0000285 return false;
286}
287
Rui Ueyamaea93fe02017-04-05 00:43:25 +0000288// A helper function for the SORT() command.
Rafael Espindolac404d502017-02-23 02:32:18 +0000289static std::function<bool(InputSectionBase *, InputSectionBase *)>
George Rimarbe394db2016-09-16 20:21:55 +0000290getComparator(SortSectionPolicy K) {
291 switch (K) {
292 case SortSectionPolicy::Alignment:
Rui Ueyamaea93fe02017-04-05 00:43:25 +0000293 return [](InputSectionBase *A, InputSectionBase *B) {
294 // ">" is not a mistake. Sections with larger alignments are placed
295 // before sections with smaller alignments in order to reduce the
296 // amount of padding necessary. This is compatible with GNU.
297 return A->Alignment > B->Alignment;
298 };
George Rimarbe394db2016-09-16 20:21:55 +0000299 case SortSectionPolicy::Name:
Rui Ueyamaea93fe02017-04-05 00:43:25 +0000300 return [](InputSectionBase *A, InputSectionBase *B) {
301 return A->Name < B->Name;
302 };
George Rimarbe394db2016-09-16 20:21:55 +0000303 case SortSectionPolicy::Priority:
Rui Ueyamaea93fe02017-04-05 00:43:25 +0000304 return [](InputSectionBase *A, InputSectionBase *B) {
305 return getPriority(A->Name) < getPriority(B->Name);
306 };
George Rimarbe394db2016-09-16 20:21:55 +0000307 default:
308 llvm_unreachable("unknown sort policy");
309 }
Rui Ueyama742c3832016-08-04 22:27:00 +0000310}
George Rimar0702c4e2016-07-29 15:32:46 +0000311
Rui Ueyamaea93fe02017-04-05 00:43:25 +0000312// A helper function for the SORT() command.
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000313static bool matchConstraints(ArrayRef<InputSectionBase *> Sections,
George Rimar06ae6832016-08-12 09:07:57 +0000314 ConstraintKind Kind) {
George Rimar8f66df92016-08-12 20:38:20 +0000315 if (Kind == ConstraintKind::NoConstraint)
316 return true;
Rui Ueyama2c7171b2017-04-05 00:43:45 +0000317
318 bool IsRW = llvm::any_of(Sections, [](InputSectionBase *Sec) {
319 return static_cast<InputSectionBase *>(Sec)->Flags & SHF_WRITE;
George Rimar06ae6832016-08-12 09:07:57 +0000320 });
Rui Ueyama2c7171b2017-04-05 00:43:45 +0000321
Rafael Espindolae746e522016-09-21 18:33:44 +0000322 return (IsRW && Kind == ConstraintKind::ReadWrite) ||
323 (!IsRW && Kind == ConstraintKind::ReadOnly);
George Rimar06ae6832016-08-12 09:07:57 +0000324}
325
Rafael Espindolac404d502017-02-23 02:32:18 +0000326static void sortSections(InputSectionBase **Begin, InputSectionBase **End,
Rui Ueyamaee924702016-09-20 19:42:41 +0000327 SortSectionPolicy K) {
328 if (K != SortSectionPolicy::Default && K != SortSectionPolicy::None)
George Rimar07171f22016-09-21 15:56:44 +0000329 std::stable_sort(Begin, End, getComparator(K));
Rui Ueyamaee924702016-09-20 19:42:41 +0000330}
331
Rafael Espindolad3190792016-09-16 15:10:23 +0000332// Compute and remember which sections the InputSectionDescription matches.
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000333void LinkerScript::computeInputSections(InputSectionDescription *I) {
Rui Ueyama4dc07be2016-09-17 02:23:40 +0000334 // Collects all sections that satisfy constraints of I
335 // and attach them to I.
336 for (SectionPattern &Pat : I->SectionPatterns) {
George Rimar07171f22016-09-21 15:56:44 +0000337 size_t SizeBefore = I->Sections.size();
Rui Ueyama8c6a5aa2016-11-05 22:37:59 +0000338
Rui Ueyama536a2672017-02-27 02:32:08 +0000339 for (InputSectionBase *S : InputSections) {
Rafael Espindola3773bca2017-02-17 19:37:30 +0000340 if (S->Assigned)
Rui Ueyama8c6a5aa2016-11-05 22:37:59 +0000341 continue;
Rafael Espindola908a3d32017-02-16 14:36:09 +0000342 // For -emit-relocs we have to ignore entries like
343 // .rela.dyn : { *(.rela.data) }
344 // which are common because they are in the default bfd script.
345 if (S->Type == SHT_REL || S->Type == SHT_RELA)
346 continue;
Rui Ueyama8c6a5aa2016-11-05 22:37:59 +0000347
Rui Ueyamae0be2902016-11-21 02:10:12 +0000348 StringRef Filename = basename(S);
349 if (!I->FilePat.match(Filename) || Pat.ExcludedFilePat.match(Filename))
350 continue;
351 if (!Pat.SectionPat.match(S->Name))
352 continue;
353 I->Sections.push_back(S);
354 S->Assigned = true;
George Rimar395281c2016-09-16 17:42:10 +0000355 }
Rafael Espindolad3190792016-09-16 15:10:23 +0000356
George Rimar07171f22016-09-21 15:56:44 +0000357 // Sort sections as instructed by SORT-family commands and --sort-section
358 // option. Because SORT-family commands can be nested at most two depth
359 // (e.g. SORT_BY_NAME(SORT_BY_ALIGNMENT(.text.*))) and because the command
360 // line option is respected even if a SORT command is given, the exact
361 // behavior we have here is a bit complicated. Here are the rules.
362 //
363 // 1. If two SORT commands are given, --sort-section is ignored.
364 // 2. If one SORT command is given, and if it is not SORT_NONE,
365 // --sort-section is handled as an inner SORT command.
366 // 3. If one SORT command is given, and if it is SORT_NONE, don't sort.
367 // 4. If no SORT command is given, sort according to --sort-section.
Rafael Espindolac404d502017-02-23 02:32:18 +0000368 InputSectionBase **Begin = I->Sections.data() + SizeBefore;
369 InputSectionBase **End = I->Sections.data() + I->Sections.size();
George Rimar07171f22016-09-21 15:56:44 +0000370 if (Pat.SortOuter != SortSectionPolicy::None) {
371 if (Pat.SortInner == SortSectionPolicy::Default)
372 sortSections(Begin, End, Config->SortSection);
373 else
374 sortSections(Begin, End, Pat.SortInner);
375 sortSections(Begin, End, Pat.SortOuter);
376 }
Rui Ueyamaee924702016-09-20 19:42:41 +0000377 }
Rafael Espindolabe94e1b2016-09-14 14:32:08 +0000378}
379
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000380void LinkerScript::discard(ArrayRef<InputSectionBase *> V) {
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000381 for (InputSectionBase *S : V) {
Rafael Espindolabe94e1b2016-09-14 14:32:08 +0000382 S->Live = false;
George Rimar503206c2017-03-15 15:42:44 +0000383 if (S == InX::ShStrTab)
Rafael Espindolaecbfd872017-02-17 17:35:07 +0000384 error("discarding .shstrtab section is not allowed");
George Rimar647c1682017-02-17 19:34:05 +0000385 discard(S->DependentSections);
Rafael Espindolabe94e1b2016-09-14 14:32:08 +0000386 }
387}
388
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000389std::vector<InputSectionBase *>
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000390LinkerScript::createInputSectionList(OutputSectionCommand &OutCmd) {
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000391 std::vector<InputSectionBase *> Ret;
Rui Ueyamae7f912c2016-08-03 21:12:09 +0000392
George Rimar06ae6832016-08-12 09:07:57 +0000393 for (const std::unique_ptr<BaseCommand> &Base : OutCmd.Commands) {
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000394 auto *Cmd = dyn_cast<InputSectionDescription>(Base.get());
395 if (!Cmd)
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000396 continue;
Rafael Espindolae71a3f8a2016-09-16 20:34:02 +0000397 computeInputSections(Cmd);
Rafael Espindolac404d502017-02-23 02:32:18 +0000398 for (InputSectionBase *S : Cmd->Sections)
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000399 Ret.push_back(static_cast<InputSectionBase *>(S));
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000400 }
Rafael Espindolae71a3f8a2016-09-16 20:34:02 +0000401
Rui Ueyama0b9ce6a2016-08-12 03:16:56 +0000402 return Ret;
403}
404
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000405void LinkerScript::processCommands(OutputSectionFactory &Factory) {
Rafael Espindola5616adf2017-03-08 22:36:28 +0000406 // A symbol can be assigned before any section is mentioned in the linker
407 // script. In an DSO, the symbol values are addresses, so the only important
408 // section values are:
409 // * SHN_UNDEF
410 // * SHN_ABS
411 // * Any value meaning a regular section.
412 // To handle that, create a dummy aether section that fills the void before
413 // the linker scripts switches to another section. It has an index of one
414 // which will map to whatever the first actual section is.
415 Aether = make<OutputSection>("", 0, SHF_ALLOC);
416 Aether->SectionIndex = 1;
417 CurOutSec = Aether;
Rafael Espindola49592cf2017-03-20 14:33:33 +0000418 Dot = 0;
Rafael Espindola5616adf2017-03-08 22:36:28 +0000419
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000420 for (unsigned I = 0; I < Opt.Commands.size(); ++I) {
421 auto Iter = Opt.Commands.begin() + I;
422 const std::unique_ptr<BaseCommand> &Base1 = *Iter;
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000423
424 // Handle symbol assignments outside of any output section.
Rui Ueyama2ab5f732016-08-12 03:33:04 +0000425 if (auto *Cmd = dyn_cast<SymbolAssignment>(Base1.get())) {
Rafael Espindola4cd73522017-02-17 16:01:51 +0000426 addSymbol(Cmd);
Rui Ueyama2ab5f732016-08-12 03:33:04 +0000427 continue;
428 }
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000429
Eugene Leviantceabe802016-08-11 07:56:43 +0000430 if (auto *Cmd = dyn_cast<OutputSectionCommand>(Base1.get())) {
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000431 std::vector<InputSectionBase *> V = createInputSectionList(*Cmd);
Rafael Espindola7bd37872016-09-12 16:05:16 +0000432
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000433 // The output section name `/DISCARD/' is special.
434 // Any input section assigned to it is discarded.
Rui Ueyama48c3f1c2016-08-12 00:27:23 +0000435 if (Cmd->Name == "/DISCARD/") {
Rafael Espindola7bd37872016-09-12 16:05:16 +0000436 discard(V);
Rui Ueyama48c3f1c2016-08-12 00:27:23 +0000437 continue;
438 }
Eugene Leviantceabe802016-08-11 07:56:43 +0000439
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000440 // This is for ONLY_IF_RO and ONLY_IF_RW. An output section directive
441 // ".foo : ONLY_IF_R[OW] { ... }" is handled only if all member input
442 // sections satisfy a given constraint. If not, a directive is handled
443 // as if it wasn't present from the beginning.
444 //
445 // Because we'll iterate over Commands many more times, the easiest
446 // way to "make it as if it wasn't present" is to just remove it.
George Rimarf7f0d082017-03-14 11:23:33 +0000447 if (!matchConstraints(V, Cmd->Constraint)) {
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000448 for (InputSectionBase *S : V)
Rui Ueyamaf94efdd2016-11-20 23:15:52 +0000449 S->Assigned = false;
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000450 Opt.Commands.erase(Iter);
George Rimardfbbbc82016-09-17 09:50:10 +0000451 --I;
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000452 continue;
453 }
454
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000455 // A directive may contain symbol definitions like this:
456 // ".foo : { ...; bar = .; }". Handle them.
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000457 for (const std::unique_ptr<BaseCommand> &Base : Cmd->Commands)
458 if (auto *OutCmd = dyn_cast<SymbolAssignment>(Base.get()))
Rafael Espindola4cd73522017-02-17 16:01:51 +0000459 addSymbol(OutCmd);
Rafael Espindola7c3ff2e2016-09-16 21:05:36 +0000460
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000461 // Handle subalign (e.g. ".foo : SUBALIGN(32) { ... }"). If subalign
462 // is given, input sections are aligned to that value, whether the
463 // given value is larger or smaller than the original section alignment.
464 if (Cmd->SubalignExpr) {
Rafael Espindola72dc1952017-03-17 13:05:04 +0000465 uint32_t Subalign = Cmd->SubalignExpr().getValue();
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000466 for (InputSectionBase *S : V)
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000467 S->Alignment = Subalign;
George Rimardb24d9c2016-08-19 15:18:23 +0000468 }
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000469
470 // Add input sections to an output section.
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000471 for (InputSectionBase *S : V)
George Rimare21c3af2017-03-14 09:30:25 +0000472 Factory.addInputSec(S, Cmd->Name);
Eugene Leviantceabe802016-08-11 07:56:43 +0000473 }
Rui Ueyama48c3f1c2016-08-12 00:27:23 +0000474 }
Rafael Espindola5616adf2017-03-08 22:36:28 +0000475 CurOutSec = nullptr;
Eugene Leviant20d03192016-09-16 15:30:47 +0000476}
Eugene Leviante63d81b2016-07-20 14:43:20 +0000477
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000478// Add sections that didn't match any sections command.
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000479void LinkerScript::addOrphanSections(OutputSectionFactory &Factory) {
Rui Ueyama536a2672017-02-27 02:32:08 +0000480 for (InputSectionBase *S : InputSections)
Rafael Espindola8f9026b2016-11-08 18:23:02 +0000481 if (S->Live && !S->OutSec)
George Rimare21c3af2017-03-14 09:30:25 +0000482 Factory.addInputSec(S, getOutputSectionName(S->Name));
Eugene Leviante63d81b2016-07-20 14:43:20 +0000483}
484
George Rimarf7f0d082017-03-14 11:23:33 +0000485static bool isTbss(OutputSection *Sec) {
Rafael Espindola04a2e342016-11-09 01:42:41 +0000486 return (Sec->Flags & SHF_TLS) && Sec->Type == SHT_NOBITS;
Rafael Espindolaa940e532016-09-22 12:35:44 +0000487}
488
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000489void LinkerScript::output(InputSection *S) {
Rafael Espindolad3190792016-09-16 15:10:23 +0000490 if (!AlreadyOutputIS.insert(S).second)
491 return;
George Rimarf7f0d082017-03-14 11:23:33 +0000492 bool IsTbss = isTbss(CurOutSec);
Eugene Leviant20889c52016-08-31 08:13:33 +0000493
George Rimar0c1c8082017-03-14 10:00:19 +0000494 uint64_t Pos = IsTbss ? Dot + ThreadBssOffset : Dot;
Rafael Espindolad3190792016-09-16 15:10:23 +0000495 Pos = alignTo(Pos, S->Alignment);
Rafael Espindola04a2e342016-11-09 01:42:41 +0000496 S->OutSecOff = Pos - CurOutSec->Addr;
Rafael Espindola76b6bd32017-03-08 15:44:30 +0000497 Pos += S->getSize();
Rafael Espindolad3190792016-09-16 15:10:23 +0000498
499 // Update output section size after adding each section. This is so that
500 // SIZEOF works correctly in the case below:
501 // .foo { *(.aaa) a = SIZEOF(.foo); *(.bbb) }
Rafael Espindola04a2e342016-11-09 01:42:41 +0000502 CurOutSec->Size = Pos - CurOutSec->Addr;
Rafael Espindolad3190792016-09-16 15:10:23 +0000503
Meador Ingeb8897442017-01-24 02:34:00 +0000504 // If there is a memory region associated with this input section, then
505 // place the section in that region and update the region index.
506 if (CurMemRegion) {
507 CurMemRegion->Offset += CurOutSec->Size;
508 uint64_t CurSize = CurMemRegion->Offset - CurMemRegion->Origin;
509 if (CurSize > CurMemRegion->Length) {
510 uint64_t OverflowAmt = CurSize - CurMemRegion->Length;
511 error("section '" + CurOutSec->Name + "' will not fit in region '" +
512 CurMemRegion->Name + "': overflowed by " + Twine(OverflowAmt) +
513 " bytes");
514 }
515 }
516
Rafael Espindola7252ae52016-09-22 12:00:08 +0000517 if (IsTbss)
518 ThreadBssOffset = Pos - Dot;
519 else
Rafael Espindolad3190792016-09-16 15:10:23 +0000520 Dot = Pos;
521}
522
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000523void LinkerScript::flush() {
Rafael Espindolabd12e2a2017-03-01 14:12:21 +0000524 assert(CurOutSec);
525 if (!AlreadyOutputOS.insert(CurOutSec).second)
Rafael Espindola65499b92016-09-23 20:10:47 +0000526 return;
Rafael Espindola24e6f362017-02-24 15:07:30 +0000527 for (InputSection *I : CurOutSec->Sections)
528 output(I);
Eugene Leviant20889c52016-08-31 08:13:33 +0000529}
530
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000531void LinkerScript::switchTo(OutputSection *Sec) {
Rafael Espindolad3190792016-09-16 15:10:23 +0000532 if (CurOutSec == Sec)
533 return;
534 if (AlreadyOutputOS.count(Sec))
535 return;
536
Rafael Espindolad3190792016-09-16 15:10:23 +0000537 CurOutSec = Sec;
538
Rafael Espindola37707632017-03-07 14:55:52 +0000539 Dot = alignTo(Dot, CurOutSec->Alignment);
George Rimarf7f0d082017-03-14 11:23:33 +0000540 CurOutSec->Addr = isTbss(CurOutSec) ? Dot + ThreadBssOffset : Dot;
Eugene Leviantb71d6f72016-10-06 09:39:28 +0000541
542 // If neither AT nor AT> is specified for an allocatable section, the linker
543 // will set the LMA such that the difference between VMA and LMA for the
544 // section is the same as the preceding output section in the same region
545 // https://sourceware.org/binutils/docs-2.20/ld/Output-Section-LMA.html
George Rimar21467872017-02-23 07:57:55 +0000546 if (LMAOffset)
Rafael Espindola29c1afb2017-02-24 14:34:12 +0000547 CurOutSec->LMAOffset = LMAOffset();
Rafael Espindolad3190792016-09-16 15:10:23 +0000548}
549
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000550void LinkerScript::process(BaseCommand &Base) {
George Rimare38cbab2016-09-26 19:22:50 +0000551 // This handles the assignments to symbol or to a location counter (.)
Rafael Espindolad3190792016-09-16 15:10:23 +0000552 if (auto *AssignCmd = dyn_cast<SymbolAssignment>(&Base)) {
Rafael Espindola4cd73522017-02-17 16:01:51 +0000553 assignSymbol(AssignCmd, true);
Eugene Leviantceabe802016-08-11 07:56:43 +0000554 return;
Rui Ueyama2de509c2016-08-12 00:55:08 +0000555 }
George Rimare38cbab2016-09-26 19:22:50 +0000556
557 // Handle BYTE(), SHORT(), LONG(), or QUAD().
558 if (auto *DataCmd = dyn_cast<BytesDataCommand>(&Base)) {
Rafael Espindola04a2e342016-11-09 01:42:41 +0000559 DataCmd->Offset = Dot - CurOutSec->Addr;
George Rimare38cbab2016-09-26 19:22:50 +0000560 Dot += DataCmd->Size;
Rafael Espindola04a2e342016-11-09 01:42:41 +0000561 CurOutSec->Size = Dot - CurOutSec->Addr;
George Rimare38cbab2016-09-26 19:22:50 +0000562 return;
563 }
564
Meador Ingeb2d99d62016-11-22 18:01:50 +0000565 if (auto *AssertCmd = dyn_cast<AssertCommand>(&Base)) {
Rafael Espindola4595df92017-03-10 16:04:26 +0000566 AssertCmd->Expression();
Meador Ingeb2d99d62016-11-22 18:01:50 +0000567 return;
568 }
569
George Rimare38cbab2016-09-26 19:22:50 +0000570 // It handles single input section description command,
571 // calculates and assigns the offsets for each section and also
572 // updates the output section size.
Rafael Espindolad3190792016-09-16 15:10:23 +0000573 auto &ICmd = cast<InputSectionDescription>(Base);
Rafael Espindolabd12e2a2017-03-01 14:12:21 +0000574 for (InputSectionBase *IB : ICmd.Sections) {
George Rimar3fb5a6d2016-11-29 16:05:27 +0000575 // We tentatively added all synthetic sections at the beginning and removed
576 // empty ones afterwards (because there is no way to know whether they were
577 // going be empty or not other than actually running linker scripts.)
578 // We need to ignore remains of empty sections.
Rafael Espindolabd12e2a2017-03-01 14:12:21 +0000579 if (auto *Sec = dyn_cast<SyntheticSection>(IB))
George Rimar3fb5a6d2016-11-29 16:05:27 +0000580 if (Sec->empty())
581 continue;
582
George Rimar78ef6452017-02-21 15:46:43 +0000583 if (!IB->Live)
584 continue;
Rafael Espindolabedccb5e2017-03-01 14:21:31 +0000585 assert(CurOutSec == IB->OutSec || AlreadyOutputOS.count(IB->OutSec));
Rafael Espindolabd12e2a2017-03-01 14:12:21 +0000586 output(cast<InputSection>(IB));
Eugene Leviantceabe802016-08-11 07:56:43 +0000587 }
588}
589
Rafael Espindola24e6f362017-02-24 15:07:30 +0000590static OutputSection *
591findSection(StringRef Name, const std::vector<OutputSection *> &Sections) {
Rafael Espindola2b074552017-02-03 22:27:05 +0000592 auto End = Sections.end();
Rafael Espindola24e6f362017-02-24 15:07:30 +0000593 auto HasName = [=](OutputSection *Sec) { return Sec->Name == Name; };
Rafael Espindola2b074552017-02-03 22:27:05 +0000594 auto I = std::find_if(Sections.begin(), End, HasName);
Rafael Espindola24e6f362017-02-24 15:07:30 +0000595 std::vector<OutputSection *> Ret;
Rafael Espindola2b074552017-02-03 22:27:05 +0000596 if (I == End)
597 return nullptr;
598 assert(std::find_if(I + 1, End, HasName) == End);
599 return *I;
George Rimar8f66df92016-08-12 20:38:20 +0000600}
601
Meador Ingeb8897442017-01-24 02:34:00 +0000602// This function searches for a memory region to place the given output
603// section in. If found, a pointer to the appropriate memory region is
604// returned. Otherwise, a nullptr is returned.
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000605MemoryRegion *LinkerScript::findMemoryRegion(OutputSectionCommand *Cmd,
606 OutputSection *Sec) {
Meador Ingeb8897442017-01-24 02:34:00 +0000607 // If a memory region name was specified in the output section command,
608 // then try to find that region first.
609 if (!Cmd->MemoryRegionName.empty()) {
610 auto It = Opt.MemoryRegions.find(Cmd->MemoryRegionName);
611 if (It != Opt.MemoryRegions.end())
612 return &It->second;
613 error("memory region '" + Cmd->MemoryRegionName + "' not declared");
614 return nullptr;
615 }
616
617 // The memory region name is empty, thus a suitable region must be
618 // searched for in the region map. If the region map is empty, just
619 // return. Note that this check doesn't happen at the very beginning
620 // so that uses of undeclared regions can be caught.
621 if (!Opt.MemoryRegions.size())
622 return nullptr;
623
624 // See if a region can be found by matching section flags.
625 for (auto &MRI : Opt.MemoryRegions) {
626 MemoryRegion &MR = MRI.second;
Rui Ueyama8a8a9532017-01-26 02:58:59 +0000627 if ((MR.Flags & Sec->Flags) != 0 && (MR.NegFlags & Sec->Flags) == 0)
Meador Ingeb8897442017-01-24 02:34:00 +0000628 return &MR;
629 }
630
631 // Otherwise, no suitable region was found.
632 if (Sec->Flags & SHF_ALLOC)
633 error("no memory region specified for section '" + Sec->Name + "'");
634 return nullptr;
635}
636
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000637// This function assigns offsets to input sections and an output section
638// for a single sections command (e.g. ".text { *(.text); }").
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000639void LinkerScript::assignOffsets(OutputSectionCommand *Cmd) {
George Rimar23e6a022017-03-14 11:31:28 +0000640 OutputSection *Sec = findSection(Cmd->Name, *OutputSections);
Rafael Espindola2b074552017-02-03 22:27:05 +0000641 if (!Sec)
Rafael Espindolad3190792016-09-16 15:10:23 +0000642 return;
Meador Ingeb8897442017-01-24 02:34:00 +0000643
Rafael Espindola679828f2017-02-17 16:26:13 +0000644 if (Cmd->AddrExpr && Sec->Flags & SHF_ALLOC)
George Rimar2ee2d2d2017-02-21 14:50:38 +0000645 setDot(Cmd->AddrExpr, Cmd->Location);
Rafael Espindola679828f2017-02-17 16:26:13 +0000646
Eugene Leviant5784e962017-03-14 08:57:09 +0000647 if (Cmd->LMAExpr) {
George Rimar0c1c8082017-03-14 10:00:19 +0000648 uint64_t D = Dot;
Rafael Espindola72dc1952017-03-17 13:05:04 +0000649 LMAOffset = [=] { return Cmd->LMAExpr().getValue() - D; };
Eugene Leviant5784e962017-03-14 08:57:09 +0000650 }
651
Petr Hosek165088a2017-02-07 23:42:31 +0000652 // Handle align (e.g. ".foo : ALIGN(16) { ... }").
653 if (Cmd->AlignExpr)
Rafael Espindola72dc1952017-03-17 13:05:04 +0000654 Sec->updateAlignment(Cmd->AlignExpr().getValue());
Petr Hosek165088a2017-02-07 23:42:31 +0000655
Meador Ingeb8897442017-01-24 02:34:00 +0000656 // Try and find an appropriate memory region to assign offsets in.
657 CurMemRegion = findMemoryRegion(Cmd, Sec);
658 if (CurMemRegion)
659 Dot = CurMemRegion->Offset;
660 switchTo(Sec);
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000661
Rafael Espindolad3190792016-09-16 15:10:23 +0000662 // Find the last section output location. We will output orphan sections
663 // there so that end symbols point to the correct location.
664 auto E = std::find_if(Cmd->Commands.rbegin(), Cmd->Commands.rend(),
665 [](const std::unique_ptr<BaseCommand> &Cmd) {
666 return !isa<SymbolAssignment>(*Cmd);
667 })
668 .base();
669 for (auto I = Cmd->Commands.begin(); I != E; ++I)
670 process(**I);
Rafael Espindola65499b92016-09-23 20:10:47 +0000671 flush();
George Rimarb31dd372016-09-19 13:27:31 +0000672 std::for_each(E, Cmd->Commands.end(),
673 [this](std::unique_ptr<BaseCommand> &B) { process(*B.get()); });
Rafael Espindolad3190792016-09-16 15:10:23 +0000674}
675
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000676void LinkerScript::removeEmptyCommands() {
Rafael Espindola6d38e4d2016-09-20 13:12:07 +0000677 // It is common practice to use very generic linker scripts. So for any
678 // given run some of the output sections in the script will be empty.
679 // We could create corresponding empty output sections, but that would
680 // clutter the output.
681 // We instead remove trivially empty sections. The bfd linker seems even
682 // more aggressive at removing them.
683 auto Pos = std::remove_if(
684 Opt.Commands.begin(), Opt.Commands.end(),
685 [&](const std::unique_ptr<BaseCommand> &Base) {
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000686 if (auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get()))
George Rimar23e6a022017-03-14 11:31:28 +0000687 return !findSection(Cmd->Name, *OutputSections);
Rui Ueyama0b1b6952016-11-21 02:11:05 +0000688 return false;
Rafael Espindola6d38e4d2016-09-20 13:12:07 +0000689 });
690 Opt.Commands.erase(Pos, Opt.Commands.end());
Rafael Espindola07fe6122016-11-14 14:23:35 +0000691}
692
Rafael Espindola6a537372016-11-14 14:33:49 +0000693static bool isAllSectionDescription(const OutputSectionCommand &Cmd) {
694 for (const std::unique_ptr<BaseCommand> &I : Cmd.Commands)
695 if (!isa<InputSectionDescription>(*I))
696 return false;
697 return true;
698}
Rafael Espindola6d38e4d2016-09-20 13:12:07 +0000699
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000700void LinkerScript::adjustSectionsBeforeSorting() {
Rafael Espindola9546fff2016-09-22 14:40:50 +0000701 // If the output section contains only symbol assignments, create a
702 // corresponding output section. The bfd linker seems to only create them if
703 // '.' is assigned to, but creating these section should not have any bad
704 // consequeces and gives us a section to put the symbol in.
George Rimar0c1c8082017-03-14 10:00:19 +0000705 uint64_t Flags = SHF_ALLOC;
Rafael Espindolaf93b8c22016-11-26 06:55:35 +0000706 uint32_t Type = SHT_NOBITS;
Rafael Espindola9546fff2016-09-22 14:40:50 +0000707 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands) {
708 auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get());
709 if (!Cmd)
710 continue;
George Rimar23e6a022017-03-14 11:31:28 +0000711 if (OutputSection *Sec = findSection(Cmd->Name, *OutputSections)) {
Rafael Espindola2b074552017-02-03 22:27:05 +0000712 Flags = Sec->Flags;
713 Type = Sec->Type;
Rafael Espindola9546fff2016-09-22 14:40:50 +0000714 continue;
715 }
716
Rafael Espindola6a537372016-11-14 14:33:49 +0000717 if (isAllSectionDescription(*Cmd))
718 continue;
719
Rafael Espindola24e6f362017-02-24 15:07:30 +0000720 auto *OutSec = make<OutputSection>(Cmd->Name, Type, Flags);
Rafael Espindola9546fff2016-09-22 14:40:50 +0000721 OutputSections->push_back(OutSec);
722 }
Rafael Espindolaf7a17442016-11-14 15:39:38 +0000723}
724
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000725void LinkerScript::adjustSectionsAfterSorting() {
Rafael Espindolaf7a17442016-11-14 15:39:38 +0000726 placeOrphanSections();
727
728 // If output section command doesn't specify any segments,
729 // and we haven't previously assigned any section to segment,
730 // then we simply assign section to the very first load segment.
731 // Below is an example of such linker script:
732 // PHDRS { seg PT_LOAD; }
733 // SECTIONS { .aaa : { *(.aaa) } }
734 std::vector<StringRef> DefPhdrs;
735 auto FirstPtLoad =
736 std::find_if(Opt.PhdrsCommands.begin(), Opt.PhdrsCommands.end(),
737 [](const PhdrsCommand &Cmd) { return Cmd.Type == PT_LOAD; });
738 if (FirstPtLoad != Opt.PhdrsCommands.end())
739 DefPhdrs.push_back(FirstPtLoad->Name);
740
741 // Walk the commands and propagate the program headers to commands that don't
742 // explicitly specify them.
743 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands) {
744 auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get());
745 if (!Cmd)
746 continue;
747 if (Cmd->Phdrs.empty())
748 Cmd->Phdrs = DefPhdrs;
749 else
750 DefPhdrs = Cmd->Phdrs;
751 }
Rafael Espindola6a537372016-11-14 14:33:49 +0000752
753 removeEmptyCommands();
Rafael Espindola9546fff2016-09-22 14:40:50 +0000754}
755
Rafael Espindola15c57952016-09-22 18:05:49 +0000756// When placing orphan sections, we want to place them after symbol assignments
757// so that an orphan after
758// begin_foo = .;
759// foo : { *(foo) }
760// end_foo = .;
761// doesn't break the intended meaning of the begin/end symbols.
762// We don't want to go over sections since Writer<ELFT>::sortSections is the
763// one in charge of deciding the order of the sections.
764// We don't want to go over alignments, since doing so in
765// rx_sec : { *(rx_sec) }
766// . = ALIGN(0x1000);
767// /* The RW PT_LOAD starts here*/
768// rw_sec : { *(rw_sec) }
769// would mean that the RW PT_LOAD would become unaligned.
Rafael Espindola5fcc99c2016-11-27 09:44:45 +0000770static bool shouldSkip(const BaseCommand &Cmd) {
Rafael Espindola15c57952016-09-22 18:05:49 +0000771 if (isa<OutputSectionCommand>(Cmd))
772 return false;
773 const auto *Assign = dyn_cast<SymbolAssignment>(&Cmd);
774 if (!Assign)
775 return true;
Rafael Espindola5fcc99c2016-11-27 09:44:45 +0000776 return Assign->Name != ".";
Rafael Espindola15c57952016-09-22 18:05:49 +0000777}
778
Rui Ueyama6697ec22017-02-02 23:26:12 +0000779// Orphan sections are sections present in the input files which are
780// not explicitly placed into the output file by the linker script.
781//
782// When the control reaches this function, Opt.Commands contains
783// output section commands for non-orphan sections only. This function
Rui Ueyama81cb7102017-03-24 00:15:57 +0000784// adds new elements for orphan sections so that all sections are
785// explicitly handled by Opt.Commands.
Rui Ueyama6697ec22017-02-02 23:26:12 +0000786//
787// Writer<ELFT>::sortSections has already sorted output sections.
788// What we need to do is to scan OutputSections vector and
789// Opt.Commands in parallel to find orphan sections. If there is an
790// output section that doesn't have a corresponding entry in
791// Opt.Commands, we will insert a new entry to Opt.Commands.
792//
793// There is some ambiguity as to where exactly a new entry should be
794// inserted, because Opt.Commands contains not only output section
Rui Ueyama81cb7102017-03-24 00:15:57 +0000795// commands but also other types of commands such as symbol assignment
Rui Ueyama6697ec22017-02-02 23:26:12 +0000796// expressions. There's no correct answer here due to the lack of the
797// formal specification of the linker script. We use heuristics to
798// determine whether a new output command should be added before or
799// after another commands. For the details, look at shouldSkip
800// function.
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000801void LinkerScript::placeOrphanSections() {
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000802 // The OutputSections are already in the correct order.
803 // This loops creates or moves commands as needed so that they are in the
804 // correct order.
805 int CmdIndex = 0;
Rafael Espindola5fcc99c2016-11-27 09:44:45 +0000806
807 // As a horrible special case, skip the first . assignment if it is before any
808 // section. We do this because it is common to set a load address by starting
809 // the script with ". = 0xabcd" and the expectation is that every section is
810 // after that.
811 auto FirstSectionOrDotAssignment =
812 std::find_if(Opt.Commands.begin(), Opt.Commands.end(),
813 [](const std::unique_ptr<BaseCommand> &Cmd) {
814 if (isa<OutputSectionCommand>(*Cmd))
815 return true;
816 const auto *Assign = dyn_cast<SymbolAssignment>(Cmd.get());
817 if (!Assign)
818 return false;
819 return Assign->Name == ".";
820 });
821 if (FirstSectionOrDotAssignment != Opt.Commands.end()) {
822 CmdIndex = FirstSectionOrDotAssignment - Opt.Commands.begin();
823 if (isa<SymbolAssignment>(**FirstSectionOrDotAssignment))
824 ++CmdIndex;
825 }
826
Rafael Espindola24e6f362017-02-24 15:07:30 +0000827 for (OutputSection *Sec : *OutputSections) {
Rafael Espindola40849412017-02-24 14:28:00 +0000828 StringRef Name = Sec->Name;
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000829
830 // Find the last spot where we can insert a command and still get the
Rafael Espindola15c57952016-09-22 18:05:49 +0000831 // correct result.
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000832 auto CmdIter = Opt.Commands.begin() + CmdIndex;
833 auto E = Opt.Commands.end();
Rafael Espindola5fcc99c2016-11-27 09:44:45 +0000834 while (CmdIter != E && shouldSkip(**CmdIter)) {
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000835 ++CmdIter;
836 ++CmdIndex;
837 }
838
839 auto Pos =
840 std::find_if(CmdIter, E, [&](const std::unique_ptr<BaseCommand> &Base) {
841 auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get());
842 return Cmd && Cmd->Name == Name;
843 });
844 if (Pos == E) {
845 Opt.Commands.insert(CmdIter,
846 llvm::make_unique<OutputSectionCommand>(Name));
Rafael Espindola15c57952016-09-22 18:05:49 +0000847 ++CmdIndex;
848 continue;
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000849 }
Rafael Espindola15c57952016-09-22 18:05:49 +0000850
851 // Continue from where we found it.
852 CmdIndex = (Pos - Opt.Commands.begin()) + 1;
George Rimar652852c2016-04-16 10:10:32 +0000853 }
Rafael Espindola337f9032016-11-14 14:13:32 +0000854}
855
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000856void LinkerScript::processNonSectionCommands() {
Petr Hosek02ad5162017-03-15 03:33:23 +0000857 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands) {
858 if (auto *Cmd = dyn_cast<SymbolAssignment>(Base.get()))
859 assignSymbol(Cmd);
860 else if (auto *Cmd = dyn_cast<AssertCommand>(Base.get()))
861 Cmd->Expression();
862 }
863}
864
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000865void LinkerScript::assignAddresses(std::vector<PhdrEntry> &Phdrs) {
Rui Ueyama7c18c282016-04-18 21:00:40 +0000866 // Assign addresses as instructed by linker script SECTIONS sub-commands.
Rafael Espindolabe607332016-09-30 00:16:11 +0000867 Dot = 0;
Rafael Espindola72dc1952017-03-17 13:05:04 +0000868 ErrorOnMissingSection = true;
Rafael Espindola06f47432017-02-06 22:21:46 +0000869 switchTo(Aether);
870
George Rimar076fe152016-07-21 06:43:01 +0000871 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands) {
872 if (auto *Cmd = dyn_cast<SymbolAssignment>(Base.get())) {
Rafael Espindola4cd73522017-02-17 16:01:51 +0000873 assignSymbol(Cmd);
George Rimar652852c2016-04-16 10:10:32 +0000874 continue;
875 }
876
George Rimareefa7582016-08-04 09:29:31 +0000877 if (auto *Cmd = dyn_cast<AssertCommand>(Base.get())) {
Rafael Espindola4595df92017-03-10 16:04:26 +0000878 Cmd->Expression();
George Rimareefa7582016-08-04 09:29:31 +0000879 continue;
880 }
881
George Rimar076fe152016-07-21 06:43:01 +0000882 auto *Cmd = cast<OutputSectionCommand>(Base.get());
Rafael Espindolad3190792016-09-16 15:10:23 +0000883 assignOffsets(Cmd);
George Rimar652852c2016-04-16 10:10:32 +0000884 }
Rui Ueyama52c4e172016-07-01 10:42:25 +0000885
George Rimar0c1c8082017-03-14 10:00:19 +0000886 uint64_t MinVA = std::numeric_limits<uint64_t>::max();
Rafael Espindola24e6f362017-02-24 15:07:30 +0000887 for (OutputSection *Sec : *OutputSections) {
Rafael Espindola04a2e342016-11-09 01:42:41 +0000888 if (Sec->Flags & SHF_ALLOC)
Rafael Espindolae08e78d2016-11-09 23:23:45 +0000889 MinVA = std::min<uint64_t>(MinVA, Sec->Addr);
Rafael Espindolaea590d92017-02-08 15:19:03 +0000890 else
891 Sec->Addr = 0;
892 }
Rafael Espindolaaab6d5c2016-09-16 21:29:07 +0000893
George Rimar2d262102017-03-14 09:03:53 +0000894 allocateHeaders(Phdrs, *OutputSections, MinVA);
George Rimar652852c2016-04-16 10:10:32 +0000895}
896
Rui Ueyama464daad2016-08-22 04:55:20 +0000897// Creates program headers as instructed by PHDRS linker script command.
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000898std::vector<PhdrEntry> LinkerScript::createPhdrs() {
Rafael Espindola17cb7c02016-12-19 17:01:01 +0000899 std::vector<PhdrEntry> Ret;
Eugene Leviantbbe38602016-07-19 09:25:43 +0000900
Rui Ueyama464daad2016-08-22 04:55:20 +0000901 // Process PHDRS and FILEHDR keywords because they are not
902 // real output sections and cannot be added in the following loop.
Eugene Leviantbbe38602016-07-19 09:25:43 +0000903 for (const PhdrsCommand &Cmd : Opt.PhdrsCommands) {
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000904 Ret.emplace_back(Cmd.Type, Cmd.Flags == UINT_MAX ? PF_R : Cmd.Flags);
Rafael Espindola17cb7c02016-12-19 17:01:01 +0000905 PhdrEntry &Phdr = Ret.back();
Eugene Leviantbbe38602016-07-19 09:25:43 +0000906
907 if (Cmd.HasFilehdr)
Rui Ueyama9d1bacb12017-02-27 02:31:26 +0000908 Phdr.add(Out::ElfHeader);
Eugene Leviantbbe38602016-07-19 09:25:43 +0000909 if (Cmd.HasPhdrs)
Rui Ueyama9d1bacb12017-02-27 02:31:26 +0000910 Phdr.add(Out::ProgramHeaders);
Eugene Leviant56b21c82016-09-09 09:46:16 +0000911
912 if (Cmd.LMAExpr) {
Rafael Espindola72dc1952017-03-17 13:05:04 +0000913 Phdr.p_paddr = Cmd.LMAExpr().getValue();
Eugene Leviant56b21c82016-09-09 09:46:16 +0000914 Phdr.HasLMA = true;
915 }
Eugene Leviantbbe38602016-07-19 09:25:43 +0000916 }
917
Rui Ueyama464daad2016-08-22 04:55:20 +0000918 // Add output sections to program headers.
Rafael Espindola24e6f362017-02-24 15:07:30 +0000919 for (OutputSection *Sec : *OutputSections) {
Rafael Espindola04a2e342016-11-09 01:42:41 +0000920 if (!(Sec->Flags & SHF_ALLOC))
Eugene Leviantbbe38602016-07-19 09:25:43 +0000921 break;
922
Eugene Leviantce30b1c2016-10-19 15:04:49 +0000923 // Assign headers specified by linker script
Rafael Espindola40849412017-02-24 14:28:00 +0000924 for (size_t Id : getPhdrIndices(Sec->Name)) {
Eugene Leviantce30b1c2016-10-19 15:04:49 +0000925 Ret[Id].add(Sec);
926 if (Opt.PhdrsCommands[Id].Flags == UINT_MAX)
Rafael Espindola17cb7c02016-12-19 17:01:01 +0000927 Ret[Id].p_flags |= Sec->getPhdrFlags();
Eugene Leviantbbe38602016-07-19 09:25:43 +0000928 }
Eugene Leviantbbe38602016-07-19 09:25:43 +0000929 }
Rui Ueyamaedebbdf2016-07-24 23:47:31 +0000930 return Ret;
Eugene Leviantbbe38602016-07-19 09:25:43 +0000931}
932
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000933bool LinkerScript::ignoreInterpSection() {
Eugene Leviantf9bc3bd2016-08-16 06:40:58 +0000934 // Ignore .interp section in case we have PHDRS specification
935 // and PT_INTERP isn't listed.
936 return !Opt.PhdrsCommands.empty() &&
937 llvm::find_if(Opt.PhdrsCommands, [](const PhdrsCommand &Cmd) {
938 return Cmd.Type == PT_INTERP;
939 }) == Opt.PhdrsCommands.end();
940}
941
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000942uint32_t LinkerScript::getFiller(StringRef Name) {
George Rimarf6c3cce2016-07-21 07:48:54 +0000943 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands)
944 if (auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get()))
945 if (Cmd->Name == Name)
946 return Cmd->Filler;
Rui Ueyama16068ae2016-11-19 18:05:56 +0000947 return 0;
George Rimare2ee72b2016-02-26 14:48:31 +0000948}
949
George Rimare38cbab2016-09-26 19:22:50 +0000950static void writeInt(uint8_t *Buf, uint64_t Data, uint64_t Size) {
George Rimare38cbab2016-09-26 19:22:50 +0000951 switch (Size) {
952 case 1:
953 *Buf = (uint8_t)Data;
954 break;
955 case 2:
Rui Ueyamaf93ed4d2017-03-21 21:40:08 +0000956 write16(Buf, Data, Config->Endianness);
George Rimare38cbab2016-09-26 19:22:50 +0000957 break;
958 case 4:
Rui Ueyamaf93ed4d2017-03-21 21:40:08 +0000959 write32(Buf, Data, Config->Endianness);
George Rimare38cbab2016-09-26 19:22:50 +0000960 break;
961 case 8:
Rui Ueyamaf93ed4d2017-03-21 21:40:08 +0000962 write64(Buf, Data, Config->Endianness);
George Rimare38cbab2016-09-26 19:22:50 +0000963 break;
964 default:
965 llvm_unreachable("unsupported Size argument");
966 }
967}
968
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000969void LinkerScript::writeDataBytes(StringRef Name, uint8_t *Buf) {
George Rimare38cbab2016-09-26 19:22:50 +0000970 int I = getSectionIndex(Name);
971 if (I == INT_MAX)
972 return;
973
Rui Ueyama6e68c5e2016-11-19 18:05:58 +0000974 auto *Cmd = dyn_cast<OutputSectionCommand>(Opt.Commands[I].get());
975 for (const std::unique_ptr<BaseCommand> &Base : Cmd->Commands)
976 if (auto *Data = dyn_cast<BytesDataCommand>(Base.get()))
George Rimara8dba482017-03-20 10:09:58 +0000977 writeInt(Buf + Data->Offset, Data->Expression().getValue(), Data->Size);
George Rimare38cbab2016-09-26 19:22:50 +0000978}
979
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000980bool LinkerScript::hasLMA(StringRef Name) {
George Rimar8ceadb32016-08-17 07:44:19 +0000981 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands)
982 if (auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get()))
Eugene Leviantb71d6f72016-10-06 09:39:28 +0000983 if (Cmd->LMAExpr && Cmd->Name == Name)
984 return true;
985 return false;
George Rimar8ceadb32016-08-17 07:44:19 +0000986}
987
Rui Ueyamac3e2a4b2016-04-21 20:30:00 +0000988// Returns the index of the given section name in linker script
989// SECTIONS commands. Sections are laid out as the same order as they
990// were in the script. If a given name did not appear in the script,
991// it returns INT_MAX, so that it will be laid out at end of file.
Rui Ueyamab8dd23f2017-03-21 23:02:51 +0000992int LinkerScript::getSectionIndex(StringRef Name) {
Rui Ueyama6e68c5e2016-11-19 18:05:58 +0000993 for (int I = 0, E = Opt.Commands.size(); I != E; ++I)
994 if (auto *Cmd = dyn_cast<OutputSectionCommand>(Opt.Commands[I].get()))
Rui Ueyamaf510fa62016-07-26 00:21:15 +0000995 if (Cmd->Name == Name)
996 return I;
Rui Ueyamaf510fa62016-07-26 00:21:15 +0000997 return INT_MAX;
George Rimar71b26e92016-04-21 10:22:02 +0000998}
999
Rui Ueyamab8dd23f2017-03-21 23:02:51 +00001000ExprValue LinkerScript::getSymbolValue(const Twine &Loc, StringRef S) {
Rafael Espindola4595df92017-03-10 16:04:26 +00001001 if (S == ".")
Rafael Espindola72dc1952017-03-17 13:05:04 +00001002 return {CurOutSec, Dot - CurOutSec->Addr};
George Rimara8dba482017-03-20 10:09:58 +00001003 if (SymbolBody *B = findSymbol(S)) {
Rafael Espindola72dc1952017-03-17 13:05:04 +00001004 if (auto *D = dyn_cast<DefinedRegular>(B))
1005 return {D->Section, D->Value};
Petr Hosek30f16b22017-03-23 03:52:34 +00001006 if (auto *C = dyn_cast<DefinedCommon>(B))
1007 return {InX::Common, C->Offset};
Rafael Espindola72dc1952017-03-17 13:05:04 +00001008 }
Eugene Leviantf6aeed32016-12-22 13:13:12 +00001009 error(Loc + ": symbol not found: " + S);
George Rimar884e7862016-09-08 08:19:13 +00001010 return 0;
1011}
1012
Rui Ueyamab8dd23f2017-03-21 23:02:51 +00001013bool LinkerScript::isDefined(StringRef S) { return findSymbol(S) != nullptr; }
George Rimarf34f45f2016-09-23 13:17:23 +00001014
Eugene Leviantbbe38602016-07-19 09:25:43 +00001015// Returns indices of ELF headers containing specific section, identified
1016// by Name. Each index is a zero based number of ELF header listed within
1017// PHDRS {} script block.
Rui Ueyamab8dd23f2017-03-21 23:02:51 +00001018std::vector<size_t> LinkerScript::getPhdrIndices(StringRef SectionName) {
George Rimar076fe152016-07-21 06:43:01 +00001019 for (const std::unique_ptr<BaseCommand> &Base : Opt.Commands) {
1020 auto *Cmd = dyn_cast<OutputSectionCommand>(Base.get());
Rui Ueyamaedebbdf2016-07-24 23:47:31 +00001021 if (!Cmd || Cmd->Name != SectionName)
George Rimar31d842f2016-07-20 16:43:03 +00001022 continue;
1023
Rui Ueyama29c5a2a2016-07-26 00:27:36 +00001024 std::vector<size_t> Ret;
1025 for (StringRef PhdrName : Cmd->Phdrs)
Eugene Leviant2a942c42016-12-05 16:38:32 +00001026 Ret.push_back(getPhdrIndex(Cmd->Location, PhdrName));
Rui Ueyama29c5a2a2016-07-26 00:27:36 +00001027 return Ret;
Eugene Leviantbbe38602016-07-19 09:25:43 +00001028 }
George Rimar31d842f2016-07-20 16:43:03 +00001029 return {};
Eugene Leviantbbe38602016-07-19 09:25:43 +00001030}
1031
Rui Ueyamab8dd23f2017-03-21 23:02:51 +00001032size_t LinkerScript::getPhdrIndex(const Twine &Loc, StringRef PhdrName) {
Rui Ueyama29c5a2a2016-07-26 00:27:36 +00001033 size_t I = 0;
1034 for (PhdrsCommand &Cmd : Opt.PhdrsCommands) {
1035 if (Cmd.Name == PhdrName)
1036 return I;
1037 ++I;
1038 }
Eugene Leviant2a942c42016-12-05 16:38:32 +00001039 error(Loc + ": section header '" + PhdrName + "' is not listed in PHDRS");
Rui Ueyama29c5a2a2016-07-26 00:27:36 +00001040 return 0;
1041}
1042
Rui Ueyama794366a2017-02-14 04:47:05 +00001043class elf::ScriptParser final : public ScriptLexer {
George Rimarc3794e52016-02-24 09:21:47 +00001044 typedef void (ScriptParser::*Handler)();
1045
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001046public:
Rui Ueyama22375f22016-11-25 18:51:54 +00001047 ScriptParser(MemoryBufferRef MB)
Rui Ueyama794366a2017-02-14 04:47:05 +00001048 : ScriptLexer(MB),
Rui Ueyama22375f22016-11-25 18:51:54 +00001049 IsUnderSysroot(isUnderSysroot(MB.getBufferIdentifier())) {}
George Rimarf23b2322016-02-19 10:45:45 +00001050
George Rimar20b65982016-08-31 09:08:26 +00001051 void readLinkerScript();
1052 void readVersionScript();
Rafael Espindolad0ebd842016-12-08 17:54:26 +00001053 void readDynamicList();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001054
1055private:
Rui Ueyama52a15092015-10-11 03:28:42 +00001056 void addFile(StringRef Path);
1057
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001058 void readAsNeeded();
Denis Protivensky90c50992015-10-08 06:48:38 +00001059 void readEntry();
George Rimar83f406c2015-10-19 17:35:12 +00001060 void readExtern();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001061 void readGroup();
Rui Ueyama31aa1f82015-10-11 01:31:55 +00001062 void readInclude();
Meador Ingeb8897442017-01-24 02:34:00 +00001063 void readMemory();
Rui Ueyamaee592822015-10-07 00:25:09 +00001064 void readOutput();
Davide Italiano9159ce92015-10-12 21:50:08 +00001065 void readOutputArch();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001066 void readOutputFormat();
Eugene Leviantbbe38602016-07-19 09:25:43 +00001067 void readPhdrs();
Davide Italiano68a39a62015-10-08 17:51:41 +00001068 void readSearchDir();
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001069 void readSections();
Rui Ueyama95769b42016-08-31 20:03:54 +00001070 void readVersion();
1071 void readVersionScriptCommand();
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001072
Rui Ueyama113cdec2016-07-24 23:05:57 +00001073 SymbolAssignment *readAssignment(StringRef Name);
George Rimare38cbab2016-09-26 19:22:50 +00001074 BytesDataCommand *readBytesDataCommand(StringRef Tok);
Rui Ueyama16068ae2016-11-19 18:05:56 +00001075 uint32_t readFill();
Rui Ueyama10416562016-08-04 02:03:27 +00001076 OutputSectionCommand *readOutputSectionDescription(StringRef OutSec);
Rui Ueyama16068ae2016-11-19 18:05:56 +00001077 uint32_t readOutputSectionFiller(StringRef Tok);
Eugene Leviantbbe38602016-07-19 09:25:43 +00001078 std::vector<StringRef> readOutputSectionPhdrs();
George Rimara2496cb2016-08-30 09:46:59 +00001079 InputSectionDescription *readInputSectionDescription(StringRef Tok);
Eugene Leviantdb688452016-11-03 10:54:58 +00001080 StringMatcher readFilePatterns();
George Rimar07171f22016-09-21 15:56:44 +00001081 std::vector<SectionPattern> readInputSectionsList();
George Rimara2496cb2016-08-30 09:46:59 +00001082 InputSectionDescription *readInputSectionRules(StringRef FilePattern);
Eugene Leviantbbe38602016-07-19 09:25:43 +00001083 unsigned readPhdrType();
George Rimarbe394db2016-09-16 20:21:55 +00001084 SortSectionPolicy readSortKind();
Petr Hoseka35e39c2016-08-16 01:11:16 +00001085 SymbolAssignment *readProvideHidden(bool Provide, bool Hidden);
Rafael Espindolac96da112016-11-01 11:30:45 +00001086 SymbolAssignment *readProvideOrAssignment(StringRef Tok);
George Rimar03fc0102016-07-28 07:18:23 +00001087 void readSort();
George Rimareefa7582016-08-04 09:29:31 +00001088 Expr readAssert();
Rui Ueyama708019c2016-07-24 18:19:40 +00001089
Rui Ueyama24e626c2017-01-26 02:58:19 +00001090 uint64_t readMemoryAssignment(StringRef, StringRef, StringRef);
1091 std::pair<uint32_t, uint32_t> readMemoryAttributes();
1092
Rui Ueyama708019c2016-07-24 18:19:40 +00001093 Expr readExpr();
1094 Expr readExpr1(Expr Lhs, int MinPrec);
Eugene Leviantb71d6f72016-10-06 09:39:28 +00001095 StringRef readParenLiteral();
Rui Ueyama708019c2016-07-24 18:19:40 +00001096 Expr readPrimary();
1097 Expr readTernary(Expr Cond);
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001098 Expr readParenExpr();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001099
George Rimar20b65982016-08-31 09:08:26 +00001100 // For parsing version script.
Rui Ueyama12450b22016-11-18 06:30:09 +00001101 std::vector<SymbolVersion> readVersionExtern();
1102 void readAnonymousDeclaration();
Rui Ueyama95769b42016-08-31 20:03:54 +00001103 void readVersionDeclaration(StringRef VerStr);
Rui Ueyamaf5fce482017-03-09 19:23:00 +00001104
1105 std::pair<std::vector<SymbolVersion>, std::vector<SymbolVersion>>
1106 readSymbols();
George Rimar20b65982016-08-31 09:08:26 +00001107
Simon Atanasyan16b0cc92015-11-26 05:53:00 +00001108 bool IsUnderSysroot;
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001109};
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001110
Rafael Espindolad0ebd842016-12-08 17:54:26 +00001111void ScriptParser::readDynamicList() {
1112 expect("{");
1113 readAnonymousDeclaration();
1114 if (!atEOF())
1115 setError("EOF expected, but got " + next());
1116}
1117
George Rimar20b65982016-08-31 09:08:26 +00001118void ScriptParser::readVersionScript() {
Rui Ueyama95769b42016-08-31 20:03:54 +00001119 readVersionScriptCommand();
1120 if (!atEOF())
1121 setError("EOF expected, but got " + next());
1122}
1123
1124void ScriptParser::readVersionScriptCommand() {
Rui Ueyama83043f22016-10-17 16:01:53 +00001125 if (consume("{")) {
Rui Ueyama12450b22016-11-18 06:30:09 +00001126 readAnonymousDeclaration();
George Rimar20b65982016-08-31 09:08:26 +00001127 return;
1128 }
1129
Rui Ueyama95769b42016-08-31 20:03:54 +00001130 while (!atEOF() && !Error && peek() != "}") {
George Rimar20b65982016-08-31 09:08:26 +00001131 StringRef VerStr = next();
1132 if (VerStr == "{") {
Rui Ueyama95769b42016-08-31 20:03:54 +00001133 setError("anonymous version definition is used in "
1134 "combination with other version definitions");
George Rimar20b65982016-08-31 09:08:26 +00001135 return;
1136 }
1137 expect("{");
Rui Ueyama95769b42016-08-31 20:03:54 +00001138 readVersionDeclaration(VerStr);
George Rimar20b65982016-08-31 09:08:26 +00001139 }
1140}
1141
Rui Ueyama95769b42016-08-31 20:03:54 +00001142void ScriptParser::readVersion() {
1143 expect("{");
1144 readVersionScriptCommand();
1145 expect("}");
1146}
1147
George Rimar20b65982016-08-31 09:08:26 +00001148void ScriptParser::readLinkerScript() {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001149 while (!atEOF()) {
1150 StringRef Tok = next();
Rui Ueyamaa27eecc2016-09-02 18:52:41 +00001151 if (Tok == ";")
1152 continue;
1153
Eugene Leviant20d03192016-09-16 15:30:47 +00001154 if (Tok == "ASSERT") {
Rui Ueyamaa34da932017-03-21 23:03:09 +00001155 Script->Opt.Commands.emplace_back(new AssertCommand(readAssert()));
Eugene Leviant20d03192016-09-16 15:30:47 +00001156 } else if (Tok == "ENTRY") {
Rui Ueyamaa27eecc2016-09-02 18:52:41 +00001157 readEntry();
1158 } else if (Tok == "EXTERN") {
1159 readExtern();
1160 } else if (Tok == "GROUP" || Tok == "INPUT") {
1161 readGroup();
1162 } else if (Tok == "INCLUDE") {
1163 readInclude();
Meador Ingeb8897442017-01-24 02:34:00 +00001164 } else if (Tok == "MEMORY") {
1165 readMemory();
Rui Ueyamaa27eecc2016-09-02 18:52:41 +00001166 } else if (Tok == "OUTPUT") {
1167 readOutput();
1168 } else if (Tok == "OUTPUT_ARCH") {
1169 readOutputArch();
1170 } else if (Tok == "OUTPUT_FORMAT") {
1171 readOutputFormat();
1172 } else if (Tok == "PHDRS") {
1173 readPhdrs();
1174 } else if (Tok == "SEARCH_DIR") {
1175 readSearchDir();
1176 } else if (Tok == "SECTIONS") {
1177 readSections();
1178 } else if (Tok == "VERSION") {
1179 readVersion();
Rafael Espindolac96da112016-11-01 11:30:45 +00001180 } else if (SymbolAssignment *Cmd = readProvideOrAssignment(Tok)) {
Rui Ueyamaa34da932017-03-21 23:03:09 +00001181 Script->Opt.Commands.emplace_back(Cmd);
Petr Hoseke5d3ca52016-08-31 15:31:17 +00001182 } else {
George Rimar57610422016-03-11 14:43:02 +00001183 setError("unknown directive: " + Tok);
Petr Hoseke5d3ca52016-08-31 15:31:17 +00001184 }
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001185 }
1186}
1187
Rui Ueyama717677a2016-02-11 21:17:59 +00001188void ScriptParser::addFile(StringRef S) {
Simon Atanasyan16b0cc92015-11-26 05:53:00 +00001189 if (IsUnderSysroot && S.startswith("/")) {
Justin Bogner5af16872016-10-17 06:08:48 +00001190 SmallString<128> PathData;
1191 StringRef Path = (Config->Sysroot + S).toStringRef(PathData);
Simon Atanasyan16b0cc92015-11-26 05:53:00 +00001192 if (sys::fs::exists(Path)) {
Justin Bogner5af16872016-10-17 06:08:48 +00001193 Driver->addFile(Saver.save(Path));
Simon Atanasyan16b0cc92015-11-26 05:53:00 +00001194 return;
1195 }
1196 }
1197
Rui Ueyamaf03f3cc2015-10-13 00:09:21 +00001198 if (sys::path::is_absolute(S)) {
Rui Ueyama52a15092015-10-11 03:28:42 +00001199 Driver->addFile(S);
1200 } else if (S.startswith("=")) {
1201 if (Config->Sysroot.empty())
1202 Driver->addFile(S.substr(1));
1203 else
1204 Driver->addFile(Saver.save(Config->Sysroot + "/" + S.substr(1)));
1205 } else if (S.startswith("-l")) {
Rui Ueyama21eecb42016-02-02 21:13:09 +00001206 Driver->addLibrary(S.substr(2));
Simon Atanasyana1b8fc32015-11-26 20:23:46 +00001207 } else if (sys::fs::exists(S)) {
1208 Driver->addFile(S);
Rui Ueyama52a15092015-10-11 03:28:42 +00001209 } else {
Rui Ueyama061f9282016-11-19 19:23:58 +00001210 if (Optional<std::string> Path = findFromSearchPaths(S))
1211 Driver->addFile(Saver.save(*Path));
Rui Ueyama025d59b2016-02-02 20:27:59 +00001212 else
Rui Ueyama061f9282016-11-19 19:23:58 +00001213 setError("unable to find " + S);
Rui Ueyama52a15092015-10-11 03:28:42 +00001214 }
1215}
1216
Rui Ueyama717677a2016-02-11 21:17:59 +00001217void ScriptParser::readAsNeeded() {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001218 expect("(");
Rui Ueyama35da9b62015-10-11 20:59:12 +00001219 bool Orig = Config->AsNeeded;
1220 Config->AsNeeded = true;
Rui Ueyama83043f22016-10-17 16:01:53 +00001221 while (!Error && !consume(")"))
George Rimarcd574a52016-09-09 14:35:36 +00001222 addFile(unquote(next()));
Rui Ueyama35da9b62015-10-11 20:59:12 +00001223 Config->AsNeeded = Orig;
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001224}
1225
Rui Ueyama717677a2016-02-11 21:17:59 +00001226void ScriptParser::readEntry() {
Denis Protivensky90c50992015-10-08 06:48:38 +00001227 // -e <symbol> takes predecence over ENTRY(<symbol>).
1228 expect("(");
1229 StringRef Tok = next();
1230 if (Config->Entry.empty())
1231 Config->Entry = Tok;
1232 expect(")");
1233}
1234
Rui Ueyama717677a2016-02-11 21:17:59 +00001235void ScriptParser::readExtern() {
George Rimar83f406c2015-10-19 17:35:12 +00001236 expect("(");
Rui Ueyama83043f22016-10-17 16:01:53 +00001237 while (!Error && !consume(")"))
Rui Ueyamaa2acc932016-08-05 01:25:45 +00001238 Config->Undefined.push_back(next());
George Rimar83f406c2015-10-19 17:35:12 +00001239}
1240
Rui Ueyama717677a2016-02-11 21:17:59 +00001241void ScriptParser::readGroup() {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001242 expect("(");
Rui Ueyama83043f22016-10-17 16:01:53 +00001243 while (!Error && !consume(")")) {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001244 StringRef Tok = next();
Rui Ueyamaa2acc932016-08-05 01:25:45 +00001245 if (Tok == "AS_NEEDED")
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001246 readAsNeeded();
Rui Ueyamaa2acc932016-08-05 01:25:45 +00001247 else
George Rimarcd574a52016-09-09 14:35:36 +00001248 addFile(unquote(Tok));
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001249 }
1250}
1251
Rui Ueyama717677a2016-02-11 21:17:59 +00001252void ScriptParser::readInclude() {
George Rimard4500652016-12-21 09:42:25 +00001253 StringRef Tok = unquote(next());
Rui Ueyamaec1c75e2017-01-09 01:42:02 +00001254
George Rimard4500652016-12-21 09:42:25 +00001255 // https://sourceware.org/binutils/docs/ld/File-Commands.html:
1256 // The file will be searched for in the current directory, and in any
1257 // directory specified with the -L option.
Rui Ueyamaec1c75e2017-01-09 01:42:02 +00001258 if (sys::fs::exists(Tok)) {
1259 if (Optional<MemoryBufferRef> MB = readFile(Tok))
1260 tokenize(*MB);
Rui Ueyama025d59b2016-02-02 20:27:59 +00001261 return;
1262 }
Rui Ueyamaec1c75e2017-01-09 01:42:02 +00001263 if (Optional<std::string> Path = findFromSearchPaths(Tok)) {
1264 if (Optional<MemoryBufferRef> MB = readFile(*Path))
1265 tokenize(*MB);
1266 return;
1267 }
1268 setError("cannot open " + Tok);
Rui Ueyama31aa1f82015-10-11 01:31:55 +00001269}
1270
Rui Ueyama717677a2016-02-11 21:17:59 +00001271void ScriptParser::readOutput() {
Rui Ueyamaee592822015-10-07 00:25:09 +00001272 // -o <file> takes predecence over OUTPUT(<file>).
1273 expect("(");
1274 StringRef Tok = next();
1275 if (Config->OutputFile.empty())
George Rimarcd574a52016-09-09 14:35:36 +00001276 Config->OutputFile = unquote(Tok);
Rui Ueyamaee592822015-10-07 00:25:09 +00001277 expect(")");
1278}
1279
Rui Ueyama717677a2016-02-11 21:17:59 +00001280void ScriptParser::readOutputArch() {
George Rimar4e01c3e2017-02-08 09:59:06 +00001281 // OUTPUT_ARCH is ignored for now.
Davide Italiano9159ce92015-10-12 21:50:08 +00001282 expect("(");
George Rimar4e01c3e2017-02-08 09:59:06 +00001283 while (!Error && !consume(")"))
1284 skip();
Davide Italiano9159ce92015-10-12 21:50:08 +00001285}
1286
Rui Ueyama717677a2016-02-11 21:17:59 +00001287void ScriptParser::readOutputFormat() {
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001288 // Error checking only for now.
1289 expect("(");
Justin Bogner5424e7c2016-10-17 06:21:13 +00001290 skip();
Davide Italiano6836c612015-10-12 21:08:41 +00001291 StringRef Tok = next();
1292 if (Tok == ")")
George Rimar6c55f0e2016-09-08 08:20:30 +00001293 return;
Rui Ueyama025d59b2016-02-02 20:27:59 +00001294 if (Tok != ",") {
George Rimar57610422016-03-11 14:43:02 +00001295 setError("unexpected token: " + Tok);
Rui Ueyama025d59b2016-02-02 20:27:59 +00001296 return;
1297 }
Justin Bogner5424e7c2016-10-17 06:21:13 +00001298 skip();
Davide Italiano6836c612015-10-12 21:08:41 +00001299 expect(",");
Justin Bogner5424e7c2016-10-17 06:21:13 +00001300 skip();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00001301 expect(")");
1302}
1303
Eugene Leviantbbe38602016-07-19 09:25:43 +00001304void ScriptParser::readPhdrs() {
1305 expect("{");
Rui Ueyama83043f22016-10-17 16:01:53 +00001306 while (!Error && !consume("}")) {
Eugene Leviantbbe38602016-07-19 09:25:43 +00001307 StringRef Tok = next();
Rui Ueyamaa34da932017-03-21 23:03:09 +00001308 Script->Opt.PhdrsCommands.push_back(
Eugene Leviant56b21c82016-09-09 09:46:16 +00001309 {Tok, PT_NULL, false, false, UINT_MAX, nullptr});
Rui Ueyamaa34da932017-03-21 23:03:09 +00001310 PhdrsCommand &PhdrCmd = Script->Opt.PhdrsCommands.back();
Eugene Leviantbbe38602016-07-19 09:25:43 +00001311
1312 PhdrCmd.Type = readPhdrType();
1313 do {
1314 Tok = next();
1315 if (Tok == ";")
1316 break;
1317 if (Tok == "FILEHDR")
1318 PhdrCmd.HasFilehdr = true;
1319 else if (Tok == "PHDRS")
1320 PhdrCmd.HasPhdrs = true;
Eugene Leviant56b21c82016-09-09 09:46:16 +00001321 else if (Tok == "AT")
1322 PhdrCmd.LMAExpr = readParenExpr();
Eugene Leviant865bf862016-07-21 10:43:25 +00001323 else if (Tok == "FLAGS") {
1324 expect("(");
Rafael Espindolaeb685cd2016-08-02 22:14:57 +00001325 // Passing 0 for the value of dot is a bit of a hack. It means that
1326 // we accept expressions like ".|1".
Rafael Espindola72dc1952017-03-17 13:05:04 +00001327 PhdrCmd.Flags = readExpr()().getValue();
Eugene Leviant865bf862016-07-21 10:43:25 +00001328 expect(")");
1329 } else
Eugene Leviantbbe38602016-07-19 09:25:43 +00001330 setError("unexpected header attribute: " + Tok);
1331 } while (!Error);
1332 }
1333}
1334
Rui Ueyama717677a2016-02-11 21:17:59 +00001335void ScriptParser::readSearchDir() {
Davide Italiano68a39a62015-10-08 17:51:41 +00001336 expect("(");
Rui Ueyama86c5fb82016-09-08 23:26:54 +00001337 StringRef Tok = next();
Rui Ueyama6c7ad132016-09-02 19:20:33 +00001338 if (!Config->Nostdlib)
George Rimarcd574a52016-09-09 14:35:36 +00001339 Config->SearchPaths.push_back(unquote(Tok));
Davide Italiano68a39a62015-10-08 17:51:41 +00001340 expect(")");
1341}
1342
Rui Ueyama717677a2016-02-11 21:17:59 +00001343void ScriptParser::readSections() {
Rui Ueyamaa34da932017-03-21 23:03:09 +00001344 Script->Opt.HasSections = true;
George Rimar18a30962016-11-28 10:11:10 +00001345 // -no-rosegment is used to avoid placing read only non-executable sections in
1346 // their own segment. We do the same if SECTIONS command is present in linker
1347 // script. See comment for computeFlags().
1348 Config->SingleRoRx = true;
1349
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001350 expect("{");
Rui Ueyama83043f22016-10-17 16:01:53 +00001351 while (!Error && !consume("}")) {
Rui Ueyama113cdec2016-07-24 23:05:57 +00001352 StringRef Tok = next();
Rafael Espindolac96da112016-11-01 11:30:45 +00001353 BaseCommand *Cmd = readProvideOrAssignment(Tok);
Eugene Leviantceabe802016-08-11 07:56:43 +00001354 if (!Cmd) {
1355 if (Tok == "ASSERT")
1356 Cmd = new AssertCommand(readAssert());
1357 else
1358 Cmd = readOutputSectionDescription(Tok);
Rui Ueyama708019c2016-07-24 18:19:40 +00001359 }
Rui Ueyamaa34da932017-03-21 23:03:09 +00001360 Script->Opt.Commands.emplace_back(Cmd);
George Rimar652852c2016-04-16 10:10:32 +00001361 }
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001362}
1363
Rui Ueyama708019c2016-07-24 18:19:40 +00001364static int precedence(StringRef Op) {
1365 return StringSwitch<int>(Op)
Rui Ueyama0120e3f2016-09-23 18:06:51 +00001366 .Cases("*", "/", 5)
1367 .Cases("+", "-", 4)
1368 .Cases("<<", ">>", 3)
Rui Ueyama9c4ac5f2016-09-23 22:22:34 +00001369 .Cases("<", "<=", ">", ">=", "==", "!=", 2)
Rui Ueyama0120e3f2016-09-23 18:06:51 +00001370 .Cases("&", "|", 1)
Rui Ueyama708019c2016-07-24 18:19:40 +00001371 .Default(-1);
1372}
1373
Eugene Leviantdb688452016-11-03 10:54:58 +00001374StringMatcher ScriptParser::readFilePatterns() {
Rui Ueyama10416562016-08-04 02:03:27 +00001375 std::vector<StringRef> V;
Rui Ueyama83043f22016-10-17 16:01:53 +00001376 while (!Error && !consume(")"))
Rui Ueyama10416562016-08-04 02:03:27 +00001377 V.push_back(next());
Rui Ueyamaf91282e2016-11-03 17:57:38 +00001378 return StringMatcher(V);
George Rimar0702c4e2016-07-29 15:32:46 +00001379}
1380
George Rimarbe394db2016-09-16 20:21:55 +00001381SortSectionPolicy ScriptParser::readSortKind() {
Rui Ueyama83043f22016-10-17 16:01:53 +00001382 if (consume("SORT") || consume("SORT_BY_NAME"))
George Rimarbe394db2016-09-16 20:21:55 +00001383 return SortSectionPolicy::Name;
Rui Ueyama83043f22016-10-17 16:01:53 +00001384 if (consume("SORT_BY_ALIGNMENT"))
George Rimarbe394db2016-09-16 20:21:55 +00001385 return SortSectionPolicy::Alignment;
Rui Ueyama83043f22016-10-17 16:01:53 +00001386 if (consume("SORT_BY_INIT_PRIORITY"))
George Rimarbe394db2016-09-16 20:21:55 +00001387 return SortSectionPolicy::Priority;
Rui Ueyama83043f22016-10-17 16:01:53 +00001388 if (consume("SORT_NONE"))
Rui Ueyamab2a0abd2016-09-16 21:14:55 +00001389 return SortSectionPolicy::None;
1390 return SortSectionPolicy::Default;
George Rimarbe394db2016-09-16 20:21:55 +00001391}
1392
George Rimar395281c2016-09-16 17:42:10 +00001393// Method reads a list of sequence of excluded files and section globs given in
1394// a following form: ((EXCLUDE_FILE(file_pattern+))? section_pattern+)+
1395// Example: *(.foo.1 EXCLUDE_FILE (*a.o) .foo.2 EXCLUDE_FILE (*b.o) .foo.3)
George Rimaraf03be12016-09-17 19:17:25 +00001396// The semantics of that is next:
1397// * Include .foo.1 from every file.
1398// * Include .foo.2 from every file but a.o
1399// * Include .foo.3 from every file but b.o
George Rimar07171f22016-09-21 15:56:44 +00001400std::vector<SectionPattern> ScriptParser::readInputSectionsList() {
1401 std::vector<SectionPattern> Ret;
George Rimar601e9892016-09-21 08:53:21 +00001402 while (!Error && peek() != ")") {
Rui Ueyamaf91282e2016-11-03 17:57:38 +00001403 StringMatcher ExcludeFilePat;
Rui Ueyama83043f22016-10-17 16:01:53 +00001404 if (consume("EXCLUDE_FILE")) {
George Rimar395281c2016-09-16 17:42:10 +00001405 expect("(");
Rui Ueyamaf91282e2016-11-03 17:57:38 +00001406 ExcludeFilePat = readFilePatterns();
George Rimar395281c2016-09-16 17:42:10 +00001407 }
1408
George Rimar601e9892016-09-21 08:53:21 +00001409 std::vector<StringRef> V;
1410 while (!Error && peek() != ")" && peek() != "EXCLUDE_FILE")
1411 V.push_back(next());
1412
1413 if (!V.empty())
Rui Ueyamaf91282e2016-11-03 17:57:38 +00001414 Ret.push_back({std::move(ExcludeFilePat), StringMatcher(V)});
George Rimar601e9892016-09-21 08:53:21 +00001415 else
1416 setError("section pattern is expected");
George Rimar395281c2016-09-16 17:42:10 +00001417 }
George Rimar07171f22016-09-21 15:56:44 +00001418 return Ret;
George Rimar395281c2016-09-16 17:42:10 +00001419}
1420
Rui Ueyamaf8f6f1e2016-11-18 07:03:56 +00001421// Reads contents of "SECTIONS" directive. That directive contains a
1422// list of glob patterns for input sections. The grammar is as follows.
1423//
1424// <patterns> ::= <section-list>
1425// | <sort> "(" <section-list> ")"
1426// | <sort> "(" <sort> "(" <section-list> ")" ")"
1427//
1428// <sort> ::= "SORT" | "SORT_BY_NAME" | "SORT_BY_ALIGNMENT"
1429// | "SORT_BY_INIT_PRIORITY" | "SORT_NONE"
1430//
1431// <section-list> is parsed by readInputSectionsList().
George Rimara2496cb2016-08-30 09:46:59 +00001432InputSectionDescription *
1433ScriptParser::readInputSectionRules(StringRef FilePattern) {
George Rimarc91930a2016-09-02 21:17:20 +00001434 auto *Cmd = new InputSectionDescription(FilePattern);
Davide Italiano0ed42b02016-07-25 21:47:13 +00001435 expect("(");
Rui Ueyamaf373dd72016-11-24 01:43:21 +00001436 while (!Error && !consume(")")) {
George Rimar07171f22016-09-21 15:56:44 +00001437 SortSectionPolicy Outer = readSortKind();
1438 SortSectionPolicy Inner = SortSectionPolicy::Default;
1439 std::vector<SectionPattern> V;
1440 if (Outer != SortSectionPolicy::Default) {
George Rimar350ece42016-08-03 08:35:59 +00001441 expect("(");
George Rimar07171f22016-09-21 15:56:44 +00001442 Inner = readSortKind();
1443 if (Inner != SortSectionPolicy::Default) {
1444 expect("(");
1445 V = readInputSectionsList();
1446 expect(")");
1447 } else {
1448 V = readInputSectionsList();
1449 }
George Rimar350ece42016-08-03 08:35:59 +00001450 expect(")");
1451 } else {
George Rimar07171f22016-09-21 15:56:44 +00001452 V = readInputSectionsList();
George Rimar350ece42016-08-03 08:35:59 +00001453 }
George Rimar0702c4e2016-07-29 15:32:46 +00001454
George Rimar07171f22016-09-21 15:56:44 +00001455 for (SectionPattern &Pat : V) {
1456 Pat.SortInner = Inner;
1457 Pat.SortOuter = Outer;
1458 }
1459
1460 std::move(V.begin(), V.end(), std::back_inserter(Cmd->SectionPatterns));
1461 }
Rui Ueyama10416562016-08-04 02:03:27 +00001462 return Cmd;
Davide Italianoe7282792016-07-27 01:44:01 +00001463}
1464
George Rimara2496cb2016-08-30 09:46:59 +00001465InputSectionDescription *
1466ScriptParser::readInputSectionDescription(StringRef Tok) {
George Rimar06598002016-07-28 21:51:30 +00001467 // Input section wildcard can be surrounded by KEEP.
1468 // https://sourceware.org/binutils/docs/ld/Input-Section-Keep.html#Input-Section-Keep
George Rimara2496cb2016-08-30 09:46:59 +00001469 if (Tok == "KEEP") {
George Rimar06598002016-07-28 21:51:30 +00001470 expect("(");
George Rimara2496cb2016-08-30 09:46:59 +00001471 StringRef FilePattern = next();
1472 InputSectionDescription *Cmd = readInputSectionRules(FilePattern);
George Rimar06598002016-07-28 21:51:30 +00001473 expect(")");
Rui Ueyamaa34da932017-03-21 23:03:09 +00001474 Script->Opt.KeptSections.push_back(Cmd);
Rui Ueyama10416562016-08-04 02:03:27 +00001475 return Cmd;
George Rimar06598002016-07-28 21:51:30 +00001476 }
George Rimara2496cb2016-08-30 09:46:59 +00001477 return readInputSectionRules(Tok);
Davide Italiano0ed42b02016-07-25 21:47:13 +00001478}
1479
George Rimar03fc0102016-07-28 07:18:23 +00001480void ScriptParser::readSort() {
1481 expect("(");
1482 expect("CONSTRUCTORS");
1483 expect(")");
1484}
1485
George Rimareefa7582016-08-04 09:29:31 +00001486Expr ScriptParser::readAssert() {
1487 expect("(");
1488 Expr E = readExpr();
1489 expect(",");
George Rimarcd574a52016-09-09 14:35:36 +00001490 StringRef Msg = unquote(next());
George Rimareefa7582016-08-04 09:29:31 +00001491 expect(")");
Rafael Espindola4595df92017-03-10 16:04:26 +00001492 return [=] {
Rafael Espindola72dc1952017-03-17 13:05:04 +00001493 if (!E().getValue())
George Rimareefa7582016-08-04 09:29:31 +00001494 error(Msg);
George Rimara8dba482017-03-20 10:09:58 +00001495 return Script->getDot();
George Rimareefa7582016-08-04 09:29:31 +00001496 };
1497}
1498
Rui Ueyama25150e82016-09-06 17:46:43 +00001499// Reads a FILL(expr) command. We handle the FILL command as an
1500// alias for =fillexp section attribute, which is different from
1501// what GNU linkers do.
1502// https://sourceware.org/binutils/docs/ld/Output-Section-Data.html
Rui Ueyama16068ae2016-11-19 18:05:56 +00001503uint32_t ScriptParser::readFill() {
George Rimarff1f29e2016-09-06 13:51:57 +00001504 expect("(");
Rui Ueyama16068ae2016-11-19 18:05:56 +00001505 uint32_t V = readOutputSectionFiller(next());
George Rimarff1f29e2016-09-06 13:51:57 +00001506 expect(")");
1507 expect(";");
1508 return V;
1509}
1510
Rui Ueyama10416562016-08-04 02:03:27 +00001511OutputSectionCommand *
1512ScriptParser::readOutputSectionDescription(StringRef OutSec) {
George Rimar076fe152016-07-21 06:43:01 +00001513 OutputSectionCommand *Cmd = new OutputSectionCommand(OutSec);
Eugene Leviant2a942c42016-12-05 16:38:32 +00001514 Cmd->Location = getCurrentLocation();
George Rimar58e5c4d2016-07-25 08:29:46 +00001515
1516 // Read an address expression.
1517 // https://sourceware.org/binutils/docs/ld/Output-Section-Address.html#Output-Section-Address
1518 if (peek() != ":")
1519 Cmd->AddrExpr = readExpr();
1520
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001521 expect(":");
Davide Italiano246f6812016-07-22 03:36:24 +00001522
Rui Ueyama83043f22016-10-17 16:01:53 +00001523 if (consume("AT"))
Eugene Leviantb71d6f72016-10-06 09:39:28 +00001524 Cmd->LMAExpr = readParenExpr();
Rui Ueyama83043f22016-10-17 16:01:53 +00001525 if (consume("ALIGN"))
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001526 Cmd->AlignExpr = readParenExpr();
Rui Ueyama83043f22016-10-17 16:01:53 +00001527 if (consume("SUBALIGN"))
George Rimardb24d9c2016-08-19 15:18:23 +00001528 Cmd->SubalignExpr = readParenExpr();
George Rimar630c6172016-07-26 18:06:29 +00001529
Davide Italiano246f6812016-07-22 03:36:24 +00001530 // Parse constraints.
Rui Ueyama83043f22016-10-17 16:01:53 +00001531 if (consume("ONLY_IF_RO"))
Rui Ueyamaefc40662016-07-25 22:00:10 +00001532 Cmd->Constraint = ConstraintKind::ReadOnly;
Rui Ueyama83043f22016-10-17 16:01:53 +00001533 if (consume("ONLY_IF_RW"))
Rui Ueyamaefc40662016-07-25 22:00:10 +00001534 Cmd->Constraint = ConstraintKind::ReadWrite;
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001535 expect("{");
Rui Ueyama8ec77e62016-04-21 22:00:51 +00001536
Rui Ueyama83043f22016-10-17 16:01:53 +00001537 while (!Error && !consume("}")) {
Eugene Leviantceabe802016-08-11 07:56:43 +00001538 StringRef Tok = next();
George Rimar2fe07922017-01-31 08:50:11 +00001539 if (Tok == ";") {
George Rimar69750752017-02-01 09:14:22 +00001540 // Empty commands are allowed. Do nothing here.
George Rimar2fe07922017-01-31 08:50:11 +00001541 } else if (SymbolAssignment *Assignment = readProvideOrAssignment(Tok)) {
Eugene Leviantceabe802016-08-11 07:56:43 +00001542 Cmd->Commands.emplace_back(Assignment);
Meador Ingeb2d99d62016-11-22 18:01:50 +00001543 } else if (BytesDataCommand *Data = readBytesDataCommand(Tok)) {
George Rimare38cbab2016-09-26 19:22:50 +00001544 Cmd->Commands.emplace_back(Data);
Meador Ingeb2d99d62016-11-22 18:01:50 +00001545 } else if (Tok == "ASSERT") {
1546 Cmd->Commands.emplace_back(new AssertCommand(readAssert()));
1547 expect(";");
George Rimar8e2eca22017-01-23 09:36:19 +00001548 } else if (Tok == "CONSTRUCTORS") {
1549 // CONSTRUCTORS is a keyword to make the linker recognize C++ ctors/dtors
1550 // by name. This is for very old file formats such as ECOFF/XCOFF.
1551 // For ELF, we should ignore.
Meador Ingeb2d99d62016-11-22 18:01:50 +00001552 } else if (Tok == "FILL") {
George Rimarff1f29e2016-09-06 13:51:57 +00001553 Cmd->Filler = readFill();
Meador Ingeb2d99d62016-11-22 18:01:50 +00001554 } else if (Tok == "SORT") {
George Rimar03fc0102016-07-28 07:18:23 +00001555 readSort();
Meador Ingeb2d99d62016-11-22 18:01:50 +00001556 } else if (peek() == "(") {
George Rimara2496cb2016-08-30 09:46:59 +00001557 Cmd->Commands.emplace_back(readInputSectionDescription(Tok));
Meador Ingeb2d99d62016-11-22 18:01:50 +00001558 } else {
Eugene Leviantceabe802016-08-11 07:56:43 +00001559 setError("unknown command " + Tok);
Meador Ingeb2d99d62016-11-22 18:01:50 +00001560 }
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001561 }
Meador Ingeb8897442017-01-24 02:34:00 +00001562
1563 if (consume(">"))
1564 Cmd->MemoryRegionName = next();
1565
George Rimar076fe152016-07-21 06:43:01 +00001566 Cmd->Phdrs = readOutputSectionPhdrs();
George Rimar4ebc5622016-09-23 13:29:20 +00001567
Rui Ueyama83043f22016-10-17 16:01:53 +00001568 if (consume("="))
George Rimar4ebc5622016-09-23 13:29:20 +00001569 Cmd->Filler = readOutputSectionFiller(next());
1570 else if (peek().startswith("="))
George Rimarff1f29e2016-09-06 13:51:57 +00001571 Cmd->Filler = readOutputSectionFiller(next().drop_front());
George Rimar4ebc5622016-09-23 13:29:20 +00001572
George Rimar7185a1a2017-01-17 15:32:12 +00001573 // Consume optional comma following output section command.
1574 consume(",");
1575
Rui Ueyama10416562016-08-04 02:03:27 +00001576 return Cmd;
Rui Ueyamaf71caa22016-07-29 06:14:07 +00001577}
Rui Ueyama8ec77e62016-04-21 22:00:51 +00001578
Rui Ueyama2c8f1f02016-08-29 22:01:21 +00001579// Read "=<number>" where <number> is an octal/decimal/hexadecimal number.
1580// https://sourceware.org/binutils/docs/ld/Output-Section-Fill.html
1581//
1582// ld.gold is not fully compatible with ld.bfd. ld.bfd handles
1583// hexstrings as blobs of arbitrary sizes, while ld.gold handles them
1584// as 32-bit big-endian values. We will do the same as ld.gold does
1585// because it's simpler than what ld.bfd does.
Rui Ueyama16068ae2016-11-19 18:05:56 +00001586uint32_t ScriptParser::readOutputSectionFiller(StringRef Tok) {
Rui Ueyama965827d2016-08-03 23:25:15 +00001587 uint32_t V;
Rui Ueyama16068ae2016-11-19 18:05:56 +00001588 if (!Tok.getAsInteger(0, V))
1589 return V;
1590 setError("invalid filler expression: " + Tok);
1591 return 0;
Denis Protivensky8e3b38a2015-11-12 09:52:08 +00001592}
1593
Petr Hoseka35e39c2016-08-16 01:11:16 +00001594SymbolAssignment *ScriptParser::readProvideHidden(bool Provide, bool Hidden) {
Eugene Levianta31c91b2016-07-22 07:38:40 +00001595 expect("(");
Rui Ueyama174e0a12016-07-29 00:29:25 +00001596 SymbolAssignment *Cmd = readAssignment(next());
Petr Hoseka35e39c2016-08-16 01:11:16 +00001597 Cmd->Provide = Provide;
Rui Ueyama174e0a12016-07-29 00:29:25 +00001598 Cmd->Hidden = Hidden;
Eugene Levianta31c91b2016-07-22 07:38:40 +00001599 expect(")");
1600 expect(";");
Rui Ueyama10416562016-08-04 02:03:27 +00001601 return Cmd;
Eugene Levianteda81a12016-07-12 06:39:48 +00001602}
1603
Rafael Espindolac96da112016-11-01 11:30:45 +00001604SymbolAssignment *ScriptParser::readProvideOrAssignment(StringRef Tok) {
Eugene Leviantceabe802016-08-11 07:56:43 +00001605 SymbolAssignment *Cmd = nullptr;
1606 if (peek() == "=" || peek() == "+=") {
1607 Cmd = readAssignment(Tok);
1608 expect(";");
1609 } else if (Tok == "PROVIDE") {
Petr Hoseka35e39c2016-08-16 01:11:16 +00001610 Cmd = readProvideHidden(true, false);
1611 } else if (Tok == "HIDDEN") {
1612 Cmd = readProvideHidden(false, true);
Eugene Leviantceabe802016-08-11 07:56:43 +00001613 } else if (Tok == "PROVIDE_HIDDEN") {
Petr Hoseka35e39c2016-08-16 01:11:16 +00001614 Cmd = readProvideHidden(true, true);
Eugene Leviantceabe802016-08-11 07:56:43 +00001615 }
1616 return Cmd;
1617}
1618
George Rimar30835ea2016-07-28 21:08:56 +00001619SymbolAssignment *ScriptParser::readAssignment(StringRef Name) {
1620 StringRef Op = next();
1621 assert(Op == "=" || Op == "+=");
Petr Hosek02ad5162017-03-15 03:33:23 +00001622 Expr E = readExpr();
Eugene Leviantf6aeed32016-12-22 13:13:12 +00001623 if (Op == "+=") {
1624 std::string Loc = getCurrentLocation();
George Rimara8dba482017-03-20 10:09:58 +00001625 E = [=] { return add(Script->getSymbolValue(Loc, Name), E()); };
Eugene Leviantf6aeed32016-12-22 13:13:12 +00001626 }
George Rimar2ee2d2d2017-02-21 14:50:38 +00001627 return new SymbolAssignment(Name, E, getCurrentLocation());
George Rimar30835ea2016-07-28 21:08:56 +00001628}
1629
1630// This is an operator-precedence parser to parse a linker
1631// script expression.
Rui Ueyama731a66a2017-02-15 19:58:17 +00001632Expr ScriptParser::readExpr() {
1633 // Our lexer is context-aware. Set the in-expression bit so that
1634 // they apply different tokenization rules.
1635 bool Orig = InExpr;
1636 InExpr = true;
1637 Expr E = readExpr1(readPrimary(), 0);
1638 InExpr = Orig;
1639 return E;
1640}
George Rimar30835ea2016-07-28 21:08:56 +00001641
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001642static Expr combine(StringRef Op, Expr L, Expr R) {
1643 if (Op == "*")
Rafael Espindola72dc1952017-03-17 13:05:04 +00001644 return [=] { return mul(L(), R()); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001645 if (Op == "/") {
Rafael Espindola72dc1952017-03-17 13:05:04 +00001646 return [=] { return div(L(), R()); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001647 }
1648 if (Op == "+")
Rafael Espindola72dc1952017-03-17 13:05:04 +00001649 return [=] { return add(L(), R()); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001650 if (Op == "-")
Rafael Espindola72dc1952017-03-17 13:05:04 +00001651 return [=] { return sub(L(), R()); };
George Rimarc8ccd1f2016-09-23 13:13:55 +00001652 if (Op == "<<")
Rafael Espindola72dc1952017-03-17 13:05:04 +00001653 return [=] { return leftShift(L(), R()); };
George Rimarc8ccd1f2016-09-23 13:13:55 +00001654 if (Op == ">>")
Rafael Espindola72dc1952017-03-17 13:05:04 +00001655 return [=] { return rightShift(L(), R()); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001656 if (Op == "<")
Rafael Espindola195f23c2017-03-20 14:35:41 +00001657 return [=] { return L().getValue() < R().getValue(); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001658 if (Op == ">")
Rafael Espindola195f23c2017-03-20 14:35:41 +00001659 return [=] { return L().getValue() > R().getValue(); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001660 if (Op == ">=")
Rafael Espindola195f23c2017-03-20 14:35:41 +00001661 return [=] { return L().getValue() >= R().getValue(); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001662 if (Op == "<=")
Rafael Espindola195f23c2017-03-20 14:35:41 +00001663 return [=] { return L().getValue() <= R().getValue(); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001664 if (Op == "==")
Rafael Espindola195f23c2017-03-20 14:35:41 +00001665 return [=] { return L().getValue() == R().getValue(); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001666 if (Op == "!=")
Rafael Espindola195f23c2017-03-20 14:35:41 +00001667 return [=] { return L().getValue() != R().getValue(); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001668 if (Op == "&")
Rafael Espindola72dc1952017-03-17 13:05:04 +00001669 return [=] { return bitAnd(L(), R()); };
Rafael Espindolacc3dd622016-08-22 21:33:35 +00001670 if (Op == "|")
Rafael Espindola72dc1952017-03-17 13:05:04 +00001671 return [=] { return bitOr(L(), R()); };
Rui Ueyama36c1cd22016-08-05 01:04:59 +00001672 llvm_unreachable("invalid operator");
1673}
1674
Rui Ueyama708019c2016-07-24 18:19:40 +00001675// This is a part of the operator-precedence parser. This function
1676// assumes that the remaining token stream starts with an operator.
1677Expr ScriptParser::readExpr1(Expr Lhs, int MinPrec) {
1678 while (!atEOF() && !Error) {
1679 // Read an operator and an expression.
Rui Ueyama46247b82016-11-18 06:49:07 +00001680 if (consume("?"))
Rui Ueyama708019c2016-07-24 18:19:40 +00001681 return readTernary(Lhs);
Rui Ueyama46247b82016-11-18 06:49:07 +00001682 StringRef Op1 = peek();
Rui Ueyama708019c2016-07-24 18:19:40 +00001683 if (precedence(Op1) < MinPrec)
Eugene Levianteda81a12016-07-12 06:39:48 +00001684 break;
Justin Bogner5424e7c2016-10-17 06:21:13 +00001685 skip();
Rui Ueyama708019c2016-07-24 18:19:40 +00001686 Expr Rhs = readPrimary();
1687
1688 // Evaluate the remaining part of the expression first if the
1689 // next operator has greater precedence than the previous one.
1690 // For example, if we have read "+" and "3", and if the next
1691 // operator is "*", then we'll evaluate 3 * ... part first.
1692 while (!atEOF()) {
1693 StringRef Op2 = peek();
1694 if (precedence(Op2) <= precedence(Op1))
1695 break;
1696 Rhs = readExpr1(Rhs, precedence(Op2));
1697 }
1698
1699 Lhs = combine(Op1, Lhs, Rhs);
Eugene Levianteda81a12016-07-12 06:39:48 +00001700 }
Rui Ueyama708019c2016-07-24 18:19:40 +00001701 return Lhs;
1702}
1703
1704uint64_t static getConstant(StringRef S) {
Michael J. Spencere2cc07b2016-08-17 02:10:51 +00001705 if (S == "COMMONPAGESIZE")
Rui Ueyama708019c2016-07-24 18:19:40 +00001706 return Target->PageSize;
Michael J. Spencere2cc07b2016-08-17 02:10:51 +00001707 if (S == "MAXPAGESIZE")
Petr Hosek997f8832016-09-28 15:20:47 +00001708 return Config->MaxPageSize;
Rui Ueyama708019c2016-07-24 18:19:40 +00001709 error("unknown constant: " + S);
1710 return 0;
1711}
1712
Rui Ueyama626e0b02016-09-02 18:19:00 +00001713// Parses Tok as an integer. Returns true if successful.
1714// It recognizes hexadecimal (prefixed with "0x" or suffixed with "H")
1715// and decimal numbers. Decimal numbers may have "K" (kilo) or
1716// "M" (mega) prefixes.
George Rimar9f2f7ad2016-09-02 16:01:42 +00001717static bool readInteger(StringRef Tok, uint64_t &Result) {
Rui Ueyama46247b82016-11-18 06:49:07 +00001718 // Negative number
Simon Atanasyaneaeafb22016-09-02 21:54:35 +00001719 if (Tok.startswith("-")) {
1720 if (!readInteger(Tok.substr(1), Result))
1721 return false;
1722 Result = -Result;
1723 return true;
1724 }
Rui Ueyama46247b82016-11-18 06:49:07 +00001725
1726 // Hexadecimal
George Rimar9f2f7ad2016-09-02 16:01:42 +00001727 if (Tok.startswith_lower("0x"))
1728 return !Tok.substr(2).getAsInteger(16, Result);
1729 if (Tok.endswith_lower("H"))
1730 return !Tok.drop_back().getAsInteger(16, Result);
1731
Rui Ueyama46247b82016-11-18 06:49:07 +00001732 // Decimal
George Rimar9f2f7ad2016-09-02 16:01:42 +00001733 int Suffix = 1;
1734 if (Tok.endswith_lower("K")) {
1735 Suffix = 1024;
1736 Tok = Tok.drop_back();
1737 } else if (Tok.endswith_lower("M")) {
1738 Suffix = 1024 * 1024;
1739 Tok = Tok.drop_back();
1740 }
1741 if (Tok.getAsInteger(10, Result))
1742 return false;
1743 Result *= Suffix;
1744 return true;
1745}
1746
George Rimare38cbab2016-09-26 19:22:50 +00001747BytesDataCommand *ScriptParser::readBytesDataCommand(StringRef Tok) {
1748 int Size = StringSwitch<unsigned>(Tok)
1749 .Case("BYTE", 1)
1750 .Case("SHORT", 2)
1751 .Case("LONG", 4)
1752 .Case("QUAD", 8)
1753 .Default(-1);
1754 if (Size == -1)
1755 return nullptr;
1756
Meador Inge95c7d8d2016-12-08 23:21:30 +00001757 return new BytesDataCommand(readParenExpr(), Size);
George Rimare38cbab2016-09-26 19:22:50 +00001758}
1759
Eugene Leviantb71d6f72016-10-06 09:39:28 +00001760StringRef ScriptParser::readParenLiteral() {
1761 expect("(");
1762 StringRef Tok = next();
1763 expect(")");
1764 return Tok;
1765}
1766
Rui Ueyama708019c2016-07-24 18:19:40 +00001767Expr ScriptParser::readPrimary() {
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001768 if (peek() == "(")
1769 return readParenExpr();
Rui Ueyama708019c2016-07-24 18:19:40 +00001770
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001771 StringRef Tok = next();
Rui Ueyamab5f1c3e2016-12-01 04:36:49 +00001772 std::string Location = getCurrentLocation();
Rui Ueyama708019c2016-07-24 18:19:40 +00001773
Simon Atanasyaneaeafb22016-09-02 21:54:35 +00001774 if (Tok == "~") {
1775 Expr E = readPrimary();
Rafael Espindola72dc1952017-03-17 13:05:04 +00001776 return [=] { return bitNot(E()); };
Simon Atanasyaneaeafb22016-09-02 21:54:35 +00001777 }
1778 if (Tok == "-") {
1779 Expr E = readPrimary();
Rafael Espindola72dc1952017-03-17 13:05:04 +00001780 return [=] { return minus(E()); };
Simon Atanasyaneaeafb22016-09-02 21:54:35 +00001781 }
1782
Rui Ueyama708019c2016-07-24 18:19:40 +00001783 // Built-in functions are parsed here.
1784 // https://sourceware.org/binutils/docs/ld/Builtin-Functions.html.
Petr Hosek02ad5162017-03-15 03:33:23 +00001785 if (Tok == "ABSOLUTE") {
Rafael Espindola72dc1952017-03-17 13:05:04 +00001786 Expr Inner = readParenExpr();
1787 return [=] {
1788 ExprValue I = Inner();
1789 I.ForceAbsolute = true;
1790 return I;
1791 };
Petr Hosek02ad5162017-03-15 03:33:23 +00001792 }
George Rimar96659df2016-08-30 09:54:01 +00001793 if (Tok == "ADDR") {
Eugene Leviantb71d6f72016-10-06 09:39:28 +00001794 StringRef Name = readParenLiteral();
Rafael Espindola72dc1952017-03-17 13:05:04 +00001795 return [=]() -> ExprValue {
George Rimara8dba482017-03-20 10:09:58 +00001796 return {Script->getOutputSection(Location, Name), 0};
Rafael Espindola72dc1952017-03-17 13:05:04 +00001797 };
George Rimar96659df2016-08-30 09:54:01 +00001798 }
Rui Ueyama708019c2016-07-24 18:19:40 +00001799 if (Tok == "ALIGN") {
Rui Ueyama5d804dc2016-12-16 18:19:35 +00001800 expect("(");
1801 Expr E = readExpr();
1802 if (consume(",")) {
1803 Expr E2 = readExpr();
1804 expect(")");
Rafael Espindola72dc1952017-03-17 13:05:04 +00001805 return [=] { return alignTo(E().getValue(), E2().getValue()); };
Rui Ueyama5d804dc2016-12-16 18:19:35 +00001806 }
1807 expect(")");
George Rimara8dba482017-03-20 10:09:58 +00001808 return [=] { return alignTo(Script->getDot(), E().getValue()); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001809 }
Rui Ueyamafc161732017-03-21 21:49:16 +00001810 if (Tok == "ALIGNOF") {
1811 StringRef Name = readParenLiteral();
1812 return [=] { return Script->getOutputSection(Location, Name)->Alignment; };
1813 }
1814 if (Tok == "ASSERT")
1815 return readAssert();
Rui Ueyama708019c2016-07-24 18:19:40 +00001816 if (Tok == "CONSTANT") {
Eugene Leviantb71d6f72016-10-06 09:39:28 +00001817 StringRef Name = readParenLiteral();
Rafael Espindola4595df92017-03-10 16:04:26 +00001818 return [=] { return getConstant(Name); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001819 }
1820 if (Tok == "DATA_SEGMENT_ALIGN") {
1821 expect("(");
1822 Expr E = readExpr();
1823 expect(",");
1824 readExpr();
1825 expect(")");
George Rimara8dba482017-03-20 10:09:58 +00001826 return [=] { return alignTo(Script->getDot(), E().getValue()); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001827 }
1828 if (Tok == "DATA_SEGMENT_END") {
1829 expect("(");
1830 expect(".");
1831 expect(")");
George Rimara8dba482017-03-20 10:09:58 +00001832 return [] { return Script->getDot(); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001833 }
George Rimar276b4e62016-07-26 17:58:44 +00001834 if (Tok == "DATA_SEGMENT_RELRO_END") {
Rui Ueyamafc161732017-03-21 21:49:16 +00001835 // GNU linkers implements more complicated logic to handle
1836 // DATA_SEGMENT_RELRO_END. We instead ignore the arguments and
1837 // just align to the next page boundary for simplicity.
George Rimar276b4e62016-07-26 17:58:44 +00001838 expect("(");
Rafael Espindola97bdc722016-09-14 19:14:01 +00001839 readExpr();
George Rimar276b4e62016-07-26 17:58:44 +00001840 expect(",");
1841 readExpr();
1842 expect(")");
George Rimara8dba482017-03-20 10:09:58 +00001843 return [] { return alignTo(Script->getDot(), Target->PageSize); };
George Rimar276b4e62016-07-26 17:58:44 +00001844 }
Rui Ueyamafc161732017-03-21 21:49:16 +00001845 if (Tok == "DEFINED") {
1846 StringRef Name = readParenLiteral();
1847 return [=] { return Script->isDefined(Name) ? 1 : 0; };
1848 }
1849 if (Tok == "LOADADDR") {
1850 StringRef Name = readParenLiteral();
1851 return [=] { return Script->getOutputSection(Location, Name)->getLMA(); };
1852 }
1853 if (Tok == "SEGMENT_START") {
1854 expect("(");
1855 skip();
1856 expect(",");
1857 Expr E = readExpr();
1858 expect(")");
1859 return [=] { return E(); };
1860 }
George Rimar9e694502016-07-29 16:18:47 +00001861 if (Tok == "SIZEOF") {
Eugene Leviantb71d6f72016-10-06 09:39:28 +00001862 StringRef Name = readParenLiteral();
George Rimara8dba482017-03-20 10:09:58 +00001863 return [=] { return Script->getOutputSectionSize(Name); };
George Rimar9e694502016-07-29 16:18:47 +00001864 }
George Rimare32a3592016-08-10 07:59:34 +00001865 if (Tok == "SIZEOF_HEADERS")
George Rimar78aa2702017-03-13 14:40:58 +00001866 return [=] { return elf::getHeaderSize(); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001867
George Rimar9f2f7ad2016-09-02 16:01:42 +00001868 // Tok is a literal number.
1869 uint64_t V;
1870 if (readInteger(Tok, V))
Rafael Espindola4595df92017-03-10 16:04:26 +00001871 return [=] { return V; };
George Rimar9f2f7ad2016-09-02 16:01:42 +00001872
1873 // Tok is a symbol name.
Petr Hosek30f16b22017-03-23 03:52:34 +00001874 if (Tok != ".") {
1875 if (!isValidCIdentifier(Tok))
1876 setError("malformed number: " + Tok);
1877 Script->Opt.UndefinedSymbols.push_back(Tok);
1878 }
George Rimara8dba482017-03-20 10:09:58 +00001879 return [=] { return Script->getSymbolValue(Location, Tok); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001880}
1881
1882Expr ScriptParser::readTernary(Expr Cond) {
Rui Ueyama708019c2016-07-24 18:19:40 +00001883 Expr L = readExpr();
1884 expect(":");
1885 Expr R = readExpr();
Rafael Espindola72dc1952017-03-17 13:05:04 +00001886 return [=] { return Cond().getValue() ? L() : R(); };
Rui Ueyama708019c2016-07-24 18:19:40 +00001887}
1888
Rui Ueyama6ad7dfc2016-08-17 18:59:16 +00001889Expr ScriptParser::readParenExpr() {
1890 expect("(");
1891 Expr E = readExpr();
1892 expect(")");
1893 return E;
1894}
1895
Eugene Leviantbbe38602016-07-19 09:25:43 +00001896std::vector<StringRef> ScriptParser::readOutputSectionPhdrs() {
1897 std::vector<StringRef> Phdrs;
1898 while (!Error && peek().startswith(":")) {
1899 StringRef Tok = next();
George Rimarda841c12016-11-14 10:03:54 +00001900 Phdrs.push_back((Tok.size() == 1) ? next() : Tok.substr(1));
Eugene Leviantbbe38602016-07-19 09:25:43 +00001901 }
1902 return Phdrs;
1903}
1904
George Rimar95dd7182016-10-18 10:49:50 +00001905// Read a program header type name. The next token must be a
1906// name of a program header type or a constant (e.g. "0x3").
Eugene Leviantbbe38602016-07-19 09:25:43 +00001907unsigned ScriptParser::readPhdrType() {
Eugene Leviantbbe38602016-07-19 09:25:43 +00001908 StringRef Tok = next();
George Rimar95dd7182016-10-18 10:49:50 +00001909 uint64_t Val;
1910 if (readInteger(Tok, Val))
1911 return Val;
1912
Rui Ueyamab0f6c592016-07-20 19:36:38 +00001913 unsigned Ret = StringSwitch<unsigned>(Tok)
George Rimar6c55f0e2016-09-08 08:20:30 +00001914 .Case("PT_NULL", PT_NULL)
1915 .Case("PT_LOAD", PT_LOAD)
1916 .Case("PT_DYNAMIC", PT_DYNAMIC)
1917 .Case("PT_INTERP", PT_INTERP)
1918 .Case("PT_NOTE", PT_NOTE)
1919 .Case("PT_SHLIB", PT_SHLIB)
1920 .Case("PT_PHDR", PT_PHDR)
1921 .Case("PT_TLS", PT_TLS)
1922 .Case("PT_GNU_EH_FRAME", PT_GNU_EH_FRAME)
1923 .Case("PT_GNU_STACK", PT_GNU_STACK)
1924 .Case("PT_GNU_RELRO", PT_GNU_RELRO)
George Rimar270173f2016-10-14 13:02:22 +00001925 .Case("PT_OPENBSD_RANDOMIZE", PT_OPENBSD_RANDOMIZE)
George Rimarcc6e5672016-10-14 10:34:36 +00001926 .Case("PT_OPENBSD_WXNEEDED", PT_OPENBSD_WXNEEDED)
George Rimara2a32c22016-12-06 17:57:42 +00001927 .Case("PT_OPENBSD_BOOTDATA", PT_OPENBSD_BOOTDATA)
George Rimar6c55f0e2016-09-08 08:20:30 +00001928 .Default(-1);
Eugene Leviantbbe38602016-07-19 09:25:43 +00001929
Rui Ueyamab0f6c592016-07-20 19:36:38 +00001930 if (Ret == (unsigned)-1) {
1931 setError("invalid program header type: " + Tok);
1932 return PT_NULL;
1933 }
1934 return Ret;
Eugene Leviantbbe38602016-07-19 09:25:43 +00001935}
1936
Rui Ueyamaf5fce482017-03-09 19:23:00 +00001937// Reads an anonymous version declaration.
Rui Ueyama12450b22016-11-18 06:30:09 +00001938void ScriptParser::readAnonymousDeclaration() {
Rui Ueyamaf5fce482017-03-09 19:23:00 +00001939 std::vector<SymbolVersion> Locals;
1940 std::vector<SymbolVersion> Globals;
1941 std::tie(Locals, Globals) = readSymbols();
1942
1943 for (SymbolVersion V : Locals) {
1944 if (V.Name == "*")
1945 Config->DefaultSymbolVersion = VER_NDX_LOCAL;
1946 else
1947 Config->VersionScriptLocals.push_back(V);
Rafael Espindola45242682017-02-03 13:24:01 +00001948 }
Rui Ueyamaf5fce482017-03-09 19:23:00 +00001949
1950 for (SymbolVersion V : Globals)
1951 Config->VersionScriptGlobals.push_back(V);
1952
Rui Ueyama12450b22016-11-18 06:30:09 +00001953 expect(";");
1954}
1955
Rui Ueyamaf5fce482017-03-09 19:23:00 +00001956// Reads a non-anonymous version definition,
1957// e.g. "VerStr { global: foo; bar; local: *; };".
Rui Ueyama95769b42016-08-31 20:03:54 +00001958void ScriptParser::readVersionDeclaration(StringRef VerStr) {
Rui Ueyamaf5fce482017-03-09 19:23:00 +00001959 // Read a symbol list.
1960 std::vector<SymbolVersion> Locals;
1961 std::vector<SymbolVersion> Globals;
1962 std::tie(Locals, Globals) = readSymbols();
George Rimar20b65982016-08-31 09:08:26 +00001963
Rui Ueyamaf5fce482017-03-09 19:23:00 +00001964 for (SymbolVersion V : Locals) {
1965 if (V.Name == "*")
1966 Config->DefaultSymbolVersion = VER_NDX_LOCAL;
1967 else
1968 Config->VersionScriptLocals.push_back(V);
Rafael Espindola45242682017-02-03 13:24:01 +00001969 }
Rui Ueyamaf5fce482017-03-09 19:23:00 +00001970
1971 // Create a new version definition and add that to the global symbols.
1972 VersionDefinition Ver;
1973 Ver.Name = VerStr;
1974 Ver.Globals = Globals;
1975
1976 // User-defined version number starts from 2 because 0 and 1 are
1977 // reserved for VER_NDX_LOCAL and VER_NDX_GLOBAL, respectively.
1978 Ver.Id = Config->VersionDefinitions.size() + 2;
1979 Config->VersionDefinitions.push_back(Ver);
George Rimar20b65982016-08-31 09:08:26 +00001980
Rui Ueyama12450b22016-11-18 06:30:09 +00001981 // Each version may have a parent version. For example, "Ver2"
1982 // defined as "Ver2 { global: foo; local: *; } Ver1;" has "Ver1"
1983 // as a parent. This version hierarchy is, probably against your
1984 // instinct, purely for hint; the runtime doesn't care about it
1985 // at all. In LLD, we simply ignore it.
1986 if (peek() != ";")
Justin Bogner5424e7c2016-10-17 06:21:13 +00001987 skip();
George Rimar20b65982016-08-31 09:08:26 +00001988 expect(";");
1989}
1990
Rui Ueyamaf5fce482017-03-09 19:23:00 +00001991// Reads a list of symbols, e.g. "{ global: foo; bar; local: *; };".
1992std::pair<std::vector<SymbolVersion>, std::vector<SymbolVersion>>
1993ScriptParser::readSymbols() {
1994 std::vector<SymbolVersion> Locals;
1995 std::vector<SymbolVersion> Globals;
1996 std::vector<SymbolVersion> *V = &Globals;
1997
1998 while (!Error) {
1999 if (consume("}"))
2000 break;
2001 if (consumeLabel("local")) {
2002 V = &Locals;
2003 continue;
2004 }
2005 if (consumeLabel("global")) {
2006 V = &Globals;
Rafael Espindola1ef90d22016-12-09 16:44:05 +00002007 continue;
2008 }
George Rimare0fc2422016-11-16 17:59:10 +00002009
Rui Ueyamaf5fce482017-03-09 19:23:00 +00002010 if (consume("extern")) {
2011 std::vector<SymbolVersion> Ext = readVersionExtern();
2012 V->insert(V->end(), Ext.begin(), Ext.end());
2013 } else {
2014 StringRef Tok = next();
2015 V->push_back({unquote(Tok), false, hasWildcard(Tok)});
2016 }
George Rimare0fc2422016-11-16 17:59:10 +00002017 expect(";");
2018 }
Rui Ueyamaf5fce482017-03-09 19:23:00 +00002019 return {Locals, Globals};
George Rimare0fc2422016-11-16 17:59:10 +00002020}
2021
Rui Ueyama12450b22016-11-18 06:30:09 +00002022// Reads an "extern C++" directive, e.g.,
2023// "extern "C++" { ns::*; "f(int, double)"; };"
2024std::vector<SymbolVersion> ScriptParser::readVersionExtern() {
Rafael Espindola7e714152016-12-08 17:26:53 +00002025 StringRef Tok = next();
2026 bool IsCXX = Tok == "\"C++\"";
2027 if (!IsCXX && Tok != "\"C\"")
Rafael Espindolad0ebd842016-12-08 17:54:26 +00002028 setError("Unknown language");
George Rimar20b65982016-08-31 09:08:26 +00002029 expect("{");
2030
Rui Ueyama12450b22016-11-18 06:30:09 +00002031 std::vector<SymbolVersion> Ret;
Rui Ueyama0ee25a62016-11-17 03:52:14 +00002032 while (!Error && peek() != "}") {
2033 StringRef Tok = next();
2034 bool HasWildcard = !Tok.startswith("\"") && hasWildcard(Tok);
Rafael Espindola7e714152016-12-08 17:26:53 +00002035 Ret.push_back({unquote(Tok), IsCXX, HasWildcard});
George Rimar20b65982016-08-31 09:08:26 +00002036 expect(";");
2037 }
2038
2039 expect("}");
Rui Ueyama12450b22016-11-18 06:30:09 +00002040 return Ret;
George Rimar20b65982016-08-31 09:08:26 +00002041}
2042
George Rimar009833d2017-03-20 09:51:18 +00002043uint64_t ScriptParser::readMemoryAssignment(StringRef S1, StringRef S2,
2044 StringRef S3) {
Rui Ueyama24e626c2017-01-26 02:58:19 +00002045 if (!(consume(S1) || consume(S2) || consume(S3))) {
2046 setError("expected one of: " + S1 + ", " + S2 + ", or " + S3);
2047 return 0;
2048 }
2049 expect("=");
2050
2051 // TODO: Fully support constant expressions.
2052 uint64_t Val;
2053 if (!readInteger(next(), Val))
George Rimar009833d2017-03-20 09:51:18 +00002054 setError("nonconstant expression for " + S1);
Rui Ueyama24e626c2017-01-26 02:58:19 +00002055 return Val;
2056}
2057
2058// Parse the MEMORY command as specified in:
2059// https://sourceware.org/binutils/docs/ld/MEMORY.html
2060//
2061// MEMORY { name [(attr)] : ORIGIN = origin, LENGTH = len ... }
Meador Ingeb8897442017-01-24 02:34:00 +00002062void ScriptParser::readMemory() {
2063 expect("{");
2064 while (!Error && !consume("}")) {
2065 StringRef Name = next();
Rui Ueyama24e626c2017-01-26 02:58:19 +00002066
Meador Ingeb8897442017-01-24 02:34:00 +00002067 uint32_t Flags = 0;
Rui Ueyama8a8a9532017-01-26 02:58:59 +00002068 uint32_t NegFlags = 0;
Meador Ingeb8897442017-01-24 02:34:00 +00002069 if (consume("(")) {
Rui Ueyama8a8a9532017-01-26 02:58:59 +00002070 std::tie(Flags, NegFlags) = readMemoryAttributes();
Meador Ingeb8897442017-01-24 02:34:00 +00002071 expect(")");
2072 }
2073 expect(":");
2074
Rui Ueyama24e626c2017-01-26 02:58:19 +00002075 uint64_t Origin = readMemoryAssignment("ORIGIN", "org", "o");
Meador Ingeb8897442017-01-24 02:34:00 +00002076 expect(",");
Rui Ueyama24e626c2017-01-26 02:58:19 +00002077 uint64_t Length = readMemoryAssignment("LENGTH", "len", "l");
Meador Ingeb8897442017-01-24 02:34:00 +00002078
Meador Ingeb8897442017-01-24 02:34:00 +00002079 // Add the memory region to the region map (if it doesn't already exist).
Rui Ueyamaa34da932017-03-21 23:03:09 +00002080 auto It = Script->Opt.MemoryRegions.find(Name);
2081 if (It != Script->Opt.MemoryRegions.end())
Meador Ingeb8897442017-01-24 02:34:00 +00002082 setError("region '" + Name + "' already defined");
2083 else
Rui Ueyamaa34da932017-03-21 23:03:09 +00002084 Script->Opt.MemoryRegions[Name] = {Name, Origin, Length,
2085 Origin, Flags, NegFlags};
Meador Ingeb8897442017-01-24 02:34:00 +00002086 }
2087}
2088
2089// This function parses the attributes used to match against section
2090// flags when placing output sections in a memory region. These flags
2091// are only used when an explicit memory region name is not used.
2092std::pair<uint32_t, uint32_t> ScriptParser::readMemoryAttributes() {
2093 uint32_t Flags = 0;
Rui Ueyama8a8a9532017-01-26 02:58:59 +00002094 uint32_t NegFlags = 0;
Meador Ingeb8897442017-01-24 02:34:00 +00002095 bool Invert = false;
Rui Ueyama481ac992017-01-26 02:58:39 +00002096
2097 for (char C : next().lower()) {
Meador Ingeb8897442017-01-24 02:34:00 +00002098 uint32_t Flag = 0;
2099 if (C == '!')
2100 Invert = !Invert;
Rui Ueyama481ac992017-01-26 02:58:39 +00002101 else if (C == 'w')
Meador Ingeb8897442017-01-24 02:34:00 +00002102 Flag = SHF_WRITE;
Rui Ueyama481ac992017-01-26 02:58:39 +00002103 else if (C == 'x')
Meador Ingeb8897442017-01-24 02:34:00 +00002104 Flag = SHF_EXECINSTR;
Rui Ueyama481ac992017-01-26 02:58:39 +00002105 else if (C == 'a')
Meador Ingeb8897442017-01-24 02:34:00 +00002106 Flag = SHF_ALLOC;
Rui Ueyama481ac992017-01-26 02:58:39 +00002107 else if (C != 'r')
Meador Ingeb8897442017-01-24 02:34:00 +00002108 setError("invalid memory region attribute");
Rui Ueyama481ac992017-01-26 02:58:39 +00002109
Meador Ingeb8897442017-01-24 02:34:00 +00002110 if (Invert)
Rui Ueyama8a8a9532017-01-26 02:58:59 +00002111 NegFlags |= Flag;
Meador Ingeb8897442017-01-24 02:34:00 +00002112 else
2113 Flags |= Flag;
2114 }
Rui Ueyama8a8a9532017-01-26 02:58:59 +00002115 return {Flags, NegFlags};
Meador Ingeb8897442017-01-24 02:34:00 +00002116}
2117
Rui Ueyama07320e42016-04-20 20:13:41 +00002118void elf::readLinkerScript(MemoryBufferRef MB) {
Rui Ueyama22375f22016-11-25 18:51:54 +00002119 ScriptParser(MB).readLinkerScript();
George Rimar20b65982016-08-31 09:08:26 +00002120}
2121
2122void elf::readVersionScript(MemoryBufferRef MB) {
Rui Ueyama22375f22016-11-25 18:51:54 +00002123 ScriptParser(MB).readVersionScript();
Rui Ueyamaf7c5fbb2015-09-30 17:23:26 +00002124}
Rui Ueyama1ebc8ed2016-02-12 21:47:28 +00002125
Rafael Espindolad0ebd842016-12-08 17:54:26 +00002126void elf::readDynamicList(MemoryBufferRef MB) {
2127 ScriptParser(MB).readDynamicList();
2128}