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();
662ec34544SRui Ueyama   void readMemory();
672ec34544SRui Ueyama   void readOutput();
682ec34544SRui Ueyama   void readOutputArch();
692ec34544SRui Ueyama   void readOutputFormat();
702ec34544SRui Ueyama   void readPhdrs();
715f37541cSGeorge Rimar   void readRegionAlias();
722ec34544SRui Ueyama   void readSearchDir();
732ec34544SRui Ueyama   void readSections();
742ec34544SRui Ueyama   void readVersion();
752ec34544SRui Ueyama   void readVersionScriptCommand();
762ec34544SRui Ueyama 
772ec34544SRui Ueyama   SymbolAssignment *readAssignment(StringRef Name);
78f0403c60SRui Ueyama   ByteCommand *readByteCommand(StringRef Tok);
792ec34544SRui Ueyama   uint32_t readFill();
808acbf1ccSRui Ueyama   uint32_t parseFill(StringRef Tok);
818c022ca7SRafael Espindola   void readSectionAddressType(OutputSection *Cmd);
828c022ca7SRafael Espindola   OutputSection *readOutputSectionDescription(StringRef OutSec);
832ec34544SRui Ueyama   std::vector<StringRef> readOutputSectionPhdrs();
842ec34544SRui Ueyama   InputSectionDescription *readInputSectionDescription(StringRef Tok);
852ec34544SRui Ueyama   StringMatcher readFilePatterns();
862ec34544SRui Ueyama   std::vector<SectionPattern> readInputSectionsList();
872ec34544SRui Ueyama   InputSectionDescription *readInputSectionRules(StringRef FilePattern);
882ec34544SRui Ueyama   unsigned readPhdrType();
892ec34544SRui Ueyama   SortSectionPolicy readSortKind();
902ec34544SRui Ueyama   SymbolAssignment *readProvideHidden(bool Provide, bool Hidden);
912ec34544SRui Ueyama   SymbolAssignment *readProvideOrAssignment(StringRef Tok);
922ec34544SRui Ueyama   void readSort();
9323af89ccSRui Ueyama   AssertCommand *readAssert();
9423af89ccSRui Ueyama   Expr readAssertExpr();
955fb17128SGeorge Rimar   Expr readConstant();
965fb17128SGeorge Rimar   Expr getPageSize();
972ec34544SRui Ueyama 
982ec34544SRui Ueyama   uint64_t readMemoryAssignment(StringRef, StringRef, StringRef);
992ec34544SRui Ueyama   std::pair<uint32_t, uint32_t> readMemoryAttributes();
1002ec34544SRui Ueyama 
1017b91e213SGeorge Rimar   Expr combine(StringRef Op, Expr L, Expr R);
1022ec34544SRui Ueyama   Expr readExpr();
1032ec34544SRui Ueyama   Expr readExpr1(Expr Lhs, int MinPrec);
1042ec34544SRui Ueyama   StringRef readParenLiteral();
1052ec34544SRui Ueyama   Expr readPrimary();
1062ec34544SRui Ueyama   Expr readTernary(Expr Cond);
1072ec34544SRui Ueyama   Expr readParenExpr();
1082ec34544SRui Ueyama 
1092ec34544SRui Ueyama   // For parsing version script.
1102ec34544SRui Ueyama   std::vector<SymbolVersion> readVersionExtern();
1112ec34544SRui Ueyama   void readAnonymousDeclaration();
1122ec34544SRui Ueyama   void readVersionDeclaration(StringRef VerStr);
1132ec34544SRui Ueyama 
1142ec34544SRui Ueyama   std::pair<std::vector<SymbolVersion>, std::vector<SymbolVersion>>
1152ec34544SRui Ueyama   readSymbols();
1162ec34544SRui Ueyama 
117fd06b025SRui Ueyama   // True if a script being read is in a subdirectory specified by -sysroot.
1182ec34544SRui Ueyama   bool IsUnderSysroot;
1190440be4aSRui Ueyama 
1200440be4aSRui Ueyama   // A set to detect an INCLUDE() cycle.
1210440be4aSRui Ueyama   StringSet<> Seen;
1222ec34544SRui Ueyama };
12396b3fe02SRui Ueyama } // namespace
1242ec34544SRui Ueyama 
1251e77ad14SRui Ueyama static StringRef unquote(StringRef S) {
1261e77ad14SRui Ueyama   if (S.startswith("\""))
1271e77ad14SRui Ueyama     return S.substr(1, S.size() - 2);
1281e77ad14SRui Ueyama   return S;
1291e77ad14SRui Ueyama }
1301e77ad14SRui Ueyama 
1312ec34544SRui Ueyama static bool isUnderSysroot(StringRef Path) {
1322ec34544SRui Ueyama   if (Config->Sysroot == "")
1332ec34544SRui Ueyama     return false;
1342ec34544SRui Ueyama   for (; !Path.empty(); Path = sys::path::parent_path(Path))
1352ec34544SRui Ueyama     if (sys::fs::equivalent(Config->Sysroot, Path))
1362ec34544SRui Ueyama       return true;
1372ec34544SRui Ueyama   return false;
1382ec34544SRui Ueyama }
1392ec34544SRui Ueyama 
1402ec34544SRui Ueyama // Some operations only support one non absolute value. Move the
1412ec34544SRui Ueyama // absolute one to the right hand side for convenience.
1422ec34544SRui Ueyama static void moveAbsRight(ExprValue &A, ExprValue &B) {
14323be5e8dSRafael Espindola   if (A.Sec == nullptr || (A.ForceAbsolute && !B.isAbsolute()))
1442ec34544SRui Ueyama     std::swap(A, B);
1452ec34544SRui Ueyama   if (!B.isAbsolute())
14641c7ab4aSGeorge Rimar     error(A.Loc + ": at least one side of the expression must be absolute");
1472ec34544SRui Ueyama }
1482ec34544SRui Ueyama 
1492ec34544SRui Ueyama static ExprValue add(ExprValue A, ExprValue B) {
1502ec34544SRui Ueyama   moveAbsRight(A, B);
151a6acd23cSRafael Espindola   return {A.Sec, A.ForceAbsolute, A.getSectionOffset() + B.getValue(), A.Loc};
1522ec34544SRui Ueyama }
1532ec34544SRui Ueyama 
1542ec34544SRui Ueyama static ExprValue sub(ExprValue A, ExprValue B) {
15563a4a98eSRafael Espindola   // The distance between two symbols in sections is absolute.
1569cbb6dd1SRafael Espindola   if (!A.isAbsolute() && !B.isAbsolute())
1579cbb6dd1SRafael Espindola     return A.getValue() - B.getValue();
1584fbe3518SRui Ueyama   return {A.Sec, false, A.getSectionOffset() - B.getValue(), A.Loc};
1592ec34544SRui Ueyama }
1602ec34544SRui Ueyama 
1612ec34544SRui Ueyama static ExprValue bitAnd(ExprValue A, ExprValue B) {
1622ec34544SRui Ueyama   moveAbsRight(A, B);
1632ec34544SRui Ueyama   return {A.Sec, A.ForceAbsolute,
16441c7ab4aSGeorge Rimar           (A.getValue() & B.getValue()) - A.getSecAddr(), A.Loc};
1652ec34544SRui Ueyama }
1662ec34544SRui Ueyama 
1672ec34544SRui Ueyama static ExprValue bitOr(ExprValue A, ExprValue B) {
1682ec34544SRui Ueyama   moveAbsRight(A, B);
1692ec34544SRui Ueyama   return {A.Sec, A.ForceAbsolute,
17041c7ab4aSGeorge Rimar           (A.getValue() | B.getValue()) - A.getSecAddr(), A.Loc};
1712ec34544SRui Ueyama }
1722ec34544SRui Ueyama 
1732ec34544SRui Ueyama void ScriptParser::readDynamicList() {
1748016bdfdSRafael Espindola   Config->HasDynamicList = true;
1752ec34544SRui Ueyama   expect("{");
176d72d97b3SRafael Espindola   std::vector<SymbolVersion> Locals;
177d72d97b3SRafael Espindola   std::vector<SymbolVersion> Globals;
178d72d97b3SRafael Espindola   std::tie(Locals, Globals) = readSymbols();
179d72d97b3SRafael Espindola   expect(";");
180d72d97b3SRafael Espindola 
181d72d97b3SRafael Espindola   if (!atEOF()) {
1822ec34544SRui Ueyama     setError("EOF expected, but got " + next());
183d72d97b3SRafael Espindola     return;
184d72d97b3SRafael Espindola   }
185d72d97b3SRafael Espindola   if (!Locals.empty()) {
186d72d97b3SRafael Espindola     setError("\"local:\" scope not supported in --dynamic-list");
187d72d97b3SRafael Espindola     return;
188d72d97b3SRafael Espindola   }
189d72d97b3SRafael Espindola 
190d72d97b3SRafael Espindola   for (SymbolVersion V : Globals)
191d72d97b3SRafael Espindola     Config->DynamicList.push_back(V);
1922ec34544SRui Ueyama }
1932ec34544SRui Ueyama 
1942ec34544SRui Ueyama void ScriptParser::readVersionScript() {
1952ec34544SRui Ueyama   readVersionScriptCommand();
1962ec34544SRui Ueyama   if (!atEOF())
1972ec34544SRui Ueyama     setError("EOF expected, but got " + next());
1982ec34544SRui Ueyama }
1992ec34544SRui Ueyama 
2002ec34544SRui Ueyama void ScriptParser::readVersionScriptCommand() {
2012ec34544SRui Ueyama   if (consume("{")) {
2022ec34544SRui Ueyama     readAnonymousDeclaration();
2032ec34544SRui Ueyama     return;
2042ec34544SRui Ueyama   }
2052ec34544SRui Ueyama 
206b8a59c8aSBob Haarman   while (!atEOF() && !errorCount() && peek() != "}") {
2072ec34544SRui Ueyama     StringRef VerStr = next();
2082ec34544SRui Ueyama     if (VerStr == "{") {
2092ec34544SRui Ueyama       setError("anonymous version definition is used in "
2102ec34544SRui Ueyama                "combination with other version definitions");
2112ec34544SRui Ueyama       return;
2122ec34544SRui Ueyama     }
2132ec34544SRui Ueyama     expect("{");
2142ec34544SRui Ueyama     readVersionDeclaration(VerStr);
2152ec34544SRui Ueyama   }
2162ec34544SRui Ueyama }
2172ec34544SRui Ueyama 
2182ec34544SRui Ueyama void ScriptParser::readVersion() {
2192ec34544SRui Ueyama   expect("{");
2202ec34544SRui Ueyama   readVersionScriptCommand();
2212ec34544SRui Ueyama   expect("}");
2222ec34544SRui Ueyama }
2232ec34544SRui Ueyama 
2242ec34544SRui Ueyama void ScriptParser::readLinkerScript() {
2252ec34544SRui Ueyama   while (!atEOF()) {
2262ec34544SRui Ueyama     StringRef Tok = next();
2272ec34544SRui Ueyama     if (Tok == ";")
2282ec34544SRui Ueyama       continue;
2292ec34544SRui Ueyama 
2302ec34544SRui Ueyama     if (Tok == "ASSERT") {
2316b394caaSRui Ueyama       Script->SectionCommands.push_back(readAssert());
2322ec34544SRui Ueyama     } else if (Tok == "ENTRY") {
2332ec34544SRui Ueyama       readEntry();
2342ec34544SRui Ueyama     } else if (Tok == "EXTERN") {
2352ec34544SRui Ueyama       readExtern();
2362ec34544SRui Ueyama     } else if (Tok == "GROUP" || Tok == "INPUT") {
2372ec34544SRui Ueyama       readGroup();
2382ec34544SRui Ueyama     } else if (Tok == "INCLUDE") {
2392ec34544SRui Ueyama       readInclude();
2402ec34544SRui Ueyama     } else if (Tok == "MEMORY") {
2412ec34544SRui Ueyama       readMemory();
2422ec34544SRui Ueyama     } else if (Tok == "OUTPUT") {
2432ec34544SRui Ueyama       readOutput();
2442ec34544SRui Ueyama     } else if (Tok == "OUTPUT_ARCH") {
2452ec34544SRui Ueyama       readOutputArch();
2462ec34544SRui Ueyama     } else if (Tok == "OUTPUT_FORMAT") {
2472ec34544SRui Ueyama       readOutputFormat();
2482ec34544SRui Ueyama     } else if (Tok == "PHDRS") {
2492ec34544SRui Ueyama       readPhdrs();
2505f37541cSGeorge Rimar     } else if (Tok == "REGION_ALIAS") {
2515f37541cSGeorge Rimar       readRegionAlias();
2522ec34544SRui Ueyama     } else if (Tok == "SEARCH_DIR") {
2532ec34544SRui Ueyama       readSearchDir();
2542ec34544SRui Ueyama     } else if (Tok == "SECTIONS") {
2552ec34544SRui Ueyama       readSections();
2562ec34544SRui Ueyama     } else if (Tok == "VERSION") {
2572ec34544SRui Ueyama       readVersion();
2582ec34544SRui Ueyama     } else if (SymbolAssignment *Cmd = readProvideOrAssignment(Tok)) {
2596b394caaSRui Ueyama       Script->SectionCommands.push_back(Cmd);
2602ec34544SRui Ueyama     } else {
2612ec34544SRui Ueyama       setError("unknown directive: " + Tok);
2622ec34544SRui Ueyama     }
2632ec34544SRui Ueyama   }
2642ec34544SRui Ueyama }
2652ec34544SRui Ueyama 
2668c7e8cceSPetr Hosek void ScriptParser::readDefsym(StringRef Name) {
2678c7e8cceSPetr Hosek   Expr E = readExpr();
2688c7e8cceSPetr Hosek   if (!atEOF())
2698c7e8cceSPetr Hosek     setError("EOF expected, but got " + next());
270*84bcabcbSGeorge Rimar   SymbolAssignment *Cmd = make<SymbolAssignment>(Name, E, getCurrentLocation(),
271*84bcabcbSGeorge Rimar                                                  "" /*CommandString*/);
2728c7e8cceSPetr Hosek   Script->SectionCommands.push_back(Cmd);
2738c7e8cceSPetr Hosek }
2748c7e8cceSPetr Hosek 
2752ec34544SRui Ueyama void ScriptParser::addFile(StringRef S) {
2762ec34544SRui Ueyama   if (IsUnderSysroot && S.startswith("/")) {
2772ec34544SRui Ueyama     SmallString<128> PathData;
2782ec34544SRui Ueyama     StringRef Path = (Config->Sysroot + S).toStringRef(PathData);
2792ec34544SRui Ueyama     if (sys::fs::exists(Path)) {
280a76349bfSEvgeniy Stepanov       Driver->addFile(Saver.save(Path), /*WithLOption=*/false);
2812ec34544SRui Ueyama       return;
2822ec34544SRui Ueyama     }
2832ec34544SRui Ueyama   }
2842ec34544SRui Ueyama 
285875ae82bSRui Ueyama   if (S.startswith("/")) {
286a76349bfSEvgeniy Stepanov     Driver->addFile(S, /*WithLOption=*/false);
2872ec34544SRui Ueyama   } else if (S.startswith("=")) {
2882ec34544SRui Ueyama     if (Config->Sysroot.empty())
289a76349bfSEvgeniy Stepanov       Driver->addFile(S.substr(1), /*WithLOption=*/false);
2902ec34544SRui Ueyama     else
291a76349bfSEvgeniy Stepanov       Driver->addFile(Saver.save(Config->Sysroot + "/" + S.substr(1)),
292a76349bfSEvgeniy Stepanov                       /*WithLOption=*/false);
2932ec34544SRui Ueyama   } else if (S.startswith("-l")) {
2942ec34544SRui Ueyama     Driver->addLibrary(S.substr(2));
2952ec34544SRui Ueyama   } else if (sys::fs::exists(S)) {
296a76349bfSEvgeniy Stepanov     Driver->addFile(S, /*WithLOption=*/false);
2972ec34544SRui Ueyama   } else {
2982ec34544SRui Ueyama     if (Optional<std::string> Path = findFromSearchPaths(S))
299a76349bfSEvgeniy Stepanov       Driver->addFile(Saver.save(*Path), /*WithLOption=*/true);
3002ec34544SRui Ueyama     else
3012ec34544SRui Ueyama       setError("unable to find " + S);
3022ec34544SRui Ueyama   }
3032ec34544SRui Ueyama }
3042ec34544SRui Ueyama 
3052ec34544SRui Ueyama void ScriptParser::readAsNeeded() {
3062ec34544SRui Ueyama   expect("(");
3072ec34544SRui Ueyama   bool Orig = Config->AsNeeded;
3082ec34544SRui Ueyama   Config->AsNeeded = true;
309b8a59c8aSBob Haarman   while (!errorCount() && !consume(")"))
3102ec34544SRui Ueyama     addFile(unquote(next()));
3112ec34544SRui Ueyama   Config->AsNeeded = Orig;
3122ec34544SRui Ueyama }
3132ec34544SRui Ueyama 
3142ec34544SRui Ueyama void ScriptParser::readEntry() {
3152ec34544SRui Ueyama   // -e <symbol> takes predecence over ENTRY(<symbol>).
3162ec34544SRui Ueyama   expect("(");
3172ec34544SRui Ueyama   StringRef Tok = next();
3182ec34544SRui Ueyama   if (Config->Entry.empty())
3192ec34544SRui Ueyama     Config->Entry = Tok;
3202ec34544SRui Ueyama   expect(")");
3212ec34544SRui Ueyama }
3222ec34544SRui Ueyama 
3232ec34544SRui Ueyama void ScriptParser::readExtern() {
3242ec34544SRui Ueyama   expect("(");
325b8a59c8aSBob Haarman   while (!errorCount() && !consume(")"))
3262ec34544SRui Ueyama     Config->Undefined.push_back(next());
3272ec34544SRui Ueyama }
3282ec34544SRui Ueyama 
3292ec34544SRui Ueyama void ScriptParser::readGroup() {
3302ec34544SRui Ueyama   expect("(");
331b8a59c8aSBob Haarman   while (!errorCount() && !consume(")")) {
332b579c439SRui Ueyama     if (consume("AS_NEEDED"))
3332ec34544SRui Ueyama       readAsNeeded();
3342ec34544SRui Ueyama     else
335b579c439SRui Ueyama       addFile(unquote(next()));
3362ec34544SRui Ueyama   }
3372ec34544SRui Ueyama }
3382ec34544SRui Ueyama 
3392ec34544SRui Ueyama void ScriptParser::readInclude() {
3402ec34544SRui Ueyama   StringRef Tok = unquote(next());
3412ec34544SRui Ueyama 
3420440be4aSRui Ueyama   if (!Seen.insert(Tok).second) {
3430440be4aSRui Ueyama     setError("there is a cycle in linker script INCLUDEs");
3440440be4aSRui Ueyama     return;
3450440be4aSRui Ueyama   }
3460440be4aSRui Ueyama 
3471de78471SAlexander Richardson   if (Optional<std::string> Path = searchLinkerScript(Tok)) {
3482ec34544SRui Ueyama     if (Optional<MemoryBufferRef> MB = readFile(*Path))
3492ec34544SRui Ueyama       tokenize(*MB);
3502ec34544SRui Ueyama     return;
3512ec34544SRui Ueyama   }
3521de78471SAlexander Richardson   setError("cannot find linker script " + Tok);
3532ec34544SRui Ueyama }
3542ec34544SRui Ueyama 
3552ec34544SRui Ueyama void ScriptParser::readOutput() {
3562ec34544SRui Ueyama   // -o <file> takes predecence over OUTPUT(<file>).
3572ec34544SRui Ueyama   expect("(");
3582ec34544SRui Ueyama   StringRef Tok = next();
3592ec34544SRui Ueyama   if (Config->OutputFile.empty())
3602ec34544SRui Ueyama     Config->OutputFile = unquote(Tok);
3612ec34544SRui Ueyama   expect(")");
3622ec34544SRui Ueyama }
3632ec34544SRui Ueyama 
3642ec34544SRui Ueyama void ScriptParser::readOutputArch() {
3652ec34544SRui Ueyama   // OUTPUT_ARCH is ignored for now.
3662ec34544SRui Ueyama   expect("(");
367b8a59c8aSBob Haarman   while (!errorCount() && !consume(")"))
3682ec34544SRui Ueyama     skip();
3692ec34544SRui Ueyama }
3702ec34544SRui Ueyama 
3712ec34544SRui Ueyama void ScriptParser::readOutputFormat() {
3722ec34544SRui Ueyama   // Error checking only for now.
3732ec34544SRui Ueyama   expect("(");
3742ec34544SRui Ueyama   skip();
375b579c439SRui Ueyama   if (consume(")"))
3762ec34544SRui Ueyama     return;
377b579c439SRui Ueyama   expect(",");
3782ec34544SRui Ueyama   skip();
3792ec34544SRui Ueyama   expect(",");
3802ec34544SRui Ueyama   skip();
3812ec34544SRui Ueyama   expect(")");
3822ec34544SRui Ueyama }
3832ec34544SRui Ueyama 
3842ec34544SRui Ueyama void ScriptParser::readPhdrs() {
3852ec34544SRui Ueyama   expect("{");
3862ec34544SRui Ueyama 
387b8a59c8aSBob Haarman   while (!errorCount() && !consume("}")) {
3880ae2c24cSRui Ueyama     PhdrsCommand Cmd;
3890ae2c24cSRui Ueyama     Cmd.Name = next();
3900ae2c24cSRui Ueyama     Cmd.Type = readPhdrType();
391b579c439SRui Ueyama 
392b8a59c8aSBob Haarman     while (!errorCount() && !consume(";")) {
393b579c439SRui Ueyama       if (consume("FILEHDR"))
3940ae2c24cSRui Ueyama         Cmd.HasFilehdr = true;
395b579c439SRui Ueyama       else if (consume("PHDRS"))
3960ae2c24cSRui Ueyama         Cmd.HasPhdrs = true;
397b579c439SRui Ueyama       else if (consume("AT"))
3980ae2c24cSRui Ueyama         Cmd.LMAExpr = readParenExpr();
399b579c439SRui Ueyama       else if (consume("FLAGS"))
4000ae2c24cSRui Ueyama         Cmd.Flags = readParenExpr()().getValue();
401b579c439SRui Ueyama       else
402b579c439SRui Ueyama         setError("unexpected header attribute: " + next());
403b579c439SRui Ueyama     }
4040ae2c24cSRui Ueyama 
405ac27de9dSRui Ueyama     Script->PhdrsCommands.push_back(Cmd);
4062ec34544SRui Ueyama   }
4072ec34544SRui Ueyama }
4082ec34544SRui Ueyama 
4095f37541cSGeorge Rimar void ScriptParser::readRegionAlias() {
4105f37541cSGeorge Rimar   expect("(");
4115f37541cSGeorge Rimar   StringRef Alias = unquote(next());
4125f37541cSGeorge Rimar   expect(",");
4135f37541cSGeorge Rimar   StringRef Name = next();
4145f37541cSGeorge Rimar   expect(")");
4155f37541cSGeorge Rimar 
416ac27de9dSRui Ueyama   if (Script->MemoryRegions.count(Alias))
4175f37541cSGeorge Rimar     setError("redefinition of memory region '" + Alias + "'");
418ac27de9dSRui Ueyama   if (!Script->MemoryRegions.count(Name))
4195f37541cSGeorge Rimar     setError("memory region '" + Name + "' is not defined");
4208c825db2SGeorge Rimar   Script->MemoryRegions.insert({Alias, Script->MemoryRegions[Name]});
4215f37541cSGeorge Rimar }
4225f37541cSGeorge Rimar 
4232ec34544SRui Ueyama void ScriptParser::readSearchDir() {
4242ec34544SRui Ueyama   expect("(");
4252ec34544SRui Ueyama   StringRef Tok = next();
4262ec34544SRui Ueyama   if (!Config->Nostdlib)
4272ec34544SRui Ueyama     Config->SearchPaths.push_back(unquote(Tok));
4282ec34544SRui Ueyama   expect(")");
4292ec34544SRui Ueyama }
4302ec34544SRui Ueyama 
4312ec34544SRui Ueyama void ScriptParser::readSections() {
432a323e2a7SRui Ueyama   Script->HasSectionsCommand = true;
433b579c439SRui Ueyama 
4342ec34544SRui Ueyama   // -no-rosegment is used to avoid placing read only non-executable sections in
4352ec34544SRui Ueyama   // their own segment. We do the same if SECTIONS command is present in linker
4362ec34544SRui Ueyama   // script. See comment for computeFlags().
4372ec34544SRui Ueyama   Config->SingleRoRx = true;
4382ec34544SRui Ueyama 
4392ec34544SRui Ueyama   expect("{");
4409e2c8a9dSGeorge Rimar   std::vector<BaseCommand *> V;
441b8a59c8aSBob Haarman   while (!errorCount() && !consume("}")) {
4422ec34544SRui Ueyama     StringRef Tok = next();
4432ec34544SRui Ueyama     BaseCommand *Cmd = readProvideOrAssignment(Tok);
4442ec34544SRui Ueyama     if (!Cmd) {
4452ec34544SRui Ueyama       if (Tok == "ASSERT")
44623af89ccSRui Ueyama         Cmd = readAssert();
4472ec34544SRui Ueyama       else
4482ec34544SRui Ueyama         Cmd = readOutputSectionDescription(Tok);
4492ec34544SRui Ueyama     }
4509e2c8a9dSGeorge Rimar     V.push_back(Cmd);
4512ec34544SRui Ueyama   }
4529e2c8a9dSGeorge Rimar 
4539e2c8a9dSGeorge Rimar   if (!atEOF() && consume("INSERT")) {
454796684b4SGeorge Rimar     std::vector<BaseCommand *> *Dest = nullptr;
455796684b4SGeorge Rimar     if (consume("AFTER"))
456796684b4SGeorge Rimar       Dest = &Script->InsertAfterCommands[next()];
457796684b4SGeorge Rimar     else if (consume("BEFORE"))
458796684b4SGeorge Rimar       Dest = &Script->InsertBeforeCommands[next()];
459796684b4SGeorge Rimar     else
460796684b4SGeorge Rimar       setError("expected AFTER/BEFORE, but got '" + next() + "'");
461796684b4SGeorge Rimar     if (Dest)
462796684b4SGeorge Rimar       Dest->insert(Dest->end(), V.begin(), V.end());
4639e2c8a9dSGeorge Rimar     return;
4649e2c8a9dSGeorge Rimar   }
4659e2c8a9dSGeorge Rimar 
4669e2c8a9dSGeorge Rimar   Script->SectionCommands.insert(Script->SectionCommands.end(), V.begin(),
4679e2c8a9dSGeorge Rimar                                  V.end());
4682ec34544SRui Ueyama }
4692ec34544SRui Ueyama 
4702ec34544SRui Ueyama static int precedence(StringRef Op) {
4712ec34544SRui Ueyama   return StringSwitch<int>(Op)
47239ba31ffSRui Ueyama       .Cases("*", "/", "%", 5)
4732ec34544SRui Ueyama       .Cases("+", "-", 4)
4742ec34544SRui Ueyama       .Cases("<<", ">>", 3)
4752ec34544SRui Ueyama       .Cases("<", "<=", ">", ">=", "==", "!=", 2)
4762ec34544SRui Ueyama       .Cases("&", "|", 1)
4772ec34544SRui Ueyama       .Default(-1);
4782ec34544SRui Ueyama }
4792ec34544SRui Ueyama 
4802ec34544SRui Ueyama StringMatcher ScriptParser::readFilePatterns() {
4812ec34544SRui Ueyama   std::vector<StringRef> V;
482b8a59c8aSBob Haarman   while (!errorCount() && !consume(")"))
4832ec34544SRui Ueyama     V.push_back(next());
4842ec34544SRui Ueyama   return StringMatcher(V);
4852ec34544SRui Ueyama }
4862ec34544SRui Ueyama 
4872ec34544SRui Ueyama SortSectionPolicy ScriptParser::readSortKind() {
4882ec34544SRui Ueyama   if (consume("SORT") || consume("SORT_BY_NAME"))
4892ec34544SRui Ueyama     return SortSectionPolicy::Name;
4902ec34544SRui Ueyama   if (consume("SORT_BY_ALIGNMENT"))
4912ec34544SRui Ueyama     return SortSectionPolicy::Alignment;
4922ec34544SRui Ueyama   if (consume("SORT_BY_INIT_PRIORITY"))
4932ec34544SRui Ueyama     return SortSectionPolicy::Priority;
4942ec34544SRui Ueyama   if (consume("SORT_NONE"))
4952ec34544SRui Ueyama     return SortSectionPolicy::None;
4962ec34544SRui Ueyama   return SortSectionPolicy::Default;
4972ec34544SRui Ueyama }
4982ec34544SRui Ueyama 
49903fc8d1eSRui Ueyama // Reads SECTIONS command contents in the following form:
50003fc8d1eSRui Ueyama //
50103fc8d1eSRui Ueyama // <contents> ::= <elem>*
50203fc8d1eSRui Ueyama // <elem>     ::= <exclude>? <glob-pattern>
50303fc8d1eSRui Ueyama // <exclude>  ::= "EXCLUDE_FILE" "(" <glob-pattern>+ ")"
50403fc8d1eSRui Ueyama //
50503fc8d1eSRui Ueyama // For example,
50603fc8d1eSRui Ueyama //
50703fc8d1eSRui Ueyama // *(.foo EXCLUDE_FILE (a.o) .bar EXCLUDE_FILE (b.o) .baz)
50803fc8d1eSRui Ueyama //
50903fc8d1eSRui Ueyama // is parsed as ".foo", ".bar" with "a.o", and ".baz" with "b.o".
51003fc8d1eSRui Ueyama // The semantics of that is section .foo in any file, section .bar in
51103fc8d1eSRui Ueyama // any file but a.o, and section .baz in any file but b.o.
5122ec34544SRui Ueyama std::vector<SectionPattern> ScriptParser::readInputSectionsList() {
5132ec34544SRui Ueyama   std::vector<SectionPattern> Ret;
514b8a59c8aSBob Haarman   while (!errorCount() && peek() != ")") {
5152ec34544SRui Ueyama     StringMatcher ExcludeFilePat;
5162ec34544SRui Ueyama     if (consume("EXCLUDE_FILE")) {
5172ec34544SRui Ueyama       expect("(");
5182ec34544SRui Ueyama       ExcludeFilePat = readFilePatterns();
5192ec34544SRui Ueyama     }
5202ec34544SRui Ueyama 
5212ec34544SRui Ueyama     std::vector<StringRef> V;
522b8a59c8aSBob Haarman     while (!errorCount() && peek() != ")" && peek() != "EXCLUDE_FILE")
5232ec34544SRui Ueyama       V.push_back(next());
5242ec34544SRui Ueyama 
5252ec34544SRui Ueyama     if (!V.empty())
5262ec34544SRui Ueyama       Ret.push_back({std::move(ExcludeFilePat), StringMatcher(V)});
5272ec34544SRui Ueyama     else
5282ec34544SRui Ueyama       setError("section pattern is expected");
5292ec34544SRui Ueyama   }
5302ec34544SRui Ueyama   return Ret;
5312ec34544SRui Ueyama }
5322ec34544SRui Ueyama 
5332ec34544SRui Ueyama // Reads contents of "SECTIONS" directive. That directive contains a
5342ec34544SRui Ueyama // list of glob patterns for input sections. The grammar is as follows.
5352ec34544SRui Ueyama //
5362ec34544SRui Ueyama // <patterns> ::= <section-list>
5372ec34544SRui Ueyama //              | <sort> "(" <section-list> ")"
5382ec34544SRui Ueyama //              | <sort> "(" <sort> "(" <section-list> ")" ")"
5392ec34544SRui Ueyama //
5402ec34544SRui Ueyama // <sort>     ::= "SORT" | "SORT_BY_NAME" | "SORT_BY_ALIGNMENT"
5412ec34544SRui Ueyama //              | "SORT_BY_INIT_PRIORITY" | "SORT_NONE"
5422ec34544SRui Ueyama //
5432ec34544SRui Ueyama // <section-list> is parsed by readInputSectionsList().
5442ec34544SRui Ueyama InputSectionDescription *
5452ec34544SRui Ueyama ScriptParser::readInputSectionRules(StringRef FilePattern) {
5462ec34544SRui Ueyama   auto *Cmd = make<InputSectionDescription>(FilePattern);
5472ec34544SRui Ueyama   expect("(");
5482ec34544SRui Ueyama 
549b8a59c8aSBob Haarman   while (!errorCount() && !consume(")")) {
5502ec34544SRui Ueyama     SortSectionPolicy Outer = readSortKind();
5512ec34544SRui Ueyama     SortSectionPolicy Inner = SortSectionPolicy::Default;
5522ec34544SRui Ueyama     std::vector<SectionPattern> V;
5532ec34544SRui Ueyama     if (Outer != SortSectionPolicy::Default) {
5542ec34544SRui Ueyama       expect("(");
5552ec34544SRui Ueyama       Inner = readSortKind();
5562ec34544SRui Ueyama       if (Inner != SortSectionPolicy::Default) {
5572ec34544SRui Ueyama         expect("(");
5582ec34544SRui Ueyama         V = readInputSectionsList();
5592ec34544SRui Ueyama         expect(")");
5602ec34544SRui Ueyama       } else {
5612ec34544SRui Ueyama         V = readInputSectionsList();
5622ec34544SRui Ueyama       }
5632ec34544SRui Ueyama       expect(")");
5642ec34544SRui Ueyama     } else {
5652ec34544SRui Ueyama       V = readInputSectionsList();
5662ec34544SRui Ueyama     }
5672ec34544SRui Ueyama 
5682ec34544SRui Ueyama     for (SectionPattern &Pat : V) {
5692ec34544SRui Ueyama       Pat.SortInner = Inner;
5702ec34544SRui Ueyama       Pat.SortOuter = Outer;
5712ec34544SRui Ueyama     }
5722ec34544SRui Ueyama 
5732ec34544SRui Ueyama     std::move(V.begin(), V.end(), std::back_inserter(Cmd->SectionPatterns));
5742ec34544SRui Ueyama   }
5752ec34544SRui Ueyama   return Cmd;
5762ec34544SRui Ueyama }
5772ec34544SRui Ueyama 
5782ec34544SRui Ueyama InputSectionDescription *
5792ec34544SRui Ueyama ScriptParser::readInputSectionDescription(StringRef Tok) {
5802ec34544SRui Ueyama   // Input section wildcard can be surrounded by KEEP.
5812ec34544SRui Ueyama   // https://sourceware.org/binutils/docs/ld/Input-Section-Keep.html#Input-Section-Keep
5822ec34544SRui Ueyama   if (Tok == "KEEP") {
5832ec34544SRui Ueyama     expect("(");
5842ec34544SRui Ueyama     StringRef FilePattern = next();
5852ec34544SRui Ueyama     InputSectionDescription *Cmd = readInputSectionRules(FilePattern);
5862ec34544SRui Ueyama     expect(")");
587ac27de9dSRui Ueyama     Script->KeptSections.push_back(Cmd);
5882ec34544SRui Ueyama     return Cmd;
5892ec34544SRui Ueyama   }
5902ec34544SRui Ueyama   return readInputSectionRules(Tok);
5912ec34544SRui Ueyama }
5922ec34544SRui Ueyama 
5932ec34544SRui Ueyama void ScriptParser::readSort() {
5942ec34544SRui Ueyama   expect("(");
5952ec34544SRui Ueyama   expect("CONSTRUCTORS");
5962ec34544SRui Ueyama   expect(")");
5972ec34544SRui Ueyama }
5982ec34544SRui Ueyama 
59923af89ccSRui Ueyama AssertCommand *ScriptParser::readAssert() {
60023af89ccSRui Ueyama   return make<AssertCommand>(readAssertExpr());
60123af89ccSRui Ueyama }
60223af89ccSRui Ueyama 
60323af89ccSRui Ueyama Expr ScriptParser::readAssertExpr() {
6042ec34544SRui Ueyama   expect("(");
6052ec34544SRui Ueyama   Expr E = readExpr();
6062ec34544SRui Ueyama   expect(",");
6072ec34544SRui Ueyama   StringRef Msg = unquote(next());
6082ec34544SRui Ueyama   expect(")");
609b579c439SRui Ueyama 
6102ec34544SRui Ueyama   return [=] {
6112ec34544SRui Ueyama     if (!E().getValue())
6122ec34544SRui Ueyama       error(Msg);
6132ec34544SRui Ueyama     return Script->getDot();
6142ec34544SRui Ueyama   };
6152ec34544SRui Ueyama }
6162ec34544SRui Ueyama 
6172ec34544SRui Ueyama // Reads a FILL(expr) command. We handle the FILL command as an
6182ec34544SRui Ueyama // alias for =fillexp section attribute, which is different from
6192ec34544SRui Ueyama // what GNU linkers do.
6202ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/Output-Section-Data.html
6212ec34544SRui Ueyama uint32_t ScriptParser::readFill() {
6222ec34544SRui Ueyama   expect("(");
6238acbf1ccSRui Ueyama   uint32_t V = parseFill(next());
6242ec34544SRui Ueyama   expect(")");
6252ec34544SRui Ueyama   return V;
6262ec34544SRui Ueyama }
6272ec34544SRui Ueyama 
6281c08e9f5SGeorge Rimar // Reads an expression and/or the special directive for an output
6291c08e9f5SGeorge Rimar // section definition. Directive is one of following: "(NOLOAD)",
6301c08e9f5SGeorge Rimar // "(COPY)", "(INFO)" or "(OVERLAY)".
6313271d370SRui Ueyama //
6323271d370SRui Ueyama // An output section name can be followed by an address expression
6331c08e9f5SGeorge Rimar // and/or directive. This grammar is not LL(1) because "(" can be
63497f4d158SGeorge Rimar // interpreted as either the beginning of some expression or beginning
6351c08e9f5SGeorge Rimar // of directive.
6363271d370SRui Ueyama //
637b579c439SRui Ueyama // https://sourceware.org/binutils/docs/ld/Output-Section-Address.html
638fbb0463fSGeorge Rimar // https://sourceware.org/binutils/docs/ld/Output-Section-Type.html
6398c022ca7SRafael Espindola void ScriptParser::readSectionAddressType(OutputSection *Cmd) {
6403271d370SRui Ueyama   if (consume("(")) {
6413271d370SRui Ueyama     if (consume("NOLOAD")) {
6423271d370SRui Ueyama       expect(")");
6433271d370SRui Ueyama       Cmd->Noload = true;
6443271d370SRui Ueyama       return;
6453271d370SRui Ueyama     }
6461c08e9f5SGeorge Rimar     if (consume("COPY") || consume("INFO") || consume("OVERLAY")) {
6471c08e9f5SGeorge Rimar       expect(")");
6481c08e9f5SGeorge Rimar       Cmd->NonAlloc = true;
6491c08e9f5SGeorge Rimar       return;
6501c08e9f5SGeorge Rimar     }
6513271d370SRui Ueyama     Cmd->AddrExpr = readExpr();
6523271d370SRui Ueyama     expect(")");
6533271d370SRui Ueyama   } else {
6543271d370SRui Ueyama     Cmd->AddrExpr = readExpr();
6553271d370SRui Ueyama   }
6563271d370SRui Ueyama 
657fbb0463fSGeorge Rimar   if (consume("(")) {
658fbb0463fSGeorge Rimar     expect("NOLOAD");
659fbb0463fSGeorge Rimar     expect(")");
660fbb0463fSGeorge Rimar     Cmd->Noload = true;
661fbb0463fSGeorge Rimar   }
662fbb0463fSGeorge Rimar }
663fbb0463fSGeorge Rimar 
664f22ec9ddSGeorge Rimar static Expr checkAlignment(Expr E, std::string &Loc) {
665f22ec9ddSGeorge Rimar   return [=] {
666f22ec9ddSGeorge Rimar     uint64_t Alignment = std::max((uint64_t)1, E().getValue());
667f22ec9ddSGeorge Rimar     if (!isPowerOf2_64(Alignment)) {
668f22ec9ddSGeorge Rimar       error(Loc + ": alignment must be power of 2");
669f22ec9ddSGeorge Rimar       return (uint64_t)1; // Return a dummy value.
670f22ec9ddSGeorge Rimar     }
671f22ec9ddSGeorge Rimar     return Alignment;
672f22ec9ddSGeorge Rimar   };
673f22ec9ddSGeorge Rimar }
674f22ec9ddSGeorge Rimar 
6758c022ca7SRafael Espindola OutputSection *ScriptParser::readOutputSectionDescription(StringRef OutSec) {
6768c022ca7SRafael Espindola   OutputSection *Cmd =
6778c022ca7SRafael Espindola       Script->createOutputSection(OutSec, getCurrentLocation());
6783271d370SRui Ueyama 
679c4df670dSGeorge Rimar   size_t SymbolsReferenced = Script->ReferencedSymbols.size();
680c4df670dSGeorge Rimar 
6813271d370SRui Ueyama   if (peek() != ":")
6823271d370SRui Ueyama     readSectionAddressType(Cmd);
6832ec34544SRui Ueyama   expect(":");
6842ec34544SRui Ueyama 
685f22ec9ddSGeorge Rimar   std::string Location = getCurrentLocation();
6862ec34544SRui Ueyama   if (consume("AT"))
6872ec34544SRui Ueyama     Cmd->LMAExpr = readParenExpr();
6882ec34544SRui Ueyama   if (consume("ALIGN"))
689f22ec9ddSGeorge Rimar     Cmd->AlignExpr = checkAlignment(readParenExpr(), Location);
6902ec34544SRui Ueyama   if (consume("SUBALIGN"))
691f22ec9ddSGeorge Rimar     Cmd->SubalignExpr = checkAlignment(readParenExpr(), Location);
6922ec34544SRui Ueyama 
6932ec34544SRui Ueyama   // Parse constraints.
6942ec34544SRui Ueyama   if (consume("ONLY_IF_RO"))
6952ec34544SRui Ueyama     Cmd->Constraint = ConstraintKind::ReadOnly;
6962ec34544SRui Ueyama   if (consume("ONLY_IF_RW"))
6972ec34544SRui Ueyama     Cmd->Constraint = ConstraintKind::ReadWrite;
6982ec34544SRui Ueyama   expect("{");
6992ec34544SRui Ueyama 
700b8a59c8aSBob Haarman   while (!errorCount() && !consume("}")) {
7012ec34544SRui Ueyama     StringRef Tok = next();
7022ec34544SRui Ueyama     if (Tok == ";") {
7032ec34544SRui Ueyama       // Empty commands are allowed. Do nothing here.
704b579c439SRui Ueyama     } else if (SymbolAssignment *Assign = readProvideOrAssignment(Tok)) {
7056b394caaSRui Ueyama       Cmd->SectionCommands.push_back(Assign);
706f0403c60SRui Ueyama     } else if (ByteCommand *Data = readByteCommand(Tok)) {
7076b394caaSRui Ueyama       Cmd->SectionCommands.push_back(Data);
7082ec34544SRui Ueyama     } else if (Tok == "ASSERT") {
7096b394caaSRui Ueyama       Cmd->SectionCommands.push_back(readAssert());
7102ec34544SRui Ueyama       expect(";");
7112ec34544SRui Ueyama     } else if (Tok == "CONSTRUCTORS") {
7122ec34544SRui Ueyama       // CONSTRUCTORS is a keyword to make the linker recognize C++ ctors/dtors
7132ec34544SRui Ueyama       // by name. This is for very old file formats such as ECOFF/XCOFF.
7142ec34544SRui Ueyama       // For ELF, we should ignore.
7152ec34544SRui Ueyama     } else if (Tok == "FILL") {
7162ec34544SRui Ueyama       Cmd->Filler = readFill();
7172ec34544SRui Ueyama     } else if (Tok == "SORT") {
7182ec34544SRui Ueyama       readSort();
7192ec34544SRui Ueyama     } else if (peek() == "(") {
7206b394caaSRui Ueyama       Cmd->SectionCommands.push_back(readInputSectionDescription(Tok));
7212ec34544SRui Ueyama     } else {
7222ec34544SRui Ueyama       setError("unknown command " + Tok);
7232ec34544SRui Ueyama     }
7242ec34544SRui Ueyama   }
7252ec34544SRui Ueyama 
7262ec34544SRui Ueyama   if (consume(">"))
7272ec34544SRui Ueyama     Cmd->MemoryRegionName = next();
7282ec34544SRui Ueyama 
7295d01a8beSGeorge Rimar   if (consume("AT")) {
7305d01a8beSGeorge Rimar     expect(">");
7315d01a8beSGeorge Rimar     Cmd->LMARegionName = next();
7325d01a8beSGeorge Rimar   }
7335d01a8beSGeorge Rimar 
7345d01a8beSGeorge Rimar   if (Cmd->LMAExpr && !Cmd->LMARegionName.empty())
7355d01a8beSGeorge Rimar     error("section can't have both LMA and a load region");
7365d01a8beSGeorge Rimar 
7372ec34544SRui Ueyama   Cmd->Phdrs = readOutputSectionPhdrs();
7382ec34544SRui Ueyama 
7392ec34544SRui Ueyama   if (consume("="))
7408acbf1ccSRui Ueyama     Cmd->Filler = parseFill(next());
7412ec34544SRui Ueyama   else if (peek().startswith("="))
7428acbf1ccSRui Ueyama     Cmd->Filler = parseFill(next().drop_front());
7432ec34544SRui Ueyama 
7442ec34544SRui Ueyama   // Consume optional comma following output section command.
7452ec34544SRui Ueyama   consume(",");
7462ec34544SRui Ueyama 
747c4df670dSGeorge Rimar   if (Script->ReferencedSymbols.size() > SymbolsReferenced)
748c4df670dSGeorge Rimar     Cmd->ExpressionsUseSymbols = true;
7492ec34544SRui Ueyama   return Cmd;
7502ec34544SRui Ueyama }
7512ec34544SRui Ueyama 
7528acbf1ccSRui Ueyama // Parses a given string as a octal/decimal/hexadecimal number and
7538acbf1ccSRui Ueyama // returns it as a big-endian number. Used for `=<fillexp>`.
7542ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/Output-Section-Fill.html
7552ec34544SRui Ueyama //
7568acbf1ccSRui Ueyama // When reading a hexstring, ld.bfd handles it as a blob of arbitrary
7578acbf1ccSRui Ueyama // size, while ld.gold always handles it as a 32-bit big-endian number.
7588acbf1ccSRui Ueyama // We are compatible with ld.gold because it's easier to implement.
7598acbf1ccSRui Ueyama uint32_t ScriptParser::parseFill(StringRef Tok) {
760b58079d4SRui Ueyama   uint32_t V = 0;
761ab94768cSGeorge Rimar   if (!to_integer(Tok, V))
7622ec34544SRui Ueyama     setError("invalid filler expression: " + Tok);
763b58079d4SRui Ueyama 
764b58079d4SRui Ueyama   uint32_t Buf;
765b58079d4SRui Ueyama   write32be(&Buf, V);
766b58079d4SRui Ueyama   return Buf;
7672ec34544SRui Ueyama }
7682ec34544SRui Ueyama 
7692ec34544SRui Ueyama SymbolAssignment *ScriptParser::readProvideHidden(bool Provide, bool Hidden) {
7702ec34544SRui Ueyama   expect("(");
7712ec34544SRui Ueyama   SymbolAssignment *Cmd = readAssignment(next());
7722ec34544SRui Ueyama   Cmd->Provide = Provide;
7732ec34544SRui Ueyama   Cmd->Hidden = Hidden;
7742ec34544SRui Ueyama   expect(")");
7752ec34544SRui Ueyama   expect(";");
7762ec34544SRui Ueyama   return Cmd;
7772ec34544SRui Ueyama }
7782ec34544SRui Ueyama 
7792ec34544SRui Ueyama SymbolAssignment *ScriptParser::readProvideOrAssignment(StringRef Tok) {
7802ec34544SRui Ueyama   SymbolAssignment *Cmd = nullptr;
7812ec34544SRui Ueyama   if (peek() == "=" || peek() == "+=") {
7822ec34544SRui Ueyama     Cmd = readAssignment(Tok);
7832ec34544SRui Ueyama     expect(";");
7842ec34544SRui Ueyama   } else if (Tok == "PROVIDE") {
7852ec34544SRui Ueyama     Cmd = readProvideHidden(true, false);
7862ec34544SRui Ueyama   } else if (Tok == "HIDDEN") {
7872ec34544SRui Ueyama     Cmd = readProvideHidden(false, true);
7882ec34544SRui Ueyama   } else if (Tok == "PROVIDE_HIDDEN") {
7892ec34544SRui Ueyama     Cmd = readProvideHidden(true, true);
7902ec34544SRui Ueyama   }
7912ec34544SRui Ueyama   return Cmd;
7922ec34544SRui Ueyama }
7932ec34544SRui Ueyama 
7942ec34544SRui Ueyama SymbolAssignment *ScriptParser::readAssignment(StringRef Name) {
795*84bcabcbSGeorge Rimar   size_t OldPos = Pos;
7962ec34544SRui Ueyama   StringRef Op = next();
7972ec34544SRui Ueyama   assert(Op == "=" || Op == "+=");
7982ec34544SRui Ueyama   Expr E = readExpr();
7992ec34544SRui Ueyama   if (Op == "+=") {
8002ec34544SRui Ueyama     std::string Loc = getCurrentLocation();
801722221f5SRui Ueyama     E = [=] { return add(Script->getSymbolValue(Name, Loc), E()); };
8022ec34544SRui Ueyama   }
803*84bcabcbSGeorge Rimar 
804*84bcabcbSGeorge Rimar   std::string CommandString =
805*84bcabcbSGeorge Rimar       Name.str() + " " +
806*84bcabcbSGeorge Rimar       llvm::join(Tokens.begin() + OldPos, Tokens.begin() + Pos, " ");
807*84bcabcbSGeorge Rimar   return make<SymbolAssignment>(Name, E, getCurrentLocation(), CommandString);
8082ec34544SRui Ueyama }
8092ec34544SRui Ueyama 
8102ec34544SRui Ueyama // This is an operator-precedence parser to parse a linker
8112ec34544SRui Ueyama // script expression.
8122ec34544SRui Ueyama Expr ScriptParser::readExpr() {
8132ec34544SRui Ueyama   // Our lexer is context-aware. Set the in-expression bit so that
8142ec34544SRui Ueyama   // they apply different tokenization rules.
8152ec34544SRui Ueyama   bool Orig = InExpr;
8162ec34544SRui Ueyama   InExpr = true;
8172ec34544SRui Ueyama   Expr E = readExpr1(readPrimary(), 0);
8182ec34544SRui Ueyama   InExpr = Orig;
8192ec34544SRui Ueyama   return E;
8202ec34544SRui Ueyama }
8212ec34544SRui Ueyama 
8227b91e213SGeorge Rimar Expr ScriptParser::combine(StringRef Op, Expr L, Expr R) {
8232ec34544SRui Ueyama   if (Op == "+")
8242ec34544SRui Ueyama     return [=] { return add(L(), R()); };
8252ec34544SRui Ueyama   if (Op == "-")
8262ec34544SRui Ueyama     return [=] { return sub(L(), R()); };
827b579c439SRui Ueyama   if (Op == "*")
8281d20222aSRui Ueyama     return [=] { return L().getValue() * R().getValue(); };
8297b91e213SGeorge Rimar   if (Op == "/") {
8307b91e213SGeorge Rimar     std::string Loc = getCurrentLocation();
8317b91e213SGeorge Rimar     return [=]() -> uint64_t {
8327b91e213SGeorge Rimar       if (uint64_t RV = R().getValue())
8337b91e213SGeorge Rimar         return L().getValue() / RV;
8347b91e213SGeorge Rimar       error(Loc + ": division by zero");
835067617f9SRui Ueyama       return 0;
8367b91e213SGeorge Rimar     };
8377b91e213SGeorge Rimar   }
8387b91e213SGeorge Rimar   if (Op == "%") {
8397b91e213SGeorge Rimar     std::string Loc = getCurrentLocation();
8407b91e213SGeorge Rimar     return [=]() -> uint64_t {
8417b91e213SGeorge Rimar       if (uint64_t RV = R().getValue())
8427b91e213SGeorge Rimar         return L().getValue() % RV;
8437b91e213SGeorge Rimar       error(Loc + ": modulo by zero");
844067617f9SRui Ueyama       return 0;
8457b91e213SGeorge Rimar     };
8467b91e213SGeorge Rimar   }
8472ec34544SRui Ueyama   if (Op == "<<")
8487e915511SRui Ueyama     return [=] { return L().getValue() << R().getValue(); };
8492ec34544SRui Ueyama   if (Op == ">>")
8507e915511SRui Ueyama     return [=] { return L().getValue() >> R().getValue(); };
8512ec34544SRui Ueyama   if (Op == "<")
8522ec34544SRui Ueyama     return [=] { return L().getValue() < R().getValue(); };
8532ec34544SRui Ueyama   if (Op == ">")
8542ec34544SRui Ueyama     return [=] { return L().getValue() > R().getValue(); };
8552ec34544SRui Ueyama   if (Op == ">=")
8562ec34544SRui Ueyama     return [=] { return L().getValue() >= R().getValue(); };
8572ec34544SRui Ueyama   if (Op == "<=")
8582ec34544SRui Ueyama     return [=] { return L().getValue() <= R().getValue(); };
8592ec34544SRui Ueyama   if (Op == "==")
8602ec34544SRui 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 bitAnd(L(), R()); };
8652ec34544SRui Ueyama   if (Op == "|")
8662ec34544SRui Ueyama     return [=] { return bitOr(L(), R()); };
8672ec34544SRui Ueyama   llvm_unreachable("invalid operator");
8682ec34544SRui Ueyama }
8692ec34544SRui Ueyama 
8702ec34544SRui Ueyama // This is a part of the operator-precedence parser. This function
8712ec34544SRui Ueyama // assumes that the remaining token stream starts with an operator.
8722ec34544SRui Ueyama Expr ScriptParser::readExpr1(Expr Lhs, int MinPrec) {
873b8a59c8aSBob Haarman   while (!atEOF() && !errorCount()) {
8742ec34544SRui Ueyama     // Read an operator and an expression.
8752ec34544SRui Ueyama     if (consume("?"))
8762ec34544SRui Ueyama       return readTernary(Lhs);
8772ec34544SRui Ueyama     StringRef Op1 = peek();
8782ec34544SRui Ueyama     if (precedence(Op1) < MinPrec)
8792ec34544SRui Ueyama       break;
8802ec34544SRui Ueyama     skip();
8812ec34544SRui Ueyama     Expr Rhs = readPrimary();
8822ec34544SRui Ueyama 
8832ec34544SRui Ueyama     // Evaluate the remaining part of the expression first if the
8842ec34544SRui Ueyama     // next operator has greater precedence than the previous one.
8852ec34544SRui Ueyama     // For example, if we have read "+" and "3", and if the next
8862ec34544SRui Ueyama     // operator is "*", then we'll evaluate 3 * ... part first.
8872ec34544SRui Ueyama     while (!atEOF()) {
8882ec34544SRui Ueyama       StringRef Op2 = peek();
8892ec34544SRui Ueyama       if (precedence(Op2) <= precedence(Op1))
8902ec34544SRui Ueyama         break;
8912ec34544SRui Ueyama       Rhs = readExpr1(Rhs, precedence(Op2));
8922ec34544SRui Ueyama     }
8932ec34544SRui Ueyama 
8942ec34544SRui Ueyama     Lhs = combine(Op1, Lhs, Rhs);
8952ec34544SRui Ueyama   }
8962ec34544SRui Ueyama   return Lhs;
8972ec34544SRui Ueyama }
8982ec34544SRui Ueyama 
8995fb17128SGeorge Rimar Expr ScriptParser::getPageSize() {
9005fb17128SGeorge Rimar   std::string Location = getCurrentLocation();
9015fb17128SGeorge Rimar   return [=]() -> uint64_t {
9025fb17128SGeorge Rimar     if (Target)
9032ec34544SRui Ueyama       return Target->PageSize;
9045fb17128SGeorge Rimar     error(Location + ": unable to calculate page size");
9055fb17128SGeorge Rimar     return 4096; // Return a dummy value.
9065fb17128SGeorge Rimar   };
9075fb17128SGeorge Rimar }
9085fb17128SGeorge Rimar 
9095fb17128SGeorge Rimar Expr ScriptParser::readConstant() {
9105fb17128SGeorge Rimar   StringRef S = readParenLiteral();
9115fb17128SGeorge Rimar   if (S == "COMMONPAGESIZE")
9125fb17128SGeorge Rimar     return getPageSize();
9132ec34544SRui Ueyama   if (S == "MAXPAGESIZE")
9145fb17128SGeorge Rimar     return [] { return Config->MaxPageSize; };
9155fb17128SGeorge Rimar   setError("unknown constant: " + S);
916b068b037SGeorge Rimar   return [] { return 0; };
9172ec34544SRui Ueyama }
9182ec34544SRui Ueyama 
9195c65088fSRui Ueyama // Parses Tok as an integer. It recognizes hexadecimal (prefixed with
9205c65088fSRui Ueyama // "0x" or suffixed with "H") and decimal numbers. Decimal numbers may
9215c65088fSRui Ueyama // have "K" (Ki) or "M" (Mi) suffixes.
9225c65088fSRui Ueyama static Optional<uint64_t> parseInt(StringRef Tok) {
9232ec34544SRui Ueyama   // Hexadecimal
9245c65088fSRui Ueyama   uint64_t Val;
9254092016bSRui Ueyama   if (Tok.startswith_lower("0x")) {
9264092016bSRui Ueyama     if (!to_integer(Tok.substr(2), Val, 16))
9274092016bSRui Ueyama       return None;
9285c65088fSRui Ueyama     return Val;
9294092016bSRui Ueyama   }
9304092016bSRui Ueyama   if (Tok.endswith_lower("H")) {
9314092016bSRui Ueyama     if (!to_integer(Tok.drop_back(), Val, 16))
9324092016bSRui Ueyama       return None;
9335c65088fSRui Ueyama     return Val;
9344092016bSRui Ueyama   }
9352ec34544SRui Ueyama 
9362ec34544SRui Ueyama   // Decimal
9372ec34544SRui Ueyama   if (Tok.endswith_lower("K")) {
938ab94768cSGeorge Rimar     if (!to_integer(Tok.drop_back(), Val, 10))
9395c65088fSRui Ueyama       return None;
9405c65088fSRui Ueyama     return Val * 1024;
9412ec34544SRui Ueyama   }
9425c65088fSRui Ueyama   if (Tok.endswith_lower("M")) {
943ab94768cSGeorge Rimar     if (!to_integer(Tok.drop_back(), Val, 10))
9445c65088fSRui Ueyama       return None;
9455c65088fSRui Ueyama     return Val * 1024 * 1024;
9465c65088fSRui Ueyama   }
947ab94768cSGeorge Rimar   if (!to_integer(Tok, Val, 10))
9485c65088fSRui Ueyama     return None;
9495c65088fSRui Ueyama   return Val;
9502ec34544SRui Ueyama }
9512ec34544SRui Ueyama 
952f0403c60SRui Ueyama ByteCommand *ScriptParser::readByteCommand(StringRef Tok) {
953b579c439SRui Ueyama   int Size = StringSwitch<int>(Tok)
9542ec34544SRui Ueyama                  .Case("BYTE", 1)
9552ec34544SRui Ueyama                  .Case("SHORT", 2)
9562ec34544SRui Ueyama                  .Case("LONG", 4)
9572ec34544SRui Ueyama                  .Case("QUAD", 8)
9582ec34544SRui Ueyama                  .Default(-1);
9592ec34544SRui Ueyama   if (Size == -1)
9602ec34544SRui Ueyama     return nullptr;
961*84bcabcbSGeorge Rimar 
962*84bcabcbSGeorge Rimar   size_t OldPos = Pos;
963*84bcabcbSGeorge Rimar   Expr E = readParenExpr();
964*84bcabcbSGeorge Rimar   std::string CommandString =
965*84bcabcbSGeorge Rimar       Tok.str() + " " +
966*84bcabcbSGeorge Rimar       llvm::join(Tokens.begin() + OldPos, Tokens.begin() + Pos, " ");
967*84bcabcbSGeorge Rimar   return make<ByteCommand>(E, Size, CommandString);
9682ec34544SRui Ueyama }
9692ec34544SRui Ueyama 
9702ec34544SRui Ueyama StringRef ScriptParser::readParenLiteral() {
9712ec34544SRui Ueyama   expect("(");
9725e9c7762SRafael Espindola   bool Orig = InExpr;
9735e9c7762SRafael Espindola   InExpr = false;
9742ec34544SRui Ueyama   StringRef Tok = next();
9755e9c7762SRafael Espindola   InExpr = Orig;
9762ec34544SRui Ueyama   expect(")");
9772ec34544SRui Ueyama   return Tok;
9782ec34544SRui Ueyama }
9792ec34544SRui Ueyama 
980617e2f98SRui Ueyama static void checkIfExists(OutputSection *Cmd, StringRef Location) {
98105c4f67cSRafael Espindola   if (Cmd->Location.empty() && Script->ErrorOnMissingSection)
98205c4f67cSRafael Espindola     error(Location + ": undefined section " + Cmd->Name);
98305c4f67cSRafael Espindola }
98405c4f67cSRafael Espindola 
9852ec34544SRui Ueyama Expr ScriptParser::readPrimary() {
9862ec34544SRui Ueyama   if (peek() == "(")
9872ec34544SRui Ueyama     return readParenExpr();
9882ec34544SRui Ueyama 
9895c65088fSRui Ueyama   if (consume("~")) {
9902ec34544SRui Ueyama     Expr E = readPrimary();
991b2fb84a1SRui Ueyama     return [=] { return ~E().getValue(); };
9922ec34544SRui Ueyama   }
9936f1d954eSHafiz Abid Qadeer   if (consume("!")) {
9946f1d954eSHafiz Abid Qadeer     Expr E = readPrimary();
9956f1d954eSHafiz Abid Qadeer     return [=] { return !E().getValue(); };
9966f1d954eSHafiz Abid Qadeer   }
9975c65088fSRui Ueyama   if (consume("-")) {
9982ec34544SRui Ueyama     Expr E = readPrimary();
999b2fb84a1SRui Ueyama     return [=] { return -E().getValue(); };
10002ec34544SRui Ueyama   }
10012ec34544SRui Ueyama 
10025c65088fSRui Ueyama   StringRef Tok = next();
10035c65088fSRui Ueyama   std::string Location = getCurrentLocation();
10045c65088fSRui Ueyama 
10052ec34544SRui Ueyama   // Built-in functions are parsed here.
10062ec34544SRui Ueyama   // https://sourceware.org/binutils/docs/ld/Builtin-Functions.html.
10072ec34544SRui Ueyama   if (Tok == "ABSOLUTE") {
10082ec34544SRui Ueyama     Expr Inner = readParenExpr();
10092ec34544SRui Ueyama     return [=] {
10102ec34544SRui Ueyama       ExprValue I = Inner();
10112ec34544SRui Ueyama       I.ForceAbsolute = true;
10122ec34544SRui Ueyama       return I;
10132ec34544SRui Ueyama     };
10142ec34544SRui Ueyama   }
10152ec34544SRui Ueyama   if (Tok == "ADDR") {
10162ec34544SRui Ueyama     StringRef Name = readParenLiteral();
10174fbe3518SRui Ueyama     OutputSection *Sec = Script->getOrCreateOutputSection(Name);
101841c7ab4aSGeorge Rimar     return [=]() -> ExprValue {
10194fbe3518SRui Ueyama       checkIfExists(Sec, Location);
10204fbe3518SRui Ueyama       return {Sec, false, 0, Location};
102141c7ab4aSGeorge Rimar     };
10222ec34544SRui Ueyama   }
10232ec34544SRui Ueyama   if (Tok == "ALIGN") {
10242ec34544SRui Ueyama     expect("(");
10252ec34544SRui Ueyama     Expr E = readExpr();
1026f22ec9ddSGeorge Rimar     if (consume(")")) {
1027f22ec9ddSGeorge Rimar       E = checkAlignment(E, Location);
1028f22ec9ddSGeorge Rimar       return [=] { return alignTo(Script->getDot(), E().getValue()); };
1029f22ec9ddSGeorge Rimar     }
1030b579c439SRui Ueyama     expect(",");
1031f22ec9ddSGeorge Rimar     Expr E2 = checkAlignment(readExpr(), Location);
10322ec34544SRui Ueyama     expect(")");
10333c6de1a6SPetr Hosek     return [=] {
10343c6de1a6SPetr Hosek       ExprValue V = E();
1035f22ec9ddSGeorge Rimar       V.Alignment = E2().getValue();
10363c6de1a6SPetr Hosek       return V;
10373c6de1a6SPetr Hosek     };
10382ec34544SRui Ueyama   }
10392ec34544SRui Ueyama   if (Tok == "ALIGNOF") {
10402ec34544SRui Ueyama     StringRef Name = readParenLiteral();
10418c022ca7SRafael Espindola     OutputSection *Cmd = Script->getOrCreateOutputSection(Name);
1042617e2f98SRui Ueyama     return [=] {
1043617e2f98SRui Ueyama       checkIfExists(Cmd, Location);
1044617e2f98SRui Ueyama       return Cmd->Alignment;
1045617e2f98SRui Ueyama     };
10462ec34544SRui Ueyama   }
10472ec34544SRui Ueyama   if (Tok == "ASSERT")
104823af89ccSRui Ueyama     return readAssertExpr();
10495fb17128SGeorge Rimar   if (Tok == "CONSTANT")
10505fb17128SGeorge Rimar     return readConstant();
10512ec34544SRui Ueyama   if (Tok == "DATA_SEGMENT_ALIGN") {
10522ec34544SRui Ueyama     expect("(");
10532ec34544SRui Ueyama     Expr E = readExpr();
10542ec34544SRui Ueyama     expect(",");
10552ec34544SRui Ueyama     readExpr();
10562ec34544SRui Ueyama     expect(")");
105760833f6eSGeorge Rimar     return [=] {
105860833f6eSGeorge Rimar       return alignTo(Script->getDot(), std::max((uint64_t)1, E().getValue()));
105960833f6eSGeorge Rimar     };
10602ec34544SRui Ueyama   }
10612ec34544SRui Ueyama   if (Tok == "DATA_SEGMENT_END") {
10622ec34544SRui Ueyama     expect("(");
10632ec34544SRui Ueyama     expect(".");
10642ec34544SRui Ueyama     expect(")");
10652ec34544SRui Ueyama     return [] { return Script->getDot(); };
10662ec34544SRui Ueyama   }
10672ec34544SRui Ueyama   if (Tok == "DATA_SEGMENT_RELRO_END") {
10682ec34544SRui Ueyama     // GNU linkers implements more complicated logic to handle
10692ec34544SRui Ueyama     // DATA_SEGMENT_RELRO_END. We instead ignore the arguments and
10702ec34544SRui Ueyama     // just align to the next page boundary for simplicity.
10712ec34544SRui Ueyama     expect("(");
10722ec34544SRui Ueyama     readExpr();
10732ec34544SRui Ueyama     expect(",");
10742ec34544SRui Ueyama     readExpr();
10752ec34544SRui Ueyama     expect(")");
10765fb17128SGeorge Rimar     Expr E = getPageSize();
10775fb17128SGeorge Rimar     return [=] { return alignTo(Script->getDot(), E().getValue()); };
10782ec34544SRui Ueyama   }
10792ec34544SRui Ueyama   if (Tok == "DEFINED") {
10802ec34544SRui Ueyama     StringRef Name = readParenLiteral();
10819b18f50fSRui Ueyama     return [=] { return Symtab->find(Name) ? 1 : 0; };
10822ec34544SRui Ueyama   }
108391b95b61SRui Ueyama   if (Tok == "LENGTH") {
108491b95b61SRui Ueyama     StringRef Name = readParenLiteral();
1085b068b037SGeorge Rimar     if (Script->MemoryRegions.count(Name) == 0) {
108691b95b61SRui Ueyama       setError("memory region not defined: " + Name);
1087b068b037SGeorge Rimar       return [] { return 0; };
1088b068b037SGeorge Rimar     }
1089ac27de9dSRui Ueyama     return [=] { return Script->MemoryRegions[Name]->Length; };
109091b95b61SRui Ueyama   }
10912ec34544SRui Ueyama   if (Tok == "LOADADDR") {
10922ec34544SRui Ueyama     StringRef Name = readParenLiteral();
10938c022ca7SRafael Espindola     OutputSection *Cmd = Script->getOrCreateOutputSection(Name);
1094617e2f98SRui Ueyama     return [=] {
1095617e2f98SRui Ueyama       checkIfExists(Cmd, Location);
1096617e2f98SRui Ueyama       return Cmd->getLMA();
1097617e2f98SRui Ueyama     };
10982ec34544SRui Ueyama   }
109991b95b61SRui Ueyama   if (Tok == "ORIGIN") {
110091b95b61SRui Ueyama     StringRef Name = readParenLiteral();
1101b068b037SGeorge Rimar     if (Script->MemoryRegions.count(Name) == 0) {
110291b95b61SRui Ueyama       setError("memory region not defined: " + Name);
1103b068b037SGeorge Rimar       return [] { return 0; };
1104b068b037SGeorge Rimar     }
1105ac27de9dSRui Ueyama     return [=] { return Script->MemoryRegions[Name]->Origin; };
110691b95b61SRui Ueyama   }
11072ec34544SRui Ueyama   if (Tok == "SEGMENT_START") {
11082ec34544SRui Ueyama     expect("(");
11092ec34544SRui Ueyama     skip();
11102ec34544SRui Ueyama     expect(",");
11112ec34544SRui Ueyama     Expr E = readExpr();
11122ec34544SRui Ueyama     expect(")");
11132ec34544SRui Ueyama     return [=] { return E(); };
11142ec34544SRui Ueyama   }
11152ec34544SRui Ueyama   if (Tok == "SIZEOF") {
11162ec34544SRui Ueyama     StringRef Name = readParenLiteral();
11178c022ca7SRafael Espindola     OutputSection *Cmd = Script->getOrCreateOutputSection(Name);
111805c4f67cSRafael Espindola     // Linker script does not create an output section if its content is empty.
111905c4f67cSRafael Espindola     // We want to allow SIZEOF(.foo) where .foo is a section which happened to
112005c4f67cSRafael Espindola     // be empty.
11218c022ca7SRafael Espindola     return [=] { return Cmd->Size; };
11222ec34544SRui Ueyama   }
11232ec34544SRui Ueyama   if (Tok == "SIZEOF_HEADERS")
11242ec34544SRui Ueyama     return [=] { return elf::getHeaderSize(); };
11252ec34544SRui Ueyama 
11264eb2eccbSRui Ueyama   // Tok is the dot.
11274eb2eccbSRui Ueyama   if (Tok == ".")
1128722221f5SRui Ueyama     return [=] { return Script->getSymbolValue(Tok, Location); };
11294eb2eccbSRui Ueyama 
11302ec34544SRui Ueyama   // Tok is a literal number.
11315c65088fSRui Ueyama   if (Optional<uint64_t> Val = parseInt(Tok))
11325c65088fSRui Ueyama     return [=] { return *Val; };
11332ec34544SRui Ueyama 
11342ec34544SRui Ueyama   // Tok is a symbol name.
11352ec34544SRui Ueyama   if (!isValidCIdentifier(Tok))
11362ec34544SRui Ueyama     setError("malformed number: " + Tok);
1137ac27de9dSRui Ueyama   Script->ReferencedSymbols.push_back(Tok);
1138722221f5SRui Ueyama   return [=] { return Script->getSymbolValue(Tok, Location); };
11392ec34544SRui Ueyama }
11402ec34544SRui Ueyama 
11412ec34544SRui Ueyama Expr ScriptParser::readTernary(Expr Cond) {
11422ec34544SRui Ueyama   Expr L = readExpr();
11432ec34544SRui Ueyama   expect(":");
11442ec34544SRui Ueyama   Expr R = readExpr();
11452ec34544SRui Ueyama   return [=] { return Cond().getValue() ? L() : R(); };
11462ec34544SRui Ueyama }
11472ec34544SRui Ueyama 
11482ec34544SRui Ueyama Expr ScriptParser::readParenExpr() {
11492ec34544SRui Ueyama   expect("(");
11502ec34544SRui Ueyama   Expr E = readExpr();
11512ec34544SRui Ueyama   expect(")");
11522ec34544SRui Ueyama   return E;
11532ec34544SRui Ueyama }
11542ec34544SRui Ueyama 
11552ec34544SRui Ueyama std::vector<StringRef> ScriptParser::readOutputSectionPhdrs() {
11562ec34544SRui Ueyama   std::vector<StringRef> Phdrs;
1157b8a59c8aSBob Haarman   while (!errorCount() && peek().startswith(":")) {
11582ec34544SRui Ueyama     StringRef Tok = next();
11592ec34544SRui Ueyama     Phdrs.push_back((Tok.size() == 1) ? next() : Tok.substr(1));
11602ec34544SRui Ueyama   }
11612ec34544SRui Ueyama   return Phdrs;
11622ec34544SRui Ueyama }
11632ec34544SRui Ueyama 
11642ec34544SRui Ueyama // Read a program header type name. The next token must be a
11652ec34544SRui Ueyama // name of a program header type or a constant (e.g. "0x3").
11662ec34544SRui Ueyama unsigned ScriptParser::readPhdrType() {
11672ec34544SRui Ueyama   StringRef Tok = next();
11685c65088fSRui Ueyama   if (Optional<uint64_t> Val = parseInt(Tok))
11695c65088fSRui Ueyama     return *Val;
11702ec34544SRui Ueyama 
11712ec34544SRui Ueyama   unsigned Ret = StringSwitch<unsigned>(Tok)
11722ec34544SRui Ueyama                      .Case("PT_NULL", PT_NULL)
11732ec34544SRui Ueyama                      .Case("PT_LOAD", PT_LOAD)
11742ec34544SRui Ueyama                      .Case("PT_DYNAMIC", PT_DYNAMIC)
11752ec34544SRui Ueyama                      .Case("PT_INTERP", PT_INTERP)
11762ec34544SRui Ueyama                      .Case("PT_NOTE", PT_NOTE)
11772ec34544SRui Ueyama                      .Case("PT_SHLIB", PT_SHLIB)
11782ec34544SRui Ueyama                      .Case("PT_PHDR", PT_PHDR)
11792ec34544SRui Ueyama                      .Case("PT_TLS", PT_TLS)
11802ec34544SRui Ueyama                      .Case("PT_GNU_EH_FRAME", PT_GNU_EH_FRAME)
11812ec34544SRui Ueyama                      .Case("PT_GNU_STACK", PT_GNU_STACK)
11822ec34544SRui Ueyama                      .Case("PT_GNU_RELRO", PT_GNU_RELRO)
11832ec34544SRui Ueyama                      .Case("PT_OPENBSD_RANDOMIZE", PT_OPENBSD_RANDOMIZE)
11842ec34544SRui Ueyama                      .Case("PT_OPENBSD_WXNEEDED", PT_OPENBSD_WXNEEDED)
11852ec34544SRui Ueyama                      .Case("PT_OPENBSD_BOOTDATA", PT_OPENBSD_BOOTDATA)
11862ec34544SRui Ueyama                      .Default(-1);
11872ec34544SRui Ueyama 
11882ec34544SRui Ueyama   if (Ret == (unsigned)-1) {
11892ec34544SRui Ueyama     setError("invalid program header type: " + Tok);
11902ec34544SRui Ueyama     return PT_NULL;
11912ec34544SRui Ueyama   }
11922ec34544SRui Ueyama   return Ret;
11932ec34544SRui Ueyama }
11942ec34544SRui Ueyama 
11952ec34544SRui Ueyama // Reads an anonymous version declaration.
11962ec34544SRui Ueyama void ScriptParser::readAnonymousDeclaration() {
11972ec34544SRui Ueyama   std::vector<SymbolVersion> Locals;
11982ec34544SRui Ueyama   std::vector<SymbolVersion> Globals;
11992ec34544SRui Ueyama   std::tie(Locals, Globals) = readSymbols();
12002ec34544SRui Ueyama 
12012ec34544SRui Ueyama   for (SymbolVersion V : Locals) {
12022ec34544SRui Ueyama     if (V.Name == "*")
12032ec34544SRui Ueyama       Config->DefaultSymbolVersion = VER_NDX_LOCAL;
12042ec34544SRui Ueyama     else
12052ec34544SRui Ueyama       Config->VersionScriptLocals.push_back(V);
12062ec34544SRui Ueyama   }
12072ec34544SRui Ueyama 
12082ec34544SRui Ueyama   for (SymbolVersion V : Globals)
12092ec34544SRui Ueyama     Config->VersionScriptGlobals.push_back(V);
12102ec34544SRui Ueyama 
12112ec34544SRui Ueyama   expect(";");
12122ec34544SRui Ueyama }
12132ec34544SRui Ueyama 
12142ec34544SRui Ueyama // Reads a non-anonymous version definition,
12152ec34544SRui Ueyama // e.g. "VerStr { global: foo; bar; local: *; };".
12162ec34544SRui Ueyama void ScriptParser::readVersionDeclaration(StringRef VerStr) {
12172ec34544SRui Ueyama   // Read a symbol list.
12182ec34544SRui Ueyama   std::vector<SymbolVersion> Locals;
12192ec34544SRui Ueyama   std::vector<SymbolVersion> Globals;
12202ec34544SRui Ueyama   std::tie(Locals, Globals) = readSymbols();
12212ec34544SRui Ueyama 
12222ec34544SRui Ueyama   for (SymbolVersion V : Locals) {
12232ec34544SRui Ueyama     if (V.Name == "*")
12242ec34544SRui Ueyama       Config->DefaultSymbolVersion = VER_NDX_LOCAL;
12252ec34544SRui Ueyama     else
12262ec34544SRui Ueyama       Config->VersionScriptLocals.push_back(V);
12272ec34544SRui Ueyama   }
12282ec34544SRui Ueyama 
12292ec34544SRui Ueyama   // Create a new version definition and add that to the global symbols.
12302ec34544SRui Ueyama   VersionDefinition Ver;
12312ec34544SRui Ueyama   Ver.Name = VerStr;
12322ec34544SRui Ueyama   Ver.Globals = Globals;
12332ec34544SRui Ueyama 
12342ec34544SRui Ueyama   // User-defined version number starts from 2 because 0 and 1 are
12352ec34544SRui Ueyama   // reserved for VER_NDX_LOCAL and VER_NDX_GLOBAL, respectively.
12362ec34544SRui Ueyama   Ver.Id = Config->VersionDefinitions.size() + 2;
12372ec34544SRui Ueyama   Config->VersionDefinitions.push_back(Ver);
12382ec34544SRui Ueyama 
12392ec34544SRui Ueyama   // Each version may have a parent version. For example, "Ver2"
12402ec34544SRui Ueyama   // defined as "Ver2 { global: foo; local: *; } Ver1;" has "Ver1"
12412ec34544SRui Ueyama   // as a parent. This version hierarchy is, probably against your
12422ec34544SRui Ueyama   // instinct, purely for hint; the runtime doesn't care about it
12432ec34544SRui Ueyama   // at all. In LLD, we simply ignore it.
12442ec34544SRui Ueyama   if (peek() != ";")
12452ec34544SRui Ueyama     skip();
12462ec34544SRui Ueyama   expect(";");
12472ec34544SRui Ueyama }
12482ec34544SRui Ueyama 
12491e77ad14SRui Ueyama static bool hasWildcard(StringRef S) {
12501e77ad14SRui Ueyama   return S.find_first_of("?*[") != StringRef::npos;
12511e77ad14SRui Ueyama }
12521e77ad14SRui Ueyama 
12532ec34544SRui Ueyama // Reads a list of symbols, e.g. "{ global: foo; bar; local: *; };".
12542ec34544SRui Ueyama std::pair<std::vector<SymbolVersion>, std::vector<SymbolVersion>>
12552ec34544SRui Ueyama ScriptParser::readSymbols() {
12562ec34544SRui Ueyama   std::vector<SymbolVersion> Locals;
12572ec34544SRui Ueyama   std::vector<SymbolVersion> Globals;
12582ec34544SRui Ueyama   std::vector<SymbolVersion> *V = &Globals;
12592ec34544SRui Ueyama 
1260b8a59c8aSBob Haarman   while (!errorCount()) {
12612ec34544SRui Ueyama     if (consume("}"))
12622ec34544SRui Ueyama       break;
12632ec34544SRui Ueyama     if (consumeLabel("local")) {
12642ec34544SRui Ueyama       V = &Locals;
12652ec34544SRui Ueyama       continue;
12662ec34544SRui Ueyama     }
12672ec34544SRui Ueyama     if (consumeLabel("global")) {
12682ec34544SRui Ueyama       V = &Globals;
12692ec34544SRui Ueyama       continue;
12702ec34544SRui Ueyama     }
12712ec34544SRui Ueyama 
12722ec34544SRui Ueyama     if (consume("extern")) {
12732ec34544SRui Ueyama       std::vector<SymbolVersion> Ext = readVersionExtern();
12742ec34544SRui Ueyama       V->insert(V->end(), Ext.begin(), Ext.end());
12752ec34544SRui Ueyama     } else {
12762ec34544SRui Ueyama       StringRef Tok = next();
12772ec34544SRui Ueyama       V->push_back({unquote(Tok), false, hasWildcard(Tok)});
12782ec34544SRui Ueyama     }
12792ec34544SRui Ueyama     expect(";");
12802ec34544SRui Ueyama   }
12812ec34544SRui Ueyama   return {Locals, Globals};
12822ec34544SRui Ueyama }
12832ec34544SRui Ueyama 
12842ec34544SRui Ueyama // Reads an "extern C++" directive, e.g.,
12852ec34544SRui Ueyama // "extern "C++" { ns::*; "f(int, double)"; };"
128617324d8bSRui Ueyama //
128717324d8bSRui Ueyama // The last semicolon is optional. E.g. this is OK:
128817324d8bSRui Ueyama // "extern "C++" { ns::*; "f(int, double)" };"
12892ec34544SRui Ueyama std::vector<SymbolVersion> ScriptParser::readVersionExtern() {
12902ec34544SRui Ueyama   StringRef Tok = next();
12912ec34544SRui Ueyama   bool IsCXX = Tok == "\"C++\"";
12922ec34544SRui Ueyama   if (!IsCXX && Tok != "\"C\"")
12932ec34544SRui Ueyama     setError("Unknown language");
12942ec34544SRui Ueyama   expect("{");
12952ec34544SRui Ueyama 
12962ec34544SRui Ueyama   std::vector<SymbolVersion> Ret;
1297b8a59c8aSBob Haarman   while (!errorCount() && peek() != "}") {
12982ec34544SRui Ueyama     StringRef Tok = next();
12992ec34544SRui Ueyama     bool HasWildcard = !Tok.startswith("\"") && hasWildcard(Tok);
13002ec34544SRui Ueyama     Ret.push_back({unquote(Tok), IsCXX, HasWildcard});
130117324d8bSRui Ueyama     if (consume("}"))
130217324d8bSRui Ueyama       return Ret;
13032ec34544SRui Ueyama     expect(";");
13042ec34544SRui Ueyama   }
13052ec34544SRui Ueyama 
13062ec34544SRui Ueyama   expect("}");
13072ec34544SRui Ueyama   return Ret;
13082ec34544SRui Ueyama }
13092ec34544SRui Ueyama 
13102ec34544SRui Ueyama uint64_t ScriptParser::readMemoryAssignment(StringRef S1, StringRef S2,
13112ec34544SRui Ueyama                                             StringRef S3) {
1312b579c439SRui Ueyama   if (!consume(S1) && !consume(S2) && !consume(S3)) {
13132ec34544SRui Ueyama     setError("expected one of: " + S1 + ", " + S2 + ", or " + S3);
13142ec34544SRui Ueyama     return 0;
13152ec34544SRui Ueyama   }
13162ec34544SRui Ueyama   expect("=");
1317040af7deSRui Ueyama   return readExpr()().getValue();
13182ec34544SRui Ueyama }
13192ec34544SRui Ueyama 
13202ec34544SRui Ueyama // Parse the MEMORY command as specified in:
13212ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/MEMORY.html
13222ec34544SRui Ueyama //
13232ec34544SRui Ueyama // MEMORY { name [(attr)] : ORIGIN = origin, LENGTH = len ... }
13242ec34544SRui Ueyama void ScriptParser::readMemory() {
13252ec34544SRui Ueyama   expect("{");
1326b8a59c8aSBob Haarman   while (!errorCount() && !consume("}")) {
13272ec34544SRui Ueyama     StringRef Name = next();
13282ec34544SRui Ueyama 
13292ec34544SRui Ueyama     uint32_t Flags = 0;
13302ec34544SRui Ueyama     uint32_t NegFlags = 0;
13312ec34544SRui Ueyama     if (consume("(")) {
13322ec34544SRui Ueyama       std::tie(Flags, NegFlags) = readMemoryAttributes();
13332ec34544SRui Ueyama       expect(")");
13342ec34544SRui Ueyama     }
13352ec34544SRui Ueyama     expect(":");
13362ec34544SRui Ueyama 
13372ec34544SRui Ueyama     uint64_t Origin = readMemoryAssignment("ORIGIN", "org", "o");
13382ec34544SRui Ueyama     expect(",");
13392ec34544SRui Ueyama     uint64_t Length = readMemoryAssignment("LENGTH", "len", "l");
13402ec34544SRui Ueyama 
13415f37541cSGeorge Rimar     // Add the memory region to the region map.
1342490f0a4dSRafael Espindola     MemoryRegion *MR =
1343490f0a4dSRafael Espindola         make<MemoryRegion>(Name, Origin, Length, Flags, NegFlags);
13440984cfa9SGeorge Rimar     if (!Script->MemoryRegions.insert({Name, MR}).second)
13450984cfa9SGeorge Rimar       setError("region '" + Name + "' already defined");
13462ec34544SRui Ueyama   }
13472ec34544SRui Ueyama }
13482ec34544SRui Ueyama 
13492ec34544SRui Ueyama // This function parses the attributes used to match against section
13502ec34544SRui Ueyama // flags when placing output sections in a memory region. These flags
13512ec34544SRui Ueyama // are only used when an explicit memory region name is not used.
13522ec34544SRui Ueyama std::pair<uint32_t, uint32_t> ScriptParser::readMemoryAttributes() {
13532ec34544SRui Ueyama   uint32_t Flags = 0;
13542ec34544SRui Ueyama   uint32_t NegFlags = 0;
13552ec34544SRui Ueyama   bool Invert = false;
13562ec34544SRui Ueyama 
13572ec34544SRui Ueyama   for (char C : next().lower()) {
13582ec34544SRui Ueyama     uint32_t Flag = 0;
13592ec34544SRui Ueyama     if (C == '!')
13602ec34544SRui Ueyama       Invert = !Invert;
13612ec34544SRui Ueyama     else if (C == 'w')
13622ec34544SRui Ueyama       Flag = SHF_WRITE;
13632ec34544SRui Ueyama     else if (C == 'x')
13642ec34544SRui Ueyama       Flag = SHF_EXECINSTR;
13652ec34544SRui Ueyama     else if (C == 'a')
13662ec34544SRui Ueyama       Flag = SHF_ALLOC;
13672ec34544SRui Ueyama     else if (C != 'r')
13682ec34544SRui Ueyama       setError("invalid memory region attribute");
13692ec34544SRui Ueyama 
13702ec34544SRui Ueyama     if (Invert)
13712ec34544SRui Ueyama       NegFlags |= Flag;
13722ec34544SRui Ueyama     else
13732ec34544SRui Ueyama       Flags |= Flag;
13742ec34544SRui Ueyama   }
13752ec34544SRui Ueyama   return {Flags, NegFlags};
13762ec34544SRui Ueyama }
13772ec34544SRui Ueyama 
13782ec34544SRui Ueyama void elf::readLinkerScript(MemoryBufferRef MB) {
13792ec34544SRui Ueyama   ScriptParser(MB).readLinkerScript();
13802ec34544SRui Ueyama }
13812ec34544SRui Ueyama 
13822ec34544SRui Ueyama void elf::readVersionScript(MemoryBufferRef MB) {
13832ec34544SRui Ueyama   ScriptParser(MB).readVersionScript();
13842ec34544SRui Ueyama }
13852ec34544SRui Ueyama 
13862ec34544SRui Ueyama void elf::readDynamicList(MemoryBufferRef MB) {
13872ec34544SRui Ueyama   ScriptParser(MB).readDynamicList();
13882ec34544SRui Ueyama }
13898c7e8cceSPetr Hosek 
13908c7e8cceSPetr Hosek void elf::readDefsym(StringRef Name, MemoryBufferRef MB) {
13918c7e8cceSPetr Hosek   ScriptParser(MB).readDefsym(Name);
13928c7e8cceSPetr Hosek }
1393