1 /* BFD back-end for Motorola MCore COFF/PE
2 Copyright (C) 1999-2021 Free Software Foundation, Inc.
3
4 This file is part of BFD, the Binary File Descriptor library.
5
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
10
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, 51 Franklin Street - Fifth Floor,
19 Boston, MA 02110-1301, USA. */
20
21 #include "sysdep.h"
22 #include "bfd.h"
23 #include "libbfd.h"
24 #include "coff/mcore.h"
25 #include "coff/internal.h"
26 #include "coff/pe.h"
27 #include "libcoff.h"
28
29 #ifdef BADMAG
30 #undef BADMAG
31 #endif
32 #define BADMAG(x) MCOREBADMAG(x)
33
34 #ifndef NUM_ELEM
35 #define NUM_ELEM(A) (sizeof (A) / sizeof (A)[0])
36 #endif
37
38 /* This file is compiled more than once, but we only compile the
39 final_link routine once. */
40 extern bool mcore_bfd_coff_final_link
41 (bfd *, struct bfd_link_info *);
42 static bfd_reloc_status_type mcore_coff_unsupported_reloc
43 (bfd *, arelent *, asymbol *, void *, asection *, bfd *, char **);
44
45
46 /* The NT loader points the toc register to &toc + 32768, in order to
47 use the complete range of a 16-bit displacement. We have to adjust
48 for this when we fix up loads displaced off the toc reg. */
49 #define TOC_LOAD_ADJUSTMENT (-32768)
50 #define TOC_SECTION_NAME ".private.toc"
51
52 /* The main body of code is in coffcode.h. */
53 #define COFF_DEFAULT_SECTION_ALIGNMENT_POWER 2
54
55 /* In case we're on a 32-bit machine, construct a 64-bit "-1" value
56 from smaller values. Start with zero, widen, *then* decrement. */
57 #define MINUS_ONE (((bfd_vma)0) - 1)
58
59 static reloc_howto_type mcore_coff_howto_table[] =
60 {
61 /* Unused: */
62 HOWTO (IMAGE_REL_MCORE_ABSOLUTE,/* type */
63 0, /* rightshift */
64 0, /* size (0 = byte, 1 = short, 2 = long) */
65 0, /* bitsize */
66 false, /* pc_relative */
67 0, /* bitpos */
68 complain_overflow_dont, /* dont complain_on_overflow */
69 NULL, /* special_function */
70 "ABSOLUTE", /* name */
71 false, /* partial_inplace */
72 0x00, /* src_mask */
73 0x00, /* dst_mask */
74 false), /* pcrel_offset */
75
76 HOWTO (IMAGE_REL_MCORE_ADDR32,/* type */
77 0, /* rightshift */
78 2, /* size (0 = byte, 1 = short, 2 = long) */
79 32, /* bitsize */
80 false, /* pc_relative */
81 0, /* bitpos */
82 complain_overflow_bitfield, /* complain_on_overflow */
83 NULL, /* special_function */
84 "ADDR32", /* name */
85 true, /* partial_inplace */
86 0xffffffff, /* src_mask */
87 0xffffffff, /* dst_mask */
88 false), /* pcrel_offset */
89
90 /* 8 bits + 2 zero bits; jmpi/jsri/lrw instructions.
91 Should not appear in object files. */
92 HOWTO (IMAGE_REL_MCORE_PCREL_IMM8BY4, /* type */
93 2, /* rightshift */
94 1, /* size (0 = byte, 1 = short, 2 = long) */
95 8, /* bitsize */
96 true, /* pc_relative */
97 0, /* bitpos */
98 complain_overflow_bitfield, /* complain_on_overflow */
99 mcore_coff_unsupported_reloc, /* special_function */
100 "IMM8BY4", /* name */
101 false, /* partial_inplace */
102 0, /* src_mask */
103 0, /* dst_mask */
104 true), /* pcrel_offset */
105
106 /* bsr/bt/bf/br instructions; 11 bits + 1 zero bit
107 Span 2k instructions == 4k bytes.
108 Only useful pieces at the relocated address are the opcode (5 bits) */
109 HOWTO (IMAGE_REL_MCORE_PCREL_IMM11BY2,/* type */
110 1, /* rightshift */
111 1, /* size (0 = byte, 1 = short, 2 = long) */
112 11, /* bitsize */
113 true, /* pc_relative */
114 0, /* bitpos */
115 complain_overflow_signed, /* complain_on_overflow */
116 NULL, /* special_function */
117 "IMM11BY2", /* name */
118 false, /* partial_inplace */
119 0x0, /* src_mask */
120 0x7ff, /* dst_mask */
121 true), /* pcrel_offset */
122
123 /* 4 bits + 1 zero bit; 'loopt' instruction only; unsupported. */
124 HOWTO (IMAGE_REL_MCORE_PCREL_IMM4BY2, /* type */
125 1, /* rightshift */
126 1, /* size (0 = byte, 1 = short, 2 = long) */
127 4, /* bitsize */
128 true, /* pc_relative */
129 0, /* bitpos */
130 complain_overflow_bitfield, /* complain_on_overflow */
131 mcore_coff_unsupported_reloc, /* special_function */
132 "IMM4BY2", /* name */
133 false, /* partial_inplace */
134 0, /* src_mask */
135 0, /* dst_mask */
136 true), /* pcrel_offset */
137
138 /* 32-bit pc-relative. Eventually this will help support PIC code. */
139 HOWTO (IMAGE_REL_MCORE_PCREL_32,/* type */
140 0, /* rightshift */
141 2, /* size (0 = byte, 1 = short, 2 = long) */
142 32, /* bitsize */
143 true, /* pc_relative */
144 0, /* bitpos */
145 complain_overflow_bitfield, /* complain_on_overflow */
146 NULL, /* special_function */
147 "PCREL_32", /* name */
148 false, /* partial_inplace */
149 0x0, /* src_mask */
150 0xffffffff, /* dst_mask */
151 true), /* pcrel_offset */
152
153 /* Like PCREL_IMM11BY2, this relocation indicates that there is a
154 'jsri' at the specified address. There is a separate relocation
155 entry for the literal pool entry that it references, but we
156 might be able to change the jsri to a bsr if the target turns out
157 to be close enough [even though we won't reclaim the literal pool
158 entry, we'll get some runtime efficiency back]. Note that this
159 is a relocation that we are allowed to safely ignore. */
160 HOWTO (IMAGE_REL_MCORE_PCREL_JSR_IMM11BY2,/* type */
161 1, /* rightshift */
162 1, /* size (0 = byte, 1 = short, 2 = long) */
163 11, /* bitsize */
164 true, /* pc_relative */
165 0, /* bitpos */
166 complain_overflow_signed, /* complain_on_overflow */
167 NULL, /* special_function */
168 "JSR_IMM11BY2", /* name */
169 false, /* partial_inplace */
170 0x0, /* src_mask */
171 0x7ff, /* dst_mask */
172 true), /* pcrel_offset */
173
174 HOWTO (IMAGE_REL_MCORE_RVA, /* type */
175 0, /* rightshift */
176 2, /* size (0 = byte, 1 = short, 2 = long) */
177 32, /* bitsize */
178 false, /* pc_relative */
179 0, /* bitpos */
180 complain_overflow_signed, /* complain_on_overflow */
181 NULL, /* special_function */
182 "MCORE_RVA", /* name */
183 true, /* partial_inplace */
184 0xffffffff, /* src_mask */
185 0xffffffff, /* dst_mask */
186 true) /* pcrel_offset */
187 };
188
189 /* Extend the coff_link_hash_table structure with a few M*Core specific fields.
190 This allows us to store global data here without actually creating any
191 global variables, which is a no-no in the BFD world. */
192 typedef struct coff_mcore_link_hash_table
193 {
194 /* The original coff_link_hash_table structure. MUST be first field. */
195 struct coff_link_hash_table root;
196
197 bfd * bfd_of_toc_owner;
198 long int global_toc_size;
199 long int import_table_size;
200 long int first_thunk_address;
201 long int thunk_size;
202 }
203 mcore_hash_table;
204
205 /* Get the MCore coff linker hash table from a link_info structure. */
206 #define coff_mcore_hash_table(info) \
207 ((mcore_hash_table *) ((info)->hash))
208
209
210 /* Add an entry to the base file. */
211
212 static bool
mcore_emit_base_file_entry(struct bfd_link_info * info,bfd * output_bfd,asection * input_section,bfd_vma reloc_offset)213 mcore_emit_base_file_entry (struct bfd_link_info *info,
214 bfd *output_bfd,
215 asection *input_section,
216 bfd_vma reloc_offset)
217 {
218 bfd_vma addr = reloc_offset
219 - input_section->vma
220 + input_section->output_offset
221 + input_section->output_section->vma;
222
223 if (coff_data (output_bfd)->pe)
224 addr -= pe_data (output_bfd)->pe_opthdr.ImageBase;
225
226 if (fwrite (&addr, sizeof (addr), 1, (FILE *) info->base_file) == 1)
227 return true;
228
229 bfd_set_error (bfd_error_system_call);
230 return false;
231 }
232
233 static bfd_reloc_status_type
mcore_coff_unsupported_reloc(bfd * abfd,arelent * reloc_entry,asymbol * symbol ATTRIBUTE_UNUSED,void * data ATTRIBUTE_UNUSED,asection * input_section ATTRIBUTE_UNUSED,bfd * output_bfd ATTRIBUTE_UNUSED,char ** error_message ATTRIBUTE_UNUSED)234 mcore_coff_unsupported_reloc (bfd * abfd,
235 arelent * reloc_entry,
236 asymbol * symbol ATTRIBUTE_UNUSED,
237 void * data ATTRIBUTE_UNUSED,
238 asection * input_section ATTRIBUTE_UNUSED,
239 bfd * output_bfd ATTRIBUTE_UNUSED,
240 char ** error_message ATTRIBUTE_UNUSED)
241 {
242 BFD_ASSERT (reloc_entry->howto != (reloc_howto_type *)0);
243
244 /* xgettext: c-format */
245 _bfd_error_handler (_("%pB: Relocation %s (%d) is not currently supported.\n"),
246 abfd,
247 reloc_entry->howto->name,
248 reloc_entry->howto->type);
249
250 return bfd_reloc_notsupported;
251 }
252
253 /* A cheesy little macro to make the code a little more readable. */
254 #define HOW2MAP(bfd_rtype, mcore_rtype) \
255 case bfd_rtype: return & mcore_coff_howto_table [mcore_rtype]
256
257 static reloc_howto_type *
mcore_coff_reloc_type_lookup(bfd * abfd ATTRIBUTE_UNUSED,bfd_reloc_code_real_type code)258 mcore_coff_reloc_type_lookup (bfd * abfd ATTRIBUTE_UNUSED,
259 bfd_reloc_code_real_type code)
260 {
261 switch (code)
262 {
263 HOW2MAP (BFD_RELOC_32, IMAGE_REL_MCORE_ADDR32);
264 HOW2MAP (BFD_RELOC_MCORE_PCREL_IMM8BY4, IMAGE_REL_MCORE_PCREL_IMM8BY4);
265 HOW2MAP (BFD_RELOC_MCORE_PCREL_IMM11BY2, IMAGE_REL_MCORE_PCREL_IMM11BY2);
266 HOW2MAP (BFD_RELOC_MCORE_PCREL_IMM4BY2, IMAGE_REL_MCORE_PCREL_IMM4BY2);
267 HOW2MAP (BFD_RELOC_32_PCREL, IMAGE_REL_MCORE_PCREL_32);
268 HOW2MAP (BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2, IMAGE_REL_MCORE_PCREL_JSR_IMM11BY2);
269 HOW2MAP (BFD_RELOC_RVA, IMAGE_REL_MCORE_RVA);
270 default:
271 return NULL;
272 }
273 /*NOTREACHED*/
274 }
275 #undef HOW2MAP
276
277 #define NUM_HOWTOS NUM_ELEM (mcore_coff_howto_table)
278
279 static reloc_howto_type *
mcore_coff_reloc_name_lookup(bfd * abfd ATTRIBUTE_UNUSED,const char * r_name)280 mcore_coff_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
281 const char *r_name)
282 {
283 unsigned int i;
284
285 for (i = 0; i < NUM_HOWTOS; i++)
286 if (mcore_coff_howto_table[i].name != NULL
287 && strcasecmp (mcore_coff_howto_table[i].name, r_name) == 0)
288 return &mcore_coff_howto_table[i];
289
290 return NULL;
291 }
292
293 #define RTYPE2HOWTO(cache_ptr, dst) \
294 ((cache_ptr)->howto = \
295 ((dst)->r_type < NUM_HOWTOS \
296 ? mcore_coff_howto_table + (dst)->r_type \
297 : NULL))
298
299 static reloc_howto_type *
coff_mcore_rtype_to_howto(bfd * abfd ATTRIBUTE_UNUSED,asection * sec,struct internal_reloc * rel,struct coff_link_hash_entry * h ATTRIBUTE_UNUSED,struct internal_syment * sym,bfd_vma * addendp)300 coff_mcore_rtype_to_howto (bfd * abfd ATTRIBUTE_UNUSED,
301 asection * sec,
302 struct internal_reloc * rel,
303 struct coff_link_hash_entry * h ATTRIBUTE_UNUSED,
304 struct internal_syment * sym,
305 bfd_vma * addendp)
306 {
307 reloc_howto_type * howto;
308
309 if (rel->r_type >= NUM_HOWTOS)
310 return NULL;
311
312 howto = mcore_coff_howto_table + rel->r_type;
313
314 if (rel->r_type == IMAGE_REL_MCORE_RVA)
315 * addendp -= pe_data (sec->output_section->owner)->pe_opthdr.ImageBase;
316
317 else if (howto->pc_relative)
318 {
319 * addendp = sec->vma - 2; /* XXX guess - is this right ? */
320
321 /* If the symbol is defined, then the generic code is going to
322 add back the symbol value in order to cancel out an
323 adjustment it made to the addend. However, we set the addend
324 to 0 at the start of this function. We need to adjust here,
325 to avoid the adjustment the generic code will make. FIXME:
326 This is getting a bit hackish. */
327 if (sym != NULL && sym->n_scnum != 0)
328 * addendp -= sym->n_value;
329 }
330 else
331 * addendp = 0;
332
333 return howto;
334 }
335
336 /* Return TRUE if this relocation should appear in the output .reloc section.
337 This function is referenced in pe_mkobject in peicode.h. */
338
339 static bool
in_reloc_p(bfd * abfd ATTRIBUTE_UNUSED,reloc_howto_type * howto)340 in_reloc_p (bfd * abfd ATTRIBUTE_UNUSED, reloc_howto_type * howto)
341 {
342 return ! howto->pc_relative && howto->type != IMAGE_REL_MCORE_RVA;
343 }
344
345 /* The reloc processing routine for the optimized COFF linker. */
346 static bool
coff_mcore_relocate_section(bfd * output_bfd,struct bfd_link_info * info,bfd * input_bfd,asection * input_section,bfd_byte * contents,struct internal_reloc * relocs,struct internal_syment * syms,asection ** sections)347 coff_mcore_relocate_section (bfd * output_bfd,
348 struct bfd_link_info * info,
349 bfd * input_bfd,
350 asection * input_section,
351 bfd_byte * contents,
352 struct internal_reloc * relocs,
353 struct internal_syment * syms,
354 asection ** sections)
355 {
356 struct internal_reloc * rel;
357 struct internal_reloc * relend;
358
359 /* If we are performing a relocatable link, we don't need to do a
360 thing. The caller will take care of adjusting the reloc
361 addresses and symbol indices. */
362 if (bfd_link_relocatable (info))
363 return true;
364
365 /* Check if we have the same endianness */
366 if ( input_bfd->xvec->byteorder != output_bfd->xvec->byteorder
367 && output_bfd->xvec->byteorder != BFD_ENDIAN_UNKNOWN)
368 {
369 _bfd_error_handler
370 /* xgettext: c-format */
371 (_("%pB: compiled for a %s system and target is %s.\n"),
372 input_bfd,
373 bfd_big_endian (input_bfd) ? _("big endian") : _("little endian"),
374 bfd_big_endian (output_bfd) ? _("big endian") : _("little endian"));
375
376 bfd_set_error (bfd_error_wrong_format);
377 return false;
378 }
379
380 rel = relocs;
381 relend = rel + input_section->reloc_count;
382
383 for (; rel < relend; rel++)
384 {
385 long symndx;
386 struct internal_syment * sym;
387 bfd_vma val;
388 bfd_vma addend;
389 bfd_reloc_status_type rstat;
390 bfd_byte * loc;
391 unsigned short r_type = rel->r_type;
392 reloc_howto_type * howto = NULL;
393 struct coff_link_hash_entry * h;
394 const char * my_name;
395 char buf[SYMNMLEN + 1];
396
397 symndx = rel->r_symndx;
398 loc = contents + rel->r_vaddr - input_section->vma;
399
400 if (symndx == -1)
401 {
402 h = NULL;
403 sym = NULL;
404 }
405 else
406 {
407 h = obj_coff_sym_hashes (input_bfd)[symndx];
408 sym = syms + symndx;
409 }
410
411 addend = 0;
412
413 /* Get the howto and initialise the addend. */
414 howto = bfd_coff_rtype_to_howto (input_bfd, input_section, rel, h,
415 sym, & addend);
416 if (howto == NULL)
417 return false;
418
419 val = 0;
420
421 if (h == NULL)
422 {
423 if (symndx == -1)
424 my_name = "*ABS*";
425 else
426 {
427 asection * sec = sections[symndx];
428
429 val = (sym->n_value
430 + sec->output_section->vma
431 + sec->output_offset);
432
433 if (sym == NULL)
434 my_name = "*unknown*";
435 else if ( sym->_n._n_n._n_zeroes == 0
436 && sym->_n._n_n._n_offset != 0)
437 my_name = obj_coff_strings (input_bfd) + sym->_n._n_n._n_offset;
438 else
439 {
440 strncpy (buf, sym->_n._n_name, SYMNMLEN);
441 buf[SYMNMLEN] = '\0';
442 my_name = buf;
443 }
444 }
445 }
446 else
447 {
448 if ( h->root.type == bfd_link_hash_defined
449 || h->root.type == bfd_link_hash_defweak)
450 {
451 asection * sec = h->root.u.def.section;
452
453 val = (h->root.u.def.value
454 + sec->output_section->vma
455 + sec->output_offset);
456 }
457 else
458 (*info->callbacks->undefined_symbol)
459 (info, h->root.root.string, input_bfd, input_section,
460 rel->r_vaddr - input_section->vma, true);
461
462 my_name = h->root.root.string;
463 }
464
465 rstat = bfd_reloc_ok;
466
467 /* Each case must do its own relocation, setting rstat appropriately. */
468 switch (r_type)
469 {
470 default:
471 /* xgettext: c-format */
472 _bfd_error_handler (_("%pB: unsupported relocation type %#x"),
473 input_bfd, r_type);
474 bfd_set_error (bfd_error_bad_value);
475 return false;
476
477 case IMAGE_REL_MCORE_ABSOLUTE:
478 _bfd_error_handler
479 /* xgettext: c-format */
480 (_("warning: unsupported reloc %s <file %pB, section %pA>\n"
481 "sym %ld (%s), r_vaddr %" PRId64 " (%#" PRIx64 ")"),
482 howto->name, input_bfd, input_section,
483 rel->r_symndx, my_name, (int64_t) rel->r_vaddr,
484 (uint64_t) rel->r_vaddr);
485 break;
486
487 case IMAGE_REL_MCORE_PCREL_IMM8BY4:
488 case IMAGE_REL_MCORE_PCREL_IMM11BY2:
489 case IMAGE_REL_MCORE_PCREL_IMM4BY2:
490 case IMAGE_REL_MCORE_PCREL_32:
491 case IMAGE_REL_MCORE_PCREL_JSR_IMM11BY2:
492 case IMAGE_REL_MCORE_ADDR32:
493 /* XXX fixme - shouldn't this be like the code for the RVA reloc ? */
494 rstat = _bfd_relocate_contents (howto, input_bfd, val, loc);
495 break;
496
497 case IMAGE_REL_MCORE_RVA:
498 rstat = _bfd_final_link_relocate
499 (howto, input_bfd,
500 input_section, contents, rel->r_vaddr - input_section->vma,
501 val, addend);
502 break;
503 }
504
505 /* Emit a reloc if the backend thinks it needs it. */
506 if (info->base_file
507 && sym
508 && pe_data (output_bfd)->in_reloc_p (output_bfd, howto)
509 && !mcore_emit_base_file_entry (info, output_bfd, input_section,
510 rel->r_vaddr))
511 return false;
512
513 switch (rstat)
514 {
515 default:
516 abort ();
517
518 case bfd_reloc_ok:
519 break;
520
521 case bfd_reloc_overflow:
522 (*info->callbacks->reloc_overflow)
523 (info, (h ? &h->root : NULL), my_name, howto->name,
524 (bfd_vma) 0, input_bfd,
525 input_section, rel->r_vaddr - input_section->vma);
526 }
527 }
528
529 return true;
530 }
531
532 /* Tailor coffcode.h -- macro heaven. */
533
534 /* We use the special COFF backend linker, with our own special touch. */
535
536 #define coff_bfd_reloc_type_lookup mcore_coff_reloc_type_lookup
537 #define coff_bfd_reloc_name_lookup mcore_coff_reloc_name_lookup
538 #define coff_relocate_section coff_mcore_relocate_section
539 #define coff_rtype_to_howto coff_mcore_rtype_to_howto
540
541 #define SELECT_RELOC(internal, howto) {internal.r_type = howto->type;}
542
543 /* Make sure that the 'r_offset' field is copied properly
544 so that identical binaries will compare the same. */
545 #define SWAP_IN_RELOC_OFFSET H_GET_32
546 #define SWAP_OUT_RELOC_OFFSET H_PUT_32
547
548 #define COFF_PAGE_SIZE 0x1000
549
550 #include "coffcode.h"
551
552 /* Forward declaration to initialise alternative_target field. */
553 extern const bfd_target TARGET_LITTLE_SYM;
554
555 /* The transfer vectors that lead the outside world to all of the above. */
556 CREATE_BIG_COFF_TARGET_VEC (TARGET_BIG_SYM, TARGET_BIG_NAME, D_PAGED,
557 (SEC_CODE | SEC_DATA | SEC_DEBUGGING | SEC_READONLY | SEC_LINK_ONCE | SEC_LINK_DUPLICATES),
558 0, & TARGET_LITTLE_SYM, COFF_SWAP_TABLE)
559 CREATE_LITTLE_COFF_TARGET_VEC (TARGET_LITTLE_SYM, TARGET_LITTLE_NAME, D_PAGED,
560 (SEC_CODE | SEC_DATA | SEC_DEBUGGING | SEC_READONLY | SEC_LINK_ONCE | SEC_LINK_DUPLICATES),
561 0, & TARGET_BIG_SYM, COFF_SWAP_TABLE)
562