projects / deliverable / binutils-gdb.git / blob
? search:


61ce3e167fe7eaaa851b103721e83e2b7e9e78ea
[deliverable/binutils-gdb.git] / bfd / elf-m10300.c
1 /* Matsushita 10300 specific support for 32-bit ELF
2 Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
3 2006, 2007 Free Software Foundation, Inc.
4
5 This file is part of BFD, the Binary File Descriptor library.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
20 MA 02110-1301, USA. */
21
22 #include "sysdep.h"
23 #include "bfd.h"
24 #include "libbfd.h"
25 #include "elf-bfd.h"
26 #include "elf/mn10300.h"
27 #include "libiberty.h"
28
29 /* The mn10300 linker needs to keep track of the number of relocs that
30 it decides to copy in check_relocs for each symbol. This is so
31 that it can discard PC relative relocs if it doesn't need them when
32 linking with -Bsymbolic. We store the information in a field
33 extending the regular ELF linker hash table. */
34
35 struct elf32_mn10300_link_hash_entry
36 {
37 /* The basic elf link hash table entry. */
38 struct elf_link_hash_entry root;
39
40 /* For function symbols, the number of times this function is
41 called directly (ie by name). */
42 unsigned int direct_calls;
43
44 /* For function symbols, the size of this function's stack
45 (if <= 255 bytes). We stuff this into "call" instructions
46 to this target when it's valid and profitable to do so.
47
48 This does not include stack allocated by movm! */
49 unsigned char stack_size;
50
51 /* For function symbols, arguments (if any) for movm instruction
52 in the prologue. We stuff this value into "call" instructions
53 to the target when it's valid and profitable to do so. */
54 unsigned char movm_args;
55
56 /* For function symbols, the amount of stack space that would be allocated
57 by the movm instruction. This is redundant with movm_args, but we
58 add it to the hash table to avoid computing it over and over. */
59 unsigned char movm_stack_size;
60
61 /* When set, convert all "call" instructions to this target into "calls"
62 instructions. */
63 #define MN10300_CONVERT_CALL_TO_CALLS 0x1
64
65 /* Used to mark functions which have had redundant parts of their
66 prologue deleted. */
67 #define MN10300_DELETED_PROLOGUE_BYTES 0x2
68 unsigned char flags;
69
70 /* Calculated value. */
71 bfd_vma value;
72 };
73
74 /* We derive a hash table from the main elf linker hash table so
75 we can store state variables and a secondary hash table without
76 resorting to global variables. */
77 struct elf32_mn10300_link_hash_table
78 {
79 /* The main hash table. */
80 struct elf_link_hash_table root;
81
82 /* A hash table for static functions. We could derive a new hash table
83 instead of using the full elf32_mn10300_link_hash_table if we wanted
84 to save some memory. */
85 struct elf32_mn10300_link_hash_table *static_hash_table;
86
87 /* Random linker state flags. */
88 #define MN10300_HASH_ENTRIES_INITIALIZED 0x1
89 char flags;
90 };
91
92 #ifndef streq
93 #define streq(a, b) (strcmp ((a),(b)) == 0)
94 #endif
95
96 /* For MN10300 linker hash table. */
97
98 /* Get the MN10300 ELF linker hash table from a link_info structure. */
99
100 #define elf32_mn10300_hash_table(p) \
101 ((struct elf32_mn10300_link_hash_table *) ((p)->hash))
102
103 #define elf32_mn10300_link_hash_traverse(table, func, info) \
104 (elf_link_hash_traverse \
105 (&(table)->root, \
106 (bfd_boolean (*) (struct elf_link_hash_entry *, void *)) (func), \
107 (info)))
108
109 static reloc_howto_type elf_mn10300_howto_table[] =
110 {
111 /* Dummy relocation. Does nothing. */
112 HOWTO (R_MN10300_NONE,
113 0,
114 2,
115 16,
116 FALSE,
117 0,
118 complain_overflow_bitfield,
119 bfd_elf_generic_reloc,
120 "R_MN10300_NONE",
121 FALSE,
122 0,
123 0,
124 FALSE),
125 /* Standard 32 bit reloc. */
126 HOWTO (R_MN10300_32,
127 0,
128 2,
129 32,
130 FALSE,
131 0,
132 complain_overflow_bitfield,
133 bfd_elf_generic_reloc,
134 "R_MN10300_32",
135 FALSE,
136 0xffffffff,
137 0xffffffff,
138 FALSE),
139 /* Standard 16 bit reloc. */
140 HOWTO (R_MN10300_16,
141 0,
142 1,
143 16,
144 FALSE,
145 0,
146 complain_overflow_bitfield,
147 bfd_elf_generic_reloc,
148 "R_MN10300_16",
149 FALSE,
150 0xffff,
151 0xffff,
152 FALSE),
153 /* Standard 8 bit reloc. */
154 HOWTO (R_MN10300_8,
155 0,
156 0,
157 8,
158 FALSE,
159 0,
160 complain_overflow_bitfield,
161 bfd_elf_generic_reloc,
162 "R_MN10300_8",
163 FALSE,
164 0xff,
165 0xff,
166 FALSE),
167 /* Standard 32bit pc-relative reloc. */
168 HOWTO (R_MN10300_PCREL32,
169 0,
170 2,
171 32,
172 TRUE,
173 0,
174 complain_overflow_bitfield,
175 bfd_elf_generic_reloc,
176 "R_MN10300_PCREL32",
177 FALSE,
178 0xffffffff,
179 0xffffffff,
180 TRUE),
181 /* Standard 16bit pc-relative reloc. */
182 HOWTO (R_MN10300_PCREL16,
183 0,
184 1,
185 16,
186 TRUE,
187 0,
188 complain_overflow_bitfield,
189 bfd_elf_generic_reloc,
190 "R_MN10300_PCREL16",
191 FALSE,
192 0xffff,
193 0xffff,
194 TRUE),
195 /* Standard 8 pc-relative reloc. */
196 HOWTO (R_MN10300_PCREL8,
197 0,
198 0,
199 8,
200 TRUE,
201 0,
202 complain_overflow_bitfield,
203 bfd_elf_generic_reloc,
204 "R_MN10300_PCREL8",
205 FALSE,
206 0xff,
207 0xff,
208 TRUE),
209
210 /* GNU extension to record C++ vtable hierarchy. */
211 HOWTO (R_MN10300_GNU_VTINHERIT, /* type */
212 0, /* rightshift */
213 0, /* size (0 = byte, 1 = short, 2 = long) */
214 0, /* bitsize */
215 FALSE, /* pc_relative */
216 0, /* bitpos */
217 complain_overflow_dont, /* complain_on_overflow */
218 NULL, /* special_function */
219 "R_MN10300_GNU_VTINHERIT", /* name */
220 FALSE, /* partial_inplace */
221 0, /* src_mask */
222 0, /* dst_mask */
223 FALSE), /* pcrel_offset */
224
225 /* GNU extension to record C++ vtable member usage */
226 HOWTO (R_MN10300_GNU_VTENTRY, /* type */
227 0, /* rightshift */
228 0, /* size (0 = byte, 1 = short, 2 = long) */
229 0, /* bitsize */
230 FALSE, /* pc_relative */
231 0, /* bitpos */
232 complain_overflow_dont, /* complain_on_overflow */
233 NULL, /* special_function */
234 "R_MN10300_GNU_VTENTRY", /* name */
235 FALSE, /* partial_inplace */
236 0, /* src_mask */
237 0, /* dst_mask */
238 FALSE), /* pcrel_offset */
239
240 /* Standard 24 bit reloc. */
241 HOWTO (R_MN10300_24,
242 0,
243 2,
244 24,
245 FALSE,
246 0,
247 complain_overflow_bitfield,
248 bfd_elf_generic_reloc,
249 "R_MN10300_24",
250 FALSE,
251 0xffffff,
252 0xffffff,
253 FALSE),
254 HOWTO (R_MN10300_GOTPC32, /* type */
255 0, /* rightshift */
256 2, /* size (0 = byte, 1 = short, 2 = long) */
257 32, /* bitsize */
258 TRUE, /* pc_relative */
259 0, /* bitpos */
260 complain_overflow_bitfield, /* complain_on_overflow */
261 bfd_elf_generic_reloc, /* */
262 "R_MN10300_GOTPC32", /* name */
263 FALSE, /* partial_inplace */
264 0xffffffff, /* src_mask */
265 0xffffffff, /* dst_mask */
266 TRUE), /* pcrel_offset */
267
268 HOWTO (R_MN10300_GOTPC16, /* type */
269 0, /* rightshift */
270 1, /* size (0 = byte, 1 = short, 2 = long) */
271 16, /* bitsize */
272 TRUE, /* pc_relative */
273 0, /* bitpos */
274 complain_overflow_bitfield, /* complain_on_overflow */
275 bfd_elf_generic_reloc, /* */
276 "R_MN10300_GOTPC16", /* name */
277 FALSE, /* partial_inplace */
278 0xffff, /* src_mask */
279 0xffff, /* dst_mask */
280 TRUE), /* pcrel_offset */
281
282 HOWTO (R_MN10300_GOTOFF32, /* type */
283 0, /* rightshift */
284 2, /* size (0 = byte, 1 = short, 2 = long) */
285 32, /* bitsize */
286 FALSE, /* pc_relative */
287 0, /* bitpos */
288 complain_overflow_bitfield, /* complain_on_overflow */
289 bfd_elf_generic_reloc, /* */
290 "R_MN10300_GOTOFF32", /* name */
291 FALSE, /* partial_inplace */
292 0xffffffff, /* src_mask */
293 0xffffffff, /* dst_mask */
294 FALSE), /* pcrel_offset */
295
296 HOWTO (R_MN10300_GOTOFF24, /* type */
297 0, /* rightshift */
298 2, /* size (0 = byte, 1 = short, 2 = long) */
299 24, /* bitsize */
300 FALSE, /* pc_relative */
301 0, /* bitpos */
302 complain_overflow_bitfield, /* complain_on_overflow */
303 bfd_elf_generic_reloc, /* */
304 "R_MN10300_GOTOFF24", /* name */
305 FALSE, /* partial_inplace */
306 0xffffff, /* src_mask */
307 0xffffff, /* dst_mask */
308 FALSE), /* pcrel_offset */
309
310 HOWTO (R_MN10300_GOTOFF16, /* type */
311 0, /* rightshift */
312 1, /* size (0 = byte, 1 = short, 2 = long) */
313 16, /* bitsize */
314 FALSE, /* pc_relative */
315 0, /* bitpos */
316 complain_overflow_bitfield, /* complain_on_overflow */
317 bfd_elf_generic_reloc, /* */
318 "R_MN10300_GOTOFF16", /* name */
319 FALSE, /* partial_inplace */
320 0xffff, /* src_mask */
321 0xffff, /* dst_mask */
322 FALSE), /* pcrel_offset */
323
324 HOWTO (R_MN10300_PLT32, /* type */
325 0, /* rightshift */
326 2, /* size (0 = byte, 1 = short, 2 = long) */
327 32, /* bitsize */
328 TRUE, /* pc_relative */
329 0, /* bitpos */
330 complain_overflow_bitfield, /* complain_on_overflow */
331 bfd_elf_generic_reloc, /* */
332 "R_MN10300_PLT32", /* name */
333 FALSE, /* partial_inplace */
334 0xffffffff, /* src_mask */
335 0xffffffff, /* dst_mask */
336 TRUE), /* pcrel_offset */
337
338 HOWTO (R_MN10300_PLT16, /* type */
339 0, /* rightshift */
340 1, /* size (0 = byte, 1 = short, 2 = long) */
341 16, /* bitsize */
342 TRUE, /* pc_relative */
343 0, /* bitpos */
344 complain_overflow_bitfield, /* complain_on_overflow */
345 bfd_elf_generic_reloc, /* */
346 "R_MN10300_PLT16", /* name */
347 FALSE, /* partial_inplace */
348 0xffff, /* src_mask */
349 0xffff, /* dst_mask */
350 TRUE), /* pcrel_offset */
351
352 HOWTO (R_MN10300_GOT32, /* type */
353 0, /* rightshift */
354 2, /* size (0 = byte, 1 = short, 2 = long) */
355 32, /* bitsize */
356 FALSE, /* pc_relative */
357 0, /* bitpos */
358 complain_overflow_bitfield, /* complain_on_overflow */
359 bfd_elf_generic_reloc, /* */
360 "R_MN10300_GOT32", /* name */
361 FALSE, /* partial_inplace */
362 0xffffffff, /* src_mask */
363 0xffffffff, /* dst_mask */
364 FALSE), /* pcrel_offset */
365
366 HOWTO (R_MN10300_GOT24, /* type */
367 0, /* rightshift */
368 2, /* size (0 = byte, 1 = short, 2 = long) */
369 24, /* bitsize */
370 FALSE, /* pc_relative */
371 0, /* bitpos */
372 complain_overflow_bitfield, /* complain_on_overflow */
373 bfd_elf_generic_reloc, /* */
374 "R_MN10300_GOT24", /* name */
375 FALSE, /* partial_inplace */
376 0xffffffff, /* src_mask */
377 0xffffffff, /* dst_mask */
378 FALSE), /* pcrel_offset */
379
380 HOWTO (R_MN10300_GOT16, /* type */
381 0, /* rightshift */
382 1, /* size (0 = byte, 1 = short, 2 = long) */
383 16, /* bitsize */
384 FALSE, /* pc_relative */
385 0, /* bitpos */
386 complain_overflow_bitfield, /* complain_on_overflow */
387 bfd_elf_generic_reloc, /* */
388 "R_MN10300_GOT16", /* name */
389 FALSE, /* partial_inplace */
390 0xffffffff, /* src_mask */
391 0xffffffff, /* dst_mask */
392 FALSE), /* pcrel_offset */
393
394 HOWTO (R_MN10300_COPY, /* type */
395 0, /* rightshift */
396 2, /* size (0 = byte, 1 = short, 2 = long) */
397 32, /* bitsize */
398 FALSE, /* pc_relative */
399 0, /* bitpos */
400 complain_overflow_bitfield, /* complain_on_overflow */
401 bfd_elf_generic_reloc, /* */
402 "R_MN10300_COPY", /* name */
403 FALSE, /* partial_inplace */
404 0xffffffff, /* src_mask */
405 0xffffffff, /* dst_mask */
406 FALSE), /* pcrel_offset */
407
408 HOWTO (R_MN10300_GLOB_DAT, /* type */
409 0, /* rightshift */
410 2, /* size (0 = byte, 1 = short, 2 = long) */
411 32, /* bitsize */
412 FALSE, /* pc_relative */
413 0, /* bitpos */
414 complain_overflow_bitfield, /* complain_on_overflow */
415 bfd_elf_generic_reloc, /* */
416 "R_MN10300_GLOB_DAT", /* name */
417 FALSE, /* partial_inplace */
418 0xffffffff, /* src_mask */
419 0xffffffff, /* dst_mask */
420 FALSE), /* pcrel_offset */
421
422 HOWTO (R_MN10300_JMP_SLOT, /* type */
423 0, /* rightshift */
424 2, /* size (0 = byte, 1 = short, 2 = long) */
425 32, /* bitsize */
426 FALSE, /* pc_relative */
427 0, /* bitpos */
428 complain_overflow_bitfield, /* complain_on_overflow */
429 bfd_elf_generic_reloc, /* */
430 "R_MN10300_JMP_SLOT", /* name */
431 FALSE, /* partial_inplace */
432 0xffffffff, /* src_mask */
433 0xffffffff, /* dst_mask */
434 FALSE), /* pcrel_offset */
435
436 HOWTO (R_MN10300_RELATIVE, /* type */
437 0, /* rightshift */
438 2, /* size (0 = byte, 1 = short, 2 = long) */
439 32, /* bitsize */
440 FALSE, /* pc_relative */
441 0, /* bitpos */
442 complain_overflow_bitfield, /* complain_on_overflow */
443 bfd_elf_generic_reloc, /* */
444 "R_MN10300_RELATIVE", /* name */
445 FALSE, /* partial_inplace */
446 0xffffffff, /* src_mask */
447 0xffffffff, /* dst_mask */
448 FALSE), /* pcrel_offset */
449
450 EMPTY_HOWTO (24),
451 EMPTY_HOWTO (25),
452 EMPTY_HOWTO (26),
453 EMPTY_HOWTO (27),
454 EMPTY_HOWTO (28),
455 EMPTY_HOWTO (29),
456 EMPTY_HOWTO (30),
457 EMPTY_HOWTO (31),
458 EMPTY_HOWTO (32),
459
460 HOWTO (R_MN10300_SYM_DIFF, /* type */
461 0, /* rightshift */
462 2, /* size (0 = byte, 1 = short, 2 = long) */
463 32, /* bitsize */
464 FALSE, /* pc_relative */
465 0, /* bitpos */
466 complain_overflow_dont,/* complain_on_overflow */
467 NULL, /* special handler. */
468 "R_MN10300_SYM_DIFF", /* name */
469 FALSE, /* partial_inplace */
470 0xffffffff, /* src_mask */
471 0xffffffff, /* dst_mask */
472 FALSE), /* pcrel_offset */
473
474 HOWTO (R_MN10300_ALIGN, /* type */
475 0, /* rightshift */
476 0, /* size (0 = byte, 1 = short, 2 = long) */
477 32, /* bitsize */
478 FALSE, /* pc_relative */
479 0, /* bitpos */
480 complain_overflow_dont,/* complain_on_overflow */
481 NULL, /* special handler. */
482 "R_MN10300_ALIGN", /* name */
483 FALSE, /* partial_inplace */
484 0, /* src_mask */
485 0, /* dst_mask */
486 FALSE) /* pcrel_offset */
487 };
488
489 struct mn10300_reloc_map
490 {
491 bfd_reloc_code_real_type bfd_reloc_val;
492 unsigned char elf_reloc_val;
493 };
494
495 static const struct mn10300_reloc_map mn10300_reloc_map[] =
496 {
497 { BFD_RELOC_NONE, R_MN10300_NONE, },
498 { BFD_RELOC_32, R_MN10300_32, },
499 { BFD_RELOC_16, R_MN10300_16, },
500 { BFD_RELOC_8, R_MN10300_8, },
501 { BFD_RELOC_32_PCREL, R_MN10300_PCREL32, },
502 { BFD_RELOC_16_PCREL, R_MN10300_PCREL16, },
503 { BFD_RELOC_8_PCREL, R_MN10300_PCREL8, },
504 { BFD_RELOC_24, R_MN10300_24, },
505 { BFD_RELOC_VTABLE_INHERIT, R_MN10300_GNU_VTINHERIT },
506 { BFD_RELOC_VTABLE_ENTRY, R_MN10300_GNU_VTENTRY },
507 { BFD_RELOC_32_GOT_PCREL, R_MN10300_GOTPC32 },
508 { BFD_RELOC_16_GOT_PCREL, R_MN10300_GOTPC16 },
509 { BFD_RELOC_32_GOTOFF, R_MN10300_GOTOFF32 },
510 { BFD_RELOC_MN10300_GOTOFF24, R_MN10300_GOTOFF24 },
511 { BFD_RELOC_16_GOTOFF, R_MN10300_GOTOFF16 },
512 { BFD_RELOC_32_PLT_PCREL, R_MN10300_PLT32 },
513 { BFD_RELOC_16_PLT_PCREL, R_MN10300_PLT16 },
514 { BFD_RELOC_MN10300_GOT32, R_MN10300_GOT32 },
515 { BFD_RELOC_MN10300_GOT24, R_MN10300_GOT24 },
516 { BFD_RELOC_MN10300_GOT16, R_MN10300_GOT16 },
517 { BFD_RELOC_MN10300_COPY, R_MN10300_COPY },
518 { BFD_RELOC_MN10300_GLOB_DAT, R_MN10300_GLOB_DAT },
519 { BFD_RELOC_MN10300_JMP_SLOT, R_MN10300_JMP_SLOT },
520 { BFD_RELOC_MN10300_RELATIVE, R_MN10300_RELATIVE },
521 { BFD_RELOC_MN10300_SYM_DIFF, R_MN10300_SYM_DIFF },
522 { BFD_RELOC_MN10300_ALIGN, R_MN10300_ALIGN }
523 };
524
525 /* Create the GOT section. */
526
527 static bfd_boolean
528 _bfd_mn10300_elf_create_got_section (bfd * abfd,
529 struct bfd_link_info * info)
530 {
531 flagword flags;
532 flagword pltflags;
533 asection * s;
534 struct elf_link_hash_entry * h;
535 const struct elf_backend_data * bed = get_elf_backend_data (abfd);
536 int ptralign;
537
538 /* This function may be called more than once. */
539 if (bfd_get_section_by_name (abfd, ".got") != NULL)
540 return TRUE;
541
542 switch (bed->s->arch_size)
543 {
544 case 32:
545 ptralign = 2;
546 break;
547
548 case 64:
549 ptralign = 3;
550 break;
551
552 default:
553 bfd_set_error (bfd_error_bad_value);
554 return FALSE;
555 }
556
557 flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY
558 | SEC_LINKER_CREATED);
559
560 pltflags = flags;
561 pltflags |= SEC_CODE;
562 if (bed->plt_not_loaded)
563 pltflags &= ~ (SEC_LOAD | SEC_HAS_CONTENTS);
564 if (bed->plt_readonly)
565 pltflags |= SEC_READONLY;
566
567 s = bfd_make_section_with_flags (abfd, ".plt", pltflags);
568 if (s == NULL
569 || ! bfd_set_section_alignment (abfd, s, bed->plt_alignment))
570 return FALSE;
571
572 /* Define the symbol _PROCEDURE_LINKAGE_TABLE_ at the start of the
573 .plt section. */
574 if (bed->want_plt_sym)
575 {
576 h = _bfd_elf_define_linkage_sym (abfd, info, s,
577 "_PROCEDURE_LINKAGE_TABLE_");
578 elf_hash_table (info)->hplt = h;
579 if (h == NULL)
580 return FALSE;
581 }
582
583 s = bfd_make_section_with_flags (abfd, ".got", flags);
584 if (s == NULL
585 || ! bfd_set_section_alignment (abfd, s, ptralign))
586 return FALSE;
587
588 if (bed->want_got_plt)
589 {
590 s = bfd_make_section_with_flags (abfd, ".got.plt", flags);
591 if (s == NULL
592 || ! bfd_set_section_alignment (abfd, s, ptralign))
593 return FALSE;
594 }
595
596 /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the .got
597 (or .got.plt) section. We don't do this in the linker script
598 because we don't want to define the symbol if we are not creating
599 a global offset table. */
600 h = _bfd_elf_define_linkage_sym (abfd, info, s, "_GLOBAL_OFFSET_TABLE_");
601 elf_hash_table (info)->hgot = h;
602 if (h == NULL)
603 return FALSE;
604
605 /* The first bit of the global offset table is the header. */
606 s->size += bed->got_header_size;
607
608 return TRUE;
609 }
610
611 static reloc_howto_type *
612 bfd_elf32_bfd_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED,
613 bfd_reloc_code_real_type code)
614 {
615 unsigned int i;
616
617 for (i = ARRAY_SIZE (mn10300_reloc_map); i--;)
618 if (mn10300_reloc_map[i].bfd_reloc_val == code)
619 return &elf_mn10300_howto_table[mn10300_reloc_map[i].elf_reloc_val];
620
621 return NULL;
622 }
623
624 static reloc_howto_type *
625 bfd_elf32_bfd_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
626 const char *r_name)
627 {
628 unsigned int i;
629
630 for (i = ARRAY_SIZE (elf_mn10300_howto_table); i--;)
631 if (elf_mn10300_howto_table[i].name != NULL
632 && strcasecmp (elf_mn10300_howto_table[i].name, r_name) == 0)
633 return elf_mn10300_howto_table + i;
634
635 return NULL;
636 }
637
638 /* Set the howto pointer for an MN10300 ELF reloc. */
639
640 static void
641 mn10300_info_to_howto (bfd *abfd ATTRIBUTE_UNUSED,
642 arelent *cache_ptr,
643 Elf_Internal_Rela *dst)
644 {
645 unsigned int r_type;
646
647 r_type = ELF32_R_TYPE (dst->r_info);
648 BFD_ASSERT (r_type < (unsigned int) R_MN10300_MAX);
649 cache_ptr->howto = elf_mn10300_howto_table + r_type;
650 }
651
652 /* Look through the relocs for a section during the first phase.
653 Since we don't do .gots or .plts, we just need to consider the
654 virtual table relocs for gc. */
655
656 static bfd_boolean
657 mn10300_elf_check_relocs (bfd *abfd,
658 struct bfd_link_info *info,
659 asection *sec,
660 const Elf_Internal_Rela *relocs)
661 {
662 bfd_boolean sym_diff_reloc_seen;
663 Elf_Internal_Shdr *symtab_hdr;
664 Elf_Internal_Sym * isymbuf = NULL;
665 struct elf_link_hash_entry **sym_hashes;
666 const Elf_Internal_Rela *rel;
667 const Elf_Internal_Rela *rel_end;
668 bfd * dynobj;
669 bfd_vma * local_got_offsets;
670 asection * sgot;
671 asection * srelgot;
672 asection * sreloc;
673 bfd_boolean result = FALSE;
674
675 sgot = NULL;
676 srelgot = NULL;
677 sreloc = NULL;
678
679 if (info->relocatable)
680 return TRUE;
681
682 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
683 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
684 sym_hashes = elf_sym_hashes (abfd);
685
686 dynobj = elf_hash_table (info)->dynobj;
687 local_got_offsets = elf_local_got_offsets (abfd);
688 rel_end = relocs + sec->reloc_count;
689 sym_diff_reloc_seen = FALSE;
690
691 for (rel = relocs; rel < rel_end; rel++)
692 {
693 struct elf_link_hash_entry *h;
694 unsigned long r_symndx;
695 unsigned int r_type;
696
697 r_symndx = ELF32_R_SYM (rel->r_info);
698 if (r_symndx < symtab_hdr->sh_info)
699 h = NULL;
700 else
701 {
702 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
703 while (h->root.type == bfd_link_hash_indirect
704 || h->root.type == bfd_link_hash_warning)
705 h = (struct elf_link_hash_entry *) h->root.u.i.link;
706 }
707
708 r_type = ELF32_R_TYPE (rel->r_info);
709
710 /* Some relocs require a global offset table. */
711 if (dynobj == NULL)
712 {
713 switch (r_type)
714 {
715 case R_MN10300_GOT32:
716 case R_MN10300_GOT24:
717 case R_MN10300_GOT16:
718 case R_MN10300_GOTOFF32:
719 case R_MN10300_GOTOFF24:
720 case R_MN10300_GOTOFF16:
721 case R_MN10300_GOTPC32:
722 case R_MN10300_GOTPC16:
723 elf_hash_table (info)->dynobj = dynobj = abfd;
724 if (! _bfd_mn10300_elf_create_got_section (dynobj, info))
725 goto fail;
726 break;
727
728 default:
729 break;
730 }
731 }
732
733 switch (r_type)
734 {
735 /* This relocation describes the C++ object vtable hierarchy.
736 Reconstruct it for later use during GC. */
737 case R_MN10300_GNU_VTINHERIT:
738 if (!bfd_elf_gc_record_vtinherit (abfd, sec, h, rel->r_offset))
739 goto fail;
740 break;
741
742 /* This relocation describes which C++ vtable entries are actually
743 used. Record for later use during GC. */
744 case R_MN10300_GNU_VTENTRY:
745 BFD_ASSERT (h != NULL);
746 if (h != NULL
747 && !bfd_elf_gc_record_vtentry (abfd, sec, h, rel->r_addend))
748 goto fail;
749 break;
750
751 case R_MN10300_GOT32:
752 case R_MN10300_GOT24:
753 case R_MN10300_GOT16:
754 /* This symbol requires a global offset table entry. */
755
756 if (sgot == NULL)
757 {
758 sgot = bfd_get_section_by_name (dynobj, ".got");
759 BFD_ASSERT (sgot != NULL);
760 }
761
762 if (srelgot == NULL
763 && (h != NULL || info->shared))
764 {
765 srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
766 if (srelgot == NULL)
767 {
768 srelgot = bfd_make_section_with_flags (dynobj,
769 ".rela.got",
770 (SEC_ALLOC
771 | SEC_LOAD
772 | SEC_HAS_CONTENTS
773 | SEC_IN_MEMORY
774 | SEC_LINKER_CREATED
775 | SEC_READONLY));
776 if (srelgot == NULL
777 || ! bfd_set_section_alignment (dynobj, srelgot, 2))
778 goto fail;
779 }
780 }
781
782 if (h != NULL)
783 {
784 if (h->got.offset != (bfd_vma) -1)
785 /* We have already allocated space in the .got. */
786 break;
787
788 h->got.offset = sgot->size;
789
790 /* Make sure this symbol is output as a dynamic symbol. */
791 if (h->dynindx == -1)
792 {
793 if (! bfd_elf_link_record_dynamic_symbol (info, h))
794 goto fail;
795 }
796
797 srelgot->size += sizeof (Elf32_External_Rela);
798 }
799 else
800 {
801 /* This is a global offset table entry for a local
802 symbol. */
803 if (local_got_offsets == NULL)
804 {
805 size_t size;
806 unsigned int i;
807
808 size = symtab_hdr->sh_info * sizeof (bfd_vma);
809 local_got_offsets = bfd_alloc (abfd, size);
810
811 if (local_got_offsets == NULL)
812 goto fail;
813
814 elf_local_got_offsets (abfd) = local_got_offsets;
815
816 for (i = 0; i < symtab_hdr->sh_info; i++)
817 local_got_offsets[i] = (bfd_vma) -1;
818 }
819
820 if (local_got_offsets[r_symndx] != (bfd_vma) -1)
821 /* We have already allocated space in the .got. */
822 break;
823
824 local_got_offsets[r_symndx] = sgot->size;
825
826 if (info->shared)
827 /* If we are generating a shared object, we need to
828 output a R_MN10300_RELATIVE reloc so that the dynamic
829 linker can adjust this GOT entry. */
830 srelgot->size += sizeof (Elf32_External_Rela);
831 }
832
833 sgot->size += 4;
834 break;
835
836 case R_MN10300_PLT32:
837 case R_MN10300_PLT16:
838 /* This symbol requires a procedure linkage table entry. We
839 actually build the entry in adjust_dynamic_symbol,
840 because this might be a case of linking PIC code which is
841 never referenced by a dynamic object, in which case we
842 don't need to generate a procedure linkage table entry
843 after all. */
844
845 /* If this is a local symbol, we resolve it directly without
846 creating a procedure linkage table entry. */
847 if (h == NULL)
848 continue;
849
850 if (ELF_ST_VISIBILITY (h->other) == STV_INTERNAL
851 || ELF_ST_VISIBILITY (h->other) == STV_HIDDEN)
852 break;
853
854 h->needs_plt = 1;
855 break;
856
857 case R_MN10300_24:
858 case R_MN10300_16:
859 case R_MN10300_8:
860 case R_MN10300_PCREL32:
861 case R_MN10300_PCREL16:
862 case R_MN10300_PCREL8:
863 if (h != NULL)
864 h->non_got_ref = 1;
865 break;
866
867 case R_MN10300_SYM_DIFF:
868 sym_diff_reloc_seen = TRUE;
869 break;
870
871 case R_MN10300_32:
872 if (h != NULL)
873 h->non_got_ref = 1;
874
875 /* If we are creating a shared library, then we
876 need to copy the reloc into the shared library. */
877 if (info->shared
878 && (sec->flags & SEC_ALLOC) != 0
879 /* Do not generate a dynamic reloc for a
880 reloc associated with a SYM_DIFF operation. */
881 && ! sym_diff_reloc_seen)
882 {
883 asection * sym_section = NULL;
884
885 /* Find the section containing the
886 symbol involved in the relocation. */
887 if (h == NULL)
888 {
889 Elf_Internal_Sym * isym;
890
891 if (isymbuf == NULL)
892 isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr,
893 symtab_hdr->sh_info, 0,
894 NULL, NULL, NULL);
895 if (isymbuf)
896 {
897 isym = isymbuf + r_symndx;
898 /* All we care about is whether this local symbol is absolute. */
899 if (isym->st_shndx == SHN_ABS)
900 sym_section = bfd_abs_section_ptr;
901 }
902 }
903 else
904 {
905 if (h->root.type == bfd_link_hash_defined
906 || h->root.type == bfd_link_hash_defweak)
907 sym_section = h->root.u.def.section;
908 }
909
910 /* If the symbol is absolute then the relocation can
911 be resolved during linking and there is no need for
912 a dynamic reloc. */
913 if (sym_section != bfd_abs_section_ptr)
914 {
915 /* When creating a shared object, we must copy these
916 reloc types into the output file. We create a reloc
917 section in dynobj and make room for this reloc. */
918 if (sreloc == NULL)
919 {
920 const char * name;
921
922 name = (bfd_elf_string_from_elf_section
923 (abfd,
924 elf_elfheader (abfd)->e_shstrndx,
925 elf_section_data (sec)->rel_hdr.sh_name));
926 if (name == NULL)
927 goto fail;
928
929 BFD_ASSERT (CONST_STRNEQ (name, ".rela")
930 && streq (bfd_get_section_name (abfd, sec), name + 5));
931
932 sreloc = bfd_get_section_by_name (dynobj, name);
933 if (sreloc == NULL)
934 {
935 flagword flags;
936
937 flags = (SEC_HAS_CONTENTS | SEC_READONLY
938 | SEC_IN_MEMORY | SEC_LINKER_CREATED);
939 if ((sec->flags & SEC_ALLOC) != 0)
940 flags |= SEC_ALLOC | SEC_LOAD;
941 sreloc = bfd_make_section_with_flags (dynobj, name, flags);
942 if (sreloc == NULL
943 || ! bfd_set_section_alignment (dynobj, sreloc, 2))
944 goto fail;
945 }
946 }
947
948 sreloc->size += sizeof (Elf32_External_Rela);
949 }
950 }
951
952 break;
953 }
954
955 if (ELF32_R_TYPE (rel->r_info) != R_MN10300_SYM_DIFF)
956 sym_diff_reloc_seen = FALSE;
957 }
958
959 result = TRUE;
960 fail:
961 if (isymbuf != NULL)
962 free (isymbuf);
963
964 return result;
965 }
966
967 /* Return the section that should be marked against GC for a given
968 relocation. */
969
970 static asection *
971 mn10300_elf_gc_mark_hook (asection *sec,
972 struct bfd_link_info *info,
973 Elf_Internal_Rela *rel,
974 struct elf_link_hash_entry *h,
975 Elf_Internal_Sym *sym)
976 {
977 if (h != NULL)
978 switch (ELF32_R_TYPE (rel->r_info))
979 {
980 case R_MN10300_GNU_VTINHERIT:
981 case R_MN10300_GNU_VTENTRY:
982 return NULL;
983 }
984
985 return _bfd_elf_gc_mark_hook (sec, info, rel, h, sym);
986 }
987
988 /* Perform a relocation as part of a final link. */
989
990 static bfd_reloc_status_type
991 mn10300_elf_final_link_relocate (reloc_howto_type *howto,
992 bfd *input_bfd,
993 bfd *output_bfd ATTRIBUTE_UNUSED,
994 asection *input_section,
995 bfd_byte *contents,
996 bfd_vma offset,
997 bfd_vma value,
998 bfd_vma addend,
999 struct elf_link_hash_entry * h,
1000 unsigned long symndx,
1001 struct bfd_link_info *info,
1002 asection *sym_sec ATTRIBUTE_UNUSED,
1003 int is_local ATTRIBUTE_UNUSED)
1004 {
1005 static asection * sym_diff_section;
1006 static bfd_vma sym_diff_value;
1007 bfd_boolean is_sym_diff_reloc;
1008 unsigned long r_type = howto->type;
1009 bfd_byte * hit_data = contents + offset;
1010 bfd * dynobj;
1011 bfd_vma * local_got_offsets;
1012 asection * sgot;
1013 asection * splt;
1014 asection * sreloc;
1015
1016 dynobj = elf_hash_table (info)->dynobj;
1017 local_got_offsets = elf_local_got_offsets (input_bfd);
1018
1019 sgot = NULL;
1020 splt = NULL;
1021 sreloc = NULL;
1022
1023 switch (r_type)
1024 {
1025 case R_MN10300_24:
1026 case R_MN10300_16:
1027 case R_MN10300_8:
1028 case R_MN10300_PCREL8:
1029 case R_MN10300_PCREL16:
1030 case R_MN10300_PCREL32:
1031 case R_MN10300_GOTOFF32:
1032 case R_MN10300_GOTOFF24:
1033 case R_MN10300_GOTOFF16:
1034 if (info->shared
1035 && (input_section->flags & SEC_ALLOC) != 0
1036 && h != NULL
1037 && ! SYMBOL_REFERENCES_LOCAL (info, h))
1038 return bfd_reloc_dangerous;
1039 }
1040
1041 is_sym_diff_reloc = FALSE;
1042 if (sym_diff_section != NULL)
1043 {
1044 BFD_ASSERT (sym_diff_section == input_section);
1045
1046 switch (r_type)
1047 {
1048 case R_MN10300_32:
1049 case R_MN10300_24:
1050 case R_MN10300_16:
1051 case R_MN10300_8:
1052 value -= sym_diff_value;
1053 /* If we are computing a 32-bit value for the location lists
1054 and the result is 0 then we add one to the value. A zero
1055 value can result because of linker relaxation deleteing
1056 prologue instructions and using a value of 1 (for the begin
1057 and end offsets in the location list entry) results in a
1058 nul entry which does not prevent the following entries from
1059 being parsed. */
1060 if (r_type == R_MN10300_32
1061 && value == 0
1062 && strcmp (input_section->name, ".debug_loc") == 0)
1063 value = 1;
1064 sym_diff_section = NULL;
1065 is_sym_diff_reloc = TRUE;
1066 break;
1067
1068 default:
1069 sym_diff_section = NULL;
1070 break;
1071 }
1072 }
1073
1074 switch (r_type)
1075 {
1076 case R_MN10300_SYM_DIFF:
1077 BFD_ASSERT (addend == 0);
1078 /* Cache the input section and value.
1079 The offset is unreliable, since relaxation may
1080 have reduced the following reloc's offset. */
1081 sym_diff_section = input_section;
1082 sym_diff_value = value;
1083 return bfd_reloc_ok;
1084
1085 case R_MN10300_ALIGN:
1086 case R_MN10300_NONE:
1087 return bfd_reloc_ok;
1088
1089 case R_MN10300_32:
1090 if (info->shared
1091 /* Do not generate relocs when an R_MN10300_32 has been used
1092 with an R_MN10300_SYM_DIFF to compute a difference of two
1093 symbols. */
1094 && is_sym_diff_reloc == FALSE
1095 /* Also, do not generate a reloc when the symbol associated
1096 with the R_MN10300_32 reloc is absolute - there is no
1097 need for a run time computation in this case. */
1098 && sym_sec != bfd_abs_section_ptr
1099 /* If the section is not going to be allocated at load time
1100 then there is no need to generate relocs for it. */
1101 && (input_section->flags & SEC_ALLOC) != 0)
1102 {
1103 Elf_Internal_Rela outrel;
1104 bfd_boolean skip, relocate;
1105
1106 /* When generating a shared object, these relocations are
1107 copied into the output file to be resolved at run
1108 time. */
1109 if (sreloc == NULL)
1110 {
1111 const char * name;
1112
1113 name = (bfd_elf_string_from_elf_section
1114 (input_bfd,
1115 elf_elfheader (input_bfd)->e_shstrndx,
1116 elf_section_data (input_section)->rel_hdr.sh_name));
1117 if (name == NULL)
1118 return FALSE;
1119
1120 BFD_ASSERT (CONST_STRNEQ (name, ".rela")
1121 && streq (bfd_get_section_name (input_bfd,
1122 input_section),
1123 name + 5));
1124
1125 sreloc = bfd_get_section_by_name (dynobj, name);
1126 BFD_ASSERT (sreloc != NULL);
1127 }
1128
1129 skip = FALSE;
1130
1131 outrel.r_offset = _bfd_elf_section_offset (input_bfd, info,
1132 input_section, offset);
1133 if (outrel.r_offset == (bfd_vma) -1)
1134 skip = TRUE;
1135
1136 outrel.r_offset += (input_section->output_section->vma
1137 + input_section->output_offset);
1138
1139 if (skip)
1140 {
1141 memset (&outrel, 0, sizeof outrel);
1142 relocate = FALSE;
1143 }
1144 else
1145 {
1146 /* h->dynindx may be -1 if this symbol was marked to
1147 become local. */
1148 if (h == NULL
1149 || SYMBOL_REFERENCES_LOCAL (info, h))
1150 {
1151 relocate = TRUE;
1152 outrel.r_info = ELF32_R_INFO (0, R_MN10300_RELATIVE);
1153 outrel.r_addend = value + addend;
1154 }
1155 else
1156 {
1157 BFD_ASSERT (h->dynindx != -1);
1158 relocate = FALSE;
1159 outrel.r_info = ELF32_R_INFO (h->dynindx, R_MN10300_32);
1160 outrel.r_addend = value + addend;
1161 }
1162 }
1163
1164 bfd_elf32_swap_reloca_out (output_bfd, &outrel,
1165 (bfd_byte *) (((Elf32_External_Rela *) sreloc->contents)
1166 + sreloc->reloc_count));
1167 ++sreloc->reloc_count;
1168
1169 /* If this reloc is against an external symbol, we do
1170 not want to fiddle with the addend. Otherwise, we
1171 need to include the symbol value so that it becomes
1172 an addend for the dynamic reloc. */
1173 if (! relocate)
1174 return bfd_reloc_ok;
1175 }
1176 value += addend;
1177 bfd_put_32 (input_bfd, value, hit_data);
1178 return bfd_reloc_ok;
1179
1180 case R_MN10300_24:
1181 value += addend;
1182
1183 if ((long) value > 0x7fffff || (long) value < -0x800000)
1184 return bfd_reloc_overflow;
1185
1186 bfd_put_8 (input_bfd, value & 0xff, hit_data);
1187 bfd_put_8 (input_bfd, (value >> 8) & 0xff, hit_data + 1);
1188 bfd_put_8 (input_bfd, (value >> 16) & 0xff, hit_data + 2);
1189 return bfd_reloc_ok;
1190
1191 case R_MN10300_16:
1192 value += addend;
1193
1194 if ((long) value > 0x7fff || (long) value < -0x8000)
1195 return bfd_reloc_overflow;
1196
1197 bfd_put_16 (input_bfd, value, hit_data);
1198 return bfd_reloc_ok;
1199
1200 case R_MN10300_8:
1201 value += addend;
1202
1203 if ((long) value > 0x7f || (long) value < -0x80)
1204 return bfd_reloc_overflow;
1205
1206 bfd_put_8 (input_bfd, value, hit_data);
1207 return bfd_reloc_ok;
1208
1209 case R_MN10300_PCREL8:
1210 value -= (input_section->output_section->vma
1211 + input_section->output_offset);
1212 value -= offset;
1213 value += addend;
1214
1215 if ((long) value > 0xff || (long) value < -0x100)
1216 return bfd_reloc_overflow;
1217
1218 bfd_put_8 (input_bfd, value, hit_data);
1219 return bfd_reloc_ok;
1220
1221 case R_MN10300_PCREL16:
1222 value -= (input_section->output_section->vma
1223 + input_section->output_offset);
1224 value -= offset;
1225 value += addend;
1226
1227 if ((long) value > 0xffff || (long) value < -0x10000)
1228 return bfd_reloc_overflow;
1229
1230 bfd_put_16 (input_bfd, value, hit_data);
1231 return bfd_reloc_ok;
1232
1233 case R_MN10300_PCREL32:
1234 value -= (input_section->output_section->vma
1235 + input_section->output_offset);
1236 value -= offset;
1237 value += addend;
1238
1239 bfd_put_32 (input_bfd, value, hit_data);
1240 return bfd_reloc_ok;
1241
1242 case R_MN10300_GNU_VTINHERIT:
1243 case R_MN10300_GNU_VTENTRY:
1244 return bfd_reloc_ok;
1245
1246 case R_MN10300_GOTPC32:
1247 /* Use global offset table as symbol value. */
1248 value = bfd_get_section_by_name (dynobj,
1249 ".got")->output_section->vma;
1250 value -= (input_section->output_section->vma
1251 + input_section->output_offset);
1252 value -= offset;
1253 value += addend;
1254
1255 bfd_put_32 (input_bfd, value, hit_data);
1256 return bfd_reloc_ok;
1257
1258 case R_MN10300_GOTPC16:
1259 /* Use global offset table as symbol value. */
1260 value = bfd_get_section_by_name (dynobj,
1261 ".got")->output_section->vma;
1262 value -= (input_section->output_section->vma
1263 + input_section->output_offset);
1264 value -= offset;
1265 value += addend;
1266
1267 if ((long) value > 0xffff || (long) value < -0x10000)
1268 return bfd_reloc_overflow;
1269
1270 bfd_put_16 (input_bfd, value, hit_data);
1271 return bfd_reloc_ok;
1272
1273 case R_MN10300_GOTOFF32:
1274 value -= bfd_get_section_by_name (dynobj,
1275 ".got")->output_section->vma;
1276 value += addend;
1277
1278 bfd_put_32 (input_bfd, value, hit_data);
1279 return bfd_reloc_ok;
1280
1281 case R_MN10300_GOTOFF24:
1282 value -= bfd_get_section_by_name (dynobj,
1283 ".got")->output_section->vma;
1284 value += addend;
1285
1286 if ((long) value > 0x7fffff || (long) value < -0x800000)
1287 return bfd_reloc_overflow;
1288
1289 bfd_put_8 (input_bfd, value, hit_data);
1290 bfd_put_8 (input_bfd, (value >> 8) & 0xff, hit_data + 1);
1291 bfd_put_8 (input_bfd, (value >> 16) & 0xff, hit_data + 2);
1292 return bfd_reloc_ok;
1293
1294 case R_MN10300_GOTOFF16:
1295 value -= bfd_get_section_by_name (dynobj,
1296 ".got")->output_section->vma;
1297 value += addend;
1298
1299 if ((long) value > 0xffff || (long) value < -0x10000)
1300 return bfd_reloc_overflow;
1301
1302 bfd_put_16 (input_bfd, value, hit_data);
1303 return bfd_reloc_ok;
1304
1305 case R_MN10300_PLT32:
1306 if (h != NULL
1307 && ELF_ST_VISIBILITY (h->other) != STV_INTERNAL
1308 && ELF_ST_VISIBILITY (h->other) != STV_HIDDEN
1309 && h->plt.offset != (bfd_vma) -1)
1310 {
1311 asection * splt;
1312
1313 splt = bfd_get_section_by_name (dynobj, ".plt");
1314
1315 value = (splt->output_section->vma
1316 + splt->output_offset
1317 + h->plt.offset) - value;
1318 }
1319
1320 value -= (input_section->output_section->vma
1321 + input_section->output_offset);
1322 value -= offset;
1323 value += addend;
1324
1325 bfd_put_32 (input_bfd, value, hit_data);
1326 return bfd_reloc_ok;
1327
1328 case R_MN10300_PLT16:
1329 if (h != NULL
1330 && ELF_ST_VISIBILITY (h->other) != STV_INTERNAL
1331 && ELF_ST_VISIBILITY (h->other) != STV_HIDDEN
1332 && h->plt.offset != (bfd_vma) -1)
1333 {
1334 asection * splt;
1335
1336 splt = bfd_get_section_by_name (dynobj, ".plt");
1337
1338 value = (splt->output_section->vma
1339 + splt->output_offset
1340 + h->plt.offset) - value;
1341 }
1342
1343 value -= (input_section->output_section->vma
1344 + input_section->output_offset);
1345 value -= offset;
1346 value += addend;
1347
1348 if ((long) value > 0xffff || (long) value < -0x10000)
1349 return bfd_reloc_overflow;
1350
1351 bfd_put_16 (input_bfd, value, hit_data);
1352 return bfd_reloc_ok;
1353
1354 case R_MN10300_GOT32:
1355 case R_MN10300_GOT24:
1356 case R_MN10300_GOT16:
1357 {
1358 asection * sgot;
1359
1360 sgot = bfd_get_section_by_name (dynobj, ".got");
1361
1362 if (h != NULL)
1363 {
1364 bfd_vma off;
1365
1366 off = h->got.offset;
1367 BFD_ASSERT (off != (bfd_vma) -1);
1368
1369 if (! elf_hash_table (info)->dynamic_sections_created
1370 || SYMBOL_REFERENCES_LOCAL (info, h))
1371 /* This is actually a static link, or it is a
1372 -Bsymbolic link and the symbol is defined
1373 locally, or the symbol was forced to be local
1374 because of a version file. We must initialize
1375 this entry in the global offset table.
1376
1377 When doing a dynamic link, we create a .rela.got
1378 relocation entry to initialize the value. This
1379 is done in the finish_dynamic_symbol routine. */
1380 bfd_put_32 (output_bfd, value,
1381 sgot->contents + off);
1382
1383 value = sgot->output_offset + off;
1384 }
1385 else
1386 {
1387 bfd_vma off;
1388
1389 off = elf_local_got_offsets (input_bfd)[symndx];
1390
1391 bfd_put_32 (output_bfd, value, sgot->contents + off);
1392
1393 if (info->shared)
1394 {
1395 asection * srelgot;
1396 Elf_Internal_Rela outrel;
1397
1398 srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
1399 BFD_ASSERT (srelgot != NULL);
1400
1401 outrel.r_offset = (sgot->output_section->vma
1402 + sgot->output_offset
1403 + off);
1404 outrel.r_info = ELF32_R_INFO (0, R_MN10300_RELATIVE);
1405 outrel.r_addend = value;
1406 bfd_elf32_swap_reloca_out (output_bfd, &outrel,
1407 (bfd_byte *) (((Elf32_External_Rela *)
1408 srelgot->contents)
1409 + srelgot->reloc_count));
1410 ++ srelgot->reloc_count;
1411 }
1412
1413 value = sgot->output_offset + off;
1414 }
1415 }
1416
1417 value += addend;
1418
1419 if (r_type == R_MN10300_GOT32)
1420 {
1421 bfd_put_32 (input_bfd, value, hit_data);
1422 return bfd_reloc_ok;
1423 }
1424 else if (r_type == R_MN10300_GOT24)
1425 {
1426 if ((long) value > 0x7fffff || (long) value < -0x800000)
1427 return bfd_reloc_overflow;
1428
1429 bfd_put_8 (input_bfd, value & 0xff, hit_data);
1430 bfd_put_8 (input_bfd, (value >> 8) & 0xff, hit_data + 1);
1431 bfd_put_8 (input_bfd, (value >> 16) & 0xff, hit_data + 2);
1432 return bfd_reloc_ok;
1433 }
1434 else if (r_type == R_MN10300_GOT16)
1435 {
1436 if ((long) value > 0xffff || (long) value < -0x10000)
1437 return bfd_reloc_overflow;
1438
1439 bfd_put_16 (input_bfd, value, hit_data);
1440 return bfd_reloc_ok;
1441 }
1442 /* Fall through. */
1443
1444 default:
1445 return bfd_reloc_notsupported;
1446 }
1447 }
1448 \f
1449 /* Relocate an MN10300 ELF section. */
1450
1451 static bfd_boolean
1452 mn10300_elf_relocate_section (bfd *output_bfd,
1453 struct bfd_link_info *info,
1454 bfd *input_bfd,
1455 asection *input_section,
1456 bfd_byte *contents,
1457 Elf_Internal_Rela *relocs,
1458 Elf_Internal_Sym *local_syms,
1459 asection **local_sections)
1460 {
1461 Elf_Internal_Shdr *symtab_hdr;
1462 struct elf_link_hash_entry **sym_hashes;
1463 Elf_Internal_Rela *rel, *relend;
1464
1465 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr;
1466 sym_hashes = elf_sym_hashes (input_bfd);
1467
1468 rel = relocs;
1469 relend = relocs + input_section->reloc_count;
1470 for (; rel < relend; rel++)
1471 {
1472 int r_type;
1473 reloc_howto_type *howto;
1474 unsigned long r_symndx;
1475 Elf_Internal_Sym *sym;
1476 asection *sec;
1477 struct elf32_mn10300_link_hash_entry *h;
1478 bfd_vma relocation;
1479 bfd_reloc_status_type r;
1480
1481 r_symndx = ELF32_R_SYM (rel->r_info);
1482 r_type = ELF32_R_TYPE (rel->r_info);
1483 howto = elf_mn10300_howto_table + r_type;
1484
1485 /* Just skip the vtable gc relocs. */
1486 if (r_type == R_MN10300_GNU_VTINHERIT
1487 || r_type == R_MN10300_GNU_VTENTRY)
1488 continue;
1489
1490 h = NULL;
1491 sym = NULL;
1492 sec = NULL;
1493 if (r_symndx < symtab_hdr->sh_info)
1494 {
1495 sym = local_syms + r_symndx;
1496 sec = local_sections[r_symndx];
1497 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, &sec, rel);
1498 }
1499 else
1500 {
1501 bfd_boolean unresolved_reloc;
1502 bfd_boolean warned;
1503 struct elf_link_hash_entry *hh;
1504
1505 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
1506 r_symndx, symtab_hdr, sym_hashes,
1507 hh, sec, relocation,
1508 unresolved_reloc, warned);
1509
1510 h = (struct elf32_mn10300_link_hash_entry *) hh;
1511
1512 if ((h->root.root.type == bfd_link_hash_defined
1513 || h->root.root.type == bfd_link_hash_defweak)
1514 && ( r_type == R_MN10300_GOTPC32
1515 || r_type == R_MN10300_GOTPC16
1516 || (( r_type == R_MN10300_PLT32
1517 || r_type == R_MN10300_PLT16)
1518 && ELF_ST_VISIBILITY (h->root.other) != STV_INTERNAL
1519 && ELF_ST_VISIBILITY (h->root.other) != STV_HIDDEN
1520 && h->root.plt.offset != (bfd_vma) -1)
1521 || (( r_type == R_MN10300_GOT32
1522 || r_type == R_MN10300_GOT24
1523 || r_type == R_MN10300_GOT16)
1524 && elf_hash_table (info)->dynamic_sections_created
1525 && !SYMBOL_REFERENCES_LOCAL (info, hh))
1526 || (r_type == R_MN10300_32
1527 /* _32 relocs in executables force _COPY relocs,
1528 such that the address of the symbol ends up
1529 being local. */
1530 && !info->executable
1531 && !SYMBOL_REFERENCES_LOCAL (info, hh)
1532 && ((input_section->flags & SEC_ALLOC) != 0
1533 /* DWARF will emit R_MN10300_32 relocations
1534 in its sections against symbols defined
1535 externally in shared libraries. We can't
1536 do anything with them here. */
1537 || ((input_section->flags & SEC_DEBUGGING) != 0
1538 && h->root.def_dynamic)))))
1539 /* In these cases, we don't need the relocation
1540 value. We check specially because in some
1541 obscure cases sec->output_section will be NULL. */
1542 relocation = 0;
1543
1544 else if (!info->relocatable && unresolved_reloc)
1545 (*_bfd_error_handler)
1546 (_("%B(%A+0x%lx): unresolvable %s relocation against symbol `%s'"),
1547 input_bfd,
1548 input_section,
1549 (long) rel->r_offset,
1550 howto->name,
1551 h->root.root.root.string);
1552 }
1553
1554 if (sec != NULL && elf_discarded_section (sec))
1555 {
1556 /* For relocs against symbols from removed linkonce sections,
1557 or sections discarded by a linker script, we just want the
1558 section contents zeroed. Avoid any special processing. */
1559 _bfd_clear_contents (howto, input_bfd, contents + rel->r_offset);
1560 rel->r_info = 0;
1561 rel->r_addend = 0;
1562 continue;
1563 }
1564
1565 if (info->relocatable)
1566 continue;
1567
1568 r = mn10300_elf_final_link_relocate (howto, input_bfd, output_bfd,
1569 input_section,
1570 contents, rel->r_offset,
1571 relocation, rel->r_addend,
1572 (struct elf_link_hash_entry *) h,
1573 r_symndx,
1574 info, sec, h == NULL);
1575
1576 if (r != bfd_reloc_ok)
1577 {
1578 const char *name;
1579 const char *msg = NULL;
1580
1581 if (h != NULL)
1582 name = h->root.root.root.string;
1583 else
1584 {
1585 name = (bfd_elf_string_from_elf_section
1586 (input_bfd, symtab_hdr->sh_link, sym->st_name));
1587 if (name == NULL || *name == '\0')
1588 name = bfd_section_name (input_bfd, sec);
1589 }
1590
1591 switch (r)
1592 {
1593 case bfd_reloc_overflow:
1594 if (! ((*info->callbacks->reloc_overflow)
1595 (info, (h ? &h->root.root : NULL), name,
1596 howto->name, (bfd_vma) 0, input_bfd,
1597 input_section, rel->r_offset)))
1598 return FALSE;
1599 break;
1600
1601 case bfd_reloc_undefined:
1602 if (! ((*info->callbacks->undefined_symbol)
1603 (info, name, input_bfd, input_section,
1604 rel->r_offset, TRUE)))
1605 return FALSE;
1606 break;
1607
1608 case bfd_reloc_outofrange:
1609 msg = _("internal error: out of range error");
1610 goto common_error;
1611
1612 case bfd_reloc_notsupported:
1613 msg = _("internal error: unsupported relocation error");
1614 goto common_error;
1615
1616 case bfd_reloc_dangerous:
1617 if (r_type == R_MN10300_PCREL32)
1618 msg = _("error: inappropriate relocation type for shared"
1619 " library (did you forget -fpic?)");
1620 else
1621 msg = _("internal error: suspicious relocation type used"
1622 " in shared library");
1623 goto common_error;
1624
1625 default:
1626 msg = _("internal error: unknown error");
1627 /* Fall through. */
1628
1629 common_error:
1630 if (!((*info->callbacks->warning)
1631 (info, msg, name, input_bfd, input_section,
1632 rel->r_offset)))
1633 return FALSE;
1634 break;
1635 }
1636 }
1637 }
1638
1639 return TRUE;
1640 }
1641
1642 /* Finish initializing one hash table entry. */
1643
1644 static bfd_boolean
1645 elf32_mn10300_finish_hash_table_entry (struct bfd_hash_entry *gen_entry,
1646 void * in_args)
1647 {
1648 struct elf32_mn10300_link_hash_entry *entry;
1649 struct bfd_link_info *link_info = (struct bfd_link_info *) in_args;
1650 unsigned int byte_count = 0;
1651
1652 entry = (struct elf32_mn10300_link_hash_entry *) gen_entry;
1653
1654 if (entry->root.root.type == bfd_link_hash_warning)
1655 entry = (struct elf32_mn10300_link_hash_entry *) entry->root.root.u.i.link;
1656
1657 /* If we already know we want to convert "call" to "calls" for calls
1658 to this symbol, then return now. */
1659 if (entry->flags == MN10300_CONVERT_CALL_TO_CALLS)
1660 return TRUE;
1661
1662 /* If there are no named calls to this symbol, or there's nothing we
1663 can move from the function itself into the "call" instruction,
1664 then note that all "call" instructions should be converted into
1665 "calls" instructions and return. If a symbol is available for
1666 dynamic symbol resolution (overridable or overriding), avoid
1667 custom calling conventions. */
1668 if (entry->direct_calls == 0
1669 || (entry->stack_size == 0 && entry->movm_args == 0)
1670 || (elf_hash_table (link_info)->dynamic_sections_created
1671 && ELF_ST_VISIBILITY (entry->root.other) != STV_INTERNAL
1672 && ELF_ST_VISIBILITY (entry->root.other) != STV_HIDDEN))
1673 {
1674 /* Make a note that we should convert "call" instructions to "calls"
1675 instructions for calls to this symbol. */
1676 entry->flags |= MN10300_CONVERT_CALL_TO_CALLS;
1677 return TRUE;
1678 }
1679
1680 /* We may be able to move some instructions from the function itself into
1681 the "call" instruction. Count how many bytes we might be able to
1682 eliminate in the function itself. */
1683
1684 /* A movm instruction is two bytes. */
1685 if (entry->movm_args)
1686 byte_count += 2;
1687
1688 /* Count the insn to allocate stack space too. */
1689 if (entry->stack_size > 0)
1690 {
1691 if (entry->stack_size <= 128)
1692 byte_count += 3;
1693 else
1694 byte_count += 4;
1695 }
1696
1697 /* If using "call" will result in larger code, then turn all
1698 the associated "call" instructions into "calls" instructions. */
1699 if (byte_count < entry->direct_calls)
1700 entry->flags |= MN10300_CONVERT_CALL_TO_CALLS;
1701
1702 /* This routine never fails. */
1703 return TRUE;
1704 }
1705
1706 /* Used to count hash table entries. */
1707
1708 static bfd_boolean
1709 elf32_mn10300_count_hash_table_entries (struct bfd_hash_entry *gen_entry ATTRIBUTE_UNUSED,
1710 void * in_args)
1711 {
1712 int *count = (int *) in_args;
1713
1714 (*count) ++;
1715 return TRUE;
1716 }
1717
1718 /* Used to enumerate hash table entries into a linear array. */
1719
1720 static bfd_boolean
1721 elf32_mn10300_list_hash_table_entries (struct bfd_hash_entry *gen_entry,
1722 void * in_args)
1723 {
1724 struct bfd_hash_entry ***ptr = (struct bfd_hash_entry ***) in_args;
1725
1726 **ptr = gen_entry;
1727 (*ptr) ++;
1728 return TRUE;
1729 }
1730
1731 /* Used to sort the array created by the above. */
1732
1733 static int
1734 sort_by_value (const void *va, const void *vb)
1735 {
1736 struct elf32_mn10300_link_hash_entry *a
1737 = *(struct elf32_mn10300_link_hash_entry **) va;
1738 struct elf32_mn10300_link_hash_entry *b
1739 = *(struct elf32_mn10300_link_hash_entry **) vb;
1740
1741 return a->value - b->value;
1742 }
1743
1744 /* Compute the stack size and movm arguments for the function
1745 referred to by HASH at address ADDR in section with
1746 contents CONTENTS, store the information in the hash table. */
1747
1748 static void
1749 compute_function_info (bfd *abfd,
1750 struct elf32_mn10300_link_hash_entry *hash,
1751 bfd_vma addr,
1752 unsigned char *contents)
1753 {
1754 unsigned char byte1, byte2;
1755 /* We only care about a very small subset of the possible prologue
1756 sequences here. Basically we look for:
1757
1758 movm [d2,d3,a2,a3],sp (optional)
1759 add <size>,sp (optional, and only for sizes which fit in an unsigned
1760 8 bit number)
1761
1762 If we find anything else, we quit. */
1763
1764 /* Look for movm [regs],sp. */
1765 byte1 = bfd_get_8 (abfd, contents + addr);
1766 byte2 = bfd_get_8 (abfd, contents + addr + 1);
1767
1768 if (byte1 == 0xcf)
1769 {
1770 hash->movm_args = byte2;
1771 addr += 2;
1772 byte1 = bfd_get_8 (abfd, contents + addr);
1773 byte2 = bfd_get_8 (abfd, contents + addr + 1);
1774 }
1775
1776 /* Now figure out how much stack space will be allocated by the movm
1777 instruction. We need this kept separate from the function's normal
1778 stack space. */
1779 if (hash->movm_args)
1780 {
1781 /* Space for d2. */
1782 if (hash->movm_args & 0x80)
1783 hash->movm_stack_size += 4;
1784
1785 /* Space for d3. */
1786 if (hash->movm_args & 0x40)
1787 hash->movm_stack_size += 4;
1788
1789 /* Space for a2. */
1790 if (hash->movm_args & 0x20)
1791 hash->movm_stack_size += 4;
1792
1793 /* Space for a3. */
1794 if (hash->movm_args & 0x10)
1795 hash->movm_stack_size += 4;
1796
1797 /* "other" space. d0, d1, a0, a1, mdr, lir, lar, 4 byte pad. */
1798 if (hash->movm_args & 0x08)
1799 hash->movm_stack_size += 8 * 4;
1800
1801 if (bfd_get_mach (abfd) == bfd_mach_am33
1802 || bfd_get_mach (abfd) == bfd_mach_am33_2)
1803 {
1804 /* "exother" space. e0, e1, mdrq, mcrh, mcrl, mcvf */
1805 if (hash->movm_args & 0x1)
1806 hash->movm_stack_size += 6 * 4;
1807
1808 /* exreg1 space. e4, e5, e6, e7 */
1809 if (hash->movm_args & 0x2)
1810 hash->movm_stack_size += 4 * 4;
1811
1812 /* exreg0 space. e2, e3 */
1813 if (hash->movm_args & 0x4)
1814 hash->movm_stack_size += 2 * 4;
1815 }
1816 }
1817
1818 /* Now look for the two stack adjustment variants. */
1819 if (byte1 == 0xf8 && byte2 == 0xfe)
1820 {
1821 int temp = bfd_get_8 (abfd, contents + addr + 2);
1822 temp = ((temp & 0xff) ^ (~0x7f)) + 0x80;
1823
1824 hash->stack_size = -temp;
1825 }
1826 else if (byte1 == 0xfa && byte2 == 0xfe)
1827 {
1828 int temp = bfd_get_16 (abfd, contents + addr + 2);
1829 temp = ((temp & 0xffff) ^ (~0x7fff)) + 0x8000;
1830 temp = -temp;
1831
1832 if (temp < 255)
1833 hash->stack_size = temp;
1834 }
1835
1836 /* If the total stack to be allocated by the call instruction is more
1837 than 255 bytes, then we can't remove the stack adjustment by using
1838 "call" (we might still be able to remove the "movm" instruction. */
1839 if (hash->stack_size + hash->movm_stack_size > 255)
1840 hash->stack_size = 0;
1841 }
1842
1843 /* Delete some bytes from a section while relaxing. */
1844
1845 static bfd_boolean
1846 mn10300_elf_relax_delete_bytes (bfd *abfd,
1847 asection *sec,
1848 bfd_vma addr,
1849 int count)
1850 {
1851 Elf_Internal_Shdr *symtab_hdr;
1852 unsigned int sec_shndx;
1853 bfd_byte *contents;
1854 Elf_Internal_Rela *irel, *irelend;
1855 Elf_Internal_Rela *irelalign;
1856 bfd_vma toaddr;
1857 Elf_Internal_Sym *isym, *isymend;
1858 struct elf_link_hash_entry **sym_hashes;
1859 struct elf_link_hash_entry **end_hashes;
1860 unsigned int symcount;
1861
1862 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
1863
1864 contents = elf_section_data (sec)->this_hdr.contents;
1865
1866 irelalign = NULL;
1867 toaddr = sec->size;
1868
1869 irel = elf_section_data (sec)->relocs;
1870 irelend = irel + sec->reloc_count;
1871
1872 if (sec->reloc_count > 0)
1873 {
1874 /* If there is an align reloc at the end of the section ignore it.
1875 GAS creates these relocs for reasons of its own, and they just
1876 serve to keep the section artifically inflated. */
1877 if (ELF32_R_TYPE ((irelend - 1)->r_info) == (int) R_MN10300_ALIGN)
1878 --irelend;
1879
1880 /* The deletion must stop at the next ALIGN reloc for an aligment
1881 power larger than, or not a multiple of, the number of bytes we
1882 are deleting. */
1883 for (; irel < irelend; irel++)
1884 {
1885 int alignment = 1 << irel->r_addend;
1886
1887 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_ALIGN
1888 && irel->r_offset > addr
1889 && irel->r_offset < toaddr
1890 && (count < alignment
1891 || alignment % count != 0))
1892 {
1893 irelalign = irel;
1894 toaddr = irel->r_offset;
1895 break;
1896 }
1897 }
1898 }
1899
1900 /* Actually delete the bytes. */
1901 memmove (contents + addr, contents + addr + count,
1902 (size_t) (toaddr - addr - count));
1903
1904 /* Adjust the section's size if we are shrinking it, or else
1905 pad the bytes between the end of the shrunken region and
1906 the start of the next region with NOP codes. */
1907 if (irelalign == NULL)
1908 {
1909 sec->size -= count;
1910 /* Include symbols at the end of the section, but
1911 not at the end of a sub-region of the section. */
1912 toaddr ++;
1913 }
1914 else
1915 {
1916 int i;
1917
1918 #define NOP_OPCODE 0xcb
1919
1920 for (i = 0; i < count; i ++)
1921 bfd_put_8 (abfd, (bfd_vma) NOP_OPCODE, contents + toaddr - count + i);
1922 }
1923
1924 /* Adjust all the relocs. */
1925 for (irel = elf_section_data (sec)->relocs; irel < irelend; irel++)
1926 {
1927 /* Get the new reloc address. */
1928 if ((irel->r_offset > addr
1929 && irel->r_offset < toaddr)
1930 || (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_ALIGN
1931 && irel->r_offset == toaddr))
1932 irel->r_offset -= count;
1933 }
1934
1935 /* Adjust the local symbols in the section, reducing their value
1936 by the number of bytes deleted. Note - symbols within the deleted
1937 region are moved to the address of the start of the region, which
1938 actually means that they will address the byte beyond the end of
1939 the region once the deletion has been completed. */
1940 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
1941 isym = (Elf_Internal_Sym *) symtab_hdr->contents;
1942 for (isymend = isym + symtab_hdr->sh_info; isym < isymend; isym++)
1943 {
1944 if (isym->st_shndx == sec_shndx
1945 && isym->st_value > addr
1946 && isym->st_value < toaddr)
1947 {
1948 if (isym->st_value < addr + count)
1949 isym->st_value = addr;
1950 else
1951 isym->st_value -= count;
1952 }
1953 /* Adjust the function symbol's size as well. */
1954 else if (isym->st_shndx == sec_shndx
1955 && ELF_ST_TYPE (isym->st_info) == STT_FUNC
1956 && isym->st_value + isym->st_size > addr
1957 && isym->st_value + isym->st_size < toaddr)
1958 isym->st_size -= count;
1959 }
1960
1961 /* Now adjust the global symbols defined in this section. */
1962 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
1963 - symtab_hdr->sh_info);
1964 sym_hashes = elf_sym_hashes (abfd);
1965 end_hashes = sym_hashes + symcount;
1966 for (; sym_hashes < end_hashes; sym_hashes++)
1967 {
1968 struct elf_link_hash_entry *sym_hash = *sym_hashes;
1969
1970 if ((sym_hash->root.type == bfd_link_hash_defined
1971 || sym_hash->root.type == bfd_link_hash_defweak)
1972 && sym_hash->root.u.def.section == sec
1973 && sym_hash->root.u.def.value > addr
1974 && sym_hash->root.u.def.value < toaddr)
1975 {
1976 if (sym_hash->root.u.def.value < addr + count)
1977 sym_hash->root.u.def.value = addr;
1978 else
1979 sym_hash->root.u.def.value -= count;
1980 }
1981 /* Adjust the function symbol's size as well. */
1982 else if (sym_hash->root.type == bfd_link_hash_defined
1983 && sym_hash->root.u.def.section == sec
1984 && sym_hash->type == STT_FUNC
1985 && sym_hash->root.u.def.value + sym_hash->size > addr
1986 && sym_hash->root.u.def.value + sym_hash->size < toaddr)
1987 sym_hash->size -= count;
1988 }
1989
1990 /* See if we can move the ALIGN reloc forward.
1991 We have adjusted r_offset for it already. */
1992 if (irelalign != NULL)
1993 {
1994 bfd_vma alignto, alignaddr;
1995
1996 if ((int) irelalign->r_addend > 0)
1997 {
1998 /* This is the old address. */
1999 alignto = BFD_ALIGN (toaddr, 1 << irelalign->r_addend);
2000 /* This is where the align points to now. */
2001 alignaddr = BFD_ALIGN (irelalign->r_offset,
2002 1 << irelalign->r_addend);
2003 if (alignaddr < alignto)
2004 /* Tail recursion. */
2005 return mn10300_elf_relax_delete_bytes (abfd, sec, alignaddr,
2006 (int) (alignto - alignaddr));
2007 }
2008 }
2009
2010 return TRUE;
2011 }
2012
2013 /* Return TRUE if a symbol exists at the given address, else return
2014 FALSE. */
2015
2016 static bfd_boolean
2017 mn10300_elf_symbol_address_p (bfd *abfd,
2018 asection *sec,
2019 Elf_Internal_Sym *isym,
2020 bfd_vma addr)
2021 {
2022 Elf_Internal_Shdr *symtab_hdr;
2023 unsigned int sec_shndx;
2024 Elf_Internal_Sym *isymend;
2025 struct elf_link_hash_entry **sym_hashes;
2026 struct elf_link_hash_entry **end_hashes;
2027 unsigned int symcount;
2028
2029 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
2030
2031 /* Examine all the symbols. */
2032 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
2033 for (isymend = isym + symtab_hdr->sh_info; isym < isymend; isym++)
2034 if (isym->st_shndx == sec_shndx
2035 && isym->st_value == addr)
2036 return TRUE;
2037
2038 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
2039 - symtab_hdr->sh_info);
2040 sym_hashes = elf_sym_hashes (abfd);
2041 end_hashes = sym_hashes + symcount;
2042 for (; sym_hashes < end_hashes; sym_hashes++)
2043 {
2044 struct elf_link_hash_entry *sym_hash = *sym_hashes;
2045
2046 if ((sym_hash->root.type == bfd_link_hash_defined
2047 || sym_hash->root.type == bfd_link_hash_defweak)
2048 && sym_hash->root.u.def.section == sec
2049 && sym_hash->root.u.def.value == addr)
2050 return TRUE;
2051 }
2052
2053 return FALSE;
2054 }
2055
2056 /* This function handles relaxing for the mn10300.
2057
2058 There are quite a few relaxing opportunities available on the mn10300:
2059
2060 * calls:32 -> calls:16 2 bytes
2061 * call:32 -> call:16 2 bytes
2062
2063 * call:32 -> calls:32 1 byte
2064 * call:16 -> calls:16 1 byte
2065 * These are done anytime using "calls" would result
2066 in smaller code, or when necessary to preserve the
2067 meaning of the program.
2068
2069 * call:32 varies
2070 * call:16
2071 * In some circumstances we can move instructions
2072 from a function prologue into a "call" instruction.
2073 This is only done if the resulting code is no larger
2074 than the original code.
2075
2076 * jmp:32 -> jmp:16 2 bytes
2077 * jmp:16 -> bra:8 1 byte
2078
2079 * If the previous instruction is a conditional branch
2080 around the jump/bra, we may be able to reverse its condition
2081 and change its target to the jump's target. The jump/bra
2082 can then be deleted. 2 bytes
2083
2084 * mov abs32 -> mov abs16 1 or 2 bytes
2085
2086 * Most instructions which accept imm32 can relax to imm16 1 or 2 bytes
2087 - Most instructions which accept imm16 can relax to imm8 1 or 2 bytes
2088
2089 * Most instructions which accept d32 can relax to d16 1 or 2 bytes
2090 - Most instructions which accept d16 can relax to d8 1 or 2 bytes
2091
2092 We don't handle imm16->imm8 or d16->d8 as they're very rare
2093 and somewhat more difficult to support. */
2094
2095 static bfd_boolean
2096 mn10300_elf_relax_section (bfd *abfd,
2097 asection *sec,
2098 struct bfd_link_info *link_info,
2099 bfd_boolean *again)
2100 {
2101 Elf_Internal_Shdr *symtab_hdr;
2102 Elf_Internal_Rela *internal_relocs = NULL;
2103 Elf_Internal_Rela *irel, *irelend;
2104 bfd_byte *contents = NULL;
2105 Elf_Internal_Sym *isymbuf = NULL;
2106 struct elf32_mn10300_link_hash_table *hash_table;
2107 asection *section = sec;
2108 bfd_vma align_gap_adjustment;
2109
2110 /* Assume nothing changes. */
2111 *again = FALSE;
2112
2113 /* We need a pointer to the mn10300 specific hash table. */
2114 hash_table = elf32_mn10300_hash_table (link_info);
2115
2116 /* Initialize fields in each hash table entry the first time through. */
2117 if ((hash_table->flags & MN10300_HASH_ENTRIES_INITIALIZED) == 0)
2118 {
2119 bfd *input_bfd;
2120
2121 /* Iterate over all the input bfds. */
2122 for (input_bfd = link_info->input_bfds;
2123 input_bfd != NULL;
2124 input_bfd = input_bfd->link_next)
2125 {
2126 /* We're going to need all the symbols for each bfd. */
2127 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr;
2128 if (symtab_hdr->sh_info != 0)
2129 {
2130 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
2131 if (isymbuf == NULL)
2132 isymbuf = bfd_elf_get_elf_syms (input_bfd, symtab_hdr,
2133 symtab_hdr->sh_info, 0,
2134 NULL, NULL, NULL);
2135 if (isymbuf == NULL)
2136 goto error_return;
2137 }
2138
2139 /* Iterate over each section in this bfd. */
2140 for (section = input_bfd->sections;
2141 section != NULL;
2142 section = section->next)
2143 {
2144 struct elf32_mn10300_link_hash_entry *hash;
2145 Elf_Internal_Sym *sym;
2146 asection *sym_sec = NULL;
2147 const char *sym_name;
2148 char *new_name;
2149
2150 /* If there's nothing to do in this section, skip it. */
2151 if (! ((section->flags & SEC_RELOC) != 0
2152 && section->reloc_count != 0))
2153 continue;
2154 if ((section->flags & SEC_ALLOC) == 0)
2155 continue;
2156
2157 /* Get cached copy of section contents if it exists. */
2158 if (elf_section_data (section)->this_hdr.contents != NULL)
2159 contents = elf_section_data (section)->this_hdr.contents;
2160 else if (section->size != 0)
2161 {
2162 /* Go get them off disk. */
2163 if (!bfd_malloc_and_get_section (input_bfd, section,
2164 &contents))
2165 goto error_return;
2166 }
2167 else
2168 contents = NULL;
2169
2170 /* If there aren't any relocs, then there's nothing to do. */
2171 if ((section->flags & SEC_RELOC) != 0
2172 && section->reloc_count != 0)
2173 {
2174 /* Get a copy of the native relocations. */
2175 internal_relocs = _bfd_elf_link_read_relocs (input_bfd, section,
2176 NULL, NULL,
2177 link_info->keep_memory);
2178 if (internal_relocs == NULL)
2179 goto error_return;
2180
2181 /* Now examine each relocation. */
2182 irel = internal_relocs;
2183 irelend = irel + section->reloc_count;
2184 for (; irel < irelend; irel++)
2185 {
2186 long r_type;
2187 unsigned long r_index;
2188 unsigned char code;
2189
2190 r_type = ELF32_R_TYPE (irel->r_info);
2191 r_index = ELF32_R_SYM (irel->r_info);
2192
2193 if (r_type < 0 || r_type >= (int) R_MN10300_MAX)
2194 goto error_return;
2195
2196 /* We need the name and hash table entry of the target
2197 symbol! */
2198 hash = NULL;
2199 sym = NULL;
2200 sym_sec = NULL;
2201
2202 if (r_index < symtab_hdr->sh_info)
2203 {
2204 /* A local symbol. */
2205 Elf_Internal_Sym *isym;
2206 struct elf_link_hash_table *elftab;
2207 bfd_size_type amt;
2208
2209 isym = isymbuf + r_index;
2210 if (isym->st_shndx == SHN_UNDEF)
2211 sym_sec = bfd_und_section_ptr;
2212 else if (isym->st_shndx == SHN_ABS)
2213 sym_sec = bfd_abs_section_ptr;
2214 else if (isym->st_shndx == SHN_COMMON)
2215 sym_sec = bfd_com_section_ptr;
2216 else
2217 sym_sec
2218 = bfd_section_from_elf_index (input_bfd,
2219 isym->st_shndx);
2220
2221 sym_name
2222 = bfd_elf_string_from_elf_section (input_bfd,
2223 (symtab_hdr
2224 ->sh_link),
2225 isym->st_name);
2226
2227 /* If it isn't a function, then we don't care
2228 about it. */
2229 if (ELF_ST_TYPE (isym->st_info) != STT_FUNC)
2230 continue;
2231
2232 /* Tack on an ID so we can uniquely identify this
2233 local symbol in the global hash table. */
2234 amt = strlen (sym_name) + 10;
2235 new_name = bfd_malloc (amt);
2236 if (new_name == NULL)
2237 goto error_return;
2238
2239 sprintf (new_name, "%s_%08x", sym_name, sym_sec->id);
2240 sym_name = new_name;
2241
2242 elftab = &hash_table->static_hash_table->root;
2243 hash = ((struct elf32_mn10300_link_hash_entry *)
2244 elf_link_hash_lookup (elftab, sym_name,
2245 TRUE, TRUE, FALSE));
2246 free (new_name);
2247 }
2248 else
2249 {
2250 r_index -= symtab_hdr->sh_info;
2251 hash = (struct elf32_mn10300_link_hash_entry *)
2252 elf_sym_hashes (input_bfd)[r_index];
2253 }
2254
2255 sym_name = hash->root.root.root.string;
2256 if ((section->flags & SEC_CODE) != 0)
2257 {
2258 /* If this is not a "call" instruction, then we
2259 should convert "call" instructions to "calls"
2260 instructions. */
2261 code = bfd_get_8 (input_bfd,
2262 contents + irel->r_offset - 1);
2263 if (code != 0xdd && code != 0xcd)
2264 hash->flags |= MN10300_CONVERT_CALL_TO_CALLS;
2265 }
2266
2267 /* If this is a jump/call, then bump the
2268 direct_calls counter. Else force "call" to
2269 "calls" conversions. */
2270 if (r_type == R_MN10300_PCREL32
2271 || r_type == R_MN10300_PLT32
2272 || r_type == R_MN10300_PLT16
2273 || r_type == R_MN10300_PCREL16)
2274 hash->direct_calls++;
2275 else
2276 hash->flags |= MN10300_CONVERT_CALL_TO_CALLS;
2277 }
2278 }
2279
2280 /* Now look at the actual contents to get the stack size,
2281 and a list of what registers were saved in the prologue
2282 (ie movm_args). */
2283 if ((section->flags & SEC_CODE) != 0)
2284 {
2285 Elf_Internal_Sym *isym, *isymend;
2286 unsigned int sec_shndx;
2287 struct elf_link_hash_entry **hashes;
2288 struct elf_link_hash_entry **end_hashes;
2289 unsigned int symcount;
2290
2291 sec_shndx = _bfd_elf_section_from_bfd_section (input_bfd,
2292 section);
2293
2294 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
2295 - symtab_hdr->sh_info);
2296 hashes = elf_sym_hashes (input_bfd);
2297 end_hashes = hashes + symcount;
2298
2299 /* Look at each function defined in this section and
2300 update info for that function. */
2301 isymend = isymbuf + symtab_hdr->sh_info;
2302 for (isym = isymbuf; isym < isymend; isym++)
2303 {
2304 if (isym->st_shndx == sec_shndx
2305 && ELF_ST_TYPE (isym->st_info) == STT_FUNC)
2306 {
2307 struct elf_link_hash_table *elftab;
2308 bfd_size_type amt;
2309 struct elf_link_hash_entry **lhashes = hashes;
2310
2311 /* Skip a local symbol if it aliases a
2312 global one. */
2313 for (; lhashes < end_hashes; lhashes++)
2314 {
2315 hash = (struct elf32_mn10300_link_hash_entry *) *lhashes;
2316 if ((hash->root.root.type == bfd_link_hash_defined
2317 || hash->root.root.type == bfd_link_hash_defweak)
2318 && hash->root.root.u.def.section == section
2319 && hash->root.type == STT_FUNC
2320 && hash->root.root.u.def.value == isym->st_value)
2321 break;
2322 }
2323 if (lhashes != end_hashes)
2324 continue;
2325
2326 if (isym->st_shndx == SHN_UNDEF)
2327 sym_sec = bfd_und_section_ptr;
2328 else if (isym->st_shndx == SHN_ABS)
2329 sym_sec = bfd_abs_section_ptr;
2330 else if (isym->st_shndx == SHN_COMMON)
2331 sym_sec = bfd_com_section_ptr;
2332 else
2333 sym_sec
2334 = bfd_section_from_elf_index (input_bfd,
2335 isym->st_shndx);
2336
2337 sym_name = (bfd_elf_string_from_elf_section
2338 (input_bfd, symtab_hdr->sh_link,
2339 isym->st_name));
2340
2341 /* Tack on an ID so we can uniquely identify this
2342 local symbol in the global hash table. */
2343 amt = strlen (sym_name) + 10;
2344 new_name = bfd_malloc (amt);
2345 if (new_name == NULL)
2346 goto error_return;
2347
2348 sprintf (new_name, "%s_%08x", sym_name, sym_sec->id);
2349 sym_name = new_name;
2350
2351 elftab = &hash_table->static_hash_table->root;
2352 hash = ((struct elf32_mn10300_link_hash_entry *)
2353 elf_link_hash_lookup (elftab, sym_name,
2354 TRUE, TRUE, FALSE));
2355 free (new_name);
2356 compute_function_info (input_bfd, hash,
2357 isym->st_value, contents);
2358 hash->value = isym->st_value;
2359 }
2360 }
2361
2362 for (; hashes < end_hashes; hashes++)
2363 {
2364 hash = (struct elf32_mn10300_link_hash_entry *) *hashes;
2365 if ((hash->root.root.type == bfd_link_hash_defined
2366 || hash->root.root.type == bfd_link_hash_defweak)
2367 && hash->root.root.u.def.section == section
2368 && hash->root.type == STT_FUNC)
2369 compute_function_info (input_bfd, hash,
2370 (hash)->root.root.u.def.value,
2371 contents);
2372 }
2373 }
2374
2375 /* Cache or free any memory we allocated for the relocs. */
2376 if (internal_relocs != NULL
2377 && elf_section_data (section)->relocs != internal_relocs)
2378 free (internal_relocs);
2379 internal_relocs = NULL;
2380
2381 /* Cache or free any memory we allocated for the contents. */
2382 if (contents != NULL
2383 && elf_section_data (section)->this_hdr.contents != contents)
2384 {
2385 if (! link_info->keep_memory)
2386 free (contents);
2387 else
2388 {
2389 /* Cache the section contents for elf_link_input_bfd. */
2390 elf_section_data (section)->this_hdr.contents = contents;
2391 }
2392 }
2393 contents = NULL;
2394 }
2395
2396 /* Cache or free any memory we allocated for the symbols. */
2397 if (isymbuf != NULL
2398 && symtab_hdr->contents != (unsigned char *) isymbuf)
2399 {
2400 if (! link_info->keep_memory)
2401 free (isymbuf);
2402 else
2403 {
2404 /* Cache the symbols for elf_link_input_bfd. */
2405 symtab_hdr->contents = (unsigned char *) isymbuf;
2406 }
2407 }
2408 isymbuf = NULL;
2409 }
2410
2411 /* Now iterate on each symbol in the hash table and perform
2412 the final initialization steps on each. */
2413 elf32_mn10300_link_hash_traverse (hash_table,
2414 elf32_mn10300_finish_hash_table_entry,
2415 link_info);
2416 elf32_mn10300_link_hash_traverse (hash_table->static_hash_table,
2417 elf32_mn10300_finish_hash_table_entry,
2418 link_info);
2419
2420 {
2421 /* This section of code collects all our local symbols, sorts
2422 them by value, and looks for multiple symbols referring to
2423 the same address. For those symbols, the flags are merged.
2424 At this point, the only flag that can be set is
2425 MN10300_CONVERT_CALL_TO_CALLS, so we simply OR the flags
2426 together. */
2427 int static_count = 0, i;
2428 struct elf32_mn10300_link_hash_entry **entries;
2429 struct elf32_mn10300_link_hash_entry **ptr;
2430
2431 elf32_mn10300_link_hash_traverse (hash_table->static_hash_table,
2432 elf32_mn10300_count_hash_table_entries,
2433 &static_count);
2434
2435 entries = bfd_malloc (static_count * sizeof (* ptr));
2436
2437 ptr = entries;
2438 elf32_mn10300_link_hash_traverse (hash_table->static_hash_table,
2439 elf32_mn10300_list_hash_table_entries,
2440 & ptr);
2441
2442 qsort (entries, static_count, sizeof (entries[0]), sort_by_value);
2443
2444 for (i = 0; i < static_count - 1; i++)
2445 if (entries[i]->value && entries[i]->value == entries[i+1]->value)
2446 {
2447 int v = entries[i]->flags;
2448 int j;
2449
2450 for (j = i + 1; j < static_count && entries[j]->value == entries[i]->value; j++)
2451 v |= entries[j]->flags;
2452
2453 for (j = i; j < static_count && entries[j]->value == entries[i]->value; j++)
2454 entries[j]->flags = v;
2455
2456 i = j - 1;
2457 }
2458 }
2459
2460 /* All entries in the hash table are fully initialized. */
2461 hash_table->flags |= MN10300_HASH_ENTRIES_INITIALIZED;
2462
2463 /* Now that everything has been initialized, go through each
2464 code section and delete any prologue insns which will be
2465 redundant because their operations will be performed by
2466 a "call" instruction. */
2467 for (input_bfd = link_info->input_bfds;
2468 input_bfd != NULL;
2469 input_bfd = input_bfd->link_next)
2470 {
2471 /* We're going to need all the local symbols for each bfd. */
2472 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr;
2473 if (symtab_hdr->sh_info != 0)
2474 {
2475 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
2476 if (isymbuf == NULL)
2477 isymbuf = bfd_elf_get_elf_syms (input_bfd, symtab_hdr,
2478 symtab_hdr->sh_info, 0,
2479 NULL, NULL, NULL);
2480 if (isymbuf == NULL)
2481 goto error_return;
2482 }
2483
2484 /* Walk over each section in this bfd. */
2485 for (section = input_bfd->sections;
2486 section != NULL;
2487 section = section->next)
2488 {
2489 unsigned int sec_shndx;
2490 Elf_Internal_Sym *isym, *isymend;
2491 struct elf_link_hash_entry **hashes;
2492 struct elf_link_hash_entry **end_hashes;
2493 unsigned int symcount;
2494
2495 /* Skip non-code sections and empty sections. */
2496 if ((section->flags & SEC_CODE) == 0 || section->size == 0)
2497 continue;
2498
2499 if (section->reloc_count != 0)
2500 {
2501 /* Get a copy of the native relocations. */
2502 internal_relocs = _bfd_elf_link_read_relocs (input_bfd, section,
2503 NULL, NULL,
2504 link_info->keep_memory);
2505 if (internal_relocs == NULL)
2506 goto error_return;
2507 }
2508
2509 /* Get cached copy of section contents if it exists. */
2510 if (elf_section_data (section)->this_hdr.contents != NULL)
2511 contents = elf_section_data (section)->this_hdr.contents;
2512 else
2513 {
2514 /* Go get them off disk. */
2515 if (!bfd_malloc_and_get_section (input_bfd, section,
2516 &contents))
2517 goto error_return;
2518 }
2519
2520 sec_shndx = _bfd_elf_section_from_bfd_section (input_bfd,
2521 section);
2522
2523 /* Now look for any function in this section which needs
2524 insns deleted from its prologue. */
2525 isymend = isymbuf + symtab_hdr->sh_info;
2526 for (isym = isymbuf; isym < isymend; isym++)
2527 {
2528 struct elf32_mn10300_link_hash_entry *sym_hash;
2529 asection *sym_sec = NULL;
2530 const char *sym_name;
2531 char *new_name;
2532 struct elf_link_hash_table *elftab;
2533 bfd_size_type amt;
2534
2535 if (isym->st_shndx != sec_shndx)
2536 continue;
2537
2538 if (isym->st_shndx == SHN_UNDEF)
2539 sym_sec = bfd_und_section_ptr;
2540 else if (isym->st_shndx == SHN_ABS)
2541 sym_sec = bfd_abs_section_ptr;
2542 else if (isym->st_shndx == SHN_COMMON)
2543 sym_sec = bfd_com_section_ptr;
2544 else
2545 sym_sec
2546 = bfd_section_from_elf_index (input_bfd, isym->st_shndx);
2547
2548 sym_name
2549 = bfd_elf_string_from_elf_section (input_bfd,
2550 symtab_hdr->sh_link,
2551 isym->st_name);
2552
2553 /* Tack on an ID so we can uniquely identify this
2554 local symbol in the global hash table. */
2555 amt = strlen (sym_name) + 10;
2556 new_name = bfd_malloc (amt);
2557 if (new_name == NULL)
2558 goto error_return;
2559 sprintf (new_name, "%s_%08x", sym_name, sym_sec->id);
2560 sym_name = new_name;
2561
2562 elftab = & hash_table->static_hash_table->root;
2563 sym_hash = (struct elf32_mn10300_link_hash_entry *)
2564 elf_link_hash_lookup (elftab, sym_name,
2565 FALSE, FALSE, FALSE);
2566
2567 free (new_name);
2568 if (sym_hash == NULL)
2569 continue;
2570
2571 if (! (sym_hash->flags & MN10300_CONVERT_CALL_TO_CALLS)
2572 && ! (sym_hash->flags & MN10300_DELETED_PROLOGUE_BYTES))
2573 {
2574 int bytes = 0;
2575
2576 /* Note that we've changed things. */
2577 elf_section_data (section)->relocs = internal_relocs;
2578 elf_section_data (section)->this_hdr.contents = contents;
2579 symtab_hdr->contents = (unsigned char *) isymbuf;
2580
2581 /* Count how many bytes we're going to delete. */
2582 if (sym_hash->movm_args)
2583 bytes += 2;
2584
2585 if (sym_hash->stack_size > 0)
2586 {
2587 if (sym_hash->stack_size <= 128)
2588 bytes += 3;
2589 else
2590 bytes += 4;
2591 }
2592
2593 /* Note that we've deleted prologue bytes for this
2594 function. */
2595 sym_hash->flags |= MN10300_DELETED_PROLOGUE_BYTES;
2596
2597 /* Actually delete the bytes. */
2598 if (!mn10300_elf_relax_delete_bytes (input_bfd,
2599 section,
2600 isym->st_value,
2601 bytes))
2602 goto error_return;
2603
2604 /* Something changed. Not strictly necessary, but
2605 may lead to more relaxing opportunities. */
2606 *again = TRUE;
2607 }
2608 }
2609
2610 /* Look for any global functions in this section which
2611 need insns deleted from their prologues. */
2612 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
2613 - symtab_hdr->sh_info);
2614 hashes = elf_sym_hashes (input_bfd);
2615 end_hashes = hashes + symcount;
2616 for (; hashes < end_hashes; hashes++)
2617 {
2618 struct elf32_mn10300_link_hash_entry *sym_hash;
2619
2620 sym_hash = (struct elf32_mn10300_link_hash_entry *) *hashes;
2621 if ((sym_hash->root.root.type == bfd_link_hash_defined
2622 || sym_hash->root.root.type == bfd_link_hash_defweak)
2623 && sym_hash->root.root.u.def.section == section
2624 && ! (sym_hash->flags & MN10300_CONVERT_CALL_TO_CALLS)
2625 && ! (sym_hash->flags & MN10300_DELETED_PROLOGUE_BYTES))
2626 {
2627 int bytes = 0;
2628 bfd_vma symval;
2629
2630 /* Note that we've changed things. */
2631 elf_section_data (section)->relocs = internal_relocs;
2632 elf_section_data (section)->this_hdr.contents = contents;
2633 symtab_hdr->contents = (unsigned char *) isymbuf;
2634
2635 /* Count how many bytes we're going to delete. */
2636 if (sym_hash->movm_args)
2637 bytes += 2;
2638
2639 if (sym_hash->stack_size > 0)
2640 {
2641 if (sym_hash->stack_size <= 128)
2642 bytes += 3;
2643 else
2644 bytes += 4;
2645 }
2646
2647 /* Note that we've deleted prologue bytes for this
2648 function. */
2649 sym_hash->flags |= MN10300_DELETED_PROLOGUE_BYTES;
2650
2651 /* Actually delete the bytes. */
2652 symval = sym_hash->root.root.u.def.value;
2653 if (!mn10300_elf_relax_delete_bytes (input_bfd,
2654 section,
2655 symval,
2656 bytes))
2657 goto error_return;
2658
2659 /* Something changed. Not strictly necessary, but
2660 may lead to more relaxing opportunities. */
2661 *again = TRUE;
2662 }
2663 }
2664
2665 /* Cache or free any memory we allocated for the relocs. */
2666 if (internal_relocs != NULL
2667 && elf_section_data (section)->relocs != internal_relocs)
2668 free (internal_relocs);
2669 internal_relocs = NULL;
2670
2671 /* Cache or free any memory we allocated for the contents. */
2672 if (contents != NULL
2673 && elf_section_data (section)->this_hdr.contents != contents)
2674 {
2675 if (! link_info->keep_memory)
2676 free (contents);
2677 else
2678 /* Cache the section contents for elf_link_input_bfd. */
2679 elf_section_data (section)->this_hdr.contents = contents;
2680 }
2681 contents = NULL;
2682 }
2683
2684 /* Cache or free any memory we allocated for the symbols. */
2685 if (isymbuf != NULL
2686 && symtab_hdr->contents != (unsigned char *) isymbuf)
2687 {
2688 if (! link_info->keep_memory)
2689 free (isymbuf);
2690 else
2691 /* Cache the symbols for elf_link_input_bfd. */
2692 symtab_hdr->contents = (unsigned char *) isymbuf;
2693 }
2694 isymbuf = NULL;
2695 }
2696 }
2697
2698 /* (Re)initialize for the basic instruction shortening/relaxing pass. */
2699 contents = NULL;
2700 internal_relocs = NULL;
2701 isymbuf = NULL;
2702 /* For error_return. */
2703 section = sec;
2704
2705 /* We don't have to do anything for a relocatable link, if
2706 this section does not have relocs, or if this is not a
2707 code section. */
2708 if (link_info->relocatable
2709 || (sec->flags & SEC_RELOC) == 0
2710 || sec->reloc_count == 0
2711 || (sec->flags & SEC_CODE) == 0)
2712 return TRUE;
2713
2714 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
2715
2716 /* Get a copy of the native relocations. */
2717 internal_relocs = _bfd_elf_link_read_relocs (abfd, sec, NULL, NULL,
2718 link_info->keep_memory);
2719 if (internal_relocs == NULL)
2720 goto error_return;
2721
2722 /* Scan for worst case alignment gap changes. Note that this logic
2723 is not ideal; what we should do is run this scan for every
2724 opcode/address range and adjust accordingly, but that's
2725 expensive. Worst case is that for an alignment of N bytes, we
2726 move by 2*N-N-1 bytes, assuming we have aligns of 1, 2, 4, 8, etc
2727 all before it. Plus, this still doesn't cover cross-section
2728 jumps with section alignment. */
2729 irelend = internal_relocs + sec->reloc_count;
2730 align_gap_adjustment = 0;
2731 for (irel = internal_relocs; irel < irelend; irel++)
2732 {
2733 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_ALIGN)
2734 {
2735 bfd_vma adj = 1 << irel->r_addend;
2736 bfd_vma aend = irel->r_offset;
2737
2738 aend = BFD_ALIGN (aend, 1 << irel->r_addend);
2739 adj = 2 * adj - adj - 1;
2740
2741 /* Record the biggest adjustmnet. Skip any alignment at the
2742 end of our section. */
2743 if (align_gap_adjustment < adj
2744 && aend < sec->output_section->vma + sec->output_offset + sec->size)
2745 align_gap_adjustment = adj;
2746 }
2747 }
2748
2749 /* Walk through them looking for relaxing opportunities. */
2750 irelend = internal_relocs + sec->reloc_count;
2751 for (irel = internal_relocs; irel < irelend; irel++)
2752 {
2753 bfd_vma symval;
2754 struct elf32_mn10300_link_hash_entry *h = NULL;
2755
2756 /* If this isn't something that can be relaxed, then ignore
2757 this reloc. */
2758 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_NONE
2759 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_8
2760 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_MAX)
2761 continue;
2762
2763 /* Get the section contents if we haven't done so already. */
2764 if (contents == NULL)
2765 {
2766 /* Get cached copy if it exists. */
2767 if (elf_section_data (sec)->this_hdr.contents != NULL)
2768 contents = elf_section_data (sec)->this_hdr.contents;
2769 else
2770 {
2771 /* Go get them off disk. */
2772 if (!bfd_malloc_and_get_section (abfd, sec, &contents))
2773 goto error_return;
2774 }
2775 }
2776
2777 /* Read this BFD's symbols if we haven't done so already. */
2778 if (isymbuf == NULL && symtab_hdr->sh_info != 0)
2779 {
2780 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
2781 if (isymbuf == NULL)
2782 isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr,
2783 symtab_hdr->sh_info, 0,
2784 NULL, NULL, NULL);
2785 if (isymbuf == NULL)
2786 goto error_return;
2787 }
2788
2789 /* Get the value of the symbol referred to by the reloc. */
2790 if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info)
2791 {
2792 Elf_Internal_Sym *isym;
2793 asection *sym_sec = NULL;
2794 const char *sym_name;
2795 char *new_name;
2796
2797 /* A local symbol. */
2798 isym = isymbuf + ELF32_R_SYM (irel->r_info);
2799 if (isym->st_shndx == SHN_UNDEF)
2800 sym_sec = bfd_und_section_ptr;
2801 else if (isym->st_shndx == SHN_ABS)
2802 sym_sec = bfd_abs_section_ptr;
2803 else if (isym->st_shndx == SHN_COMMON)
2804 sym_sec = bfd_com_section_ptr;
2805 else
2806 sym_sec = bfd_section_from_elf_index (abfd, isym->st_shndx);
2807
2808 sym_name = bfd_elf_string_from_elf_section (abfd,
2809 symtab_hdr->sh_link,
2810 isym->st_name);
2811
2812 if ((sym_sec->flags & SEC_MERGE)
2813 && ELF_ST_TYPE (isym->st_info) == STT_SECTION
2814 && sym_sec->sec_info_type == ELF_INFO_TYPE_MERGE)
2815 {
2816 symval = isym->st_value + irel->r_addend;
2817 symval = _bfd_merged_section_offset (abfd, & sym_sec,
2818 elf_section_data (sym_sec)->sec_info,
2819 symval);
2820 symval += sym_sec->output_section->vma + sym_sec->output_offset - irel->r_addend;
2821 }
2822 else
2823 symval = (isym->st_value
2824 + sym_sec->output_section->vma
2825 + sym_sec->output_offset);
2826
2827 /* Tack on an ID so we can uniquely identify this
2828 local symbol in the global hash table. */
2829 new_name = bfd_malloc ((bfd_size_type) strlen (sym_name) + 10);
2830 if (new_name == NULL)
2831 goto error_return;
2832 sprintf (new_name, "%s_%08x", sym_name, sym_sec->id);
2833 sym_name = new_name;
2834
2835 h = (struct elf32_mn10300_link_hash_entry *)
2836 elf_link_hash_lookup (&hash_table->static_hash_table->root,
2837 sym_name, FALSE, FALSE, FALSE);
2838 free (new_name);
2839 }
2840 else
2841 {
2842 unsigned long indx;
2843
2844 /* An external symbol. */
2845 indx = ELF32_R_SYM (irel->r_info) - symtab_hdr->sh_info;
2846 h = (struct elf32_mn10300_link_hash_entry *)
2847 (elf_sym_hashes (abfd)[indx]);
2848 BFD_ASSERT (h != NULL);
2849 if (h->root.root.type != bfd_link_hash_defined
2850 && h->root.root.type != bfd_link_hash_defweak)
2851 /* This appears to be a reference to an undefined
2852 symbol. Just ignore it--it will be caught by the
2853 regular reloc processing. */
2854 continue;
2855
2856 /* Check for a reference to a discarded symbol and ignore it. */
2857 if (h->root.root.u.def.section->output_section == NULL)
2858 continue;
2859
2860 symval = (h->root.root.u.def.value
2861 + h->root.root.u.def.section->output_section->vma
2862 + h->root.root.u.def.section->output_offset);
2863 }
2864
2865 /* For simplicity of coding, we are going to modify the section
2866 contents, the section relocs, and the BFD symbol table. We
2867 must tell the rest of the code not to free up this
2868 information. It would be possible to instead create a table
2869 of changes which have to be made, as is done in coff-mips.c;
2870 that would be more work, but would require less memory when
2871 the linker is run. */
2872
2873 /* Try to turn a 32bit pc-relative branch/call into a 16bit pc-relative
2874 branch/call, also deal with "call" -> "calls" conversions and
2875 insertion of prologue data into "call" instructions. */
2876 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PCREL32
2877 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PLT32)
2878 {
2879 bfd_vma value = symval;
2880
2881 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PLT32
2882 && h != NULL
2883 && ELF_ST_VISIBILITY (h->root.other) != STV_INTERNAL
2884 && ELF_ST_VISIBILITY (h->root.other) != STV_HIDDEN
2885 && h->root.plt.offset != (bfd_vma) -1)
2886 {
2887 asection * splt;
2888
2889 splt = bfd_get_section_by_name (elf_hash_table (link_info)
2890 ->dynobj, ".plt");
2891
2892 value = ((splt->output_section->vma
2893 + splt->output_offset
2894 + h->root.plt.offset)
2895 - (sec->output_section->vma
2896 + sec->output_offset
2897 + irel->r_offset));
2898 }
2899
2900 /* If we've got a "call" instruction that needs to be turned
2901 into a "calls" instruction, do so now. It saves a byte. */
2902 if (h && (h->flags & MN10300_CONVERT_CALL_TO_CALLS))
2903 {
2904 unsigned char code;
2905
2906 /* Get the opcode. */
2907 code = bfd_get_8 (abfd, contents + irel->r_offset - 1);
2908
2909 /* Make sure we're working with a "call" instruction! */
2910 if (code == 0xdd)
2911 {
2912 /* Note that we've changed the relocs, section contents,
2913 etc. */
2914 elf_section_data (sec)->relocs = internal_relocs;
2915 elf_section_data (sec)->this_hdr.contents = contents;
2916 symtab_hdr->contents = (unsigned char *) isymbuf;
2917
2918 /* Fix the opcode. */
2919 bfd_put_8 (abfd, 0xfc, contents + irel->r_offset - 1);
2920 bfd_put_8 (abfd, 0xff, contents + irel->r_offset);
2921
2922 /* Fix irel->r_offset and irel->r_addend. */
2923 irel->r_offset += 1;
2924 irel->r_addend += 1;
2925
2926 /* Delete one byte of data. */
2927 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
2928 irel->r_offset + 3, 1))
2929 goto error_return;
2930
2931 /* That will change things, so, we should relax again.
2932 Note that this is not required, and it may be slow. */
2933 *again = TRUE;
2934 }
2935 }
2936 else if (h)
2937 {
2938 /* We've got a "call" instruction which needs some data
2939 from target function filled in. */
2940 unsigned char code;
2941
2942 /* Get the opcode. */
2943 code = bfd_get_8 (abfd, contents + irel->r_offset - 1);
2944
2945 /* Insert data from the target function into the "call"
2946 instruction if needed. */
2947 if (code == 0xdd)
2948 {
2949 bfd_put_8 (abfd, h->movm_args, contents + irel->r_offset + 4);
2950 bfd_put_8 (abfd, h->stack_size + h->movm_stack_size,
2951 contents + irel->r_offset + 5);
2952 }
2953 }
2954
2955 /* Deal with pc-relative gunk. */
2956 value -= (sec->output_section->vma + sec->output_offset);
2957 value -= irel->r_offset;
2958 value += irel->r_addend;
2959
2960 /* See if the value will fit in 16 bits, note the high value is
2961 0x7fff + 2 as the target will be two bytes closer if we are
2962 able to relax. */
2963 /* Account for jumps across alignment boundaries using
2964 align_gap_adjustment. */
2965 if ((bfd_signed_vma) value < 0x8001 - (bfd_signed_vma) align_gap_adjustment
2966 && ((bfd_signed_vma) value > -0x8000 + (bfd_signed_vma) align_gap_adjustment))
2967 {
2968 unsigned char code;
2969
2970 /* Get the opcode. */
2971 code = bfd_get_8 (abfd, contents + irel->r_offset - 1);
2972
2973 if (code != 0xdc && code != 0xdd && code != 0xff)
2974 continue;
2975
2976 /* Note that we've changed the relocs, section contents, etc. */
2977 elf_section_data (sec)->relocs = internal_relocs;
2978 elf_section_data (sec)->this_hdr.contents = contents;
2979 symtab_hdr->contents = (unsigned char *) isymbuf;
2980
2981 /* Fix the opcode. */
2982 if (code == 0xdc)
2983 bfd_put_8 (abfd, 0xcc, contents + irel->r_offset - 1);
2984 else if (code == 0xdd)
2985 bfd_put_8 (abfd, 0xcd, contents + irel->r_offset - 1);
2986 else if (code == 0xff)
2987 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2);
2988
2989 /* Fix the relocation's type. */
2990 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
2991 (ELF32_R_TYPE (irel->r_info)
2992 == (int) R_MN10300_PLT32)
2993 ? R_MN10300_PLT16 :
2994 R_MN10300_PCREL16);
2995
2996 /* Delete two bytes of data. */
2997 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
2998 irel->r_offset + 1, 2))
2999 goto error_return;
3000
3001 /* That will change things, so, we should relax again.
3002 Note that this is not required, and it may be slow. */
3003 *again = TRUE;
3004 }
3005 }
3006
3007 /* Try to turn a 16bit pc-relative branch into a 8bit pc-relative
3008 branch. */
3009 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PCREL16)
3010 {
3011 bfd_vma value = symval;
3012
3013 /* If we've got a "call" instruction that needs to be turned
3014 into a "calls" instruction, do so now. It saves a byte. */
3015 if (h && (h->flags & MN10300_CONVERT_CALL_TO_CALLS))
3016 {
3017 unsigned char code;
3018
3019 /* Get the opcode. */
3020 code = bfd_get_8 (abfd, contents + irel->r_offset - 1);
3021
3022 /* Make sure we're working with a "call" instruction! */
3023 if (code == 0xcd)
3024 {
3025 /* Note that we've changed the relocs, section contents,
3026 etc. */
3027 elf_section_data (sec)->relocs = internal_relocs;
3028 elf_section_data (sec)->this_hdr.contents = contents;
3029 symtab_hdr->contents = (unsigned char *) isymbuf;
3030
3031 /* Fix the opcode. */
3032 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 1);
3033 bfd_put_8 (abfd, 0xff, contents + irel->r_offset);
3034
3035 /* Fix irel->r_offset and irel->r_addend. */
3036 irel->r_offset += 1;
3037 irel->r_addend += 1;
3038
3039 /* Delete one byte of data. */
3040 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3041 irel->r_offset + 1, 1))
3042 goto error_return;
3043
3044 /* That will change things, so, we should relax again.
3045 Note that this is not required, and it may be slow. */
3046 *again = TRUE;
3047 }
3048 }
3049 else if (h)
3050 {
3051 unsigned char code;
3052
3053 /* Get the opcode. */
3054 code = bfd_get_8 (abfd, contents + irel->r_offset - 1);
3055
3056 /* Insert data from the target function into the "call"
3057 instruction if needed. */
3058 if (code == 0xcd)
3059 {
3060 bfd_put_8 (abfd, h->movm_args, contents + irel->r_offset + 2);
3061 bfd_put_8 (abfd, h->stack_size + h->movm_stack_size,
3062 contents + irel->r_offset + 3);
3063 }
3064 }
3065
3066 /* Deal with pc-relative gunk. */
3067 value -= (sec->output_section->vma + sec->output_offset);
3068 value -= irel->r_offset;
3069 value += irel->r_addend;
3070
3071 /* See if the value will fit in 8 bits, note the high value is
3072 0x7f + 1 as the target will be one bytes closer if we are
3073 able to relax. */
3074 if ((long) value < 0x80 && (long) value > -0x80)
3075 {
3076 unsigned char code;
3077
3078 /* Get the opcode. */
3079 code = bfd_get_8 (abfd, contents + irel->r_offset - 1);
3080
3081 if (code != 0xcc)
3082 continue;
3083
3084 /* Note that we've changed the relocs, section contents, etc. */
3085 elf_section_data (sec)->relocs = internal_relocs;
3086 elf_section_data (sec)->this_hdr.contents = contents;
3087 symtab_hdr->contents = (unsigned char *) isymbuf;
3088
3089 /* Fix the opcode. */
3090 bfd_put_8 (abfd, 0xca, contents + irel->r_offset - 1);
3091
3092 /* Fix the relocation's type. */
3093 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
3094 R_MN10300_PCREL8);
3095
3096 /* Delete one byte of data. */
3097 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3098 irel->r_offset + 1, 1))
3099 goto error_return;
3100
3101 /* That will change things, so, we should relax again.
3102 Note that this is not required, and it may be slow. */
3103 *again = TRUE;
3104 }
3105 }
3106
3107 /* Try to eliminate an unconditional 8 bit pc-relative branch
3108 which immediately follows a conditional 8 bit pc-relative
3109 branch around the unconditional branch.
3110
3111 original: new:
3112 bCC lab1 bCC' lab2
3113 bra lab2
3114 lab1: lab1:
3115
3116 This happens when the bCC can't reach lab2 at assembly time,
3117 but due to other relaxations it can reach at link time. */
3118 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PCREL8)
3119 {
3120 Elf_Internal_Rela *nrel;
3121 bfd_vma value = symval;
3122 unsigned char code;
3123
3124 /* Deal with pc-relative gunk. */
3125 value -= (sec->output_section->vma + sec->output_offset);
3126 value -= irel->r_offset;
3127 value += irel->r_addend;
3128
3129 /* Do nothing if this reloc is the last byte in the section. */
3130 if (irel->r_offset == sec->size)
3131 continue;
3132
3133 /* See if the next instruction is an unconditional pc-relative
3134 branch, more often than not this test will fail, so we
3135 test it first to speed things up. */
3136 code = bfd_get_8 (abfd, contents + irel->r_offset + 1);
3137 if (code != 0xca)
3138 continue;
3139
3140 /* Also make sure the next relocation applies to the next
3141 instruction and that it's a pc-relative 8 bit branch. */
3142 nrel = irel + 1;
3143 if (nrel == irelend
3144 || irel->r_offset + 2 != nrel->r_offset
3145 || ELF32_R_TYPE (nrel->r_info) != (int) R_MN10300_PCREL8)
3146 continue;
3147
3148 /* Make sure our destination immediately follows the
3149 unconditional branch. */
3150 if (symval != (sec->output_section->vma + sec->output_offset
3151 + irel->r_offset + 3))
3152 continue;
3153
3154 /* Now make sure we are a conditional branch. This may not
3155 be necessary, but why take the chance.
3156
3157 Note these checks assume that R_MN10300_PCREL8 relocs
3158 only occur on bCC and bCCx insns. If they occured
3159 elsewhere, we'd need to know the start of this insn
3160 for this check to be accurate. */
3161 code = bfd_get_8 (abfd, contents + irel->r_offset - 1);
3162 if (code != 0xc0 && code != 0xc1 && code != 0xc2
3163 && code != 0xc3 && code != 0xc4 && code != 0xc5
3164 && code != 0xc6 && code != 0xc7 && code != 0xc8
3165 && code != 0xc9 && code != 0xe8 && code != 0xe9
3166 && code != 0xea && code != 0xeb)
3167 continue;
3168
3169 /* We also have to be sure there is no symbol/label
3170 at the unconditional branch. */
3171 if (mn10300_elf_symbol_address_p (abfd, sec, isymbuf,
3172 irel->r_offset + 1))
3173 continue;
3174
3175 /* Note that we've changed the relocs, section contents, etc. */
3176 elf_section_data (sec)->relocs = internal_relocs;
3177 elf_section_data (sec)->this_hdr.contents = contents;
3178 symtab_hdr->contents = (unsigned char *) isymbuf;
3179
3180 /* Reverse the condition of the first branch. */
3181 switch (code)
3182 {
3183 case 0xc8:
3184 code = 0xc9;
3185 break;
3186 case 0xc9:
3187 code = 0xc8;
3188 break;
3189 case 0xc0:
3190 code = 0xc2;
3191 break;
3192 case 0xc2:
3193 code = 0xc0;
3194 break;
3195 case 0xc3:
3196 code = 0xc1;
3197 break;
3198 case 0xc1:
3199 code = 0xc3;
3200 break;
3201 case 0xc4:
3202 code = 0xc6;
3203 break;
3204 case 0xc6:
3205 code = 0xc4;
3206 break;
3207 case 0xc7:
3208 code = 0xc5;
3209 break;
3210 case 0xc5:
3211 code = 0xc7;
3212 break;
3213 case 0xe8:
3214 code = 0xe9;
3215 break;
3216 case 0x9d:
3217 code = 0xe8;
3218 break;
3219 case 0xea:
3220 code = 0xeb;
3221 break;
3222 case 0xeb:
3223 code = 0xea;
3224 break;
3225 }
3226 bfd_put_8 (abfd, code, contents + irel->r_offset - 1);
3227
3228 /* Set the reloc type and symbol for the first branch
3229 from the second branch. */
3230 irel->r_info = nrel->r_info;
3231
3232 /* Make the reloc for the second branch a null reloc. */
3233 nrel->r_info = ELF32_R_INFO (ELF32_R_SYM (nrel->r_info),
3234 R_MN10300_NONE);
3235
3236 /* Delete two bytes of data. */
3237 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3238 irel->r_offset + 1, 2))
3239 goto error_return;
3240
3241 /* That will change things, so, we should relax again.
3242 Note that this is not required, and it may be slow. */
3243 *again = TRUE;
3244 }
3245
3246 /* Try to turn a 24 immediate, displacement or absolute address
3247 into a 8 immediate, displacement or absolute address. */
3248 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_24)
3249 {
3250 bfd_vma value = symval;
3251 value += irel->r_addend;
3252
3253 /* See if the value will fit in 8 bits. */
3254 if ((long) value < 0x7f && (long) value > -0x80)
3255 {
3256 unsigned char code;
3257
3258 /* AM33 insns which have 24 operands are 6 bytes long and
3259 will have 0xfd as the first byte. */
3260
3261 /* Get the first opcode. */
3262 code = bfd_get_8 (abfd, contents + irel->r_offset - 3);
3263
3264 if (code == 0xfd)
3265 {
3266 /* Get the second opcode. */
3267 code = bfd_get_8 (abfd, contents + irel->r_offset - 2);
3268
3269 /* We can not relax 0x6b, 0x7b, 0x8b, 0x9b as no 24bit
3270 equivalent instructions exists. */
3271 if (code != 0x6b && code != 0x7b
3272 && code != 0x8b && code != 0x9b
3273 && ((code & 0x0f) == 0x09 || (code & 0x0f) == 0x08
3274 || (code & 0x0f) == 0x0a || (code & 0x0f) == 0x0b
3275 || (code & 0x0f) == 0x0e))
3276 {
3277 /* Not safe if the high bit is on as relaxing may
3278 move the value out of high mem and thus not fit
3279 in a signed 8bit value. This is currently over
3280 conservative. */
3281 if ((value & 0x80) == 0)
3282 {
3283 /* Note that we've changed the relocation contents,
3284 etc. */
3285 elf_section_data (sec)->relocs = internal_relocs;
3286 elf_section_data (sec)->this_hdr.contents = contents;
3287 symtab_hdr->contents = (unsigned char *) isymbuf;
3288
3289 /* Fix the opcode. */
3290 bfd_put_8 (abfd, 0xfb, contents + irel->r_offset - 3);
3291 bfd_put_8 (abfd, code, contents + irel->r_offset - 2);
3292
3293 /* Fix the relocation's type. */
3294 irel->r_info =
3295 ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
3296 R_MN10300_8);
3297
3298 /* Delete two bytes of data. */
3299 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3300 irel->r_offset + 1, 2))
3301 goto error_return;
3302
3303 /* That will change things, so, we should relax
3304 again. Note that this is not required, and it
3305 may be slow. */
3306 *again = TRUE;
3307 break;
3308 }
3309 }
3310 }
3311 }
3312 }
3313
3314 /* Try to turn a 32bit immediate, displacement or absolute address
3315 into a 16bit immediate, displacement or absolute address. */
3316 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_32
3317 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOT32
3318 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOTOFF32)
3319 {
3320 bfd_vma value = symval;
3321
3322 if (ELF32_R_TYPE (irel->r_info) != (int) R_MN10300_32)
3323 {
3324 asection * sgot;
3325
3326 sgot = bfd_get_section_by_name (elf_hash_table (link_info)
3327 ->dynobj, ".got");
3328
3329 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOT32)
3330 {
3331 value = sgot->output_offset;
3332
3333 if (h)
3334 value += h->root.got.offset;
3335 else
3336 value += (elf_local_got_offsets
3337 (abfd)[ELF32_R_SYM (irel->r_info)]);
3338 }
3339 else if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOTOFF32)
3340 value -= sgot->output_section->vma;
3341 else if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOTPC32)
3342 value = (sgot->output_section->vma
3343 - (sec->output_section->vma
3344 + sec->output_offset
3345 + irel->r_offset));
3346 else
3347 abort ();
3348 }
3349
3350 value += irel->r_addend;
3351
3352 /* See if the value will fit in 24 bits.
3353 We allow any 16bit match here. We prune those we can't
3354 handle below. */
3355 if ((long) value < 0x7fffff && (long) value > -0x800000)
3356 {
3357 unsigned char code;
3358
3359 /* AM33 insns which have 32bit operands are 7 bytes long and
3360 will have 0xfe as the first byte. */
3361
3362 /* Get the first opcode. */
3363 code = bfd_get_8 (abfd, contents + irel->r_offset - 3);
3364
3365 if (code == 0xfe)
3366 {
3367 /* Get the second opcode. */
3368 code = bfd_get_8 (abfd, contents + irel->r_offset - 2);
3369
3370 /* All the am33 32 -> 24 relaxing possibilities. */
3371 /* We can not relax 0x6b, 0x7b, 0x8b, 0x9b as no 24bit
3372 equivalent instructions exists. */
3373 if (code != 0x6b && code != 0x7b
3374 && code != 0x8b && code != 0x9b
3375 && (ELF32_R_TYPE (irel->r_info)
3376 != (int) R_MN10300_GOTPC32)
3377 && ((code & 0x0f) == 0x09 || (code & 0x0f) == 0x08
3378 || (code & 0x0f) == 0x0a || (code & 0x0f) == 0x0b
3379 || (code & 0x0f) == 0x0e))
3380 {
3381 /* Not safe if the high bit is on as relaxing may
3382 move the value out of high mem and thus not fit
3383 in a signed 16bit value. This is currently over
3384 conservative. */
3385 if ((value & 0x8000) == 0)
3386 {
3387 /* Note that we've changed the relocation contents,
3388 etc. */
3389 elf_section_data (sec)->relocs = internal_relocs;
3390 elf_section_data (sec)->this_hdr.contents = contents;
3391 symtab_hdr->contents = (unsigned char *) isymbuf;
3392
3393 /* Fix the opcode. */
3394 bfd_put_8 (abfd, 0xfd, contents + irel->r_offset - 3);
3395 bfd_put_8 (abfd, code, contents + irel->r_offset - 2);
3396
3397 /* Fix the relocation's type. */
3398 irel->r_info =
3399 ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
3400 (ELF32_R_TYPE (irel->r_info)
3401 == (int) R_MN10300_GOTOFF32)
3402 ? R_MN10300_GOTOFF24
3403 : (ELF32_R_TYPE (irel->r_info)
3404 == (int) R_MN10300_GOT32)
3405 ? R_MN10300_GOT24 :
3406 R_MN10300_24);
3407
3408 /* Delete one byte of data. */
3409 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3410 irel->r_offset + 3, 1))
3411 goto error_return;
3412
3413 /* That will change things, so, we should relax
3414 again. Note that this is not required, and it
3415 may be slow. */
3416 *again = TRUE;
3417 break;
3418 }
3419 }
3420 }
3421 }
3422
3423 /* See if the value will fit in 16 bits.
3424 We allow any 16bit match here. We prune those we can't
3425 handle below. */
3426 if ((long) value < 0x7fff && (long) value > -0x8000)
3427 {
3428 unsigned char code;
3429
3430 /* Most insns which have 32bit operands are 6 bytes long;
3431 exceptions are pcrel insns and bit insns.
3432
3433 We handle pcrel insns above. We don't bother trying
3434 to handle the bit insns here.
3435
3436 The first byte of the remaining insns will be 0xfc. */
3437
3438 /* Get the first opcode. */
3439 code = bfd_get_8 (abfd, contents + irel->r_offset - 2);
3440
3441 if (code != 0xfc)
3442 continue;
3443
3444 /* Get the second opcode. */
3445 code = bfd_get_8 (abfd, contents + irel->r_offset - 1);
3446
3447 if ((code & 0xf0) < 0x80)
3448 switch (code & 0xf0)
3449 {
3450 /* mov (d32,am),dn -> mov (d32,am),dn
3451 mov dm,(d32,am) -> mov dn,(d32,am)
3452 mov (d32,am),an -> mov (d32,am),an
3453 mov dm,(d32,am) -> mov dn,(d32,am)
3454 movbu (d32,am),dn -> movbu (d32,am),dn
3455 movbu dm,(d32,am) -> movbu dn,(d32,am)
3456 movhu (d32,am),dn -> movhu (d32,am),dn
3457 movhu dm,(d32,am) -> movhu dn,(d32,am) */
3458 case 0x00:
3459 case 0x10:
3460 case 0x20:
3461 case 0x30:
3462 case 0x40:
3463 case 0x50:
3464 case 0x60:
3465 case 0x70:
3466 /* Not safe if the high bit is on as relaxing may
3467 move the value out of high mem and thus not fit
3468 in a signed 16bit value. */
3469 if (code == 0xcc
3470 && (value & 0x8000))
3471 continue;
3472
3473 /* Note that we've changed the relocation contents, etc. */
3474 elf_section_data (sec)->relocs = internal_relocs;
3475 elf_section_data (sec)->this_hdr.contents = contents;
3476 symtab_hdr->contents = (unsigned char *) isymbuf;
3477
3478 /* Fix the opcode. */
3479 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2);
3480 bfd_put_8 (abfd, code, contents + irel->r_offset - 1);
3481
3482 /* Fix the relocation's type. */
3483 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
3484 (ELF32_R_TYPE (irel->r_info)
3485 == (int) R_MN10300_GOTOFF32)
3486 ? R_MN10300_GOTOFF16
3487 : (ELF32_R_TYPE (irel->r_info)
3488 == (int) R_MN10300_GOT32)
3489 ? R_MN10300_GOT16
3490 : (ELF32_R_TYPE (irel->r_info)
3491 == (int) R_MN10300_GOTPC32)
3492 ? R_MN10300_GOTPC16 :
3493 R_MN10300_16);
3494
3495 /* Delete two bytes of data. */
3496 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3497 irel->r_offset + 2, 2))
3498 goto error_return;
3499
3500 /* That will change things, so, we should relax again.
3501 Note that this is not required, and it may be slow. */
3502 *again = TRUE;
3503 break;
3504 }
3505 else if ((code & 0xf0) == 0x80
3506 || (code & 0xf0) == 0x90)
3507 switch (code & 0xf3)
3508 {
3509 /* mov dn,(abs32) -> mov dn,(abs16)
3510 movbu dn,(abs32) -> movbu dn,(abs16)
3511 movhu dn,(abs32) -> movhu dn,(abs16) */
3512 case 0x81:
3513 case 0x82:
3514 case 0x83:
3515 /* Note that we've changed the relocation contents, etc. */
3516 elf_section_data (sec)->relocs = internal_relocs;
3517 elf_section_data (sec)->this_hdr.contents = contents;
3518 symtab_hdr->contents = (unsigned char *) isymbuf;
3519
3520 if ((code & 0xf3) == 0x81)
3521 code = 0x01 + (code & 0x0c);
3522 else if ((code & 0xf3) == 0x82)
3523 code = 0x02 + (code & 0x0c);
3524 else if ((code & 0xf3) == 0x83)
3525 code = 0x03 + (code & 0x0c);
3526 else
3527 abort ();
3528
3529 /* Fix the opcode. */
3530 bfd_put_8 (abfd, code, contents + irel->r_offset - 2);
3531
3532 /* Fix the relocation's type. */
3533 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
3534 (ELF32_R_TYPE (irel->r_info)
3535 == (int) R_MN10300_GOTOFF32)
3536 ? R_MN10300_GOTOFF16
3537 : (ELF32_R_TYPE (irel->r_info)
3538 == (int) R_MN10300_GOT32)
3539 ? R_MN10300_GOT16
3540 : (ELF32_R_TYPE (irel->r_info)
3541 == (int) R_MN10300_GOTPC32)
3542 ? R_MN10300_GOTPC16 :
3543 R_MN10300_16);
3544
3545 /* The opcode got shorter too, so we have to fix the
3546 addend and offset too! */
3547 irel->r_offset -= 1;
3548
3549 /* Delete three bytes of data. */
3550 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3551 irel->r_offset + 1, 3))
3552 goto error_return;
3553
3554 /* That will change things, so, we should relax again.
3555 Note that this is not required, and it may be slow. */
3556 *again = TRUE;
3557 break;
3558
3559 /* mov am,(abs32) -> mov am,(abs16)
3560 mov am,(d32,sp) -> mov am,(d16,sp)
3561 mov dm,(d32,sp) -> mov dm,(d32,sp)
3562 movbu dm,(d32,sp) -> movbu dm,(d32,sp)
3563 movhu dm,(d32,sp) -> movhu dm,(d32,sp) */
3564 case 0x80:
3565 case 0x90:
3566 case 0x91:
3567 case 0x92:
3568 case 0x93:
3569 /* sp-based offsets are zero-extended. */
3570 if (code >= 0x90 && code <= 0x93
3571 && (long) value < 0)
3572 continue;
3573
3574 /* Note that we've changed the relocation contents, etc. */
3575 elf_section_data (sec)->relocs = internal_relocs;
3576 elf_section_data (sec)->this_hdr.contents = contents;
3577 symtab_hdr->contents = (unsigned char *) isymbuf;
3578
3579 /* Fix the opcode. */
3580 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2);
3581 bfd_put_8 (abfd, code, contents + irel->r_offset - 1);
3582
3583 /* Fix the relocation's type. */
3584 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
3585 (ELF32_R_TYPE (irel->r_info)
3586 == (int) R_MN10300_GOTOFF32)
3587 ? R_MN10300_GOTOFF16
3588 : (ELF32_R_TYPE (irel->r_info)
3589 == (int) R_MN10300_GOT32)
3590 ? R_MN10300_GOT16
3591 : (ELF32_R_TYPE (irel->r_info)
3592 == (int) R_MN10300_GOTPC32)
3593 ? R_MN10300_GOTPC16 :
3594 R_MN10300_16);
3595
3596 /* Delete two bytes of data. */
3597 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3598 irel->r_offset + 2, 2))
3599 goto error_return;
3600
3601 /* That will change things, so, we should relax again.
3602 Note that this is not required, and it may be slow. */
3603 *again = TRUE;
3604 break;
3605 }
3606 else if ((code & 0xf0) < 0xf0)
3607 switch (code & 0xfc)
3608 {
3609 /* mov imm32,dn -> mov imm16,dn
3610 mov imm32,an -> mov imm16,an
3611 mov (abs32),dn -> mov (abs16),dn
3612 movbu (abs32),dn -> movbu (abs16),dn
3613 movhu (abs32),dn -> movhu (abs16),dn */
3614 case 0xcc:
3615 case 0xdc:
3616 case 0xa4:
3617 case 0xa8:
3618 case 0xac:
3619 /* Not safe if the high bit is on as relaxing may
3620 move the value out of high mem and thus not fit
3621 in a signed 16bit value. */
3622 if (code == 0xcc
3623 && (value & 0x8000))
3624 continue;
3625
3626 /* mov imm16, an zero-extends the immediate. */
3627 if (code == 0xdc
3628 && (long) value < 0)
3629 continue;
3630
3631 /* Note that we've changed the relocation contents, etc. */
3632 elf_section_data (sec)->relocs = internal_relocs;
3633 elf_section_data (sec)->this_hdr.contents = contents;
3634 symtab_hdr->contents = (unsigned char *) isymbuf;
3635
3636 if ((code & 0xfc) == 0xcc)
3637 code = 0x2c + (code & 0x03);
3638 else if ((code & 0xfc) == 0xdc)
3639 code = 0x24 + (code & 0x03);
3640 else if ((code & 0xfc) == 0xa4)
3641 code = 0x30 + (code & 0x03);
3642 else if ((code & 0xfc) == 0xa8)
3643 code = 0x34 + (code & 0x03);
3644 else if ((code & 0xfc) == 0xac)
3645 code = 0x38 + (code & 0x03);
3646 else
3647 abort ();
3648
3649 /* Fix the opcode. */
3650 bfd_put_8 (abfd, code, contents + irel->r_offset - 2);
3651
3652 /* Fix the relocation's type. */
3653 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
3654 (ELF32_R_TYPE (irel->r_info)
3655 == (int) R_MN10300_GOTOFF32)
3656 ? R_MN10300_GOTOFF16
3657 : (ELF32_R_TYPE (irel->r_info)
3658 == (int) R_MN10300_GOT32)
3659 ? R_MN10300_GOT16
3660 : (ELF32_R_TYPE (irel->r_info)
3661 == (int) R_MN10300_GOTPC32)
3662 ? R_MN10300_GOTPC16 :
3663 R_MN10300_16);
3664
3665 /* The opcode got shorter too, so we have to fix the
3666 addend and offset too! */
3667 irel->r_offset -= 1;
3668
3669 /* Delete three bytes of data. */
3670 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3671 irel->r_offset + 1, 3))
3672 goto error_return;
3673
3674 /* That will change things, so, we should relax again.
3675 Note that this is not required, and it may be slow. */
3676 *again = TRUE;
3677 break;
3678
3679 /* mov (abs32),an -> mov (abs16),an
3680 mov (d32,sp),an -> mov (d16,sp),an
3681 mov (d32,sp),dn -> mov (d16,sp),dn
3682 movbu (d32,sp),dn -> movbu (d16,sp),dn
3683 movhu (d32,sp),dn -> movhu (d16,sp),dn
3684 add imm32,dn -> add imm16,dn
3685 cmp imm32,dn -> cmp imm16,dn
3686 add imm32,an -> add imm16,an
3687 cmp imm32,an -> cmp imm16,an
3688 and imm32,dn -> and imm16,dn
3689 or imm32,dn -> or imm16,dn
3690 xor imm32,dn -> xor imm16,dn
3691 btst imm32,dn -> btst imm16,dn */
3692
3693 case 0xa0:
3694 case 0xb0:
3695 case 0xb1:
3696 case 0xb2:
3697 case 0xb3:
3698 case 0xc0:
3699 case 0xc8:
3700
3701 case 0xd0:
3702 case 0xd8:
3703 case 0xe0:
3704 case 0xe1:
3705 case 0xe2:
3706 case 0xe3:
3707 /* cmp imm16, an zero-extends the immediate. */
3708 if (code == 0xdc
3709 && (long) value < 0)
3710 continue;
3711
3712 /* So do sp-based offsets. */
3713 if (code >= 0xb0 && code <= 0xb3
3714 && (long) value < 0)
3715 continue;
3716
3717 /* Note that we've changed the relocation contents, etc. */
3718 elf_section_data (sec)->relocs = internal_relocs;
3719 elf_section_data (sec)->this_hdr.contents = contents;
3720 symtab_hdr->contents = (unsigned char *) isymbuf;
3721
3722 /* Fix the opcode. */
3723 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2);
3724 bfd_put_8 (abfd, code, contents + irel->r_offset - 1);
3725
3726 /* Fix the relocation's type. */
3727 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
3728 (ELF32_R_TYPE (irel->r_info)
3729 == (int) R_MN10300_GOTOFF32)
3730 ? R_MN10300_GOTOFF16
3731 : (ELF32_R_TYPE (irel->r_info)
3732 == (int) R_MN10300_GOT32)
3733 ? R_MN10300_GOT16
3734 : (ELF32_R_TYPE (irel->r_info)
3735 == (int) R_MN10300_GOTPC32)
3736 ? R_MN10300_GOTPC16 :
3737 R_MN10300_16);
3738
3739 /* Delete two bytes of data. */
3740 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3741 irel->r_offset + 2, 2))
3742 goto error_return;
3743
3744 /* That will change things, so, we should relax again.
3745 Note that this is not required, and it may be slow. */
3746 *again = TRUE;
3747 break;
3748 }
3749 else if (code == 0xfe)
3750 {
3751 /* add imm32,sp -> add imm16,sp */
3752
3753 /* Note that we've changed the relocation contents, etc. */
3754 elf_section_data (sec)->relocs = internal_relocs;
3755 elf_section_data (sec)->this_hdr.contents = contents;
3756 symtab_hdr->contents = (unsigned char *) isymbuf;
3757
3758 /* Fix the opcode. */
3759 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2);
3760 bfd_put_8 (abfd, 0xfe, contents + irel->r_offset - 1);
3761
3762 /* Fix the relocation's type. */
3763 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
3764 (ELF32_R_TYPE (irel->r_info)
3765 == (int) R_MN10300_GOT32)
3766 ? R_MN10300_GOT16
3767 : (ELF32_R_TYPE (irel->r_info)
3768 == (int) R_MN10300_GOTOFF32)
3769 ? R_MN10300_GOTOFF16
3770 : (ELF32_R_TYPE (irel->r_info)
3771 == (int) R_MN10300_GOTPC32)
3772 ? R_MN10300_GOTPC16 :
3773 R_MN10300_16);
3774
3775 /* Delete two bytes of data. */
3776 if (!mn10300_elf_relax_delete_bytes (abfd, sec,
3777 irel->r_offset + 2, 2))
3778 goto error_return;
3779
3780 /* That will change things, so, we should relax again.
3781 Note that this is not required, and it may be slow. */
3782 *again = TRUE;
3783 break;
3784 }
3785 }
3786 }
3787 }
3788
3789 if (isymbuf != NULL
3790 && symtab_hdr->contents != (unsigned char *) isymbuf)
3791 {
3792 if (! link_info->keep_memory)
3793 free (isymbuf);
3794 else
3795 {
3796 /* Cache the symbols for elf_link_input_bfd. */
3797 symtab_hdr->contents = (unsigned char *) isymbuf;
3798 }
3799 }
3800
3801 if (contents != NULL
3802 && elf_section_data (sec)->this_hdr.contents != contents)
3803 {
3804 if (! link_info->keep_memory)
3805 free (contents);
3806 else
3807 {
3808 /* Cache the section contents for elf_link_input_bfd. */
3809 elf_section_data (sec)->this_hdr.contents = contents;
3810 }
3811 }
3812
3813 if (internal_relocs != NULL
3814 && elf_section_data (sec)->relocs != internal_relocs)
3815 free (internal_relocs);
3816
3817 return TRUE;
3818
3819 error_return:
3820 if (isymbuf != NULL
3821 && symtab_hdr->contents != (unsigned char *) isymbuf)
3822 free (isymbuf);
3823 if (contents != NULL
3824 && elf_section_data (section)->this_hdr.contents != contents)
3825 free (contents);
3826 if (internal_relocs != NULL
3827 && elf_section_data (section)->relocs != internal_relocs)
3828 free (internal_relocs);
3829
3830 return FALSE;
3831 }
3832
3833 /* This is a version of bfd_generic_get_relocated_section_contents
3834 which uses mn10300_elf_relocate_section. */
3835
3836 static bfd_byte *
3837 mn10300_elf_get_relocated_section_contents (bfd *output_bfd,
3838 struct bfd_link_info *link_info,
3839 struct bfd_link_order *link_order,
3840 bfd_byte *data,
3841 bfd_boolean relocatable,
3842 asymbol **symbols)
3843 {
3844 Elf_Internal_Shdr *symtab_hdr;
3845 asection *input_section = link_order->u.indirect.section;
3846 bfd *input_bfd = input_section->owner;
3847 asection **sections = NULL;
3848 Elf_Internal_Rela *internal_relocs = NULL;
3849 Elf_Internal_Sym *isymbuf = NULL;
3850
3851 /* We only need to handle the case of relaxing, or of having a
3852 particular set of section contents, specially. */
3853 if (relocatable
3854 || elf_section_data (input_section)->this_hdr.contents == NULL)
3855 return bfd_generic_get_relocated_section_contents (output_bfd, link_info,
3856 link_order, data,
3857 relocatable,
3858 symbols);
3859
3860 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr;
3861
3862 memcpy (data, elf_section_data (input_section)->this_hdr.contents,
3863 (size_t) input_section->size);
3864
3865 if ((input_section->flags & SEC_RELOC) != 0
3866 && input_section->reloc_count > 0)
3867 {
3868 asection **secpp;
3869 Elf_Internal_Sym *isym, *isymend;
3870 bfd_size_type amt;
3871
3872 internal_relocs = _bfd_elf_link_read_relocs (input_bfd, input_section,
3873 NULL, NULL, FALSE);
3874 if (internal_relocs == NULL)
3875 goto error_return;
3876
3877 if (symtab_hdr->sh_info != 0)
3878 {
3879 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
3880 if (isymbuf == NULL)
3881 isymbuf = bfd_elf_get_elf_syms (input_bfd, symtab_hdr,
3882 symtab_hdr->sh_info, 0,
3883 NULL, NULL, NULL);
3884 if (isymbuf == NULL)
3885 goto error_return;
3886 }
3887
3888 amt = symtab_hdr->sh_info;
3889 amt *= sizeof (asection *);
3890 sections = bfd_malloc (amt);
3891 if (sections == NULL && amt != 0)
3892 goto error_return;
3893
3894 isymend = isymbuf + symtab_hdr->sh_info;
3895 for (isym = isymbuf, secpp = sections; isym < isymend; ++isym, ++secpp)
3896 {
3897 asection *isec;
3898
3899 if (isym->st_shndx == SHN_UNDEF)
3900 isec = bfd_und_section_ptr;
3901 else if (isym->st_shndx == SHN_ABS)
3902 isec = bfd_abs_section_ptr;
3903 else if (isym->st_shndx == SHN_COMMON)
3904 isec = bfd_com_section_ptr;
3905 else
3906 isec = bfd_section_from_elf_index (input_bfd, isym->st_shndx);
3907
3908 *secpp = isec;
3909 }
3910
3911 if (! mn10300_elf_relocate_section (output_bfd, link_info, input_bfd,
3912 input_section, data, internal_relocs,
3913 isymbuf, sections))
3914 goto error_return;
3915
3916 if (sections != NULL)
3917 free (sections);
3918 if (isymbuf != NULL && symtab_hdr->contents != (unsigned char *) isymbuf)
3919 free (isymbuf);
3920 if (internal_relocs != elf_section_data (input_section)->relocs)
3921 free (internal_relocs);
3922 }
3923
3924 return data;
3925
3926 error_return:
3927 if (sections != NULL)
3928 free (sections);
3929 if (isymbuf != NULL && symtab_hdr->contents != (unsigned char *) isymbuf)
3930 free (isymbuf);
3931 if (internal_relocs != NULL
3932 && internal_relocs != elf_section_data (input_section)->relocs)
3933 free (internal_relocs);
3934 return NULL;
3935 }
3936
3937 /* Assorted hash table functions. */
3938
3939 /* Initialize an entry in the link hash table. */
3940
3941 /* Create an entry in an MN10300 ELF linker hash table. */
3942
3943 static struct bfd_hash_entry *
3944 elf32_mn10300_link_hash_newfunc (struct bfd_hash_entry *entry,
3945 struct bfd_hash_table *table,
3946 const char *string)
3947 {
3948 struct elf32_mn10300_link_hash_entry *ret =
3949 (struct elf32_mn10300_link_hash_entry *) entry;
3950
3951 /* Allocate the structure if it has not already been allocated by a
3952 subclass. */
3953 if (ret == NULL)
3954 ret = (struct elf32_mn10300_link_hash_entry *)
3955 bfd_hash_allocate (table, sizeof (* ret));
3956 if (ret == NULL)
3957 return (struct bfd_hash_entry *) ret;
3958
3959 /* Call the allocation method of the superclass. */
3960 ret = (struct elf32_mn10300_link_hash_entry *)
3961 _bfd_elf_link_hash_newfunc ((struct bfd_hash_entry *) ret,
3962 table, string);
3963 if (ret != NULL)
3964 {
3965 ret->direct_calls = 0;
3966 ret->stack_size = 0;
3967 ret->movm_args = 0;
3968 ret->movm_stack_size = 0;
3969 ret->flags = 0;
3970 ret->value = 0;
3971 }
3972
3973 return (struct bfd_hash_entry *) ret;
3974 }
3975
3976 /* Create an mn10300 ELF linker hash table. */
3977
3978 static struct bfd_link_hash_table *
3979 elf32_mn10300_link_hash_table_create (bfd *abfd)
3980 {
3981 struct elf32_mn10300_link_hash_table *ret;
3982 bfd_size_type amt = sizeof (* ret);
3983
3984 ret = bfd_malloc (amt);
3985 if (ret == NULL)
3986 return NULL;
3987
3988 if (!_bfd_elf_link_hash_table_init (&ret->root, abfd,
3989 elf32_mn10300_link_hash_newfunc,
3990 sizeof (struct elf32_mn10300_link_hash_entry)))
3991 {
3992 free (ret);
3993 return NULL;
3994 }
3995
3996 ret->flags = 0;
3997 amt = sizeof (struct elf_link_hash_table);
3998 ret->static_hash_table = bfd_malloc (amt);
3999 if (ret->static_hash_table == NULL)
4000 {
4001 free (ret);
4002 return NULL;
4003 }
4004
4005 if (!_bfd_elf_link_hash_table_init (&ret->static_hash_table->root, abfd,
4006 elf32_mn10300_link_hash_newfunc,
4007 sizeof (struct elf32_mn10300_link_hash_entry)))
4008 {
4009 free (ret->static_hash_table);
4010 free (ret);
4011 return NULL;
4012 }
4013 return & ret->root.root;
4014 }
4015
4016 /* Free an mn10300 ELF linker hash table. */
4017
4018 static void
4019 elf32_mn10300_link_hash_table_free (struct bfd_link_hash_table *hash)
4020 {
4021 struct elf32_mn10300_link_hash_table *ret
4022 = (struct elf32_mn10300_link_hash_table *) hash;
4023
4024 _bfd_generic_link_hash_table_free
4025 ((struct bfd_link_hash_table *) ret->static_hash_table);
4026 _bfd_generic_link_hash_table_free
4027 ((struct bfd_link_hash_table *) ret);
4028 }
4029
4030 static unsigned long
4031 elf_mn10300_mach (flagword flags)
4032 {
4033 switch (flags & EF_MN10300_MACH)
4034 {
4035 case E_MN10300_MACH_MN10300:
4036 default:
4037 return bfd_mach_mn10300;
4038
4039 case E_MN10300_MACH_AM33:
4040 return bfd_mach_am33;
4041
4042 case E_MN10300_MACH_AM33_2:
4043 return bfd_mach_am33_2;
4044 }
4045 }
4046
4047 /* The final processing done just before writing out a MN10300 ELF object
4048 file. This gets the MN10300 architecture right based on the machine
4049 number. */
4050
4051 static void
4052 _bfd_mn10300_elf_final_write_processing (bfd *abfd,
4053 bfd_boolean linker ATTRIBUTE_UNUSED)
4054 {
4055 unsigned long val;
4056
4057 switch (bfd_get_mach (abfd))
4058 {
4059 default:
4060 case bfd_mach_mn10300:
4061 val = E_MN10300_MACH_MN10300;
4062 break;
4063
4064 case bfd_mach_am33:
4065 val = E_MN10300_MACH_AM33;
4066 break;
4067
4068 case bfd_mach_am33_2:
4069 val = E_MN10300_MACH_AM33_2;
4070 break;
4071 }
4072
4073 elf_elfheader (abfd)->e_flags &= ~ (EF_MN10300_MACH);
4074 elf_elfheader (abfd)->e_flags |= val;
4075 }
4076
4077 static bfd_boolean
4078 _bfd_mn10300_elf_object_p (bfd *abfd)
4079 {
4080 bfd_default_set_arch_mach (abfd, bfd_arch_mn10300,
4081 elf_mn10300_mach (elf_elfheader (abfd)->e_flags));
4082 return TRUE;
4083 }
4084
4085 /* Merge backend specific data from an object file to the output
4086 object file when linking. */
4087
4088 static bfd_boolean
4089 _bfd_mn10300_elf_merge_private_bfd_data (bfd *ibfd, bfd *obfd)
4090 {
4091 if (bfd_get_flavour (ibfd) != bfd_target_elf_flavour
4092 || bfd_get_flavour (obfd) != bfd_target_elf_flavour)
4093 return TRUE;
4094
4095 if (bfd_get_arch (obfd) == bfd_get_arch (ibfd)
4096 && bfd_get_mach (obfd) < bfd_get_mach (ibfd))
4097 {
4098 if (! bfd_set_arch_mach (obfd, bfd_get_arch (ibfd),
4099 bfd_get_mach (ibfd)))
4100 return FALSE;
4101 }
4102
4103 return TRUE;
4104 }
4105
4106 #define PLT0_ENTRY_SIZE 15
4107 #define PLT_ENTRY_SIZE 20
4108 #define PIC_PLT_ENTRY_SIZE 24
4109
4110 static const bfd_byte elf_mn10300_plt0_entry[PLT0_ENTRY_SIZE] =
4111 {
4112 0xfc, 0xa0, 0, 0, 0, 0, /* mov (.got+8),a0 */
4113 0xfe, 0xe, 0x10, 0, 0, 0, 0, /* mov (.got+4),r1 */
4114 0xf0, 0xf4, /* jmp (a0) */
4115 };
4116
4117 static const bfd_byte elf_mn10300_plt_entry[PLT_ENTRY_SIZE] =
4118 {
4119 0xfc, 0xa0, 0, 0, 0, 0, /* mov (nameN@GOT + .got),a0 */
4120 0xf0, 0xf4, /* jmp (a0) */
4121 0xfe, 8, 0, 0, 0, 0, 0, /* mov reloc-table-address,r0 */
4122 0xdc, 0, 0, 0, 0, /* jmp .plt0 */
4123 };
4124
4125 static const bfd_byte elf_mn10300_pic_plt_entry[PIC_PLT_ENTRY_SIZE] =
4126 {
4127 0xfc, 0x22, 0, 0, 0, 0, /* mov (nameN@GOT,a2),a0 */
4128 0xf0, 0xf4, /* jmp (a0) */
4129 0xfe, 8, 0, 0, 0, 0, 0, /* mov reloc-table-address,r0 */
4130 0xf8, 0x22, 8, /* mov (8,a2),a0 */
4131 0xfb, 0xa, 0x1a, 4, /* mov (4,a2),r1 */
4132 0xf0, 0xf4, /* jmp (a0) */
4133 };
4134
4135 /* Return size of the first PLT entry. */
4136 #define elf_mn10300_sizeof_plt0(info) \
4137 (info->shared ? PIC_PLT_ENTRY_SIZE : PLT0_ENTRY_SIZE)
4138
4139 /* Return size of a PLT entry. */
4140 #define elf_mn10300_sizeof_plt(info) \
4141 (info->shared ? PIC_PLT_ENTRY_SIZE : PLT_ENTRY_SIZE)
4142
4143 /* Return offset of the PLT0 address in an absolute PLT entry. */
4144 #define elf_mn10300_plt_plt0_offset(info) 16
4145
4146 /* Return offset of the linker in PLT0 entry. */
4147 #define elf_mn10300_plt0_linker_offset(info) 2
4148
4149 /* Return offset of the GOT id in PLT0 entry. */
4150 #define elf_mn10300_plt0_gotid_offset(info) 9
4151
4152 /* Return offset of the temporary in PLT entry. */
4153 #define elf_mn10300_plt_temp_offset(info) 8
4154
4155 /* Return offset of the symbol in PLT entry. */
4156 #define elf_mn10300_plt_symbol_offset(info) 2
4157
4158 /* Return offset of the relocation in PLT entry. */
4159 #define elf_mn10300_plt_reloc_offset(info) 11
4160
4161 /* The name of the dynamic interpreter. This is put in the .interp
4162 section. */
4163
4164 #define ELF_DYNAMIC_INTERPRETER "/lib/ld.so.1"
4165
4166 /* Create dynamic sections when linking against a dynamic object. */
4167
4168 static bfd_boolean
4169 _bfd_mn10300_elf_create_dynamic_sections (bfd *abfd, struct bfd_link_info *info)
4170 {
4171 flagword flags;
4172 asection * s;
4173 const struct elf_backend_data * bed = get_elf_backend_data (abfd);
4174 int ptralign = 0;
4175
4176 switch (bed->s->arch_size)
4177 {
4178 case 32:
4179 ptralign = 2;
4180 break;
4181
4182 case 64:
4183 ptralign = 3;
4184 break;
4185
4186 default:
4187 bfd_set_error (bfd_error_bad_value);
4188 return FALSE;
4189 }
4190
4191 /* We need to create .plt, .rel[a].plt, .got, .got.plt, .dynbss, and
4192 .rel[a].bss sections. */
4193 flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY
4194 | SEC_LINKER_CREATED);
4195
4196 s = bfd_make_section_with_flags (abfd,
4197 (bed->default_use_rela_p
4198 ? ".rela.plt" : ".rel.plt"),
4199 flags | SEC_READONLY);
4200 if (s == NULL
4201 || ! bfd_set_section_alignment (abfd, s, ptralign))
4202 return FALSE;
4203
4204 if (! _bfd_mn10300_elf_create_got_section (abfd, info))
4205 return FALSE;
4206
4207 {
4208 const char * secname;
4209 char * relname;
4210 flagword secflags;
4211 asection * sec;
4212
4213 for (sec = abfd->sections; sec; sec = sec->next)
4214 {
4215 secflags = bfd_get_section_flags (abfd, sec);
4216 if ((secflags & (SEC_DATA | SEC_LINKER_CREATED))
4217 || ((secflags & SEC_HAS_CONTENTS) != SEC_HAS_CONTENTS))
4218 continue;
4219
4220 secname = bfd_get_section_name (abfd, sec);
4221 relname = bfd_malloc (strlen (secname) + 6);
4222 strcpy (relname, ".rela");
4223 strcat (relname, secname);
4224
4225 s = bfd_make_section_with_flags (abfd, relname,
4226 flags | SEC_READONLY);
4227 if (s == NULL
4228 || ! bfd_set_section_alignment (abfd, s, ptralign))
4229 return FALSE;
4230 }
4231 }
4232
4233 if (bed->want_dynbss)
4234 {
4235 /* The .dynbss section is a place to put symbols which are defined
4236 by dynamic objects, are referenced by regular objects, and are
4237 not functions. We must allocate space for them in the process
4238 image and use a R_*_COPY reloc to tell the dynamic linker to
4239 initialize them at run time. The linker script puts the .dynbss
4240 section into the .bss section of the final image. */
4241 s = bfd_make_section_with_flags (abfd, ".dynbss",
4242 SEC_ALLOC | SEC_LINKER_CREATED);
4243 if (s == NULL)
4244 return FALSE;
4245
4246 /* The .rel[a].bss section holds copy relocs. This section is not
4247 normally needed. We need to create it here, though, so that the
4248 linker will map it to an output section. We can't just create it
4249 only if we need it, because we will not know whether we need it
4250 until we have seen all the input files, and the first time the
4251 main linker code calls BFD after examining all the input files
4252 (size_dynamic_sections) the input sections have already been
4253 mapped to the output sections. If the section turns out not to
4254 be needed, we can discard it later. We will never need this
4255 section when generating a shared object, since they do not use
4256 copy relocs. */
4257 if (! info->shared)
4258 {
4259 s = bfd_make_section_with_flags (abfd,
4260 (bed->default_use_rela_p
4261 ? ".rela.bss" : ".rel.bss"),
4262 flags | SEC_READONLY);
4263 if (s == NULL
4264 || ! bfd_set_section_alignment (abfd, s, ptralign))
4265 return FALSE;
4266 }
4267 }
4268
4269 return TRUE;
4270 }
4271 \f
4272 /* Adjust a symbol defined by a dynamic object and referenced by a
4273 regular object. The current definition is in some section of the
4274 dynamic object, but we're not including those sections. We have to
4275 change the definition to something the rest of the link can
4276 understand. */
4277
4278 static bfd_boolean
4279 _bfd_mn10300_elf_adjust_dynamic_symbol (struct bfd_link_info * info,
4280 struct elf_link_hash_entry * h)
4281 {
4282 bfd * dynobj;
4283 asection * s;
4284
4285 dynobj = elf_hash_table (info)->dynobj;
4286
4287 /* Make sure we know what is going on here. */
4288 BFD_ASSERT (dynobj != NULL
4289 && (h->needs_plt
4290 || h->u.weakdef != NULL
4291 || (h->def_dynamic
4292 && h->ref_regular
4293 && !h->def_regular)));
4294
4295 /* If this is a function, put it in the procedure linkage table. We
4296 will fill in the contents of the procedure linkage table later,
4297 when we know the address of the .got section. */
4298 if (h->type == STT_FUNC
4299 || h->needs_plt)
4300 {
4301 if (! info->shared
4302 && !h->def_dynamic
4303 && !h->ref_dynamic)
4304 {
4305 /* This case can occur if we saw a PLT reloc in an input
4306 file, but the symbol was never referred to by a dynamic
4307 object. In such a case, we don't actually need to build
4308 a procedure linkage table, and we can just do a REL32
4309 reloc instead. */
4310 BFD_ASSERT (h->needs_plt);
4311 return TRUE;
4312 }
4313
4314 /* Make sure this symbol is output as a dynamic symbol. */
4315 if (h->dynindx == -1)
4316 {
4317 if (! bfd_elf_link_record_dynamic_symbol (info, h))
4318 return FALSE;
4319 }
4320
4321 s = bfd_get_section_by_name (dynobj, ".plt");
4322 BFD_ASSERT (s != NULL);
4323
4324 /* If this is the first .plt entry, make room for the special
4325 first entry. */
4326 if (s->size == 0)
4327 s->size += elf_mn10300_sizeof_plt0 (info);
4328
4329 /* If this symbol is not defined in a regular file, and we are
4330 not generating a shared library, then set the symbol to this
4331 location in the .plt. This is required to make function
4332 pointers compare as equal between the normal executable and
4333 the shared library. */
4334 if (! info->shared
4335 && !h->def_regular)
4336 {
4337 h->root.u.def.section = s;
4338 h->root.u.def.value = s->size;
4339 }
4340
4341 h->plt.offset = s->size;
4342
4343 /* Make room for this entry. */
4344 s->size += elf_mn10300_sizeof_plt (info);
4345
4346 /* We also need to make an entry in the .got.plt section, which
4347 will be placed in the .got section by the linker script. */
4348 s = bfd_get_section_by_name (dynobj, ".got.plt");
4349 BFD_ASSERT (s != NULL);
4350 s->size += 4;
4351
4352 /* We also need to make an entry in the .rela.plt section. */
4353 s = bfd_get_section_by_name (dynobj, ".rela.plt");
4354 BFD_ASSERT (s != NULL);
4355 s->size += sizeof (Elf32_External_Rela);
4356
4357 return TRUE;
4358 }
4359
4360 /* If this is a weak symbol, and there is a real definition, the
4361 processor independent code will have arranged for us to see the
4362 real definition first, and we can just use the same value. */
4363 if (h->u.weakdef != NULL)
4364 {
4365 BFD_ASSERT (h->u.weakdef->root.type == bfd_link_hash_defined
4366 || h->u.weakdef->root.type == bfd_link_hash_defweak);
4367 h->root.u.def.section = h->u.weakdef->root.u.def.section;
4368 h->root.u.def.value = h->u.weakdef->root.u.def.value;
4369 return TRUE;
4370 }
4371
4372 /* This is a reference to a symbol defined by a dynamic object which
4373 is not a function. */
4374
4375 /* If we are creating a shared library, we must presume that the
4376 only references to the symbol are via the global offset table.
4377 For such cases we need not do anything here; the relocations will
4378 be handled correctly by relocate_section. */
4379 if (info->shared)
4380 return TRUE;
4381
4382 /* If there are no references to this symbol that do not use the
4383 GOT, we don't need to generate a copy reloc. */
4384 if (!h->non_got_ref)
4385 return TRUE;
4386
4387 if (h->size == 0)
4388 {
4389 (*_bfd_error_handler) (_("dynamic variable `%s' is zero size"),
4390 h->root.root.string);
4391 return TRUE;
4392 }
4393
4394 /* We must allocate the symbol in our .dynbss section, which will
4395 become part of the .bss section of the executable. There will be
4396 an entry for this symbol in the .dynsym section. The dynamic
4397 object will contain position independent code, so all references
4398 from the dynamic object to this symbol will go through the global
4399 offset table. The dynamic linker will use the .dynsym entry to
4400 determine the address it must put in the global offset table, so
4401 both the dynamic object and the regular object will refer to the
4402 same memory location for the variable. */
4403
4404 s = bfd_get_section_by_name (dynobj, ".dynbss");
4405 BFD_ASSERT (s != NULL);
4406
4407 /* We must generate a R_MN10300_COPY reloc to tell the dynamic linker to
4408 copy the initial value out of the dynamic object and into the
4409 runtime process image. We need to remember the offset into the
4410 .rela.bss section we are going to use. */
4411 if ((h->root.u.def.section->flags & SEC_ALLOC) != 0)
4412 {
4413 asection * srel;
4414
4415 srel = bfd_get_section_by_name (dynobj, ".rela.bss");
4416 BFD_ASSERT (srel != NULL);
4417 srel->size += sizeof (Elf32_External_Rela);
4418 h->needs_copy = 1;
4419 }
4420
4421 return _bfd_elf_adjust_dynamic_copy (h, s);
4422 }
4423
4424 /* Set the sizes of the dynamic sections. */
4425
4426 static bfd_boolean
4427 _bfd_mn10300_elf_size_dynamic_sections (bfd * output_bfd,
4428 struct bfd_link_info * info)
4429 {
4430 bfd * dynobj;
4431 asection * s;
4432 bfd_boolean plt;
4433 bfd_boolean relocs;
4434 bfd_boolean reltext;
4435
4436 dynobj = elf_hash_table (info)->dynobj;
4437 BFD_ASSERT (dynobj != NULL);
4438
4439 if (elf_hash_table (info)->dynamic_sections_created)
4440 {
4441 /* Set the contents of the .interp section to the interpreter. */
4442 if (info->executable)
4443 {
4444 s = bfd_get_section_by_name (dynobj, ".interp");
4445 BFD_ASSERT (s != NULL);
4446 s->size = sizeof ELF_DYNAMIC_INTERPRETER;
4447 s->contents = (unsigned char *) ELF_DYNAMIC_INTERPRETER;
4448 }
4449 }
4450 else
4451 {
4452 /* We may have created entries in the .rela.got section.
4453 However, if we are not creating the dynamic sections, we will
4454 not actually use these entries. Reset the size of .rela.got,
4455 which will cause it to get stripped from the output file
4456 below. */
4457 s = bfd_get_section_by_name (dynobj, ".rela.got");
4458 if (s != NULL)
4459 s->size = 0;
4460 }
4461
4462 /* The check_relocs and adjust_dynamic_symbol entry points have
4463 determined the sizes of the various dynamic sections. Allocate
4464 memory for them. */
4465 plt = FALSE;
4466 relocs = FALSE;
4467 reltext = FALSE;
4468 for (s = dynobj->sections; s != NULL; s = s->next)
4469 {
4470 const char * name;
4471
4472 if ((s->flags & SEC_LINKER_CREATED) == 0)
4473 continue;
4474
4475 /* It's OK to base decisions on the section name, because none
4476 of the dynobj section names depend upon the input files. */
4477 name = bfd_get_section_name (dynobj, s);
4478
4479 if (streq (name, ".plt"))
4480 {
4481 /* Remember whether there is a PLT. */
4482 plt = s->size != 0;
4483 }
4484 else if (CONST_STRNEQ (name, ".rela"))
4485 {
4486 if (s->size != 0)
4487 {
4488 asection * target;
4489
4490 /* Remember whether there are any reloc sections other
4491 than .rela.plt. */
4492 if (! streq (name, ".rela.plt"))
4493 {
4494 const char * outname;
4495
4496 relocs = TRUE;
4497
4498 /* If this relocation section applies to a read only
4499 section, then we probably need a DT_TEXTREL
4500 entry. The entries in the .rela.plt section
4501 really apply to the .got section, which we
4502 created ourselves and so know is not readonly. */
4503 outname = bfd_get_section_name (output_bfd,
4504 s->output_section);
4505 target = bfd_get_section_by_name (output_bfd, outname + 5);
4506 if (target != NULL
4507 && (target->flags & SEC_READONLY) != 0
4508 && (target->flags & SEC_ALLOC) != 0)
4509 reltext = TRUE;
4510 }
4511
4512 /* We use the reloc_count field as a counter if we need
4513 to copy relocs into the output file. */
4514 s->reloc_count = 0;
4515 }
4516 }
4517 else if (! CONST_STRNEQ (name, ".got")
4518 && ! streq (name, ".dynbss"))
4519 /* It's not one of our sections, so don't allocate space. */
4520 continue;
4521
4522 if (s->size == 0)
4523 {
4524 /* If we don't need this section, strip it from the
4525 output file. This is mostly to handle .rela.bss and
4526 .rela.plt. We must create both sections in
4527 create_dynamic_sections, because they must be created
4528 before the linker maps input sections to output
4529 sections. The linker does that before
4530 adjust_dynamic_symbol is called, and it is that
4531 function which decides whether anything needs to go
4532 into these sections. */
4533 s->flags |= SEC_EXCLUDE;
4534 continue;
4535 }
4536
4537 if ((s->flags & SEC_HAS_CONTENTS) == 0)
4538 continue;
4539
4540 /* Allocate memory for the section contents. We use bfd_zalloc
4541 here in case unused entries are not reclaimed before the
4542 section's contents are written out. This should not happen,
4543 but this way if it does, we get a R_MN10300_NONE reloc
4544 instead of garbage. */
4545 s->contents = bfd_zalloc (dynobj, s->size);
4546 if (s->contents == NULL)
4547 return FALSE;
4548 }
4549
4550 if (elf_hash_table (info)->dynamic_sections_created)
4551 {
4552 /* Add some entries to the .dynamic section. We fill in the
4553 values later, in _bfd_mn10300_elf_finish_dynamic_sections,
4554 but we must add the entries now so that we get the correct
4555 size for the .dynamic section. The DT_DEBUG entry is filled
4556 in by the dynamic linker and used by the debugger. */
4557 if (! info->shared)
4558 {
4559 if (!_bfd_elf_add_dynamic_entry (info, DT_DEBUG, 0))
4560 return FALSE;
4561 }
4562
4563 if (plt)
4564 {
4565 if (!_bfd_elf_add_dynamic_entry (info, DT_PLTGOT, 0)
4566 || !_bfd_elf_add_dynamic_entry (info, DT_PLTRELSZ, 0)
4567 || !_bfd_elf_add_dynamic_entry (info, DT_PLTREL, DT_RELA)
4568 || !_bfd_elf_add_dynamic_entry (info, DT_JMPREL, 0))
4569 return FALSE;
4570 }
4571
4572 if (relocs)
4573 {
4574 if (!_bfd_elf_add_dynamic_entry (info, DT_RELA, 0)
4575 || !_bfd_elf_add_dynamic_entry (info, DT_RELASZ, 0)
4576 || !_bfd_elf_add_dynamic_entry (info, DT_RELAENT,
4577 sizeof (Elf32_External_Rela)))
4578 return FALSE;
4579 }
4580
4581 if (reltext)
4582 {
4583 if (!_bfd_elf_add_dynamic_entry (info, DT_TEXTREL, 0))
4584 return FALSE;
4585 }
4586 }
4587
4588 return TRUE;
4589 }
4590
4591 /* Finish up dynamic symbol handling. We set the contents of various
4592 dynamic sections here. */
4593
4594 static bfd_boolean
4595 _bfd_mn10300_elf_finish_dynamic_symbol (bfd * output_bfd,
4596 struct bfd_link_info * info,
4597 struct elf_link_hash_entry * h,
4598 Elf_Internal_Sym * sym)
4599 {
4600 bfd * dynobj;
4601
4602 dynobj = elf_hash_table (info)->dynobj;
4603
4604 if (h->plt.offset != (bfd_vma) -1)
4605 {
4606 asection * splt;
4607 asection * sgot;
4608 asection * srel;
4609 bfd_vma plt_index;
4610 bfd_vma got_offset;
4611 Elf_Internal_Rela rel;
4612
4613 /* This symbol has an entry in the procedure linkage table. Set
4614 it up. */
4615
4616 BFD_ASSERT (h->dynindx != -1);
4617
4618 splt = bfd_get_section_by_name (dynobj, ".plt");
4619 sgot = bfd_get_section_by_name (dynobj, ".got.plt");
4620 srel = bfd_get_section_by_name (dynobj, ".rela.plt");
4621 BFD_ASSERT (splt != NULL && sgot != NULL && srel != NULL);
4622
4623 /* Get the index in the procedure linkage table which
4624 corresponds to this symbol. This is the index of this symbol
4625 in all the symbols for which we are making plt entries. The
4626 first entry in the procedure linkage table is reserved. */
4627 plt_index = ((h->plt.offset - elf_mn10300_sizeof_plt0 (info))
4628 / elf_mn10300_sizeof_plt (info));
4629
4630 /* Get the offset into the .got table of the entry that
4631 corresponds to this function. Each .got entry is 4 bytes.
4632 The first three are reserved. */
4633 got_offset = (plt_index + 3) * 4;
4634
4635 /* Fill in the entry in the procedure linkage table. */
4636 if (! info->shared)
4637 {
4638 memcpy (splt->contents + h->plt.offset, elf_mn10300_plt_entry,
4639 elf_mn10300_sizeof_plt (info));
4640 bfd_put_32 (output_bfd,
4641 (sgot->output_section->vma
4642 + sgot->output_offset
4643 + got_offset),
4644 (splt->contents + h->plt.offset
4645 + elf_mn10300_plt_symbol_offset (info)));
4646
4647 bfd_put_32 (output_bfd,
4648 (1 - h->plt.offset - elf_mn10300_plt_plt0_offset (info)),
4649 (splt->contents + h->plt.offset
4650 + elf_mn10300_plt_plt0_offset (info)));
4651 }
4652 else
4653 {
4654 memcpy (splt->contents + h->plt.offset, elf_mn10300_pic_plt_entry,
4655 elf_mn10300_sizeof_plt (info));
4656
4657 bfd_put_32 (output_bfd, got_offset,
4658 (splt->contents + h->plt.offset
4659 + elf_mn10300_plt_symbol_offset (info)));
4660 }
4661
4662 bfd_put_32 (output_bfd, plt_index * sizeof (Elf32_External_Rela),
4663 (splt->contents + h->plt.offset
4664 + elf_mn10300_plt_reloc_offset (info)));
4665
4666 /* Fill in the entry in the global offset table. */
4667 bfd_put_32 (output_bfd,
4668 (splt->output_section->vma
4669 + splt->output_offset
4670 + h->plt.offset
4671 + elf_mn10300_plt_temp_offset (info)),
4672 sgot->contents + got_offset);
4673
4674 /* Fill in the entry in the .rela.plt section. */
4675 rel.r_offset = (sgot->output_section->vma
4676 + sgot->output_offset
4677 + got_offset);
4678 rel.r_info = ELF32_R_INFO (h->dynindx, R_MN10300_JMP_SLOT);
4679 rel.r_addend = 0;
4680 bfd_elf32_swap_reloca_out (output_bfd, &rel,
4681 (bfd_byte *) ((Elf32_External_Rela *) srel->contents
4682 + plt_index));
4683
4684 if (!h->def_regular)
4685 /* Mark the symbol as undefined, rather than as defined in
4686 the .plt section. Leave the value alone. */
4687 sym->st_shndx = SHN_UNDEF;
4688 }
4689
4690 if (h->got.offset != (bfd_vma) -1)
4691 {
4692 asection * sgot;
4693 asection * srel;
4694 Elf_Internal_Rela rel;
4695
4696 /* This symbol has an entry in the global offset table. Set it up. */
4697 sgot = bfd_get_section_by_name (dynobj, ".got");
4698 srel = bfd_get_section_by_name (dynobj, ".rela.got");
4699 BFD_ASSERT (sgot != NULL && srel != NULL);
4700
4701 rel.r_offset = (sgot->output_section->vma
4702 + sgot->output_offset
4703 + (h->got.offset & ~1));
4704
4705 /* If this is a -Bsymbolic link, and the symbol is defined
4706 locally, we just want to emit a RELATIVE reloc. Likewise if
4707 the symbol was forced to be local because of a version file.
4708 The entry in the global offset table will already have been
4709 initialized in the relocate_section function. */
4710 if (info->shared
4711 && (info->symbolic || h->dynindx == -1)
4712 && h->def_regular)
4713 {
4714 rel.r_info = ELF32_R_INFO (0, R_MN10300_RELATIVE);
4715 rel.r_addend = (h->root.u.def.value
4716 + h->root.u.def.section->output_section->vma
4717 + h->root.u.def.section->output_offset);
4718 }
4719 else
4720 {
4721 bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + h->got.offset);
4722 rel.r_info = ELF32_R_INFO (h->dynindx, R_MN10300_GLOB_DAT);
4723 rel.r_addend = 0;
4724 }
4725
4726 bfd_elf32_swap_reloca_out (output_bfd, &rel,
4727 (bfd_byte *) ((Elf32_External_Rela *) srel->contents
4728 + srel->reloc_count));
4729 ++ srel->reloc_count;
4730 }
4731
4732 if (h->needs_copy)
4733 {
4734 asection * s;
4735 Elf_Internal_Rela rel;
4736
4737 /* This symbol needs a copy reloc. Set it up. */
4738 BFD_ASSERT (h->dynindx != -1
4739 && (h->root.type == bfd_link_hash_defined
4740 || h->root.type == bfd_link_hash_defweak));
4741
4742 s = bfd_get_section_by_name (h->root.u.def.section->owner,
4743 ".rela.bss");
4744 BFD_ASSERT (s != NULL);
4745
4746 rel.r_offset = (h->root.u.def.value
4747 + h->root.u.def.section->output_section->vma
4748 + h->root.u.def.section->output_offset);
4749 rel.r_info = ELF32_R_INFO (h->dynindx, R_MN10300_COPY);
4750 rel.r_addend = 0;
4751 bfd_elf32_swap_reloca_out (output_bfd, & rel,
4752 (bfd_byte *) ((Elf32_External_Rela *) s->contents
4753 + s->reloc_count));
4754 ++ s->reloc_count;
4755 }
4756
4757 /* Mark _DYNAMIC and _GLOBAL_OFFSET_TABLE_ as absolute. */
4758 if (streq (h->root.root.string, "_DYNAMIC")
4759 || h == elf_hash_table (info)->hgot)
4760 sym->st_shndx = SHN_ABS;
4761
4762 return TRUE;
4763 }
4764
4765 /* Finish up the dynamic sections. */
4766
4767 static bfd_boolean
4768 _bfd_mn10300_elf_finish_dynamic_sections (bfd * output_bfd,
4769 struct bfd_link_info * info)
4770 {
4771 bfd * dynobj;
4772 asection * sgot;
4773 asection * sdyn;
4774
4775 dynobj = elf_hash_table (info)->dynobj;
4776
4777 sgot = bfd_get_section_by_name (dynobj, ".got.plt");
4778 BFD_ASSERT (sgot != NULL);
4779 sdyn = bfd_get_section_by_name (dynobj, ".dynamic");
4780
4781 if (elf_hash_table (info)->dynamic_sections_created)
4782 {
4783 asection * splt;
4784 Elf32_External_Dyn * dyncon;
4785 Elf32_External_Dyn * dynconend;
4786
4787 BFD_ASSERT (sdyn != NULL);
4788
4789 dyncon = (Elf32_External_Dyn *) sdyn->contents;
4790 dynconend = (Elf32_External_Dyn *) (sdyn->contents + sdyn->size);
4791
4792 for (; dyncon < dynconend; dyncon++)
4793 {
4794 Elf_Internal_Dyn dyn;
4795 const char * name;
4796 asection * s;
4797
4798 bfd_elf32_swap_dyn_in (dynobj, dyncon, &dyn);
4799
4800 switch (dyn.d_tag)
4801 {
4802 default:
4803 break;
4804
4805 case DT_PLTGOT:
4806 name = ".got";
4807 goto get_vma;
4808
4809 case DT_JMPREL:
4810 name = ".rela.plt";
4811 get_vma:
4812 s = bfd_get_section_by_name (output_bfd, name);
4813 BFD_ASSERT (s != NULL);
4814 dyn.d_un.d_ptr = s->vma;
4815 bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
4816 break;
4817
4818 case DT_PLTRELSZ:
4819 s = bfd_get_section_by_name (output_bfd, ".rela.plt");
4820 BFD_ASSERT (s != NULL);
4821 dyn.d_un.d_val = s->size;
4822 bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
4823 break;
4824
4825 case DT_RELASZ:
4826 /* My reading of the SVR4 ABI indicates that the
4827 procedure linkage table relocs (DT_JMPREL) should be
4828 included in the overall relocs (DT_RELA). This is
4829 what Solaris does. However, UnixWare can not handle
4830 that case. Therefore, we override the DT_RELASZ entry
4831 here to make it not include the JMPREL relocs. Since
4832 the linker script arranges for .rela.plt to follow all
4833 other relocation sections, we don't have to worry
4834 about changing the DT_RELA entry. */
4835 s = bfd_get_section_by_name (output_bfd, ".rela.plt");
4836 if (s != NULL)
4837 dyn.d_un.d_val -= s->size;
4838 bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
4839 break;
4840 }
4841 }
4842
4843 /* Fill in the first entry in the procedure linkage table. */
4844 splt = bfd_get_section_by_name (dynobj, ".plt");
4845 if (splt && splt->size > 0)
4846 {
4847 if (info->shared)
4848 {
4849 memcpy (splt->contents, elf_mn10300_pic_plt_entry,
4850 elf_mn10300_sizeof_plt (info));
4851 }
4852 else
4853 {
4854 memcpy (splt->contents, elf_mn10300_plt0_entry, PLT0_ENTRY_SIZE);
4855 bfd_put_32 (output_bfd,
4856 sgot->output_section->vma + sgot->output_offset + 4,
4857 splt->contents + elf_mn10300_plt0_gotid_offset (info));
4858 bfd_put_32 (output_bfd,
4859 sgot->output_section->vma + sgot->output_offset + 8,
4860 splt->contents + elf_mn10300_plt0_linker_offset (info));
4861 }
4862
4863 /* UnixWare sets the entsize of .plt to 4, although that doesn't
4864 really seem like the right value. */
4865 elf_section_data (splt->output_section)->this_hdr.sh_entsize = 4;
4866 }
4867 }
4868
4869 /* Fill in the first three entries in the global offset table. */
4870 if (sgot->size > 0)
4871 {
4872 if (sdyn == NULL)
4873 bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents);
4874 else
4875 bfd_put_32 (output_bfd,
4876 sdyn->output_section->vma + sdyn->output_offset,
4877 sgot->contents);
4878 bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + 4);
4879 bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + 8);
4880 }
4881
4882 elf_section_data (sgot->output_section)->this_hdr.sh_entsize = 4;
4883
4884 return TRUE;
4885 }
4886
4887 /* Classify relocation types, such that combreloc can sort them
4888 properly. */
4889
4890 static enum elf_reloc_type_class
4891 _bfd_mn10300_elf_reloc_type_class (const Elf_Internal_Rela *rela)
4892 {
4893 switch ((int) ELF32_R_TYPE (rela->r_info))
4894 {
4895 case R_MN10300_RELATIVE: return reloc_class_relative;
4896 case R_MN10300_JMP_SLOT: return reloc_class_plt;
4897 case R_MN10300_COPY: return reloc_class_copy;
4898 default: return reloc_class_normal;
4899 }
4900 }
4901
4902 #ifndef ELF_ARCH
4903 #define TARGET_LITTLE_SYM bfd_elf32_mn10300_vec
4904 #define TARGET_LITTLE_NAME "elf32-mn10300"
4905 #define ELF_ARCH bfd_arch_mn10300
4906 #define ELF_MACHINE_CODE EM_MN10300
4907 #define ELF_MACHINE_ALT1 EM_CYGNUS_MN10300
4908 #define ELF_MAXPAGESIZE 0x1000
4909 #endif
4910
4911 #define elf_info_to_howto mn10300_info_to_howto
4912 #define elf_info_to_howto_rel 0
4913 #define elf_backend_can_gc_sections 1
4914 #define elf_backend_rela_normal 1
4915 #define elf_backend_check_relocs mn10300_elf_check_relocs
4916 #define elf_backend_gc_mark_hook mn10300_elf_gc_mark_hook
4917 #define elf_backend_relocate_section mn10300_elf_relocate_section
4918 #define bfd_elf32_bfd_relax_section mn10300_elf_relax_section
4919 #define bfd_elf32_bfd_get_relocated_section_contents \
4920 mn10300_elf_get_relocated_section_contents
4921 #define bfd_elf32_bfd_link_hash_table_create \
4922 elf32_mn10300_link_hash_table_create
4923 #define bfd_elf32_bfd_link_hash_table_free \
4924 elf32_mn10300_link_hash_table_free
4925
4926 #ifndef elf_symbol_leading_char
4927 #define elf_symbol_leading_char '_'
4928 #endif
4929
4930 /* So we can set bits in e_flags. */
4931 #define elf_backend_final_write_processing \
4932 _bfd_mn10300_elf_final_write_processing
4933 #define elf_backend_object_p _bfd_mn10300_elf_object_p
4934
4935 #define bfd_elf32_bfd_merge_private_bfd_data \
4936 _bfd_mn10300_elf_merge_private_bfd_data
4937
4938 #define elf_backend_can_gc_sections 1
4939 #define elf_backend_create_dynamic_sections \
4940 _bfd_mn10300_elf_create_dynamic_sections
4941 #define elf_backend_adjust_dynamic_symbol \
4942 _bfd_mn10300_elf_adjust_dynamic_symbol
4943 #define elf_backend_size_dynamic_sections \
4944 _bfd_mn10300_elf_size_dynamic_sections
4945 #define elf_backend_omit_section_dynsym \
4946 ((bfd_boolean (*) (bfd *, struct bfd_link_info *, asection *)) bfd_true)
4947 #define elf_backend_finish_dynamic_symbol \
4948 _bfd_mn10300_elf_finish_dynamic_symbol
4949 #define elf_backend_finish_dynamic_sections \
4950 _bfd_mn10300_elf_finish_dynamic_sections
4951
4952 #define elf_backend_reloc_type_class \
4953 _bfd_mn10300_elf_reloc_type_class
4954
4955 #define elf_backend_want_got_plt 1
4956 #define elf_backend_plt_readonly 1
4957 #define elf_backend_want_plt_sym 0
4958 #define elf_backend_got_header_size 12
4959
4960 #include "elf32-target.h"
GDB Binutils - Deliverables
This page took 0.134861 seconds and 4 git commands to generate.