12ec34544SRui Ueyama //===- ScriptParser.cpp ---------------------------------------------------===//
22ec34544SRui Ueyama //
32ec34544SRui Ueyama //                             The LLVM Linker
42ec34544SRui Ueyama //
52ec34544SRui Ueyama // This file is distributed under the University of Illinois Open Source
62ec34544SRui Ueyama // License. See LICENSE.TXT for details.
72ec34544SRui Ueyama //
82ec34544SRui Ueyama //===----------------------------------------------------------------------===//
905f6b852SRui Ueyama //
1005f6b852SRui Ueyama // This file contains a recursive-descendent parser for linker scripts.
1105f6b852SRui Ueyama // Parsed results are stored to Config and Script global objects.
1205f6b852SRui Ueyama //
1305f6b852SRui Ueyama //===----------------------------------------------------------------------===//
142ec34544SRui Ueyama 
152ec34544SRui Ueyama #include "ScriptParser.h"
162ec34544SRui Ueyama #include "Config.h"
172ec34544SRui Ueyama #include "Driver.h"
182ec34544SRui Ueyama #include "InputSection.h"
192ec34544SRui Ueyama #include "LinkerScript.h"
202ec34544SRui Ueyama #include "OutputSections.h"
212ec34544SRui Ueyama #include "ScriptLexer.h"
222ec34544SRui Ueyama #include "Symbols.h"
232ec34544SRui Ueyama #include "Target.h"
242017d52bSRui Ueyama #include "lld/Common/Memory.h"
252ec34544SRui Ueyama #include "llvm/ADT/SmallString.h"
262ec34544SRui Ueyama #include "llvm/ADT/StringRef.h"
270440be4aSRui Ueyama #include "llvm/ADT/StringSet.h"
282ec34544SRui Ueyama #include "llvm/ADT/StringSwitch.h"
29264b5d9eSZachary Turner #include "llvm/BinaryFormat/ELF.h"
302ec34544SRui Ueyama #include "llvm/Support/Casting.h"
312ec34544SRui Ueyama #include "llvm/Support/ErrorHandling.h"
322ec34544SRui Ueyama #include "llvm/Support/FileSystem.h"
332ec34544SRui Ueyama #include "llvm/Support/Path.h"
342ec34544SRui Ueyama #include <cassert>
352ec34544SRui Ueyama #include <limits>
362ec34544SRui Ueyama #include <vector>
372ec34544SRui Ueyama 
382ec34544SRui Ueyama using namespace llvm;
392ec34544SRui Ueyama using namespace llvm::ELF;
40b58079d4SRui Ueyama using namespace llvm::support::endian;
412ec34544SRui Ueyama using namespace lld;
422ec34544SRui Ueyama using namespace lld::elf;
432ec34544SRui Ueyama 
442ec34544SRui Ueyama static bool isUnderSysroot(StringRef Path);
452ec34544SRui Ueyama 
4696b3fe02SRui Ueyama namespace {
4796b3fe02SRui Ueyama class ScriptParser final : ScriptLexer {
482ec34544SRui Ueyama public:
492ec34544SRui Ueyama   ScriptParser(MemoryBufferRef MB)
502ec34544SRui Ueyama       : ScriptLexer(MB),
512ec34544SRui Ueyama         IsUnderSysroot(isUnderSysroot(MB.getBufferIdentifier())) {}
522ec34544SRui Ueyama 
532ec34544SRui Ueyama   void readLinkerScript();
542ec34544SRui Ueyama   void readVersionScript();
552ec34544SRui Ueyama   void readDynamicList();
568c7e8cceSPetr Hosek   void readDefsym(StringRef Name);
572ec34544SRui Ueyama 
582ec34544SRui Ueyama private:
592ec34544SRui Ueyama   void addFile(StringRef Path);
602ec34544SRui Ueyama 
612ec34544SRui Ueyama   void readAsNeeded();
622ec34544SRui Ueyama   void readEntry();
632ec34544SRui Ueyama   void readExtern();
642ec34544SRui Ueyama   void readGroup();
652ec34544SRui Ueyama   void readInclude();
66*1d92aa73SRui Ueyama   void readInput();
672ec34544SRui Ueyama   void readMemory();
682ec34544SRui Ueyama   void readOutput();
692ec34544SRui Ueyama   void readOutputArch();
702ec34544SRui Ueyama   void readOutputFormat();
712ec34544SRui Ueyama   void readPhdrs();
725f37541cSGeorge Rimar   void readRegionAlias();
732ec34544SRui Ueyama   void readSearchDir();
742ec34544SRui Ueyama   void readSections();
752ec34544SRui Ueyama   void readVersion();
762ec34544SRui Ueyama   void readVersionScriptCommand();
772ec34544SRui Ueyama 
782ec34544SRui Ueyama   SymbolAssignment *readAssignment(StringRef Name);
79f0403c60SRui Ueyama   ByteCommand *readByteCommand(StringRef Tok);
802ec34544SRui Ueyama   uint32_t readFill();
818acbf1ccSRui Ueyama   uint32_t parseFill(StringRef Tok);
828c022ca7SRafael Espindola   void readSectionAddressType(OutputSection *Cmd);
838c022ca7SRafael Espindola   OutputSection *readOutputSectionDescription(StringRef OutSec);
842ec34544SRui Ueyama   std::vector<StringRef> readOutputSectionPhdrs();
852ec34544SRui Ueyama   InputSectionDescription *readInputSectionDescription(StringRef Tok);
862ec34544SRui Ueyama   StringMatcher readFilePatterns();
872ec34544SRui Ueyama   std::vector<SectionPattern> readInputSectionsList();
882ec34544SRui Ueyama   InputSectionDescription *readInputSectionRules(StringRef FilePattern);
892ec34544SRui Ueyama   unsigned readPhdrType();
902ec34544SRui Ueyama   SortSectionPolicy readSortKind();
912ec34544SRui Ueyama   SymbolAssignment *readProvideHidden(bool Provide, bool Hidden);
922ec34544SRui Ueyama   SymbolAssignment *readProvideOrAssignment(StringRef Tok);
932ec34544SRui Ueyama   void readSort();
9423af89ccSRui Ueyama   AssertCommand *readAssert();
9523af89ccSRui Ueyama   Expr readAssertExpr();
965fb17128SGeorge Rimar   Expr readConstant();
975fb17128SGeorge Rimar   Expr getPageSize();
982ec34544SRui Ueyama 
992ec34544SRui Ueyama   uint64_t readMemoryAssignment(StringRef, StringRef, StringRef);
1002ec34544SRui Ueyama   std::pair<uint32_t, uint32_t> readMemoryAttributes();
1012ec34544SRui Ueyama 
1027b91e213SGeorge Rimar   Expr combine(StringRef Op, Expr L, Expr R);
1032ec34544SRui Ueyama   Expr readExpr();
1042ec34544SRui Ueyama   Expr readExpr1(Expr Lhs, int MinPrec);
1052ec34544SRui Ueyama   StringRef readParenLiteral();
1062ec34544SRui Ueyama   Expr readPrimary();
1072ec34544SRui Ueyama   Expr readTernary(Expr Cond);
1082ec34544SRui Ueyama   Expr readParenExpr();
1092ec34544SRui Ueyama 
1102ec34544SRui Ueyama   // For parsing version script.
1112ec34544SRui Ueyama   std::vector<SymbolVersion> readVersionExtern();
1122ec34544SRui Ueyama   void readAnonymousDeclaration();
1132ec34544SRui Ueyama   void readVersionDeclaration(StringRef VerStr);
1142ec34544SRui Ueyama 
1152ec34544SRui Ueyama   std::pair<std::vector<SymbolVersion>, std::vector<SymbolVersion>>
1162ec34544SRui Ueyama   readSymbols();
1172ec34544SRui Ueyama 
118fd06b025SRui Ueyama   // True if a script being read is in a subdirectory specified by -sysroot.
1192ec34544SRui Ueyama   bool IsUnderSysroot;
1200440be4aSRui Ueyama 
1210440be4aSRui Ueyama   // A set to detect an INCLUDE() cycle.
1220440be4aSRui Ueyama   StringSet<> Seen;
1232ec34544SRui Ueyama };
12496b3fe02SRui Ueyama } // namespace
1252ec34544SRui Ueyama 
1261e77ad14SRui Ueyama static StringRef unquote(StringRef S) {
1271e77ad14SRui Ueyama   if (S.startswith("\""))
1281e77ad14SRui Ueyama     return S.substr(1, S.size() - 2);
1291e77ad14SRui Ueyama   return S;
1301e77ad14SRui Ueyama }
1311e77ad14SRui Ueyama 
1322ec34544SRui Ueyama static bool isUnderSysroot(StringRef Path) {
1332ec34544SRui Ueyama   if (Config->Sysroot == "")
1342ec34544SRui Ueyama     return false;
1352ec34544SRui Ueyama   for (; !Path.empty(); Path = sys::path::parent_path(Path))
1362ec34544SRui Ueyama     if (sys::fs::equivalent(Config->Sysroot, Path))
1372ec34544SRui Ueyama       return true;
1382ec34544SRui Ueyama   return false;
1392ec34544SRui Ueyama }
1402ec34544SRui Ueyama 
1412ec34544SRui Ueyama // Some operations only support one non absolute value. Move the
1422ec34544SRui Ueyama // absolute one to the right hand side for convenience.
1432ec34544SRui Ueyama static void moveAbsRight(ExprValue &A, ExprValue &B) {
14423be5e8dSRafael Espindola   if (A.Sec == nullptr || (A.ForceAbsolute && !B.isAbsolute()))
1452ec34544SRui Ueyama     std::swap(A, B);
1462ec34544SRui Ueyama   if (!B.isAbsolute())
14741c7ab4aSGeorge Rimar     error(A.Loc + ": at least one side of the expression must be absolute");
1482ec34544SRui Ueyama }
1492ec34544SRui Ueyama 
1502ec34544SRui Ueyama static ExprValue add(ExprValue A, ExprValue B) {
1512ec34544SRui Ueyama   moveAbsRight(A, B);
152a6acd23cSRafael Espindola   return {A.Sec, A.ForceAbsolute, A.getSectionOffset() + B.getValue(), A.Loc};
1532ec34544SRui Ueyama }
1542ec34544SRui Ueyama 
1552ec34544SRui Ueyama static ExprValue sub(ExprValue A, ExprValue B) {
15663a4a98eSRafael Espindola   // The distance between two symbols in sections is absolute.
1579cbb6dd1SRafael Espindola   if (!A.isAbsolute() && !B.isAbsolute())
1589cbb6dd1SRafael Espindola     return A.getValue() - B.getValue();
1594fbe3518SRui Ueyama   return {A.Sec, false, A.getSectionOffset() - B.getValue(), A.Loc};
1602ec34544SRui Ueyama }
1612ec34544SRui Ueyama 
1622ec34544SRui Ueyama static ExprValue bitAnd(ExprValue A, ExprValue B) {
1632ec34544SRui Ueyama   moveAbsRight(A, B);
1642ec34544SRui Ueyama   return {A.Sec, A.ForceAbsolute,
16541c7ab4aSGeorge Rimar           (A.getValue() & B.getValue()) - A.getSecAddr(), A.Loc};
1662ec34544SRui Ueyama }
1672ec34544SRui Ueyama 
1682ec34544SRui Ueyama static ExprValue bitOr(ExprValue A, ExprValue B) {
1692ec34544SRui Ueyama   moveAbsRight(A, B);
1702ec34544SRui Ueyama   return {A.Sec, A.ForceAbsolute,
17141c7ab4aSGeorge Rimar           (A.getValue() | B.getValue()) - A.getSecAddr(), A.Loc};
1722ec34544SRui Ueyama }
1732ec34544SRui Ueyama 
1742ec34544SRui Ueyama void ScriptParser::readDynamicList() {
1758016bdfdSRafael Espindola   Config->HasDynamicList = true;
1762ec34544SRui Ueyama   expect("{");
177d72d97b3SRafael Espindola   std::vector<SymbolVersion> Locals;
178d72d97b3SRafael Espindola   std::vector<SymbolVersion> Globals;
179d72d97b3SRafael Espindola   std::tie(Locals, Globals) = readSymbols();
180d72d97b3SRafael Espindola   expect(";");
181d72d97b3SRafael Espindola 
182d72d97b3SRafael Espindola   if (!atEOF()) {
1832ec34544SRui Ueyama     setError("EOF expected, but got " + next());
184d72d97b3SRafael Espindola     return;
185d72d97b3SRafael Espindola   }
186d72d97b3SRafael Espindola   if (!Locals.empty()) {
187d72d97b3SRafael Espindola     setError("\"local:\" scope not supported in --dynamic-list");
188d72d97b3SRafael Espindola     return;
189d72d97b3SRafael Espindola   }
190d72d97b3SRafael Espindola 
191d72d97b3SRafael Espindola   for (SymbolVersion V : Globals)
192d72d97b3SRafael Espindola     Config->DynamicList.push_back(V);
1932ec34544SRui Ueyama }
1942ec34544SRui Ueyama 
1952ec34544SRui Ueyama void ScriptParser::readVersionScript() {
1962ec34544SRui Ueyama   readVersionScriptCommand();
1972ec34544SRui Ueyama   if (!atEOF())
1982ec34544SRui Ueyama     setError("EOF expected, but got " + next());
1992ec34544SRui Ueyama }
2002ec34544SRui Ueyama 
2012ec34544SRui Ueyama void ScriptParser::readVersionScriptCommand() {
2022ec34544SRui Ueyama   if (consume("{")) {
2032ec34544SRui Ueyama     readAnonymousDeclaration();
2042ec34544SRui Ueyama     return;
2052ec34544SRui Ueyama   }
2062ec34544SRui Ueyama 
207b8a59c8aSBob Haarman   while (!atEOF() && !errorCount() && peek() != "}") {
2082ec34544SRui Ueyama     StringRef VerStr = next();
2092ec34544SRui Ueyama     if (VerStr == "{") {
2102ec34544SRui Ueyama       setError("anonymous version definition is used in "
2112ec34544SRui Ueyama                "combination with other version definitions");
2122ec34544SRui Ueyama       return;
2132ec34544SRui Ueyama     }
2142ec34544SRui Ueyama     expect("{");
2152ec34544SRui Ueyama     readVersionDeclaration(VerStr);
2162ec34544SRui Ueyama   }
2172ec34544SRui Ueyama }
2182ec34544SRui Ueyama 
2192ec34544SRui Ueyama void ScriptParser::readVersion() {
2202ec34544SRui Ueyama   expect("{");
2212ec34544SRui Ueyama   readVersionScriptCommand();
2222ec34544SRui Ueyama   expect("}");
2232ec34544SRui Ueyama }
2242ec34544SRui Ueyama 
2252ec34544SRui Ueyama void ScriptParser::readLinkerScript() {
2262ec34544SRui Ueyama   while (!atEOF()) {
2272ec34544SRui Ueyama     StringRef Tok = next();
2282ec34544SRui Ueyama     if (Tok == ";")
2292ec34544SRui Ueyama       continue;
2302ec34544SRui Ueyama 
2312ec34544SRui Ueyama     if (Tok == "ASSERT") {
2326b394caaSRui Ueyama       Script->SectionCommands.push_back(readAssert());
2332ec34544SRui Ueyama     } else if (Tok == "ENTRY") {
2342ec34544SRui Ueyama       readEntry();
2352ec34544SRui Ueyama     } else if (Tok == "EXTERN") {
2362ec34544SRui Ueyama       readExtern();
237*1d92aa73SRui Ueyama     } else if (Tok == "GROUP") {
2382ec34544SRui Ueyama       readGroup();
2392ec34544SRui Ueyama     } else if (Tok == "INCLUDE") {
2402ec34544SRui Ueyama       readInclude();
241*1d92aa73SRui Ueyama     } else if (Tok == "INPUT") {
242*1d92aa73SRui Ueyama       readInput();
2432ec34544SRui Ueyama     } else if (Tok == "MEMORY") {
2442ec34544SRui Ueyama       readMemory();
2452ec34544SRui Ueyama     } else if (Tok == "OUTPUT") {
2462ec34544SRui Ueyama       readOutput();
2472ec34544SRui Ueyama     } else if (Tok == "OUTPUT_ARCH") {
2482ec34544SRui Ueyama       readOutputArch();
2492ec34544SRui Ueyama     } else if (Tok == "OUTPUT_FORMAT") {
2502ec34544SRui Ueyama       readOutputFormat();
2512ec34544SRui Ueyama     } else if (Tok == "PHDRS") {
2522ec34544SRui Ueyama       readPhdrs();
2535f37541cSGeorge Rimar     } else if (Tok == "REGION_ALIAS") {
2545f37541cSGeorge Rimar       readRegionAlias();
2552ec34544SRui Ueyama     } else if (Tok == "SEARCH_DIR") {
2562ec34544SRui Ueyama       readSearchDir();
2572ec34544SRui Ueyama     } else if (Tok == "SECTIONS") {
2582ec34544SRui Ueyama       readSections();
2592ec34544SRui Ueyama     } else if (Tok == "VERSION") {
2602ec34544SRui Ueyama       readVersion();
2612ec34544SRui Ueyama     } else if (SymbolAssignment *Cmd = readProvideOrAssignment(Tok)) {
2626b394caaSRui Ueyama       Script->SectionCommands.push_back(Cmd);
2632ec34544SRui Ueyama     } else {
2642ec34544SRui Ueyama       setError("unknown directive: " + Tok);
2652ec34544SRui Ueyama     }
2662ec34544SRui Ueyama   }
2672ec34544SRui Ueyama }
2682ec34544SRui Ueyama 
2698c7e8cceSPetr Hosek void ScriptParser::readDefsym(StringRef Name) {
2708c7e8cceSPetr Hosek   Expr E = readExpr();
2718c7e8cceSPetr Hosek   if (!atEOF())
2728c7e8cceSPetr Hosek     setError("EOF expected, but got " + next());
273e88b76a9SGeorge Rimar   SymbolAssignment *Cmd = make<SymbolAssignment>(Name, E, getCurrentLocation());
2748c7e8cceSPetr Hosek   Script->SectionCommands.push_back(Cmd);
2758c7e8cceSPetr Hosek }
2768c7e8cceSPetr Hosek 
2772ec34544SRui Ueyama void ScriptParser::addFile(StringRef S) {
2782ec34544SRui Ueyama   if (IsUnderSysroot && S.startswith("/")) {
2792ec34544SRui Ueyama     SmallString<128> PathData;
2802ec34544SRui Ueyama     StringRef Path = (Config->Sysroot + S).toStringRef(PathData);
2812ec34544SRui Ueyama     if (sys::fs::exists(Path)) {
282a76349bfSEvgeniy Stepanov       Driver->addFile(Saver.save(Path), /*WithLOption=*/false);
2832ec34544SRui Ueyama       return;
2842ec34544SRui Ueyama     }
2852ec34544SRui Ueyama   }
2862ec34544SRui Ueyama 
287875ae82bSRui Ueyama   if (S.startswith("/")) {
288a76349bfSEvgeniy Stepanov     Driver->addFile(S, /*WithLOption=*/false);
2892ec34544SRui Ueyama   } else if (S.startswith("=")) {
2902ec34544SRui Ueyama     if (Config->Sysroot.empty())
291a76349bfSEvgeniy Stepanov       Driver->addFile(S.substr(1), /*WithLOption=*/false);
2922ec34544SRui Ueyama     else
293a76349bfSEvgeniy Stepanov       Driver->addFile(Saver.save(Config->Sysroot + "/" + S.substr(1)),
294a76349bfSEvgeniy Stepanov                       /*WithLOption=*/false);
2952ec34544SRui Ueyama   } else if (S.startswith("-l")) {
2962ec34544SRui Ueyama     Driver->addLibrary(S.substr(2));
2972ec34544SRui Ueyama   } else if (sys::fs::exists(S)) {
298a76349bfSEvgeniy Stepanov     Driver->addFile(S, /*WithLOption=*/false);
2992ec34544SRui Ueyama   } else {
3002ec34544SRui Ueyama     if (Optional<std::string> Path = findFromSearchPaths(S))
301a76349bfSEvgeniy Stepanov       Driver->addFile(Saver.save(*Path), /*WithLOption=*/true);
3022ec34544SRui Ueyama     else
3032ec34544SRui Ueyama       setError("unable to find " + S);
3042ec34544SRui Ueyama   }
3052ec34544SRui Ueyama }
3062ec34544SRui Ueyama 
3072ec34544SRui Ueyama void ScriptParser::readAsNeeded() {
3082ec34544SRui Ueyama   expect("(");
3092ec34544SRui Ueyama   bool Orig = Config->AsNeeded;
3102ec34544SRui Ueyama   Config->AsNeeded = true;
311b8a59c8aSBob Haarman   while (!errorCount() && !consume(")"))
3122ec34544SRui Ueyama     addFile(unquote(next()));
3132ec34544SRui Ueyama   Config->AsNeeded = Orig;
3142ec34544SRui Ueyama }
3152ec34544SRui Ueyama 
3162ec34544SRui Ueyama void ScriptParser::readEntry() {
3172ec34544SRui Ueyama   // -e <symbol> takes predecence over ENTRY(<symbol>).
3182ec34544SRui Ueyama   expect("(");
3192ec34544SRui Ueyama   StringRef Tok = next();
3202ec34544SRui Ueyama   if (Config->Entry.empty())
3212ec34544SRui Ueyama     Config->Entry = Tok;
3222ec34544SRui Ueyama   expect(")");
3232ec34544SRui Ueyama }
3242ec34544SRui Ueyama 
3252ec34544SRui Ueyama void ScriptParser::readExtern() {
3262ec34544SRui Ueyama   expect("(");
327b8a59c8aSBob Haarman   while (!errorCount() && !consume(")"))
3282ec34544SRui Ueyama     Config->Undefined.push_back(next());
3292ec34544SRui Ueyama }
3302ec34544SRui Ueyama 
3312ec34544SRui Ueyama void ScriptParser::readGroup() {
332*1d92aa73SRui Ueyama   bool Orig = InputFile::IsInGroup;
333*1d92aa73SRui Ueyama   InputFile::IsInGroup = true;
334*1d92aa73SRui Ueyama   readInput();
335*1d92aa73SRui Ueyama   InputFile::IsInGroup = Orig;
3362ec34544SRui Ueyama }
3372ec34544SRui Ueyama 
3382ec34544SRui Ueyama void ScriptParser::readInclude() {
3392ec34544SRui Ueyama   StringRef Tok = unquote(next());
3402ec34544SRui Ueyama 
3410440be4aSRui Ueyama   if (!Seen.insert(Tok).second) {
3420440be4aSRui Ueyama     setError("there is a cycle in linker script INCLUDEs");
3430440be4aSRui Ueyama     return;
3440440be4aSRui Ueyama   }
3450440be4aSRui Ueyama 
3461de78471SAlexander Richardson   if (Optional<std::string> Path = searchLinkerScript(Tok)) {
3472ec34544SRui Ueyama     if (Optional<MemoryBufferRef> MB = readFile(*Path))
3482ec34544SRui Ueyama       tokenize(*MB);
3492ec34544SRui Ueyama     return;
3502ec34544SRui Ueyama   }
3511de78471SAlexander Richardson   setError("cannot find linker script " + Tok);
3522ec34544SRui Ueyama }
3532ec34544SRui Ueyama 
354*1d92aa73SRui Ueyama void ScriptParser::readInput() {
355*1d92aa73SRui Ueyama   expect("(");
356*1d92aa73SRui Ueyama   while (!errorCount() && !consume(")")) {
357*1d92aa73SRui Ueyama     if (consume("AS_NEEDED"))
358*1d92aa73SRui Ueyama       readAsNeeded();
359*1d92aa73SRui Ueyama     else
360*1d92aa73SRui Ueyama       addFile(unquote(next()));
361*1d92aa73SRui Ueyama   }
362*1d92aa73SRui Ueyama }
363*1d92aa73SRui Ueyama 
3642ec34544SRui Ueyama void ScriptParser::readOutput() {
3652ec34544SRui Ueyama   // -o <file> takes predecence over OUTPUT(<file>).
3662ec34544SRui Ueyama   expect("(");
3672ec34544SRui Ueyama   StringRef Tok = next();
3682ec34544SRui Ueyama   if (Config->OutputFile.empty())
3692ec34544SRui Ueyama     Config->OutputFile = unquote(Tok);
3702ec34544SRui Ueyama   expect(")");
3712ec34544SRui Ueyama }
3722ec34544SRui Ueyama 
3732ec34544SRui Ueyama void ScriptParser::readOutputArch() {
3742ec34544SRui Ueyama   // OUTPUT_ARCH is ignored for now.
3752ec34544SRui Ueyama   expect("(");
376b8a59c8aSBob Haarman   while (!errorCount() && !consume(")"))
3772ec34544SRui Ueyama     skip();
3782ec34544SRui Ueyama }
3792ec34544SRui Ueyama 
3802ec34544SRui Ueyama void ScriptParser::readOutputFormat() {
3812ec34544SRui Ueyama   // Error checking only for now.
3822ec34544SRui Ueyama   expect("(");
3832ec34544SRui Ueyama   skip();
384b579c439SRui Ueyama   if (consume(")"))
3852ec34544SRui Ueyama     return;
386b579c439SRui Ueyama   expect(",");
3872ec34544SRui Ueyama   skip();
3882ec34544SRui Ueyama   expect(",");
3892ec34544SRui Ueyama   skip();
3902ec34544SRui Ueyama   expect(")");
3912ec34544SRui Ueyama }
3922ec34544SRui Ueyama 
3932ec34544SRui Ueyama void ScriptParser::readPhdrs() {
3942ec34544SRui Ueyama   expect("{");
3952ec34544SRui Ueyama 
396b8a59c8aSBob Haarman   while (!errorCount() && !consume("}")) {
3970ae2c24cSRui Ueyama     PhdrsCommand Cmd;
3980ae2c24cSRui Ueyama     Cmd.Name = next();
3990ae2c24cSRui Ueyama     Cmd.Type = readPhdrType();
400b579c439SRui Ueyama 
401b8a59c8aSBob Haarman     while (!errorCount() && !consume(";")) {
402b579c439SRui Ueyama       if (consume("FILEHDR"))
4030ae2c24cSRui Ueyama         Cmd.HasFilehdr = true;
404b579c439SRui Ueyama       else if (consume("PHDRS"))
4050ae2c24cSRui Ueyama         Cmd.HasPhdrs = true;
406b579c439SRui Ueyama       else if (consume("AT"))
4070ae2c24cSRui Ueyama         Cmd.LMAExpr = readParenExpr();
408b579c439SRui Ueyama       else if (consume("FLAGS"))
4090ae2c24cSRui Ueyama         Cmd.Flags = readParenExpr()().getValue();
410b579c439SRui Ueyama       else
411b579c439SRui Ueyama         setError("unexpected header attribute: " + next());
412b579c439SRui Ueyama     }
4130ae2c24cSRui Ueyama 
414ac27de9dSRui Ueyama     Script->PhdrsCommands.push_back(Cmd);
4152ec34544SRui Ueyama   }
4162ec34544SRui Ueyama }
4172ec34544SRui Ueyama 
4185f37541cSGeorge Rimar void ScriptParser::readRegionAlias() {
4195f37541cSGeorge Rimar   expect("(");
4205f37541cSGeorge Rimar   StringRef Alias = unquote(next());
4215f37541cSGeorge Rimar   expect(",");
4225f37541cSGeorge Rimar   StringRef Name = next();
4235f37541cSGeorge Rimar   expect(")");
4245f37541cSGeorge Rimar 
425ac27de9dSRui Ueyama   if (Script->MemoryRegions.count(Alias))
4265f37541cSGeorge Rimar     setError("redefinition of memory region '" + Alias + "'");
427ac27de9dSRui Ueyama   if (!Script->MemoryRegions.count(Name))
4285f37541cSGeorge Rimar     setError("memory region '" + Name + "' is not defined");
4298c825db2SGeorge Rimar   Script->MemoryRegions.insert({Alias, Script->MemoryRegions[Name]});
4305f37541cSGeorge Rimar }
4315f37541cSGeorge Rimar 
4322ec34544SRui Ueyama void ScriptParser::readSearchDir() {
4332ec34544SRui Ueyama   expect("(");
4342ec34544SRui Ueyama   StringRef Tok = next();
4352ec34544SRui Ueyama   if (!Config->Nostdlib)
4362ec34544SRui Ueyama     Config->SearchPaths.push_back(unquote(Tok));
4372ec34544SRui Ueyama   expect(")");
4382ec34544SRui Ueyama }
4392ec34544SRui Ueyama 
4402ec34544SRui Ueyama void ScriptParser::readSections() {
441a323e2a7SRui Ueyama   Script->HasSectionsCommand = true;
442b579c439SRui Ueyama 
4432ec34544SRui Ueyama   // -no-rosegment is used to avoid placing read only non-executable sections in
4442ec34544SRui Ueyama   // their own segment. We do the same if SECTIONS command is present in linker
4452ec34544SRui Ueyama   // script. See comment for computeFlags().
4462ec34544SRui Ueyama   Config->SingleRoRx = true;
4472ec34544SRui Ueyama 
4482ec34544SRui Ueyama   expect("{");
4499e2c8a9dSGeorge Rimar   std::vector<BaseCommand *> V;
450b8a59c8aSBob Haarman   while (!errorCount() && !consume("}")) {
4512ec34544SRui Ueyama     StringRef Tok = next();
4522ec34544SRui Ueyama     BaseCommand *Cmd = readProvideOrAssignment(Tok);
4532ec34544SRui Ueyama     if (!Cmd) {
4542ec34544SRui Ueyama       if (Tok == "ASSERT")
45523af89ccSRui Ueyama         Cmd = readAssert();
4562ec34544SRui Ueyama       else
4572ec34544SRui Ueyama         Cmd = readOutputSectionDescription(Tok);
4582ec34544SRui Ueyama     }
4599e2c8a9dSGeorge Rimar     V.push_back(Cmd);
4602ec34544SRui Ueyama   }
4619e2c8a9dSGeorge Rimar 
4629e2c8a9dSGeorge Rimar   if (!atEOF() && consume("INSERT")) {
463796684b4SGeorge Rimar     std::vector<BaseCommand *> *Dest = nullptr;
464796684b4SGeorge Rimar     if (consume("AFTER"))
465796684b4SGeorge Rimar       Dest = &Script->InsertAfterCommands[next()];
466796684b4SGeorge Rimar     else if (consume("BEFORE"))
467796684b4SGeorge Rimar       Dest = &Script->InsertBeforeCommands[next()];
468796684b4SGeorge Rimar     else
469796684b4SGeorge Rimar       setError("expected AFTER/BEFORE, but got '" + next() + "'");
470796684b4SGeorge Rimar     if (Dest)
471796684b4SGeorge Rimar       Dest->insert(Dest->end(), V.begin(), V.end());
4729e2c8a9dSGeorge Rimar     return;
4739e2c8a9dSGeorge Rimar   }
4749e2c8a9dSGeorge Rimar 
4759e2c8a9dSGeorge Rimar   Script->SectionCommands.insert(Script->SectionCommands.end(), V.begin(),
4769e2c8a9dSGeorge Rimar                                  V.end());
4772ec34544SRui Ueyama }
4782ec34544SRui Ueyama 
4792ec34544SRui Ueyama static int precedence(StringRef Op) {
4802ec34544SRui Ueyama   return StringSwitch<int>(Op)
481aa92fca8SRui Ueyama       .Cases("*", "/", "%", 6)
482aa92fca8SRui Ueyama       .Cases("+", "-", 5)
483aa92fca8SRui Ueyama       .Cases("<<", ">>", 4)
484aa92fca8SRui Ueyama       .Cases("<", "<=", ">", ">=", "==", "!=", 3)
485aa92fca8SRui Ueyama       .Case("&", 2)
486aa92fca8SRui Ueyama       .Case("|", 1)
4872ec34544SRui Ueyama       .Default(-1);
4882ec34544SRui Ueyama }
4892ec34544SRui Ueyama 
4902ec34544SRui Ueyama StringMatcher ScriptParser::readFilePatterns() {
4912ec34544SRui Ueyama   std::vector<StringRef> V;
492b8a59c8aSBob Haarman   while (!errorCount() && !consume(")"))
4932ec34544SRui Ueyama     V.push_back(next());
4942ec34544SRui Ueyama   return StringMatcher(V);
4952ec34544SRui Ueyama }
4962ec34544SRui Ueyama 
4972ec34544SRui Ueyama SortSectionPolicy ScriptParser::readSortKind() {
4982ec34544SRui Ueyama   if (consume("SORT") || consume("SORT_BY_NAME"))
4992ec34544SRui Ueyama     return SortSectionPolicy::Name;
5002ec34544SRui Ueyama   if (consume("SORT_BY_ALIGNMENT"))
5012ec34544SRui Ueyama     return SortSectionPolicy::Alignment;
5022ec34544SRui Ueyama   if (consume("SORT_BY_INIT_PRIORITY"))
5032ec34544SRui Ueyama     return SortSectionPolicy::Priority;
5042ec34544SRui Ueyama   if (consume("SORT_NONE"))
5052ec34544SRui Ueyama     return SortSectionPolicy::None;
5062ec34544SRui Ueyama   return SortSectionPolicy::Default;
5072ec34544SRui Ueyama }
5082ec34544SRui Ueyama 
50903fc8d1eSRui Ueyama // Reads SECTIONS command contents in the following form:
51003fc8d1eSRui Ueyama //
51103fc8d1eSRui Ueyama // <contents> ::= <elem>*
51203fc8d1eSRui Ueyama // <elem>     ::= <exclude>? <glob-pattern>
51303fc8d1eSRui Ueyama // <exclude>  ::= "EXCLUDE_FILE" "(" <glob-pattern>+ ")"
51403fc8d1eSRui Ueyama //
51503fc8d1eSRui Ueyama // For example,
51603fc8d1eSRui Ueyama //
51703fc8d1eSRui Ueyama // *(.foo EXCLUDE_FILE (a.o) .bar EXCLUDE_FILE (b.o) .baz)
51803fc8d1eSRui Ueyama //
51903fc8d1eSRui Ueyama // is parsed as ".foo", ".bar" with "a.o", and ".baz" with "b.o".
52003fc8d1eSRui Ueyama // The semantics of that is section .foo in any file, section .bar in
52103fc8d1eSRui Ueyama // any file but a.o, and section .baz in any file but b.o.
5222ec34544SRui Ueyama std::vector<SectionPattern> ScriptParser::readInputSectionsList() {
5232ec34544SRui Ueyama   std::vector<SectionPattern> Ret;
524b8a59c8aSBob Haarman   while (!errorCount() && peek() != ")") {
5252ec34544SRui Ueyama     StringMatcher ExcludeFilePat;
5262ec34544SRui Ueyama     if (consume("EXCLUDE_FILE")) {
5272ec34544SRui Ueyama       expect("(");
5282ec34544SRui Ueyama       ExcludeFilePat = readFilePatterns();
5292ec34544SRui Ueyama     }
5302ec34544SRui Ueyama 
5312ec34544SRui Ueyama     std::vector<StringRef> V;
532b8a59c8aSBob Haarman     while (!errorCount() && peek() != ")" && peek() != "EXCLUDE_FILE")
5332ec34544SRui Ueyama       V.push_back(next());
5342ec34544SRui Ueyama 
5352ec34544SRui Ueyama     if (!V.empty())
5362ec34544SRui Ueyama       Ret.push_back({std::move(ExcludeFilePat), StringMatcher(V)});
5372ec34544SRui Ueyama     else
5382ec34544SRui Ueyama       setError("section pattern is expected");
5392ec34544SRui Ueyama   }
5402ec34544SRui Ueyama   return Ret;
5412ec34544SRui Ueyama }
5422ec34544SRui Ueyama 
5432ec34544SRui Ueyama // Reads contents of "SECTIONS" directive. That directive contains a
5442ec34544SRui Ueyama // list of glob patterns for input sections. The grammar is as follows.
5452ec34544SRui Ueyama //
5462ec34544SRui Ueyama // <patterns> ::= <section-list>
5472ec34544SRui Ueyama //              | <sort> "(" <section-list> ")"
5482ec34544SRui Ueyama //              | <sort> "(" <sort> "(" <section-list> ")" ")"
5492ec34544SRui Ueyama //
5502ec34544SRui Ueyama // <sort>     ::= "SORT" | "SORT_BY_NAME" | "SORT_BY_ALIGNMENT"
5512ec34544SRui Ueyama //              | "SORT_BY_INIT_PRIORITY" | "SORT_NONE"
5522ec34544SRui Ueyama //
5532ec34544SRui Ueyama // <section-list> is parsed by readInputSectionsList().
5542ec34544SRui Ueyama InputSectionDescription *
5552ec34544SRui Ueyama ScriptParser::readInputSectionRules(StringRef FilePattern) {
5562ec34544SRui Ueyama   auto *Cmd = make<InputSectionDescription>(FilePattern);
5572ec34544SRui Ueyama   expect("(");
5582ec34544SRui Ueyama 
559b8a59c8aSBob Haarman   while (!errorCount() && !consume(")")) {
5602ec34544SRui Ueyama     SortSectionPolicy Outer = readSortKind();
5612ec34544SRui Ueyama     SortSectionPolicy Inner = SortSectionPolicy::Default;
5622ec34544SRui Ueyama     std::vector<SectionPattern> V;
5632ec34544SRui Ueyama     if (Outer != SortSectionPolicy::Default) {
5642ec34544SRui Ueyama       expect("(");
5652ec34544SRui Ueyama       Inner = readSortKind();
5662ec34544SRui Ueyama       if (Inner != SortSectionPolicy::Default) {
5672ec34544SRui Ueyama         expect("(");
5682ec34544SRui Ueyama         V = readInputSectionsList();
5692ec34544SRui Ueyama         expect(")");
5702ec34544SRui Ueyama       } else {
5712ec34544SRui Ueyama         V = readInputSectionsList();
5722ec34544SRui Ueyama       }
5732ec34544SRui Ueyama       expect(")");
5742ec34544SRui Ueyama     } else {
5752ec34544SRui Ueyama       V = readInputSectionsList();
5762ec34544SRui Ueyama     }
5772ec34544SRui Ueyama 
5782ec34544SRui Ueyama     for (SectionPattern &Pat : V) {
5792ec34544SRui Ueyama       Pat.SortInner = Inner;
5802ec34544SRui Ueyama       Pat.SortOuter = Outer;
5812ec34544SRui Ueyama     }
5822ec34544SRui Ueyama 
5832ec34544SRui Ueyama     std::move(V.begin(), V.end(), std::back_inserter(Cmd->SectionPatterns));
5842ec34544SRui Ueyama   }
5852ec34544SRui Ueyama   return Cmd;
5862ec34544SRui Ueyama }
5872ec34544SRui Ueyama 
5882ec34544SRui Ueyama InputSectionDescription *
5892ec34544SRui Ueyama ScriptParser::readInputSectionDescription(StringRef Tok) {
5902ec34544SRui Ueyama   // Input section wildcard can be surrounded by KEEP.
5912ec34544SRui Ueyama   // https://sourceware.org/binutils/docs/ld/Input-Section-Keep.html#Input-Section-Keep
5922ec34544SRui Ueyama   if (Tok == "KEEP") {
5932ec34544SRui Ueyama     expect("(");
5942ec34544SRui Ueyama     StringRef FilePattern = next();
5952ec34544SRui Ueyama     InputSectionDescription *Cmd = readInputSectionRules(FilePattern);
5962ec34544SRui Ueyama     expect(")");
597ac27de9dSRui Ueyama     Script->KeptSections.push_back(Cmd);
5982ec34544SRui Ueyama     return Cmd;
5992ec34544SRui Ueyama   }
6002ec34544SRui Ueyama   return readInputSectionRules(Tok);
6012ec34544SRui Ueyama }
6022ec34544SRui Ueyama 
6032ec34544SRui Ueyama void ScriptParser::readSort() {
6042ec34544SRui Ueyama   expect("(");
6052ec34544SRui Ueyama   expect("CONSTRUCTORS");
6062ec34544SRui Ueyama   expect(")");
6072ec34544SRui Ueyama }
6082ec34544SRui Ueyama 
60923af89ccSRui Ueyama AssertCommand *ScriptParser::readAssert() {
61023af89ccSRui Ueyama   return make<AssertCommand>(readAssertExpr());
61123af89ccSRui Ueyama }
61223af89ccSRui Ueyama 
61323af89ccSRui Ueyama Expr ScriptParser::readAssertExpr() {
6142ec34544SRui Ueyama   expect("(");
6152ec34544SRui Ueyama   Expr E = readExpr();
6162ec34544SRui Ueyama   expect(",");
6172ec34544SRui Ueyama   StringRef Msg = unquote(next());
6182ec34544SRui Ueyama   expect(")");
619b579c439SRui Ueyama 
6202ec34544SRui Ueyama   return [=] {
6212ec34544SRui Ueyama     if (!E().getValue())
6222ec34544SRui Ueyama       error(Msg);
6232ec34544SRui Ueyama     return Script->getDot();
6242ec34544SRui Ueyama   };
6252ec34544SRui Ueyama }
6262ec34544SRui Ueyama 
6272ec34544SRui Ueyama // Reads a FILL(expr) command. We handle the FILL command as an
6282ec34544SRui Ueyama // alias for =fillexp section attribute, which is different from
6292ec34544SRui Ueyama // what GNU linkers do.
6302ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/Output-Section-Data.html
6312ec34544SRui Ueyama uint32_t ScriptParser::readFill() {
6322ec34544SRui Ueyama   expect("(");
6338acbf1ccSRui Ueyama   uint32_t V = parseFill(next());
6342ec34544SRui Ueyama   expect(")");
6352ec34544SRui Ueyama   return V;
6362ec34544SRui Ueyama }
6372ec34544SRui Ueyama 
6381c08e9f5SGeorge Rimar // Reads an expression and/or the special directive for an output
6391c08e9f5SGeorge Rimar // section definition. Directive is one of following: "(NOLOAD)",
6401c08e9f5SGeorge Rimar // "(COPY)", "(INFO)" or "(OVERLAY)".
6413271d370SRui Ueyama //
6423271d370SRui Ueyama // An output section name can be followed by an address expression
6431c08e9f5SGeorge Rimar // and/or directive. This grammar is not LL(1) because "(" can be
64497f4d158SGeorge Rimar // interpreted as either the beginning of some expression or beginning
6451c08e9f5SGeorge Rimar // of directive.
6463271d370SRui Ueyama //
647b579c439SRui Ueyama // https://sourceware.org/binutils/docs/ld/Output-Section-Address.html
648fbb0463fSGeorge Rimar // https://sourceware.org/binutils/docs/ld/Output-Section-Type.html
6498c022ca7SRafael Espindola void ScriptParser::readSectionAddressType(OutputSection *Cmd) {
6503271d370SRui Ueyama   if (consume("(")) {
6513271d370SRui Ueyama     if (consume("NOLOAD")) {
6523271d370SRui Ueyama       expect(")");
6533271d370SRui Ueyama       Cmd->Noload = true;
6543271d370SRui Ueyama       return;
6553271d370SRui Ueyama     }
6561c08e9f5SGeorge Rimar     if (consume("COPY") || consume("INFO") || consume("OVERLAY")) {
6571c08e9f5SGeorge Rimar       expect(")");
6581c08e9f5SGeorge Rimar       Cmd->NonAlloc = true;
6591c08e9f5SGeorge Rimar       return;
6601c08e9f5SGeorge Rimar     }
6613271d370SRui Ueyama     Cmd->AddrExpr = readExpr();
6623271d370SRui Ueyama     expect(")");
6633271d370SRui Ueyama   } else {
6643271d370SRui Ueyama     Cmd->AddrExpr = readExpr();
6653271d370SRui Ueyama   }
6663271d370SRui Ueyama 
667fbb0463fSGeorge Rimar   if (consume("(")) {
668fbb0463fSGeorge Rimar     expect("NOLOAD");
669fbb0463fSGeorge Rimar     expect(")");
670fbb0463fSGeorge Rimar     Cmd->Noload = true;
671fbb0463fSGeorge Rimar   }
672fbb0463fSGeorge Rimar }
673fbb0463fSGeorge Rimar 
674f22ec9ddSGeorge Rimar static Expr checkAlignment(Expr E, std::string &Loc) {
675f22ec9ddSGeorge Rimar   return [=] {
676f22ec9ddSGeorge Rimar     uint64_t Alignment = std::max((uint64_t)1, E().getValue());
677f22ec9ddSGeorge Rimar     if (!isPowerOf2_64(Alignment)) {
678f22ec9ddSGeorge Rimar       error(Loc + ": alignment must be power of 2");
679f22ec9ddSGeorge Rimar       return (uint64_t)1; // Return a dummy value.
680f22ec9ddSGeorge Rimar     }
681f22ec9ddSGeorge Rimar     return Alignment;
682f22ec9ddSGeorge Rimar   };
683f22ec9ddSGeorge Rimar }
684f22ec9ddSGeorge Rimar 
6858c022ca7SRafael Espindola OutputSection *ScriptParser::readOutputSectionDescription(StringRef OutSec) {
6868c022ca7SRafael Espindola   OutputSection *Cmd =
6878c022ca7SRafael Espindola       Script->createOutputSection(OutSec, getCurrentLocation());
6883271d370SRui Ueyama 
689c4df670dSGeorge Rimar   size_t SymbolsReferenced = Script->ReferencedSymbols.size();
690c4df670dSGeorge Rimar 
6913271d370SRui Ueyama   if (peek() != ":")
6923271d370SRui Ueyama     readSectionAddressType(Cmd);
6932ec34544SRui Ueyama   expect(":");
6942ec34544SRui Ueyama 
695f22ec9ddSGeorge Rimar   std::string Location = getCurrentLocation();
6962ec34544SRui Ueyama   if (consume("AT"))
6972ec34544SRui Ueyama     Cmd->LMAExpr = readParenExpr();
6982ec34544SRui Ueyama   if (consume("ALIGN"))
699f22ec9ddSGeorge Rimar     Cmd->AlignExpr = checkAlignment(readParenExpr(), Location);
7002ec34544SRui Ueyama   if (consume("SUBALIGN"))
701f22ec9ddSGeorge Rimar     Cmd->SubalignExpr = checkAlignment(readParenExpr(), Location);
7022ec34544SRui Ueyama 
7032ec34544SRui Ueyama   // Parse constraints.
7042ec34544SRui Ueyama   if (consume("ONLY_IF_RO"))
7052ec34544SRui Ueyama     Cmd->Constraint = ConstraintKind::ReadOnly;
7062ec34544SRui Ueyama   if (consume("ONLY_IF_RW"))
7072ec34544SRui Ueyama     Cmd->Constraint = ConstraintKind::ReadWrite;
7082ec34544SRui Ueyama   expect("{");
7092ec34544SRui Ueyama 
710b8a59c8aSBob Haarman   while (!errorCount() && !consume("}")) {
7112ec34544SRui Ueyama     StringRef Tok = next();
7122ec34544SRui Ueyama     if (Tok == ";") {
7132ec34544SRui Ueyama       // Empty commands are allowed. Do nothing here.
714b579c439SRui Ueyama     } else if (SymbolAssignment *Assign = readProvideOrAssignment(Tok)) {
7156b394caaSRui Ueyama       Cmd->SectionCommands.push_back(Assign);
716f0403c60SRui Ueyama     } else if (ByteCommand *Data = readByteCommand(Tok)) {
7176b394caaSRui Ueyama       Cmd->SectionCommands.push_back(Data);
7182ec34544SRui Ueyama     } else if (Tok == "ASSERT") {
7196b394caaSRui Ueyama       Cmd->SectionCommands.push_back(readAssert());
7202ec34544SRui Ueyama       expect(";");
7212ec34544SRui Ueyama     } else if (Tok == "CONSTRUCTORS") {
7222ec34544SRui Ueyama       // CONSTRUCTORS is a keyword to make the linker recognize C++ ctors/dtors
7232ec34544SRui Ueyama       // by name. This is for very old file formats such as ECOFF/XCOFF.
7242ec34544SRui Ueyama       // For ELF, we should ignore.
7252ec34544SRui Ueyama     } else if (Tok == "FILL") {
7262ec34544SRui Ueyama       Cmd->Filler = readFill();
7272ec34544SRui Ueyama     } else if (Tok == "SORT") {
7282ec34544SRui Ueyama       readSort();
7292ec34544SRui Ueyama     } else if (peek() == "(") {
7306b394caaSRui Ueyama       Cmd->SectionCommands.push_back(readInputSectionDescription(Tok));
7312ec34544SRui Ueyama     } else {
7322ec34544SRui Ueyama       setError("unknown command " + Tok);
7332ec34544SRui Ueyama     }
7342ec34544SRui Ueyama   }
7352ec34544SRui Ueyama 
7362ec34544SRui Ueyama   if (consume(">"))
7372ec34544SRui Ueyama     Cmd->MemoryRegionName = next();
7382ec34544SRui Ueyama 
7395d01a8beSGeorge Rimar   if (consume("AT")) {
7405d01a8beSGeorge Rimar     expect(">");
7415d01a8beSGeorge Rimar     Cmd->LMARegionName = next();
7425d01a8beSGeorge Rimar   }
7435d01a8beSGeorge Rimar 
7445d01a8beSGeorge Rimar   if (Cmd->LMAExpr && !Cmd->LMARegionName.empty())
7455d01a8beSGeorge Rimar     error("section can't have both LMA and a load region");
7465d01a8beSGeorge Rimar 
7472ec34544SRui Ueyama   Cmd->Phdrs = readOutputSectionPhdrs();
7482ec34544SRui Ueyama 
7492ec34544SRui Ueyama   if (consume("="))
7508acbf1ccSRui Ueyama     Cmd->Filler = parseFill(next());
7512ec34544SRui Ueyama   else if (peek().startswith("="))
7528acbf1ccSRui Ueyama     Cmd->Filler = parseFill(next().drop_front());
7532ec34544SRui Ueyama 
7542ec34544SRui Ueyama   // Consume optional comma following output section command.
7552ec34544SRui Ueyama   consume(",");
7562ec34544SRui Ueyama 
757c4df670dSGeorge Rimar   if (Script->ReferencedSymbols.size() > SymbolsReferenced)
758c4df670dSGeorge Rimar     Cmd->ExpressionsUseSymbols = true;
7592ec34544SRui Ueyama   return Cmd;
7602ec34544SRui Ueyama }
7612ec34544SRui Ueyama 
7628acbf1ccSRui Ueyama // Parses a given string as a octal/decimal/hexadecimal number and
7638acbf1ccSRui Ueyama // returns it as a big-endian number. Used for `=<fillexp>`.
7642ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/Output-Section-Fill.html
7652ec34544SRui Ueyama //
7668acbf1ccSRui Ueyama // When reading a hexstring, ld.bfd handles it as a blob of arbitrary
7678acbf1ccSRui Ueyama // size, while ld.gold always handles it as a 32-bit big-endian number.
7688acbf1ccSRui Ueyama // We are compatible with ld.gold because it's easier to implement.
7698acbf1ccSRui Ueyama uint32_t ScriptParser::parseFill(StringRef Tok) {
770b58079d4SRui Ueyama   uint32_t V = 0;
771ab94768cSGeorge Rimar   if (!to_integer(Tok, V))
7722ec34544SRui Ueyama     setError("invalid filler expression: " + Tok);
773b58079d4SRui Ueyama 
774b58079d4SRui Ueyama   uint32_t Buf;
775b58079d4SRui Ueyama   write32be(&Buf, V);
776b58079d4SRui Ueyama   return Buf;
7772ec34544SRui Ueyama }
7782ec34544SRui Ueyama 
7792ec34544SRui Ueyama SymbolAssignment *ScriptParser::readProvideHidden(bool Provide, bool Hidden) {
7802ec34544SRui Ueyama   expect("(");
7812ec34544SRui Ueyama   SymbolAssignment *Cmd = readAssignment(next());
7822ec34544SRui Ueyama   Cmd->Provide = Provide;
7832ec34544SRui Ueyama   Cmd->Hidden = Hidden;
7842ec34544SRui Ueyama   expect(")");
7852ec34544SRui Ueyama   return Cmd;
7862ec34544SRui Ueyama }
7872ec34544SRui Ueyama 
7882ec34544SRui Ueyama SymbolAssignment *ScriptParser::readProvideOrAssignment(StringRef Tok) {
789e88b76a9SGeorge Rimar   size_t OldPos = Pos;
7902ec34544SRui Ueyama   SymbolAssignment *Cmd = nullptr;
791e88b76a9SGeorge Rimar   if (peek() == "=" || peek() == "+=")
7922ec34544SRui Ueyama     Cmd = readAssignment(Tok);
793e88b76a9SGeorge Rimar   else if (Tok == "PROVIDE")
7942ec34544SRui Ueyama     Cmd = readProvideHidden(true, false);
795e88b76a9SGeorge Rimar   else if (Tok == "HIDDEN")
7962ec34544SRui Ueyama     Cmd = readProvideHidden(false, true);
797e88b76a9SGeorge Rimar   else if (Tok == "PROVIDE_HIDDEN")
7982ec34544SRui Ueyama     Cmd = readProvideHidden(true, true);
799e88b76a9SGeorge Rimar 
800e88b76a9SGeorge Rimar   if (Cmd) {
801e88b76a9SGeorge Rimar     Cmd->CommandString =
802e88b76a9SGeorge Rimar         Tok.str() + " " +
803e88b76a9SGeorge Rimar         llvm::join(Tokens.begin() + OldPos, Tokens.begin() + Pos, " ");
804e88b76a9SGeorge Rimar     expect(";");
8052ec34544SRui Ueyama   }
8062ec34544SRui Ueyama   return Cmd;
8072ec34544SRui Ueyama }
8082ec34544SRui Ueyama 
8092ec34544SRui Ueyama SymbolAssignment *ScriptParser::readAssignment(StringRef Name) {
8102ec34544SRui Ueyama   StringRef Op = next();
8112ec34544SRui Ueyama   assert(Op == "=" || Op == "+=");
8122ec34544SRui Ueyama   Expr E = readExpr();
8132ec34544SRui Ueyama   if (Op == "+=") {
8142ec34544SRui Ueyama     std::string Loc = getCurrentLocation();
815722221f5SRui Ueyama     E = [=] { return add(Script->getSymbolValue(Name, Loc), E()); };
8162ec34544SRui Ueyama   }
817e88b76a9SGeorge Rimar   return make<SymbolAssignment>(Name, E, getCurrentLocation());
8182ec34544SRui Ueyama }
8192ec34544SRui Ueyama 
8202ec34544SRui Ueyama // This is an operator-precedence parser to parse a linker
8212ec34544SRui Ueyama // script expression.
8222ec34544SRui Ueyama Expr ScriptParser::readExpr() {
8232ec34544SRui Ueyama   // Our lexer is context-aware. Set the in-expression bit so that
8242ec34544SRui Ueyama   // they apply different tokenization rules.
8252ec34544SRui Ueyama   bool Orig = InExpr;
8262ec34544SRui Ueyama   InExpr = true;
8272ec34544SRui Ueyama   Expr E = readExpr1(readPrimary(), 0);
8282ec34544SRui Ueyama   InExpr = Orig;
8292ec34544SRui Ueyama   return E;
8302ec34544SRui Ueyama }
8312ec34544SRui Ueyama 
8327b91e213SGeorge Rimar Expr ScriptParser::combine(StringRef Op, Expr L, Expr R) {
8332ec34544SRui Ueyama   if (Op == "+")
8342ec34544SRui Ueyama     return [=] { return add(L(), R()); };
8352ec34544SRui Ueyama   if (Op == "-")
8362ec34544SRui Ueyama     return [=] { return sub(L(), R()); };
837b579c439SRui Ueyama   if (Op == "*")
8381d20222aSRui Ueyama     return [=] { return L().getValue() * R().getValue(); };
8397b91e213SGeorge Rimar   if (Op == "/") {
8407b91e213SGeorge Rimar     std::string Loc = getCurrentLocation();
8417b91e213SGeorge Rimar     return [=]() -> uint64_t {
8427b91e213SGeorge Rimar       if (uint64_t RV = R().getValue())
8437b91e213SGeorge Rimar         return L().getValue() / RV;
8447b91e213SGeorge Rimar       error(Loc + ": division by zero");
845067617f9SRui Ueyama       return 0;
8467b91e213SGeorge Rimar     };
8477b91e213SGeorge Rimar   }
8487b91e213SGeorge Rimar   if (Op == "%") {
8497b91e213SGeorge Rimar     std::string Loc = getCurrentLocation();
8507b91e213SGeorge Rimar     return [=]() -> uint64_t {
8517b91e213SGeorge Rimar       if (uint64_t RV = R().getValue())
8527b91e213SGeorge Rimar         return L().getValue() % RV;
8537b91e213SGeorge Rimar       error(Loc + ": modulo by zero");
854067617f9SRui Ueyama       return 0;
8557b91e213SGeorge Rimar     };
8567b91e213SGeorge Rimar   }
8572ec34544SRui Ueyama   if (Op == "<<")
8587e915511SRui Ueyama     return [=] { return L().getValue() << R().getValue(); };
8592ec34544SRui Ueyama   if (Op == ">>")
8607e915511SRui Ueyama     return [=] { return L().getValue() >> R().getValue(); };
8612ec34544SRui Ueyama   if (Op == "<")
8622ec34544SRui Ueyama     return [=] { return L().getValue() < R().getValue(); };
8632ec34544SRui Ueyama   if (Op == ">")
8642ec34544SRui Ueyama     return [=] { return L().getValue() > R().getValue(); };
8652ec34544SRui Ueyama   if (Op == ">=")
8662ec34544SRui Ueyama     return [=] { return L().getValue() >= R().getValue(); };
8672ec34544SRui Ueyama   if (Op == "<=")
8682ec34544SRui Ueyama     return [=] { return L().getValue() <= R().getValue(); };
8692ec34544SRui Ueyama   if (Op == "==")
8702ec34544SRui Ueyama     return [=] { return L().getValue() == R().getValue(); };
8712ec34544SRui Ueyama   if (Op == "!=")
8722ec34544SRui Ueyama     return [=] { return L().getValue() != R().getValue(); };
8732ec34544SRui Ueyama   if (Op == "&")
8742ec34544SRui Ueyama     return [=] { return bitAnd(L(), R()); };
8752ec34544SRui Ueyama   if (Op == "|")
8762ec34544SRui Ueyama     return [=] { return bitOr(L(), R()); };
8772ec34544SRui Ueyama   llvm_unreachable("invalid operator");
8782ec34544SRui Ueyama }
8792ec34544SRui Ueyama 
8802ec34544SRui Ueyama // This is a part of the operator-precedence parser. This function
8812ec34544SRui Ueyama // assumes that the remaining token stream starts with an operator.
8822ec34544SRui Ueyama Expr ScriptParser::readExpr1(Expr Lhs, int MinPrec) {
883b8a59c8aSBob Haarman   while (!atEOF() && !errorCount()) {
8842ec34544SRui Ueyama     // Read an operator and an expression.
8852ec34544SRui Ueyama     if (consume("?"))
8862ec34544SRui Ueyama       return readTernary(Lhs);
8872ec34544SRui Ueyama     StringRef Op1 = peek();
8882ec34544SRui Ueyama     if (precedence(Op1) < MinPrec)
8892ec34544SRui Ueyama       break;
8902ec34544SRui Ueyama     skip();
8912ec34544SRui Ueyama     Expr Rhs = readPrimary();
8922ec34544SRui Ueyama 
8932ec34544SRui Ueyama     // Evaluate the remaining part of the expression first if the
8942ec34544SRui Ueyama     // next operator has greater precedence than the previous one.
8952ec34544SRui Ueyama     // For example, if we have read "+" and "3", and if the next
8962ec34544SRui Ueyama     // operator is "*", then we'll evaluate 3 * ... part first.
8972ec34544SRui Ueyama     while (!atEOF()) {
8982ec34544SRui Ueyama       StringRef Op2 = peek();
8992ec34544SRui Ueyama       if (precedence(Op2) <= precedence(Op1))
9002ec34544SRui Ueyama         break;
9012ec34544SRui Ueyama       Rhs = readExpr1(Rhs, precedence(Op2));
9022ec34544SRui Ueyama     }
9032ec34544SRui Ueyama 
9042ec34544SRui Ueyama     Lhs = combine(Op1, Lhs, Rhs);
9052ec34544SRui Ueyama   }
9062ec34544SRui Ueyama   return Lhs;
9072ec34544SRui Ueyama }
9082ec34544SRui Ueyama 
9095fb17128SGeorge Rimar Expr ScriptParser::getPageSize() {
9105fb17128SGeorge Rimar   std::string Location = getCurrentLocation();
9115fb17128SGeorge Rimar   return [=]() -> uint64_t {
9125fb17128SGeorge Rimar     if (Target)
9132ec34544SRui Ueyama       return Target->PageSize;
9145fb17128SGeorge Rimar     error(Location + ": unable to calculate page size");
9155fb17128SGeorge Rimar     return 4096; // Return a dummy value.
9165fb17128SGeorge Rimar   };
9175fb17128SGeorge Rimar }
9185fb17128SGeorge Rimar 
9195fb17128SGeorge Rimar Expr ScriptParser::readConstant() {
9205fb17128SGeorge Rimar   StringRef S = readParenLiteral();
9215fb17128SGeorge Rimar   if (S == "COMMONPAGESIZE")
9225fb17128SGeorge Rimar     return getPageSize();
9232ec34544SRui Ueyama   if (S == "MAXPAGESIZE")
9245fb17128SGeorge Rimar     return [] { return Config->MaxPageSize; };
9255fb17128SGeorge Rimar   setError("unknown constant: " + S);
926b068b037SGeorge Rimar   return [] { return 0; };
9272ec34544SRui Ueyama }
9282ec34544SRui Ueyama 
9295c65088fSRui Ueyama // Parses Tok as an integer. It recognizes hexadecimal (prefixed with
9305c65088fSRui Ueyama // "0x" or suffixed with "H") and decimal numbers. Decimal numbers may
9315c65088fSRui Ueyama // have "K" (Ki) or "M" (Mi) suffixes.
9325c65088fSRui Ueyama static Optional<uint64_t> parseInt(StringRef Tok) {
9332ec34544SRui Ueyama   // Hexadecimal
9345c65088fSRui Ueyama   uint64_t Val;
9354092016bSRui Ueyama   if (Tok.startswith_lower("0x")) {
9364092016bSRui Ueyama     if (!to_integer(Tok.substr(2), Val, 16))
9374092016bSRui Ueyama       return None;
9385c65088fSRui Ueyama     return Val;
9394092016bSRui Ueyama   }
9404092016bSRui Ueyama   if (Tok.endswith_lower("H")) {
9414092016bSRui Ueyama     if (!to_integer(Tok.drop_back(), Val, 16))
9424092016bSRui Ueyama       return None;
9435c65088fSRui Ueyama     return Val;
9444092016bSRui Ueyama   }
9452ec34544SRui Ueyama 
9462ec34544SRui Ueyama   // Decimal
9472ec34544SRui Ueyama   if (Tok.endswith_lower("K")) {
948ab94768cSGeorge Rimar     if (!to_integer(Tok.drop_back(), Val, 10))
9495c65088fSRui Ueyama       return None;
9505c65088fSRui Ueyama     return Val * 1024;
9512ec34544SRui Ueyama   }
9525c65088fSRui Ueyama   if (Tok.endswith_lower("M")) {
953ab94768cSGeorge Rimar     if (!to_integer(Tok.drop_back(), Val, 10))
9545c65088fSRui Ueyama       return None;
9555c65088fSRui Ueyama     return Val * 1024 * 1024;
9565c65088fSRui Ueyama   }
957ab94768cSGeorge Rimar   if (!to_integer(Tok, Val, 10))
9585c65088fSRui Ueyama     return None;
9595c65088fSRui Ueyama   return Val;
9602ec34544SRui Ueyama }
9612ec34544SRui Ueyama 
962f0403c60SRui Ueyama ByteCommand *ScriptParser::readByteCommand(StringRef Tok) {
963b579c439SRui Ueyama   int Size = StringSwitch<int>(Tok)
9642ec34544SRui Ueyama                  .Case("BYTE", 1)
9652ec34544SRui Ueyama                  .Case("SHORT", 2)
9662ec34544SRui Ueyama                  .Case("LONG", 4)
9672ec34544SRui Ueyama                  .Case("QUAD", 8)
9682ec34544SRui Ueyama                  .Default(-1);
9692ec34544SRui Ueyama   if (Size == -1)
9702ec34544SRui Ueyama     return nullptr;
97184bcabcbSGeorge Rimar 
97284bcabcbSGeorge Rimar   size_t OldPos = Pos;
97384bcabcbSGeorge Rimar   Expr E = readParenExpr();
97484bcabcbSGeorge Rimar   std::string CommandString =
97584bcabcbSGeorge Rimar       Tok.str() + " " +
97684bcabcbSGeorge Rimar       llvm::join(Tokens.begin() + OldPos, Tokens.begin() + Pos, " ");
97784bcabcbSGeorge Rimar   return make<ByteCommand>(E, Size, CommandString);
9782ec34544SRui Ueyama }
9792ec34544SRui Ueyama 
9802ec34544SRui Ueyama StringRef ScriptParser::readParenLiteral() {
9812ec34544SRui Ueyama   expect("(");
9825e9c7762SRafael Espindola   bool Orig = InExpr;
9835e9c7762SRafael Espindola   InExpr = false;
9842ec34544SRui Ueyama   StringRef Tok = next();
9855e9c7762SRafael Espindola   InExpr = Orig;
9862ec34544SRui Ueyama   expect(")");
9872ec34544SRui Ueyama   return Tok;
9882ec34544SRui Ueyama }
9892ec34544SRui Ueyama 
990617e2f98SRui Ueyama static void checkIfExists(OutputSection *Cmd, StringRef Location) {
99105c4f67cSRafael Espindola   if (Cmd->Location.empty() && Script->ErrorOnMissingSection)
99205c4f67cSRafael Espindola     error(Location + ": undefined section " + Cmd->Name);
99305c4f67cSRafael Espindola }
99405c4f67cSRafael Espindola 
9952ec34544SRui Ueyama Expr ScriptParser::readPrimary() {
9962ec34544SRui Ueyama   if (peek() == "(")
9972ec34544SRui Ueyama     return readParenExpr();
9982ec34544SRui Ueyama 
9995c65088fSRui Ueyama   if (consume("~")) {
10002ec34544SRui Ueyama     Expr E = readPrimary();
1001b2fb84a1SRui Ueyama     return [=] { return ~E().getValue(); };
10022ec34544SRui Ueyama   }
10036f1d954eSHafiz Abid Qadeer   if (consume("!")) {
10046f1d954eSHafiz Abid Qadeer     Expr E = readPrimary();
10056f1d954eSHafiz Abid Qadeer     return [=] { return !E().getValue(); };
10066f1d954eSHafiz Abid Qadeer   }
10075c65088fSRui Ueyama   if (consume("-")) {
10082ec34544SRui Ueyama     Expr E = readPrimary();
1009b2fb84a1SRui Ueyama     return [=] { return -E().getValue(); };
10102ec34544SRui Ueyama   }
10112ec34544SRui Ueyama 
10125c65088fSRui Ueyama   StringRef Tok = next();
10135c65088fSRui Ueyama   std::string Location = getCurrentLocation();
10145c65088fSRui Ueyama 
10152ec34544SRui Ueyama   // Built-in functions are parsed here.
10162ec34544SRui Ueyama   // https://sourceware.org/binutils/docs/ld/Builtin-Functions.html.
10172ec34544SRui Ueyama   if (Tok == "ABSOLUTE") {
10182ec34544SRui Ueyama     Expr Inner = readParenExpr();
10192ec34544SRui Ueyama     return [=] {
10202ec34544SRui Ueyama       ExprValue I = Inner();
10212ec34544SRui Ueyama       I.ForceAbsolute = true;
10222ec34544SRui Ueyama       return I;
10232ec34544SRui Ueyama     };
10242ec34544SRui Ueyama   }
10252ec34544SRui Ueyama   if (Tok == "ADDR") {
10262ec34544SRui Ueyama     StringRef Name = readParenLiteral();
10274fbe3518SRui Ueyama     OutputSection *Sec = Script->getOrCreateOutputSection(Name);
102841c7ab4aSGeorge Rimar     return [=]() -> ExprValue {
10294fbe3518SRui Ueyama       checkIfExists(Sec, Location);
10304fbe3518SRui Ueyama       return {Sec, false, 0, Location};
103141c7ab4aSGeorge Rimar     };
10322ec34544SRui Ueyama   }
10332ec34544SRui Ueyama   if (Tok == "ALIGN") {
10342ec34544SRui Ueyama     expect("(");
10352ec34544SRui Ueyama     Expr E = readExpr();
1036f22ec9ddSGeorge Rimar     if (consume(")")) {
1037f22ec9ddSGeorge Rimar       E = checkAlignment(E, Location);
1038f22ec9ddSGeorge Rimar       return [=] { return alignTo(Script->getDot(), E().getValue()); };
1039f22ec9ddSGeorge Rimar     }
1040b579c439SRui Ueyama     expect(",");
1041f22ec9ddSGeorge Rimar     Expr E2 = checkAlignment(readExpr(), Location);
10422ec34544SRui Ueyama     expect(")");
10433c6de1a6SPetr Hosek     return [=] {
10443c6de1a6SPetr Hosek       ExprValue V = E();
1045f22ec9ddSGeorge Rimar       V.Alignment = E2().getValue();
10463c6de1a6SPetr Hosek       return V;
10473c6de1a6SPetr Hosek     };
10482ec34544SRui Ueyama   }
10492ec34544SRui Ueyama   if (Tok == "ALIGNOF") {
10502ec34544SRui Ueyama     StringRef Name = readParenLiteral();
10518c022ca7SRafael Espindola     OutputSection *Cmd = Script->getOrCreateOutputSection(Name);
1052617e2f98SRui Ueyama     return [=] {
1053617e2f98SRui Ueyama       checkIfExists(Cmd, Location);
1054617e2f98SRui Ueyama       return Cmd->Alignment;
1055617e2f98SRui Ueyama     };
10562ec34544SRui Ueyama   }
10572ec34544SRui Ueyama   if (Tok == "ASSERT")
105823af89ccSRui Ueyama     return readAssertExpr();
10595fb17128SGeorge Rimar   if (Tok == "CONSTANT")
10605fb17128SGeorge Rimar     return readConstant();
10612ec34544SRui Ueyama   if (Tok == "DATA_SEGMENT_ALIGN") {
10622ec34544SRui Ueyama     expect("(");
10632ec34544SRui Ueyama     Expr E = readExpr();
10642ec34544SRui Ueyama     expect(",");
10652ec34544SRui Ueyama     readExpr();
10662ec34544SRui Ueyama     expect(")");
106760833f6eSGeorge Rimar     return [=] {
106860833f6eSGeorge Rimar       return alignTo(Script->getDot(), std::max((uint64_t)1, E().getValue()));
106960833f6eSGeorge Rimar     };
10702ec34544SRui Ueyama   }
10712ec34544SRui Ueyama   if (Tok == "DATA_SEGMENT_END") {
10722ec34544SRui Ueyama     expect("(");
10732ec34544SRui Ueyama     expect(".");
10742ec34544SRui Ueyama     expect(")");
10752ec34544SRui Ueyama     return [] { return Script->getDot(); };
10762ec34544SRui Ueyama   }
10772ec34544SRui Ueyama   if (Tok == "DATA_SEGMENT_RELRO_END") {
10782ec34544SRui Ueyama     // GNU linkers implements more complicated logic to handle
10792ec34544SRui Ueyama     // DATA_SEGMENT_RELRO_END. We instead ignore the arguments and
10802ec34544SRui Ueyama     // just align to the next page boundary for simplicity.
10812ec34544SRui Ueyama     expect("(");
10822ec34544SRui Ueyama     readExpr();
10832ec34544SRui Ueyama     expect(",");
10842ec34544SRui Ueyama     readExpr();
10852ec34544SRui Ueyama     expect(")");
10865fb17128SGeorge Rimar     Expr E = getPageSize();
10875fb17128SGeorge Rimar     return [=] { return alignTo(Script->getDot(), E().getValue()); };
10882ec34544SRui Ueyama   }
10892ec34544SRui Ueyama   if (Tok == "DEFINED") {
10902ec34544SRui Ueyama     StringRef Name = readParenLiteral();
10919b18f50fSRui Ueyama     return [=] { return Symtab->find(Name) ? 1 : 0; };
10922ec34544SRui Ueyama   }
109391b95b61SRui Ueyama   if (Tok == "LENGTH") {
109491b95b61SRui Ueyama     StringRef Name = readParenLiteral();
1095b068b037SGeorge Rimar     if (Script->MemoryRegions.count(Name) == 0) {
109691b95b61SRui Ueyama       setError("memory region not defined: " + Name);
1097b068b037SGeorge Rimar       return [] { return 0; };
1098b068b037SGeorge Rimar     }
1099ac27de9dSRui Ueyama     return [=] { return Script->MemoryRegions[Name]->Length; };
110091b95b61SRui Ueyama   }
11012ec34544SRui Ueyama   if (Tok == "LOADADDR") {
11022ec34544SRui Ueyama     StringRef Name = readParenLiteral();
11038c022ca7SRafael Espindola     OutputSection *Cmd = Script->getOrCreateOutputSection(Name);
1104617e2f98SRui Ueyama     return [=] {
1105617e2f98SRui Ueyama       checkIfExists(Cmd, Location);
1106617e2f98SRui Ueyama       return Cmd->getLMA();
1107617e2f98SRui Ueyama     };
11082ec34544SRui Ueyama   }
1109fd11560fSGeorge Rimar   if (Tok == "MAX" || Tok == "MIN") {
1110fd11560fSGeorge Rimar     expect("(");
1111fd11560fSGeorge Rimar     Expr A = readExpr();
1112fd11560fSGeorge Rimar     expect(",");
1113fd11560fSGeorge Rimar     Expr B = readExpr();
1114fd11560fSGeorge Rimar     expect(")");
1115fd11560fSGeorge Rimar     if (Tok == "MIN")
1116fd11560fSGeorge Rimar       return [=] { return std::min(A().getValue(), B().getValue()); };
1117fd11560fSGeorge Rimar     return [=] { return std::max(A().getValue(), B().getValue()); };
1118fd11560fSGeorge Rimar   }
111991b95b61SRui Ueyama   if (Tok == "ORIGIN") {
112091b95b61SRui Ueyama     StringRef Name = readParenLiteral();
1121b068b037SGeorge Rimar     if (Script->MemoryRegions.count(Name) == 0) {
112291b95b61SRui Ueyama       setError("memory region not defined: " + Name);
1123b068b037SGeorge Rimar       return [] { return 0; };
1124b068b037SGeorge Rimar     }
1125ac27de9dSRui Ueyama     return [=] { return Script->MemoryRegions[Name]->Origin; };
112691b95b61SRui Ueyama   }
11272ec34544SRui Ueyama   if (Tok == "SEGMENT_START") {
11282ec34544SRui Ueyama     expect("(");
11292ec34544SRui Ueyama     skip();
11302ec34544SRui Ueyama     expect(",");
11312ec34544SRui Ueyama     Expr E = readExpr();
11322ec34544SRui Ueyama     expect(")");
11332ec34544SRui Ueyama     return [=] { return E(); };
11342ec34544SRui Ueyama   }
11352ec34544SRui Ueyama   if (Tok == "SIZEOF") {
11362ec34544SRui Ueyama     StringRef Name = readParenLiteral();
11378c022ca7SRafael Espindola     OutputSection *Cmd = Script->getOrCreateOutputSection(Name);
113805c4f67cSRafael Espindola     // Linker script does not create an output section if its content is empty.
113905c4f67cSRafael Espindola     // We want to allow SIZEOF(.foo) where .foo is a section which happened to
114005c4f67cSRafael Espindola     // be empty.
11418c022ca7SRafael Espindola     return [=] { return Cmd->Size; };
11422ec34544SRui Ueyama   }
11432ec34544SRui Ueyama   if (Tok == "SIZEOF_HEADERS")
11442ec34544SRui Ueyama     return [=] { return elf::getHeaderSize(); };
11452ec34544SRui Ueyama 
11464eb2eccbSRui Ueyama   // Tok is the dot.
11474eb2eccbSRui Ueyama   if (Tok == ".")
1148722221f5SRui Ueyama     return [=] { return Script->getSymbolValue(Tok, Location); };
11494eb2eccbSRui Ueyama 
11502ec34544SRui Ueyama   // Tok is a literal number.
11515c65088fSRui Ueyama   if (Optional<uint64_t> Val = parseInt(Tok))
11525c65088fSRui Ueyama     return [=] { return *Val; };
11532ec34544SRui Ueyama 
11542ec34544SRui Ueyama   // Tok is a symbol name.
11552ec34544SRui Ueyama   if (!isValidCIdentifier(Tok))
11562ec34544SRui Ueyama     setError("malformed number: " + Tok);
1157ac27de9dSRui Ueyama   Script->ReferencedSymbols.push_back(Tok);
1158722221f5SRui Ueyama   return [=] { return Script->getSymbolValue(Tok, Location); };
11592ec34544SRui Ueyama }
11602ec34544SRui Ueyama 
11612ec34544SRui Ueyama Expr ScriptParser::readTernary(Expr Cond) {
11622ec34544SRui Ueyama   Expr L = readExpr();
11632ec34544SRui Ueyama   expect(":");
11642ec34544SRui Ueyama   Expr R = readExpr();
11652ec34544SRui Ueyama   return [=] { return Cond().getValue() ? L() : R(); };
11662ec34544SRui Ueyama }
11672ec34544SRui Ueyama 
11682ec34544SRui Ueyama Expr ScriptParser::readParenExpr() {
11692ec34544SRui Ueyama   expect("(");
11702ec34544SRui Ueyama   Expr E = readExpr();
11712ec34544SRui Ueyama   expect(")");
11722ec34544SRui Ueyama   return E;
11732ec34544SRui Ueyama }
11742ec34544SRui Ueyama 
11752ec34544SRui Ueyama std::vector<StringRef> ScriptParser::readOutputSectionPhdrs() {
11762ec34544SRui Ueyama   std::vector<StringRef> Phdrs;
1177b8a59c8aSBob Haarman   while (!errorCount() && peek().startswith(":")) {
11782ec34544SRui Ueyama     StringRef Tok = next();
11792ec34544SRui Ueyama     Phdrs.push_back((Tok.size() == 1) ? next() : Tok.substr(1));
11802ec34544SRui Ueyama   }
11812ec34544SRui Ueyama   return Phdrs;
11822ec34544SRui Ueyama }
11832ec34544SRui Ueyama 
11842ec34544SRui Ueyama // Read a program header type name. The next token must be a
11852ec34544SRui Ueyama // name of a program header type or a constant (e.g. "0x3").
11862ec34544SRui Ueyama unsigned ScriptParser::readPhdrType() {
11872ec34544SRui Ueyama   StringRef Tok = next();
11885c65088fSRui Ueyama   if (Optional<uint64_t> Val = parseInt(Tok))
11895c65088fSRui Ueyama     return *Val;
11902ec34544SRui Ueyama 
11912ec34544SRui Ueyama   unsigned Ret = StringSwitch<unsigned>(Tok)
11922ec34544SRui Ueyama                      .Case("PT_NULL", PT_NULL)
11932ec34544SRui Ueyama                      .Case("PT_LOAD", PT_LOAD)
11942ec34544SRui Ueyama                      .Case("PT_DYNAMIC", PT_DYNAMIC)
11952ec34544SRui Ueyama                      .Case("PT_INTERP", PT_INTERP)
11962ec34544SRui Ueyama                      .Case("PT_NOTE", PT_NOTE)
11972ec34544SRui Ueyama                      .Case("PT_SHLIB", PT_SHLIB)
11982ec34544SRui Ueyama                      .Case("PT_PHDR", PT_PHDR)
11992ec34544SRui Ueyama                      .Case("PT_TLS", PT_TLS)
12002ec34544SRui Ueyama                      .Case("PT_GNU_EH_FRAME", PT_GNU_EH_FRAME)
12012ec34544SRui Ueyama                      .Case("PT_GNU_STACK", PT_GNU_STACK)
12022ec34544SRui Ueyama                      .Case("PT_GNU_RELRO", PT_GNU_RELRO)
12032ec34544SRui Ueyama                      .Case("PT_OPENBSD_RANDOMIZE", PT_OPENBSD_RANDOMIZE)
12042ec34544SRui Ueyama                      .Case("PT_OPENBSD_WXNEEDED", PT_OPENBSD_WXNEEDED)
12052ec34544SRui Ueyama                      .Case("PT_OPENBSD_BOOTDATA", PT_OPENBSD_BOOTDATA)
12062ec34544SRui Ueyama                      .Default(-1);
12072ec34544SRui Ueyama 
12082ec34544SRui Ueyama   if (Ret == (unsigned)-1) {
12092ec34544SRui Ueyama     setError("invalid program header type: " + Tok);
12102ec34544SRui Ueyama     return PT_NULL;
12112ec34544SRui Ueyama   }
12122ec34544SRui Ueyama   return Ret;
12132ec34544SRui Ueyama }
12142ec34544SRui Ueyama 
12152ec34544SRui Ueyama // Reads an anonymous version declaration.
12162ec34544SRui Ueyama void ScriptParser::readAnonymousDeclaration() {
12172ec34544SRui Ueyama   std::vector<SymbolVersion> Locals;
12182ec34544SRui Ueyama   std::vector<SymbolVersion> Globals;
12192ec34544SRui Ueyama   std::tie(Locals, Globals) = readSymbols();
12202ec34544SRui Ueyama 
12212ec34544SRui Ueyama   for (SymbolVersion V : Locals) {
12222ec34544SRui Ueyama     if (V.Name == "*")
12232ec34544SRui Ueyama       Config->DefaultSymbolVersion = VER_NDX_LOCAL;
12242ec34544SRui Ueyama     else
12252ec34544SRui Ueyama       Config->VersionScriptLocals.push_back(V);
12262ec34544SRui Ueyama   }
12272ec34544SRui Ueyama 
12282ec34544SRui Ueyama   for (SymbolVersion V : Globals)
12292ec34544SRui Ueyama     Config->VersionScriptGlobals.push_back(V);
12302ec34544SRui Ueyama 
12312ec34544SRui Ueyama   expect(";");
12322ec34544SRui Ueyama }
12332ec34544SRui Ueyama 
12342ec34544SRui Ueyama // Reads a non-anonymous version definition,
12352ec34544SRui Ueyama // e.g. "VerStr { global: foo; bar; local: *; };".
12362ec34544SRui Ueyama void ScriptParser::readVersionDeclaration(StringRef VerStr) {
12372ec34544SRui Ueyama   // Read a symbol list.
12382ec34544SRui Ueyama   std::vector<SymbolVersion> Locals;
12392ec34544SRui Ueyama   std::vector<SymbolVersion> Globals;
12402ec34544SRui Ueyama   std::tie(Locals, Globals) = readSymbols();
12412ec34544SRui Ueyama 
12422ec34544SRui Ueyama   for (SymbolVersion V : Locals) {
12432ec34544SRui Ueyama     if (V.Name == "*")
12442ec34544SRui Ueyama       Config->DefaultSymbolVersion = VER_NDX_LOCAL;
12452ec34544SRui Ueyama     else
12462ec34544SRui Ueyama       Config->VersionScriptLocals.push_back(V);
12472ec34544SRui Ueyama   }
12482ec34544SRui Ueyama 
12492ec34544SRui Ueyama   // Create a new version definition and add that to the global symbols.
12502ec34544SRui Ueyama   VersionDefinition Ver;
12512ec34544SRui Ueyama   Ver.Name = VerStr;
12522ec34544SRui Ueyama   Ver.Globals = Globals;
12532ec34544SRui Ueyama 
12542ec34544SRui Ueyama   // User-defined version number starts from 2 because 0 and 1 are
12552ec34544SRui Ueyama   // reserved for VER_NDX_LOCAL and VER_NDX_GLOBAL, respectively.
12562ec34544SRui Ueyama   Ver.Id = Config->VersionDefinitions.size() + 2;
12572ec34544SRui Ueyama   Config->VersionDefinitions.push_back(Ver);
12582ec34544SRui Ueyama 
12592ec34544SRui Ueyama   // Each version may have a parent version. For example, "Ver2"
12602ec34544SRui Ueyama   // defined as "Ver2 { global: foo; local: *; } Ver1;" has "Ver1"
12612ec34544SRui Ueyama   // as a parent. This version hierarchy is, probably against your
12622ec34544SRui Ueyama   // instinct, purely for hint; the runtime doesn't care about it
12632ec34544SRui Ueyama   // at all. In LLD, we simply ignore it.
12642ec34544SRui Ueyama   if (peek() != ";")
12652ec34544SRui Ueyama     skip();
12662ec34544SRui Ueyama   expect(";");
12672ec34544SRui Ueyama }
12682ec34544SRui Ueyama 
12691e77ad14SRui Ueyama static bool hasWildcard(StringRef S) {
12701e77ad14SRui Ueyama   return S.find_first_of("?*[") != StringRef::npos;
12711e77ad14SRui Ueyama }
12721e77ad14SRui Ueyama 
12732ec34544SRui Ueyama // Reads a list of symbols, e.g. "{ global: foo; bar; local: *; };".
12742ec34544SRui Ueyama std::pair<std::vector<SymbolVersion>, std::vector<SymbolVersion>>
12752ec34544SRui Ueyama ScriptParser::readSymbols() {
12762ec34544SRui Ueyama   std::vector<SymbolVersion> Locals;
12772ec34544SRui Ueyama   std::vector<SymbolVersion> Globals;
12782ec34544SRui Ueyama   std::vector<SymbolVersion> *V = &Globals;
12792ec34544SRui Ueyama 
1280b8a59c8aSBob Haarman   while (!errorCount()) {
12812ec34544SRui Ueyama     if (consume("}"))
12822ec34544SRui Ueyama       break;
12832ec34544SRui Ueyama     if (consumeLabel("local")) {
12842ec34544SRui Ueyama       V = &Locals;
12852ec34544SRui Ueyama       continue;
12862ec34544SRui Ueyama     }
12872ec34544SRui Ueyama     if (consumeLabel("global")) {
12882ec34544SRui Ueyama       V = &Globals;
12892ec34544SRui Ueyama       continue;
12902ec34544SRui Ueyama     }
12912ec34544SRui Ueyama 
12922ec34544SRui Ueyama     if (consume("extern")) {
12932ec34544SRui Ueyama       std::vector<SymbolVersion> Ext = readVersionExtern();
12942ec34544SRui Ueyama       V->insert(V->end(), Ext.begin(), Ext.end());
12952ec34544SRui Ueyama     } else {
12962ec34544SRui Ueyama       StringRef Tok = next();
12972ec34544SRui Ueyama       V->push_back({unquote(Tok), false, hasWildcard(Tok)});
12982ec34544SRui Ueyama     }
12992ec34544SRui Ueyama     expect(";");
13002ec34544SRui Ueyama   }
13012ec34544SRui Ueyama   return {Locals, Globals};
13022ec34544SRui Ueyama }
13032ec34544SRui Ueyama 
13042ec34544SRui Ueyama // Reads an "extern C++" directive, e.g.,
13052ec34544SRui Ueyama // "extern "C++" { ns::*; "f(int, double)"; };"
130617324d8bSRui Ueyama //
130717324d8bSRui Ueyama // The last semicolon is optional. E.g. this is OK:
130817324d8bSRui Ueyama // "extern "C++" { ns::*; "f(int, double)" };"
13092ec34544SRui Ueyama std::vector<SymbolVersion> ScriptParser::readVersionExtern() {
13102ec34544SRui Ueyama   StringRef Tok = next();
13112ec34544SRui Ueyama   bool IsCXX = Tok == "\"C++\"";
13122ec34544SRui Ueyama   if (!IsCXX && Tok != "\"C\"")
13132ec34544SRui Ueyama     setError("Unknown language");
13142ec34544SRui Ueyama   expect("{");
13152ec34544SRui Ueyama 
13162ec34544SRui Ueyama   std::vector<SymbolVersion> Ret;
1317b8a59c8aSBob Haarman   while (!errorCount() && peek() != "}") {
13182ec34544SRui Ueyama     StringRef Tok = next();
13192ec34544SRui Ueyama     bool HasWildcard = !Tok.startswith("\"") && hasWildcard(Tok);
13202ec34544SRui Ueyama     Ret.push_back({unquote(Tok), IsCXX, HasWildcard});
132117324d8bSRui Ueyama     if (consume("}"))
132217324d8bSRui Ueyama       return Ret;
13232ec34544SRui Ueyama     expect(";");
13242ec34544SRui Ueyama   }
13252ec34544SRui Ueyama 
13262ec34544SRui Ueyama   expect("}");
13272ec34544SRui Ueyama   return Ret;
13282ec34544SRui Ueyama }
13292ec34544SRui Ueyama 
13302ec34544SRui Ueyama uint64_t ScriptParser::readMemoryAssignment(StringRef S1, StringRef S2,
13312ec34544SRui Ueyama                                             StringRef S3) {
1332b579c439SRui Ueyama   if (!consume(S1) && !consume(S2) && !consume(S3)) {
13332ec34544SRui Ueyama     setError("expected one of: " + S1 + ", " + S2 + ", or " + S3);
13342ec34544SRui Ueyama     return 0;
13352ec34544SRui Ueyama   }
13362ec34544SRui Ueyama   expect("=");
1337040af7deSRui Ueyama   return readExpr()().getValue();
13382ec34544SRui Ueyama }
13392ec34544SRui Ueyama 
13402ec34544SRui Ueyama // Parse the MEMORY command as specified in:
13412ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/MEMORY.html
13422ec34544SRui Ueyama //
13432ec34544SRui Ueyama // MEMORY { name [(attr)] : ORIGIN = origin, LENGTH = len ... }
13442ec34544SRui Ueyama void ScriptParser::readMemory() {
13452ec34544SRui Ueyama   expect("{");
1346b8a59c8aSBob Haarman   while (!errorCount() && !consume("}")) {
13472ec34544SRui Ueyama     StringRef Name = next();
13482ec34544SRui Ueyama 
13492ec34544SRui Ueyama     uint32_t Flags = 0;
13502ec34544SRui Ueyama     uint32_t NegFlags = 0;
13512ec34544SRui Ueyama     if (consume("(")) {
13522ec34544SRui Ueyama       std::tie(Flags, NegFlags) = readMemoryAttributes();
13532ec34544SRui Ueyama       expect(")");
13542ec34544SRui Ueyama     }
13552ec34544SRui Ueyama     expect(":");
13562ec34544SRui Ueyama 
13572ec34544SRui Ueyama     uint64_t Origin = readMemoryAssignment("ORIGIN", "org", "o");
13582ec34544SRui Ueyama     expect(",");
13592ec34544SRui Ueyama     uint64_t Length = readMemoryAssignment("LENGTH", "len", "l");
13602ec34544SRui Ueyama 
13615f37541cSGeorge Rimar     // Add the memory region to the region map.
1362490f0a4dSRafael Espindola     MemoryRegion *MR =
1363490f0a4dSRafael Espindola         make<MemoryRegion>(Name, Origin, Length, Flags, NegFlags);
13640984cfa9SGeorge Rimar     if (!Script->MemoryRegions.insert({Name, MR}).second)
13650984cfa9SGeorge Rimar       setError("region '" + Name + "' already defined");
13662ec34544SRui Ueyama   }
13672ec34544SRui Ueyama }
13682ec34544SRui Ueyama 
13692ec34544SRui Ueyama // This function parses the attributes used to match against section
13702ec34544SRui Ueyama // flags when placing output sections in a memory region. These flags
13712ec34544SRui Ueyama // are only used when an explicit memory region name is not used.
13722ec34544SRui Ueyama std::pair<uint32_t, uint32_t> ScriptParser::readMemoryAttributes() {
13732ec34544SRui Ueyama   uint32_t Flags = 0;
13742ec34544SRui Ueyama   uint32_t NegFlags = 0;
13752ec34544SRui Ueyama   bool Invert = false;
13762ec34544SRui Ueyama 
13772ec34544SRui Ueyama   for (char C : next().lower()) {
13782ec34544SRui Ueyama     uint32_t Flag = 0;
13792ec34544SRui Ueyama     if (C == '!')
13802ec34544SRui Ueyama       Invert = !Invert;
13812ec34544SRui Ueyama     else if (C == 'w')
13822ec34544SRui Ueyama       Flag = SHF_WRITE;
13832ec34544SRui Ueyama     else if (C == 'x')
13842ec34544SRui Ueyama       Flag = SHF_EXECINSTR;
13852ec34544SRui Ueyama     else if (C == 'a')
13862ec34544SRui Ueyama       Flag = SHF_ALLOC;
13872ec34544SRui Ueyama     else if (C != 'r')
13882ec34544SRui Ueyama       setError("invalid memory region attribute");
13892ec34544SRui Ueyama 
13902ec34544SRui Ueyama     if (Invert)
13912ec34544SRui Ueyama       NegFlags |= Flag;
13922ec34544SRui Ueyama     else
13932ec34544SRui Ueyama       Flags |= Flag;
13942ec34544SRui Ueyama   }
13952ec34544SRui Ueyama   return {Flags, NegFlags};
13962ec34544SRui Ueyama }
13972ec34544SRui Ueyama 
13982ec34544SRui Ueyama void elf::readLinkerScript(MemoryBufferRef MB) {
13992ec34544SRui Ueyama   ScriptParser(MB).readLinkerScript();
14002ec34544SRui Ueyama }
14012ec34544SRui Ueyama 
14022ec34544SRui Ueyama void elf::readVersionScript(MemoryBufferRef MB) {
14032ec34544SRui Ueyama   ScriptParser(MB).readVersionScript();
14042ec34544SRui Ueyama }
14052ec34544SRui Ueyama 
14062ec34544SRui Ueyama void elf::readDynamicList(MemoryBufferRef MB) {
14072ec34544SRui Ueyama   ScriptParser(MB).readDynamicList();
14082ec34544SRui Ueyama }
14098c7e8cceSPetr Hosek 
14108c7e8cceSPetr Hosek void elf::readDefsym(StringRef Name, MemoryBufferRef MB) {
14118c7e8cceSPetr Hosek   ScriptParser(MB).readDefsym(Name);
14128c7e8cceSPetr Hosek }
1413