12ec34544SRui Ueyama //===- ScriptParser.cpp ---------------------------------------------------===// 22ec34544SRui Ueyama // 32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 62ec34544SRui Ueyama // 72ec34544SRui Ueyama //===----------------------------------------------------------------------===// 805f6b852SRui Ueyama // 905f6b852SRui Ueyama // This file contains a recursive-descendent parser for linker scripts. 1005f6b852SRui Ueyama // Parsed results are stored to Config and Script global objects. 1105f6b852SRui Ueyama // 1205f6b852SRui Ueyama //===----------------------------------------------------------------------===// 132ec34544SRui Ueyama 142ec34544SRui Ueyama #include "ScriptParser.h" 152ec34544SRui Ueyama #include "Config.h" 162ec34544SRui Ueyama #include "Driver.h" 172ec34544SRui Ueyama #include "InputSection.h" 182ec34544SRui Ueyama #include "LinkerScript.h" 192ec34544SRui Ueyama #include "OutputSections.h" 202ec34544SRui Ueyama #include "ScriptLexer.h" 212ec34544SRui Ueyama #include "Symbols.h" 222ec34544SRui Ueyama #include "Target.h" 232017d52bSRui Ueyama #include "lld/Common/Memory.h" 242ec34544SRui Ueyama #include "llvm/ADT/SmallString.h" 252ec34544SRui Ueyama #include "llvm/ADT/StringRef.h" 260440be4aSRui Ueyama #include "llvm/ADT/StringSet.h" 272ec34544SRui Ueyama #include "llvm/ADT/StringSwitch.h" 28264b5d9eSZachary Turner #include "llvm/BinaryFormat/ELF.h" 292ec34544SRui Ueyama #include "llvm/Support/Casting.h" 302ec34544SRui Ueyama #include "llvm/Support/ErrorHandling.h" 312ec34544SRui Ueyama #include "llvm/Support/FileSystem.h" 322ec34544SRui Ueyama #include "llvm/Support/Path.h" 332ec34544SRui Ueyama #include <cassert> 342ec34544SRui Ueyama #include <limits> 352ec34544SRui Ueyama #include <vector> 362ec34544SRui Ueyama 372ec34544SRui Ueyama using namespace llvm; 382ec34544SRui Ueyama using namespace llvm::ELF; 39b58079d4SRui Ueyama using namespace llvm::support::endian; 402ec34544SRui Ueyama using namespace lld; 412ec34544SRui Ueyama using namespace lld::elf; 422ec34544SRui Ueyama 432ec34544SRui Ueyama static bool isUnderSysroot(StringRef Path); 442ec34544SRui Ueyama 4596b3fe02SRui Ueyama namespace { 4696b3fe02SRui Ueyama class ScriptParser final : ScriptLexer { 472ec34544SRui Ueyama public: 482ec34544SRui Ueyama ScriptParser(MemoryBufferRef MB) 492ec34544SRui Ueyama : ScriptLexer(MB), 502ec34544SRui Ueyama IsUnderSysroot(isUnderSysroot(MB.getBufferIdentifier())) {} 512ec34544SRui Ueyama 522ec34544SRui Ueyama void readLinkerScript(); 532ec34544SRui Ueyama void readVersionScript(); 542ec34544SRui Ueyama void readDynamicList(); 558c7e8cceSPetr Hosek void readDefsym(StringRef Name); 562ec34544SRui Ueyama 572ec34544SRui Ueyama private: 582ec34544SRui Ueyama void addFile(StringRef Path); 592ec34544SRui Ueyama 602ec34544SRui Ueyama void readAsNeeded(); 612ec34544SRui Ueyama void readEntry(); 622ec34544SRui Ueyama void readExtern(); 632ec34544SRui Ueyama void readGroup(); 642ec34544SRui Ueyama void readInclude(); 651d92aa73SRui Ueyama void readInput(); 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(); 74e262bb1aSRui Ueyama void readTarget(); 752ec34544SRui Ueyama void readVersion(); 762ec34544SRui Ueyama void readVersionScriptCommand(); 772ec34544SRui Ueyama 78d30a78b3SGeorge Rimar SymbolAssignment *readSymbolAssignment(StringRef Name); 79f0403c60SRui Ueyama ByteCommand *readByteCommand(StringRef Tok); 80b0486051SSimon Atanasyan std::array<uint8_t, 4> readFill(); 81b0486051SSimon Atanasyan std::array<uint8_t, 4> parseFill(StringRef Tok); 82a46d08ebSGeorge Rimar bool readSectionDirective(OutputSection *Cmd, StringRef Tok1, StringRef Tok2); 838c022ca7SRafael Espindola void readSectionAddressType(OutputSection *Cmd); 84a582419aSGeorge Rimar OutputSection *readOverlaySectionDescription(); 858c022ca7SRafael Espindola OutputSection *readOutputSectionDescription(StringRef OutSec); 86a582419aSGeorge Rimar std::vector<BaseCommand *> readOverlay(); 872ec34544SRui Ueyama std::vector<StringRef> readOutputSectionPhdrs(); 882ec34544SRui Ueyama InputSectionDescription *readInputSectionDescription(StringRef Tok); 892ec34544SRui Ueyama StringMatcher readFilePatterns(); 902ec34544SRui Ueyama std::vector<SectionPattern> readInputSectionsList(); 912ec34544SRui Ueyama InputSectionDescription *readInputSectionRules(StringRef FilePattern); 922ec34544SRui Ueyama unsigned readPhdrType(); 932ec34544SRui Ueyama SortSectionPolicy readSortKind(); 942ec34544SRui Ueyama SymbolAssignment *readProvideHidden(bool Provide, bool Hidden); 95d30a78b3SGeorge Rimar SymbolAssignment *readAssignment(StringRef Tok); 962ec34544SRui Ueyama void readSort(); 97d30a78b3SGeorge Rimar Expr readAssert(); 985fb17128SGeorge Rimar Expr readConstant(); 995fb17128SGeorge Rimar Expr getPageSize(); 1002ec34544SRui Ueyama 1012ec34544SRui Ueyama uint64_t readMemoryAssignment(StringRef, StringRef, StringRef); 1022ec34544SRui Ueyama std::pair<uint32_t, uint32_t> readMemoryAttributes(); 1032ec34544SRui Ueyama 1047b91e213SGeorge Rimar Expr combine(StringRef Op, Expr L, Expr R); 1052ec34544SRui Ueyama Expr readExpr(); 1062ec34544SRui Ueyama Expr readExpr1(Expr Lhs, int MinPrec); 1072ec34544SRui Ueyama StringRef readParenLiteral(); 1082ec34544SRui Ueyama Expr readPrimary(); 1092ec34544SRui Ueyama Expr readTernary(Expr Cond); 1102ec34544SRui Ueyama Expr readParenExpr(); 1112ec34544SRui Ueyama 1122ec34544SRui Ueyama // For parsing version script. 1132ec34544SRui Ueyama std::vector<SymbolVersion> readVersionExtern(); 1142ec34544SRui Ueyama void readAnonymousDeclaration(); 1152ec34544SRui Ueyama void readVersionDeclaration(StringRef VerStr); 1162ec34544SRui Ueyama 1172ec34544SRui Ueyama std::pair<std::vector<SymbolVersion>, std::vector<SymbolVersion>> 1182ec34544SRui Ueyama readSymbols(); 1192ec34544SRui Ueyama 120fd06b025SRui Ueyama // True if a script being read is in a subdirectory specified by -sysroot. 1212ec34544SRui Ueyama bool IsUnderSysroot; 1220440be4aSRui Ueyama 1230440be4aSRui Ueyama // A set to detect an INCLUDE() cycle. 1240440be4aSRui Ueyama StringSet<> Seen; 1252ec34544SRui Ueyama }; 12696b3fe02SRui Ueyama } // namespace 1272ec34544SRui Ueyama 1281e77ad14SRui Ueyama static StringRef unquote(StringRef S) { 1291e77ad14SRui Ueyama if (S.startswith("\"")) 1301e77ad14SRui Ueyama return S.substr(1, S.size() - 2); 1311e77ad14SRui Ueyama return S; 1321e77ad14SRui Ueyama } 1331e77ad14SRui Ueyama 1342ec34544SRui Ueyama static bool isUnderSysroot(StringRef Path) { 1352ec34544SRui Ueyama if (Config->Sysroot == "") 1362ec34544SRui Ueyama return false; 1372ec34544SRui Ueyama for (; !Path.empty(); Path = sys::path::parent_path(Path)) 1382ec34544SRui Ueyama if (sys::fs::equivalent(Config->Sysroot, Path)) 1392ec34544SRui Ueyama return true; 1402ec34544SRui Ueyama return false; 1412ec34544SRui Ueyama } 1422ec34544SRui Ueyama 1432ec34544SRui Ueyama // Some operations only support one non absolute value. Move the 1442ec34544SRui Ueyama // absolute one to the right hand side for convenience. 1452ec34544SRui Ueyama static void moveAbsRight(ExprValue &A, ExprValue &B) { 14623be5e8dSRafael Espindola if (A.Sec == nullptr || (A.ForceAbsolute && !B.isAbsolute())) 1472ec34544SRui Ueyama std::swap(A, B); 1482ec34544SRui Ueyama if (!B.isAbsolute()) 14941c7ab4aSGeorge Rimar error(A.Loc + ": at least one side of the expression must be absolute"); 1502ec34544SRui Ueyama } 1512ec34544SRui Ueyama 1522ec34544SRui Ueyama static ExprValue add(ExprValue A, ExprValue B) { 1532ec34544SRui Ueyama moveAbsRight(A, B); 154a6acd23cSRafael Espindola return {A.Sec, A.ForceAbsolute, A.getSectionOffset() + B.getValue(), A.Loc}; 1552ec34544SRui Ueyama } 1562ec34544SRui Ueyama 1572ec34544SRui Ueyama static ExprValue sub(ExprValue A, ExprValue B) { 15863a4a98eSRafael Espindola // The distance between two symbols in sections is absolute. 1599cbb6dd1SRafael Espindola if (!A.isAbsolute() && !B.isAbsolute()) 1609cbb6dd1SRafael Espindola return A.getValue() - B.getValue(); 1614fbe3518SRui Ueyama return {A.Sec, false, A.getSectionOffset() - B.getValue(), A.Loc}; 1622ec34544SRui Ueyama } 1632ec34544SRui Ueyama 1642ec34544SRui Ueyama static ExprValue bitAnd(ExprValue A, ExprValue B) { 1652ec34544SRui Ueyama moveAbsRight(A, B); 1662ec34544SRui Ueyama return {A.Sec, A.ForceAbsolute, 16741c7ab4aSGeorge Rimar (A.getValue() & B.getValue()) - A.getSecAddr(), A.Loc}; 1682ec34544SRui Ueyama } 1692ec34544SRui Ueyama 1702ec34544SRui Ueyama static ExprValue bitOr(ExprValue A, ExprValue B) { 1712ec34544SRui Ueyama moveAbsRight(A, B); 1722ec34544SRui Ueyama return {A.Sec, A.ForceAbsolute, 17341c7ab4aSGeorge Rimar (A.getValue() | B.getValue()) - A.getSecAddr(), A.Loc}; 1742ec34544SRui Ueyama } 1752ec34544SRui Ueyama 1762ec34544SRui Ueyama void ScriptParser::readDynamicList() { 1778016bdfdSRafael Espindola Config->HasDynamicList = true; 1782ec34544SRui Ueyama expect("{"); 179d72d97b3SRafael Espindola std::vector<SymbolVersion> Locals; 180d72d97b3SRafael Espindola std::vector<SymbolVersion> Globals; 181d72d97b3SRafael Espindola std::tie(Locals, Globals) = readSymbols(); 182d72d97b3SRafael Espindola expect(";"); 183d72d97b3SRafael Espindola 184d72d97b3SRafael Espindola if (!atEOF()) { 1852ec34544SRui Ueyama setError("EOF expected, but got " + next()); 186d72d97b3SRafael Espindola return; 187d72d97b3SRafael Espindola } 188d72d97b3SRafael Espindola if (!Locals.empty()) { 189d72d97b3SRafael Espindola setError("\"local:\" scope not supported in --dynamic-list"); 190d72d97b3SRafael Espindola return; 191d72d97b3SRafael Espindola } 192d72d97b3SRafael Espindola 193d72d97b3SRafael Espindola for (SymbolVersion V : Globals) 194d72d97b3SRafael Espindola Config->DynamicList.push_back(V); 1952ec34544SRui Ueyama } 1962ec34544SRui Ueyama 1972ec34544SRui Ueyama void ScriptParser::readVersionScript() { 1982ec34544SRui Ueyama readVersionScriptCommand(); 1992ec34544SRui Ueyama if (!atEOF()) 2002ec34544SRui Ueyama setError("EOF expected, but got " + next()); 2012ec34544SRui Ueyama } 2022ec34544SRui Ueyama 2032ec34544SRui Ueyama void ScriptParser::readVersionScriptCommand() { 2042ec34544SRui Ueyama if (consume("{")) { 2052ec34544SRui Ueyama readAnonymousDeclaration(); 2062ec34544SRui Ueyama return; 2072ec34544SRui Ueyama } 2082ec34544SRui Ueyama 209b8a59c8aSBob Haarman while (!atEOF() && !errorCount() && peek() != "}") { 2102ec34544SRui Ueyama StringRef VerStr = next(); 2112ec34544SRui Ueyama if (VerStr == "{") { 2122ec34544SRui Ueyama setError("anonymous version definition is used in " 2132ec34544SRui Ueyama "combination with other version definitions"); 2142ec34544SRui Ueyama return; 2152ec34544SRui Ueyama } 2162ec34544SRui Ueyama expect("{"); 2172ec34544SRui Ueyama readVersionDeclaration(VerStr); 2182ec34544SRui Ueyama } 2192ec34544SRui Ueyama } 2202ec34544SRui Ueyama 2212ec34544SRui Ueyama void ScriptParser::readVersion() { 2222ec34544SRui Ueyama expect("{"); 2232ec34544SRui Ueyama readVersionScriptCommand(); 2242ec34544SRui Ueyama expect("}"); 2252ec34544SRui Ueyama } 2262ec34544SRui Ueyama 2272ec34544SRui Ueyama void ScriptParser::readLinkerScript() { 2282ec34544SRui Ueyama while (!atEOF()) { 2292ec34544SRui Ueyama StringRef Tok = next(); 2302ec34544SRui Ueyama if (Tok == ";") 2312ec34544SRui Ueyama continue; 2322ec34544SRui Ueyama 233d30a78b3SGeorge Rimar if (Tok == "ENTRY") { 2342ec34544SRui Ueyama readEntry(); 2352ec34544SRui Ueyama } else if (Tok == "EXTERN") { 2362ec34544SRui Ueyama readExtern(); 2371d92aa73SRui Ueyama } else if (Tok == "GROUP") { 2382ec34544SRui Ueyama readGroup(); 2392ec34544SRui Ueyama } else if (Tok == "INCLUDE") { 2402ec34544SRui Ueyama readInclude(); 2411d92aa73SRui Ueyama } else if (Tok == "INPUT") { 2421d92aa73SRui 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(); 259e262bb1aSRui Ueyama } else if (Tok == "TARGET") { 260e262bb1aSRui Ueyama readTarget(); 2612ec34544SRui Ueyama } else if (Tok == "VERSION") { 2622ec34544SRui Ueyama readVersion(); 263d30a78b3SGeorge Rimar } else if (SymbolAssignment *Cmd = readAssignment(Tok)) { 2646b394caaSRui Ueyama Script->SectionCommands.push_back(Cmd); 2652ec34544SRui Ueyama } else { 2662ec34544SRui Ueyama setError("unknown directive: " + Tok); 2672ec34544SRui Ueyama } 2682ec34544SRui Ueyama } 2692ec34544SRui Ueyama } 2702ec34544SRui Ueyama 2718c7e8cceSPetr Hosek void ScriptParser::readDefsym(StringRef Name) { 272c1522816SGeorge Rimar if (errorCount()) 273c1522816SGeorge Rimar return; 2748c7e8cceSPetr Hosek Expr E = readExpr(); 2758c7e8cceSPetr Hosek if (!atEOF()) 2768c7e8cceSPetr Hosek setError("EOF expected, but got " + next()); 277e88b76a9SGeorge Rimar SymbolAssignment *Cmd = make<SymbolAssignment>(Name, E, getCurrentLocation()); 2788c7e8cceSPetr Hosek Script->SectionCommands.push_back(Cmd); 2798c7e8cceSPetr Hosek } 2808c7e8cceSPetr Hosek 2812ec34544SRui Ueyama void ScriptParser::addFile(StringRef S) { 2822ec34544SRui Ueyama if (IsUnderSysroot && S.startswith("/")) { 2832ec34544SRui Ueyama SmallString<128> PathData; 2842ec34544SRui Ueyama StringRef Path = (Config->Sysroot + S).toStringRef(PathData); 2852ec34544SRui Ueyama if (sys::fs::exists(Path)) { 286a76349bfSEvgeniy Stepanov Driver->addFile(Saver.save(Path), /*WithLOption=*/false); 2872ec34544SRui Ueyama return; 2882ec34544SRui Ueyama } 2892ec34544SRui Ueyama } 2902ec34544SRui Ueyama 291875ae82bSRui Ueyama if (S.startswith("/")) { 292a76349bfSEvgeniy Stepanov Driver->addFile(S, /*WithLOption=*/false); 2932ec34544SRui Ueyama } else if (S.startswith("=")) { 2942ec34544SRui Ueyama if (Config->Sysroot.empty()) 295a76349bfSEvgeniy Stepanov Driver->addFile(S.substr(1), /*WithLOption=*/false); 2962ec34544SRui Ueyama else 297a76349bfSEvgeniy Stepanov Driver->addFile(Saver.save(Config->Sysroot + "/" + S.substr(1)), 298a76349bfSEvgeniy Stepanov /*WithLOption=*/false); 2992ec34544SRui Ueyama } else if (S.startswith("-l")) { 3002ec34544SRui Ueyama Driver->addLibrary(S.substr(2)); 3012ec34544SRui Ueyama } else if (sys::fs::exists(S)) { 302a76349bfSEvgeniy Stepanov Driver->addFile(S, /*WithLOption=*/false); 3032ec34544SRui Ueyama } else { 3042ec34544SRui Ueyama if (Optional<std::string> Path = findFromSearchPaths(S)) 305a76349bfSEvgeniy Stepanov Driver->addFile(Saver.save(*Path), /*WithLOption=*/true); 3062ec34544SRui Ueyama else 3072ec34544SRui Ueyama setError("unable to find " + S); 3082ec34544SRui Ueyama } 3092ec34544SRui Ueyama } 3102ec34544SRui Ueyama 3112ec34544SRui Ueyama void ScriptParser::readAsNeeded() { 3122ec34544SRui Ueyama expect("("); 3132ec34544SRui Ueyama bool Orig = Config->AsNeeded; 3142ec34544SRui Ueyama Config->AsNeeded = true; 315b8a59c8aSBob Haarman while (!errorCount() && !consume(")")) 3162ec34544SRui Ueyama addFile(unquote(next())); 3172ec34544SRui Ueyama Config->AsNeeded = Orig; 3182ec34544SRui Ueyama } 3192ec34544SRui Ueyama 3202ec34544SRui Ueyama void ScriptParser::readEntry() { 3212ec34544SRui Ueyama // -e <symbol> takes predecence over ENTRY(<symbol>). 3222ec34544SRui Ueyama expect("("); 3232ec34544SRui Ueyama StringRef Tok = next(); 3242ec34544SRui Ueyama if (Config->Entry.empty()) 3252ec34544SRui Ueyama Config->Entry = Tok; 3262ec34544SRui Ueyama expect(")"); 3272ec34544SRui Ueyama } 3282ec34544SRui Ueyama 3292ec34544SRui Ueyama void ScriptParser::readExtern() { 3302ec34544SRui Ueyama expect("("); 331b8a59c8aSBob Haarman while (!errorCount() && !consume(")")) 332016833baSRui Ueyama Config->Undefined.push_back(unquote(next())); 3332ec34544SRui Ueyama } 3342ec34544SRui Ueyama 3352ec34544SRui Ueyama void ScriptParser::readGroup() { 3361d92aa73SRui Ueyama bool Orig = InputFile::IsInGroup; 3371d92aa73SRui Ueyama InputFile::IsInGroup = true; 3381d92aa73SRui Ueyama readInput(); 3391d92aa73SRui Ueyama InputFile::IsInGroup = Orig; 340b72daf00SFangrui Song if (!Orig) 341b72daf00SFangrui Song ++InputFile::NextGroupId; 3422ec34544SRui Ueyama } 3432ec34544SRui Ueyama 3442ec34544SRui Ueyama void ScriptParser::readInclude() { 3452ec34544SRui Ueyama StringRef Tok = unquote(next()); 3462ec34544SRui Ueyama 3470440be4aSRui Ueyama if (!Seen.insert(Tok).second) { 3480440be4aSRui Ueyama setError("there is a cycle in linker script INCLUDEs"); 3490440be4aSRui Ueyama return; 3500440be4aSRui Ueyama } 3510440be4aSRui Ueyama 352c60f85d0SFangrui Song if (Optional<std::string> Path = searchScript(Tok)) { 3532ec34544SRui Ueyama if (Optional<MemoryBufferRef> MB = readFile(*Path)) 3542ec34544SRui Ueyama tokenize(*MB); 3552ec34544SRui Ueyama return; 3562ec34544SRui Ueyama } 3571de78471SAlexander Richardson setError("cannot find linker script " + Tok); 3582ec34544SRui Ueyama } 3592ec34544SRui Ueyama 3601d92aa73SRui Ueyama void ScriptParser::readInput() { 3611d92aa73SRui Ueyama expect("("); 3621d92aa73SRui Ueyama while (!errorCount() && !consume(")")) { 3631d92aa73SRui Ueyama if (consume("AS_NEEDED")) 3641d92aa73SRui Ueyama readAsNeeded(); 3651d92aa73SRui Ueyama else 3661d92aa73SRui Ueyama addFile(unquote(next())); 3671d92aa73SRui Ueyama } 3681d92aa73SRui Ueyama } 3691d92aa73SRui Ueyama 3702ec34544SRui Ueyama void ScriptParser::readOutput() { 3712ec34544SRui Ueyama // -o <file> takes predecence over OUTPUT(<file>). 3722ec34544SRui Ueyama expect("("); 3732ec34544SRui Ueyama StringRef Tok = next(); 3742ec34544SRui Ueyama if (Config->OutputFile.empty()) 3752ec34544SRui Ueyama Config->OutputFile = unquote(Tok); 3762ec34544SRui Ueyama expect(")"); 3772ec34544SRui Ueyama } 3782ec34544SRui Ueyama 3792ec34544SRui Ueyama void ScriptParser::readOutputArch() { 3802ec34544SRui Ueyama // OUTPUT_ARCH is ignored for now. 3812ec34544SRui Ueyama expect("("); 382b8a59c8aSBob Haarman while (!errorCount() && !consume(")")) 3832ec34544SRui Ueyama skip(); 3842ec34544SRui Ueyama } 3852ec34544SRui Ueyama 3860068d223SRui Ueyama static std::pair<ELFKind, uint16_t> parseBfdName(StringRef S) { 3870068d223SRui Ueyama return StringSwitch<std::pair<ELFKind, uint16_t>>(S) 3884f8c8228SRui Ueyama .Case("elf32-i386", {ELF32LEKind, EM_386}) 3894f8c8228SRui Ueyama .Case("elf32-iamcu", {ELF32LEKind, EM_IAMCU}) 3904f8c8228SRui Ueyama .Case("elf32-littlearm", {ELF32LEKind, EM_ARM}) 3914f8c8228SRui Ueyama .Case("elf32-x86-64", {ELF32LEKind, EM_X86_64}) 39219b134ccSDimitry Andric .Case("elf64-aarch64", {ELF64LEKind, EM_AARCH64}) 3934f8c8228SRui Ueyama .Case("elf64-littleaarch64", {ELF64LEKind, EM_AARCH64}) 3944134143cSRui Ueyama .Case("elf32-powerpc", {ELF32BEKind, EM_PPC}) 3954f8c8228SRui Ueyama .Case("elf64-powerpc", {ELF64BEKind, EM_PPC64}) 3964f8c8228SRui Ueyama .Case("elf64-powerpcle", {ELF64LEKind, EM_PPC64}) 3974f8c8228SRui Ueyama .Case("elf64-x86-64", {ELF64LEKind, EM_X86_64}) 3984134143cSRui Ueyama .Cases("elf32-tradbigmips", "elf32-bigmips", {ELF32BEKind, EM_MIPS}) 3994f8c8228SRui Ueyama .Case("elf32-ntradbigmips", {ELF32BEKind, EM_MIPS}) 4004f8c8228SRui Ueyama .Case("elf32-tradlittlemips", {ELF32LEKind, EM_MIPS}) 4014f8c8228SRui Ueyama .Case("elf32-ntradlittlemips", {ELF32LEKind, EM_MIPS}) 4024f8c8228SRui Ueyama .Case("elf64-tradbigmips", {ELF64BEKind, EM_MIPS}) 4034f8c8228SRui Ueyama .Case("elf64-tradlittlemips", {ELF64LEKind, EM_MIPS}) 404*44d908d7SFangrui Song .Case("elf32-littleriscv", {ELF32LEKind, EM_RISCV}) 405*44d908d7SFangrui Song .Case("elf64-littleriscv", {ELF64LEKind, EM_RISCV}) 4064f8c8228SRui Ueyama .Default({ELFNoneKind, EM_NONE}); 407ea8cd00aSRui Ueyama } 408ea8cd00aSRui Ueyama 409ea8cd00aSRui Ueyama // Parse OUTPUT_FORMAT(bfdname) or OUTPUT_FORMAT(bfdname, big, little). 410ea8cd00aSRui Ueyama // Currently we ignore big and little parameters. 4112ec34544SRui Ueyama void ScriptParser::readOutputFormat() { 4122ec34544SRui Ueyama expect("("); 413ea8cd00aSRui Ueyama 41419b134ccSDimitry Andric StringRef Name = unquote(next()); 41519b134ccSDimitry Andric StringRef S = Name; 41619b134ccSDimitry Andric if (S.consume_back("-freebsd")) 41719b134ccSDimitry Andric Config->OSABI = ELFOSABI_FREEBSD; 4184f8c8228SRui Ueyama 4194f8c8228SRui Ueyama std::tie(Config->EKind, Config->EMachine) = parseBfdName(S); 4204f8c8228SRui Ueyama if (Config->EMachine == EM_NONE) 42119b134ccSDimitry Andric setError("unknown output format name: " + Name); 4224f8c8228SRui Ueyama if (S == "elf32-ntradlittlemips" || S == "elf32-ntradbigmips") 4234f8c8228SRui Ueyama Config->MipsN32Abi = true; 424ea8cd00aSRui Ueyama 425b579c439SRui Ueyama if (consume(")")) 4262ec34544SRui Ueyama return; 427b579c439SRui Ueyama expect(","); 4282ec34544SRui Ueyama skip(); 4292ec34544SRui Ueyama expect(","); 4302ec34544SRui Ueyama skip(); 4312ec34544SRui Ueyama expect(")"); 4322ec34544SRui Ueyama } 4332ec34544SRui Ueyama 4342ec34544SRui Ueyama void ScriptParser::readPhdrs() { 4352ec34544SRui Ueyama expect("{"); 4362ec34544SRui Ueyama 437b8a59c8aSBob Haarman while (!errorCount() && !consume("}")) { 4380ae2c24cSRui Ueyama PhdrsCommand Cmd; 4390ae2c24cSRui Ueyama Cmd.Name = next(); 4400ae2c24cSRui Ueyama Cmd.Type = readPhdrType(); 441b579c439SRui Ueyama 442b8a59c8aSBob Haarman while (!errorCount() && !consume(";")) { 443b579c439SRui Ueyama if (consume("FILEHDR")) 4440ae2c24cSRui Ueyama Cmd.HasFilehdr = true; 445b579c439SRui Ueyama else if (consume("PHDRS")) 4460ae2c24cSRui Ueyama Cmd.HasPhdrs = true; 447b579c439SRui Ueyama else if (consume("AT")) 4480ae2c24cSRui Ueyama Cmd.LMAExpr = readParenExpr(); 449b579c439SRui Ueyama else if (consume("FLAGS")) 4500ae2c24cSRui Ueyama Cmd.Flags = readParenExpr()().getValue(); 451b579c439SRui Ueyama else 452b579c439SRui Ueyama setError("unexpected header attribute: " + next()); 453b579c439SRui Ueyama } 4540ae2c24cSRui Ueyama 455ac27de9dSRui Ueyama Script->PhdrsCommands.push_back(Cmd); 4562ec34544SRui Ueyama } 4572ec34544SRui Ueyama } 4582ec34544SRui Ueyama 4595f37541cSGeorge Rimar void ScriptParser::readRegionAlias() { 4605f37541cSGeorge Rimar expect("("); 4615f37541cSGeorge Rimar StringRef Alias = unquote(next()); 4625f37541cSGeorge Rimar expect(","); 4635f37541cSGeorge Rimar StringRef Name = next(); 4645f37541cSGeorge Rimar expect(")"); 4655f37541cSGeorge Rimar 466ac27de9dSRui Ueyama if (Script->MemoryRegions.count(Alias)) 4675f37541cSGeorge Rimar setError("redefinition of memory region '" + Alias + "'"); 468ac27de9dSRui Ueyama if (!Script->MemoryRegions.count(Name)) 4695f37541cSGeorge Rimar setError("memory region '" + Name + "' is not defined"); 4708c825db2SGeorge Rimar Script->MemoryRegions.insert({Alias, Script->MemoryRegions[Name]}); 4715f37541cSGeorge Rimar } 4725f37541cSGeorge Rimar 4732ec34544SRui Ueyama void ScriptParser::readSearchDir() { 4742ec34544SRui Ueyama expect("("); 4752ec34544SRui Ueyama StringRef Tok = next(); 4762ec34544SRui Ueyama if (!Config->Nostdlib) 4772ec34544SRui Ueyama Config->SearchPaths.push_back(unquote(Tok)); 4782ec34544SRui Ueyama expect(")"); 4792ec34544SRui Ueyama } 4802ec34544SRui Ueyama 481a582419aSGeorge Rimar // This reads an overlay description. Overlays are used to describe output 482a582419aSGeorge Rimar // sections that use the same virtual memory range and normally would trigger 483a582419aSGeorge Rimar // linker's sections sanity check failures. 484a582419aSGeorge Rimar // https://sourceware.org/binutils/docs/ld/Overlay-Description.html#Overlay-Description 485a582419aSGeorge Rimar std::vector<BaseCommand *> ScriptParser::readOverlay() { 486a582419aSGeorge Rimar // VA and LMA expressions are optional, though for simplicity of 487a582419aSGeorge Rimar // implementation we assume they are not. That is what OVERLAY was designed 488a582419aSGeorge Rimar // for first of all: to allow sections with overlapping VAs at different LMAs. 489a582419aSGeorge Rimar Expr AddrExpr = readExpr(); 490a582419aSGeorge Rimar expect(":"); 491a582419aSGeorge Rimar expect("AT"); 492a582419aSGeorge Rimar Expr LMAExpr = readParenExpr(); 493a582419aSGeorge Rimar expect("{"); 494a582419aSGeorge Rimar 495a582419aSGeorge Rimar std::vector<BaseCommand *> V; 496a582419aSGeorge Rimar OutputSection *Prev = nullptr; 497a582419aSGeorge Rimar while (!errorCount() && !consume("}")) { 498a582419aSGeorge Rimar // VA is the same for all sections. The LMAs are consecutive in memory 499a582419aSGeorge Rimar // starting from the base load address specified. 500a582419aSGeorge Rimar OutputSection *OS = readOverlaySectionDescription(); 501a582419aSGeorge Rimar OS->AddrExpr = AddrExpr; 502a582419aSGeorge Rimar if (Prev) 503a582419aSGeorge Rimar OS->LMAExpr = [=] { return Prev->getLMA() + Prev->Size; }; 504a582419aSGeorge Rimar else 505a582419aSGeorge Rimar OS->LMAExpr = LMAExpr; 506a582419aSGeorge Rimar V.push_back(OS); 507a582419aSGeorge Rimar Prev = OS; 508a582419aSGeorge Rimar } 509a582419aSGeorge Rimar 510a582419aSGeorge Rimar // According to the specification, at the end of the overlay, the location 511a582419aSGeorge Rimar // counter should be equal to the overlay base address plus size of the 512a582419aSGeorge Rimar // largest section seen in the overlay. 513a582419aSGeorge Rimar // Here we want to create the Dot assignment command to achieve that. 514a582419aSGeorge Rimar Expr MoveDot = [=] { 515a582419aSGeorge Rimar uint64_t Max = 0; 516a582419aSGeorge Rimar for (BaseCommand *Cmd : V) 517a582419aSGeorge Rimar Max = std::max(Max, cast<OutputSection>(Cmd)->Size); 518a582419aSGeorge Rimar return AddrExpr().getValue() + Max; 519a582419aSGeorge Rimar }; 520a582419aSGeorge Rimar V.push_back(make<SymbolAssignment>(".", MoveDot, getCurrentLocation())); 521a582419aSGeorge Rimar return V; 522a582419aSGeorge Rimar } 523a582419aSGeorge Rimar 5242ec34544SRui Ueyama void ScriptParser::readSections() { 525a323e2a7SRui Ueyama Script->HasSectionsCommand = true; 526b579c439SRui Ueyama 5272ec34544SRui Ueyama // -no-rosegment is used to avoid placing read only non-executable sections in 5282ec34544SRui Ueyama // their own segment. We do the same if SECTIONS command is present in linker 5292ec34544SRui Ueyama // script. See comment for computeFlags(). 5302ec34544SRui Ueyama Config->SingleRoRx = true; 5312ec34544SRui Ueyama 5322ec34544SRui Ueyama expect("{"); 5339e2c8a9dSGeorge Rimar std::vector<BaseCommand *> V; 534b8a59c8aSBob Haarman while (!errorCount() && !consume("}")) { 5352ec34544SRui Ueyama StringRef Tok = next(); 536a582419aSGeorge Rimar if (Tok == "OVERLAY") { 537a582419aSGeorge Rimar for (BaseCommand *Cmd : readOverlay()) 538a582419aSGeorge Rimar V.push_back(Cmd); 539a582419aSGeorge Rimar continue; 5402e9d40d5SRui Ueyama } else if (Tok == "INCLUDE") { 5412e9d40d5SRui Ueyama readInclude(); 5422e9d40d5SRui Ueyama continue; 543a582419aSGeorge Rimar } 544a582419aSGeorge Rimar 545d30a78b3SGeorge Rimar if (BaseCommand *Cmd = readAssignment(Tok)) 5469e2c8a9dSGeorge Rimar V.push_back(Cmd); 547d30a78b3SGeorge Rimar else 548d30a78b3SGeorge Rimar V.push_back(readOutputSectionDescription(Tok)); 5492ec34544SRui Ueyama } 5509e2c8a9dSGeorge Rimar 5519e2c8a9dSGeorge Rimar if (!atEOF() && consume("INSERT")) { 552796684b4SGeorge Rimar std::vector<BaseCommand *> *Dest = nullptr; 553796684b4SGeorge Rimar if (consume("AFTER")) 554796684b4SGeorge Rimar Dest = &Script->InsertAfterCommands[next()]; 555796684b4SGeorge Rimar else if (consume("BEFORE")) 556796684b4SGeorge Rimar Dest = &Script->InsertBeforeCommands[next()]; 557796684b4SGeorge Rimar else 558796684b4SGeorge Rimar setError("expected AFTER/BEFORE, but got '" + next() + "'"); 559796684b4SGeorge Rimar if (Dest) 560796684b4SGeorge Rimar Dest->insert(Dest->end(), V.begin(), V.end()); 5619e2c8a9dSGeorge Rimar return; 5629e2c8a9dSGeorge Rimar } 5639e2c8a9dSGeorge Rimar 5649e2c8a9dSGeorge Rimar Script->SectionCommands.insert(Script->SectionCommands.end(), V.begin(), 5659e2c8a9dSGeorge Rimar V.end()); 5662ec34544SRui Ueyama } 5672ec34544SRui Ueyama 568e262bb1aSRui Ueyama void ScriptParser::readTarget() { 569e262bb1aSRui Ueyama // TARGET(foo) is an alias for "--format foo". Unlike GNU linkers, 570e262bb1aSRui Ueyama // we accept only a limited set of BFD names (i.e. "elf" or "binary") 571e262bb1aSRui Ueyama // for --format. We recognize only /^elf/ and "binary" in the linker 572e262bb1aSRui Ueyama // script as well. 573e262bb1aSRui Ueyama expect("("); 574e262bb1aSRui Ueyama StringRef Tok = next(); 575e262bb1aSRui Ueyama expect(")"); 576e262bb1aSRui Ueyama 577e262bb1aSRui Ueyama if (Tok.startswith("elf")) 578e262bb1aSRui Ueyama Config->FormatBinary = false; 579e262bb1aSRui Ueyama else if (Tok == "binary") 580e262bb1aSRui Ueyama Config->FormatBinary = true; 581e262bb1aSRui Ueyama else 582e262bb1aSRui Ueyama setError("unknown target: " + Tok); 583e262bb1aSRui Ueyama } 584e262bb1aSRui Ueyama 5852ec34544SRui Ueyama static int precedence(StringRef Op) { 5862ec34544SRui Ueyama return StringSwitch<int>(Op) 587a5005482SGeorge Rimar .Cases("*", "/", "%", 8) 588a5005482SGeorge Rimar .Cases("+", "-", 7) 589a5005482SGeorge Rimar .Cases("<<", ">>", 6) 590a5005482SGeorge Rimar .Cases("<", "<=", ">", ">=", "==", "!=", 5) 591a5005482SGeorge Rimar .Case("&", 4) 592a5005482SGeorge Rimar .Case("|", 3) 593a5005482SGeorge Rimar .Case("&&", 2) 594a5005482SGeorge Rimar .Case("||", 1) 5952ec34544SRui Ueyama .Default(-1); 5962ec34544SRui Ueyama } 5972ec34544SRui Ueyama 5982ec34544SRui Ueyama StringMatcher ScriptParser::readFilePatterns() { 5992ec34544SRui Ueyama std::vector<StringRef> V; 600b8a59c8aSBob Haarman while (!errorCount() && !consume(")")) 6012ec34544SRui Ueyama V.push_back(next()); 6022ec34544SRui Ueyama return StringMatcher(V); 6032ec34544SRui Ueyama } 6042ec34544SRui Ueyama 6052ec34544SRui Ueyama SortSectionPolicy ScriptParser::readSortKind() { 6062ec34544SRui Ueyama if (consume("SORT") || consume("SORT_BY_NAME")) 6072ec34544SRui Ueyama return SortSectionPolicy::Name; 6082ec34544SRui Ueyama if (consume("SORT_BY_ALIGNMENT")) 6092ec34544SRui Ueyama return SortSectionPolicy::Alignment; 6102ec34544SRui Ueyama if (consume("SORT_BY_INIT_PRIORITY")) 6112ec34544SRui Ueyama return SortSectionPolicy::Priority; 6122ec34544SRui Ueyama if (consume("SORT_NONE")) 6132ec34544SRui Ueyama return SortSectionPolicy::None; 6142ec34544SRui Ueyama return SortSectionPolicy::Default; 6152ec34544SRui Ueyama } 6162ec34544SRui Ueyama 61703fc8d1eSRui Ueyama // Reads SECTIONS command contents in the following form: 61803fc8d1eSRui Ueyama // 61903fc8d1eSRui Ueyama // <contents> ::= <elem>* 62003fc8d1eSRui Ueyama // <elem> ::= <exclude>? <glob-pattern> 62103fc8d1eSRui Ueyama // <exclude> ::= "EXCLUDE_FILE" "(" <glob-pattern>+ ")" 62203fc8d1eSRui Ueyama // 62303fc8d1eSRui Ueyama // For example, 62403fc8d1eSRui Ueyama // 62503fc8d1eSRui Ueyama // *(.foo EXCLUDE_FILE (a.o) .bar EXCLUDE_FILE (b.o) .baz) 62603fc8d1eSRui Ueyama // 62703fc8d1eSRui Ueyama // is parsed as ".foo", ".bar" with "a.o", and ".baz" with "b.o". 62803fc8d1eSRui Ueyama // The semantics of that is section .foo in any file, section .bar in 62903fc8d1eSRui Ueyama // any file but a.o, and section .baz in any file but b.o. 6302ec34544SRui Ueyama std::vector<SectionPattern> ScriptParser::readInputSectionsList() { 6312ec34544SRui Ueyama std::vector<SectionPattern> Ret; 632b8a59c8aSBob Haarman while (!errorCount() && peek() != ")") { 6332ec34544SRui Ueyama StringMatcher ExcludeFilePat; 6342ec34544SRui Ueyama if (consume("EXCLUDE_FILE")) { 6352ec34544SRui Ueyama expect("("); 6362ec34544SRui Ueyama ExcludeFilePat = readFilePatterns(); 6372ec34544SRui Ueyama } 6382ec34544SRui Ueyama 6392ec34544SRui Ueyama std::vector<StringRef> V; 640b8a59c8aSBob Haarman while (!errorCount() && peek() != ")" && peek() != "EXCLUDE_FILE") 641f902250fSGeorge Rimar V.push_back(unquote(next())); 6422ec34544SRui Ueyama 6432ec34544SRui Ueyama if (!V.empty()) 6442ec34544SRui Ueyama Ret.push_back({std::move(ExcludeFilePat), StringMatcher(V)}); 6452ec34544SRui Ueyama else 6462ec34544SRui Ueyama setError("section pattern is expected"); 6472ec34544SRui Ueyama } 6482ec34544SRui Ueyama return Ret; 6492ec34544SRui Ueyama } 6502ec34544SRui Ueyama 6512ec34544SRui Ueyama // Reads contents of "SECTIONS" directive. That directive contains a 6522ec34544SRui Ueyama // list of glob patterns for input sections. The grammar is as follows. 6532ec34544SRui Ueyama // 6542ec34544SRui Ueyama // <patterns> ::= <section-list> 6552ec34544SRui Ueyama // | <sort> "(" <section-list> ")" 6562ec34544SRui Ueyama // | <sort> "(" <sort> "(" <section-list> ")" ")" 6572ec34544SRui Ueyama // 6582ec34544SRui Ueyama // <sort> ::= "SORT" | "SORT_BY_NAME" | "SORT_BY_ALIGNMENT" 6592ec34544SRui Ueyama // | "SORT_BY_INIT_PRIORITY" | "SORT_NONE" 6602ec34544SRui Ueyama // 6612ec34544SRui Ueyama // <section-list> is parsed by readInputSectionsList(). 6622ec34544SRui Ueyama InputSectionDescription * 6632ec34544SRui Ueyama ScriptParser::readInputSectionRules(StringRef FilePattern) { 6642ec34544SRui Ueyama auto *Cmd = make<InputSectionDescription>(FilePattern); 6652ec34544SRui Ueyama expect("("); 6662ec34544SRui Ueyama 667b8a59c8aSBob Haarman while (!errorCount() && !consume(")")) { 6682ec34544SRui Ueyama SortSectionPolicy Outer = readSortKind(); 6692ec34544SRui Ueyama SortSectionPolicy Inner = SortSectionPolicy::Default; 6702ec34544SRui Ueyama std::vector<SectionPattern> V; 6712ec34544SRui Ueyama if (Outer != SortSectionPolicy::Default) { 6722ec34544SRui Ueyama expect("("); 6732ec34544SRui Ueyama Inner = readSortKind(); 6742ec34544SRui Ueyama if (Inner != SortSectionPolicy::Default) { 6752ec34544SRui Ueyama expect("("); 6762ec34544SRui Ueyama V = readInputSectionsList(); 6772ec34544SRui Ueyama expect(")"); 6782ec34544SRui Ueyama } else { 6792ec34544SRui Ueyama V = readInputSectionsList(); 6802ec34544SRui Ueyama } 6812ec34544SRui Ueyama expect(")"); 6822ec34544SRui Ueyama } else { 6832ec34544SRui Ueyama V = readInputSectionsList(); 6842ec34544SRui Ueyama } 6852ec34544SRui Ueyama 6862ec34544SRui Ueyama for (SectionPattern &Pat : V) { 6872ec34544SRui Ueyama Pat.SortInner = Inner; 6882ec34544SRui Ueyama Pat.SortOuter = Outer; 6892ec34544SRui Ueyama } 6902ec34544SRui Ueyama 6912ec34544SRui Ueyama std::move(V.begin(), V.end(), std::back_inserter(Cmd->SectionPatterns)); 6922ec34544SRui Ueyama } 6932ec34544SRui Ueyama return Cmd; 6942ec34544SRui Ueyama } 6952ec34544SRui Ueyama 6962ec34544SRui Ueyama InputSectionDescription * 6972ec34544SRui Ueyama ScriptParser::readInputSectionDescription(StringRef Tok) { 6982ec34544SRui Ueyama // Input section wildcard can be surrounded by KEEP. 6992ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/Input-Section-Keep.html#Input-Section-Keep 7002ec34544SRui Ueyama if (Tok == "KEEP") { 7012ec34544SRui Ueyama expect("("); 7022ec34544SRui Ueyama StringRef FilePattern = next(); 7032ec34544SRui Ueyama InputSectionDescription *Cmd = readInputSectionRules(FilePattern); 7042ec34544SRui Ueyama expect(")"); 705ac27de9dSRui Ueyama Script->KeptSections.push_back(Cmd); 7062ec34544SRui Ueyama return Cmd; 7072ec34544SRui Ueyama } 7082ec34544SRui Ueyama return readInputSectionRules(Tok); 7092ec34544SRui Ueyama } 7102ec34544SRui Ueyama 7112ec34544SRui Ueyama void ScriptParser::readSort() { 7122ec34544SRui Ueyama expect("("); 7132ec34544SRui Ueyama expect("CONSTRUCTORS"); 7142ec34544SRui Ueyama expect(")"); 7152ec34544SRui Ueyama } 7162ec34544SRui Ueyama 717d30a78b3SGeorge Rimar Expr ScriptParser::readAssert() { 7182ec34544SRui Ueyama expect("("); 7192ec34544SRui Ueyama Expr E = readExpr(); 7202ec34544SRui Ueyama expect(","); 7212ec34544SRui Ueyama StringRef Msg = unquote(next()); 7222ec34544SRui Ueyama expect(")"); 723b579c439SRui Ueyama 7242ec34544SRui Ueyama return [=] { 7252ec34544SRui Ueyama if (!E().getValue()) 7262ec34544SRui Ueyama error(Msg); 7272ec34544SRui Ueyama return Script->getDot(); 7282ec34544SRui Ueyama }; 7292ec34544SRui Ueyama } 7302ec34544SRui Ueyama 7312ec34544SRui Ueyama // Reads a FILL(expr) command. We handle the FILL command as an 7322ec34544SRui Ueyama // alias for =fillexp section attribute, which is different from 7332ec34544SRui Ueyama // what GNU linkers do. 7342ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/Output-Section-Data.html 735b0486051SSimon Atanasyan std::array<uint8_t, 4> ScriptParser::readFill() { 7362ec34544SRui Ueyama expect("("); 737b0486051SSimon Atanasyan std::array<uint8_t, 4> V = parseFill(next()); 7382ec34544SRui Ueyama expect(")"); 7392ec34544SRui Ueyama return V; 7402ec34544SRui Ueyama } 7412ec34544SRui Ueyama 742a46d08ebSGeorge Rimar // Tries to read the special directive for an output section definition which 743a46d08ebSGeorge Rimar // can be one of following: "(NOLOAD)", "(COPY)", "(INFO)" or "(OVERLAY)". 744a46d08ebSGeorge Rimar // Tok1 and Tok2 are next 2 tokens peeked. See comment for readSectionAddressType below. 745a46d08ebSGeorge Rimar bool ScriptParser::readSectionDirective(OutputSection *Cmd, StringRef Tok1, StringRef Tok2) { 746a46d08ebSGeorge Rimar if (Tok1 != "(") 747a46d08ebSGeorge Rimar return false; 748a46d08ebSGeorge Rimar if (Tok2 != "NOLOAD" && Tok2 != "COPY" && Tok2 != "INFO" && Tok2 != "OVERLAY") 749a46d08ebSGeorge Rimar return false; 750a46d08ebSGeorge Rimar 751a46d08ebSGeorge Rimar expect("("); 752a46d08ebSGeorge Rimar if (consume("NOLOAD")) { 753a46d08ebSGeorge Rimar Cmd->Noload = true; 754a46d08ebSGeorge Rimar } else { 755a46d08ebSGeorge Rimar skip(); // This is "COPY", "INFO" or "OVERLAY". 756a46d08ebSGeorge Rimar Cmd->NonAlloc = true; 757a46d08ebSGeorge Rimar } 758a46d08ebSGeorge Rimar expect(")"); 759a46d08ebSGeorge Rimar return true; 760a46d08ebSGeorge Rimar } 761a46d08ebSGeorge Rimar 7621c08e9f5SGeorge Rimar // Reads an expression and/or the special directive for an output 7631c08e9f5SGeorge Rimar // section definition. Directive is one of following: "(NOLOAD)", 7641c08e9f5SGeorge Rimar // "(COPY)", "(INFO)" or "(OVERLAY)". 7653271d370SRui Ueyama // 7663271d370SRui Ueyama // An output section name can be followed by an address expression 7671c08e9f5SGeorge Rimar // and/or directive. This grammar is not LL(1) because "(" can be 76897f4d158SGeorge Rimar // interpreted as either the beginning of some expression or beginning 7691c08e9f5SGeorge Rimar // of directive. 7703271d370SRui Ueyama // 771b579c439SRui Ueyama // https://sourceware.org/binutils/docs/ld/Output-Section-Address.html 772fbb0463fSGeorge Rimar // https://sourceware.org/binutils/docs/ld/Output-Section-Type.html 7738c022ca7SRafael Espindola void ScriptParser::readSectionAddressType(OutputSection *Cmd) { 774a46d08ebSGeorge Rimar if (readSectionDirective(Cmd, peek(), peek2())) 7753271d370SRui Ueyama return; 7763271d370SRui Ueyama 777a46d08ebSGeorge Rimar Cmd->AddrExpr = readExpr(); 778a46d08ebSGeorge Rimar if (peek() == "(" && !readSectionDirective(Cmd, "(", peek2())) 779a46d08ebSGeorge Rimar setError("unknown section directive: " + peek2()); 780fbb0463fSGeorge Rimar } 781fbb0463fSGeorge Rimar 782f22ec9ddSGeorge Rimar static Expr checkAlignment(Expr E, std::string &Loc) { 783f22ec9ddSGeorge Rimar return [=] { 784f22ec9ddSGeorge Rimar uint64_t Alignment = std::max((uint64_t)1, E().getValue()); 785f22ec9ddSGeorge Rimar if (!isPowerOf2_64(Alignment)) { 786f22ec9ddSGeorge Rimar error(Loc + ": alignment must be power of 2"); 787f22ec9ddSGeorge Rimar return (uint64_t)1; // Return a dummy value. 788f22ec9ddSGeorge Rimar } 789f22ec9ddSGeorge Rimar return Alignment; 790f22ec9ddSGeorge Rimar }; 791f22ec9ddSGeorge Rimar } 792f22ec9ddSGeorge Rimar 793a582419aSGeorge Rimar OutputSection *ScriptParser::readOverlaySectionDescription() { 794a582419aSGeorge Rimar OutputSection *Cmd = 795a582419aSGeorge Rimar Script->createOutputSection(next(), getCurrentLocation()); 796a582419aSGeorge Rimar Cmd->InOverlay = true; 797a582419aSGeorge Rimar expect("{"); 798a582419aSGeorge Rimar while (!errorCount() && !consume("}")) 799a582419aSGeorge Rimar Cmd->SectionCommands.push_back(readInputSectionRules(next())); 800a582419aSGeorge Rimar Cmd->Phdrs = readOutputSectionPhdrs(); 801a582419aSGeorge Rimar return Cmd; 802a582419aSGeorge Rimar } 803a582419aSGeorge Rimar 8048c022ca7SRafael Espindola OutputSection *ScriptParser::readOutputSectionDescription(StringRef OutSec) { 8058c022ca7SRafael Espindola OutputSection *Cmd = 8068c022ca7SRafael Espindola Script->createOutputSection(OutSec, getCurrentLocation()); 8073271d370SRui Ueyama 808c4df670dSGeorge Rimar size_t SymbolsReferenced = Script->ReferencedSymbols.size(); 809c4df670dSGeorge Rimar 8103271d370SRui Ueyama if (peek() != ":") 8113271d370SRui Ueyama readSectionAddressType(Cmd); 8122ec34544SRui Ueyama expect(":"); 8132ec34544SRui Ueyama 814f22ec9ddSGeorge Rimar std::string Location = getCurrentLocation(); 8152ec34544SRui Ueyama if (consume("AT")) 8162ec34544SRui Ueyama Cmd->LMAExpr = readParenExpr(); 8172ec34544SRui Ueyama if (consume("ALIGN")) 818f22ec9ddSGeorge Rimar Cmd->AlignExpr = checkAlignment(readParenExpr(), Location); 8192ec34544SRui Ueyama if (consume("SUBALIGN")) 820f22ec9ddSGeorge Rimar Cmd->SubalignExpr = checkAlignment(readParenExpr(), Location); 8212ec34544SRui Ueyama 8222ec34544SRui Ueyama // Parse constraints. 8232ec34544SRui Ueyama if (consume("ONLY_IF_RO")) 8242ec34544SRui Ueyama Cmd->Constraint = ConstraintKind::ReadOnly; 8252ec34544SRui Ueyama if (consume("ONLY_IF_RW")) 8262ec34544SRui Ueyama Cmd->Constraint = ConstraintKind::ReadWrite; 8272ec34544SRui Ueyama expect("{"); 8282ec34544SRui Ueyama 829b8a59c8aSBob Haarman while (!errorCount() && !consume("}")) { 8302ec34544SRui Ueyama StringRef Tok = next(); 8312ec34544SRui Ueyama if (Tok == ";") { 8322ec34544SRui Ueyama // Empty commands are allowed. Do nothing here. 833d30a78b3SGeorge Rimar } else if (SymbolAssignment *Assign = readAssignment(Tok)) { 8346b394caaSRui Ueyama Cmd->SectionCommands.push_back(Assign); 835f0403c60SRui Ueyama } else if (ByteCommand *Data = readByteCommand(Tok)) { 8366b394caaSRui Ueyama Cmd->SectionCommands.push_back(Data); 8372ec34544SRui Ueyama } else if (Tok == "CONSTRUCTORS") { 8382ec34544SRui Ueyama // CONSTRUCTORS is a keyword to make the linker recognize C++ ctors/dtors 8392ec34544SRui Ueyama // by name. This is for very old file formats such as ECOFF/XCOFF. 8402ec34544SRui Ueyama // For ELF, we should ignore. 8412ec34544SRui Ueyama } else if (Tok == "FILL") { 8422ec34544SRui Ueyama Cmd->Filler = readFill(); 8432ec34544SRui Ueyama } else if (Tok == "SORT") { 8442ec34544SRui Ueyama readSort(); 8452e9d40d5SRui Ueyama } else if (Tok == "INCLUDE") { 8462e9d40d5SRui Ueyama readInclude(); 8472ec34544SRui Ueyama } else if (peek() == "(") { 8486b394caaSRui Ueyama Cmd->SectionCommands.push_back(readInputSectionDescription(Tok)); 8492ec34544SRui Ueyama } else { 850f49fe218SGeorge Rimar // We have a file name and no input sections description. It is not a 851f49fe218SGeorge Rimar // commonly used syntax, but still acceptable. In that case, all sections 852f49fe218SGeorge Rimar // from the file will be included. 853e1fd3f94SGeorge Rimar auto *ISD = make<InputSectionDescription>(Tok); 854f49fe218SGeorge Rimar ISD->SectionPatterns.push_back({{}, StringMatcher({"*"})}); 855f49fe218SGeorge Rimar Cmd->SectionCommands.push_back(ISD); 8562ec34544SRui Ueyama } 8572ec34544SRui Ueyama } 8582ec34544SRui Ueyama 8592ec34544SRui Ueyama if (consume(">")) 8602ec34544SRui Ueyama Cmd->MemoryRegionName = next(); 8612ec34544SRui Ueyama 8625d01a8beSGeorge Rimar if (consume("AT")) { 8635d01a8beSGeorge Rimar expect(">"); 8645d01a8beSGeorge Rimar Cmd->LMARegionName = next(); 8655d01a8beSGeorge Rimar } 8665d01a8beSGeorge Rimar 8675d01a8beSGeorge Rimar if (Cmd->LMAExpr && !Cmd->LMARegionName.empty()) 8685d01a8beSGeorge Rimar error("section can't have both LMA and a load region"); 8695d01a8beSGeorge Rimar 8702ec34544SRui Ueyama Cmd->Phdrs = readOutputSectionPhdrs(); 8712ec34544SRui Ueyama 8722ec34544SRui Ueyama if (consume("=")) 8738acbf1ccSRui Ueyama Cmd->Filler = parseFill(next()); 8742ec34544SRui Ueyama else if (peek().startswith("=")) 8758acbf1ccSRui Ueyama Cmd->Filler = parseFill(next().drop_front()); 8762ec34544SRui Ueyama 8772ec34544SRui Ueyama // Consume optional comma following output section command. 8782ec34544SRui Ueyama consume(","); 8792ec34544SRui Ueyama 880c4df670dSGeorge Rimar if (Script->ReferencedSymbols.size() > SymbolsReferenced) 881c4df670dSGeorge Rimar Cmd->ExpressionsUseSymbols = true; 8822ec34544SRui Ueyama return Cmd; 8832ec34544SRui Ueyama } 8842ec34544SRui Ueyama 8858acbf1ccSRui Ueyama // Parses a given string as a octal/decimal/hexadecimal number and 8868acbf1ccSRui Ueyama // returns it as a big-endian number. Used for `=<fillexp>`. 8872ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/Output-Section-Fill.html 8882ec34544SRui Ueyama // 8898acbf1ccSRui Ueyama // When reading a hexstring, ld.bfd handles it as a blob of arbitrary 8908acbf1ccSRui Ueyama // size, while ld.gold always handles it as a 32-bit big-endian number. 8918acbf1ccSRui Ueyama // We are compatible with ld.gold because it's easier to implement. 892b0486051SSimon Atanasyan std::array<uint8_t, 4> ScriptParser::parseFill(StringRef Tok) { 893b58079d4SRui Ueyama uint32_t V = 0; 894ab94768cSGeorge Rimar if (!to_integer(Tok, V)) 8952ec34544SRui Ueyama setError("invalid filler expression: " + Tok); 896b58079d4SRui Ueyama 897b0486051SSimon Atanasyan std::array<uint8_t, 4> Buf; 898b0486051SSimon Atanasyan write32be(Buf.data(), V); 899b58079d4SRui Ueyama return Buf; 9002ec34544SRui Ueyama } 9012ec34544SRui Ueyama 9022ec34544SRui Ueyama SymbolAssignment *ScriptParser::readProvideHidden(bool Provide, bool Hidden) { 9032ec34544SRui Ueyama expect("("); 904d30a78b3SGeorge Rimar SymbolAssignment *Cmd = readSymbolAssignment(next()); 9052ec34544SRui Ueyama Cmd->Provide = Provide; 9062ec34544SRui Ueyama Cmd->Hidden = Hidden; 9072ec34544SRui Ueyama expect(")"); 9082ec34544SRui Ueyama return Cmd; 9092ec34544SRui Ueyama } 9102ec34544SRui Ueyama 911d30a78b3SGeorge Rimar SymbolAssignment *ScriptParser::readAssignment(StringRef Tok) { 912d30a78b3SGeorge Rimar // Assert expression returns Dot, so this is equal to ".=." 913d30a78b3SGeorge Rimar if (Tok == "ASSERT") 914d30a78b3SGeorge Rimar return make<SymbolAssignment>(".", readAssert(), getCurrentLocation()); 915d30a78b3SGeorge Rimar 916e88b76a9SGeorge Rimar size_t OldPos = Pos; 9172ec34544SRui Ueyama SymbolAssignment *Cmd = nullptr; 918e88b76a9SGeorge Rimar if (peek() == "=" || peek() == "+=") 919d30a78b3SGeorge Rimar Cmd = readSymbolAssignment(Tok); 920e88b76a9SGeorge Rimar else if (Tok == "PROVIDE") 9212ec34544SRui Ueyama Cmd = readProvideHidden(true, false); 922e88b76a9SGeorge Rimar else if (Tok == "HIDDEN") 9232ec34544SRui Ueyama Cmd = readProvideHidden(false, true); 924e88b76a9SGeorge Rimar else if (Tok == "PROVIDE_HIDDEN") 9252ec34544SRui Ueyama Cmd = readProvideHidden(true, true); 926e88b76a9SGeorge Rimar 927e88b76a9SGeorge Rimar if (Cmd) { 928e88b76a9SGeorge Rimar Cmd->CommandString = 929e88b76a9SGeorge Rimar Tok.str() + " " + 930e88b76a9SGeorge Rimar llvm::join(Tokens.begin() + OldPos, Tokens.begin() + Pos, " "); 931e88b76a9SGeorge Rimar expect(";"); 9322ec34544SRui Ueyama } 9332ec34544SRui Ueyama return Cmd; 9342ec34544SRui Ueyama } 9352ec34544SRui Ueyama 936d30a78b3SGeorge Rimar SymbolAssignment *ScriptParser::readSymbolAssignment(StringRef Name) { 9372ec34544SRui Ueyama StringRef Op = next(); 9382ec34544SRui Ueyama assert(Op == "=" || Op == "+="); 9392ec34544SRui Ueyama Expr E = readExpr(); 9402ec34544SRui Ueyama if (Op == "+=") { 9412ec34544SRui Ueyama std::string Loc = getCurrentLocation(); 942722221f5SRui Ueyama E = [=] { return add(Script->getSymbolValue(Name, Loc), E()); }; 9432ec34544SRui Ueyama } 944e88b76a9SGeorge Rimar return make<SymbolAssignment>(Name, E, getCurrentLocation()); 9452ec34544SRui Ueyama } 9462ec34544SRui Ueyama 9472ec34544SRui Ueyama // This is an operator-precedence parser to parse a linker 9482ec34544SRui Ueyama // script expression. 9492ec34544SRui Ueyama Expr ScriptParser::readExpr() { 9502ec34544SRui Ueyama // Our lexer is context-aware. Set the in-expression bit so that 9512ec34544SRui Ueyama // they apply different tokenization rules. 9522ec34544SRui Ueyama bool Orig = InExpr; 9532ec34544SRui Ueyama InExpr = true; 9542ec34544SRui Ueyama Expr E = readExpr1(readPrimary(), 0); 9552ec34544SRui Ueyama InExpr = Orig; 9562ec34544SRui Ueyama return E; 9572ec34544SRui Ueyama } 9582ec34544SRui Ueyama 9597b91e213SGeorge Rimar Expr ScriptParser::combine(StringRef Op, Expr L, Expr R) { 9602ec34544SRui Ueyama if (Op == "+") 9612ec34544SRui Ueyama return [=] { return add(L(), R()); }; 9622ec34544SRui Ueyama if (Op == "-") 9632ec34544SRui Ueyama return [=] { return sub(L(), R()); }; 964b579c439SRui Ueyama if (Op == "*") 9651d20222aSRui Ueyama return [=] { return L().getValue() * R().getValue(); }; 9667b91e213SGeorge Rimar if (Op == "/") { 9677b91e213SGeorge Rimar std::string Loc = getCurrentLocation(); 9687b91e213SGeorge Rimar return [=]() -> uint64_t { 9697b91e213SGeorge Rimar if (uint64_t RV = R().getValue()) 9707b91e213SGeorge Rimar return L().getValue() / RV; 9717b91e213SGeorge Rimar error(Loc + ": division by zero"); 972067617f9SRui Ueyama return 0; 9737b91e213SGeorge Rimar }; 9747b91e213SGeorge Rimar } 9757b91e213SGeorge Rimar if (Op == "%") { 9767b91e213SGeorge Rimar std::string Loc = getCurrentLocation(); 9777b91e213SGeorge Rimar return [=]() -> uint64_t { 9787b91e213SGeorge Rimar if (uint64_t RV = R().getValue()) 9797b91e213SGeorge Rimar return L().getValue() % RV; 9807b91e213SGeorge Rimar error(Loc + ": modulo by zero"); 981067617f9SRui Ueyama return 0; 9827b91e213SGeorge Rimar }; 9837b91e213SGeorge Rimar } 9842ec34544SRui Ueyama if (Op == "<<") 9857e915511SRui Ueyama return [=] { return L().getValue() << R().getValue(); }; 9862ec34544SRui Ueyama if (Op == ">>") 9877e915511SRui Ueyama return [=] { return L().getValue() >> R().getValue(); }; 9882ec34544SRui Ueyama if (Op == "<") 9892ec34544SRui Ueyama return [=] { return L().getValue() < R().getValue(); }; 9902ec34544SRui Ueyama if (Op == ">") 9912ec34544SRui Ueyama return [=] { return L().getValue() > R().getValue(); }; 9922ec34544SRui Ueyama if (Op == ">=") 9932ec34544SRui Ueyama return [=] { return L().getValue() >= R().getValue(); }; 9942ec34544SRui Ueyama if (Op == "<=") 9952ec34544SRui Ueyama return [=] { return L().getValue() <= R().getValue(); }; 9962ec34544SRui Ueyama if (Op == "==") 9972ec34544SRui Ueyama return [=] { return L().getValue() == R().getValue(); }; 9982ec34544SRui Ueyama if (Op == "!=") 9992ec34544SRui Ueyama return [=] { return L().getValue() != R().getValue(); }; 1000a5005482SGeorge Rimar if (Op == "||") 1001a5005482SGeorge Rimar return [=] { return L().getValue() || R().getValue(); }; 1002a5005482SGeorge Rimar if (Op == "&&") 1003a5005482SGeorge Rimar return [=] { return L().getValue() && R().getValue(); }; 10042ec34544SRui Ueyama if (Op == "&") 10052ec34544SRui Ueyama return [=] { return bitAnd(L(), R()); }; 10062ec34544SRui Ueyama if (Op == "|") 10072ec34544SRui Ueyama return [=] { return bitOr(L(), R()); }; 10082ec34544SRui Ueyama llvm_unreachable("invalid operator"); 10092ec34544SRui Ueyama } 10102ec34544SRui Ueyama 10112ec34544SRui Ueyama // This is a part of the operator-precedence parser. This function 10122ec34544SRui Ueyama // assumes that the remaining token stream starts with an operator. 10132ec34544SRui Ueyama Expr ScriptParser::readExpr1(Expr Lhs, int MinPrec) { 1014b8a59c8aSBob Haarman while (!atEOF() && !errorCount()) { 10152ec34544SRui Ueyama // Read an operator and an expression. 10162ec34544SRui Ueyama if (consume("?")) 10172ec34544SRui Ueyama return readTernary(Lhs); 10182ec34544SRui Ueyama StringRef Op1 = peek(); 10192ec34544SRui Ueyama if (precedence(Op1) < MinPrec) 10202ec34544SRui Ueyama break; 10212ec34544SRui Ueyama skip(); 10222ec34544SRui Ueyama Expr Rhs = readPrimary(); 10232ec34544SRui Ueyama 10242ec34544SRui Ueyama // Evaluate the remaining part of the expression first if the 10252ec34544SRui Ueyama // next operator has greater precedence than the previous one. 10262ec34544SRui Ueyama // For example, if we have read "+" and "3", and if the next 10272ec34544SRui Ueyama // operator is "*", then we'll evaluate 3 * ... part first. 10282ec34544SRui Ueyama while (!atEOF()) { 10292ec34544SRui Ueyama StringRef Op2 = peek(); 10302ec34544SRui Ueyama if (precedence(Op2) <= precedence(Op1)) 10312ec34544SRui Ueyama break; 10322ec34544SRui Ueyama Rhs = readExpr1(Rhs, precedence(Op2)); 10332ec34544SRui Ueyama } 10342ec34544SRui Ueyama 10352ec34544SRui Ueyama Lhs = combine(Op1, Lhs, Rhs); 10362ec34544SRui Ueyama } 10372ec34544SRui Ueyama return Lhs; 10382ec34544SRui Ueyama } 10392ec34544SRui Ueyama 10405fb17128SGeorge Rimar Expr ScriptParser::getPageSize() { 10415fb17128SGeorge Rimar std::string Location = getCurrentLocation(); 10425fb17128SGeorge Rimar return [=]() -> uint64_t { 10435fb17128SGeorge Rimar if (Target) 10444e21c770SPeter Smith return Config->CommonPageSize; 10455fb17128SGeorge Rimar error(Location + ": unable to calculate page size"); 10465fb17128SGeorge Rimar return 4096; // Return a dummy value. 10475fb17128SGeorge Rimar }; 10485fb17128SGeorge Rimar } 10495fb17128SGeorge Rimar 10505fb17128SGeorge Rimar Expr ScriptParser::readConstant() { 10515fb17128SGeorge Rimar StringRef S = readParenLiteral(); 10525fb17128SGeorge Rimar if (S == "COMMONPAGESIZE") 10535fb17128SGeorge Rimar return getPageSize(); 10542ec34544SRui Ueyama if (S == "MAXPAGESIZE") 10555fb17128SGeorge Rimar return [] { return Config->MaxPageSize; }; 10565fb17128SGeorge Rimar setError("unknown constant: " + S); 1057b068b037SGeorge Rimar return [] { return 0; }; 10582ec34544SRui Ueyama } 10592ec34544SRui Ueyama 10605c65088fSRui Ueyama // Parses Tok as an integer. It recognizes hexadecimal (prefixed with 10615c65088fSRui Ueyama // "0x" or suffixed with "H") and decimal numbers. Decimal numbers may 10625c65088fSRui Ueyama // have "K" (Ki) or "M" (Mi) suffixes. 10635c65088fSRui Ueyama static Optional<uint64_t> parseInt(StringRef Tok) { 10642ec34544SRui Ueyama // Hexadecimal 10655c65088fSRui Ueyama uint64_t Val; 10664092016bSRui Ueyama if (Tok.startswith_lower("0x")) { 10674092016bSRui Ueyama if (!to_integer(Tok.substr(2), Val, 16)) 10684092016bSRui Ueyama return None; 10695c65088fSRui Ueyama return Val; 10704092016bSRui Ueyama } 10714092016bSRui Ueyama if (Tok.endswith_lower("H")) { 10724092016bSRui Ueyama if (!to_integer(Tok.drop_back(), Val, 16)) 10734092016bSRui Ueyama return None; 10745c65088fSRui Ueyama return Val; 10754092016bSRui Ueyama } 10762ec34544SRui Ueyama 10772ec34544SRui Ueyama // Decimal 10782ec34544SRui Ueyama if (Tok.endswith_lower("K")) { 1079ab94768cSGeorge Rimar if (!to_integer(Tok.drop_back(), Val, 10)) 10805c65088fSRui Ueyama return None; 10815c65088fSRui Ueyama return Val * 1024; 10822ec34544SRui Ueyama } 10835c65088fSRui Ueyama if (Tok.endswith_lower("M")) { 1084ab94768cSGeorge Rimar if (!to_integer(Tok.drop_back(), Val, 10)) 10855c65088fSRui Ueyama return None; 10865c65088fSRui Ueyama return Val * 1024 * 1024; 10875c65088fSRui Ueyama } 1088ab94768cSGeorge Rimar if (!to_integer(Tok, Val, 10)) 10895c65088fSRui Ueyama return None; 10905c65088fSRui Ueyama return Val; 10912ec34544SRui Ueyama } 10922ec34544SRui Ueyama 1093f0403c60SRui Ueyama ByteCommand *ScriptParser::readByteCommand(StringRef Tok) { 1094b579c439SRui Ueyama int Size = StringSwitch<int>(Tok) 10952ec34544SRui Ueyama .Case("BYTE", 1) 10962ec34544SRui Ueyama .Case("SHORT", 2) 10972ec34544SRui Ueyama .Case("LONG", 4) 10982ec34544SRui Ueyama .Case("QUAD", 8) 10992ec34544SRui Ueyama .Default(-1); 11002ec34544SRui Ueyama if (Size == -1) 11012ec34544SRui Ueyama return nullptr; 110284bcabcbSGeorge Rimar 110384bcabcbSGeorge Rimar size_t OldPos = Pos; 110484bcabcbSGeorge Rimar Expr E = readParenExpr(); 110584bcabcbSGeorge Rimar std::string CommandString = 110684bcabcbSGeorge Rimar Tok.str() + " " + 110784bcabcbSGeorge Rimar llvm::join(Tokens.begin() + OldPos, Tokens.begin() + Pos, " "); 110884bcabcbSGeorge Rimar return make<ByteCommand>(E, Size, CommandString); 11092ec34544SRui Ueyama } 11102ec34544SRui Ueyama 11112ec34544SRui Ueyama StringRef ScriptParser::readParenLiteral() { 11122ec34544SRui Ueyama expect("("); 11135e9c7762SRafael Espindola bool Orig = InExpr; 11145e9c7762SRafael Espindola InExpr = false; 11152ec34544SRui Ueyama StringRef Tok = next(); 11165e9c7762SRafael Espindola InExpr = Orig; 11172ec34544SRui Ueyama expect(")"); 11182ec34544SRui Ueyama return Tok; 11192ec34544SRui Ueyama } 11202ec34544SRui Ueyama 1121617e2f98SRui Ueyama static void checkIfExists(OutputSection *Cmd, StringRef Location) { 112205c4f67cSRafael Espindola if (Cmd->Location.empty() && Script->ErrorOnMissingSection) 112305c4f67cSRafael Espindola error(Location + ": undefined section " + Cmd->Name); 112405c4f67cSRafael Espindola } 112505c4f67cSRafael Espindola 11262ec34544SRui Ueyama Expr ScriptParser::readPrimary() { 11272ec34544SRui Ueyama if (peek() == "(") 11282ec34544SRui Ueyama return readParenExpr(); 11292ec34544SRui Ueyama 11305c65088fSRui Ueyama if (consume("~")) { 11312ec34544SRui Ueyama Expr E = readPrimary(); 1132b2fb84a1SRui Ueyama return [=] { return ~E().getValue(); }; 11332ec34544SRui Ueyama } 11346f1d954eSHafiz Abid Qadeer if (consume("!")) { 11356f1d954eSHafiz Abid Qadeer Expr E = readPrimary(); 11366f1d954eSHafiz Abid Qadeer return [=] { return !E().getValue(); }; 11376f1d954eSHafiz Abid Qadeer } 11385c65088fSRui Ueyama if (consume("-")) { 11392ec34544SRui Ueyama Expr E = readPrimary(); 1140b2fb84a1SRui Ueyama return [=] { return -E().getValue(); }; 11412ec34544SRui Ueyama } 11422ec34544SRui Ueyama 11435c65088fSRui Ueyama StringRef Tok = next(); 11445c65088fSRui Ueyama std::string Location = getCurrentLocation(); 11455c65088fSRui Ueyama 11462ec34544SRui Ueyama // Built-in functions are parsed here. 11472ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/Builtin-Functions.html. 11482ec34544SRui Ueyama if (Tok == "ABSOLUTE") { 11492ec34544SRui Ueyama Expr Inner = readParenExpr(); 11502ec34544SRui Ueyama return [=] { 11512ec34544SRui Ueyama ExprValue I = Inner(); 11522ec34544SRui Ueyama I.ForceAbsolute = true; 11532ec34544SRui Ueyama return I; 11542ec34544SRui Ueyama }; 11552ec34544SRui Ueyama } 11562ec34544SRui Ueyama if (Tok == "ADDR") { 11572ec34544SRui Ueyama StringRef Name = readParenLiteral(); 11584fbe3518SRui Ueyama OutputSection *Sec = Script->getOrCreateOutputSection(Name); 1159dee900aeSGeorge Rimar Sec->UsedInExpression = true; 116041c7ab4aSGeorge Rimar return [=]() -> ExprValue { 11614fbe3518SRui Ueyama checkIfExists(Sec, Location); 11624fbe3518SRui Ueyama return {Sec, false, 0, Location}; 116341c7ab4aSGeorge Rimar }; 11642ec34544SRui Ueyama } 11652ec34544SRui Ueyama if (Tok == "ALIGN") { 11662ec34544SRui Ueyama expect("("); 11672ec34544SRui Ueyama Expr E = readExpr(); 1168f22ec9ddSGeorge Rimar if (consume(")")) { 1169f22ec9ddSGeorge Rimar E = checkAlignment(E, Location); 1170f22ec9ddSGeorge Rimar return [=] { return alignTo(Script->getDot(), E().getValue()); }; 1171f22ec9ddSGeorge Rimar } 1172b579c439SRui Ueyama expect(","); 1173f22ec9ddSGeorge Rimar Expr E2 = checkAlignment(readExpr(), Location); 11742ec34544SRui Ueyama expect(")"); 11753c6de1a6SPetr Hosek return [=] { 11763c6de1a6SPetr Hosek ExprValue V = E(); 1177f22ec9ddSGeorge Rimar V.Alignment = E2().getValue(); 11783c6de1a6SPetr Hosek return V; 11793c6de1a6SPetr Hosek }; 11802ec34544SRui Ueyama } 11812ec34544SRui Ueyama if (Tok == "ALIGNOF") { 11822ec34544SRui Ueyama StringRef Name = readParenLiteral(); 11838c022ca7SRafael Espindola OutputSection *Cmd = Script->getOrCreateOutputSection(Name); 1184617e2f98SRui Ueyama return [=] { 1185617e2f98SRui Ueyama checkIfExists(Cmd, Location); 1186617e2f98SRui Ueyama return Cmd->Alignment; 1187617e2f98SRui Ueyama }; 11882ec34544SRui Ueyama } 11892ec34544SRui Ueyama if (Tok == "ASSERT") 1190d30a78b3SGeorge Rimar return readAssert(); 11915fb17128SGeorge Rimar if (Tok == "CONSTANT") 11925fb17128SGeorge Rimar return readConstant(); 11932ec34544SRui Ueyama if (Tok == "DATA_SEGMENT_ALIGN") { 11942ec34544SRui Ueyama expect("("); 11952ec34544SRui Ueyama Expr E = readExpr(); 11962ec34544SRui Ueyama expect(","); 11972ec34544SRui Ueyama readExpr(); 11982ec34544SRui Ueyama expect(")"); 119960833f6eSGeorge Rimar return [=] { 120060833f6eSGeorge Rimar return alignTo(Script->getDot(), std::max((uint64_t)1, E().getValue())); 120160833f6eSGeorge Rimar }; 12022ec34544SRui Ueyama } 12032ec34544SRui Ueyama if (Tok == "DATA_SEGMENT_END") { 12042ec34544SRui Ueyama expect("("); 12052ec34544SRui Ueyama expect("."); 12062ec34544SRui Ueyama expect(")"); 12072ec34544SRui Ueyama return [] { return Script->getDot(); }; 12082ec34544SRui Ueyama } 12092ec34544SRui Ueyama if (Tok == "DATA_SEGMENT_RELRO_END") { 12102ec34544SRui Ueyama // GNU linkers implements more complicated logic to handle 12112ec34544SRui Ueyama // DATA_SEGMENT_RELRO_END. We instead ignore the arguments and 12122ec34544SRui Ueyama // just align to the next page boundary for simplicity. 12132ec34544SRui Ueyama expect("("); 12142ec34544SRui Ueyama readExpr(); 12152ec34544SRui Ueyama expect(","); 12162ec34544SRui Ueyama readExpr(); 12172ec34544SRui Ueyama expect(")"); 12185fb17128SGeorge Rimar Expr E = getPageSize(); 12195fb17128SGeorge Rimar return [=] { return alignTo(Script->getDot(), E().getValue()); }; 12202ec34544SRui Ueyama } 12212ec34544SRui Ueyama if (Tok == "DEFINED") { 12222ec34544SRui Ueyama StringRef Name = readParenLiteral(); 12239b18f50fSRui Ueyama return [=] { return Symtab->find(Name) ? 1 : 0; }; 12242ec34544SRui Ueyama } 122591b95b61SRui Ueyama if (Tok == "LENGTH") { 122691b95b61SRui Ueyama StringRef Name = readParenLiteral(); 1227b068b037SGeorge Rimar if (Script->MemoryRegions.count(Name) == 0) { 122891b95b61SRui Ueyama setError("memory region not defined: " + Name); 1229b068b037SGeorge Rimar return [] { return 0; }; 1230b068b037SGeorge Rimar } 1231ac27de9dSRui Ueyama return [=] { return Script->MemoryRegions[Name]->Length; }; 123291b95b61SRui Ueyama } 12332ec34544SRui Ueyama if (Tok == "LOADADDR") { 12342ec34544SRui Ueyama StringRef Name = readParenLiteral(); 12358c022ca7SRafael Espindola OutputSection *Cmd = Script->getOrCreateOutputSection(Name); 1236dee900aeSGeorge Rimar Cmd->UsedInExpression = true; 1237617e2f98SRui Ueyama return [=] { 1238617e2f98SRui Ueyama checkIfExists(Cmd, Location); 1239617e2f98SRui Ueyama return Cmd->getLMA(); 1240617e2f98SRui Ueyama }; 12412ec34544SRui Ueyama } 1242fd11560fSGeorge Rimar if (Tok == "MAX" || Tok == "MIN") { 1243fd11560fSGeorge Rimar expect("("); 1244fd11560fSGeorge Rimar Expr A = readExpr(); 1245fd11560fSGeorge Rimar expect(","); 1246fd11560fSGeorge Rimar Expr B = readExpr(); 1247fd11560fSGeorge Rimar expect(")"); 1248fd11560fSGeorge Rimar if (Tok == "MIN") 1249fd11560fSGeorge Rimar return [=] { return std::min(A().getValue(), B().getValue()); }; 1250fd11560fSGeorge Rimar return [=] { return std::max(A().getValue(), B().getValue()); }; 1251fd11560fSGeorge Rimar } 125291b95b61SRui Ueyama if (Tok == "ORIGIN") { 125391b95b61SRui Ueyama StringRef Name = readParenLiteral(); 1254b068b037SGeorge Rimar if (Script->MemoryRegions.count(Name) == 0) { 125591b95b61SRui Ueyama setError("memory region not defined: " + Name); 1256b068b037SGeorge Rimar return [] { return 0; }; 1257b068b037SGeorge Rimar } 1258ac27de9dSRui Ueyama return [=] { return Script->MemoryRegions[Name]->Origin; }; 125991b95b61SRui Ueyama } 12602ec34544SRui Ueyama if (Tok == "SEGMENT_START") { 12612ec34544SRui Ueyama expect("("); 12622ec34544SRui Ueyama skip(); 12632ec34544SRui Ueyama expect(","); 12642ec34544SRui Ueyama Expr E = readExpr(); 12652ec34544SRui Ueyama expect(")"); 12662ec34544SRui Ueyama return [=] { return E(); }; 12672ec34544SRui Ueyama } 12682ec34544SRui Ueyama if (Tok == "SIZEOF") { 12692ec34544SRui Ueyama StringRef Name = readParenLiteral(); 12708c022ca7SRafael Espindola OutputSection *Cmd = Script->getOrCreateOutputSection(Name); 127105c4f67cSRafael Espindola // Linker script does not create an output section if its content is empty. 127205c4f67cSRafael Espindola // We want to allow SIZEOF(.foo) where .foo is a section which happened to 127305c4f67cSRafael Espindola // be empty. 12748c022ca7SRafael Espindola return [=] { return Cmd->Size; }; 12752ec34544SRui Ueyama } 12762ec34544SRui Ueyama if (Tok == "SIZEOF_HEADERS") 12772ec34544SRui Ueyama return [=] { return elf::getHeaderSize(); }; 12782ec34544SRui Ueyama 12794eb2eccbSRui Ueyama // Tok is the dot. 12804eb2eccbSRui Ueyama if (Tok == ".") 1281722221f5SRui Ueyama return [=] { return Script->getSymbolValue(Tok, Location); }; 12824eb2eccbSRui Ueyama 12832ec34544SRui Ueyama // Tok is a literal number. 12845c65088fSRui Ueyama if (Optional<uint64_t> Val = parseInt(Tok)) 12855c65088fSRui Ueyama return [=] { return *Val; }; 12862ec34544SRui Ueyama 12872ec34544SRui Ueyama // Tok is a symbol name. 12882ec34544SRui Ueyama if (!isValidCIdentifier(Tok)) 12892ec34544SRui Ueyama setError("malformed number: " + Tok); 1290ac27de9dSRui Ueyama Script->ReferencedSymbols.push_back(Tok); 1291722221f5SRui Ueyama return [=] { return Script->getSymbolValue(Tok, Location); }; 12922ec34544SRui Ueyama } 12932ec34544SRui Ueyama 12942ec34544SRui Ueyama Expr ScriptParser::readTernary(Expr Cond) { 12952ec34544SRui Ueyama Expr L = readExpr(); 12962ec34544SRui Ueyama expect(":"); 12972ec34544SRui Ueyama Expr R = readExpr(); 12982ec34544SRui Ueyama return [=] { return Cond().getValue() ? L() : R(); }; 12992ec34544SRui Ueyama } 13002ec34544SRui Ueyama 13012ec34544SRui Ueyama Expr ScriptParser::readParenExpr() { 13022ec34544SRui Ueyama expect("("); 13032ec34544SRui Ueyama Expr E = readExpr(); 13042ec34544SRui Ueyama expect(")"); 13052ec34544SRui Ueyama return E; 13062ec34544SRui Ueyama } 13072ec34544SRui Ueyama 13082ec34544SRui Ueyama std::vector<StringRef> ScriptParser::readOutputSectionPhdrs() { 13092ec34544SRui Ueyama std::vector<StringRef> Phdrs; 1310b8a59c8aSBob Haarman while (!errorCount() && peek().startswith(":")) { 13112ec34544SRui Ueyama StringRef Tok = next(); 13122ec34544SRui Ueyama Phdrs.push_back((Tok.size() == 1) ? next() : Tok.substr(1)); 13132ec34544SRui Ueyama } 13142ec34544SRui Ueyama return Phdrs; 13152ec34544SRui Ueyama } 13162ec34544SRui Ueyama 13172ec34544SRui Ueyama // Read a program header type name. The next token must be a 13182ec34544SRui Ueyama // name of a program header type or a constant (e.g. "0x3"). 13192ec34544SRui Ueyama unsigned ScriptParser::readPhdrType() { 13202ec34544SRui Ueyama StringRef Tok = next(); 13215c65088fSRui Ueyama if (Optional<uint64_t> Val = parseInt(Tok)) 13225c65088fSRui Ueyama return *Val; 13232ec34544SRui Ueyama 13242ec34544SRui Ueyama unsigned Ret = StringSwitch<unsigned>(Tok) 13252ec34544SRui Ueyama .Case("PT_NULL", PT_NULL) 13262ec34544SRui Ueyama .Case("PT_LOAD", PT_LOAD) 13272ec34544SRui Ueyama .Case("PT_DYNAMIC", PT_DYNAMIC) 13282ec34544SRui Ueyama .Case("PT_INTERP", PT_INTERP) 13292ec34544SRui Ueyama .Case("PT_NOTE", PT_NOTE) 13302ec34544SRui Ueyama .Case("PT_SHLIB", PT_SHLIB) 13312ec34544SRui Ueyama .Case("PT_PHDR", PT_PHDR) 13322ec34544SRui Ueyama .Case("PT_TLS", PT_TLS) 13332ec34544SRui Ueyama .Case("PT_GNU_EH_FRAME", PT_GNU_EH_FRAME) 13342ec34544SRui Ueyama .Case("PT_GNU_STACK", PT_GNU_STACK) 13352ec34544SRui Ueyama .Case("PT_GNU_RELRO", PT_GNU_RELRO) 13362ec34544SRui Ueyama .Case("PT_OPENBSD_RANDOMIZE", PT_OPENBSD_RANDOMIZE) 13372ec34544SRui Ueyama .Case("PT_OPENBSD_WXNEEDED", PT_OPENBSD_WXNEEDED) 13382ec34544SRui Ueyama .Case("PT_OPENBSD_BOOTDATA", PT_OPENBSD_BOOTDATA) 13392ec34544SRui Ueyama .Default(-1); 13402ec34544SRui Ueyama 13412ec34544SRui Ueyama if (Ret == (unsigned)-1) { 13422ec34544SRui Ueyama setError("invalid program header type: " + Tok); 13432ec34544SRui Ueyama return PT_NULL; 13442ec34544SRui Ueyama } 13452ec34544SRui Ueyama return Ret; 13462ec34544SRui Ueyama } 13472ec34544SRui Ueyama 13482ec34544SRui Ueyama // Reads an anonymous version declaration. 13492ec34544SRui Ueyama void ScriptParser::readAnonymousDeclaration() { 13502ec34544SRui Ueyama std::vector<SymbolVersion> Locals; 13512ec34544SRui Ueyama std::vector<SymbolVersion> Globals; 13522ec34544SRui Ueyama std::tie(Locals, Globals) = readSymbols(); 13532ec34544SRui Ueyama 13542ec34544SRui Ueyama for (SymbolVersion V : Locals) { 13552ec34544SRui Ueyama if (V.Name == "*") 13562ec34544SRui Ueyama Config->DefaultSymbolVersion = VER_NDX_LOCAL; 13572ec34544SRui Ueyama else 13582ec34544SRui Ueyama Config->VersionScriptLocals.push_back(V); 13592ec34544SRui Ueyama } 13602ec34544SRui Ueyama 13612ec34544SRui Ueyama for (SymbolVersion V : Globals) 13622ec34544SRui Ueyama Config->VersionScriptGlobals.push_back(V); 13632ec34544SRui Ueyama 13642ec34544SRui Ueyama expect(";"); 13652ec34544SRui Ueyama } 13662ec34544SRui Ueyama 13672ec34544SRui Ueyama // Reads a non-anonymous version definition, 13682ec34544SRui Ueyama // e.g. "VerStr { global: foo; bar; local: *; };". 13692ec34544SRui Ueyama void ScriptParser::readVersionDeclaration(StringRef VerStr) { 13702ec34544SRui Ueyama // Read a symbol list. 13712ec34544SRui Ueyama std::vector<SymbolVersion> Locals; 13722ec34544SRui Ueyama std::vector<SymbolVersion> Globals; 13732ec34544SRui Ueyama std::tie(Locals, Globals) = readSymbols(); 13742ec34544SRui Ueyama 13752ec34544SRui Ueyama for (SymbolVersion V : Locals) { 13762ec34544SRui Ueyama if (V.Name == "*") 13772ec34544SRui Ueyama Config->DefaultSymbolVersion = VER_NDX_LOCAL; 13782ec34544SRui Ueyama else 13792ec34544SRui Ueyama Config->VersionScriptLocals.push_back(V); 13802ec34544SRui Ueyama } 13812ec34544SRui Ueyama 13822ec34544SRui Ueyama // Create a new version definition and add that to the global symbols. 13832ec34544SRui Ueyama VersionDefinition Ver; 13842ec34544SRui Ueyama Ver.Name = VerStr; 13852ec34544SRui Ueyama Ver.Globals = Globals; 13862ec34544SRui Ueyama 13872ec34544SRui Ueyama // User-defined version number starts from 2 because 0 and 1 are 13882ec34544SRui Ueyama // reserved for VER_NDX_LOCAL and VER_NDX_GLOBAL, respectively. 13892ec34544SRui Ueyama Ver.Id = Config->VersionDefinitions.size() + 2; 13902ec34544SRui Ueyama Config->VersionDefinitions.push_back(Ver); 13912ec34544SRui Ueyama 13922ec34544SRui Ueyama // Each version may have a parent version. For example, "Ver2" 13932ec34544SRui Ueyama // defined as "Ver2 { global: foo; local: *; } Ver1;" has "Ver1" 13942ec34544SRui Ueyama // as a parent. This version hierarchy is, probably against your 13952ec34544SRui Ueyama // instinct, purely for hint; the runtime doesn't care about it 13962ec34544SRui Ueyama // at all. In LLD, we simply ignore it. 13972ec34544SRui Ueyama if (peek() != ";") 13982ec34544SRui Ueyama skip(); 13992ec34544SRui Ueyama expect(";"); 14002ec34544SRui Ueyama } 14012ec34544SRui Ueyama 14021e77ad14SRui Ueyama static bool hasWildcard(StringRef S) { 14031e77ad14SRui Ueyama return S.find_first_of("?*[") != StringRef::npos; 14041e77ad14SRui Ueyama } 14051e77ad14SRui Ueyama 14062ec34544SRui Ueyama // Reads a list of symbols, e.g. "{ global: foo; bar; local: *; };". 14072ec34544SRui Ueyama std::pair<std::vector<SymbolVersion>, std::vector<SymbolVersion>> 14082ec34544SRui Ueyama ScriptParser::readSymbols() { 14092ec34544SRui Ueyama std::vector<SymbolVersion> Locals; 14102ec34544SRui Ueyama std::vector<SymbolVersion> Globals; 14112ec34544SRui Ueyama std::vector<SymbolVersion> *V = &Globals; 14122ec34544SRui Ueyama 1413b8a59c8aSBob Haarman while (!errorCount()) { 14142ec34544SRui Ueyama if (consume("}")) 14152ec34544SRui Ueyama break; 14162ec34544SRui Ueyama if (consumeLabel("local")) { 14172ec34544SRui Ueyama V = &Locals; 14182ec34544SRui Ueyama continue; 14192ec34544SRui Ueyama } 14202ec34544SRui Ueyama if (consumeLabel("global")) { 14212ec34544SRui Ueyama V = &Globals; 14222ec34544SRui Ueyama continue; 14232ec34544SRui Ueyama } 14242ec34544SRui Ueyama 14252ec34544SRui Ueyama if (consume("extern")) { 14262ec34544SRui Ueyama std::vector<SymbolVersion> Ext = readVersionExtern(); 14272ec34544SRui Ueyama V->insert(V->end(), Ext.begin(), Ext.end()); 14282ec34544SRui Ueyama } else { 14292ec34544SRui Ueyama StringRef Tok = next(); 14302ec34544SRui Ueyama V->push_back({unquote(Tok), false, hasWildcard(Tok)}); 14312ec34544SRui Ueyama } 14322ec34544SRui Ueyama expect(";"); 14332ec34544SRui Ueyama } 14342ec34544SRui Ueyama return {Locals, Globals}; 14352ec34544SRui Ueyama } 14362ec34544SRui Ueyama 14372ec34544SRui Ueyama // Reads an "extern C++" directive, e.g., 14382ec34544SRui Ueyama // "extern "C++" { ns::*; "f(int, double)"; };" 143917324d8bSRui Ueyama // 144017324d8bSRui Ueyama // The last semicolon is optional. E.g. this is OK: 144117324d8bSRui Ueyama // "extern "C++" { ns::*; "f(int, double)" };" 14422ec34544SRui Ueyama std::vector<SymbolVersion> ScriptParser::readVersionExtern() { 14432ec34544SRui Ueyama StringRef Tok = next(); 14442ec34544SRui Ueyama bool IsCXX = Tok == "\"C++\""; 14452ec34544SRui Ueyama if (!IsCXX && Tok != "\"C\"") 14462ec34544SRui Ueyama setError("Unknown language"); 14472ec34544SRui Ueyama expect("{"); 14482ec34544SRui Ueyama 14492ec34544SRui Ueyama std::vector<SymbolVersion> Ret; 1450b8a59c8aSBob Haarman while (!errorCount() && peek() != "}") { 14512ec34544SRui Ueyama StringRef Tok = next(); 14522ec34544SRui Ueyama bool HasWildcard = !Tok.startswith("\"") && hasWildcard(Tok); 14532ec34544SRui Ueyama Ret.push_back({unquote(Tok), IsCXX, HasWildcard}); 145417324d8bSRui Ueyama if (consume("}")) 145517324d8bSRui Ueyama return Ret; 14562ec34544SRui Ueyama expect(";"); 14572ec34544SRui Ueyama } 14582ec34544SRui Ueyama 14592ec34544SRui Ueyama expect("}"); 14602ec34544SRui Ueyama return Ret; 14612ec34544SRui Ueyama } 14622ec34544SRui Ueyama 14632ec34544SRui Ueyama uint64_t ScriptParser::readMemoryAssignment(StringRef S1, StringRef S2, 14642ec34544SRui Ueyama StringRef S3) { 1465b579c439SRui Ueyama if (!consume(S1) && !consume(S2) && !consume(S3)) { 14662ec34544SRui Ueyama setError("expected one of: " + S1 + ", " + S2 + ", or " + S3); 14672ec34544SRui Ueyama return 0; 14682ec34544SRui Ueyama } 14692ec34544SRui Ueyama expect("="); 1470040af7deSRui Ueyama return readExpr()().getValue(); 14712ec34544SRui Ueyama } 14722ec34544SRui Ueyama 14732ec34544SRui Ueyama // Parse the MEMORY command as specified in: 14742ec34544SRui Ueyama // https://sourceware.org/binutils/docs/ld/MEMORY.html 14752ec34544SRui Ueyama // 14762ec34544SRui Ueyama // MEMORY { name [(attr)] : ORIGIN = origin, LENGTH = len ... } 14772ec34544SRui Ueyama void ScriptParser::readMemory() { 14782ec34544SRui Ueyama expect("{"); 1479b8a59c8aSBob Haarman while (!errorCount() && !consume("}")) { 14802e9d40d5SRui Ueyama StringRef Tok = next(); 14812e9d40d5SRui Ueyama if (Tok == "INCLUDE") { 14822e9d40d5SRui Ueyama readInclude(); 14832e9d40d5SRui Ueyama continue; 14842e9d40d5SRui Ueyama } 14852ec34544SRui Ueyama 14862ec34544SRui Ueyama uint32_t Flags = 0; 14872ec34544SRui Ueyama uint32_t NegFlags = 0; 14882ec34544SRui Ueyama if (consume("(")) { 14892ec34544SRui Ueyama std::tie(Flags, NegFlags) = readMemoryAttributes(); 14902ec34544SRui Ueyama expect(")"); 14912ec34544SRui Ueyama } 14922ec34544SRui Ueyama expect(":"); 14932ec34544SRui Ueyama 14942ec34544SRui Ueyama uint64_t Origin = readMemoryAssignment("ORIGIN", "org", "o"); 14952ec34544SRui Ueyama expect(","); 14962ec34544SRui Ueyama uint64_t Length = readMemoryAssignment("LENGTH", "len", "l"); 14972ec34544SRui Ueyama 14985f37541cSGeorge Rimar // Add the memory region to the region map. 14992e9d40d5SRui Ueyama MemoryRegion *MR = make<MemoryRegion>(Tok, Origin, Length, Flags, NegFlags); 15002e9d40d5SRui Ueyama if (!Script->MemoryRegions.insert({Tok, MR}).second) 15012e9d40d5SRui Ueyama setError("region '" + Tok + "' already defined"); 15022ec34544SRui Ueyama } 15032ec34544SRui Ueyama } 15042ec34544SRui Ueyama 15052ec34544SRui Ueyama // This function parses the attributes used to match against section 15062ec34544SRui Ueyama // flags when placing output sections in a memory region. These flags 15072ec34544SRui Ueyama // are only used when an explicit memory region name is not used. 15082ec34544SRui Ueyama std::pair<uint32_t, uint32_t> ScriptParser::readMemoryAttributes() { 15092ec34544SRui Ueyama uint32_t Flags = 0; 15102ec34544SRui Ueyama uint32_t NegFlags = 0; 15112ec34544SRui Ueyama bool Invert = false; 15122ec34544SRui Ueyama 15132ec34544SRui Ueyama for (char C : next().lower()) { 15142ec34544SRui Ueyama uint32_t Flag = 0; 15152ec34544SRui Ueyama if (C == '!') 15162ec34544SRui Ueyama Invert = !Invert; 15172ec34544SRui Ueyama else if (C == 'w') 15182ec34544SRui Ueyama Flag = SHF_WRITE; 15192ec34544SRui Ueyama else if (C == 'x') 15202ec34544SRui Ueyama Flag = SHF_EXECINSTR; 15212ec34544SRui Ueyama else if (C == 'a') 15222ec34544SRui Ueyama Flag = SHF_ALLOC; 15232ec34544SRui Ueyama else if (C != 'r') 15242ec34544SRui Ueyama setError("invalid memory region attribute"); 15252ec34544SRui Ueyama 15262ec34544SRui Ueyama if (Invert) 15272ec34544SRui Ueyama NegFlags |= Flag; 15282ec34544SRui Ueyama else 15292ec34544SRui Ueyama Flags |= Flag; 15302ec34544SRui Ueyama } 15312ec34544SRui Ueyama return {Flags, NegFlags}; 15322ec34544SRui Ueyama } 15332ec34544SRui Ueyama 15342ec34544SRui Ueyama void elf::readLinkerScript(MemoryBufferRef MB) { 15352ec34544SRui Ueyama ScriptParser(MB).readLinkerScript(); 15362ec34544SRui Ueyama } 15372ec34544SRui Ueyama 15382ec34544SRui Ueyama void elf::readVersionScript(MemoryBufferRef MB) { 15392ec34544SRui Ueyama ScriptParser(MB).readVersionScript(); 15402ec34544SRui Ueyama } 15412ec34544SRui Ueyama 15422ec34544SRui Ueyama void elf::readDynamicList(MemoryBufferRef MB) { 15432ec34544SRui Ueyama ScriptParser(MB).readDynamicList(); 15442ec34544SRui Ueyama } 15458c7e8cceSPetr Hosek 15468c7e8cceSPetr Hosek void elf::readDefsym(StringRef Name, MemoryBufferRef MB) { 15478c7e8cceSPetr Hosek ScriptParser(MB).readDefsym(Name); 15488c7e8cceSPetr Hosek } 1549