1 /* MSP430-specific support for 32-bit ELF
2 Copyright (C) 2002-2014 Free Software Foundation, Inc.
3 Contributed by Dmitry Diky <diwil@mail.ru>
5 This file is part of BFD, the Binary File Descriptor library.
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.
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.
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. */
24 #include "libiberty.h"
27 #include "elf/msp430.h"
29 static reloc_howto_type elf_msp430_howto_table
[] =
31 HOWTO (R_MSP430_NONE
, /* type */
33 2, /* size (0 = byte, 1 = short, 2 = long) */
35 FALSE
, /* pc_relative */
37 complain_overflow_bitfield
,/* complain_on_overflow */
38 bfd_elf_generic_reloc
, /* special_function */
39 "R_MSP430_NONE", /* name */
40 FALSE
, /* partial_inplace */
43 FALSE
), /* pcrel_offset */
45 HOWTO (R_MSP430_32
, /* type */
47 2, /* size (0 = byte, 1 = short, 2 = long) */
49 FALSE
, /* pc_relative */
51 complain_overflow_bitfield
,/* complain_on_overflow */
52 bfd_elf_generic_reloc
, /* special_function */
53 "R_MSP430_32", /* name */
54 FALSE
, /* partial_inplace */
55 0xffffffff, /* src_mask */
56 0xffffffff, /* dst_mask */
57 FALSE
), /* pcrel_offset */
59 /* A 10 bit PC relative relocation. */
60 HOWTO (R_MSP430_10_PCREL
, /* type */
62 1, /* size (0 = byte, 1 = short, 2 = long) */
64 TRUE
, /* pc_relative */
66 complain_overflow_bitfield
,/* complain_on_overflow */
67 bfd_elf_generic_reloc
, /* special_function */
68 "R_MSP430_10_PCREL", /* name */
69 FALSE
, /* partial_inplace */
72 TRUE
), /* pcrel_offset */
74 /* A 16 bit absolute relocation. */
75 HOWTO (R_MSP430_16
, /* type */
77 1, /* size (0 = byte, 1 = short, 2 = long) */
79 FALSE
, /* pc_relative */
81 complain_overflow_dont
,/* complain_on_overflow */
82 bfd_elf_generic_reloc
, /* special_function */
83 "R_MSP430_16", /* name */
84 FALSE
, /* partial_inplace */
86 0xffff, /* dst_mask */
87 FALSE
), /* pcrel_offset */
89 /* A 16 bit PC relative relocation for command address. */
90 HOWTO (R_MSP430_16_PCREL
, /* type */
92 1, /* size (0 = byte, 1 = short, 2 = long) */
94 TRUE
, /* pc_relative */
96 complain_overflow_dont
,/* complain_on_overflow */
97 bfd_elf_generic_reloc
, /* special_function */
98 "R_MSP430_16_PCREL", /* name */
99 FALSE
, /* partial_inplace */
101 0xffff, /* dst_mask */
102 TRUE
), /* pcrel_offset */
104 /* A 16 bit absolute relocation, byte operations. */
105 HOWTO (R_MSP430_16_BYTE
, /* type */
107 1, /* size (0 = byte, 1 = short, 2 = long) */
109 FALSE
, /* pc_relative */
111 complain_overflow_dont
,/* complain_on_overflow */
112 bfd_elf_generic_reloc
, /* special_function */
113 "R_MSP430_16_BYTE", /* name */
114 FALSE
, /* partial_inplace */
115 0xffff, /* src_mask */
116 0xffff, /* dst_mask */
117 FALSE
), /* pcrel_offset */
119 /* A 16 bit absolute relocation for command address. */
120 HOWTO (R_MSP430_16_PCREL_BYTE
,/* type */
122 1, /* size (0 = byte, 1 = short, 2 = long) */
124 TRUE
, /* pc_relative */
126 complain_overflow_dont
,/* complain_on_overflow */
127 bfd_elf_generic_reloc
, /* special_function */
128 "R_MSP430_16_PCREL_BYTE",/* name */
129 FALSE
, /* partial_inplace */
130 0xffff, /* src_mask */
131 0xffff, /* dst_mask */
132 TRUE
), /* pcrel_offset */
134 /* A 10 bit PC relative relocation for complicated polymorphs. */
135 HOWTO (R_MSP430_2X_PCREL
, /* type */
137 2, /* size (0 = byte, 1 = short, 2 = long) */
139 TRUE
, /* pc_relative */
141 complain_overflow_bitfield
,/* complain_on_overflow */
142 bfd_elf_generic_reloc
, /* special_function */
143 "R_MSP430_2X_PCREL", /* name */
144 FALSE
, /* partial_inplace */
145 0x3ff, /* src_mask */
146 0x3ff, /* dst_mask */
147 TRUE
), /* pcrel_offset */
149 /* A 16 bit relaxable relocation for command address. */
150 HOWTO (R_MSP430_RL_PCREL
, /* type */
152 1, /* size (0 = byte, 1 = short, 2 = long) */
154 TRUE
, /* pc_relative */
156 complain_overflow_dont
,/* complain_on_overflow */
157 bfd_elf_generic_reloc
, /* special_function */
158 "R_MSP430_RL_PCREL", /* name */
159 FALSE
, /* partial_inplace */
161 0xffff, /* dst_mask */
162 TRUE
) /* pcrel_offset */
164 /* A 8-bit absolute relocation. */
165 , HOWTO (R_MSP430_8
, /* type */
167 0, /* size (0 = byte, 1 = short, 2 = long) */
169 FALSE
, /* pc_relative */
171 complain_overflow_dont
,/* complain_on_overflow */
172 bfd_elf_generic_reloc
, /* special_function */
173 "R_MSP430_8", /* name */
174 FALSE
, /* partial_inplace */
176 0xffff, /* dst_mask */
177 FALSE
), /* pcrel_offset */
179 /* Together with a following reloc, allows for the difference
180 between two symbols to be the real addend of the second reloc. */
181 HOWTO (R_MSP430_SYM_DIFF
, /* type */
183 2, /* size (0 = byte, 1 = short, 2 = long) */
185 FALSE
, /* pc_relative */
187 complain_overflow_dont
,/* complain_on_overflow */
188 NULL
, /* special handler. */
189 "R_MSP430_SYM_DIFF", /* name */
190 FALSE
, /* partial_inplace */
191 0xffffffff, /* src_mask */
192 0xffffffff, /* dst_mask */
193 FALSE
) /* pcrel_offset */
196 static reloc_howto_type elf_msp430x_howto_table
[] =
198 HOWTO (R_MSP430_NONE
, /* type */
200 2, /* size (0 = byte, 1 = short, 2 = long) */
202 FALSE
, /* pc_relative */
204 complain_overflow_bitfield
,/* complain_on_overflow */
205 bfd_elf_generic_reloc
, /* special_function */
206 "R_MSP430_NONE", /* name */
207 FALSE
, /* partial_inplace */
210 FALSE
), /* pcrel_offset */
212 HOWTO (R_MSP430_ABS32
, /* type */
214 2, /* size (0 = byte, 1 = short, 2 = long) */
216 FALSE
, /* pc_relative */
218 complain_overflow_bitfield
,/* complain_on_overflow */
219 bfd_elf_generic_reloc
, /* special_function */
220 "R_MSP430_ABS32", /* name */
221 FALSE
, /* partial_inplace */
222 0xffffffff, /* src_mask */
223 0xffffffff, /* dst_mask */
224 FALSE
), /* pcrel_offset */
226 HOWTO (R_MSP430_ABS16
, /* type */
228 1, /* size (0 = byte, 1 = short, 2 = long) */
230 FALSE
, /* pc_relative */
232 complain_overflow_dont
,/* complain_on_overflow */
233 bfd_elf_generic_reloc
, /* special_function */
234 "R_MSP430_ABS16", /* name */
235 FALSE
, /* partial_inplace */
237 0xffff, /* dst_mask */
238 FALSE
), /* pcrel_offset */
240 HOWTO (R_MSP430_ABS8
, /* type */
242 0, /* size (0 = byte, 1 = short, 2 = long) */
244 FALSE
, /* pc_relative */
246 complain_overflow_bitfield
,/* complain_on_overflow */
247 bfd_elf_generic_reloc
, /* special_function */
248 "R_MSP430_ABS8", /* name */
249 FALSE
, /* partial_inplace */
252 FALSE
), /* pcrel_offset */
254 HOWTO (R_MSP430_PCR16
, /* type */
256 1, /* size (0 = byte, 1 = short, 2 = long) */
258 TRUE
, /* pc_relative */
260 complain_overflow_dont
,/* complain_on_overflow */
261 bfd_elf_generic_reloc
, /* special_function */
262 "R_MSP430_PCR16", /* name */
263 FALSE
, /* partial_inplace */
265 0xffff, /* dst_mask */
266 TRUE
), /* pcrel_offset */
268 HOWTO (R_MSP430X_PCR20_EXT_SRC
,/* type */
270 2, /* size (0 = byte, 1 = short, 2 = long) */
272 TRUE
, /* pc_relative */
274 complain_overflow_dont
,/* complain_on_overflow */
275 bfd_elf_generic_reloc
, /* special_function */
276 "R_MSP430X_PCR20_EXT_SRC",/* name */
277 FALSE
, /* partial_inplace */
279 0xffff, /* dst_mask */
280 TRUE
), /* pcrel_offset */
282 HOWTO (R_MSP430X_PCR20_EXT_DST
,/* type */
284 2, /* size (0 = byte, 1 = short, 2 = long) */
286 TRUE
, /* pc_relative */
288 complain_overflow_dont
,/* complain_on_overflow */
289 bfd_elf_generic_reloc
, /* special_function */
290 "R_MSP430X_PCR20_EXT_DST",/* name */
291 FALSE
, /* partial_inplace */
293 0xffff, /* dst_mask */
294 TRUE
), /* pcrel_offset */
296 HOWTO (R_MSP430X_PCR20_EXT_ODST
,/* type */
298 2, /* size (0 = byte, 1 = short, 2 = long) */
300 TRUE
, /* pc_relative */
302 complain_overflow_dont
,/* complain_on_overflow */
303 bfd_elf_generic_reloc
, /* special_function */
304 "R_MSP430X_PCR20_EXT_ODST",/* name */
305 FALSE
, /* partial_inplace */
307 0xffff, /* dst_mask */
308 TRUE
), /* pcrel_offset */
310 HOWTO (R_MSP430X_ABS20_EXT_SRC
,/* type */
312 2, /* size (0 = byte, 1 = short, 2 = long) */
314 TRUE
, /* pc_relative */
316 complain_overflow_dont
,/* complain_on_overflow */
317 bfd_elf_generic_reloc
, /* special_function */
318 "R_MSP430X_ABS20_EXT_SRC",/* name */
319 FALSE
, /* partial_inplace */
321 0xffff, /* dst_mask */
322 TRUE
), /* pcrel_offset */
324 HOWTO (R_MSP430X_ABS20_EXT_DST
,/* type */
326 2, /* size (0 = byte, 1 = short, 2 = long) */
328 TRUE
, /* pc_relative */
330 complain_overflow_dont
,/* complain_on_overflow */
331 bfd_elf_generic_reloc
, /* special_function */
332 "R_MSP430X_ABS20_EXT_DST",/* name */
333 FALSE
, /* partial_inplace */
335 0xffff, /* dst_mask */
336 TRUE
), /* pcrel_offset */
338 HOWTO (R_MSP430X_ABS20_EXT_ODST
,/* type */
340 2, /* size (0 = byte, 1 = short, 2 = long) */
342 TRUE
, /* pc_relative */
344 complain_overflow_dont
,/* complain_on_overflow */
345 bfd_elf_generic_reloc
, /* special_function */
346 "R_MSP430X_ABS20_EXT_ODST",/* name */
347 FALSE
, /* partial_inplace */
349 0xffff, /* dst_mask */
350 TRUE
), /* pcrel_offset */
352 HOWTO (R_MSP430X_ABS20_ADR_SRC
,/* type */
354 2, /* size (0 = byte, 1 = short, 2 = long) */
356 TRUE
, /* pc_relative */
358 complain_overflow_dont
,/* complain_on_overflow */
359 bfd_elf_generic_reloc
, /* special_function */
360 "R_MSP430X_ABS20_ADR_SRC",/* name */
361 FALSE
, /* partial_inplace */
363 0xffff, /* dst_mask */
364 TRUE
), /* pcrel_offset */
366 HOWTO (R_MSP430X_ABS20_ADR_DST
,/* type */
368 2, /* size (0 = byte, 1 = short, 2 = long) */
370 TRUE
, /* pc_relative */
372 complain_overflow_dont
,/* complain_on_overflow */
373 bfd_elf_generic_reloc
, /* special_function */
374 "R_MSP430X_ABS20_ADR_DST",/* name */
375 FALSE
, /* partial_inplace */
377 0xffff, /* dst_mask */
378 TRUE
), /* pcrel_offset */
380 HOWTO (R_MSP430X_PCR16
, /* type */
382 2, /* size (0 = byte, 1 = short, 2 = long) */
384 TRUE
, /* pc_relative */
386 complain_overflow_dont
,/* complain_on_overflow */
387 bfd_elf_generic_reloc
, /* special_function */
388 "R_MSP430X_PCR16", /* name */
389 FALSE
, /* partial_inplace */
391 0xffff, /* dst_mask */
392 TRUE
), /* pcrel_offset */
394 HOWTO (R_MSP430X_PCR20_CALL
, /* type */
396 2, /* size (0 = byte, 1 = short, 2 = long) */
398 TRUE
, /* pc_relative */
400 complain_overflow_dont
,/* complain_on_overflow */
401 bfd_elf_generic_reloc
, /* special_function */
402 "R_MSP430X_PCR20_CALL",/* name */
403 FALSE
, /* partial_inplace */
405 0xffff, /* dst_mask */
406 TRUE
), /* pcrel_offset */
408 HOWTO (R_MSP430X_ABS16
, /* type */
410 2, /* size (0 = byte, 1 = short, 2 = long) */
412 TRUE
, /* pc_relative */
414 complain_overflow_dont
,/* complain_on_overflow */
415 bfd_elf_generic_reloc
, /* special_function */
416 "R_MSP430X_ABS16", /* name */
417 FALSE
, /* partial_inplace */
419 0xffff, /* dst_mask */
420 TRUE
), /* pcrel_offset */
422 HOWTO (R_MSP430_ABS_HI16
, /* type */
424 2, /* size (0 = byte, 1 = short, 2 = long) */
426 TRUE
, /* pc_relative */
428 complain_overflow_dont
,/* complain_on_overflow */
429 bfd_elf_generic_reloc
, /* special_function */
430 "R_MSP430_ABS_HI16", /* name */
431 FALSE
, /* partial_inplace */
433 0xffff, /* dst_mask */
434 TRUE
), /* pcrel_offset */
436 HOWTO (R_MSP430_PREL31
, /* type */
438 2, /* size (0 = byte, 1 = short, 2 = long) */
440 TRUE
, /* pc_relative */
442 complain_overflow_dont
,/* complain_on_overflow */
443 bfd_elf_generic_reloc
, /* special_function */
444 "R_MSP430_PREL31", /* name */
445 FALSE
, /* partial_inplace */
447 0xffff, /* dst_mask */
448 TRUE
), /* pcrel_offset */
450 EMPTY_HOWTO (R_MSP430_EHTYPE
),
452 /* A 10 bit PC relative relocation. */
453 HOWTO (R_MSP430X_10_PCREL
, /* type */
455 1, /* size (0 = byte, 1 = short, 2 = long) */
457 TRUE
, /* pc_relative */
459 complain_overflow_bitfield
,/* complain_on_overflow */
460 bfd_elf_generic_reloc
, /* special_function */
461 "R_MSP430X_10_PCREL", /* name */
462 FALSE
, /* partial_inplace */
463 0x3ff, /* src_mask */
464 0x3ff, /* dst_mask */
465 TRUE
), /* pcrel_offset */
467 /* A 10 bit PC relative relocation for complicated polymorphs. */
468 HOWTO (R_MSP430X_2X_PCREL
, /* type */
470 2, /* size (0 = byte, 1 = short, 2 = long) */
472 TRUE
, /* pc_relative */
474 complain_overflow_bitfield
,/* complain_on_overflow */
475 bfd_elf_generic_reloc
, /* special_function */
476 "R_MSP430X_2X_PCREL", /* name */
477 FALSE
, /* partial_inplace */
478 0x3ff, /* src_mask */
479 0x3ff, /* dst_mask */
480 TRUE
), /* pcrel_offset */
482 /* Together with a following reloc, allows for the difference
483 between two symbols to be the real addend of the second reloc. */
484 HOWTO (R_MSP430X_SYM_DIFF
, /* type */
486 2, /* size (0 = byte, 1 = short, 2 = long) */
488 FALSE
, /* pc_relative */
490 complain_overflow_dont
,/* complain_on_overflow */
491 NULL
, /* special handler. */
492 "R_MSP430X_SYM_DIFF", /* name */
493 FALSE
, /* partial_inplace */
494 0xffffffff, /* src_mask */
495 0xffffffff, /* dst_mask */
496 FALSE
) /* pcrel_offset */
499 /* Map BFD reloc types to MSP430 ELF reloc types. */
501 struct msp430_reloc_map
503 bfd_reloc_code_real_type bfd_reloc_val
;
504 unsigned int elf_reloc_val
;
507 static const struct msp430_reloc_map msp430_reloc_map
[] =
509 {BFD_RELOC_NONE
, R_MSP430_NONE
},
510 {BFD_RELOC_32
, R_MSP430_32
},
511 {BFD_RELOC_MSP430_10_PCREL
, R_MSP430_10_PCREL
},
512 {BFD_RELOC_16
, R_MSP430_16_BYTE
},
513 {BFD_RELOC_MSP430_16_PCREL
, R_MSP430_16_PCREL
},
514 {BFD_RELOC_MSP430_16
, R_MSP430_16
},
515 {BFD_RELOC_MSP430_16_PCREL_BYTE
, R_MSP430_16_PCREL_BYTE
},
516 {BFD_RELOC_MSP430_16_BYTE
, R_MSP430_16_BYTE
},
517 {BFD_RELOC_MSP430_2X_PCREL
, R_MSP430_2X_PCREL
},
518 {BFD_RELOC_MSP430_RL_PCREL
, R_MSP430_RL_PCREL
},
519 {BFD_RELOC_8
, R_MSP430_8
},
520 {BFD_RELOC_MSP430_SYM_DIFF
, R_MSP430_SYM_DIFF
}
523 static const struct msp430_reloc_map msp430x_reloc_map
[] =
525 {BFD_RELOC_NONE
, R_MSP430_NONE
},
526 {BFD_RELOC_32
, R_MSP430_ABS32
},
527 {BFD_RELOC_16
, R_MSP430_ABS16
},
528 {BFD_RELOC_8
, R_MSP430_ABS8
},
529 {BFD_RELOC_MSP430_ABS8
, R_MSP430_ABS8
},
530 {BFD_RELOC_MSP430X_PCR20_EXT_SRC
, R_MSP430X_PCR20_EXT_SRC
},
531 {BFD_RELOC_MSP430X_PCR20_EXT_DST
, R_MSP430X_PCR20_EXT_DST
},
532 {BFD_RELOC_MSP430X_PCR20_EXT_ODST
, R_MSP430X_PCR20_EXT_ODST
},
533 {BFD_RELOC_MSP430X_ABS20_EXT_SRC
, R_MSP430X_ABS20_EXT_SRC
},
534 {BFD_RELOC_MSP430X_ABS20_EXT_DST
, R_MSP430X_ABS20_EXT_DST
},
535 {BFD_RELOC_MSP430X_ABS20_EXT_ODST
, R_MSP430X_ABS20_EXT_ODST
},
536 {BFD_RELOC_MSP430X_ABS20_ADR_SRC
, R_MSP430X_ABS20_ADR_SRC
},
537 {BFD_RELOC_MSP430X_ABS20_ADR_DST
, R_MSP430X_ABS20_ADR_DST
},
538 {BFD_RELOC_MSP430X_PCR16
, R_MSP430X_PCR16
},
539 {BFD_RELOC_MSP430X_PCR20_CALL
, R_MSP430X_PCR20_CALL
},
540 {BFD_RELOC_MSP430X_ABS16
, R_MSP430X_ABS16
},
541 {BFD_RELOC_MSP430_ABS_HI16
, R_MSP430_ABS_HI16
},
542 {BFD_RELOC_MSP430_PREL31
, R_MSP430_PREL31
},
543 {BFD_RELOC_MSP430_10_PCREL
, R_MSP430X_10_PCREL
},
544 {BFD_RELOC_MSP430_2X_PCREL
, R_MSP430X_2X_PCREL
},
545 {BFD_RELOC_MSP430_RL_PCREL
, R_MSP430X_PCR16
},
546 {BFD_RELOC_MSP430_SYM_DIFF
, R_MSP430X_SYM_DIFF
}
549 static inline bfd_boolean
550 uses_msp430x_relocs (bfd
* abfd
)
552 extern const bfd_target msp430_elf32_ti_vec
;
554 return bfd_get_mach (abfd
) == bfd_mach_msp430x
555 || abfd
->xvec
== & msp430_elf32_ti_vec
;
558 static reloc_howto_type
*
559 bfd_elf32_bfd_reloc_type_lookup (bfd
* abfd ATTRIBUTE_UNUSED
,
560 bfd_reloc_code_real_type code
)
564 if (uses_msp430x_relocs (abfd
))
566 for (i
= ARRAY_SIZE (msp430x_reloc_map
); i
--;)
567 if (msp430x_reloc_map
[i
].bfd_reloc_val
== code
)
568 return elf_msp430x_howto_table
+ msp430x_reloc_map
[i
].elf_reloc_val
;
572 for (i
= 0; i
< ARRAY_SIZE (msp430_reloc_map
); i
++)
573 if (msp430_reloc_map
[i
].bfd_reloc_val
== code
)
574 return &elf_msp430_howto_table
[msp430_reloc_map
[i
].elf_reloc_val
];
580 static reloc_howto_type
*
581 bfd_elf32_bfd_reloc_name_lookup (bfd
*abfd ATTRIBUTE_UNUSED
,
586 if (uses_msp430x_relocs (abfd
))
588 for (i
= ARRAY_SIZE (elf_msp430x_howto_table
); i
--;)
589 if (elf_msp430x_howto_table
[i
].name
!= NULL
590 && strcasecmp (elf_msp430x_howto_table
[i
].name
, r_name
) == 0)
591 return elf_msp430x_howto_table
+ i
;
596 i
< (sizeof (elf_msp430_howto_table
)
597 / sizeof (elf_msp430_howto_table
[0]));
599 if (elf_msp430_howto_table
[i
].name
!= NULL
600 && strcasecmp (elf_msp430_howto_table
[i
].name
, r_name
) == 0)
601 return &elf_msp430_howto_table
[i
];
607 /* Set the howto pointer for an MSP430 ELF reloc. */
610 msp430_info_to_howto_rela (bfd
* abfd ATTRIBUTE_UNUSED
,
612 Elf_Internal_Rela
* dst
)
616 r_type
= ELF32_R_TYPE (dst
->r_info
);
618 if (uses_msp430x_relocs (abfd
))
620 BFD_ASSERT (r_type
< (unsigned int) R_MSP430x_max
);
621 cache_ptr
->howto
= elf_msp430x_howto_table
+ r_type
;
625 BFD_ASSERT (r_type
< (unsigned int) R_MSP430_max
);
626 cache_ptr
->howto
= &elf_msp430_howto_table
[r_type
];
629 /* Look through the relocs for a section during the first phase.
630 Since we don't do .gots or .plts, we just need to consider the
631 virtual table relocs for gc. */
634 elf32_msp430_check_relocs (bfd
* abfd
, struct bfd_link_info
* info
,
635 asection
* sec
, const Elf_Internal_Rela
* relocs
)
637 Elf_Internal_Shdr
*symtab_hdr
;
638 struct elf_link_hash_entry
**sym_hashes
;
639 const Elf_Internal_Rela
*rel
;
640 const Elf_Internal_Rela
*rel_end
;
642 if (info
->relocatable
)
645 symtab_hdr
= &elf_tdata (abfd
)->symtab_hdr
;
646 sym_hashes
= elf_sym_hashes (abfd
);
648 rel_end
= relocs
+ sec
->reloc_count
;
649 for (rel
= relocs
; rel
< rel_end
; rel
++)
651 struct elf_link_hash_entry
*h
;
652 unsigned long r_symndx
;
654 r_symndx
= ELF32_R_SYM (rel
->r_info
);
655 if (r_symndx
< symtab_hdr
->sh_info
)
659 h
= sym_hashes
[r_symndx
- symtab_hdr
->sh_info
];
660 while (h
->root
.type
== bfd_link_hash_indirect
661 || h
->root
.type
== bfd_link_hash_warning
)
662 h
= (struct elf_link_hash_entry
*) h
->root
.u
.i
.link
;
664 /* PR15323, ref flags aren't set for references in the same
666 h
->root
.non_ir_ref
= 1;
673 /* Perform a single relocation. By default we use the standard BFD
674 routines, but a few relocs, we have to do them ourselves. */
676 static bfd_reloc_status_type
677 msp430_final_link_relocate (reloc_howto_type
* howto
,
679 asection
* input_section
,
681 Elf_Internal_Rela
* rel
,
683 struct bfd_link_info
* info
)
685 static asection
* sym_diff_section
;
686 static bfd_vma sym_diff_value
;
688 struct bfd_elf_section_data
* esd
= elf_section_data (input_section
);
689 bfd_reloc_status_type r
= bfd_reloc_ok
;
692 bfd_boolean is_rel_reloc
= FALSE
;
694 if (uses_msp430x_relocs (input_bfd
))
696 /* See if we have a REL type relocation. */
697 is_rel_reloc
= (esd
->rel
.hdr
!= NULL
);
698 /* Sanity check - only one type of relocation per section.
699 FIXME: Theoretically it is possible to have both types,
700 but if that happens how can we distinguish between the two ? */
701 BFD_ASSERT (! is_rel_reloc
|| ! esd
->rela
.hdr
);
702 /* If we are using a REL relocation then the addend should be empty. */
703 BFD_ASSERT (! is_rel_reloc
|| rel
->r_addend
== 0);
706 if (sym_diff_section
!= NULL
)
708 BFD_ASSERT (sym_diff_section
== input_section
);
710 if (uses_msp430x_relocs (input_bfd
))
714 /* If we are computing a 32-bit value for the location lists
715 and the result is 0 then we add one to the value. A zero
716 value can result because of linker relaxation deleteing
717 prologue instructions and using a value of 1 (for the begin
718 and end offsets in the location list entry) results in a
719 nul entry which does not prevent the following entries from
721 if (relocation
== sym_diff_value
722 && strcmp (input_section
->name
, ".debug_loc") == 0)
726 case R_MSP430X_ABS16
:
728 BFD_ASSERT (! is_rel_reloc
);
729 relocation
-= sym_diff_value
;
733 return bfd_reloc_dangerous
;
740 case R_MSP430_16_BYTE
:
742 relocation
-= sym_diff_value
;
746 return bfd_reloc_dangerous
;
749 sym_diff_section
= NULL
;
752 if (uses_msp430x_relocs (input_bfd
))
755 case R_MSP430X_SYM_DIFF
:
756 /* Cache the input section and value.
757 The offset is unreliable, since relaxation may
758 have reduced the following reloc's offset. */
759 BFD_ASSERT (! is_rel_reloc
);
760 sym_diff_section
= input_section
;
761 sym_diff_value
= relocation
;
765 contents
+= rel
->r_offset
;
766 srel
= (bfd_signed_vma
) relocation
;
768 srel
+= bfd_get_16 (input_bfd
, contents
);
770 srel
+= rel
->r_addend
;
771 bfd_put_16 (input_bfd
, srel
& 0xffff, contents
);
774 case R_MSP430X_10_PCREL
:
775 contents
+= rel
->r_offset
;
776 srel
= (bfd_signed_vma
) relocation
;
778 srel
+= bfd_get_16 (input_bfd
, contents
) & 0x3ff;
780 srel
+= rel
->r_addend
;
781 srel
-= rel
->r_offset
;
782 srel
-= 2; /* Branch instructions add 2 to the PC... */
783 srel
-= (input_section
->output_section
->vma
+
784 input_section
->output_offset
);
786 return bfd_reloc_outofrange
;
788 /* MSP430 addresses commands as words. */
791 /* Check for an overflow. */
792 if (srel
< -512 || srel
> 511)
794 if (info
->disable_target_specific_optimizations
< 0)
796 static bfd_boolean warned
= FALSE
;
799 info
->callbacks
->warning
801 _("Try enabling relaxation to avoid relocation truncations"),
802 NULL
, input_bfd
, input_section
, relocation
);
806 return bfd_reloc_overflow
;
809 x
= bfd_get_16 (input_bfd
, contents
);
810 x
= (x
& 0xfc00) | (srel
& 0x3ff);
811 bfd_put_16 (input_bfd
, x
, contents
);
814 case R_MSP430X_PCR20_EXT_ODST
:
815 /* [0,4]+[48,16] = ---F ---- FFFF */
816 contents
+= rel
->r_offset
;
817 srel
= (bfd_signed_vma
) relocation
;
821 addend
= (bfd_get_16 (input_bfd
, contents
) & 0xf) << 16;
822 addend
|= bfd_get_16 (input_bfd
, contents
+4);
827 srel
+= rel
->r_addend
;
828 srel
-= rel
->r_offset
;
829 srel
-= (input_section
->output_section
->vma
+
830 input_section
->output_offset
);
831 bfd_put_16 (input_bfd
, (srel
& 0xffff), contents
+ 6);
832 x
= bfd_get_16 (input_bfd
, contents
);
833 x
= (x
& 0xfff0) | ((srel
>> 16) & 0xf);
834 bfd_put_16 (input_bfd
, x
, contents
);
837 case R_MSP430X_ABS20_EXT_SRC
:
838 /* [7,4]+[32,16] = -78- FFFF */
839 contents
+= rel
->r_offset
;
840 srel
= (bfd_signed_vma
) relocation
;
844 addend
= (bfd_get_16 (input_bfd
, contents
) & 0x0780) << 9;
845 addend
|= bfd_get_16 (input_bfd
, contents
+2);
849 srel
+= rel
->r_addend
;
850 bfd_put_16 (input_bfd
, (srel
& 0xffff), contents
+ 4);
852 x
= bfd_get_16 (input_bfd
, contents
);
853 x
= (x
& 0xf87f) | ((srel
<< 7) & 0x0780);
854 bfd_put_16 (input_bfd
, x
, contents
);
857 case R_MSP430_16_PCREL
:
858 contents
+= rel
->r_offset
;
859 srel
= (bfd_signed_vma
) relocation
;
861 srel
+= bfd_get_16 (input_bfd
, contents
);
863 srel
+= rel
->r_addend
;
864 srel
-= rel
->r_offset
;
865 /* Only branch instructions add 2 to the PC... */
866 srel
-= (input_section
->output_section
->vma
+
867 input_section
->output_offset
);
869 return bfd_reloc_outofrange
;
870 bfd_put_16 (input_bfd
, srel
& 0xffff, contents
);
873 case R_MSP430X_PCR20_EXT_DST
:
874 /* [0,4]+[32,16] = ---F FFFF */
875 contents
+= rel
->r_offset
;
876 srel
= (bfd_signed_vma
) relocation
;
880 addend
= (bfd_get_16 (input_bfd
, contents
) & 0xf) << 16;
881 addend
|= bfd_get_16 (input_bfd
, contents
+2);
885 srel
+= rel
->r_addend
;
886 srel
-= rel
->r_offset
;
887 srel
-= (input_section
->output_section
->vma
+
888 input_section
->output_offset
);
889 bfd_put_16 (input_bfd
, (srel
& 0xffff), contents
+ 4);
891 x
= bfd_get_16 (input_bfd
, contents
);
892 x
= (x
& 0xfff0) | (srel
& 0xf);
893 bfd_put_16 (input_bfd
, x
, contents
);
896 case R_MSP430X_PCR20_EXT_SRC
:
897 /* [7,4]+32,16] = -78- FFFF */
898 contents
+= rel
->r_offset
;
899 srel
= (bfd_signed_vma
) relocation
;
903 addend
= ((bfd_get_16 (input_bfd
, contents
) & 0x0780) << 9);
904 addend
|= bfd_get_16 (input_bfd
, contents
+2);
908 srel
+= rel
->r_addend
;
909 srel
-= rel
->r_offset
;
910 /* Only branch instructions add 2 to the PC... */
911 srel
-= (input_section
->output_section
->vma
+
912 input_section
->output_offset
);
913 bfd_put_16 (input_bfd
, (srel
& 0xffff), contents
+ 4);
915 x
= bfd_get_16 (input_bfd
, contents
);
916 x
= (x
& 0xf87f) | ((srel
<< 7) & 0x0780);
917 bfd_put_16 (input_bfd
, x
, contents
);
921 contents
+= rel
->r_offset
;
922 srel
= (bfd_signed_vma
) relocation
;
924 srel
+= bfd_get_8 (input_bfd
, contents
);
926 srel
+= rel
->r_addend
;
927 bfd_put_8 (input_bfd
, srel
& 0xff, contents
);
930 case R_MSP430X_ABS20_EXT_DST
:
931 contents
+= rel
->r_offset
;
932 srel
= (bfd_signed_vma
) relocation
;
934 srel
+= bfd_get_16 (input_bfd
, contents
) & 0xf;
936 srel
+= rel
->r_addend
;
937 bfd_put_16 (input_bfd
, (srel
& 0xffff), contents
+ 4);
939 x
= bfd_get_16 (input_bfd
, contents
);
940 x
= (x
& 0xfff0) | (srel
& 0xf);
941 bfd_put_16 (input_bfd
, x
, contents
);
944 case R_MSP430X_ABS20_EXT_ODST
:
945 /* [0,4]+[48,16] = ---F ---- FFFF */
946 contents
+= rel
->r_offset
;
947 srel
= (bfd_signed_vma
) relocation
;
951 addend
= (bfd_get_16 (input_bfd
, contents
) & 0xf) << 16;
952 addend
|= bfd_get_16 (input_bfd
, contents
+4);
956 srel
+= rel
->r_addend
;
957 bfd_put_16 (input_bfd
, (srel
& 0xffff), contents
+ 6);
959 x
= bfd_get_16 (input_bfd
, contents
);
960 x
= (x
& 0xfff0) | (srel
& 0xf);
961 bfd_put_16 (input_bfd
, x
, contents
);
964 case R_MSP430X_ABS20_ADR_SRC
:
965 /* [8,4]+[32,16] = -F-- FFFF */
966 contents
+= rel
->r_offset
;
967 srel
= (bfd_signed_vma
) relocation
;
972 addend
= ((bfd_get_16 (input_bfd
, contents
) & 0xf00) << 8);
973 addend
|= bfd_get_16 (input_bfd
, contents
+2);
977 srel
+= rel
->r_addend
;
978 bfd_put_16 (input_bfd
, (srel
& 0xffff), contents
+ 2);
980 x
= bfd_get_16 (input_bfd
, contents
);
981 x
= (x
& 0xf0ff) | ((srel
<< 8) & 0x0f00);
982 bfd_put_16 (input_bfd
, x
, contents
);
985 case R_MSP430X_ABS20_ADR_DST
:
986 /* [0,4]+[32,16] = ---F FFFF */
987 contents
+= rel
->r_offset
;
988 srel
= (bfd_signed_vma
) relocation
;
992 addend
= ((bfd_get_16 (input_bfd
, contents
) & 0xf) << 16);
993 addend
|= bfd_get_16 (input_bfd
, contents
+2);
997 srel
+= rel
->r_addend
;
998 bfd_put_16 (input_bfd
, (srel
& 0xffff), contents
+ 2);
1000 x
= bfd_get_16 (input_bfd
, contents
);
1001 x
= (x
& 0xfff0) | (srel
& 0xf);
1002 bfd_put_16 (input_bfd
, x
, contents
);
1005 case R_MSP430X_ABS16
:
1006 contents
+= rel
->r_offset
;
1007 srel
= (bfd_signed_vma
) relocation
;
1009 srel
+= bfd_get_16 (input_bfd
, contents
);
1011 srel
+= rel
->r_addend
;
1014 return bfd_reloc_overflow
;
1015 bfd_put_16 (input_bfd
, srel
& 0xffff, contents
);
1018 case R_MSP430_ABS_HI16
:
1019 /* The EABI specifies that this must be a RELA reloc. */
1020 BFD_ASSERT (! is_rel_reloc
);
1021 contents
+= rel
->r_offset
;
1022 srel
= (bfd_signed_vma
) relocation
;
1023 srel
+= rel
->r_addend
;
1024 bfd_put_16 (input_bfd
, (srel
>> 16) & 0xffff, contents
);
1027 case R_MSP430X_PCR20_CALL
:
1028 /* [0,4]+[32,16] = ---F FFFF*/
1029 contents
+= rel
->r_offset
;
1030 srel
= (bfd_signed_vma
) relocation
;
1034 addend
= (bfd_get_16 (input_bfd
, contents
) & 0xf) << 16;
1035 addend
|= bfd_get_16 (input_bfd
, contents
+2);
1039 srel
+= rel
->r_addend
;
1040 srel
-= rel
->r_offset
;
1041 srel
-= (input_section
->output_section
->vma
+
1042 input_section
->output_offset
);
1043 bfd_put_16 (input_bfd
, srel
& 0xffff, contents
+ 2);
1045 x
= bfd_get_16 (input_bfd
, contents
);
1046 x
= (x
& 0xfff0) | (srel
& 0xf);
1047 bfd_put_16 (input_bfd
, x
, contents
);
1050 case R_MSP430X_PCR16
:
1051 contents
+= rel
->r_offset
;
1052 srel
= (bfd_signed_vma
) relocation
;
1054 srel
+= bfd_get_16 (input_bfd
, contents
);
1056 srel
+= rel
->r_addend
;
1057 srel
-= rel
->r_offset
;
1058 srel
-= (input_section
->output_section
->vma
+
1059 input_section
->output_offset
);
1060 bfd_put_16 (input_bfd
, srel
& 0xffff, contents
);
1063 case R_MSP430_PREL31
:
1064 contents
+= rel
->r_offset
;
1065 srel
= (bfd_signed_vma
) relocation
;
1067 srel
+= (bfd_get_32 (input_bfd
, contents
) & 0x7fffffff);
1069 srel
+= rel
->r_addend
;
1070 srel
+= rel
->r_addend
;
1071 x
= bfd_get_32 (input_bfd
, contents
);
1072 x
= (x
& 0x80000000) | ((srel
>> 31) & 0x7fffffff);
1073 bfd_put_32 (input_bfd
, x
, contents
);
1077 r
= _bfd_final_link_relocate (howto
, input_bfd
, input_section
,
1078 contents
, rel
->r_offset
,
1079 relocation
, rel
->r_addend
);
1082 switch (howto
->type
)
1084 case R_MSP430_10_PCREL
:
1085 contents
+= rel
->r_offset
;
1086 srel
= (bfd_signed_vma
) relocation
;
1087 srel
+= rel
->r_addend
;
1088 srel
-= rel
->r_offset
;
1089 srel
-= 2; /* Branch instructions add 2 to the PC... */
1090 srel
-= (input_section
->output_section
->vma
+
1091 input_section
->output_offset
);
1094 return bfd_reloc_outofrange
;
1096 /* MSP430 addresses commands as words. */
1099 /* Check for an overflow. */
1100 if (srel
< -512 || srel
> 511)
1102 if (info
->disable_target_specific_optimizations
< 0)
1104 static bfd_boolean warned
= FALSE
;
1107 info
->callbacks
->warning
1109 _("Try enabling relaxation to avoid relocation truncations"),
1110 NULL
, input_bfd
, input_section
, relocation
);
1114 return bfd_reloc_overflow
;
1117 x
= bfd_get_16 (input_bfd
, contents
);
1118 x
= (x
& 0xfc00) | (srel
& 0x3ff);
1119 bfd_put_16 (input_bfd
, x
, contents
);
1122 case R_MSP430_2X_PCREL
:
1123 contents
+= rel
->r_offset
;
1124 srel
= (bfd_signed_vma
) relocation
;
1125 srel
+= rel
->r_addend
;
1126 srel
-= rel
->r_offset
;
1127 srel
-= 2; /* Branch instructions add 2 to the PC... */
1128 srel
-= (input_section
->output_section
->vma
+
1129 input_section
->output_offset
);
1132 return bfd_reloc_outofrange
;
1134 /* MSP430 addresses commands as words. */
1137 /* Check for an overflow. */
1138 if (srel
< -512 || srel
> 511)
1139 return bfd_reloc_overflow
;
1141 x
= bfd_get_16 (input_bfd
, contents
);
1142 x
= (x
& 0xfc00) | (srel
& 0x3ff);
1143 bfd_put_16 (input_bfd
, x
, contents
);
1144 /* Handle second jump instruction. */
1145 x
= bfd_get_16 (input_bfd
, contents
- 2);
1147 x
= (x
& 0xfc00) | (srel
& 0x3ff);
1148 bfd_put_16 (input_bfd
, x
, contents
- 2);
1151 case R_MSP430_RL_PCREL
:
1152 case R_MSP430_16_PCREL
:
1153 contents
+= rel
->r_offset
;
1154 srel
= (bfd_signed_vma
) relocation
;
1155 srel
+= rel
->r_addend
;
1156 srel
-= rel
->r_offset
;
1157 /* Only branch instructions add 2 to the PC... */
1158 srel
-= (input_section
->output_section
->vma
+
1159 input_section
->output_offset
);
1162 return bfd_reloc_outofrange
;
1164 bfd_put_16 (input_bfd
, srel
& 0xffff, contents
);
1167 case R_MSP430_16_PCREL_BYTE
:
1168 contents
+= rel
->r_offset
;
1169 srel
= (bfd_signed_vma
) relocation
;
1170 srel
+= rel
->r_addend
;
1171 srel
-= rel
->r_offset
;
1172 /* Only branch instructions add 2 to the PC... */
1173 srel
-= (input_section
->output_section
->vma
+
1174 input_section
->output_offset
);
1176 bfd_put_16 (input_bfd
, srel
& 0xffff, contents
);
1179 case R_MSP430_16_BYTE
:
1180 contents
+= rel
->r_offset
;
1181 srel
= (bfd_signed_vma
) relocation
;
1182 srel
+= rel
->r_addend
;
1183 bfd_put_16 (input_bfd
, srel
& 0xffff, contents
);
1187 contents
+= rel
->r_offset
;
1188 srel
= (bfd_signed_vma
) relocation
;
1189 srel
+= rel
->r_addend
;
1192 return bfd_reloc_notsupported
;
1194 bfd_put_16 (input_bfd
, srel
& 0xffff, contents
);
1198 contents
+= rel
->r_offset
;
1199 srel
= (bfd_signed_vma
) relocation
;
1200 srel
+= rel
->r_addend
;
1202 bfd_put_8 (input_bfd
, srel
& 0xff, contents
);
1205 case R_MSP430_SYM_DIFF
:
1206 /* Cache the input section and value.
1207 The offset is unreliable, since relaxation may
1208 have reduced the following reloc's offset. */
1209 sym_diff_section
= input_section
;
1210 sym_diff_value
= relocation
;
1211 return bfd_reloc_ok
;
1214 r
= _bfd_final_link_relocate (howto
, input_bfd
, input_section
,
1215 contents
, rel
->r_offset
,
1216 relocation
, rel
->r_addend
);
1222 /* Relocate an MSP430 ELF section. */
1225 elf32_msp430_relocate_section (bfd
* output_bfd ATTRIBUTE_UNUSED
,
1226 struct bfd_link_info
* info
,
1228 asection
* input_section
,
1229 bfd_byte
* contents
,
1230 Elf_Internal_Rela
* relocs
,
1231 Elf_Internal_Sym
* local_syms
,
1232 asection
** local_sections
)
1234 Elf_Internal_Shdr
*symtab_hdr
;
1235 struct elf_link_hash_entry
**sym_hashes
;
1236 Elf_Internal_Rela
*rel
;
1237 Elf_Internal_Rela
*relend
;
1239 symtab_hdr
= &elf_tdata (input_bfd
)->symtab_hdr
;
1240 sym_hashes
= elf_sym_hashes (input_bfd
);
1241 relend
= relocs
+ input_section
->reloc_count
;
1243 for (rel
= relocs
; rel
< relend
; rel
++)
1245 reloc_howto_type
*howto
;
1246 unsigned long r_symndx
;
1247 Elf_Internal_Sym
*sym
;
1249 struct elf_link_hash_entry
*h
;
1251 bfd_reloc_status_type r
;
1252 const char *name
= NULL
;
1255 r_type
= ELF32_R_TYPE (rel
->r_info
);
1256 r_symndx
= ELF32_R_SYM (rel
->r_info
);
1258 if (uses_msp430x_relocs (input_bfd
))
1259 howto
= elf_msp430x_howto_table
+ r_type
;
1261 howto
= elf_msp430_howto_table
+ r_type
;
1267 if (r_symndx
< symtab_hdr
->sh_info
)
1269 sym
= local_syms
+ r_symndx
;
1270 sec
= local_sections
[r_symndx
];
1271 relocation
= _bfd_elf_rela_local_sym (output_bfd
, sym
, &sec
, rel
);
1273 name
= bfd_elf_string_from_elf_section
1274 (input_bfd
, symtab_hdr
->sh_link
, sym
->st_name
);
1275 name
= (name
== NULL
|| * name
== 0) ? bfd_section_name (input_bfd
, sec
) : name
;
1279 bfd_boolean unresolved_reloc
, warned
, ignored
;
1281 RELOC_FOR_GLOBAL_SYMBOL (info
, input_bfd
, input_section
, rel
,
1282 r_symndx
, symtab_hdr
, sym_hashes
,
1284 unresolved_reloc
, warned
, ignored
);
1285 name
= h
->root
.root
.string
;
1288 if (sec
!= NULL
&& discarded_section (sec
))
1289 RELOC_AGAINST_DISCARDED_SECTION (info
, input_bfd
, input_section
,
1290 rel
, 1, relend
, howto
, 0, contents
);
1292 if (info
->relocatable
)
1295 r
= msp430_final_link_relocate (howto
, input_bfd
, input_section
,
1296 contents
, rel
, relocation
, info
);
1298 if (r
!= bfd_reloc_ok
)
1300 const char *msg
= (const char *) NULL
;
1304 case bfd_reloc_overflow
:
1305 r
= info
->callbacks
->reloc_overflow
1306 (info
, (h
? &h
->root
: NULL
), name
, howto
->name
,
1307 (bfd_vma
) 0, input_bfd
, input_section
,
1311 case bfd_reloc_undefined
:
1312 r
= info
->callbacks
->undefined_symbol
1313 (info
, name
, input_bfd
, input_section
, rel
->r_offset
, TRUE
);
1316 case bfd_reloc_outofrange
:
1317 msg
= _("internal error: branch/jump to an odd address detected");
1320 case bfd_reloc_notsupported
:
1321 msg
= _("internal error: unsupported relocation error");
1324 case bfd_reloc_dangerous
:
1325 msg
= _("internal error: dangerous relocation");
1329 msg
= _("internal error: unknown error");
1334 r
= info
->callbacks
->warning
1335 (info
, msg
, name
, input_bfd
, input_section
, rel
->r_offset
);
1346 /* The final processing done just before writing out a MSP430 ELF object
1347 file. This gets the MSP430 architecture right based on the machine
1351 bfd_elf_msp430_final_write_processing (bfd
* abfd
,
1352 bfd_boolean linker ATTRIBUTE_UNUSED
)
1356 switch (bfd_get_mach (abfd
))
1359 case bfd_mach_msp110
: val
= E_MSP430_MACH_MSP430x11x1
; break;
1360 case bfd_mach_msp11
: val
= E_MSP430_MACH_MSP430x11
; break;
1361 case bfd_mach_msp12
: val
= E_MSP430_MACH_MSP430x12
; break;
1362 case bfd_mach_msp13
: val
= E_MSP430_MACH_MSP430x13
; break;
1363 case bfd_mach_msp14
: val
= E_MSP430_MACH_MSP430x14
; break;
1364 case bfd_mach_msp15
: val
= E_MSP430_MACH_MSP430x15
; break;
1365 case bfd_mach_msp16
: val
= E_MSP430_MACH_MSP430x16
; break;
1366 case bfd_mach_msp31
: val
= E_MSP430_MACH_MSP430x31
; break;
1367 case bfd_mach_msp32
: val
= E_MSP430_MACH_MSP430x32
; break;
1368 case bfd_mach_msp33
: val
= E_MSP430_MACH_MSP430x33
; break;
1369 case bfd_mach_msp41
: val
= E_MSP430_MACH_MSP430x41
; break;
1370 case bfd_mach_msp42
: val
= E_MSP430_MACH_MSP430x42
; break;
1371 case bfd_mach_msp43
: val
= E_MSP430_MACH_MSP430x43
; break;
1372 case bfd_mach_msp44
: val
= E_MSP430_MACH_MSP430x44
; break;
1373 case bfd_mach_msp20
: val
= E_MSP430_MACH_MSP430x20
; break;
1374 case bfd_mach_msp22
: val
= E_MSP430_MACH_MSP430x22
; break;
1375 case bfd_mach_msp23
: val
= E_MSP430_MACH_MSP430x23
; break;
1376 case bfd_mach_msp24
: val
= E_MSP430_MACH_MSP430x24
; break;
1377 case bfd_mach_msp26
: val
= E_MSP430_MACH_MSP430x26
; break;
1378 case bfd_mach_msp46
: val
= E_MSP430_MACH_MSP430x46
; break;
1379 case bfd_mach_msp47
: val
= E_MSP430_MACH_MSP430x47
; break;
1380 case bfd_mach_msp54
: val
= E_MSP430_MACH_MSP430x54
; break;
1381 case bfd_mach_msp430x
: val
= E_MSP430_MACH_MSP430X
; break;
1384 elf_elfheader (abfd
)->e_machine
= EM_MSP430
;
1385 elf_elfheader (abfd
)->e_flags
&= ~EF_MSP430_MACH
;
1386 elf_elfheader (abfd
)->e_flags
|= val
;
1389 /* Set the right machine number. */
1392 elf32_msp430_object_p (bfd
* abfd
)
1394 int e_set
= bfd_mach_msp14
;
1396 if (elf_elfheader (abfd
)->e_machine
== EM_MSP430
1397 || elf_elfheader (abfd
)->e_machine
== EM_MSP430_OLD
)
1399 int e_mach
= elf_elfheader (abfd
)->e_flags
& EF_MSP430_MACH
;
1404 case E_MSP430_MACH_MSP430x11
: e_set
= bfd_mach_msp11
; break;
1405 case E_MSP430_MACH_MSP430x11x1
: e_set
= bfd_mach_msp110
; break;
1406 case E_MSP430_MACH_MSP430x12
: e_set
= bfd_mach_msp12
; break;
1407 case E_MSP430_MACH_MSP430x13
: e_set
= bfd_mach_msp13
; break;
1408 case E_MSP430_MACH_MSP430x14
: e_set
= bfd_mach_msp14
; break;
1409 case E_MSP430_MACH_MSP430x15
: e_set
= bfd_mach_msp15
; break;
1410 case E_MSP430_MACH_MSP430x16
: e_set
= bfd_mach_msp16
; break;
1411 case E_MSP430_MACH_MSP430x31
: e_set
= bfd_mach_msp31
; break;
1412 case E_MSP430_MACH_MSP430x32
: e_set
= bfd_mach_msp32
; break;
1413 case E_MSP430_MACH_MSP430x33
: e_set
= bfd_mach_msp33
; break;
1414 case E_MSP430_MACH_MSP430x41
: e_set
= bfd_mach_msp41
; break;
1415 case E_MSP430_MACH_MSP430x42
: e_set
= bfd_mach_msp42
; break;
1416 case E_MSP430_MACH_MSP430x43
: e_set
= bfd_mach_msp43
; break;
1417 case E_MSP430_MACH_MSP430x44
: e_set
= bfd_mach_msp44
; break;
1418 case E_MSP430_MACH_MSP430x20
: e_set
= bfd_mach_msp20
; break;
1419 case E_MSP430_MACH_MSP430x22
: e_set
= bfd_mach_msp22
; break;
1420 case E_MSP430_MACH_MSP430x23
: e_set
= bfd_mach_msp23
; break;
1421 case E_MSP430_MACH_MSP430x24
: e_set
= bfd_mach_msp24
; break;
1422 case E_MSP430_MACH_MSP430x26
: e_set
= bfd_mach_msp26
; break;
1423 case E_MSP430_MACH_MSP430x46
: e_set
= bfd_mach_msp46
; break;
1424 case E_MSP430_MACH_MSP430x47
: e_set
= bfd_mach_msp47
; break;
1425 case E_MSP430_MACH_MSP430x54
: e_set
= bfd_mach_msp54
; break;
1426 case E_MSP430_MACH_MSP430X
: e_set
= bfd_mach_msp430x
; break;
1430 return bfd_default_set_arch_mach (abfd
, bfd_arch_msp430
, e_set
);
1433 /* These functions handle relaxing for the msp430.
1434 Relaxation required only in two cases:
1435 - Bad hand coding like jumps from one section to another or
1437 - Sibling calls. This will affect only 'jump label' polymorph. Without
1438 relaxing this enlarges code by 2 bytes. Sibcalls implemented but
1439 do not work in gcc's port by the reason I do not know.
1440 - To convert out of range conditional jump instructions (found inside
1441 a function) into inverted jumps over an unconditional branch instruction.
1442 Anyway, if a relaxation required, user should pass -relax option to the
1445 There are quite a few relaxing opportunities available on the msp430:
1447 ================================================================
1449 1. 3 words -> 1 word
1451 eq == jeq label jne +4; br lab
1452 ne != jne label jeq +4; br lab
1453 lt < jl label jge +4; br lab
1454 ltu < jlo label lhs +4; br lab
1455 ge >= jge label jl +4; br lab
1456 geu >= jhs label jlo +4; br lab
1458 2. 4 words -> 1 word
1460 ltn < jn jn +2; jmp +4; br lab
1462 3. 4 words -> 2 words
1464 gt > jeq +2; jge label jeq +6; jl +4; br label
1465 gtu > jeq +2; jhs label jeq +6; jlo +4; br label
1467 4. 4 words -> 2 words and 2 labels
1469 leu <= jeq label; jlo label jeq +2; jhs +4; br label
1470 le <= jeq label; jl label jeq +2; jge +4; br label
1471 =================================================================
1473 codemap for first cases is (labels masked ):
1474 eq: 0x2002,0x4010,0x0000 -> 0x2400
1475 ne: 0x2402,0x4010,0x0000 -> 0x2000
1476 lt: 0x3402,0x4010,0x0000 -> 0x3800
1477 ltu: 0x2c02,0x4010,0x0000 -> 0x2800
1478 ge: 0x3802,0x4010,0x0000 -> 0x3400
1479 geu: 0x2802,0x4010,0x0000 -> 0x2c00
1482 ltn: 0x3001,0x3c02,0x4010,0x0000 -> 0x3000
1485 gt: 0x2403,0x3802,0x4010,0x0000 -> 0x2401,0x3400
1486 gtu: 0x2403,0x2802,0x4010,0x0000 -> 0x2401,0x2c00
1489 leu: 0x2401,0x2c02,0x4010,0x0000 -> 0x2400,0x2800
1490 le: 0x2401,0x3402,0x4010,0x0000 -> 0x2400,0x3800
1493 jump: 0x4010,0x0000 -> 0x3c00. */
1495 #define NUMB_RELAX_CODES 12
1496 static struct rcodes_s
1498 int f0
, f1
; /* From code. */
1499 int t0
, t1
; /* To code. */
1500 int labels
; /* Position of labels: 1 - one label at first
1501 word, 2 - one at second word, 3 - two
1503 int cdx
; /* Words to match. */
1504 int bs
; /* Shrink bytes. */
1505 int off
; /* Offset from old label for new code. */
1506 int ncl
; /* New code length. */
1508 {/* lab,cdx,bs,off,ncl */
1509 { 0x0000, 0x0000, 0x3c00, 0x0000, 1, 0, 2, 2, 2}, /* jump */
1510 { 0x0000, 0x2002, 0x2400, 0x0000, 1, 1, 4, 4, 2}, /* eq */
1511 { 0x0000, 0x2402, 0x2000, 0x0000, 1, 1, 4, 4, 2}, /* ne */
1512 { 0x0000, 0x3402, 0x3800, 0x0000, 1, 1, 4, 4, 2}, /* lt */
1513 { 0x0000, 0x2c02, 0x2800, 0x0000, 1, 1, 4, 4, 2}, /* ltu */
1514 { 0x0000, 0x3802, 0x3400, 0x0000, 1, 1, 4, 4, 2}, /* ge */
1515 { 0x0000, 0x2802, 0x2c00, 0x0000, 1, 1, 4, 4, 2}, /* geu */
1516 { 0x3001, 0x3c02, 0x3000, 0x0000, 1, 2, 6, 6, 2}, /* ltn */
1517 { 0x2403, 0x3802, 0x2401, 0x3400, 2, 2, 4, 6, 4}, /* gt */
1518 { 0x2403, 0x2802, 0x2401, 0x2c00, 2, 2, 4, 6, 4}, /* gtu */
1519 { 0x2401, 0x2c02, 0x2400, 0x2800, 3, 2, 4, 6, 4}, /* leu , 2 labels */
1520 { 0x2401, 0x2c02, 0x2400, 0x2800, 3, 2, 4, 6, 4}, /* le , 2 labels */
1521 { 0, 0, 0, 0, 0, 0, 0, 0, 0}
1524 /* Return TRUE if a symbol exists at the given address. */
1527 msp430_elf_symbol_address_p (bfd
* abfd
,
1529 Elf_Internal_Sym
* isym
,
1532 Elf_Internal_Shdr
*symtab_hdr
;
1533 unsigned int sec_shndx
;
1534 Elf_Internal_Sym
*isymend
;
1535 struct elf_link_hash_entry
**sym_hashes
;
1536 struct elf_link_hash_entry
**end_hashes
;
1537 unsigned int symcount
;
1539 sec_shndx
= _bfd_elf_section_from_bfd_section (abfd
, sec
);
1541 /* Examine all the local symbols. */
1542 symtab_hdr
= &elf_tdata (abfd
)->symtab_hdr
;
1543 for (isymend
= isym
+ symtab_hdr
->sh_info
; isym
< isymend
; isym
++)
1544 if (isym
->st_shndx
== sec_shndx
&& isym
->st_value
== addr
)
1547 symcount
= (symtab_hdr
->sh_size
/ sizeof (Elf32_External_Sym
)
1548 - symtab_hdr
->sh_info
);
1549 sym_hashes
= elf_sym_hashes (abfd
);
1550 end_hashes
= sym_hashes
+ symcount
;
1551 for (; sym_hashes
< end_hashes
; sym_hashes
++)
1553 struct elf_link_hash_entry
*sym_hash
= *sym_hashes
;
1555 if ((sym_hash
->root
.type
== bfd_link_hash_defined
1556 || sym_hash
->root
.type
== bfd_link_hash_defweak
)
1557 && sym_hash
->root
.u
.def
.section
== sec
1558 && sym_hash
->root
.u
.def
.value
== addr
)
1565 /* Adjust all local symbols defined as '.section + 0xXXXX' (.section has
1566 sec_shndx) referenced from current and other sections. */
1569 msp430_elf_relax_adjust_locals (bfd
* abfd
, asection
* sec
, bfd_vma addr
,
1570 int count
, unsigned int sec_shndx
,
1573 Elf_Internal_Shdr
*symtab_hdr
;
1574 Elf_Internal_Rela
*irel
;
1575 Elf_Internal_Rela
*irelend
;
1576 Elf_Internal_Sym
*isym
;
1578 irel
= elf_section_data (sec
)->relocs
;
1582 irelend
= irel
+ sec
->reloc_count
;
1583 symtab_hdr
= & elf_tdata (abfd
)->symtab_hdr
;
1584 isym
= (Elf_Internal_Sym
*) symtab_hdr
->contents
;
1586 for (;irel
< irelend
; irel
++)
1588 unsigned int sidx
= ELF32_R_SYM(irel
->r_info
);
1589 Elf_Internal_Sym
*lsym
= isym
+ sidx
;
1591 /* Adjust symbols referenced by .sec+0xXX */
1592 if (irel
->r_addend
> addr
&& irel
->r_addend
< toaddr
1593 && sidx
< symtab_hdr
->sh_info
1594 && lsym
->st_shndx
== sec_shndx
)
1595 irel
->r_addend
-= count
;
1601 /* Delete some bytes from a section while relaxing. */
1604 msp430_elf_relax_delete_bytes (bfd
* abfd
, asection
* sec
, bfd_vma addr
,
1607 Elf_Internal_Shdr
*symtab_hdr
;
1608 unsigned int sec_shndx
;
1610 Elf_Internal_Rela
*irel
;
1611 Elf_Internal_Rela
*irelend
;
1613 Elf_Internal_Sym
*isym
;
1614 Elf_Internal_Sym
*isymend
;
1615 struct elf_link_hash_entry
**sym_hashes
;
1616 struct elf_link_hash_entry
**end_hashes
;
1617 unsigned int symcount
;
1620 sec_shndx
= _bfd_elf_section_from_bfd_section (abfd
, sec
);
1622 contents
= elf_section_data (sec
)->this_hdr
.contents
;
1626 irel
= elf_section_data (sec
)->relocs
;
1627 irelend
= irel
+ sec
->reloc_count
;
1629 /* Actually delete the bytes. */
1630 memmove (contents
+ addr
, contents
+ addr
+ count
,
1631 (size_t) (toaddr
- addr
- count
));
1634 /* Adjust all the relocs. */
1635 symtab_hdr
= & elf_tdata (abfd
)->symtab_hdr
;
1636 isym
= (Elf_Internal_Sym
*) symtab_hdr
->contents
;
1637 for (; irel
< irelend
; irel
++)
1639 /* Get the new reloc address. */
1640 if ((irel
->r_offset
> addr
&& irel
->r_offset
< toaddr
))
1641 irel
->r_offset
-= count
;
1644 for (p
= abfd
->sections
; p
!= NULL
; p
= p
->next
)
1645 msp430_elf_relax_adjust_locals (abfd
,p
,addr
,count
,sec_shndx
,toaddr
);
1647 /* Adjust the local symbols defined in this section. */
1648 symtab_hdr
= & elf_tdata (abfd
)->symtab_hdr
;
1649 isym
= (Elf_Internal_Sym
*) symtab_hdr
->contents
;
1650 for (isymend
= isym
+ symtab_hdr
->sh_info
; isym
< isymend
; isym
++)
1651 if (isym
->st_shndx
== sec_shndx
1652 && isym
->st_value
> addr
&& isym
->st_value
< toaddr
)
1653 isym
->st_value
-= count
;
1655 /* Now adjust the global symbols defined in this section. */
1656 symcount
= (symtab_hdr
->sh_size
/ sizeof (Elf32_External_Sym
)
1657 - symtab_hdr
->sh_info
);
1658 sym_hashes
= elf_sym_hashes (abfd
);
1659 end_hashes
= sym_hashes
+ symcount
;
1660 for (; sym_hashes
< end_hashes
; sym_hashes
++)
1662 struct elf_link_hash_entry
*sym_hash
= *sym_hashes
;
1664 if ((sym_hash
->root
.type
== bfd_link_hash_defined
1665 || sym_hash
->root
.type
== bfd_link_hash_defweak
)
1666 && sym_hash
->root
.u
.def
.section
== sec
1667 && sym_hash
->root
.u
.def
.value
> addr
1668 && sym_hash
->root
.u
.def
.value
< toaddr
)
1669 sym_hash
->root
.u
.def
.value
-= count
;
1675 /* Insert two words into a section whilst relaxing. */
1678 msp430_elf_relax_add_two_words (bfd
* abfd
, asection
* sec
, bfd_vma addr
,
1679 int word1
, int word2
)
1681 Elf_Internal_Shdr
*symtab_hdr
;
1682 unsigned int sec_shndx
;
1684 Elf_Internal_Rela
*irel
;
1685 Elf_Internal_Rela
*irelend
;
1686 Elf_Internal_Sym
*isym
;
1687 Elf_Internal_Sym
*isymend
;
1688 struct elf_link_hash_entry
**sym_hashes
;
1689 struct elf_link_hash_entry
**end_hashes
;
1690 unsigned int symcount
;
1694 contents
= elf_section_data (sec
)->this_hdr
.contents
;
1695 sec_end
= sec
->size
;
1697 /* Make space for the new words. */
1698 contents
= bfd_realloc (contents
, sec_end
+ 4);
1699 memmove (contents
+ addr
+ 4, contents
+ addr
, sec_end
- addr
);
1701 /* Insert the new words. */
1702 bfd_put_16 (abfd
, word1
, contents
+ addr
);
1703 bfd_put_16 (abfd
, word2
, contents
+ addr
+ 2);
1705 /* Update the section information. */
1707 elf_section_data (sec
)->this_hdr
.contents
= contents
;
1709 /* Adjust all the relocs. */
1710 irel
= elf_section_data (sec
)->relocs
;
1711 irelend
= irel
+ sec
->reloc_count
;
1713 for (; irel
< irelend
; irel
++)
1714 if ((irel
->r_offset
>= addr
&& irel
->r_offset
< sec_end
))
1715 irel
->r_offset
+= 4;
1717 /* Adjust the local symbols defined in this section. */
1718 sec_shndx
= _bfd_elf_section_from_bfd_section (abfd
, sec
);
1719 for (p
= abfd
->sections
; p
!= NULL
; p
= p
->next
)
1720 msp430_elf_relax_adjust_locals (abfd
, p
, addr
, -4,
1721 sec_shndx
, sec_end
);
1723 /* Adjust the global symbols affected by the move. */
1724 symtab_hdr
= & elf_tdata (abfd
)->symtab_hdr
;
1725 isym
= (Elf_Internal_Sym
*) symtab_hdr
->contents
;
1726 for (isymend
= isym
+ symtab_hdr
->sh_info
; isym
< isymend
; isym
++)
1727 if (isym
->st_shndx
== sec_shndx
1728 && isym
->st_value
>= addr
&& isym
->st_value
< sec_end
)
1729 isym
->st_value
+= 4;
1731 /* Now adjust the global symbols defined in this section. */
1732 symcount
= (symtab_hdr
->sh_size
/ sizeof (Elf32_External_Sym
)
1733 - symtab_hdr
->sh_info
);
1734 sym_hashes
= elf_sym_hashes (abfd
);
1735 end_hashes
= sym_hashes
+ symcount
;
1736 for (; sym_hashes
< end_hashes
; sym_hashes
++)
1738 struct elf_link_hash_entry
*sym_hash
= *sym_hashes
;
1740 if ((sym_hash
->root
.type
== bfd_link_hash_defined
1741 || sym_hash
->root
.type
== bfd_link_hash_defweak
)
1742 && sym_hash
->root
.u
.def
.section
== sec
1743 && sym_hash
->root
.u
.def
.value
>= addr
1744 && sym_hash
->root
.u
.def
.value
< sec_end
)
1745 sym_hash
->root
.u
.def
.value
+= 4;
1752 msp430_elf_relax_section (bfd
* abfd
, asection
* sec
,
1753 struct bfd_link_info
* link_info
,
1754 bfd_boolean
* again
)
1756 Elf_Internal_Shdr
* symtab_hdr
;
1757 Elf_Internal_Rela
* internal_relocs
;
1758 Elf_Internal_Rela
* irel
;
1759 Elf_Internal_Rela
* irelend
;
1760 bfd_byte
* contents
= NULL
;
1761 Elf_Internal_Sym
* isymbuf
= NULL
;
1764 /* Assume nothing changes. */
1767 /* We don't have to do anything for a relocatable link, if
1768 this section does not have relocs, or if this is not a
1770 if (link_info
->relocatable
1771 || (sec
->flags
& SEC_RELOC
) == 0
1772 || sec
->reloc_count
== 0 || (sec
->flags
& SEC_CODE
) == 0)
1775 symtab_hdr
= & elf_tdata (abfd
)->symtab_hdr
;
1777 /* Get a copy of the native relocations. */
1779 _bfd_elf_link_read_relocs (abfd
, sec
, NULL
, NULL
, link_info
->keep_memory
);
1780 if (internal_relocs
== NULL
)
1783 /* Walk through them looking for relaxing opportunities. */
1784 irelend
= internal_relocs
+ sec
->reloc_count
;
1786 /* Do code size growing relocs first. */
1787 for (irel
= internal_relocs
; irel
< irelend
; irel
++)
1791 /* If this isn't something that can be relaxed, then ignore
1793 if (uses_msp430x_relocs (abfd
)
1794 && ELF32_R_TYPE (irel
->r_info
) == (int) R_MSP430X_10_PCREL
)
1796 else if (! uses_msp430x_relocs (abfd
)
1797 && ELF32_R_TYPE (irel
->r_info
) == (int) R_MSP430_10_PCREL
)
1802 /* Get the section contents if we haven't done so already. */
1803 if (contents
== NULL
)
1805 /* Get cached copy if it exists. */
1806 if (elf_section_data (sec
)->this_hdr
.contents
!= NULL
)
1807 contents
= elf_section_data (sec
)->this_hdr
.contents
;
1808 else if (! bfd_malloc_and_get_section (abfd
, sec
, &contents
))
1812 /* Read this BFD's local symbols if we haven't done so already. */
1813 if (isymbuf
== NULL
&& symtab_hdr
->sh_info
!= 0)
1815 isymbuf
= (Elf_Internal_Sym
*) symtab_hdr
->contents
;
1816 if (isymbuf
== NULL
)
1817 isymbuf
= bfd_elf_get_elf_syms (abfd
, symtab_hdr
,
1818 symtab_hdr
->sh_info
, 0,
1820 if (isymbuf
== NULL
)
1824 /* Get the value of the symbol referred to by the reloc. */
1825 if (ELF32_R_SYM (irel
->r_info
) < symtab_hdr
->sh_info
)
1827 /* A local symbol. */
1828 Elf_Internal_Sym
*isym
;
1831 isym
= isymbuf
+ ELF32_R_SYM (irel
->r_info
);
1832 if (isym
->st_shndx
== SHN_UNDEF
)
1833 sym_sec
= bfd_und_section_ptr
;
1834 else if (isym
->st_shndx
== SHN_ABS
)
1835 sym_sec
= bfd_abs_section_ptr
;
1836 else if (isym
->st_shndx
== SHN_COMMON
)
1837 sym_sec
= bfd_com_section_ptr
;
1839 sym_sec
= bfd_section_from_elf_index (abfd
, isym
->st_shndx
);
1840 symval
= (isym
->st_value
1841 + sym_sec
->output_section
->vma
+ sym_sec
->output_offset
);
1846 struct elf_link_hash_entry
*h
;
1848 /* An external symbol. */
1849 indx
= ELF32_R_SYM (irel
->r_info
) - symtab_hdr
->sh_info
;
1850 h
= elf_sym_hashes (abfd
)[indx
];
1851 BFD_ASSERT (h
!= NULL
);
1853 if (h
->root
.type
!= bfd_link_hash_defined
1854 && h
->root
.type
!= bfd_link_hash_defweak
)
1855 /* This appears to be a reference to an undefined
1856 symbol. Just ignore it--it will be caught by the
1857 regular reloc processing. */
1860 symval
= (h
->root
.u
.def
.value
1861 + h
->root
.u
.def
.section
->output_section
->vma
1862 + h
->root
.u
.def
.section
->output_offset
);
1865 /* For simplicity of coding, we are going to modify the section
1866 contents, the section relocs, and the BFD symbol table. We
1867 must tell the rest of the code not to free up this
1868 information. It would be possible to instead create a table
1869 of changes which have to be made, as is done in coff-mips.c;
1870 that would be more work, but would require less memory when
1871 the linker is run. */
1873 bfd_signed_vma value
= symval
;
1876 /* Compute the value that will be relocated. */
1877 value
+= irel
->r_addend
;
1878 /* Convert to PC relative. */
1879 value
-= (sec
->output_section
->vma
+ sec
->output_offset
);
1880 value
-= irel
->r_offset
;
1885 /* If it is in range then no modifications are needed. */
1886 if (value
>= -512 && value
<= 511)
1889 /* Get the opcode. */
1890 opcode
= bfd_get_16 (abfd
, contents
+ irel
->r_offset
);
1892 /* Compute the new opcode. We are going to convert:
1898 switch (opcode
& 0xfc00)
1900 case 0x3800: opcode
= 0x3402; break; /* Jl -> Jge +2 */
1901 case 0x3400: opcode
= 0x3802; break; /* Jge -> Jl +2 */
1902 case 0x2c00: opcode
= 0x2802; break; /* Jhs -> Jlo +2 */
1903 case 0x2800: opcode
= 0x2c02; break; /* Jlo -> Jhs +2 */
1904 case 0x2400: opcode
= 0x2002; break; /* Jeq -> Jne +2 */
1905 case 0x2000: opcode
= 0x2402; break; /* jne -> Jeq +2 */
1906 case 0x3000: /* jn */
1907 /* There is no direct inverse of the Jn insn.
1908 FIXME: we could do this as:
1915 /* Not a conditional branch instruction. */
1916 /* fprintf (stderr, "unrecog: %x\n", opcode); */
1920 /* Note that we've changed the relocs, section contents, etc. */
1921 elf_section_data (sec
)->relocs
= internal_relocs
;
1922 elf_section_data (sec
)->this_hdr
.contents
= contents
;
1923 symtab_hdr
->contents
= (unsigned char *) isymbuf
;
1925 /* Install the new opcode. */
1926 bfd_put_16 (abfd
, opcode
, contents
+ irel
->r_offset
);
1928 /* Insert the new branch instruction. */
1929 if (uses_msp430x_relocs (abfd
))
1931 /* Insert an absolute branch (aka MOVA) instruction. */
1932 contents
= msp430_elf_relax_add_two_words
1933 (abfd
, sec
, irel
->r_offset
+ 2, 0x0080, 0x0000);
1935 /* Update the relocation to point to the inserted branch
1936 instruction. Note - we are changing a PC-relative reloc
1937 into an absolute reloc, but this is OK because we have
1938 arranged with the assembler to have the reloc's value be
1939 a (local) symbol, not a section+offset value. */
1940 irel
->r_offset
+= 2;
1941 irel
->r_info
= ELF32_R_INFO (ELF32_R_SYM (irel
->r_info
),
1942 R_MSP430X_ABS20_ADR_SRC
);
1946 contents
= msp430_elf_relax_add_two_words
1947 (abfd
, sec
, irel
->r_offset
+ 2, 0x4030, 0x0000);
1949 /* See comment above about converting a 10-bit PC-rel
1950 relocation into a 16-bit absolute relocation. */
1951 irel
->r_offset
+= 4;
1952 irel
->r_info
= ELF32_R_INFO (ELF32_R_SYM (irel
->r_info
),
1956 /* Growing the section may mean that other
1957 conditional branches need to be fixed. */
1961 if (! uses_msp430x_relocs (abfd
))
1962 /* Now perform the relocations that shrink the code size.
1963 We only do this for non msp430x as gas only generates the RL
1964 reloc for the msp430. */
1965 for (irel
= internal_relocs
; irel
< irelend
; irel
++)
1969 /* Get the section contents if we haven't done so already. */
1970 if (contents
== NULL
)
1972 /* Get cached copy if it exists. */
1973 if (elf_section_data (sec
)->this_hdr
.contents
!= NULL
)
1974 contents
= elf_section_data (sec
)->this_hdr
.contents
;
1975 else if (! bfd_malloc_and_get_section (abfd
, sec
, &contents
))
1979 /* Read this BFD's local symbols if we haven't done so already. */
1980 if (isymbuf
== NULL
&& symtab_hdr
->sh_info
!= 0)
1982 isymbuf
= (Elf_Internal_Sym
*) symtab_hdr
->contents
;
1983 if (isymbuf
== NULL
)
1984 isymbuf
= bfd_elf_get_elf_syms (abfd
, symtab_hdr
,
1985 symtab_hdr
->sh_info
, 0,
1987 if (isymbuf
== NULL
)
1991 /* Get the value of the symbol referred to by the reloc. */
1992 if (ELF32_R_SYM (irel
->r_info
) < symtab_hdr
->sh_info
)
1994 /* A local symbol. */
1995 Elf_Internal_Sym
*isym
;
1998 isym
= isymbuf
+ ELF32_R_SYM (irel
->r_info
);
1999 if (isym
->st_shndx
== SHN_UNDEF
)
2000 sym_sec
= bfd_und_section_ptr
;
2001 else if (isym
->st_shndx
== SHN_ABS
)
2002 sym_sec
= bfd_abs_section_ptr
;
2003 else if (isym
->st_shndx
== SHN_COMMON
)
2004 sym_sec
= bfd_com_section_ptr
;
2006 sym_sec
= bfd_section_from_elf_index (abfd
, isym
->st_shndx
);
2007 symval
= (isym
->st_value
2008 + sym_sec
->output_section
->vma
+ sym_sec
->output_offset
);
2013 struct elf_link_hash_entry
*h
;
2015 /* An external symbol. */
2016 indx
= ELF32_R_SYM (irel
->r_info
) - symtab_hdr
->sh_info
;
2017 h
= elf_sym_hashes (abfd
)[indx
];
2018 BFD_ASSERT (h
!= NULL
);
2020 if (h
->root
.type
!= bfd_link_hash_defined
2021 && h
->root
.type
!= bfd_link_hash_defweak
)
2022 /* This appears to be a reference to an undefined
2023 symbol. Just ignore it--it will be caught by the
2024 regular reloc processing. */
2027 symval
= (h
->root
.u
.def
.value
2028 + h
->root
.u
.def
.section
->output_section
->vma
2029 + h
->root
.u
.def
.section
->output_offset
);
2032 /* For simplicity of coding, we are going to modify the section
2033 contents, the section relocs, and the BFD symbol table. We
2034 must tell the rest of the code not to free up this
2035 information. It would be possible to instead create a table
2036 of changes which have to be made, as is done in coff-mips.c;
2037 that would be more work, but would require less memory when
2038 the linker is run. */
2040 /* Try to turn a 16bit pc-relative branch into a 10bit pc-relative
2042 /* Paranoia? paranoia... */
2043 if (ELF32_R_TYPE (irel
->r_info
) == (int) R_MSP430_RL_PCREL
)
2045 bfd_vma value
= symval
;
2047 /* Deal with pc-relative gunk. */
2048 value
-= (sec
->output_section
->vma
+ sec
->output_offset
);
2049 value
-= irel
->r_offset
;
2050 value
+= irel
->r_addend
;
2052 /* See if the value will fit in 10 bits, note the high value is
2053 1016 as the target will be two bytes closer if we are
2055 if ((long) value
< 1016 && (long) value
> -1016)
2057 int code0
= 0, code1
= 0, code2
= 0;
2059 struct rcodes_s
*rx
;
2061 /* Get the opcode. */
2062 if (irel
->r_offset
>= 6)
2063 code0
= bfd_get_16 (abfd
, contents
+ irel
->r_offset
- 6);
2065 if (irel
->r_offset
>= 4)
2066 code1
= bfd_get_16 (abfd
, contents
+ irel
->r_offset
- 4);
2068 code2
= bfd_get_16 (abfd
, contents
+ irel
->r_offset
- 2);
2070 if (code2
!= 0x4010)
2073 /* Check r4 and r3. */
2074 for (i
= NUMB_RELAX_CODES
- 1; i
>= 0; i
--)
2077 if (rx
->cdx
== 2 && rx
->f0
== code0
&& rx
->f1
== code1
)
2079 else if (rx
->cdx
== 1 && rx
->f1
== code1
)
2081 else if (rx
->cdx
== 0) /* This is an unconditional jump. */
2086 .Label0: ; we do not care about this label
2088 .Label1: ; make sure there is no label here
2090 .Label2: ; make sure there is no label here
2093 So, if there is .Label1 or .Label2 we cannot relax this code.
2094 This actually should not happen, cause for relaxable
2095 instructions we use RL_PCREL reloc instead of 16_PCREL.
2096 Will change this in the future. */
2099 && msp430_elf_symbol_address_p (abfd
, sec
, isymbuf
,
2100 irel
->r_offset
- 2))
2103 && msp430_elf_symbol_address_p (abfd
, sec
, isymbuf
,
2104 irel
->r_offset
- 4))
2107 /* Note that we've changed the relocs, section contents, etc. */
2108 elf_section_data (sec
)->relocs
= internal_relocs
;
2109 elf_section_data (sec
)->this_hdr
.contents
= contents
;
2110 symtab_hdr
->contents
= (unsigned char *) isymbuf
;
2112 /* Fix the relocation's type. */
2113 if (uses_msp430x_relocs (abfd
))
2115 if (rx
->labels
== 3) /* Handle special cases. */
2116 irel
->r_info
= ELF32_R_INFO (ELF32_R_SYM (irel
->r_info
),
2117 R_MSP430X_2X_PCREL
);
2119 irel
->r_info
= ELF32_R_INFO (ELF32_R_SYM (irel
->r_info
),
2120 R_MSP430X_10_PCREL
);
2124 if (rx
->labels
== 3) /* Handle special cases. */
2125 irel
->r_info
= ELF32_R_INFO (ELF32_R_SYM (irel
->r_info
),
2128 irel
->r_info
= ELF32_R_INFO (ELF32_R_SYM (irel
->r_info
),
2132 /* Fix the opcode right way. */
2133 bfd_put_16 (abfd
, rx
->t0
, contents
+ irel
->r_offset
- rx
->off
);
2135 bfd_put_16 (abfd
, rx
->t1
,
2136 contents
+ irel
->r_offset
- rx
->off
+ 2);
2139 if (!msp430_elf_relax_delete_bytes (abfd
, sec
,
2140 irel
->r_offset
- rx
->off
+
2144 /* Handle unconditional jumps. */
2146 irel
->r_offset
-= 2;
2148 /* That will change things, so, we should relax again.
2149 Note that this is not required, and it may be slow. */
2155 if (isymbuf
!= NULL
&& symtab_hdr
->contents
!= (unsigned char *) isymbuf
)
2157 if (!link_info
->keep_memory
)
2161 /* Cache the symbols for elf_link_input_bfd. */
2162 symtab_hdr
->contents
= (unsigned char *) isymbuf
;
2166 if (contents
!= NULL
2167 && elf_section_data (sec
)->this_hdr
.contents
!= contents
)
2169 if (!link_info
->keep_memory
)
2173 /* Cache the section contents for elf_link_input_bfd. */
2174 elf_section_data (sec
)->this_hdr
.contents
= contents
;
2178 if (internal_relocs
!= NULL
2179 && elf_section_data (sec
)->relocs
!= internal_relocs
)
2180 free (internal_relocs
);
2185 if (isymbuf
!= NULL
&& symtab_hdr
->contents
!= (unsigned char *) isymbuf
)
2187 if (contents
!= NULL
2188 && elf_section_data (sec
)->this_hdr
.contents
!= contents
)
2190 if (internal_relocs
!= NULL
2191 && elf_section_data (sec
)->relocs
!= internal_relocs
)
2192 free (internal_relocs
);
2197 /* Handle an MSP430 specific section when reading an object file.
2198 This is called when bfd_section_from_shdr finds a section with
2202 elf32_msp430_section_from_shdr (bfd
*abfd
,
2203 Elf_Internal_Shdr
* hdr
,
2207 switch (hdr
->sh_type
)
2209 case SHT_MSP430_SEC_FLAGS
:
2210 case SHT_MSP430_SYM_ALIASES
:
2211 case SHT_MSP430_ATTRIBUTES
:
2212 return _bfd_elf_make_section_from_shdr (abfd
, hdr
, name
, shindex
);
2219 elf32_msp430_obj_attrs_handle_unknown (bfd
*abfd
, int tag
)
2222 (_("Warning: %B: Unknown MSPABI object attribute %d"),
2227 /* Determine whether an object attribute tag takes an integer, a
2231 elf32_msp430_obj_attrs_arg_type (int tag
)
2233 if (tag
== Tag_compatibility
)
2234 return ATTR_TYPE_FLAG_INT_VAL
| ATTR_TYPE_FLAG_STR_VAL
;
2237 return ATTR_TYPE_FLAG_INT_VAL
;
2239 return (tag
& 1) != 0 ? ATTR_TYPE_FLAG_STR_VAL
: ATTR_TYPE_FLAG_INT_VAL
;
2242 static inline const char *
2247 case 1: return "MSP430";
2248 case 2: return "MSP430X";
2249 default: return "unknown";
2253 static inline const char *
2254 code_model (int model
)
2258 case 1: return "small";
2259 case 2: return "large";
2260 default: return "unknown";
2264 static inline const char *
2265 data_model (int model
)
2269 case 1: return "small";
2270 case 2: return "large";
2271 case 3: return "restricted large";
2272 default: return "unknown";
2276 /* Merge MSPABI object attributes from IBFD into OBFD.
2277 Raise an error if there are conflicting attributes. */
2280 elf32_msp430_merge_mspabi_attributes (bfd
*ibfd
, bfd
*obfd
)
2282 obj_attribute
*in_attr
;
2283 obj_attribute
*out_attr
;
2284 bfd_boolean result
= TRUE
;
2285 static bfd
* first_input_bfd
= NULL
;
2287 /* Skip linker created files. */
2288 if (ibfd
->flags
& BFD_LINKER_CREATED
)
2291 /* If this is the first real object just copy the attributes. */
2292 if (!elf_known_obj_attributes_proc (obfd
)[0].i
)
2294 _bfd_elf_copy_obj_attributes (ibfd
, obfd
);
2296 out_attr
= elf_known_obj_attributes_proc (obfd
);
2298 /* Use the Tag_null value to indicate that
2299 the attributes have been initialized. */
2302 first_input_bfd
= ibfd
;
2306 in_attr
= elf_known_obj_attributes_proc (ibfd
);
2307 out_attr
= elf_known_obj_attributes_proc (obfd
);
2309 /* The ISAs must be the same. */
2310 if (in_attr
[OFBA_MSPABI_Tag_ISA
].i
!= out_attr
[OFBA_MSPABI_Tag_ISA
].i
)
2313 (_("error: %B uses %s instructions but %B uses %s"),
2314 ibfd
, first_input_bfd
,
2315 isa_type (in_attr
[OFBA_MSPABI_Tag_ISA
].i
),
2316 isa_type (out_attr
[OFBA_MSPABI_Tag_ISA
].i
));
2320 /* The code models must be the same. */
2321 if (in_attr
[OFBA_MSPABI_Tag_Code_Model
].i
!=
2322 out_attr
[OFBA_MSPABI_Tag_Code_Model
].i
)
2325 (_("error: %B uses the %s code model whereas %B uses the %s code model"),
2326 ibfd
, first_input_bfd
,
2327 code_model (in_attr
[OFBA_MSPABI_Tag_Code_Model
].i
),
2328 code_model (out_attr
[OFBA_MSPABI_Tag_Code_Model
].i
));
2332 /* The large code model is only supported by the MSP430X. */
2333 if (in_attr
[OFBA_MSPABI_Tag_Code_Model
].i
== 2
2334 && out_attr
[OFBA_MSPABI_Tag_ISA
].i
!= 2)
2337 (_("error: %B uses the large code model but %B uses MSP430 instructions"),
2338 ibfd
, first_input_bfd
);
2342 /* The data models must be the same. */
2343 if (in_attr
[OFBA_MSPABI_Tag_Data_Model
].i
!=
2344 out_attr
[OFBA_MSPABI_Tag_Data_Model
].i
)
2347 (_("error: %B uses the %s data model whereas %B uses the %s data model"),
2348 ibfd
, first_input_bfd
,
2349 data_model (in_attr
[OFBA_MSPABI_Tag_Data_Model
].i
),
2350 data_model (out_attr
[OFBA_MSPABI_Tag_Data_Model
].i
));
2354 /* The small code model requires the use of the small data model. */
2355 if (in_attr
[OFBA_MSPABI_Tag_Code_Model
].i
== 1
2356 && out_attr
[OFBA_MSPABI_Tag_Data_Model
].i
!= 1)
2359 (_("error: %B uses the small code model but %B uses the %s data model"),
2360 ibfd
, first_input_bfd
,
2361 data_model (out_attr
[OFBA_MSPABI_Tag_Data_Model
].i
));
2365 /* The large data models are only supported by the MSP430X. */
2366 if (in_attr
[OFBA_MSPABI_Tag_Data_Model
].i
> 1
2367 && out_attr
[OFBA_MSPABI_Tag_ISA
].i
!= 2)
2370 (_("error: %B uses the %s data model but %B only uses MSP430 instructions"),
2371 ibfd
, first_input_bfd
,
2372 data_model (in_attr
[OFBA_MSPABI_Tag_Data_Model
].i
));
2379 /* Merge backend specific data from an object file to the output
2380 object file when linking. */
2383 elf32_msp430_merge_private_bfd_data (bfd
* ibfd
, bfd
* obfd
)
2385 /* Make sure that the machine number reflects the most
2386 advanced version of the MSP architecture required. */
2387 #define max(a,b) ((a) > (b) ? (a) : (b))
2388 if (bfd_get_mach (ibfd
) != bfd_get_mach (obfd
))
2389 bfd_default_set_arch_mach (obfd
, bfd_get_arch (obfd
),
2390 max (bfd_get_mach (ibfd
), bfd_get_mach (obfd
)));
2393 return elf32_msp430_merge_mspabi_attributes (ibfd
, obfd
);
2397 msp430_elf_is_target_special_symbol (bfd
*abfd
, asymbol
*sym
)
2399 return _bfd_elf_is_local_label_name (abfd
, sym
->name
);
2402 /* This is gross. The MSP430 EABI says that (sec 11.5):
2404 "An implementation may choose to use Rel or Rela
2405 type relocations for other relocations."
2407 But it also says that:
2409 "Certain relocations are identified as Rela only. [snip]
2410 Where Rela is specified, an implementation must honor
2413 There is one relocation marked as requiring RELA - R_MSP430_ABS_HI16 - but
2414 to keep things simple we choose to use RELA relocations throughout. The
2415 problem is that the TI compiler generates REL relocations, so we have to
2416 be able to accept those as well. */
2418 #define elf_backend_may_use_rel_p 1
2419 #define elf_backend_may_use_rela_p 1
2420 #define elf_backend_default_use_rela_p 1
2422 #undef elf_backend_obj_attrs_vendor
2423 #define elf_backend_obj_attrs_vendor "mspabi"
2424 #undef elf_backend_obj_attrs_section
2425 #define elf_backend_obj_attrs_section ".MSP430.attributes"
2426 #undef elf_backend_obj_attrs_section_type
2427 #define elf_backend_obj_attrs_section_type SHT_MSP430_ATTRIBUTES
2428 #define elf_backend_section_from_shdr elf32_msp430_section_from_shdr
2429 #define elf_backend_obj_attrs_handle_unknown elf32_msp430_obj_attrs_handle_unknown
2430 #undef elf_backend_obj_attrs_arg_type
2431 #define elf_backend_obj_attrs_arg_type elf32_msp430_obj_attrs_arg_type
2432 #define bfd_elf32_bfd_merge_private_bfd_data elf32_msp430_merge_private_bfd_data
2434 #define ELF_ARCH bfd_arch_msp430
2435 #define ELF_MACHINE_CODE EM_MSP430
2436 #define ELF_MACHINE_ALT1 EM_MSP430_OLD
2437 #define ELF_MAXPAGESIZE 4
2438 #define ELF_OSABI ELFOSABI_STANDALONE
2440 #define TARGET_LITTLE_SYM msp430_elf32_vec
2441 #define TARGET_LITTLE_NAME "elf32-msp430"
2443 #define elf_info_to_howto msp430_info_to_howto_rela
2444 #define elf_info_to_howto_rel NULL
2445 #define elf_backend_relocate_section elf32_msp430_relocate_section
2446 #define elf_backend_check_relocs elf32_msp430_check_relocs
2447 #define elf_backend_can_gc_sections 1
2448 #define elf_backend_final_write_processing bfd_elf_msp430_final_write_processing
2449 #define elf_backend_object_p elf32_msp430_object_p
2450 #define bfd_elf32_bfd_relax_section msp430_elf_relax_section
2451 #define bfd_elf32_bfd_is_target_special_symbol msp430_elf_is_target_special_symbol
2454 #define elf32_bed elf32_msp430_bed
2456 #include "elf32-target.h"
2458 /* The TI compiler sets the OSABI field to ELFOSABI_NONE. */
2459 #undef TARGET_LITTLE_SYM
2460 #define TARGET_LITTLE_SYM msp430_elf32_ti_vec
2463 #define elf32_bed elf32_msp430_ti_bed
2466 #define ELF_OSABI ELFOSABI_NONE
2468 static const struct bfd_elf_special_section msp430_ti_elf_special_sections
[] =
2470 /* prefix, prefix_length, suffix_len, type, attributes. */
2471 { STRING_COMMA_LEN (".TI.symbol.alias"), 0, SHT_MSP430_SYM_ALIASES
, 0 },
2472 { STRING_COMMA_LEN (".TI.section.flags"), 0, SHT_MSP430_SEC_FLAGS
, 0 },
2473 { STRING_COMMA_LEN ("_TI_build_attrib"), 0, SHT_MSP430_ATTRIBUTES
, 0 },
2474 { NULL
, 0, 0, 0, 0 }
2477 #include "elf32-target.h"