Break out default pbytes argument to read and get_view routines,
[deliverable/binutils-gdb.git] / gold / readsyms.cc
CommitLineData
bae7f79e
ILT
1// readsyms.cc -- read input file symbols for gold
2
6cb15b7f
ILT
3// Copyright 2006, 2007 Free Software Foundation, Inc.
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 <cstring>
26
27#include "elfcpp.h"
28#include "options.h"
29#include "dirsearch.h"
f6ce93d6 30#include "symtab.h"
a2fb1b05 31#include "object.h"
61ba1cf9 32#include "archive.h"
dbe717ef 33#include "script.h"
61ba1cf9 34#include "readsyms.h"
bae7f79e
ILT
35
36namespace gold
37{
38
39// Class read_symbols.
40
41Read_symbols::~Read_symbols()
42{
43 // The this_blocker_ and next_blocker_ pointers are passed on to the
44 // Add_symbols task.
45}
46
ead1e424
ILT
47// Return whether a Read_symbols task is runnable. We can read an
48// ordinary input file immediately. For an archive specified using
49// -l, we have to wait until the search path is complete.
bae7f79e
ILT
50
51Task::Is_runnable_type
52Read_symbols::is_runnable(Workqueue*)
53{
dbe717ef
ILT
54 if (this->input_argument_->is_file()
55 && this->input_argument_->file().is_lib()
ead1e424 56 && this->dirpath_.token().is_blocked())
bae7f79e
ILT
57 return IS_BLOCKED;
58
59 return IS_RUNNABLE;
60}
61
62// Return a Task_locker for a Read_symbols task. We don't need any
63// locks here.
64
65Task_locker*
66Read_symbols::locks(Workqueue*)
67{
68 return NULL;
69}
70
71// Run a Read_symbols task. This is where we actually read the
72// symbols and relocations.
73
74void
75Read_symbols::run(Workqueue* workqueue)
76{
dbe717ef 77 if (this->input_argument_->is_group())
ead1e424 78 {
a3ad94ed 79 gold_assert(this->input_group_ == NULL);
ead1e424
ILT
80 this->do_group(workqueue);
81 return;
82 }
83
5a6f7e2d 84 Input_file* input_file = new Input_file(&this->input_argument_->file());
bae7f79e
ILT
85 input_file->open(this->options_, this->dirpath_);
86
87 // Read enough of the file to pick up the entire ELF header.
88
89 int ehdr_size = elfcpp::Elf_sizes<64>::ehdr_size;
90 off_t bytes;
ba45d247
ILT
91 const unsigned char* p = input_file->file().get_view_and_size(0, ehdr_size,
92 &bytes);
bae7f79e
ILT
93 if (bytes >= 4)
94 {
95 static unsigned char elfmagic[4] =
96 {
97 elfcpp::ELFMAG0, elfcpp::ELFMAG1,
98 elfcpp::ELFMAG2, elfcpp::ELFMAG3
99 };
100 if (memcmp(p, elfmagic, 4) == 0)
101 {
102 // This is an ELF object.
a2fb1b05 103
dbe717ef
ILT
104 Object* obj = make_elf_object(input_file->filename(),
105 input_file, 0, p, bytes);
106
107 // We don't have a way to record a non-archive in an input
108 // group. If this is an ordinary object file, we can't
109 // include it more than once anyhow. If this is a dynamic
110 // object, then including it a second time changes nothing.
111 if (this->input_group_ != NULL && !obj->is_dynamic())
ead1e424
ILT
112 {
113 fprintf(stderr,
114 _("%s: %s: ordinary object found in input group\n"),
115 program_name, input_file->name());
116 gold_exit(false);
117 }
118
12e14209
ILT
119 Read_symbols_data* sd = new Read_symbols_data;
120 obj->read_symbols(sd);
7e1edb90 121 workqueue->queue_front(new Add_symbols(this->input_objects_,
ead1e424 122 this->symtab_, this->layout_,
92e059d8
ILT
123 obj, sd,
124 this->this_blocker_,
125 this->next_blocker_));
bae7f79e
ILT
126
127 // Opening the file locked it, so now we need to unlock it.
128 input_file->file().unlock();
129
130 return;
131 }
132 }
133
61ba1cf9
ILT
134 if (bytes >= Archive::sarmag)
135 {
136 if (memcmp(p, Archive::armag, Archive::sarmag) == 0)
137 {
138 // This is an archive.
dbe717ef
ILT
139 Archive* arch = new Archive(this->input_argument_->file().name(),
140 input_file);
61ba1cf9 141 arch->setup();
7e1edb90 142 workqueue->queue(new Add_archive_symbols(this->symtab_,
12e14209 143 this->layout_,
61ba1cf9
ILT
144 this->input_objects_,
145 arch,
ead1e424 146 this->input_group_,
61ba1cf9
ILT
147 this->this_blocker_,
148 this->next_blocker_));
149 return;
150 }
151 }
152
dbe717ef
ILT
153 if (bytes == 0)
154 {
155 fprintf(stderr, _("%s: %s: file is empty\n"),
156 program_name, input_file->file().filename().c_str());
157 gold_exit(false);
158 }
159
160 // Try to parse this file as a script.
161 if (read_input_script(workqueue, this->options_, this->symtab_,
162 this->layout_, this->dirpath_, this->input_objects_,
163 this->input_group_, this->input_argument_, input_file,
164 p, bytes, this->this_blocker_, this->next_blocker_))
165 return;
166
92e059d8 167 // Here we have to handle any other input file types we need.
61ba1cf9
ILT
168 fprintf(stderr, _("%s: %s: not an object or archive\n"),
169 program_name, input_file->file().filename().c_str());
170 gold_exit(false);
bae7f79e
ILT
171}
172
ead1e424
ILT
173// Handle a group. We need to walk through the arguments over and
174// over until we don't see any new undefined symbols. We do this by
175// setting off Read_symbols Tasks as usual, but recording the archive
176// entries instead of deleting them. We also start a Finish_group
177// Task which runs after we've read all the symbols. In that task we
178// process the archives in a loop until we are done.
179
180void
181Read_symbols::do_group(Workqueue* workqueue)
182{
183 Input_group* input_group = new Input_group();
184
dbe717ef 185 const Input_file_group* group = this->input_argument_->group();
ead1e424
ILT
186 Task_token* this_blocker = this->this_blocker_;
187 for (Input_file_group::const_iterator p = group->begin();
188 p != group->end();
189 ++p)
190 {
dbe717ef 191 const Input_argument* arg = &*p;
a3ad94ed 192 gold_assert(arg->is_file());
ead1e424
ILT
193
194 Task_token* next_blocker = new Task_token();
195 next_blocker->add_blocker();
196 workqueue->queue(new Read_symbols(this->options_, this->input_objects_,
197 this->symtab_, this->layout_,
198 this->dirpath_, arg, input_group,
199 this_blocker, next_blocker));
200 this_blocker = next_blocker;
201 }
202
203 const int saw_undefined = this->symtab_->saw_undefined();
7e1edb90 204 workqueue->queue(new Finish_group(this->input_objects_,
ead1e424
ILT
205 this->symtab_,
206 this->layout_,
207 input_group,
208 saw_undefined,
209 this_blocker,
210 this->next_blocker_));
211}
212
bae7f79e
ILT
213// Class Add_symbols.
214
215Add_symbols::~Add_symbols()
216{
217 if (this->this_blocker_ != NULL)
218 delete this->this_blocker_;
219 // next_blocker_ is deleted by the task associated with the next
220 // input file.
221}
222
a2fb1b05
ILT
223// We are blocked by this_blocker_. We block next_blocker_. We also
224// lock the file.
bae7f79e
ILT
225
226Task::Is_runnable_type
227Add_symbols::is_runnable(Workqueue*)
228{
229 if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked())
230 return IS_BLOCKED;
a2fb1b05
ILT
231 if (this->object_->is_locked())
232 return IS_LOCKED;
bae7f79e
ILT
233 return IS_RUNNABLE;
234}
235
a2fb1b05
ILT
236class Add_symbols::Add_symbols_locker : public Task_locker
237{
238 public:
239 Add_symbols_locker(Task_token& token, Workqueue* workqueue,
240 Object* object)
241 : blocker_(token, workqueue), objlock_(*object)
242 { }
243
244 private:
245 Task_locker_block blocker_;
246 Task_locker_obj<Object> objlock_;
247};
248
bae7f79e
ILT
249Task_locker*
250Add_symbols::locks(Workqueue* workqueue)
251{
a2fb1b05
ILT
252 return new Add_symbols_locker(*this->next_blocker_, workqueue,
253 this->object_);
bae7f79e
ILT
254}
255
ead1e424
ILT
256// Add the symbols in the object to the symbol table.
257
bae7f79e
ILT
258void
259Add_symbols::run(Workqueue*)
260{
008db82e
ILT
261 if (!this->input_objects_->add_object(this->object_))
262 {
263 // FIXME: We need to close the descriptor here.
264 delete this->object_;
265 }
266 else
267 {
7e1edb90 268 this->object_->layout(this->symtab_, this->layout_, this->sd_);
008db82e
ILT
269 this->object_->add_symbols(this->symtab_, this->sd_);
270 }
12e14209
ILT
271 delete this->sd_;
272 this->sd_ = NULL;
bae7f79e
ILT
273}
274
ead1e424
ILT
275// Class Finish_group.
276
277Finish_group::~Finish_group()
278{
279 if (this->this_blocker_ != NULL)
280 delete this->this_blocker_;
281 // next_blocker_ is deleted by the task associated with the next
282 // input file following the group.
283}
284
285// We need to wait for THIS_BLOCKER_ and unblock NEXT_BLOCKER_.
286
287Task::Is_runnable_type
288Finish_group::is_runnable(Workqueue*)
289{
290 if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked())
291 return IS_BLOCKED;
292 return IS_RUNNABLE;
293}
294
295Task_locker*
296Finish_group::locks(Workqueue* workqueue)
297{
298 return new Task_locker_block(*this->next_blocker_, workqueue);
299}
300
301// Loop over the archives until there are no new undefined symbols.
302
303void
304Finish_group::run(Workqueue*)
305{
306 int saw_undefined = this->saw_undefined_;
307 while (saw_undefined != this->symtab_->saw_undefined())
308 {
309 saw_undefined = this->symtab_->saw_undefined();
310
311 for (Input_group::const_iterator p = this->input_group_->begin();
312 p != this->input_group_->end();
313 ++p)
314 {
315 Task_lock_obj<Archive> tl(**p);
316
7e1edb90 317 (*p)->add_symbols(this->symtab_, this->layout_,
ead1e424
ILT
318 this->input_objects_);
319 }
320 }
321
322 // Delete all the archives now that we no longer need them.
323 for (Input_group::const_iterator p = this->input_group_->begin();
324 p != this->input_group_->end();
325 ++p)
326 delete *p;
327 delete this->input_group_;
328}
329
bae7f79e 330} // End namespace gold.
This page took 0.073163 seconds and 4 git commands to generate.