| Peter Collingbourne | 66ac1d6 | 2016-04-22 20:21:26 +0000 | [diff] [blame] | 1 | //===- SymbolListFile.cpp -------------------------------------------------===// |
| Adhemerval Zanella | 9df0720 | 2016-04-13 18:51:11 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Linker |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file contains the parser/evaluator of the linker script. |
| 11 | // It does not construct an AST but consume linker script directives directly. |
| 12 | // Results are written to Driver or Config object. |
| 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
| Peter Collingbourne | 66ac1d6 | 2016-04-22 20:21:26 +0000 | [diff] [blame] | 16 | #include "SymbolListFile.h" |
| Adhemerval Zanella | 9df0720 | 2016-04-13 18:51:11 +0000 | [diff] [blame] | 17 | #include "Config.h" |
| 18 | #include "ScriptParser.h" |
| 19 | #include "llvm/Support/MemoryBuffer.h" |
| Adhemerval Zanella | 9df0720 | 2016-04-13 18:51:11 +0000 | [diff] [blame] | 20 | |
| 21 | using namespace llvm; |
| Rui Ueyama | 2506866 | 2016-07-16 03:08:26 +0000 | [diff] [blame^] | 22 | using namespace llvm::ELF; |
| 23 | |
| Adhemerval Zanella | 9df0720 | 2016-04-13 18:51:11 +0000 | [diff] [blame] | 24 | using namespace lld; |
| 25 | using namespace lld::elf; |
| 26 | |
| 27 | // Parse the --dynamic-list argument. A dynamic list is in the form |
| 28 | // |
| 29 | // { symbol1; symbol2; [...]; symbolN }; |
| 30 | // |
| 31 | // Multiple groups can be defined in the same file and they are merged |
| 32 | // in only one definition. |
| 33 | |
| 34 | class DynamicListParser final : public ScriptParserBase { |
| 35 | public: |
| 36 | DynamicListParser(StringRef S) : ScriptParserBase(S) {} |
| 37 | |
| Rui Ueyama | 4a46539 | 2016-04-22 22:59:24 +0000 | [diff] [blame] | 38 | void run(); |
| Adhemerval Zanella | 9df0720 | 2016-04-13 18:51:11 +0000 | [diff] [blame] | 39 | |
| 40 | private: |
| 41 | void readGroup(); |
| 42 | }; |
| 43 | |
| 44 | // Parse the default group definition using C language symbol name. |
| 45 | void DynamicListParser::readGroup() { |
| 46 | expect("{"); |
| 47 | while (!Error) { |
| 48 | Config->DynamicList.push_back(next()); |
| 49 | expect(";"); |
| 50 | if (peek() == "}") { |
| 51 | next(); |
| 52 | break; |
| 53 | } |
| 54 | } |
| 55 | expect(";"); |
| 56 | } |
| 57 | |
| 58 | void DynamicListParser::run() { |
| 59 | while (!atEOF()) |
| 60 | readGroup(); |
| 61 | } |
| 62 | |
| 63 | void elf::parseDynamicList(MemoryBufferRef MB) { |
| 64 | DynamicListParser(MB.getBuffer()).run(); |
| 65 | } |
| Peter Collingbourne | 66ac1d6 | 2016-04-22 20:21:26 +0000 | [diff] [blame] | 66 | |
| 67 | // Parse the --version-script argument. We currently only accept the following |
| 68 | // version script syntax: |
| 69 | // |
| 70 | // { [ global: symbol1; symbol2; [...]; symbolN; ] local: *; }; |
| 71 | // |
| 72 | // No wildcards are supported, other than for the local entry. Symbol versioning |
| 73 | // is also not supported. |
| 74 | |
| 75 | class VersionScriptParser final : public ScriptParserBase { |
| 76 | public: |
| 77 | VersionScriptParser(StringRef S) : ScriptParserBase(S) {} |
| 78 | |
| Rui Ueyama | 4a46539 | 2016-04-22 22:59:24 +0000 | [diff] [blame] | 79 | void run(); |
| George Rimar | 95eeb77 | 2016-06-16 18:47:04 +0000 | [diff] [blame] | 80 | |
| 81 | private: |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 82 | void parseVersion(StringRef Version); |
| Rafael Espindola | f70fb04 | 2016-06-17 13:38:09 +0000 | [diff] [blame] | 83 | void parseLocal(); |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 84 | void parseVersionSymbols(StringRef Version); |
| Peter Collingbourne | 66ac1d6 | 2016-04-22 20:21:26 +0000 | [diff] [blame] | 85 | }; |
| 86 | |
| George Rimar | 7899d48 | 2016-07-12 07:44:40 +0000 | [diff] [blame] | 87 | size_t elf::defineSymbolVersion(StringRef Version) { |
| 88 | // Identifiers start at 2 because 0 and 1 are reserved |
| 89 | // for VER_NDX_LOCAL and VER_NDX_GLOBAL constants. |
| 90 | size_t VersionId = Config->SymbolVersions.size() + 2; |
| 91 | Config->SymbolVersions.push_back(elf::Version(Version, VersionId)); |
| 92 | return VersionId; |
| 93 | } |
| 94 | |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 95 | void VersionScriptParser::parseVersion(StringRef Version) { |
| Peter Collingbourne | 66ac1d6 | 2016-04-22 20:21:26 +0000 | [diff] [blame] | 96 | expect("{"); |
| George Rimar | 7899d48 | 2016-07-12 07:44:40 +0000 | [diff] [blame] | 97 | defineSymbolVersion(Version); |
| Peter Collingbourne | 66ac1d6 | 2016-04-22 20:21:26 +0000 | [diff] [blame] | 98 | if (peek() == "global:") { |
| 99 | next(); |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 100 | parseVersionSymbols(Version); |
| Peter Collingbourne | 66ac1d6 | 2016-04-22 20:21:26 +0000 | [diff] [blame] | 101 | } |
| Rafael Espindola | f70fb04 | 2016-06-17 13:38:09 +0000 | [diff] [blame] | 102 | if (peek() == "local:") |
| 103 | parseLocal(); |
| George Rimar | 6a7cfd0 | 2016-06-24 11:23:55 +0000 | [diff] [blame] | 104 | else if (peek() != "}") |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 105 | parseVersionSymbols(Version); |
| Rafael Espindola | f70fb04 | 2016-06-17 13:38:09 +0000 | [diff] [blame] | 106 | |
| 107 | expect("}"); |
| George Rimar | 33b9de4 | 2016-07-01 11:45:10 +0000 | [diff] [blame] | 108 | |
| 109 | // Each version may have a parent version. For example, "Ver2" defined as |
| 110 | // "Ver2 { global: foo; local: *; } Ver1;" has "Ver1" as a parent. This |
| 111 | // version hierarchy is, probably against your instinct, purely for human; the |
| 112 | // runtime doesn't care about them at all. In LLD, we simply skip the token. |
| George Rimar | 0ab48b7 | 2016-06-22 14:40:45 +0000 | [diff] [blame] | 113 | if (!Version.empty() && peek() != ";") |
| George Rimar | 33b9de4 | 2016-07-01 11:45:10 +0000 | [diff] [blame] | 114 | next(); |
| Rafael Espindola | f70fb04 | 2016-06-17 13:38:09 +0000 | [diff] [blame] | 115 | expect(";"); |
| 116 | } |
| 117 | |
| 118 | void VersionScriptParser::parseLocal() { |
| Peter Collingbourne | 66ac1d6 | 2016-04-22 20:21:26 +0000 | [diff] [blame] | 119 | expect("local:"); |
| 120 | expect("*"); |
| 121 | expect(";"); |
| Rui Ueyama | 2506866 | 2016-07-16 03:08:26 +0000 | [diff] [blame^] | 122 | Config->DefaultSymbolVersion = VER_NDX_LOCAL; |
| Rafael Espindola | f70fb04 | 2016-06-17 13:38:09 +0000 | [diff] [blame] | 123 | } |
| 124 | |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 125 | void VersionScriptParser::parseVersionSymbols(StringRef Version) { |
| George Rimar | dd64bb3 | 2016-07-13 08:19:04 +0000 | [diff] [blame] | 126 | std::vector<StringRef> *Globals; |
| Rafael Espindola | 857d7c5 | 2016-06-28 21:48:33 +0000 | [diff] [blame] | 127 | if (Version.empty()) |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 128 | Globals = &Config->VersionScriptGlobals; |
| Rafael Espindola | 857d7c5 | 2016-06-28 21:48:33 +0000 | [diff] [blame] | 129 | else |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 130 | Globals = &Config->SymbolVersions.back().Globals; |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 131 | |
| Rafael Espindola | f70fb04 | 2016-06-17 13:38:09 +0000 | [diff] [blame] | 132 | for (;;) { |
| George Rimar | da5fa1e | 2016-06-23 07:23:07 +0000 | [diff] [blame] | 133 | StringRef Cur = peek(); |
| George Rimar | dd64bb3 | 2016-07-13 08:19:04 +0000 | [diff] [blame] | 134 | if (Cur == "extern") |
| 135 | setError("extern keyword is not supported"); |
| George Rimar | da5fa1e | 2016-06-23 07:23:07 +0000 | [diff] [blame] | 136 | if (Cur == "}" || Cur == "local:" || Error) |
| Rafael Espindola | f70fb04 | 2016-06-17 13:38:09 +0000 | [diff] [blame] | 137 | return; |
| George Rimar | da5fa1e | 2016-06-23 07:23:07 +0000 | [diff] [blame] | 138 | next(); |
| George Rimar | dd64bb3 | 2016-07-13 08:19:04 +0000 | [diff] [blame] | 139 | Globals->push_back(Cur); |
| Rafael Espindola | f70fb04 | 2016-06-17 13:38:09 +0000 | [diff] [blame] | 140 | expect(";"); |
| 141 | } |
| George Rimar | 95eeb77 | 2016-06-16 18:47:04 +0000 | [diff] [blame] | 142 | } |
| 143 | |
| 144 | void VersionScriptParser::run() { |
| 145 | StringRef Msg = "anonymous version definition is used in " |
| 146 | "combination with other version definitions"; |
| 147 | if (peek() == "{") { |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 148 | parseVersion(""); |
| George Rimar | 95eeb77 | 2016-06-16 18:47:04 +0000 | [diff] [blame] | 149 | if (!atEOF()) |
| 150 | setError(Msg); |
| 151 | return; |
| 152 | } |
| 153 | |
| 154 | while (!atEOF() && !Error) { |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 155 | if (peek() == "{") { |
| George Rimar | 95eeb77 | 2016-06-16 18:47:04 +0000 | [diff] [blame] | 156 | setError(Msg); |
| 157 | return; |
| 158 | } |
| George Rimar | d356630 | 2016-06-20 11:55:12 +0000 | [diff] [blame] | 159 | parseVersion(next()); |
| George Rimar | 95eeb77 | 2016-06-16 18:47:04 +0000 | [diff] [blame] | 160 | } |
| Peter Collingbourne | 66ac1d6 | 2016-04-22 20:21:26 +0000 | [diff] [blame] | 161 | } |
| 162 | |
| 163 | void elf::parseVersionScript(MemoryBufferRef MB) { |
| 164 | VersionScriptParser(MB.getBuffer()).run(); |
| 165 | } |