projects / deliverable / binutils-gdb.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
MSP430: Add printf statements to assist with debugging during relaxation
[deliverable/binutils-gdb.git] / bfd / elf32-msp430.c
1 /* MSP430-specific support for 32-bit ELF
2 Copyright (C) 2002-2020 Free Software Foundation, Inc.
3 Contributed by Dmitry Diky <diwil@mail.ru>
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 "libiberty.h"
25 #include "libbfd.h"
26 #include "elf-bfd.h"
27 #include "elf/msp430.h"
28
29 static bfd_boolean debug_relocs = 0;
30
31 /* All users of this file have bfd_octets_per_byte (abfd, sec) == 1. */
32 #define OCTETS_PER_BYTE(ABFD, SEC) 1
33
34 static bfd_reloc_status_type
35 rl78_sym_diff_handler (bfd * abfd,
36 arelent * reloc,
37 asymbol * sym ATTRIBUTE_UNUSED,
38 void * addr ATTRIBUTE_UNUSED,
39 asection * input_sec,
40 bfd * out_bfd ATTRIBUTE_UNUSED,
41 char ** error_message ATTRIBUTE_UNUSED)
42 {
43 bfd_size_type octets;
44 octets = reloc->address * OCTETS_PER_BYTE (abfd, input_sec);
45
46 /* Catch the case where bfd_install_relocation would return
47 bfd_reloc_outofrange because the SYM_DIFF reloc is being used in a very
48 small section. It does not actually matter if this happens because all
49 that SYM_DIFF does is compute a (4-byte) value. A second reloc then uses
50 this value, and it is that reloc that must fit into the section.
51
52 This happens in eg, gcc/testsuite/gcc.c-torture/compile/labels-3.c. */
53 if ((octets + bfd_get_reloc_size (reloc->howto))
54 > bfd_get_section_limit_octets (abfd, input_sec))
55 return bfd_reloc_ok;
56 return bfd_reloc_continue;
57 }
58
59 static reloc_howto_type elf_msp430_howto_table[] =
60 {
61 HOWTO (R_MSP430_NONE, /* type */
62 0, /* rightshift */
63 3, /* size (0 = byte, 1 = short, 2 = long) */
64 0, /* bitsize */
65 FALSE, /* pc_relative */
66 0, /* bitpos */
67 complain_overflow_dont,/* complain_on_overflow */
68 bfd_elf_generic_reloc, /* special_function */
69 "R_MSP430_NONE", /* name */
70 FALSE, /* partial_inplace */
71 0, /* src_mask */
72 0, /* dst_mask */
73 FALSE), /* pcrel_offset */
74
75 HOWTO (R_MSP430_32, /* type */
76 0, /* rightshift */
77 2, /* size (0 = byte, 1 = short, 2 = long) */
78 32, /* bitsize */
79 FALSE, /* pc_relative */
80 0, /* bitpos */
81 complain_overflow_bitfield,/* complain_on_overflow */
82 bfd_elf_generic_reloc, /* special_function */
83 "R_MSP430_32", /* name */
84 FALSE, /* partial_inplace */
85 0xffffffff, /* src_mask */
86 0xffffffff, /* dst_mask */
87 FALSE), /* pcrel_offset */
88
89 /* A 10 bit PC relative relocation. */
90 HOWTO (R_MSP430_10_PCREL, /* type */
91 1, /* rightshift */
92 1, /* size (0 = byte, 1 = short, 2 = long) */
93 10, /* bitsize */
94 TRUE, /* pc_relative */
95 0, /* bitpos */
96 complain_overflow_bitfield,/* complain_on_overflow */
97 bfd_elf_generic_reloc, /* special_function */
98 "R_MSP430_10_PCREL", /* name */
99 FALSE, /* partial_inplace */
100 0x3ff, /* src_mask */
101 0x3ff, /* dst_mask */
102 TRUE), /* pcrel_offset */
103
104 /* A 16 bit absolute relocation. */
105 HOWTO (R_MSP430_16, /* type */
106 0, /* rightshift */
107 1, /* size (0 = byte, 1 = short, 2 = long) */
108 16, /* bitsize */
109 FALSE, /* pc_relative */
110 0, /* bitpos */
111 complain_overflow_dont,/* complain_on_overflow */
112 bfd_elf_generic_reloc, /* special_function */
113 "R_MSP430_16", /* name */
114 FALSE, /* partial_inplace */
115 0, /* src_mask */
116 0xffff, /* dst_mask */
117 FALSE), /* pcrel_offset */
118
119 /* A 16 bit PC relative relocation for command address. */
120 HOWTO (R_MSP430_16_PCREL, /* type */
121 1, /* rightshift */
122 1, /* size (0 = byte, 1 = short, 2 = long) */
123 16, /* bitsize */
124 TRUE, /* pc_relative */
125 0, /* bitpos */
126 complain_overflow_dont,/* complain_on_overflow */
127 bfd_elf_generic_reloc, /* special_function */
128 "R_MSP430_16_PCREL", /* name */
129 FALSE, /* partial_inplace */
130 0, /* src_mask */
131 0xffff, /* dst_mask */
132 TRUE), /* pcrel_offset */
133
134 /* A 16 bit absolute relocation, byte operations. */
135 HOWTO (R_MSP430_16_BYTE, /* type */
136 0, /* rightshift */
137 1, /* size (0 = byte, 1 = short, 2 = long) */
138 16, /* bitsize */
139 FALSE, /* pc_relative */
140 0, /* bitpos */
141 complain_overflow_dont,/* complain_on_overflow */
142 bfd_elf_generic_reloc, /* special_function */
143 "R_MSP430_16_BYTE", /* name */
144 FALSE, /* partial_inplace */
145 0xffff, /* src_mask */
146 0xffff, /* dst_mask */
147 FALSE), /* pcrel_offset */
148
149 /* A 16 bit absolute relocation for command address. */
150 HOWTO (R_MSP430_16_PCREL_BYTE,/* type */
151 1, /* rightshift */
152 1, /* size (0 = byte, 1 = short, 2 = long) */
153 16, /* bitsize */
154 TRUE, /* pc_relative */
155 0, /* bitpos */
156 complain_overflow_dont,/* complain_on_overflow */
157 bfd_elf_generic_reloc, /* special_function */
158 "R_MSP430_16_PCREL_BYTE",/* name */
159 FALSE, /* partial_inplace */
160 0xffff, /* src_mask */
161 0xffff, /* dst_mask */
162 TRUE), /* pcrel_offset */
163
164 /* A 10 bit PC relative relocation for complicated polymorphs. */
165 HOWTO (R_MSP430_2X_PCREL, /* type */
166 1, /* rightshift */
167 2, /* size (0 = byte, 1 = short, 2 = long) */
168 10, /* bitsize */
169 TRUE, /* pc_relative */
170 0, /* bitpos */
171 complain_overflow_bitfield,/* complain_on_overflow */
172 bfd_elf_generic_reloc, /* special_function */
173 "R_MSP430_2X_PCREL", /* name */
174 FALSE, /* partial_inplace */
175 0x3ff, /* src_mask */
176 0x3ff, /* dst_mask */
177 TRUE), /* pcrel_offset */
178
179 /* A 16 bit relaxable relocation for command address. */
180 HOWTO (R_MSP430_RL_PCREL, /* type */
181 1, /* rightshift */
182 1, /* size (0 = byte, 1 = short, 2 = long) */
183 16, /* bitsize */
184 TRUE, /* pc_relative */
185 0, /* bitpos */
186 complain_overflow_dont,/* complain_on_overflow */
187 bfd_elf_generic_reloc, /* special_function */
188 "R_MSP430_RL_PCREL", /* name */
189 FALSE, /* partial_inplace */
190 0, /* src_mask */
191 0xffff, /* dst_mask */
192 TRUE) /* pcrel_offset */
193
194 /* A 8-bit absolute relocation. */
195 , HOWTO (R_MSP430_8, /* type */
196 0, /* rightshift */
197 0, /* size (0 = byte, 1 = short, 2 = long) */
198 8, /* bitsize */
199 FALSE, /* pc_relative */
200 0, /* bitpos */
201 complain_overflow_dont,/* complain_on_overflow */
202 bfd_elf_generic_reloc, /* special_function */
203 "R_MSP430_8", /* name */
204 FALSE, /* partial_inplace */
205 0, /* src_mask */
206 0xffff, /* dst_mask */
207 FALSE), /* pcrel_offset */
208
209 /* Together with a following reloc, allows for the difference
210 between two symbols to be the real addend of the second reloc. */
211 HOWTO (R_MSP430_SYM_DIFF, /* type */
212 0, /* rightshift */
213 2, /* size (0 = byte, 1 = short, 2 = long) */
214 32, /* bitsize */
215 FALSE, /* pc_relative */
216 0, /* bitpos */
217 complain_overflow_dont,/* complain_on_overflow */
218 rl78_sym_diff_handler, /* special handler. */
219 "R_MSP430_SYM_DIFF", /* name */
220 FALSE, /* partial_inplace */
221 0xffffffff, /* src_mask */
222 0xffffffff, /* dst_mask */
223 FALSE) /* pcrel_offset */
224 };
225
226 static reloc_howto_type elf_msp430x_howto_table[] =
227 {
228 HOWTO (R_MSP430_NONE, /* type */
229 0, /* rightshift */
230 3, /* size (0 = byte, 1 = short, 2 = long) */
231 0, /* bitsize */
232 FALSE, /* pc_relative */
233 0, /* bitpos */
234 complain_overflow_dont,/* complain_on_overflow */
235 bfd_elf_generic_reloc, /* special_function */
236 "R_MSP430_NONE", /* name */
237 FALSE, /* partial_inplace */
238 0, /* src_mask */
239 0, /* dst_mask */
240 FALSE), /* pcrel_offset */
241
242 HOWTO (R_MSP430_ABS32, /* type */
243 0, /* rightshift */
244 2, /* size (0 = byte, 1 = short, 2 = long) */
245 32, /* bitsize */
246 FALSE, /* pc_relative */
247 0, /* bitpos */
248 complain_overflow_bitfield,/* complain_on_overflow */
249 bfd_elf_generic_reloc, /* special_function */
250 "R_MSP430_ABS32", /* name */
251 FALSE, /* partial_inplace */
252 0xffffffff, /* src_mask */
253 0xffffffff, /* dst_mask */
254 FALSE), /* pcrel_offset */
255
256 HOWTO (R_MSP430_ABS16, /* type */
257 0, /* rightshift */
258 1, /* size (0 = byte, 1 = short, 2 = long) */
259 16, /* bitsize */
260 FALSE, /* pc_relative */
261 0, /* bitpos */
262 complain_overflow_dont,/* complain_on_overflow */
263 bfd_elf_generic_reloc, /* special_function */
264 "R_MSP430_ABS16", /* name */
265 FALSE, /* partial_inplace */
266 0, /* src_mask */
267 0xffff, /* dst_mask */
268 FALSE), /* pcrel_offset */
269
270 HOWTO (R_MSP430_ABS8, /* type */
271 0, /* rightshift */
272 0, /* size (0 = byte, 1 = short, 2 = long) */
273 8, /* bitsize */
274 FALSE, /* pc_relative */
275 0, /* bitpos */
276 complain_overflow_bitfield,/* complain_on_overflow */
277 bfd_elf_generic_reloc, /* special_function */
278 "R_MSP430_ABS8", /* name */
279 FALSE, /* partial_inplace */
280 0xff, /* src_mask */
281 0xff, /* dst_mask */
282 FALSE), /* pcrel_offset */
283
284 HOWTO (R_MSP430_PCR16, /* type */
285 1, /* rightshift */
286 1, /* size (0 = byte, 1 = short, 2 = long) */
287 16, /* bitsize */
288 TRUE, /* pc_relative */
289 0, /* bitpos */
290 complain_overflow_dont,/* complain_on_overflow */
291 bfd_elf_generic_reloc, /* special_function */
292 "R_MSP430_PCR16", /* name */
293 FALSE, /* partial_inplace */
294 0, /* src_mask */
295 0xffff, /* dst_mask */
296 TRUE), /* pcrel_offset */
297
298 HOWTO (R_MSP430X_PCR20_EXT_SRC,/* type */
299 0, /* rightshift */
300 2, /* size (0 = byte, 1 = short, 2 = long) */
301 32, /* bitsize */
302 TRUE, /* pc_relative */
303 0, /* bitpos */
304 complain_overflow_dont,/* complain_on_overflow */
305 bfd_elf_generic_reloc, /* special_function */
306 "R_MSP430X_PCR20_EXT_SRC",/* name */
307 FALSE, /* partial_inplace */
308 0, /* src_mask */
309 0xffff, /* dst_mask */
310 TRUE), /* pcrel_offset */
311
312 HOWTO (R_MSP430X_PCR20_EXT_DST,/* type */
313 0, /* rightshift */
314 2, /* size (0 = byte, 1 = short, 2 = long) */
315 32, /* bitsize */
316 TRUE, /* pc_relative */
317 0, /* bitpos */
318 complain_overflow_dont,/* complain_on_overflow */
319 bfd_elf_generic_reloc, /* special_function */
320 "R_MSP430X_PCR20_EXT_DST",/* name */
321 FALSE, /* partial_inplace */
322 0, /* src_mask */
323 0xffff, /* dst_mask */
324 TRUE), /* pcrel_offset */
325
326 HOWTO (R_MSP430X_PCR20_EXT_ODST,/* type */
327 0, /* rightshift */
328 2, /* size (0 = byte, 1 = short, 2 = long) */
329 32, /* bitsize */
330 TRUE, /* pc_relative */
331 0, /* bitpos */
332 complain_overflow_dont,/* complain_on_overflow */
333 bfd_elf_generic_reloc, /* special_function */
334 "R_MSP430X_PCR20_EXT_ODST",/* name */
335 FALSE, /* partial_inplace */
336 0, /* src_mask */
337 0xffff, /* dst_mask */
338 TRUE), /* pcrel_offset */
339
340 HOWTO (R_MSP430X_ABS20_EXT_SRC,/* type */
341 0, /* rightshift */
342 2, /* size (0 = byte, 1 = short, 2 = long) */
343 32, /* bitsize */
344 TRUE, /* pc_relative */
345 0, /* bitpos */
346 complain_overflow_dont,/* complain_on_overflow */
347 bfd_elf_generic_reloc, /* special_function */
348 "R_MSP430X_ABS20_EXT_SRC",/* name */
349 FALSE, /* partial_inplace */
350 0, /* src_mask */
351 0xffff, /* dst_mask */
352 TRUE), /* pcrel_offset */
353
354 HOWTO (R_MSP430X_ABS20_EXT_DST,/* type */
355 0, /* rightshift */
356 2, /* size (0 = byte, 1 = short, 2 = long) */
357 32, /* bitsize */
358 TRUE, /* pc_relative */
359 0, /* bitpos */
360 complain_overflow_dont,/* complain_on_overflow */
361 bfd_elf_generic_reloc, /* special_function */
362 "R_MSP430X_ABS20_EXT_DST",/* name */
363 FALSE, /* partial_inplace */
364 0, /* src_mask */
365 0xffff, /* dst_mask */
366 TRUE), /* pcrel_offset */
367
368 HOWTO (R_MSP430X_ABS20_EXT_ODST,/* type */
369 0, /* rightshift */
370 2, /* size (0 = byte, 1 = short, 2 = long) */
371 32, /* bitsize */
372 TRUE, /* pc_relative */
373 0, /* bitpos */
374 complain_overflow_dont,/* complain_on_overflow */
375 bfd_elf_generic_reloc, /* special_function */
376 "R_MSP430X_ABS20_EXT_ODST",/* name */
377 FALSE, /* partial_inplace */
378 0, /* src_mask */
379 0xffff, /* dst_mask */
380 TRUE), /* pcrel_offset */
381
382 HOWTO (R_MSP430X_ABS20_ADR_SRC,/* type */
383 0, /* rightshift */
384 2, /* size (0 = byte, 1 = short, 2 = long) */
385 32, /* bitsize */
386 TRUE, /* pc_relative */
387 0, /* bitpos */
388 complain_overflow_dont,/* complain_on_overflow */
389 bfd_elf_generic_reloc, /* special_function */
390 "R_MSP430X_ABS20_ADR_SRC",/* name */
391 FALSE, /* partial_inplace */
392 0, /* src_mask */
393 0xffff, /* dst_mask */
394 TRUE), /* pcrel_offset */
395
396 HOWTO (R_MSP430X_ABS20_ADR_DST,/* type */
397 0, /* rightshift */
398 2, /* size (0 = byte, 1 = short, 2 = long) */
399 32, /* bitsize */
400 TRUE, /* pc_relative */
401 0, /* bitpos */
402 complain_overflow_dont,/* complain_on_overflow */
403 bfd_elf_generic_reloc, /* special_function */
404 "R_MSP430X_ABS20_ADR_DST",/* name */
405 FALSE, /* partial_inplace */
406 0, /* src_mask */
407 0xffff, /* dst_mask */
408 TRUE), /* pcrel_offset */
409
410 HOWTO (R_MSP430X_PCR16, /* type */
411 0, /* rightshift */
412 2, /* size (0 = byte, 1 = short, 2 = long) */
413 32, /* bitsize */
414 TRUE, /* pc_relative */
415 0, /* bitpos */
416 complain_overflow_dont,/* complain_on_overflow */
417 bfd_elf_generic_reloc, /* special_function */
418 "R_MSP430X_PCR16", /* name */
419 FALSE, /* partial_inplace */
420 0, /* src_mask */
421 0xffff, /* dst_mask */
422 TRUE), /* pcrel_offset */
423
424 HOWTO (R_MSP430X_PCR20_CALL, /* type */
425 0, /* rightshift */
426 2, /* size (0 = byte, 1 = short, 2 = long) */
427 32, /* bitsize */
428 TRUE, /* pc_relative */
429 0, /* bitpos */
430 complain_overflow_dont,/* complain_on_overflow */
431 bfd_elf_generic_reloc, /* special_function */
432 "R_MSP430X_PCR20_CALL",/* name */
433 FALSE, /* partial_inplace */
434 0, /* src_mask */
435 0xffff, /* dst_mask */
436 TRUE), /* pcrel_offset */
437
438 HOWTO (R_MSP430X_ABS16, /* type */
439 0, /* rightshift */
440 2, /* size (0 = byte, 1 = short, 2 = long) */
441 32, /* bitsize */
442 TRUE, /* pc_relative */
443 0, /* bitpos */
444 complain_overflow_dont,/* complain_on_overflow */
445 bfd_elf_generic_reloc, /* special_function */
446 "R_MSP430X_ABS16", /* name */
447 FALSE, /* partial_inplace */
448 0, /* src_mask */
449 0xffff, /* dst_mask */
450 TRUE), /* pcrel_offset */
451
452 HOWTO (R_MSP430_ABS_HI16, /* type */
453 0, /* rightshift */
454 2, /* size (0 = byte, 1 = short, 2 = long) */
455 32, /* bitsize */
456 TRUE, /* pc_relative */
457 0, /* bitpos */
458 complain_overflow_dont,/* complain_on_overflow */
459 bfd_elf_generic_reloc, /* special_function */
460 "R_MSP430_ABS_HI16", /* name */
461 FALSE, /* partial_inplace */
462 0, /* src_mask */
463 0xffff, /* dst_mask */
464 TRUE), /* pcrel_offset */
465
466 HOWTO (R_MSP430_PREL31, /* type */
467 0, /* rightshift */
468 2, /* size (0 = byte, 1 = short, 2 = long) */
469 32, /* bitsize */
470 TRUE, /* pc_relative */
471 0, /* bitpos */
472 complain_overflow_dont,/* complain_on_overflow */
473 bfd_elf_generic_reloc, /* special_function */
474 "R_MSP430_PREL31", /* name */
475 FALSE, /* partial_inplace */
476 0, /* src_mask */
477 0xffff, /* dst_mask */
478 TRUE), /* pcrel_offset */
479
480 EMPTY_HOWTO (R_MSP430_EHTYPE),
481
482 /* A 10 bit PC relative relocation. */
483 HOWTO (R_MSP430X_10_PCREL, /* type */
484 1, /* rightshift */
485 1, /* size (0 = byte, 1 = short, 2 = long) */
486 10, /* bitsize */
487 TRUE, /* pc_relative */
488 0, /* bitpos */
489 complain_overflow_bitfield,/* complain_on_overflow */
490 bfd_elf_generic_reloc, /* special_function */
491 "R_MSP430X_10_PCREL", /* name */
492 FALSE, /* partial_inplace */
493 0x3ff, /* src_mask */
494 0x3ff, /* dst_mask */
495 TRUE), /* pcrel_offset */
496
497 /* A 10 bit PC relative relocation for complicated polymorphs. */
498 HOWTO (R_MSP430X_2X_PCREL, /* type */
499 1, /* rightshift */
500 2, /* size (0 = byte, 1 = short, 2 = long) */
501 10, /* bitsize */
502 TRUE, /* pc_relative */
503 0, /* bitpos */
504 complain_overflow_bitfield,/* complain_on_overflow */
505 bfd_elf_generic_reloc, /* special_function */
506 "R_MSP430X_2X_PCREL", /* name */
507 FALSE, /* partial_inplace */
508 0x3ff, /* src_mask */
509 0x3ff, /* dst_mask */
510 TRUE), /* pcrel_offset */
511
512 /* Together with a following reloc, allows for the difference
513 between two symbols to be the real addend of the second reloc. */
514 HOWTO (R_MSP430X_SYM_DIFF, /* type */
515 0, /* rightshift */
516 2, /* size (0 = byte, 1 = short, 2 = long) */
517 32, /* bitsize */
518 FALSE, /* pc_relative */
519 0, /* bitpos */
520 complain_overflow_dont,/* complain_on_overflow */
521 rl78_sym_diff_handler, /* special handler. */
522 "R_MSP430X_SYM_DIFF", /* name */
523 FALSE, /* partial_inplace */
524 0xffffffff, /* src_mask */
525 0xffffffff, /* dst_mask */
526 FALSE) /* pcrel_offset */
527 };
528
529 /* Map BFD reloc types to MSP430 ELF reloc types. */
530
531 struct msp430_reloc_map
532 {
533 bfd_reloc_code_real_type bfd_reloc_val;
534 unsigned int elf_reloc_val;
535 };
536
537 static const struct msp430_reloc_map msp430_reloc_map[] =
538 {
539 {BFD_RELOC_NONE, R_MSP430_NONE},
540 {BFD_RELOC_32, R_MSP430_32},
541 {BFD_RELOC_MSP430_10_PCREL, R_MSP430_10_PCREL},
542 {BFD_RELOC_16, R_MSP430_16_BYTE},
543 {BFD_RELOC_MSP430_16_PCREL, R_MSP430_16_PCREL},
544 {BFD_RELOC_MSP430_16, R_MSP430_16},
545 {BFD_RELOC_MSP430_16_PCREL_BYTE, R_MSP430_16_PCREL_BYTE},
546 {BFD_RELOC_MSP430_16_BYTE, R_MSP430_16_BYTE},
547 {BFD_RELOC_MSP430_2X_PCREL, R_MSP430_2X_PCREL},
548 {BFD_RELOC_MSP430_RL_PCREL, R_MSP430_RL_PCREL},
549 {BFD_RELOC_8, R_MSP430_8},
550 {BFD_RELOC_MSP430_SYM_DIFF, R_MSP430_SYM_DIFF}
551 };
552
553 static const struct msp430_reloc_map msp430x_reloc_map[] =
554 {
555 {BFD_RELOC_NONE, R_MSP430_NONE},
556 {BFD_RELOC_32, R_MSP430_ABS32},
557 {BFD_RELOC_16, R_MSP430_ABS16},
558 {BFD_RELOC_8, R_MSP430_ABS8},
559 {BFD_RELOC_MSP430_ABS8, R_MSP430_ABS8},
560 {BFD_RELOC_MSP430X_PCR20_EXT_SRC, R_MSP430X_PCR20_EXT_SRC},
561 {BFD_RELOC_MSP430X_PCR20_EXT_DST, R_MSP430X_PCR20_EXT_DST},
562 {BFD_RELOC_MSP430X_PCR20_EXT_ODST, R_MSP430X_PCR20_EXT_ODST},
563 {BFD_RELOC_MSP430X_ABS20_EXT_SRC, R_MSP430X_ABS20_EXT_SRC},
564 {BFD_RELOC_MSP430X_ABS20_EXT_DST, R_MSP430X_ABS20_EXT_DST},
565 {BFD_RELOC_MSP430X_ABS20_EXT_ODST, R_MSP430X_ABS20_EXT_ODST},
566 {BFD_RELOC_MSP430X_ABS20_ADR_SRC, R_MSP430X_ABS20_ADR_SRC},
567 {BFD_RELOC_MSP430X_ABS20_ADR_DST, R_MSP430X_ABS20_ADR_DST},
568 {BFD_RELOC_MSP430X_PCR16, R_MSP430X_PCR16},
569 {BFD_RELOC_MSP430X_PCR20_CALL, R_MSP430X_PCR20_CALL},
570 {BFD_RELOC_MSP430X_ABS16, R_MSP430X_ABS16},
571 {BFD_RELOC_MSP430_ABS_HI16, R_MSP430_ABS_HI16},
572 {BFD_RELOC_MSP430_PREL31, R_MSP430_PREL31},
573 {BFD_RELOC_MSP430_10_PCREL, R_MSP430X_10_PCREL},
574 {BFD_RELOC_MSP430_2X_PCREL, R_MSP430X_2X_PCREL},
575 {BFD_RELOC_MSP430_RL_PCREL, R_MSP430X_PCR16},
576 {BFD_RELOC_MSP430_SYM_DIFF, R_MSP430X_SYM_DIFF}
577 };
578
579 static inline bfd_boolean
580 uses_msp430x_relocs (bfd * abfd)
581 {
582 extern const bfd_target msp430_elf32_ti_vec;
583
584 return bfd_get_mach (abfd) == bfd_mach_msp430x
585 || abfd->xvec == & msp430_elf32_ti_vec;
586 }
587
588 static reloc_howto_type *
589 bfd_elf32_bfd_reloc_type_lookup (bfd * abfd ATTRIBUTE_UNUSED,
590 bfd_reloc_code_real_type code)
591 {
592 unsigned int i;
593
594 if (uses_msp430x_relocs (abfd))
595 {
596 for (i = ARRAY_SIZE (msp430x_reloc_map); i--;)
597 if (msp430x_reloc_map[i].bfd_reloc_val == code)
598 return elf_msp430x_howto_table + msp430x_reloc_map[i].elf_reloc_val;
599 }
600 else
601 {
602 for (i = 0; i < ARRAY_SIZE (msp430_reloc_map); i++)
603 if (msp430_reloc_map[i].bfd_reloc_val == code)
604 return &elf_msp430_howto_table[msp430_reloc_map[i].elf_reloc_val];
605 }
606
607 return NULL;
608 }
609
610 static reloc_howto_type *
611 bfd_elf32_bfd_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
612 const char *r_name)
613 {
614 unsigned int i;
615
616 if (uses_msp430x_relocs (abfd))
617 {
618 for (i = ARRAY_SIZE (elf_msp430x_howto_table); i--;)
619 if (elf_msp430x_howto_table[i].name != NULL
620 && strcasecmp (elf_msp430x_howto_table[i].name, r_name) == 0)
621 return elf_msp430x_howto_table + i;
622 }
623 else
624 {
625 for (i = 0;
626 i < (sizeof (elf_msp430_howto_table)
627 / sizeof (elf_msp430_howto_table[0]));
628 i++)
629 if (elf_msp430_howto_table[i].name != NULL
630 && strcasecmp (elf_msp430_howto_table[i].name, r_name) == 0)
631 return &elf_msp430_howto_table[i];
632 }
633
634 return NULL;
635 }
636
637 /* Set the howto pointer for an MSP430 ELF reloc. */
638
639 static bfd_boolean
640 msp430_info_to_howto_rela (bfd * abfd,
641 arelent * cache_ptr,
642 Elf_Internal_Rela * dst)
643 {
644 unsigned int r_type;
645
646 r_type = ELF32_R_TYPE (dst->r_info);
647
648 if (uses_msp430x_relocs (abfd))
649 {
650 if (r_type >= (unsigned int) R_MSP430x_max)
651 {
652 /* xgettext:c-format */
653 _bfd_error_handler (_("%pB: unsupported relocation type %#x"),
654 abfd, r_type);
655 bfd_set_error (bfd_error_bad_value);
656 return FALSE;
657 }
658 cache_ptr->howto = elf_msp430x_howto_table + r_type;
659 }
660 else if (r_type >= (unsigned int) R_MSP430_max)
661 {
662 /* xgettext:c-format */
663 _bfd_error_handler (_("%pB: unsupported relocation type %#x"),
664 abfd, r_type);
665 bfd_set_error (bfd_error_bad_value);
666 return FALSE;
667 }
668 else
669 cache_ptr->howto = &elf_msp430_howto_table[r_type];
670
671 return TRUE;
672 }
673
674 /* Look through the relocs for a section during the first phase.
675 Since we don't do .gots or .plts, we just need to consider the
676 virtual table relocs for gc. */
677
678 static bfd_boolean
679 elf32_msp430_check_relocs (bfd * abfd, struct bfd_link_info * info,
680 asection * sec, const Elf_Internal_Rela * relocs)
681 {
682 Elf_Internal_Shdr *symtab_hdr;
683 struct elf_link_hash_entry **sym_hashes;
684 const Elf_Internal_Rela *rel;
685 const Elf_Internal_Rela *rel_end;
686
687 if (bfd_link_relocatable (info))
688 return TRUE;
689
690 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
691 sym_hashes = elf_sym_hashes (abfd);
692
693 rel_end = relocs + sec->reloc_count;
694 for (rel = relocs; rel < rel_end; rel++)
695 {
696 struct elf_link_hash_entry *h;
697 unsigned long r_symndx;
698
699 r_symndx = ELF32_R_SYM (rel->r_info);
700 if (r_symndx < symtab_hdr->sh_info)
701 h = NULL;
702 else
703 {
704 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
705 while (h->root.type == bfd_link_hash_indirect
706 || h->root.type == bfd_link_hash_warning)
707 h = (struct elf_link_hash_entry *) h->root.u.i.link;
708 }
709 }
710
711 return TRUE;
712 }
713
714 /* Perform a single relocation. By default we use the standard BFD
715 routines, but a few relocs, we have to do them ourselves. */
716
717 static bfd_reloc_status_type
718 msp430_final_link_relocate (reloc_howto_type * howto,
719 bfd * input_bfd,
720 asection * input_section,
721 bfd_byte * contents,
722 Elf_Internal_Rela * rel,
723 bfd_vma relocation,
724 struct bfd_link_info * info)
725 {
726 static asection * sym_diff_section;
727 static bfd_vma sym_diff_value;
728
729 struct bfd_elf_section_data * esd = elf_section_data (input_section);
730 bfd_reloc_status_type r = bfd_reloc_ok;
731 bfd_vma x;
732 bfd_signed_vma srel;
733 bfd_boolean is_rel_reloc = FALSE;
734
735 if (uses_msp430x_relocs (input_bfd))
736 {
737 /* See if we have a REL type relocation. */
738 is_rel_reloc = (esd->rel.hdr != NULL);
739 /* Sanity check - only one type of relocation per section.
740 FIXME: Theoretically it is possible to have both types,
741 but if that happens how can we distinguish between the two ? */
742 BFD_ASSERT (! is_rel_reloc || ! esd->rela.hdr);
743 /* If we are using a REL relocation then the addend should be empty. */
744 BFD_ASSERT (! is_rel_reloc || rel->r_addend == 0);
745 }
746
747 if (debug_relocs)
748 printf ("writing relocation (%p) at 0x%lx type: %d\n", rel,
749 input_section->output_section->vma + input_section->output_offset
750 + rel->r_offset, howto->type);
751 if (sym_diff_section != NULL)
752 {
753 BFD_ASSERT (sym_diff_section == input_section);
754
755 if (uses_msp430x_relocs (input_bfd))
756 switch (howto->type)
757 {
758 case R_MSP430_ABS32:
759 /* If we are computing a 32-bit value for the location lists
760 and the result is 0 then we add one to the value. A zero
761 value can result because of linker relaxation deleteing
762 prologue instructions and using a value of 1 (for the begin
763 and end offsets in the location list entry) results in a
764 nul entry which does not prevent the following entries from
765 being parsed. */
766 if (relocation == sym_diff_value
767 && strcmp (input_section->name, ".debug_loc") == 0)
768 ++ relocation;
769 /* Fall through. */
770 case R_MSP430_ABS16:
771 case R_MSP430X_ABS16:
772 case R_MSP430_ABS8:
773 BFD_ASSERT (! is_rel_reloc);
774 relocation -= sym_diff_value;
775 break;
776
777 default:
778 return bfd_reloc_dangerous;
779 }
780 else
781 switch (howto->type)
782 {
783 case R_MSP430_32:
784 case R_MSP430_16:
785 case R_MSP430_16_BYTE:
786 case R_MSP430_8:
787 relocation -= sym_diff_value;
788 break;
789
790 default:
791 return bfd_reloc_dangerous;
792 }
793
794 sym_diff_section = NULL;
795 }
796
797 if (uses_msp430x_relocs (input_bfd))
798 switch (howto->type)
799 {
800 case R_MSP430X_SYM_DIFF:
801 /* Cache the input section and value.
802 The offset is unreliable, since relaxation may
803 have reduced the following reloc's offset. */
804 BFD_ASSERT (! is_rel_reloc);
805 sym_diff_section = input_section;
806 sym_diff_value = relocation;
807 return bfd_reloc_ok;
808
809 case R_MSP430_ABS16:
810 contents += rel->r_offset;
811 srel = (bfd_signed_vma) relocation;
812 if (is_rel_reloc)
813 srel += bfd_get_16 (input_bfd, contents);
814 else
815 srel += rel->r_addend;
816 bfd_put_16 (input_bfd, srel & 0xffff, contents);
817 break;
818
819 case R_MSP430X_10_PCREL:
820 contents += rel->r_offset;
821 srel = (bfd_signed_vma) relocation;
822 if (is_rel_reloc)
823 srel += bfd_get_16 (input_bfd, contents) & 0x3ff;
824 else
825 srel += rel->r_addend;
826 srel -= rel->r_offset;
827 srel -= 2; /* Branch instructions add 2 to the PC... */
828 srel -= (input_section->output_section->vma +
829 input_section->output_offset);
830 if (srel & 1)
831 return bfd_reloc_outofrange;
832
833 /* MSP430 addresses commands as words. */
834 srel >>= 1;
835
836 /* Check for an overflow. */
837 if (srel < -512 || srel > 511)
838 {
839 if (info->disable_target_specific_optimizations < 0)
840 {
841 static bfd_boolean warned = FALSE;
842 if (! warned)
843 {
844 info->callbacks->warning
845 (info,
846 _("try enabling relaxation to avoid relocation truncations"),
847 NULL, input_bfd, input_section, relocation);
848 warned = TRUE;
849 }
850 }
851 return bfd_reloc_overflow;
852 }
853
854 x = bfd_get_16 (input_bfd, contents);
855 x = (x & 0xfc00) | (srel & 0x3ff);
856 bfd_put_16 (input_bfd, x, contents);
857 break;
858
859 case R_MSP430X_PCR20_EXT_ODST:
860 /* [0,4]+[48,16] = ---F ---- ---- FFFF */
861 contents += rel->r_offset;
862 srel = (bfd_signed_vma) relocation;
863 if (is_rel_reloc)
864 {
865 bfd_vma addend;
866 addend = (bfd_get_16 (input_bfd, contents) & 0xf) << 16;
867 addend |= bfd_get_16 (input_bfd, contents + 6);
868 srel += addend;
869
870 }
871 else
872 srel += rel->r_addend;
873 srel -= rel->r_offset;
874 srel -= (input_section->output_section->vma +
875 input_section->output_offset);
876 bfd_put_16 (input_bfd, (srel & 0xffff), contents + 6);
877 x = bfd_get_16 (input_bfd, contents);
878 x = (x & 0xfff0) | ((srel >> 16) & 0xf);
879 bfd_put_16 (input_bfd, x, contents);
880 break;
881
882 case R_MSP430X_ABS20_EXT_SRC:
883 /* [7,4]+[32,16] = -78- ---- FFFF */
884 contents += rel->r_offset;
885 srel = (bfd_signed_vma) relocation;
886 if (is_rel_reloc)
887 {
888 bfd_vma addend;
889 addend = (bfd_get_16 (input_bfd, contents) & 0x0780) << 9;
890 addend |= bfd_get_16 (input_bfd, contents + 4);
891 srel += addend;
892 }
893 else
894 srel += rel->r_addend;
895 bfd_put_16 (input_bfd, (srel & 0xffff), contents + 4);
896 srel >>= 16;
897 x = bfd_get_16 (input_bfd, contents);
898 x = (x & 0xf87f) | ((srel << 7) & 0x0780);
899 bfd_put_16 (input_bfd, x, contents);
900 break;
901
902 case R_MSP430_16_PCREL:
903 contents += rel->r_offset;
904 srel = (bfd_signed_vma) relocation;
905 if (is_rel_reloc)
906 srel += bfd_get_16 (input_bfd, contents);
907 else
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 if (srel & 1)
914 return bfd_reloc_outofrange;
915 bfd_put_16 (input_bfd, srel & 0xffff, contents);
916 break;
917
918 case R_MSP430X_PCR20_EXT_DST:
919 /* [0,4]+[32,16] = ---F ---- FFFF */
920 contents += rel->r_offset;
921 srel = (bfd_signed_vma) relocation;
922 if (is_rel_reloc)
923 {
924 bfd_vma addend;
925 addend = (bfd_get_16 (input_bfd, contents) & 0xf) << 16;
926 addend |= bfd_get_16 (input_bfd, contents + 4);
927 srel += addend;
928 }
929 else
930 srel += rel->r_addend;
931 srel -= rel->r_offset;
932 srel -= (input_section->output_section->vma +
933 input_section->output_offset);
934 bfd_put_16 (input_bfd, (srel & 0xffff), contents + 4);
935 srel >>= 16;
936 x = bfd_get_16 (input_bfd, contents);
937 x = (x & 0xfff0) | (srel & 0xf);
938 bfd_put_16 (input_bfd, x, contents);
939 break;
940
941 case R_MSP430X_PCR20_EXT_SRC:
942 /* [7,4]+[32,16] = -78- ---- FFFF */
943 contents += rel->r_offset;
944 srel = (bfd_signed_vma) relocation;
945 if (is_rel_reloc)
946 {
947 bfd_vma addend;
948 addend = ((bfd_get_16 (input_bfd, contents) & 0x0780) << 9);
949 addend |= bfd_get_16 (input_bfd, contents + 4);
950 srel += addend;;
951 }
952 else
953 srel += rel->r_addend;
954 srel -= rel->r_offset;
955 /* Only branch instructions add 2 to the PC... */
956 srel -= (input_section->output_section->vma +
957 input_section->output_offset);
958 bfd_put_16 (input_bfd, (srel & 0xffff), contents + 4);
959 srel >>= 16;
960 x = bfd_get_16 (input_bfd, contents);
961 x = (x & 0xf87f) | ((srel << 7) & 0x0780);
962 bfd_put_16 (input_bfd, x, contents);
963 break;
964
965 case R_MSP430_ABS8:
966 contents += rel->r_offset;
967 srel = (bfd_signed_vma) relocation;
968 if (is_rel_reloc)
969 srel += bfd_get_8 (input_bfd, contents);
970 else
971 srel += rel->r_addend;
972 bfd_put_8 (input_bfd, srel & 0xff, contents);
973 break;
974
975 case R_MSP430X_ABS20_EXT_DST:
976 /* [0,4]+[32,16] = ---F ---- FFFF */
977 contents += rel->r_offset;
978 srel = (bfd_signed_vma) relocation;
979 if (is_rel_reloc)
980 {
981 bfd_vma addend;
982 addend = (bfd_get_16 (input_bfd, contents) & 0xf) << 16;
983 addend |= bfd_get_16 (input_bfd, contents + 4);
984 srel += addend;
985 }
986 else
987 srel += rel->r_addend;
988 bfd_put_16 (input_bfd, (srel & 0xffff), contents + 4);
989 srel >>= 16;
990 x = bfd_get_16 (input_bfd, contents);
991 x = (x & 0xfff0) | (srel & 0xf);
992 bfd_put_16 (input_bfd, x, contents);
993 break;
994
995 case R_MSP430X_ABS20_EXT_ODST:
996 /* [0,4]+[48,16] = ---F ---- ---- FFFF */
997 contents += rel->r_offset;
998 srel = (bfd_signed_vma) relocation;
999 if (is_rel_reloc)
1000 {
1001 bfd_vma addend;
1002 addend = (bfd_get_16 (input_bfd, contents) & 0xf) << 16;
1003 addend |= bfd_get_16 (input_bfd, contents + 6);
1004 srel += addend;
1005 }
1006 else
1007 srel += rel->r_addend;
1008 bfd_put_16 (input_bfd, (srel & 0xffff), contents + 6);
1009 srel >>= 16;
1010 x = bfd_get_16 (input_bfd, contents);
1011 x = (x & 0xfff0) | (srel & 0xf);
1012 bfd_put_16 (input_bfd, x, contents);
1013 break;
1014
1015 case R_MSP430X_ABS20_ADR_SRC:
1016 /* [8,4]+[16,16] = -F-- FFFF */
1017 contents += rel->r_offset;
1018 srel = (bfd_signed_vma) relocation;
1019 if (is_rel_reloc)
1020 {
1021 bfd_vma addend;
1022
1023 addend = ((bfd_get_16 (input_bfd, contents) & 0xf00) << 8);
1024 addend |= bfd_get_16 (input_bfd, contents + 2);
1025 srel += addend;
1026 }
1027 else
1028 srel += rel->r_addend;
1029 bfd_put_16 (input_bfd, (srel & 0xffff), contents + 2);
1030 srel >>= 16;
1031 x = bfd_get_16 (input_bfd, contents);
1032 x = (x & 0xf0ff) | ((srel << 8) & 0x0f00);
1033 bfd_put_16 (input_bfd, x, contents);
1034 break;
1035
1036 case R_MSP430X_ABS20_ADR_DST:
1037 /* [0,4]+[16,16] = ---F FFFF */
1038 contents += rel->r_offset;
1039 srel = (bfd_signed_vma) relocation;
1040 if (is_rel_reloc)
1041 {
1042 bfd_vma addend;
1043 addend = ((bfd_get_16 (input_bfd, contents) & 0xf) << 16);
1044 addend |= bfd_get_16 (input_bfd, contents + 2);
1045 srel += addend;
1046 }
1047 else
1048 srel += rel->r_addend;
1049 bfd_put_16 (input_bfd, (srel & 0xffff), contents + 2);
1050 srel >>= 16;
1051 x = bfd_get_16 (input_bfd, contents);
1052 x = (x & 0xfff0) | (srel & 0xf);
1053 bfd_put_16 (input_bfd, x, contents);
1054 break;
1055
1056 case R_MSP430X_ABS16:
1057 contents += rel->r_offset;
1058 srel = (bfd_signed_vma) relocation;
1059 if (is_rel_reloc)
1060 srel += bfd_get_16 (input_bfd, contents);
1061 else
1062 srel += rel->r_addend;
1063 x = srel;
1064 if (x > 0xffff)
1065 return bfd_reloc_overflow;
1066 bfd_put_16 (input_bfd, srel & 0xffff, contents);
1067 break;
1068
1069 case R_MSP430_ABS_HI16:
1070 /* The EABI specifies that this must be a RELA reloc. */
1071 BFD_ASSERT (! is_rel_reloc);
1072 contents += rel->r_offset;
1073 srel = (bfd_signed_vma) relocation;
1074 srel += rel->r_addend;
1075 bfd_put_16 (input_bfd, (srel >> 16) & 0xffff, contents);
1076 break;
1077
1078 case R_MSP430X_PCR20_CALL:
1079 /* [0,4]+[16,16] = ---F FFFF*/
1080 contents += rel->r_offset;
1081 srel = (bfd_signed_vma) relocation;
1082 if (is_rel_reloc)
1083 {
1084 bfd_vma addend;
1085 addend = (bfd_get_16 (input_bfd, contents) & 0xf) << 16;
1086 addend |= bfd_get_16 (input_bfd, contents + 2);
1087 srel += addend;
1088 }
1089 else
1090 srel += rel->r_addend;
1091 srel -= rel->r_offset;
1092 srel -= (input_section->output_section->vma +
1093 input_section->output_offset);
1094 bfd_put_16 (input_bfd, srel & 0xffff, contents + 2);
1095 srel >>= 16;
1096 x = bfd_get_16 (input_bfd, contents);
1097 x = (x & 0xfff0) | (srel & 0xf);
1098 bfd_put_16 (input_bfd, x, contents);
1099 break;
1100
1101 case R_MSP430X_PCR16:
1102 contents += rel->r_offset;
1103 srel = (bfd_signed_vma) relocation;
1104 if (is_rel_reloc)
1105 srel += bfd_get_16 (input_bfd, contents);
1106 else
1107 srel += rel->r_addend;
1108 srel -= rel->r_offset;
1109 srel -= (input_section->output_section->vma +
1110 input_section->output_offset);
1111 bfd_put_16 (input_bfd, srel & 0xffff, contents);
1112 break;
1113
1114 case R_MSP430_PREL31:
1115 contents += rel->r_offset;
1116 srel = (bfd_signed_vma) relocation;
1117 if (is_rel_reloc)
1118 srel += (bfd_get_32 (input_bfd, contents) & 0x7fffffff);
1119 else
1120 srel += rel->r_addend;
1121 srel += rel->r_addend;
1122 x = bfd_get_32 (input_bfd, contents);
1123 x = (x & 0x80000000) | ((srel >> 31) & 0x7fffffff);
1124 bfd_put_32 (input_bfd, x, contents);
1125 break;
1126
1127 default:
1128 r = _bfd_final_link_relocate (howto, input_bfd, input_section,
1129 contents, rel->r_offset,
1130 relocation, rel->r_addend);
1131 }
1132 else
1133 switch (howto->type)
1134 {
1135 case R_MSP430_10_PCREL:
1136 contents += rel->r_offset;
1137 srel = (bfd_signed_vma) relocation;
1138 srel += rel->r_addend;
1139 srel -= rel->r_offset;
1140 srel -= 2; /* Branch instructions add 2 to the PC... */
1141 srel -= (input_section->output_section->vma +
1142 input_section->output_offset);
1143
1144 if (srel & 1)
1145 return bfd_reloc_outofrange;
1146
1147 /* MSP430 addresses commands as words. */
1148 srel >>= 1;
1149
1150 /* Check for an overflow. */
1151 if (srel < -512 || srel > 511)
1152 {
1153 if (info->disable_target_specific_optimizations < 0)
1154 {
1155 static bfd_boolean warned = FALSE;
1156 if (! warned)
1157 {
1158 info->callbacks->warning
1159 (info,
1160 _("try enabling relaxation to avoid relocation truncations"),
1161 NULL, input_bfd, input_section, relocation);
1162 warned = TRUE;
1163 }
1164 }
1165 return bfd_reloc_overflow;
1166 }
1167
1168 x = bfd_get_16 (input_bfd, contents);
1169 x = (x & 0xfc00) | (srel & 0x3ff);
1170 bfd_put_16 (input_bfd, x, contents);
1171 break;
1172
1173 case R_MSP430_2X_PCREL:
1174 contents += rel->r_offset;
1175 srel = (bfd_signed_vma) relocation;
1176 srel += rel->r_addend;
1177 srel -= rel->r_offset;
1178 srel -= 2; /* Branch instructions add 2 to the PC... */
1179 srel -= (input_section->output_section->vma +
1180 input_section->output_offset);
1181
1182 if (srel & 1)
1183 return bfd_reloc_outofrange;
1184
1185 /* MSP430 addresses commands as words. */
1186 srel >>= 1;
1187
1188 /* Check for an overflow. */
1189 if (srel < -512 || srel > 511)
1190 return bfd_reloc_overflow;
1191
1192 x = bfd_get_16 (input_bfd, contents);
1193 x = (x & 0xfc00) | (srel & 0x3ff);
1194 bfd_put_16 (input_bfd, x, contents);
1195 /* Handle second jump instruction. */
1196 x = bfd_get_16 (input_bfd, contents - 2);
1197 srel += 1;
1198 x = (x & 0xfc00) | (srel & 0x3ff);
1199 bfd_put_16 (input_bfd, x, contents - 2);
1200 break;
1201
1202 case R_MSP430_RL_PCREL:
1203 case R_MSP430_16_PCREL:
1204 contents += rel->r_offset;
1205 srel = (bfd_signed_vma) relocation;
1206 srel += rel->r_addend;
1207 srel -= rel->r_offset;
1208 /* Only branch instructions add 2 to the PC... */
1209 srel -= (input_section->output_section->vma +
1210 input_section->output_offset);
1211
1212 if (srel & 1)
1213 return bfd_reloc_outofrange;
1214
1215 bfd_put_16 (input_bfd, srel & 0xffff, contents);
1216 break;
1217
1218 case R_MSP430_16_PCREL_BYTE:
1219 contents += rel->r_offset;
1220 srel = (bfd_signed_vma) relocation;
1221 srel += rel->r_addend;
1222 srel -= rel->r_offset;
1223 /* Only branch instructions add 2 to the PC... */
1224 srel -= (input_section->output_section->vma +
1225 input_section->output_offset);
1226
1227 bfd_put_16 (input_bfd, srel & 0xffff, contents);
1228 break;
1229
1230 case R_MSP430_16_BYTE:
1231 contents += rel->r_offset;
1232 srel = (bfd_signed_vma) relocation;
1233 srel += rel->r_addend;
1234 bfd_put_16 (input_bfd, srel & 0xffff, contents);
1235 break;
1236
1237 case R_MSP430_16:
1238 contents += rel->r_offset;
1239 srel = (bfd_signed_vma) relocation;
1240 srel += rel->r_addend;
1241
1242 if (srel & 1)
1243 return bfd_reloc_notsupported;
1244
1245 bfd_put_16 (input_bfd, srel & 0xffff, contents);
1246 break;
1247
1248 case R_MSP430_8:
1249 contents += rel->r_offset;
1250 srel = (bfd_signed_vma) relocation;
1251 srel += rel->r_addend;
1252
1253 bfd_put_8 (input_bfd, srel & 0xff, contents);
1254 break;
1255
1256 case R_MSP430_SYM_DIFF:
1257 /* Cache the input section and value.
1258 The offset is unreliable, since relaxation may
1259 have reduced the following reloc's offset. */
1260 sym_diff_section = input_section;
1261 sym_diff_value = relocation;
1262 return bfd_reloc_ok;
1263
1264 default:
1265 r = _bfd_final_link_relocate (howto, input_bfd, input_section,
1266 contents, rel->r_offset,
1267 relocation, rel->r_addend);
1268 }
1269
1270 return r;
1271 }
1272
1273 /* Relocate an MSP430 ELF section. */
1274
1275 static bfd_boolean
1276 elf32_msp430_relocate_section (bfd * output_bfd ATTRIBUTE_UNUSED,
1277 struct bfd_link_info * info,
1278 bfd * input_bfd,
1279 asection * input_section,
1280 bfd_byte * contents,
1281 Elf_Internal_Rela * relocs,
1282 Elf_Internal_Sym * local_syms,
1283 asection ** local_sections)
1284 {
1285 Elf_Internal_Shdr *symtab_hdr;
1286 struct elf_link_hash_entry **sym_hashes;
1287 Elf_Internal_Rela *rel;
1288 Elf_Internal_Rela *relend;
1289
1290 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr;
1291 sym_hashes = elf_sym_hashes (input_bfd);
1292 relend = relocs + input_section->reloc_count;
1293
1294 for (rel = relocs; rel < relend; rel++)
1295 {
1296 reloc_howto_type *howto;
1297 unsigned long r_symndx;
1298 Elf_Internal_Sym *sym;
1299 asection *sec;
1300 struct elf_link_hash_entry *h;
1301 bfd_vma relocation;
1302 bfd_reloc_status_type r;
1303 const char *name = NULL;
1304 int r_type;
1305
1306 r_type = ELF32_R_TYPE (rel->r_info);
1307 r_symndx = ELF32_R_SYM (rel->r_info);
1308
1309 if (uses_msp430x_relocs (input_bfd))
1310 howto = elf_msp430x_howto_table + r_type;
1311 else
1312 howto = elf_msp430_howto_table + r_type;
1313
1314 h = NULL;
1315 sym = NULL;
1316 sec = NULL;
1317
1318 if (r_symndx < symtab_hdr->sh_info)
1319 {
1320 sym = local_syms + r_symndx;
1321 sec = local_sections[r_symndx];
1322 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, &sec, rel);
1323
1324 name = bfd_elf_string_from_elf_section
1325 (input_bfd, symtab_hdr->sh_link, sym->st_name);
1326 name = name == NULL || *name == 0 ? bfd_section_name (sec) : name;
1327 }
1328 else
1329 {
1330 bfd_boolean unresolved_reloc, warned, ignored;
1331
1332 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
1333 r_symndx, symtab_hdr, sym_hashes,
1334 h, sec, relocation,
1335 unresolved_reloc, warned, ignored);
1336 name = h->root.root.string;
1337 }
1338
1339 if (sec != NULL && discarded_section (sec))
1340 RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section,
1341 rel, 1, relend, howto, 0, contents);
1342
1343 if (bfd_link_relocatable (info))
1344 continue;
1345
1346 r = msp430_final_link_relocate (howto, input_bfd, input_section,
1347 contents, rel, relocation, info);
1348
1349 if (r != bfd_reloc_ok)
1350 {
1351 const char *msg = (const char *) NULL;
1352
1353 switch (r)
1354 {
1355 case bfd_reloc_overflow:
1356 (*info->callbacks->reloc_overflow)
1357 (info, (h ? &h->root : NULL), name, howto->name,
1358 (bfd_vma) 0, input_bfd, input_section, rel->r_offset);
1359 break;
1360
1361 case bfd_reloc_undefined:
1362 (*info->callbacks->undefined_symbol)
1363 (info, name, input_bfd, input_section, rel->r_offset, TRUE);
1364 break;
1365
1366 case bfd_reloc_outofrange:
1367 msg = _("internal error: branch/jump to an odd address detected");
1368 break;
1369
1370 case bfd_reloc_notsupported:
1371 msg = _("internal error: unsupported relocation error");
1372 break;
1373
1374 case bfd_reloc_dangerous:
1375 msg = _("internal error: dangerous relocation");
1376 break;
1377
1378 default:
1379 msg = _("internal error: unknown error");
1380 break;
1381 }
1382
1383 if (msg)
1384 (*info->callbacks->warning) (info, msg, name, input_bfd,
1385 input_section, rel->r_offset);
1386 }
1387
1388 }
1389
1390 return TRUE;
1391 }
1392
1393 /* The final processing done just before writing out a MSP430 ELF object
1394 file. This gets the MSP430 architecture right based on the machine
1395 number. */
1396
1397 static bfd_boolean
1398 bfd_elf_msp430_final_write_processing (bfd *abfd)
1399 {
1400 unsigned long val;
1401
1402 switch (bfd_get_mach (abfd))
1403 {
1404 default:
1405 case bfd_mach_msp110: val = E_MSP430_MACH_MSP430x11x1; break;
1406 case bfd_mach_msp11: val = E_MSP430_MACH_MSP430x11; break;
1407 case bfd_mach_msp12: val = E_MSP430_MACH_MSP430x12; break;
1408 case bfd_mach_msp13: val = E_MSP430_MACH_MSP430x13; break;
1409 case bfd_mach_msp14: val = E_MSP430_MACH_MSP430x14; break;
1410 case bfd_mach_msp15: val = E_MSP430_MACH_MSP430x15; break;
1411 case bfd_mach_msp16: val = E_MSP430_MACH_MSP430x16; break;
1412 case bfd_mach_msp31: val = E_MSP430_MACH_MSP430x31; break;
1413 case bfd_mach_msp32: val = E_MSP430_MACH_MSP430x32; break;
1414 case bfd_mach_msp33: val = E_MSP430_MACH_MSP430x33; break;
1415 case bfd_mach_msp41: val = E_MSP430_MACH_MSP430x41; break;
1416 case bfd_mach_msp42: val = E_MSP430_MACH_MSP430x42; break;
1417 case bfd_mach_msp43: val = E_MSP430_MACH_MSP430x43; break;
1418 case bfd_mach_msp44: val = E_MSP430_MACH_MSP430x44; break;
1419 case bfd_mach_msp20: val = E_MSP430_MACH_MSP430x20; break;
1420 case bfd_mach_msp22: val = E_MSP430_MACH_MSP430x22; break;
1421 case bfd_mach_msp23: val = E_MSP430_MACH_MSP430x23; break;
1422 case bfd_mach_msp24: val = E_MSP430_MACH_MSP430x24; break;
1423 case bfd_mach_msp26: val = E_MSP430_MACH_MSP430x26; break;
1424 case bfd_mach_msp46: val = E_MSP430_MACH_MSP430x46; break;
1425 case bfd_mach_msp47: val = E_MSP430_MACH_MSP430x47; break;
1426 case bfd_mach_msp54: val = E_MSP430_MACH_MSP430x54; break;
1427 case bfd_mach_msp430x: val = E_MSP430_MACH_MSP430X; break;
1428 }
1429
1430 elf_elfheader (abfd)->e_machine = EM_MSP430;
1431 elf_elfheader (abfd)->e_flags &= ~EF_MSP430_MACH;
1432 elf_elfheader (abfd)->e_flags |= val;
1433 return _bfd_elf_final_write_processing (abfd);
1434 }
1435
1436 /* Set the right machine number. */
1437
1438 static bfd_boolean
1439 elf32_msp430_object_p (bfd * abfd)
1440 {
1441 int e_set = bfd_mach_msp14;
1442
1443 if (elf_elfheader (abfd)->e_machine == EM_MSP430
1444 || elf_elfheader (abfd)->e_machine == EM_MSP430_OLD)
1445 {
1446 int e_mach = elf_elfheader (abfd)->e_flags & EF_MSP430_MACH;
1447
1448 switch (e_mach)
1449 {
1450 default:
1451 case E_MSP430_MACH_MSP430x11: e_set = bfd_mach_msp11; break;
1452 case E_MSP430_MACH_MSP430x11x1: e_set = bfd_mach_msp110; break;
1453 case E_MSP430_MACH_MSP430x12: e_set = bfd_mach_msp12; break;
1454 case E_MSP430_MACH_MSP430x13: e_set = bfd_mach_msp13; break;
1455 case E_MSP430_MACH_MSP430x14: e_set = bfd_mach_msp14; break;
1456 case E_MSP430_MACH_MSP430x15: e_set = bfd_mach_msp15; break;
1457 case E_MSP430_MACH_MSP430x16: e_set = bfd_mach_msp16; break;
1458 case E_MSP430_MACH_MSP430x31: e_set = bfd_mach_msp31; break;
1459 case E_MSP430_MACH_MSP430x32: e_set = bfd_mach_msp32; break;
1460 case E_MSP430_MACH_MSP430x33: e_set = bfd_mach_msp33; break;
1461 case E_MSP430_MACH_MSP430x41: e_set = bfd_mach_msp41; break;
1462 case E_MSP430_MACH_MSP430x42: e_set = bfd_mach_msp42; break;
1463 case E_MSP430_MACH_MSP430x43: e_set = bfd_mach_msp43; break;
1464 case E_MSP430_MACH_MSP430x44: e_set = bfd_mach_msp44; break;
1465 case E_MSP430_MACH_MSP430x20: e_set = bfd_mach_msp20; break;
1466 case E_MSP430_MACH_MSP430x22: e_set = bfd_mach_msp22; break;
1467 case E_MSP430_MACH_MSP430x23: e_set = bfd_mach_msp23; break;
1468 case E_MSP430_MACH_MSP430x24: e_set = bfd_mach_msp24; break;
1469 case E_MSP430_MACH_MSP430x26: e_set = bfd_mach_msp26; break;
1470 case E_MSP430_MACH_MSP430x46: e_set = bfd_mach_msp46; break;
1471 case E_MSP430_MACH_MSP430x47: e_set = bfd_mach_msp47; break;
1472 case E_MSP430_MACH_MSP430x54: e_set = bfd_mach_msp54; break;
1473 case E_MSP430_MACH_MSP430X: e_set = bfd_mach_msp430x; break;
1474 }
1475 }
1476
1477 return bfd_default_set_arch_mach (abfd, bfd_arch_msp430, e_set);
1478 }
1479
1480 /* These functions handle relaxing for the msp430.
1481 Relaxation required only in two cases:
1482 - Bad hand coding like jumps from one section to another or
1483 from file to file.
1484 - Sibling calls. This will affect only 'jump label' polymorph. Without
1485 relaxing this enlarges code by 2 bytes. Sibcalls implemented but
1486 do not work in gcc's port by the reason I do not know.
1487 - To convert out of range conditional jump instructions (found inside
1488 a function) into inverted jumps over an unconditional branch instruction.
1489 Anyway, if a relaxation required, user should pass -relax option to the
1490 linker.
1491
1492 There are quite a few relaxing opportunities available on the msp430:
1493
1494 ================================================================
1495
1496 1. 3 words -> 1 word
1497
1498 eq == jeq label jne +4; br lab
1499 ne != jne label jeq +4; br lab
1500 lt < jl label jge +4; br lab
1501 ltu < jlo label lhs +4; br lab
1502 ge >= jge label jl +4; br lab
1503 geu >= jhs label jlo +4; br lab
1504
1505 2. 4 words -> 1 word
1506
1507 ltn < jn jn +2; jmp +4; br lab
1508
1509 3. 4 words -> 2 words
1510
1511 gt > jeq +2; jge label jeq +6; jl +4; br label
1512 gtu > jeq +2; jhs label jeq +6; jlo +4; br label
1513
1514 4. 4 words -> 2 words and 2 labels
1515
1516 leu <= jeq label; jlo label jeq +2; jhs +4; br label
1517 le <= jeq label; jl label jeq +2; jge +4; br label
1518 =================================================================
1519
1520 codemap for first cases is (labels masked ):
1521 eq: 0x2002,0x4010,0x0000 -> 0x2400
1522 ne: 0x2402,0x4010,0x0000 -> 0x2000
1523 lt: 0x3402,0x4010,0x0000 -> 0x3800
1524 ltu: 0x2c02,0x4010,0x0000 -> 0x2800
1525 ge: 0x3802,0x4010,0x0000 -> 0x3400
1526 geu: 0x2802,0x4010,0x0000 -> 0x2c00
1527
1528 second case:
1529 ltn: 0x3001,0x3c02,0x4010,0x0000 -> 0x3000
1530
1531 third case:
1532 gt: 0x2403,0x3802,0x4010,0x0000 -> 0x2401,0x3400
1533 gtu: 0x2403,0x2802,0x4010,0x0000 -> 0x2401,0x2c00
1534
1535 fourth case:
1536 leu: 0x2401,0x2c02,0x4010,0x0000 -> 0x2400,0x2800
1537 le: 0x2401,0x3402,0x4010,0x0000 -> 0x2400,0x3800
1538
1539 Unspecified case :)
1540 jump: 0x4010,0x0000 -> 0x3c00. */
1541
1542 #define NUMB_RELAX_CODES 12
1543 static struct rcodes_s
1544 {
1545 int f0, f1; /* From code. */
1546 int t0, t1; /* To code. */
1547 int labels; /* Position of labels: 1 - one label at first
1548 word, 2 - one at second word, 3 - two
1549 labels at both. */
1550 int cdx; /* Words to match. */
1551 int bs; /* Shrink bytes. */
1552 int off; /* Offset from old label for new code. */
1553 int ncl; /* New code length. */
1554 } rcode[] =
1555 {/* lab,cdx,bs,off,ncl */
1556 { 0x0000, 0x0000, 0x3c00, 0x0000, 1, 0, 2, 2, 2}, /* jump */
1557 { 0x0000, 0x2002, 0x2400, 0x0000, 1, 1, 4, 4, 2}, /* eq */
1558 { 0x0000, 0x2402, 0x2000, 0x0000, 1, 1, 4, 4, 2}, /* ne */
1559 { 0x0000, 0x3402, 0x3800, 0x0000, 1, 1, 4, 4, 2}, /* lt */
1560 { 0x0000, 0x2c02, 0x2800, 0x0000, 1, 1, 4, 4, 2}, /* ltu */
1561 { 0x0000, 0x3802, 0x3400, 0x0000, 1, 1, 4, 4, 2}, /* ge */
1562 { 0x0000, 0x2802, 0x2c00, 0x0000, 1, 1, 4, 4, 2}, /* geu */
1563 { 0x3001, 0x3c02, 0x3000, 0x0000, 1, 2, 6, 6, 2}, /* ltn */
1564 { 0x2403, 0x3802, 0x2401, 0x3400, 2, 2, 4, 6, 4}, /* gt */
1565 { 0x2403, 0x2802, 0x2401, 0x2c00, 2, 2, 4, 6, 4}, /* gtu */
1566 { 0x2401, 0x2c02, 0x2400, 0x2800, 3, 2, 4, 6, 4}, /* leu , 2 labels */
1567 { 0x2401, 0x2c02, 0x2400, 0x2800, 3, 2, 4, 6, 4}, /* le , 2 labels */
1568 { 0, 0, 0, 0, 0, 0, 0, 0, 0}
1569 };
1570
1571 /* Return TRUE if a symbol exists at the given address. */
1572
1573 static bfd_boolean
1574 msp430_elf_symbol_address_p (bfd * abfd,
1575 asection * sec,
1576 Elf_Internal_Sym * isym,
1577 bfd_vma addr)
1578 {
1579 Elf_Internal_Shdr *symtab_hdr;
1580 unsigned int sec_shndx;
1581 Elf_Internal_Sym *isymend;
1582 struct elf_link_hash_entry **sym_hashes;
1583 struct elf_link_hash_entry **end_hashes;
1584 unsigned int symcount;
1585
1586 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
1587
1588 /* Examine all the local symbols. */
1589 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
1590 for (isymend = isym + symtab_hdr->sh_info; isym < isymend; isym++)
1591 if (isym->st_shndx == sec_shndx && isym->st_value == addr)
1592 return TRUE;
1593
1594 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
1595 - symtab_hdr->sh_info);
1596 sym_hashes = elf_sym_hashes (abfd);
1597 end_hashes = sym_hashes + symcount;
1598 for (; sym_hashes < end_hashes; sym_hashes++)
1599 {
1600 struct elf_link_hash_entry *sym_hash = *sym_hashes;
1601
1602 if ((sym_hash->root.type == bfd_link_hash_defined
1603 || sym_hash->root.type == bfd_link_hash_defweak)
1604 && sym_hash->root.u.def.section == sec
1605 && sym_hash->root.u.def.value == addr)
1606 return TRUE;
1607 }
1608
1609 return FALSE;
1610 }
1611
1612 /* Adjust all local symbols defined as '.section + 0xXXXX' (.section has
1613 sec_shndx) referenced from current and other sections. */
1614
1615 static bfd_boolean
1616 msp430_elf_relax_adjust_locals (bfd * abfd, asection * sec, bfd_vma addr,
1617 int count, unsigned int sec_shndx,
1618 bfd_vma toaddr)
1619 {
1620 Elf_Internal_Shdr *symtab_hdr;
1621 Elf_Internal_Rela *irel;
1622 Elf_Internal_Rela *irelend;
1623 Elf_Internal_Sym *isym;
1624
1625 irel = elf_section_data (sec)->relocs;
1626 if (irel == NULL)
1627 return TRUE;
1628
1629 irelend = irel + sec->reloc_count;
1630 symtab_hdr = & elf_tdata (abfd)->symtab_hdr;
1631 isym = (Elf_Internal_Sym *) symtab_hdr->contents;
1632
1633 for (;irel < irelend; irel++)
1634 {
1635 unsigned int sidx = ELF32_R_SYM(irel->r_info);
1636 Elf_Internal_Sym *lsym = isym + sidx;
1637
1638 /* Adjust symbols referenced by .sec+0xXX. */
1639 if (irel->r_addend > addr && irel->r_addend < toaddr
1640 && sidx < symtab_hdr->sh_info
1641 && lsym->st_shndx == sec_shndx)
1642 irel->r_addend -= count;
1643 }
1644
1645 return TRUE;
1646 }
1647
1648 /* Delete some bytes from a section while relaxing. */
1649
1650 static bfd_boolean
1651 msp430_elf_relax_delete_bytes (bfd * abfd, asection * sec, bfd_vma addr,
1652 int count)
1653 {
1654 Elf_Internal_Shdr *symtab_hdr;
1655 unsigned int sec_shndx;
1656 bfd_byte *contents;
1657 Elf_Internal_Rela *irel;
1658 Elf_Internal_Rela *irelend;
1659 bfd_vma toaddr;
1660 Elf_Internal_Sym *isym;
1661 Elf_Internal_Sym *isymend;
1662 struct elf_link_hash_entry **sym_hashes;
1663 struct elf_link_hash_entry **end_hashes;
1664 unsigned int symcount;
1665 asection *p;
1666
1667 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
1668
1669 contents = elf_section_data (sec)->this_hdr.contents;
1670
1671 toaddr = sec->size;
1672 if (debug_relocs)
1673 printf (" deleting %d bytes between 0x%lx to 0x%lx\n",
1674 count, addr, toaddr);
1675
1676 irel = elf_section_data (sec)->relocs;
1677 irelend = irel + sec->reloc_count;
1678
1679 /* Actually delete the bytes. */
1680 memmove (contents + addr, contents + addr + count,
1681 (size_t) (toaddr - addr - count));
1682 sec->size -= count;
1683
1684 /* Adjust all the relocs. */
1685 symtab_hdr = & elf_tdata (abfd)->symtab_hdr;
1686 isym = (Elf_Internal_Sym *) symtab_hdr->contents;
1687 for (; irel < irelend; irel++)
1688 {
1689 /* Get the new reloc address. */
1690 if ((irel->r_offset > addr && irel->r_offset < toaddr))
1691 irel->r_offset -= count;
1692 }
1693
1694 for (p = abfd->sections; p != NULL; p = p->next)
1695 msp430_elf_relax_adjust_locals (abfd,p,addr,count,sec_shndx,toaddr);
1696
1697 /* Adjust the local symbols defined in this section. */
1698 symtab_hdr = & elf_tdata (abfd)->symtab_hdr;
1699 isym = (Elf_Internal_Sym *) symtab_hdr->contents;
1700 for (isymend = isym + symtab_hdr->sh_info; isym < isymend; isym++)
1701 {
1702 const char * name;
1703
1704 name = bfd_elf_string_from_elf_section
1705 (abfd, symtab_hdr->sh_link, isym->st_name);
1706 name = name == NULL || *name == 0 ? bfd_section_name (sec) : name;
1707
1708 if (isym->st_shndx != sec_shndx)
1709 continue;
1710
1711 if (isym->st_value > addr
1712 && (isym->st_value < toaddr
1713 /* We also adjust a symbol at the end of the section if its name is
1714 on the list below. These symbols are used for debug info
1715 generation and they refer to the end of the current section, not
1716 the start of the next section. */
1717 || (isym->st_value == toaddr
1718 && name != NULL
1719 && (CONST_STRNEQ (name, ".Letext")
1720 || CONST_STRNEQ (name, ".LFE")))))
1721 {
1722 if (debug_relocs)
1723 printf (" adjusting value of local symbol %s from 0x%lx ",
1724 name, isym->st_value);
1725 if (isym->st_value < addr + count)
1726 isym->st_value = addr;
1727 else
1728 isym->st_value -= count;
1729 if (debug_relocs)
1730 printf ("to 0x%lx\n", isym->st_value);
1731 }
1732 /* Adjust the function symbol's size as well. */
1733 else if (ELF_ST_TYPE (isym->st_info) == STT_FUNC
1734 && isym->st_value + isym->st_size > addr
1735 && isym->st_value + isym->st_size < toaddr)
1736 isym->st_size -= count;
1737 }
1738
1739 /* Now adjust the global symbols defined in this section. */
1740 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
1741 - symtab_hdr->sh_info);
1742 sym_hashes = elf_sym_hashes (abfd);
1743 end_hashes = sym_hashes + symcount;
1744 for (; sym_hashes < end_hashes; sym_hashes++)
1745 {
1746 struct elf_link_hash_entry *sym_hash = *sym_hashes;
1747
1748 if ((sym_hash->root.type == bfd_link_hash_defined
1749 || sym_hash->root.type == bfd_link_hash_defweak)
1750 && sym_hash->root.u.def.section == sec
1751 && sym_hash->root.u.def.value > addr
1752 && sym_hash->root.u.def.value < toaddr)
1753 {
1754 if (sym_hash->root.u.def.value < addr + count)
1755 sym_hash->root.u.def.value = addr;
1756 else
1757 sym_hash->root.u.def.value -= count;
1758 }
1759 /* Adjust the function symbol's size as well. */
1760 else if (sym_hash->root.type == bfd_link_hash_defined
1761 && sym_hash->root.u.def.section == sec
1762 && sym_hash->type == STT_FUNC
1763 && sym_hash->root.u.def.value + sym_hash->size > addr
1764 && sym_hash->root.u.def.value + sym_hash->size < toaddr)
1765 sym_hash->size -= count;
1766 }
1767
1768 return TRUE;
1769 }
1770
1771 /* Insert two words into a section whilst relaxing. */
1772
1773 static bfd_byte *
1774 msp430_elf_relax_add_two_words (bfd * abfd, asection * sec, bfd_vma addr,
1775 int word1, int word2)
1776 {
1777 Elf_Internal_Shdr *symtab_hdr;
1778 unsigned int sec_shndx;
1779 bfd_byte *contents;
1780 Elf_Internal_Rela *irel;
1781 Elf_Internal_Rela *irelend;
1782 Elf_Internal_Sym *isym;
1783 Elf_Internal_Sym *isymend;
1784 struct elf_link_hash_entry **sym_hashes;
1785 struct elf_link_hash_entry **end_hashes;
1786 unsigned int symcount;
1787 bfd_vma sec_end;
1788 asection *p;
1789 if (debug_relocs)
1790 printf (" adding two words at 0x%lx\n",
1791 sec->output_section->vma + sec->output_offset + addr);
1792
1793 contents = elf_section_data (sec)->this_hdr.contents;
1794 sec_end = sec->size;
1795
1796 /* Make space for the new words. */
1797 contents = bfd_realloc (contents, sec_end + 4);
1798 memmove (contents + addr + 4, contents + addr, sec_end - addr);
1799
1800 /* Insert the new words. */
1801 bfd_put_16 (abfd, word1, contents + addr);
1802 bfd_put_16 (abfd, word2, contents + addr + 2);
1803
1804 /* Update the section information. */
1805 sec->size += 4;
1806 elf_section_data (sec)->this_hdr.contents = contents;
1807
1808 /* Adjust all the relocs. */
1809 irel = elf_section_data (sec)->relocs;
1810 irelend = irel + sec->reloc_count;
1811
1812 for (; irel < irelend; irel++)
1813 if ((irel->r_offset >= addr && irel->r_offset < sec_end))
1814 irel->r_offset += 4;
1815
1816 /* Adjust the local symbols defined in this section. */
1817 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
1818 for (p = abfd->sections; p != NULL; p = p->next)
1819 msp430_elf_relax_adjust_locals (abfd, p, addr, -4,
1820 sec_shndx, sec_end);
1821
1822 /* Adjust the global symbols affected by the move. */
1823 symtab_hdr = & elf_tdata (abfd)->symtab_hdr;
1824 isym = (Elf_Internal_Sym *) symtab_hdr->contents;
1825 for (isymend = isym + symtab_hdr->sh_info; isym < isymend; isym++)
1826 if (isym->st_shndx == sec_shndx
1827 && isym->st_value >= addr && isym->st_value < sec_end)
1828 {
1829 if (debug_relocs)
1830 printf (" adjusting value of local symbol %s from 0x%lx to "
1831 "0x%lx\n", bfd_elf_string_from_elf_section
1832 (abfd, symtab_hdr->sh_link, isym->st_name),
1833 isym->st_value, isym->st_value + 4);
1834 isym->st_value += 4;
1835 }
1836
1837 /* Now adjust the global symbols defined in this section. */
1838 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
1839 - symtab_hdr->sh_info);
1840 sym_hashes = elf_sym_hashes (abfd);
1841 end_hashes = sym_hashes + symcount;
1842 for (; sym_hashes < end_hashes; sym_hashes++)
1843 {
1844 struct elf_link_hash_entry *sym_hash = *sym_hashes;
1845
1846 if ((sym_hash->root.type == bfd_link_hash_defined
1847 || sym_hash->root.type == bfd_link_hash_defweak)
1848 && sym_hash->root.u.def.section == sec
1849 && sym_hash->root.u.def.value >= addr
1850 && sym_hash->root.u.def.value < sec_end)
1851 sym_hash->root.u.def.value += 4;
1852 }
1853
1854 return contents;
1855 }
1856
1857 static bfd_boolean
1858 msp430_elf_relax_section (bfd * abfd, asection * sec,
1859 struct bfd_link_info * link_info,
1860 bfd_boolean * again)
1861 {
1862 Elf_Internal_Shdr * symtab_hdr;
1863 Elf_Internal_Rela * internal_relocs;
1864 Elf_Internal_Rela * irel;
1865 Elf_Internal_Rela * irelend;
1866 bfd_byte * contents = NULL;
1867 Elf_Internal_Sym * isymbuf = NULL;
1868
1869 /* Assume nothing changes. */
1870 *again = FALSE;
1871
1872 /* We don't have to do anything for a relocatable link, if
1873 this section does not have relocs, or if this is not a
1874 code section. */
1875 if (bfd_link_relocatable (link_info)
1876 || (sec->flags & SEC_RELOC) == 0
1877 || sec->reloc_count == 0 || (sec->flags & SEC_CODE) == 0)
1878 return TRUE;
1879
1880 if (debug_relocs)
1881 printf ("Relaxing %s (%p), output_offset: 0x%lx sec size: 0x%lx\n",
1882 sec->name, sec, sec->output_offset, sec->size);
1883
1884 symtab_hdr = & elf_tdata (abfd)->symtab_hdr;
1885
1886 /* Get a copy of the native relocations. */
1887 internal_relocs =
1888 _bfd_elf_link_read_relocs (abfd, sec, NULL, NULL, link_info->keep_memory);
1889 if (internal_relocs == NULL)
1890 goto error_return;
1891
1892 /* Walk through them looking for relaxing opportunities. */
1893 irelend = internal_relocs + sec->reloc_count;
1894
1895 if (debug_relocs)
1896 printf (" trying code size growing relocs\n");
1897 /* Do code size growing relocs first. */
1898 for (irel = internal_relocs; irel < irelend; irel++)
1899 {
1900 bfd_vma symval;
1901
1902 /* If this isn't something that can be relaxed, then ignore
1903 this reloc. */
1904 if (uses_msp430x_relocs (abfd)
1905 && ELF32_R_TYPE (irel->r_info) == (int) R_MSP430X_10_PCREL)
1906 ;
1907 else if (! uses_msp430x_relocs (abfd)
1908 && ELF32_R_TYPE (irel->r_info) == (int) R_MSP430_10_PCREL)
1909 ;
1910 else
1911 continue;
1912
1913 /* Get the section contents if we haven't done so already. */
1914 if (contents == NULL)
1915 {
1916 /* Get cached copy if it exists. */
1917 if (elf_section_data (sec)->this_hdr.contents != NULL)
1918 contents = elf_section_data (sec)->this_hdr.contents;
1919 else if (! bfd_malloc_and_get_section (abfd, sec, &contents))
1920 goto error_return;
1921 }
1922
1923 /* Read this BFD's local symbols if we haven't done so already. */
1924 if (isymbuf == NULL && symtab_hdr->sh_info != 0)
1925 {
1926 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
1927 if (isymbuf == NULL)
1928 isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr,
1929 symtab_hdr->sh_info, 0,
1930 NULL, NULL, NULL);
1931 if (isymbuf == NULL)
1932 goto error_return;
1933 }
1934
1935 /* Get the value of the symbol referred to by the reloc. */
1936 if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info)
1937 {
1938 /* A local symbol. */
1939 Elf_Internal_Sym *isym;
1940 asection *sym_sec;
1941
1942 isym = isymbuf + ELF32_R_SYM (irel->r_info);
1943 if (isym->st_shndx == SHN_UNDEF)
1944 sym_sec = bfd_und_section_ptr;
1945 else if (isym->st_shndx == SHN_ABS)
1946 sym_sec = bfd_abs_section_ptr;
1947 else if (isym->st_shndx == SHN_COMMON)
1948 sym_sec = bfd_com_section_ptr;
1949 else
1950 sym_sec = bfd_section_from_elf_index (abfd, isym->st_shndx);
1951 symval = (isym->st_value
1952 + sym_sec->output_section->vma + sym_sec->output_offset);
1953
1954 if (debug_relocs)
1955 printf (" processing reloc at 0x%lx for local sym: %s "
1956 "st_value: 0x%lx adj value: 0x%lx\n", sec->output_offset
1957 + sec->output_section->vma + irel->r_offset,
1958 bfd_elf_string_from_elf_section (abfd, symtab_hdr->sh_link,
1959 isym->st_name),
1960 isym->st_value, symval);
1961 }
1962 else
1963 {
1964 unsigned long indx;
1965 struct elf_link_hash_entry *h;
1966
1967 /* An external symbol. */
1968 indx = ELF32_R_SYM (irel->r_info) - symtab_hdr->sh_info;
1969 h = elf_sym_hashes (abfd)[indx];
1970 BFD_ASSERT (h != NULL);
1971
1972 if (h->root.type != bfd_link_hash_defined
1973 && h->root.type != bfd_link_hash_defweak)
1974 /* This appears to be a reference to an undefined
1975 symbol. Just ignore it--it will be caught by the
1976 regular reloc processing. */
1977 continue;
1978
1979 symval = (h->root.u.def.value
1980 + h->root.u.def.section->output_section->vma
1981 + h->root.u.def.section->output_offset);
1982 if (debug_relocs)
1983 printf (" processing reloc at 0x%lx for global sym: %s "
1984 "st_value: 0x%lx adj value: 0x%lx\n", sec->output_offset
1985 + sec->output_section->vma + irel->r_offset,
1986 h->root.root.string, h->root.u.def.value, symval);
1987 }
1988
1989 /* For simplicity of coding, we are going to modify the section
1990 contents, the section relocs, and the BFD symbol table. We
1991 must tell the rest of the code not to free up this
1992 information. It would be possible to instead create a table
1993 of changes which have to be made, as is done in coff-mips.c;
1994 that would be more work, but would require less memory when
1995 the linker is run. */
1996
1997 bfd_signed_vma value = symval;
1998 int opcode;
1999
2000 /* Compute the value that will be relocated. */
2001 value += irel->r_addend;
2002 /* Convert to PC relative. */
2003 value -= (sec->output_section->vma + sec->output_offset);
2004 value -= irel->r_offset;
2005 value -= 2;
2006
2007 /* Scale. */
2008 value >>= 1;
2009
2010 /* If it is in range then no modifications are needed. */
2011 if (value >= -512 && value <= 511)
2012 continue;
2013
2014 /* Get the opcode. */
2015 opcode = bfd_get_16 (abfd, contents + irel->r_offset);
2016
2017 /* Compute the new opcode. We are going to convert:
2018 J<cond> label
2019 into:
2020 J<inv-cond> 1f
2021 BR[A] #label
2022 1: */
2023 switch (opcode & 0xfc00)
2024 {
2025 case 0x3800: opcode = 0x3402; break; /* Jl -> Jge +2 */
2026 case 0x3400: opcode = 0x3802; break; /* Jge -> Jl +2 */
2027 case 0x2c00: opcode = 0x2802; break; /* Jhs -> Jlo +2 */
2028 case 0x2800: opcode = 0x2c02; break; /* Jlo -> Jhs +2 */
2029 case 0x2400: opcode = 0x2002; break; /* Jeq -> Jne +2 */
2030 case 0x2000: opcode = 0x2402; break; /* jne -> Jeq +2 */
2031 case 0x3000: /* jn */
2032 /* There is no direct inverse of the Jn insn.
2033 FIXME: we could do this as:
2034 Jn 1f
2035 br 2f
2036 1: br label
2037 2: */
2038 continue;
2039 default:
2040 /* Not a conditional branch instruction. */
2041 /* fprintf (stderr, "unrecog: %x\n", opcode); */
2042 continue;
2043 }
2044
2045 /* Note that we've changed the relocs, section contents, etc. */
2046 elf_section_data (sec)->relocs = internal_relocs;
2047 elf_section_data (sec)->this_hdr.contents = contents;
2048 symtab_hdr->contents = (unsigned char *) isymbuf;
2049
2050 /* Install the new opcode. */
2051 bfd_put_16 (abfd, opcode, contents + irel->r_offset);
2052
2053 /* Insert the new branch instruction. */
2054 if (uses_msp430x_relocs (abfd))
2055 {
2056 if (debug_relocs)
2057 printf (" R_MSP430X_10_PCREL -> R_MSP430X_ABS20_ADR_SRC "
2058 "(growing with new opcode 0x%x)\n", opcode);
2059
2060 /* Insert an absolute branch (aka MOVA) instruction. */
2061 contents = msp430_elf_relax_add_two_words
2062 (abfd, sec, irel->r_offset + 2, 0x0080, 0x0000);
2063
2064 /* Update the relocation to point to the inserted branch
2065 instruction. Note - we are changing a PC-relative reloc
2066 into an absolute reloc, but this is OK because we have
2067 arranged with the assembler to have the reloc's value be
2068 a (local) symbol, not a section+offset value. */
2069 irel->r_offset += 2;
2070 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
2071 R_MSP430X_ABS20_ADR_SRC);
2072 }
2073 else
2074 {
2075 if (debug_relocs)
2076 printf (" R_MSP430_10_PCREL -> R_MSP430_16 "
2077 "(growing with new opcode 0x%x)\n", opcode);
2078 contents = msp430_elf_relax_add_two_words
2079 (abfd, sec, irel->r_offset + 2, 0x4030, 0x0000);
2080
2081 /* See comment above about converting a 10-bit PC-rel
2082 relocation into a 16-bit absolute relocation. */
2083 irel->r_offset += 4;
2084 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
2085 R_MSP430_16);
2086 }
2087
2088 /* Growing the section may mean that other
2089 conditional branches need to be fixed. */
2090 *again = TRUE;
2091 }
2092
2093 if (debug_relocs)
2094 printf (" trying code size shrinking relocs\n");
2095
2096 for (irel = internal_relocs; irel < irelend; irel++)
2097 {
2098 bfd_vma symval;
2099
2100 /* Get the section contents if we haven't done so already. */
2101 if (contents == NULL)
2102 {
2103 /* Get cached copy if it exists. */
2104 if (elf_section_data (sec)->this_hdr.contents != NULL)
2105 contents = elf_section_data (sec)->this_hdr.contents;
2106 else if (! bfd_malloc_and_get_section (abfd, sec, &contents))
2107 goto error_return;
2108 }
2109
2110 /* Read this BFD's local symbols if we haven't done so already. */
2111 if (isymbuf == NULL && symtab_hdr->sh_info != 0)
2112 {
2113 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
2114 if (isymbuf == NULL)
2115 isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr,
2116 symtab_hdr->sh_info, 0,
2117 NULL, NULL, NULL);
2118 if (isymbuf == NULL)
2119 goto error_return;
2120 }
2121
2122 /* Get the value of the symbol referred to by the reloc. */
2123 if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info)
2124 {
2125 /* A local symbol. */
2126 Elf_Internal_Sym *isym;
2127 asection *sym_sec;
2128
2129 isym = isymbuf + ELF32_R_SYM (irel->r_info);
2130 if (isym->st_shndx == SHN_UNDEF)
2131 sym_sec = bfd_und_section_ptr;
2132 else if (isym->st_shndx == SHN_ABS)
2133 sym_sec = bfd_abs_section_ptr;
2134 else if (isym->st_shndx == SHN_COMMON)
2135 sym_sec = bfd_com_section_ptr;
2136 else
2137 sym_sec = bfd_section_from_elf_index (abfd, isym->st_shndx);
2138 symval = (isym->st_value
2139 + sym_sec->output_section->vma + sym_sec->output_offset);
2140
2141 if (debug_relocs)
2142 printf (" processing reloc at 0x%lx for local sym: %s "
2143 "st_value: 0x%lx adj value: 0x%lx\n", sec->output_offset
2144 + sec->output_section->vma + irel->r_offset,
2145 bfd_elf_string_from_elf_section
2146 (abfd, symtab_hdr->sh_link, isym->st_name),
2147 isym->st_value, symval);
2148 }
2149 else
2150 {
2151 unsigned long indx;
2152 struct elf_link_hash_entry *h;
2153
2154 /* An external symbol. */
2155 indx = ELF32_R_SYM (irel->r_info) - symtab_hdr->sh_info;
2156 h = elf_sym_hashes (abfd)[indx];
2157 BFD_ASSERT (h != NULL);
2158
2159 if (h->root.type != bfd_link_hash_defined
2160 && h->root.type != bfd_link_hash_defweak)
2161 /* This appears to be a reference to an undefined
2162 symbol. Just ignore it--it will be caught by the
2163 regular reloc processing. */
2164 continue;
2165
2166 symval = (h->root.u.def.value
2167 + h->root.u.def.section->output_section->vma
2168 + h->root.u.def.section->output_offset);
2169 if (debug_relocs)
2170 printf (" processing reloc at 0x%lx for global sym: %s "
2171 "st_value: 0x%lx adj value: 0x%lx\n", sec->output_offset
2172 + sec->output_section->vma + irel->r_offset,
2173 h->root.root.string, h->root.u.def.value, symval);
2174 }
2175
2176 /* For simplicity of coding, we are going to modify the section
2177 contents, the section relocs, and the BFD symbol table. We
2178 must tell the rest of the code not to free up this
2179 information. It would be possible to instead create a table
2180 of changes which have to be made, as is done in coff-mips.c;
2181 that would be more work, but would require less memory when
2182 the linker is run. */
2183
2184 /* Try to turn a 16bit pc-relative branch into a 10bit pc-relative
2185 branch. */
2186 /* Paranoia? paranoia... */
2187 if (! uses_msp430x_relocs (abfd)
2188 && ELF32_R_TYPE (irel->r_info) == (int) R_MSP430_RL_PCREL)
2189 {
2190 bfd_vma value = symval;
2191
2192 /* Deal with pc-relative gunk. */
2193 value -= (sec->output_section->vma + sec->output_offset);
2194 value -= irel->r_offset;
2195 value += irel->r_addend;
2196
2197 /* See if the value will fit in 10 bits, note the high value is
2198 1016 as the target will be two bytes closer if we are
2199 able to relax. */
2200 if ((long) value < 1016 && (long) value > -1016)
2201 {
2202 int code0 = 0, code1 = 0, code2 = 0;
2203 int i;
2204 struct rcodes_s *rx;
2205
2206 /* Get the opcode. */
2207 if (irel->r_offset >= 6)
2208 code0 = bfd_get_16 (abfd, contents + irel->r_offset - 6);
2209
2210 if (irel->r_offset >= 4)
2211 code1 = bfd_get_16 (abfd, contents + irel->r_offset - 4);
2212
2213 code2 = bfd_get_16 (abfd, contents + irel->r_offset - 2);
2214
2215 if (code2 != 0x4010)
2216 continue;
2217
2218 /* Check r4 and r3. */
2219 for (i = NUMB_RELAX_CODES - 1; i >= 0; i--)
2220 {
2221 rx = &rcode[i];
2222 if (rx->cdx == 2 && rx->f0 == code0 && rx->f1 == code1)
2223 break;
2224 else if (rx->cdx == 1 && rx->f1 == code1)
2225 break;
2226 else if (rx->cdx == 0) /* This is an unconditional jump. */
2227 break;
2228 }
2229
2230 /* Check labels:
2231 .Label0: ; we do not care about this label
2232 jeq +6
2233 .Label1: ; make sure there is no label here
2234 jl +4
2235 .Label2: ; make sure there is no label here
2236 br .Label_dst
2237
2238 So, if there is .Label1 or .Label2 we cannot relax this code.
2239 This actually should not happen, cause for relaxable
2240 instructions we use RL_PCREL reloc instead of 16_PCREL.
2241 Will change this in the future. */
2242
2243 if (rx->cdx > 0
2244 && msp430_elf_symbol_address_p (abfd, sec, isymbuf,
2245 irel->r_offset - 2))
2246 continue;
2247 if (rx->cdx > 1
2248 && msp430_elf_symbol_address_p (abfd, sec, isymbuf,
2249 irel->r_offset - 4))
2250 continue;
2251
2252 /* Note that we've changed the relocs, section contents, etc. */
2253 elf_section_data (sec)->relocs = internal_relocs;
2254 elf_section_data (sec)->this_hdr.contents = contents;
2255 symtab_hdr->contents = (unsigned char *) isymbuf;
2256
2257 if (debug_relocs)
2258 printf (" R_MSP430_RL_PCREL -> ");
2259 /* Fix the relocation's type. */
2260 if (uses_msp430x_relocs (abfd))
2261 {
2262 if (rx->labels == 3) /* Handle special cases. */
2263 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
2264 R_MSP430X_2X_PCREL);
2265 else
2266 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
2267 R_MSP430X_10_PCREL);
2268 }
2269 else
2270 {
2271 if (rx->labels == 3) /* Handle special cases. */
2272 {
2273 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
2274 R_MSP430_2X_PCREL);
2275 if (debug_relocs)
2276 printf ("R_MSP430_2X_PCREL (shrinking with new opcode"
2277 " 0x%x)\n", rx->t0);
2278 }
2279 else
2280 {
2281 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
2282 R_MSP430_10_PCREL);
2283 if (debug_relocs)
2284 printf ("R_MSP430_10_PCREL (shrinking with new opcode"
2285 " 0x%x)\n", rx->t0);
2286 }
2287 }
2288
2289 /* Fix the opcode right way. */
2290 bfd_put_16 (abfd, rx->t0, contents + irel->r_offset - rx->off);
2291 if (rx->t1)
2292 bfd_put_16 (abfd, rx->t1,
2293 contents + irel->r_offset - rx->off + 2);
2294
2295 /* Delete bytes. */
2296 if (!msp430_elf_relax_delete_bytes (abfd, sec,
2297 irel->r_offset - rx->off +
2298 rx->ncl, rx->bs))
2299 goto error_return;
2300
2301 /* Handle unconditional jumps. */
2302 if (rx->cdx == 0)
2303 irel->r_offset -= 2;
2304
2305 /* That will change things, so, we should relax again.
2306 Note that this is not required, and it may be slow. */
2307 *again = TRUE;
2308 }
2309 }
2310
2311 /* Try to turn a 16-bit absolute branch into a 10-bit pc-relative
2312 branch. */
2313 if ((uses_msp430x_relocs (abfd)
2314 && ELF32_R_TYPE (irel->r_info) == R_MSP430X_ABS16)
2315 || (! uses_msp430x_relocs (abfd)
2316 && ELF32_R_TYPE (irel->r_info) == R_MSP430_16))
2317 {
2318 bfd_vma value = symval;
2319
2320 value -= (sec->output_section->vma + sec->output_offset);
2321 value -= irel->r_offset;
2322 value += irel->r_addend;
2323
2324 /* See if the value will fit in 10 bits, note the high value is
2325 1016 as the target will be two bytes closer if we are
2326 able to relax. */
2327 if ((long) value < 1016 && (long) value > -1016)
2328 {
2329 int code2;
2330
2331 /* Get the opcode. */
2332 code2 = bfd_get_16 (abfd, contents + irel->r_offset - 2);
2333 if (code2 != 0x4030)
2334 continue;
2335 /* FIXME: check r4 and r3 ? */
2336 /* FIXME: Handle 0x4010 as well ? */
2337
2338 /* Note that we've changed the relocs, section contents, etc. */
2339 elf_section_data (sec)->relocs = internal_relocs;
2340 elf_section_data (sec)->this_hdr.contents = contents;
2341 symtab_hdr->contents = (unsigned char *) isymbuf;
2342
2343 /* Fix the relocation's type. */
2344 if (uses_msp430x_relocs (abfd))
2345 {
2346 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
2347 R_MSP430X_10_PCREL);
2348 if (debug_relocs)
2349 printf (" R_MSP430X_16 -> R_MSP430X_10_PCREL ");
2350 }
2351 else
2352 {
2353 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
2354 R_MSP430_10_PCREL);
2355 if (debug_relocs)
2356 printf (" R_MSP430_16 -> R_MSP430_10_PCREL ");
2357 }
2358 if (debug_relocs)
2359 printf ("(shrinking with new opcode 0x3c00)\n");
2360
2361 /* Fix the opcode right way. */
2362 bfd_put_16 (abfd, 0x3c00, contents + irel->r_offset - 2);
2363 irel->r_offset -= 2;
2364
2365 /* Delete bytes. */
2366 if (!msp430_elf_relax_delete_bytes (abfd, sec,
2367 irel->r_offset + 2, 2))
2368 goto error_return;
2369
2370 /* That will change things, so, we should relax again.
2371 Note that this is not required, and it may be slow. */
2372 *again = TRUE;
2373 }
2374 }
2375 }
2376
2377 if (isymbuf != NULL && symtab_hdr->contents != (unsigned char *) isymbuf)
2378 {
2379 if (!link_info->keep_memory)
2380 free (isymbuf);
2381 else
2382 {
2383 /* Cache the symbols for elf_link_input_bfd. */
2384 symtab_hdr->contents = (unsigned char *) isymbuf;
2385 }
2386 }
2387
2388 if (contents != NULL
2389 && elf_section_data (sec)->this_hdr.contents != contents)
2390 {
2391 if (!link_info->keep_memory)
2392 free (contents);
2393 else
2394 {
2395 /* Cache the section contents for elf_link_input_bfd. */
2396 elf_section_data (sec)->this_hdr.contents = contents;
2397 }
2398 }
2399
2400 if (internal_relocs != NULL
2401 && elf_section_data (sec)->relocs != internal_relocs)
2402 free (internal_relocs);
2403
2404 return TRUE;
2405
2406 error_return:
2407 if (isymbuf != NULL && symtab_hdr->contents != (unsigned char *) isymbuf)
2408 free (isymbuf);
2409 if (contents != NULL
2410 && elf_section_data (sec)->this_hdr.contents != contents)
2411 free (contents);
2412 if (internal_relocs != NULL
2413 && elf_section_data (sec)->relocs != internal_relocs)
2414 free (internal_relocs);
2415
2416 return FALSE;
2417 }
2418
2419 /* Handle an MSP430 specific section when reading an object file.
2420 This is called when bfd_section_from_shdr finds a section with
2421 an unknown type. */
2422
2423 static bfd_boolean
2424 elf32_msp430_section_from_shdr (bfd *abfd,
2425 Elf_Internal_Shdr * hdr,
2426 const char *name,
2427 int shindex)
2428 {
2429 switch (hdr->sh_type)
2430 {
2431 case SHT_MSP430_SEC_FLAGS:
2432 case SHT_MSP430_SYM_ALIASES:
2433 case SHT_MSP430_ATTRIBUTES:
2434 return _bfd_elf_make_section_from_shdr (abfd, hdr, name, shindex);
2435 default:
2436 return FALSE;
2437 }
2438 }
2439
2440 static bfd_boolean
2441 elf32_msp430_obj_attrs_handle_unknown (bfd *abfd, int tag)
2442 {
2443 _bfd_error_handler
2444 /* xgettext:c-format */
2445 (_("warning: %pB: unknown MSPABI object attribute %d"),
2446 abfd, tag);
2447 return TRUE;
2448 }
2449
2450 /* Determine whether an object attribute tag takes an integer, a
2451 string or both. */
2452
2453 static int
2454 elf32_msp430_obj_attrs_arg_type (int tag)
2455 {
2456 if (tag == Tag_compatibility)
2457 return ATTR_TYPE_FLAG_INT_VAL | ATTR_TYPE_FLAG_STR_VAL;
2458
2459 if (tag < 32)
2460 return ATTR_TYPE_FLAG_INT_VAL;
2461
2462 return (tag & 1) != 0 ? ATTR_TYPE_FLAG_STR_VAL : ATTR_TYPE_FLAG_INT_VAL;
2463 }
2464
2465 static inline const char *
2466 isa_type (int isa)
2467 {
2468 switch (isa)
2469 {
2470 case 1: return "MSP430";
2471 case 2: return "MSP430X";
2472 default: return "unknown";
2473 }
2474 }
2475
2476 static inline const char *
2477 code_model (int model)
2478 {
2479 switch (model)
2480 {
2481 case 1: return "small";
2482 case 2: return "large";
2483 default: return "unknown";
2484 }
2485 }
2486
2487 static inline const char *
2488 data_model (int model)
2489 {
2490 switch (model)
2491 {
2492 case 1: return "small";
2493 case 2: return "large";
2494 case 3: return "restricted large";
2495 default: return "unknown";
2496 }
2497 }
2498
2499 /* Merge MSPABI and GNU object attributes from IBFD into OBFD.
2500 Raise an error if there are conflicting attributes. */
2501
2502 static bfd_boolean
2503 elf32_msp430_merge_msp430_attributes (bfd *ibfd, struct bfd_link_info *info)
2504 {
2505 bfd *obfd = info->output_bfd;
2506 obj_attribute *in_msp_attr, *in_gnu_attr;
2507 obj_attribute *out_msp_attr, *out_gnu_attr;
2508 bfd_boolean result = TRUE;
2509 static bfd * first_input_bfd = NULL;
2510
2511 /* Skip linker created files. */
2512 if (ibfd->flags & BFD_LINKER_CREATED)
2513 return TRUE;
2514
2515 /* LTO can create temporary files for linking which may not have an attribute
2516 section. */
2517 if (ibfd->lto_output
2518 && bfd_get_section_by_name (ibfd, ".MSP430.attributes") == NULL)
2519 return TRUE;
2520
2521 /* If this is the first real object just copy the attributes. */
2522 if (!elf_known_obj_attributes_proc (obfd)[0].i)
2523 {
2524 _bfd_elf_copy_obj_attributes (ibfd, obfd);
2525
2526 out_msp_attr = elf_known_obj_attributes_proc (obfd);
2527
2528 /* Use the Tag_null value to indicate that
2529 the attributes have been initialized. */
2530 out_msp_attr[0].i = 1;
2531
2532 first_input_bfd = ibfd;
2533 return TRUE;
2534 }
2535
2536 in_msp_attr = elf_known_obj_attributes_proc (ibfd);
2537 out_msp_attr = elf_known_obj_attributes_proc (obfd);
2538 in_gnu_attr = elf_known_obj_attributes (ibfd) [OBJ_ATTR_GNU];
2539 out_gnu_attr = elf_known_obj_attributes (obfd) [OBJ_ATTR_GNU];
2540
2541 /* The ISAs must be the same. */
2542 if (in_msp_attr[OFBA_MSPABI_Tag_ISA].i != out_msp_attr[OFBA_MSPABI_Tag_ISA].i)
2543 {
2544 _bfd_error_handler
2545 /* xgettext:c-format */
2546 (_("error: %pB uses %s instructions but %pB uses %s"),
2547 ibfd, isa_type (in_msp_attr[OFBA_MSPABI_Tag_ISA].i),
2548 first_input_bfd, isa_type (out_msp_attr[OFBA_MSPABI_Tag_ISA].i));
2549 result = FALSE;
2550 }
2551
2552 /* The code models must be the same. */
2553 if (in_msp_attr[OFBA_MSPABI_Tag_Code_Model].i
2554 != out_msp_attr[OFBA_MSPABI_Tag_Code_Model].i)
2555 {
2556 _bfd_error_handler
2557 /* xgettext:c-format */
2558 (_("error: %pB uses the %s code model whereas %pB uses the %s code model"),
2559 ibfd, code_model (in_msp_attr[OFBA_MSPABI_Tag_Code_Model].i),
2560 first_input_bfd,
2561 code_model (out_msp_attr[OFBA_MSPABI_Tag_Code_Model].i));
2562 result = FALSE;
2563 }
2564
2565 /* The large code model is only supported by the MSP430X. */
2566 if (in_msp_attr[OFBA_MSPABI_Tag_Code_Model].i == 2
2567 && out_msp_attr[OFBA_MSPABI_Tag_ISA].i != 2)
2568 {
2569 _bfd_error_handler
2570 /* xgettext:c-format */
2571 (_("error: %pB uses the large code model but %pB uses MSP430 instructions"),
2572 ibfd, first_input_bfd);
2573 result = FALSE;
2574 }
2575
2576 /* The data models must be the same. */
2577 if (in_msp_attr[OFBA_MSPABI_Tag_Data_Model].i
2578 != out_msp_attr[OFBA_MSPABI_Tag_Data_Model].i)
2579 {
2580 _bfd_error_handler
2581 /* xgettext:c-format */
2582 (_("error: %pB uses the %s data model whereas %pB uses the %s data model"),
2583 ibfd, data_model (in_msp_attr[OFBA_MSPABI_Tag_Data_Model].i),
2584 first_input_bfd,
2585 data_model (out_msp_attr[OFBA_MSPABI_Tag_Data_Model].i));
2586 result = FALSE;
2587 }
2588
2589 /* The small code model requires the use of the small data model. */
2590 if (in_msp_attr[OFBA_MSPABI_Tag_Code_Model].i == 1
2591 && out_msp_attr[OFBA_MSPABI_Tag_Data_Model].i != 1)
2592 {
2593 _bfd_error_handler
2594 /* xgettext:c-format */
2595 (_("error: %pB uses the small code model but %pB uses the %s data model"),
2596 ibfd, first_input_bfd,
2597 data_model (out_msp_attr[OFBA_MSPABI_Tag_Data_Model].i));
2598 result = FALSE;
2599 }
2600
2601 /* The large data models are only supported by the MSP430X. */
2602 if (in_msp_attr[OFBA_MSPABI_Tag_Data_Model].i > 1
2603 && out_msp_attr[OFBA_MSPABI_Tag_ISA].i != 2)
2604 {
2605 _bfd_error_handler
2606 /* xgettext:c-format */
2607 (_("error: %pB uses the %s data model but %pB only uses MSP430 instructions"),
2608 ibfd, data_model (in_msp_attr[OFBA_MSPABI_Tag_Data_Model].i),
2609 first_input_bfd);
2610 result = FALSE;
2611 }
2612
2613 /* Just ignore the data region unless the large memory model is in use.
2614 We have already checked that ibfd and obfd use the same memory model. */
2615 if ((in_msp_attr[OFBA_MSPABI_Tag_Code_Model].i
2616 == OFBA_MSPABI_Val_Code_Model_LARGE)
2617 && (in_msp_attr[OFBA_MSPABI_Tag_Data_Model].i
2618 == OFBA_MSPABI_Val_Data_Model_LARGE))
2619 {
2620 /* We cannot allow "lower region only" to be linked with any other
2621 values (i.e. ANY or NONE).
2622 Before this attribute existed, "ANY" region was the default. */
2623 bfd_boolean ibfd_lower_region_used
2624 = (in_gnu_attr[Tag_GNU_MSP430_Data_Region].i
2625 == Val_GNU_MSP430_Data_Region_Lower);
2626 bfd_boolean obfd_lower_region_used
2627 = (out_gnu_attr[Tag_GNU_MSP430_Data_Region].i
2628 == Val_GNU_MSP430_Data_Region_Lower);
2629 if (ibfd_lower_region_used != obfd_lower_region_used)
2630 {
2631 _bfd_error_handler
2632 (_("error: %pB can use the upper region for data, "
2633 "but %pB assumes data is exclusively in lower memory"),
2634 ibfd_lower_region_used ? obfd : ibfd,
2635 ibfd_lower_region_used ? ibfd : obfd);
2636 result = FALSE;
2637 }
2638 }
2639
2640 return result;
2641 }
2642
2643 /* Merge backend specific data from an object file to the output
2644 object file when linking. */
2645
2646 static bfd_boolean
2647 elf32_msp430_merge_private_bfd_data (bfd *ibfd, struct bfd_link_info *info)
2648 {
2649 bfd *obfd = info->output_bfd;
2650 /* Make sure that the machine number reflects the most
2651 advanced version of the MSP architecture required. */
2652 #define max(a,b) ((a) > (b) ? (a) : (b))
2653 if (bfd_get_mach (ibfd) != bfd_get_mach (obfd))
2654 bfd_default_set_arch_mach (obfd, bfd_get_arch (obfd),
2655 max (bfd_get_mach (ibfd), bfd_get_mach (obfd)));
2656 #undef max
2657
2658 return elf32_msp430_merge_msp430_attributes (ibfd, info);
2659 }
2660
2661 static bfd_boolean
2662 msp430_elf_is_target_special_symbol (bfd *abfd, asymbol *sym)
2663 {
2664 return _bfd_elf_is_local_label_name (abfd, sym->name);
2665 }
2666
2667 static bfd_boolean
2668 uses_large_model (bfd *abfd)
2669 {
2670 obj_attribute * attr;
2671
2672 if (abfd->flags & BFD_LINKER_CREATED)
2673 return FALSE;
2674
2675 attr = elf_known_obj_attributes_proc (abfd);
2676 if (attr == NULL)
2677 return FALSE;
2678
2679 return attr[OFBA_MSPABI_Tag_Code_Model].i == 2;
2680 }
2681
2682 static unsigned int
2683 elf32_msp430_eh_frame_address_size (bfd *abfd,
2684 const asection *sec ATTRIBUTE_UNUSED)
2685 {
2686 return uses_large_model (abfd) ? 4 : 2;
2687 }
2688
2689 /* This is gross. The MSP430 EABI says that (sec 11.5):
2690
2691 "An implementation may choose to use Rel or Rela
2692 type relocations for other relocations."
2693
2694 But it also says that:
2695
2696 "Certain relocations are identified as Rela only. [snip]
2697 Where Rela is specified, an implementation must honor
2698 this requirement."
2699
2700 There is one relocation marked as requiring RELA - R_MSP430_ABS_HI16 - but
2701 to keep things simple we choose to use RELA relocations throughout. The
2702 problem is that the TI compiler generates REL relocations, so we have to
2703 be able to accept those as well. */
2704
2705 #define elf_backend_may_use_rel_p 1
2706 #define elf_backend_may_use_rela_p 1
2707 #define elf_backend_default_use_rela_p 1
2708
2709 #undef elf_backend_obj_attrs_vendor
2710 #define elf_backend_obj_attrs_vendor "mspabi"
2711 #undef elf_backend_obj_attrs_section
2712 #define elf_backend_obj_attrs_section ".MSP430.attributes"
2713 #undef elf_backend_obj_attrs_section_type
2714 #define elf_backend_obj_attrs_section_type SHT_MSP430_ATTRIBUTES
2715 #define elf_backend_section_from_shdr elf32_msp430_section_from_shdr
2716 #define elf_backend_obj_attrs_handle_unknown elf32_msp430_obj_attrs_handle_unknown
2717 #undef elf_backend_obj_attrs_arg_type
2718 #define elf_backend_obj_attrs_arg_type elf32_msp430_obj_attrs_arg_type
2719 #define bfd_elf32_bfd_merge_private_bfd_data elf32_msp430_merge_private_bfd_data
2720 #define elf_backend_eh_frame_address_size elf32_msp430_eh_frame_address_size
2721
2722 #define ELF_ARCH bfd_arch_msp430
2723 #define ELF_MACHINE_CODE EM_MSP430
2724 #define ELF_MACHINE_ALT1 EM_MSP430_OLD
2725 #define ELF_MAXPAGESIZE 4
2726 #define ELF_OSABI ELFOSABI_STANDALONE
2727
2728 #define TARGET_LITTLE_SYM msp430_elf32_vec
2729 #define TARGET_LITTLE_NAME "elf32-msp430"
2730
2731 #define elf_info_to_howto msp430_info_to_howto_rela
2732 #define elf_info_to_howto_rel NULL
2733 #define elf_backend_relocate_section elf32_msp430_relocate_section
2734 #define elf_backend_check_relocs elf32_msp430_check_relocs
2735 #define elf_backend_can_gc_sections 1
2736 #define elf_backend_final_write_processing bfd_elf_msp430_final_write_processing
2737 #define elf_backend_object_p elf32_msp430_object_p
2738 #define bfd_elf32_bfd_relax_section msp430_elf_relax_section
2739 #define bfd_elf32_bfd_is_target_special_symbol msp430_elf_is_target_special_symbol
2740
2741 #undef elf32_bed
2742 #define elf32_bed elf32_msp430_bed
2743
2744 #include "elf32-target.h"
2745
2746 /* The TI compiler sets the OSABI field to ELFOSABI_NONE. */
2747 #undef TARGET_LITTLE_SYM
2748 #define TARGET_LITTLE_SYM msp430_elf32_ti_vec
2749
2750 #undef elf32_bed
2751 #define elf32_bed elf32_msp430_ti_bed
2752
2753 #undef ELF_OSABI
2754 #define ELF_OSABI ELFOSABI_NONE
2755
2756 static const struct bfd_elf_special_section msp430_ti_elf_special_sections[] =
2757 {
2758 /* prefix, prefix_length, suffix_len, type, attributes. */
2759 { STRING_COMMA_LEN (".TI.symbol.alias"), 0, SHT_MSP430_SYM_ALIASES, 0 },
2760 { STRING_COMMA_LEN (".TI.section.flags"), 0, SHT_MSP430_SEC_FLAGS, 0 },
2761 { STRING_COMMA_LEN ("_TI_build_attrib"), 0, SHT_MSP430_ATTRIBUTES, 0 },
2762 { NULL, 0, 0, 0, 0 }
2763 };
2764
2765 #undef elf_backend_special_sections
2766 #define elf_backend_special_sections msp430_ti_elf_special_sections
2767
2768 #include "elf32-target.h"
GDB Binutils - Deliverables
This page took 0.101799 seconds and 5 git commands to generate.