Commit | Line | Data |
---|---|---|
5a6f7e2d | 1 | // gold.cc -- main linker functions |
bae7f79e | 2 | |
e5756efb | 3 | // Copyright 2006, 2007, 2008 Free Software Foundation, Inc. |
6cb15b7f ILT |
4 | // Written by Ian Lance Taylor <iant@google.com>. |
5 | ||
6 | // This file is part of gold. | |
7 | ||
8 | // This program is free software; you can redistribute it and/or modify | |
9 | // it under the terms of the GNU General Public License as published by | |
10 | // the Free Software Foundation; either version 3 of the License, or | |
11 | // (at your option) any later version. | |
12 | ||
13 | // This program is distributed in the hope that it will be useful, | |
14 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 | // GNU General Public License for more details. | |
17 | ||
18 | // You should have received a copy of the GNU General Public License | |
19 | // along with this program; if not, write to the Free Software | |
20 | // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, | |
21 | // MA 02110-1301, USA. | |
22 | ||
bae7f79e ILT |
23 | #include "gold.h" |
24 | ||
25 | #include <cstdlib> | |
26 | #include <cstdio> | |
27 | #include <cstring> | |
28 | #include <unistd.h> | |
fbfba508 | 29 | #include <algorithm> |
75f2446e | 30 | #include "libiberty.h" |
bae7f79e ILT |
31 | |
32 | #include "options.h" | |
494e05f4 | 33 | #include "debug.h" |
bae7f79e ILT |
34 | #include "workqueue.h" |
35 | #include "dirsearch.h" | |
36 | #include "readsyms.h" | |
14bfc3f5 | 37 | #include "symtab.h" |
ead1e424 | 38 | #include "common.h" |
54dc6425 | 39 | #include "object.h" |
a2fb1b05 | 40 | #include "layout.h" |
61ba1cf9 | 41 | #include "reloc.h" |
ead1e424 | 42 | #include "defstd.h" |
bae7f79e ILT |
43 | |
44 | namespace gold | |
45 | { | |
46 | ||
47 | const char* program_name; | |
48 | ||
49 | void | |
50 | gold_exit(bool status) | |
51 | { | |
2d684091 | 52 | if (!status && parameters != NULL && parameters->options_valid()) |
8851ecca | 53 | unlink_if_ordinary(parameters->options().output_file_name()); |
bae7f79e ILT |
54 | exit(status ? EXIT_SUCCESS : EXIT_FAILURE); |
55 | } | |
56 | ||
bae7f79e ILT |
57 | void |
58 | gold_nomem() | |
59 | { | |
60 | // We are out of memory, so try hard to print a reasonable message. | |
61 | // Note that we don't try to translate this message, since the | |
62 | // translation process itself will require memory. | |
63 | write(2, program_name, strlen(program_name)); | |
64 | const char* const s = ": out of memory\n"; | |
65 | write(2, s, strlen(s)); | |
66 | gold_exit(false); | |
67 | } | |
68 | ||
a3ad94ed ILT |
69 | // Handle an unreachable case. |
70 | ||
bae7f79e | 71 | void |
a3ad94ed | 72 | do_gold_unreachable(const char* filename, int lineno, const char* function) |
bae7f79e | 73 | { |
27b7985a | 74 | fprintf(stderr, _("%s: internal error in %s, at %s:%d\n"), |
a3ad94ed ILT |
75 | program_name, function, filename, lineno); |
76 | gold_exit(false); | |
bae7f79e ILT |
77 | } |
78 | ||
92e059d8 ILT |
79 | // This class arranges to run the functions done in the middle of the |
80 | // link. It is just a closure. | |
bae7f79e | 81 | |
92e059d8 | 82 | class Middle_runner : public Task_function_runner |
bae7f79e | 83 | { |
92e059d8 ILT |
84 | public: |
85 | Middle_runner(const General_options& options, | |
86 | const Input_objects* input_objects, | |
87 | Symbol_table* symtab, | |
88 | Layout* layout) | |
89 | : options_(options), input_objects_(input_objects), symtab_(symtab), | |
90 | layout_(layout) | |
91 | { } | |
92 | ||
93 | void | |
17a1d0a9 | 94 | run(Workqueue*, const Task*); |
92e059d8 ILT |
95 | |
96 | private: | |
97 | const General_options& options_; | |
98 | const Input_objects* input_objects_; | |
99 | Symbol_table* symtab_; | |
100 | Layout* layout_; | |
101 | }; | |
bae7f79e | 102 | |
92e059d8 | 103 | void |
17a1d0a9 | 104 | Middle_runner::run(Workqueue* workqueue, const Task* task) |
92e059d8 | 105 | { |
17a1d0a9 | 106 | queue_middle_tasks(this->options_, task, this->input_objects_, this->symtab_, |
92e059d8 ILT |
107 | this->layout_, workqueue); |
108 | } | |
bae7f79e ILT |
109 | |
110 | // Queue up the initial set of tasks for this link job. | |
111 | ||
112 | void | |
113 | queue_initial_tasks(const General_options& options, | |
17a1d0a9 | 114 | Dirsearch& search_path, |
ead1e424 | 115 | const Command_line& cmdline, |
54dc6425 | 116 | Workqueue* workqueue, Input_objects* input_objects, |
12e14209 | 117 | Symbol_table* symtab, Layout* layout) |
bae7f79e | 118 | { |
e5366891 ILT |
119 | if (cmdline.begin() == cmdline.end()) |
120 | gold_fatal(_("no input files")); | |
121 | ||
fe9a4c12 ILT |
122 | int thread_count = options.thread_count_initial(); |
123 | if (thread_count == 0) | |
e5366891 | 124 | thread_count = cmdline.number_of_input_files(); |
fe9a4c12 ILT |
125 | workqueue->set_thread_count(thread_count); |
126 | ||
bae7f79e ILT |
127 | // Read the input files. We have to add the symbols to the symbol |
128 | // table in order. We do this by creating a separate blocker for | |
129 | // each input file. We associate the blocker with the following | |
130 | // input file, to give us a convenient place to delete it. | |
131 | Task_token* this_blocker = NULL; | |
ead1e424 ILT |
132 | for (Command_line::const_iterator p = cmdline.begin(); |
133 | p != cmdline.end(); | |
bae7f79e ILT |
134 | ++p) |
135 | { | |
17a1d0a9 | 136 | Task_token* next_blocker = new Task_token(true); |
bae7f79e | 137 | next_blocker->add_blocker(); |
12e14209 | 138 | workqueue->queue(new Read_symbols(options, input_objects, symtab, layout, |
17a1d0a9 | 139 | &search_path, &*p, NULL, this_blocker, |
a2fb1b05 | 140 | next_blocker)); |
bae7f79e ILT |
141 | this_blocker = next_blocker; |
142 | } | |
143 | ||
92e059d8 ILT |
144 | workqueue->queue(new Task_function(new Middle_runner(options, |
145 | input_objects, | |
146 | symtab, | |
147 | layout), | |
c7912668 ILT |
148 | this_blocker, |
149 | "Task_function Middle_runner")); | |
bae7f79e ILT |
150 | } |
151 | ||
92e059d8 ILT |
152 | // Queue up the middle set of tasks. These are the tasks which run |
153 | // after all the input objects have been found and all the symbols | |
154 | // have been read, but before we lay out the output file. | |
bae7f79e | 155 | |
92e059d8 ILT |
156 | void |
157 | queue_middle_tasks(const General_options& options, | |
17a1d0a9 | 158 | const Task* task, |
92e059d8 ILT |
159 | const Input_objects* input_objects, |
160 | Symbol_table* symtab, | |
161 | Layout* layout, | |
162 | Workqueue* workqueue) | |
61ba1cf9 | 163 | { |
fbfba508 ILT |
164 | // We have to support the case of not seeing any input objects, and |
165 | // generate an empty file. Existing builds depend on being able to | |
166 | // pass an empty archive to the linker and get an empty object file | |
167 | // out. In order to do this we need to use a default target. | |
2c0aeda4 | 168 | if (input_objects->number_of_input_objects() == 0) |
8851ecca | 169 | set_parameters_target(¶meters->default_target()); |
2c0aeda4 | 170 | |
fe9a4c12 ILT |
171 | int thread_count = options.thread_count_middle(); |
172 | if (thread_count == 0) | |
fbfba508 | 173 | thread_count = std::max(2, input_objects->number_of_input_objects()); |
fe9a4c12 ILT |
174 | workqueue->set_thread_count(thread_count); |
175 | ||
b3b74ddc | 176 | // Now we have seen all the input files. |
436ca963 | 177 | const bool doing_static_link = (!input_objects->any_dynamic() |
8851ecca | 178 | && !parameters->options().shared()); |
4eff2974 ILT |
179 | set_parameters_doing_static_link(doing_static_link); |
180 | if (!doing_static_link && options.is_static()) | |
181 | { | |
182 | // We print out just the first .so we see; there may be others. | |
75f2446e ILT |
183 | gold_error(_("cannot mix -static with dynamic object %s"), |
184 | (*input_objects->dynobj_begin())->name().c_str()); | |
4eff2974 | 185 | } |
8851ecca | 186 | if (!doing_static_link && parameters->options().relocatable()) |
6a74a719 ILT |
187 | gold_error(_("cannot mix -r with dynamic object %s"), |
188 | (*input_objects->dynobj_begin())->name().c_str()); | |
516cb3d0 | 189 | if (!doing_static_link |
7cc619c3 | 190 | && options.oformat_enum() != General_options::OBJECT_FORMAT_ELF) |
516cb3d0 ILT |
191 | gold_fatal(_("cannot use non-ELF output format with dynamic object %s"), |
192 | (*input_objects->dynobj_begin())->name().c_str()); | |
b3b74ddc | 193 | |
494e05f4 ILT |
194 | if (is_debugging_enabled(DEBUG_SCRIPT)) |
195 | layout->script_options()->print(stderr); | |
196 | ||
e2827e5f ILT |
197 | // For each dynamic object, record whether we've seen all the |
198 | // dynamic objects that it depends upon. | |
199 | input_objects->check_dynamic_dependencies(); | |
200 | ||
70e654ba ILT |
201 | // See if any of the input definitions violate the One Definition Rule. |
202 | // TODO: if this is too slow, do this as a task, rather than inline. | |
17a1d0a9 | 203 | symtab->detect_odr_violations(task, options.output_file_name()); |
70e654ba | 204 | |
919ed24c ILT |
205 | // Create any output sections required by any linker script. |
206 | layout->create_script_sections(); | |
207 | ||
a3ad94ed ILT |
208 | // Define some sections and symbols needed for a dynamic link. This |
209 | // handles some cases we want to see before we read the relocs. | |
9b07f471 | 210 | layout->create_initial_dynamic_sections(symtab); |
a3ad94ed | 211 | |
a445fddf ILT |
212 | // Define symbols from any linker scripts. |
213 | layout->define_script_symbols(symtab); | |
214 | ||
8851ecca | 215 | if (!parameters->options().relocatable()) |
6a74a719 ILT |
216 | { |
217 | // Predefine standard symbols. | |
218 | define_standard_symbols(symtab, layout); | |
ead1e424 | 219 | |
6a74a719 ILT |
220 | // Define __start and __stop symbols for output sections where |
221 | // appropriate. | |
222 | layout->define_section_symbols(symtab); | |
223 | } | |
bfd58944 | 224 | |
755ab8af ILT |
225 | // Make sure we have symbols for any required group signatures. |
226 | layout->define_group_signatures(symtab); | |
227 | ||
92e059d8 ILT |
228 | // Read the relocations of the input files. We do this to find |
229 | // which symbols are used by relocations which require a GOT and/or | |
230 | // a PLT entry, or a COPY reloc. When we implement garbage | |
231 | // collection we will do it here by reading the relocations in a | |
232 | // breadth first search by references. | |
233 | // | |
234 | // We could also read the relocations during the first pass, and | |
235 | // mark symbols at that time. That is how the old GNU linker works. | |
236 | // Doing that is more complex, since we may later decide to discard | |
237 | // some of the sections, and thus change our minds about the types | |
238 | // of references made to the symbols. | |
17a1d0a9 ILT |
239 | Task_token* blocker = new Task_token(true); |
240 | Task_token* symtab_lock = new Task_token(false); | |
f6ce93d6 ILT |
241 | for (Input_objects::Relobj_iterator p = input_objects->relobj_begin(); |
242 | p != input_objects->relobj_end(); | |
92e059d8 ILT |
243 | ++p) |
244 | { | |
245 | // We can read and process the relocations in any order. But we | |
246 | // only want one task to write to the symbol table at a time. | |
247 | // So we queue up a task for each object to read the | |
248 | // relocations. That task will in turn queue a task to wait | |
249 | // until it can write to the symbol table. | |
250 | blocker->add_blocker(); | |
ead1e424 ILT |
251 | workqueue->queue(new Read_relocs(options, symtab, layout, *p, |
252 | symtab_lock, blocker)); | |
92e059d8 ILT |
253 | } |
254 | ||
255 | // Allocate common symbols. This requires write access to the | |
256 | // symbol table, but is independent of the relocation processing. | |
0dfbdef4 | 257 | if (parameters->options().define_common()) |
6a74a719 ILT |
258 | { |
259 | blocker->add_blocker(); | |
260 | workqueue->queue(new Allocate_commons_task(options, symtab, layout, | |
261 | symtab_lock, blocker)); | |
262 | } | |
92e059d8 ILT |
263 | |
264 | // When all those tasks are complete, we can start laying out the | |
265 | // output file. | |
8851ecca ILT |
266 | // TODO(csilvers): figure out a more principled way to get the target |
267 | Target* target = const_cast<Target*>(¶meters->target()); | |
92e059d8 ILT |
268 | workqueue->queue(new Task_function(new Layout_task_runner(options, |
269 | input_objects, | |
270 | symtab, | |
8851ecca | 271 | target, |
92e059d8 | 272 | layout), |
c7912668 ILT |
273 | blocker, |
274 | "Task_function Layout_task_runner")); | |
92e059d8 | 275 | } |
61ba1cf9 ILT |
276 | |
277 | // Queue up the final set of tasks. This is called at the end of | |
278 | // Layout_task. | |
279 | ||
280 | void | |
281 | queue_final_tasks(const General_options& options, | |
282 | const Input_objects* input_objects, | |
283 | const Symbol_table* symtab, | |
27bc2bce | 284 | Layout* layout, |
61ba1cf9 ILT |
285 | Workqueue* workqueue, |
286 | Output_file* of) | |
287 | { | |
fe9a4c12 ILT |
288 | int thread_count = options.thread_count_final(); |
289 | if (thread_count == 0) | |
fbfba508 | 290 | thread_count = std::max(2, input_objects->number_of_input_objects()); |
fe9a4c12 ILT |
291 | workqueue->set_thread_count(thread_count); |
292 | ||
17a1d0a9 ILT |
293 | bool any_postprocessing_sections = layout->any_postprocessing_sections(); |
294 | ||
730cdc88 ILT |
295 | // Use a blocker to wait until all the input sections have been |
296 | // written out. | |
17a1d0a9 ILT |
297 | Task_token* input_sections_blocker = NULL; |
298 | if (!any_postprocessing_sections) | |
299 | input_sections_blocker = new Task_token(true); | |
730cdc88 ILT |
300 | |
301 | // Use a blocker to block any objects which have to wait for the | |
302 | // output sections to complete before they can apply relocations. | |
17a1d0a9 | 303 | Task_token* output_sections_blocker = new Task_token(true); |
730cdc88 | 304 | |
61ba1cf9 | 305 | // Use a blocker to block the final cleanup task. |
17a1d0a9 | 306 | Task_token* final_blocker = new Task_token(true); |
61ba1cf9 ILT |
307 | |
308 | // Queue a task to write out the symbol table. | |
5fe2a0f5 ILT |
309 | final_blocker->add_blocker(); |
310 | workqueue->queue(new Write_symbols_task(symtab, | |
311 | input_objects, | |
312 | layout->sympool(), | |
313 | layout->dynpool(), | |
314 | of, | |
315 | final_blocker)); | |
61ba1cf9 | 316 | |
730cdc88 ILT |
317 | // Queue a task to write out the output sections. |
318 | output_sections_blocker->add_blocker(); | |
319 | final_blocker->add_blocker(); | |
320 | workqueue->queue(new Write_sections_task(layout, of, output_sections_blocker, | |
321 | final_blocker)); | |
322 | ||
61ba1cf9 ILT |
323 | // Queue a task to write out everything else. |
324 | final_blocker->add_blocker(); | |
9025d29d | 325 | workqueue->queue(new Write_data_task(layout, symtab, of, final_blocker)); |
61ba1cf9 | 326 | |
17a1d0a9 ILT |
327 | // Queue a task for each input object to relocate the sections and |
328 | // write out the local symbols. | |
329 | for (Input_objects::Relobj_iterator p = input_objects->relobj_begin(); | |
330 | p != input_objects->relobj_end(); | |
331 | ++p) | |
332 | { | |
333 | if (input_sections_blocker != NULL) | |
334 | input_sections_blocker->add_blocker(); | |
335 | final_blocker->add_blocker(); | |
336 | workqueue->queue(new Relocate_task(options, symtab, layout, *p, of, | |
337 | input_sections_blocker, | |
338 | output_sections_blocker, | |
339 | final_blocker)); | |
340 | } | |
341 | ||
730cdc88 | 342 | // Queue a task to write out the output sections which depend on |
17a1d0a9 ILT |
343 | // input sections. If there are any sections which require |
344 | // postprocessing, then we need to do this last, since it may resize | |
345 | // the output file. | |
346 | if (!any_postprocessing_sections) | |
347 | { | |
348 | final_blocker->add_blocker(); | |
349 | Task* t = new Write_after_input_sections_task(layout, of, | |
350 | input_sections_blocker, | |
351 | final_blocker); | |
352 | workqueue->queue(t); | |
353 | } | |
354 | else | |
355 | { | |
356 | Task_token *new_final_blocker = new Task_token(true); | |
357 | new_final_blocker->add_blocker(); | |
358 | Task* t = new Write_after_input_sections_task(layout, of, | |
359 | final_blocker, | |
360 | new_final_blocker); | |
361 | workqueue->queue(t); | |
362 | final_blocker = new_final_blocker; | |
363 | } | |
730cdc88 | 364 | |
61ba1cf9 ILT |
365 | // Queue a task to close the output file. This will be blocked by |
366 | // FINAL_BLOCKER. | |
516cb3d0 ILT |
367 | workqueue->queue(new Task_function(new Close_task_runner(&options, layout, |
368 | of), | |
c7912668 ILT |
369 | final_blocker, |
370 | "Task_function Close_task_runner")); | |
61ba1cf9 ILT |
371 | } |
372 | ||
373 | } // End namespace gold. |