* ld-mmix/bpo-1.d, ld-mmix/bpo-10.d, ld-mmix/bpo-11.d,
[binutils.git] / bfd / elf-eh-frame.c
blobc71129e694fbd17195935c2b2611f65a049abe22
1 /* .eh_frame section optimization.
2 Copyright 2001, 2002, 2003 Free Software Foundation, Inc.
3 Written by Jakub Jelinek <jakub@redhat.com>.
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 2 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
21 #include "bfd.h"
22 #include "sysdep.h"
23 #include "libbfd.h"
24 #include "elf-bfd.h"
25 #include "elf/dwarf2.h"
27 #define EH_FRAME_HDR_SIZE 8
29 /* Helper function for reading uleb128 encoded data. */
31 static bfd_vma
32 read_unsigned_leb128 (bfd *abfd ATTRIBUTE_UNUSED,
33 char *buf,
34 unsigned int *bytes_read_ptr)
36 bfd_vma result;
37 unsigned int num_read;
38 int shift;
39 unsigned char byte;
41 result = 0;
42 shift = 0;
43 num_read = 0;
46 byte = bfd_get_8 (abfd, (bfd_byte *) buf);
47 buf++;
48 num_read++;
49 result |= (((bfd_vma) byte & 0x7f) << shift);
50 shift += 7;
52 while (byte & 0x80);
53 *bytes_read_ptr = num_read;
54 return result;
57 /* Helper function for reading sleb128 encoded data. */
59 static bfd_signed_vma
60 read_signed_leb128 (bfd *abfd ATTRIBUTE_UNUSED,
61 char *buf,
62 unsigned int * bytes_read_ptr)
64 bfd_vma result;
65 int shift;
66 int num_read;
67 unsigned char byte;
69 result = 0;
70 shift = 0;
71 num_read = 0;
74 byte = bfd_get_8 (abfd, (bfd_byte *) buf);
75 buf ++;
76 num_read ++;
77 result |= (((bfd_vma) byte & 0x7f) << shift);
78 shift += 7;
80 while (byte & 0x80);
81 if (byte & 0x40)
82 result |= (((bfd_vma) -1) << (shift - 7)) << 7;
83 *bytes_read_ptr = num_read;
84 return result;
87 #define read_uleb128(VAR, BUF) \
88 do \
89 { \
90 (VAR) = read_unsigned_leb128 (abfd, buf, &leb128_tmp); \
91 (BUF) += leb128_tmp; \
92 } \
93 while (0)
95 #define read_sleb128(VAR, BUF) \
96 do \
97 { \
98 (VAR) = read_signed_leb128 (abfd, buf, &leb128_tmp); \
99 (BUF) += leb128_tmp; \
101 while (0)
103 /* Return 0 if either encoding is variable width, or not yet known to bfd. */
105 static
106 int get_DW_EH_PE_width (int encoding, int ptr_size)
108 /* DW_EH_PE_ values of 0x60 and 0x70 weren't defined at the time .eh_frame
109 was added to bfd. */
110 if ((encoding & 0x60) == 0x60)
111 return 0;
113 switch (encoding & 7)
115 case DW_EH_PE_udata2: return 2;
116 case DW_EH_PE_udata4: return 4;
117 case DW_EH_PE_udata8: return 8;
118 case DW_EH_PE_absptr: return ptr_size;
119 default:
120 break;
123 return 0;
126 #define get_DW_EH_PE_signed(encoding) (((encoding) & DW_EH_PE_signed) != 0)
128 /* Read a width sized value from memory. */
130 static bfd_vma
131 read_value (bfd *abfd, bfd_byte *buf, int width, int is_signed)
133 bfd_vma value;
135 switch (width)
137 case 2:
138 if (is_signed)
139 value = bfd_get_signed_16 (abfd, buf);
140 else
141 value = bfd_get_16 (abfd, buf);
142 break;
143 case 4:
144 if (is_signed)
145 value = bfd_get_signed_32 (abfd, buf);
146 else
147 value = bfd_get_32 (abfd, buf);
148 break;
149 case 8:
150 if (is_signed)
151 value = bfd_get_signed_64 (abfd, buf);
152 else
153 value = bfd_get_64 (abfd, buf);
154 break;
155 default:
156 BFD_FAIL ();
157 return 0;
160 return value;
163 /* Store a width sized value to memory. */
165 static void
166 write_value (bfd *abfd, bfd_byte *buf, bfd_vma value, int width)
168 switch (width)
170 case 2: bfd_put_16 (abfd, value, buf); break;
171 case 4: bfd_put_32 (abfd, value, buf); break;
172 case 8: bfd_put_64 (abfd, value, buf); break;
173 default: BFD_FAIL ();
177 /* Return zero if C1 and C2 CIEs can be merged. */
179 static
180 int cie_compare (struct cie *c1, struct cie *c2)
182 if (c1->hdr.length == c2->hdr.length
183 && c1->version == c2->version
184 && strcmp (c1->augmentation, c2->augmentation) == 0
185 && strcmp (c1->augmentation, "eh") != 0
186 && c1->code_align == c2->code_align
187 && c1->data_align == c2->data_align
188 && c1->ra_column == c2->ra_column
189 && c1->augmentation_size == c2->augmentation_size
190 && c1->personality == c2->personality
191 && c1->per_encoding == c2->per_encoding
192 && c1->lsda_encoding == c2->lsda_encoding
193 && c1->fde_encoding == c2->fde_encoding
194 && c1->initial_insn_length == c2->initial_insn_length
195 && memcmp (c1->initial_instructions,
196 c2->initial_instructions,
197 c1->initial_insn_length) == 0)
198 return 0;
200 return 1;
203 /* This function is called for each input file before the .eh_frame
204 section is relocated. It discards duplicate CIEs and FDEs for discarded
205 functions. The function returns TRUE iff any entries have been
206 deleted. */
208 bfd_boolean
209 _bfd_elf_discard_section_eh_frame
210 (bfd *abfd, struct bfd_link_info *info, asection *sec,
211 bfd_boolean (*reloc_symbol_deleted_p) (bfd_vma, void *),
212 struct elf_reloc_cookie *cookie)
214 bfd_byte *ehbuf = NULL, *buf;
215 bfd_byte *last_cie, *last_fde;
216 struct cie_header hdr;
217 struct cie cie;
218 struct elf_link_hash_table *htab;
219 struct eh_frame_hdr_info *hdr_info;
220 struct eh_frame_sec_info *sec_info = NULL;
221 unsigned int leb128_tmp;
222 unsigned int cie_usage_count, last_cie_ndx, i, offset;
223 unsigned int make_relative, make_lsda_relative;
224 bfd_size_type new_size;
225 unsigned int ptr_size;
227 if (sec->_raw_size == 0)
229 /* This file does not contain .eh_frame information. */
230 return FALSE;
233 if ((sec->output_section != NULL
234 && bfd_is_abs_section (sec->output_section)))
236 /* At least one of the sections is being discarded from the
237 link, so we should just ignore them. */
238 return FALSE;
241 htab = elf_hash_table (info);
242 hdr_info = &htab->eh_info;
244 /* Read the frame unwind information from abfd. */
246 ehbuf = bfd_malloc (sec->_raw_size);
247 if (ehbuf == NULL)
248 goto free_no_table;
250 if (! bfd_get_section_contents (abfd, sec, ehbuf, 0, sec->_raw_size))
251 goto free_no_table;
253 if (sec->_raw_size >= 4
254 && bfd_get_32 (abfd, ehbuf) == 0
255 && cookie->rel == cookie->relend)
257 /* Empty .eh_frame section. */
258 free (ehbuf);
259 return FALSE;
262 /* If .eh_frame section size doesn't fit into int, we cannot handle
263 it (it would need to use 64-bit .eh_frame format anyway). */
264 if (sec->_raw_size != (unsigned int) sec->_raw_size)
265 goto free_no_table;
267 ptr_size = (elf_elfheader (abfd)->e_ident[EI_CLASS]
268 == ELFCLASS64) ? 8 : 4;
269 buf = ehbuf;
270 last_cie = NULL;
271 last_cie_ndx = 0;
272 memset (&cie, 0, sizeof (cie));
273 cie_usage_count = 0;
274 new_size = sec->_raw_size;
275 make_relative = hdr_info->last_cie.make_relative;
276 make_lsda_relative = hdr_info->last_cie.make_lsda_relative;
277 sec_info = bfd_zmalloc (sizeof (struct eh_frame_sec_info)
278 + 99 * sizeof (struct eh_cie_fde));
279 if (sec_info == NULL)
280 goto free_no_table;
281 sec_info->alloced = 100;
283 #define ENSURE_NO_RELOCS(buf) \
284 if (cookie->rel < cookie->relend \
285 && (cookie->rel->r_offset \
286 < (bfd_size_type) ((buf) - ehbuf)) \
287 && cookie->rel->r_info != 0) \
288 goto free_no_table
290 #define SKIP_RELOCS(buf) \
291 while (cookie->rel < cookie->relend \
292 && (cookie->rel->r_offset \
293 < (bfd_size_type) ((buf) - ehbuf))) \
294 cookie->rel++
296 #define GET_RELOC(buf) \
297 ((cookie->rel < cookie->relend \
298 && (cookie->rel->r_offset \
299 == (bfd_size_type) ((buf) - ehbuf))) \
300 ? cookie->rel : NULL)
302 for (;;)
304 unsigned char *aug;
306 if (sec_info->count == sec_info->alloced)
308 sec_info = bfd_realloc (sec_info,
309 sizeof (struct eh_frame_sec_info)
310 + (sec_info->alloced + 99)
311 * sizeof (struct eh_cie_fde));
312 if (sec_info == NULL)
313 goto free_no_table;
315 memset (&sec_info->entry[sec_info->alloced], 0,
316 100 * sizeof (struct eh_cie_fde));
317 sec_info->alloced += 100;
320 last_fde = buf;
321 /* If we are at the end of the section, we still need to decide
322 on whether to output or discard last encountered CIE (if any). */
323 if ((bfd_size_type) (buf - ehbuf) == sec->_raw_size)
324 hdr.id = (unsigned int) -1;
325 else
327 if ((bfd_size_type) (buf + 4 - ehbuf) > sec->_raw_size)
328 /* No space for CIE/FDE header length. */
329 goto free_no_table;
331 hdr.length = bfd_get_32 (abfd, buf);
332 if (hdr.length == 0xffffffff)
333 /* 64-bit .eh_frame is not supported. */
334 goto free_no_table;
335 buf += 4;
336 if ((bfd_size_type) (buf - ehbuf) + hdr.length > sec->_raw_size)
337 /* CIE/FDE not contained fully in this .eh_frame input section. */
338 goto free_no_table;
340 sec_info->entry[sec_info->count].offset = last_fde - ehbuf;
341 sec_info->entry[sec_info->count].size = 4 + hdr.length;
343 if (hdr.length == 0)
345 /* CIE with length 0 must be only the last in the section. */
346 if ((bfd_size_type) (buf - ehbuf) < sec->_raw_size)
347 goto free_no_table;
348 ENSURE_NO_RELOCS (buf);
349 sec_info->count++;
350 /* Now just finish last encountered CIE processing and break
351 the loop. */
352 hdr.id = (unsigned int) -1;
354 else
356 hdr.id = bfd_get_32 (abfd, buf);
357 buf += 4;
358 if (hdr.id == (unsigned int) -1)
359 goto free_no_table;
363 if (hdr.id == 0 || hdr.id == (unsigned int) -1)
365 unsigned int initial_insn_length;
367 /* CIE */
368 if (last_cie != NULL)
370 /* Now check if this CIE is identical to the last CIE,
371 in which case we can remove it provided we adjust
372 all FDEs. Also, it can be removed if we have removed
373 all FDEs using it. */
374 if ((!info->relocatable
375 && cie_compare (&cie, &hdr_info->last_cie) == 0)
376 || cie_usage_count == 0)
378 new_size -= cie.hdr.length + 4;
379 sec_info->entry[last_cie_ndx].removed = 1;
380 sec_info->entry[last_cie_ndx].sec = hdr_info->last_cie_sec;
381 sec_info->entry[last_cie_ndx].new_offset
382 = hdr_info->last_cie_offset;
384 else
386 hdr_info->last_cie = cie;
387 hdr_info->last_cie_sec = sec;
388 hdr_info->last_cie_offset = last_cie - ehbuf;
389 sec_info->entry[last_cie_ndx].make_relative
390 = cie.make_relative;
391 sec_info->entry[last_cie_ndx].make_lsda_relative
392 = cie.make_lsda_relative;
393 sec_info->entry[last_cie_ndx].per_encoding_relative
394 = (cie.per_encoding & 0x70) == DW_EH_PE_pcrel;
398 if (hdr.id == (unsigned int) -1)
399 break;
401 last_cie_ndx = sec_info->count;
402 sec_info->entry[sec_info->count].cie = 1;
404 cie_usage_count = 0;
405 memset (&cie, 0, sizeof (cie));
406 cie.hdr = hdr;
407 cie.version = *buf++;
409 /* Cannot handle unknown versions. */
410 if (cie.version != 1)
411 goto free_no_table;
412 if (strlen (buf) > sizeof (cie.augmentation) - 1)
413 goto free_no_table;
415 strcpy (cie.augmentation, buf);
416 buf = strchr (buf, '\0') + 1;
417 ENSURE_NO_RELOCS (buf);
418 if (buf[0] == 'e' && buf[1] == 'h')
420 /* GCC < 3.0 .eh_frame CIE */
421 /* We cannot merge "eh" CIEs because __EXCEPTION_TABLE__
422 is private to each CIE, so we don't need it for anything.
423 Just skip it. */
424 buf += ptr_size;
425 SKIP_RELOCS (buf);
427 read_uleb128 (cie.code_align, buf);
428 read_sleb128 (cie.data_align, buf);
429 /* Note - in DWARF2 the return address column is an unsigned byte.
430 In DWARF3 it is a ULEB128. We are following DWARF3. For most
431 ports this will not matter as the value will be less than 128.
432 For the others (eg FRV, SH, MMIX, IA64) they need a fixed GCC
433 which conforms to the DWARF3 standard. */
434 read_uleb128 (cie.ra_column, buf);
435 ENSURE_NO_RELOCS (buf);
436 cie.lsda_encoding = DW_EH_PE_omit;
437 cie.fde_encoding = DW_EH_PE_omit;
438 cie.per_encoding = DW_EH_PE_omit;
439 aug = cie.augmentation;
440 if (aug[0] != 'e' || aug[1] != 'h')
442 if (*aug == 'z')
444 aug++;
445 read_uleb128 (cie.augmentation_size, buf);
446 ENSURE_NO_RELOCS (buf);
449 while (*aug != '\0')
450 switch (*aug++)
452 case 'L':
453 cie.lsda_encoding = *buf++;
454 ENSURE_NO_RELOCS (buf);
455 if (get_DW_EH_PE_width (cie.lsda_encoding, ptr_size) == 0)
456 goto free_no_table;
457 break;
458 case 'R':
459 cie.fde_encoding = *buf++;
460 ENSURE_NO_RELOCS (buf);
461 if (get_DW_EH_PE_width (cie.fde_encoding, ptr_size) == 0)
462 goto free_no_table;
463 break;
464 case 'P':
466 int per_width;
468 cie.per_encoding = *buf++;
469 per_width = get_DW_EH_PE_width (cie.per_encoding,
470 ptr_size);
471 if (per_width == 0)
472 goto free_no_table;
473 if ((cie.per_encoding & 0xf0) == DW_EH_PE_aligned)
474 buf = (ehbuf
475 + ((buf - ehbuf + per_width - 1)
476 & ~((bfd_size_type) per_width - 1)));
477 ENSURE_NO_RELOCS (buf);
478 /* Ensure we have a reloc here, against
479 a global symbol. */
480 if (GET_RELOC (buf) != NULL)
482 unsigned long r_symndx;
484 #ifdef BFD64
485 if (ptr_size == 8)
486 r_symndx = ELF64_R_SYM (cookie->rel->r_info);
487 else
488 #endif
489 r_symndx = ELF32_R_SYM (cookie->rel->r_info);
490 if (r_symndx >= cookie->locsymcount)
492 struct elf_link_hash_entry *h;
494 r_symndx -= cookie->extsymoff;
495 h = cookie->sym_hashes[r_symndx];
497 while (h->root.type == bfd_link_hash_indirect
498 || h->root.type == bfd_link_hash_warning)
499 h = (struct elf_link_hash_entry *)
500 h->root.u.i.link;
502 cie.personality = h;
504 cookie->rel++;
506 buf += per_width;
508 break;
509 default:
510 /* Unrecognized augmentation. Better bail out. */
511 goto free_no_table;
515 /* For shared libraries, try to get rid of as many RELATIVE relocs
516 as possible. */
517 if (info->shared
518 && (cie.fde_encoding & 0xf0) == DW_EH_PE_absptr)
519 cie.make_relative = 1;
521 if (info->shared
522 && (cie.lsda_encoding & 0xf0) == DW_EH_PE_absptr)
523 cie.make_lsda_relative = 1;
525 /* If FDE encoding was not specified, it defaults to
526 DW_EH_absptr. */
527 if (cie.fde_encoding == DW_EH_PE_omit)
528 cie.fde_encoding = DW_EH_PE_absptr;
530 initial_insn_length = cie.hdr.length - (buf - last_fde - 4);
531 if (initial_insn_length <= 50)
533 cie.initial_insn_length = initial_insn_length;
534 memcpy (cie.initial_instructions, buf, initial_insn_length);
536 buf += initial_insn_length;
537 ENSURE_NO_RELOCS (buf);
538 last_cie = last_fde;
540 else
542 /* Ensure this FDE uses the last CIE encountered. */
543 if (last_cie == NULL
544 || hdr.id != (unsigned int) (buf - 4 - last_cie))
545 goto free_no_table;
547 ENSURE_NO_RELOCS (buf);
548 if (GET_RELOC (buf) == NULL)
549 /* This should not happen. */
550 goto free_no_table;
551 if ((*reloc_symbol_deleted_p) (buf - ehbuf, cookie))
553 /* This is a FDE against a discarded section. It should
554 be deleted. */
555 new_size -= hdr.length + 4;
556 sec_info->entry[sec_info->count].removed = 1;
558 else
560 if (info->shared
561 && (((cie.fde_encoding & 0xf0) == DW_EH_PE_absptr
562 && cie.make_relative == 0)
563 || (cie.fde_encoding & 0xf0) == DW_EH_PE_aligned))
565 /* If a shared library uses absolute pointers
566 which we cannot turn into PC relative,
567 don't create the binary search table,
568 since it is affected by runtime relocations. */
569 hdr_info->table = FALSE;
571 cie_usage_count++;
572 hdr_info->fde_count++;
574 if (cie.lsda_encoding != DW_EH_PE_omit)
576 unsigned int dummy;
578 aug = buf;
579 buf += 2 * get_DW_EH_PE_width (cie.fde_encoding, ptr_size);
580 if (cie.augmentation[0] == 'z')
581 read_uleb128 (dummy, buf);
582 /* If some new augmentation data is added before LSDA
583 in FDE augmentation area, this need to be adjusted. */
584 sec_info->entry[sec_info->count].lsda_offset = (buf - aug);
586 buf = last_fde + 4 + hdr.length;
587 SKIP_RELOCS (buf);
590 sec_info->entry[sec_info->count].fde_encoding = cie.fde_encoding;
591 sec_info->entry[sec_info->count].lsda_encoding = cie.lsda_encoding;
592 sec_info->count++;
595 elf_section_data (sec)->sec_info = sec_info;
596 sec->sec_info_type = ELF_INFO_TYPE_EH_FRAME;
598 /* Ok, now we can assign new offsets. */
599 offset = 0;
600 last_cie_ndx = 0;
601 for (i = 0; i < sec_info->count; i++)
603 if (! sec_info->entry[i].removed)
605 sec_info->entry[i].new_offset = offset;
606 offset += sec_info->entry[i].size;
607 if (sec_info->entry[i].cie)
609 last_cie_ndx = i;
610 make_relative = sec_info->entry[i].make_relative;
611 make_lsda_relative = sec_info->entry[i].make_lsda_relative;
613 else
615 sec_info->entry[i].make_relative = make_relative;
616 sec_info->entry[i].make_lsda_relative = make_lsda_relative;
617 sec_info->entry[i].per_encoding_relative = 0;
620 else if (sec_info->entry[i].cie && sec_info->entry[i].sec == sec)
622 /* Need to adjust new_offset too. */
623 BFD_ASSERT (sec_info->entry[last_cie_ndx].offset
624 == sec_info->entry[i].new_offset);
625 sec_info->entry[i].new_offset
626 = sec_info->entry[last_cie_ndx].new_offset;
629 if (hdr_info->last_cie_sec == sec)
631 BFD_ASSERT (sec_info->entry[last_cie_ndx].offset
632 == hdr_info->last_cie_offset);
633 hdr_info->last_cie_offset = sec_info->entry[last_cie_ndx].new_offset;
636 /* FIXME: Currently it is not possible to shrink sections to zero size at
637 this point, so build a fake minimal CIE. */
638 if (new_size == 0)
639 new_size = 16;
641 /* Shrink the sec as needed. */
642 sec->_cooked_size = new_size;
643 if (sec->_cooked_size == 0)
644 sec->flags |= SEC_EXCLUDE;
646 free (ehbuf);
647 return new_size != sec->_raw_size;
649 free_no_table:
650 if (ehbuf)
651 free (ehbuf);
652 if (sec_info)
653 free (sec_info);
654 hdr_info->table = FALSE;
655 hdr_info->last_cie.hdr.length = 0;
656 return FALSE;
659 /* This function is called for .eh_frame_hdr section after
660 _bfd_elf_discard_section_eh_frame has been called on all .eh_frame
661 input sections. It finalizes the size of .eh_frame_hdr section. */
663 bfd_boolean
664 _bfd_elf_discard_section_eh_frame_hdr (bfd *abfd, struct bfd_link_info *info)
666 struct elf_link_hash_table *htab;
667 struct eh_frame_hdr_info *hdr_info;
668 asection *sec;
670 htab = elf_hash_table (info);
671 hdr_info = &htab->eh_info;
672 sec = hdr_info->hdr_sec;
673 if (sec == NULL)
674 return FALSE;
676 sec->_cooked_size = EH_FRAME_HDR_SIZE;
677 if (hdr_info->table)
678 sec->_cooked_size += 4 + hdr_info->fde_count * 8;
680 /* Request program headers to be recalculated. */
681 elf_tdata (abfd)->program_header_size = 0;
682 elf_tdata (abfd)->eh_frame_hdr = sec;
683 return TRUE;
686 /* This function is called from size_dynamic_sections.
687 It needs to decide whether .eh_frame_hdr should be output or not,
688 because later on it is too late for calling _bfd_strip_section_from_output,
689 since dynamic symbol table has been sized. */
691 bfd_boolean
692 _bfd_elf_maybe_strip_eh_frame_hdr (struct bfd_link_info *info)
694 asection *o;
695 bfd *abfd;
696 struct elf_link_hash_table *htab;
697 struct eh_frame_hdr_info *hdr_info;
699 htab = elf_hash_table (info);
700 hdr_info = &htab->eh_info;
701 if (hdr_info->hdr_sec == NULL)
702 return TRUE;
704 if (bfd_is_abs_section (hdr_info->hdr_sec->output_section))
706 hdr_info->hdr_sec = NULL;
707 return TRUE;
710 abfd = NULL;
711 if (info->eh_frame_hdr)
712 for (abfd = info->input_bfds; abfd != NULL; abfd = abfd->link_next)
714 /* Count only sections which have at least a single CIE or FDE.
715 There cannot be any CIE or FDE <= 8 bytes. */
716 o = bfd_get_section_by_name (abfd, ".eh_frame");
717 if (o && o->_raw_size > 8 && !bfd_is_abs_section (o->output_section))
718 break;
721 if (abfd == NULL)
723 _bfd_strip_section_from_output (info, hdr_info->hdr_sec);
724 hdr_info->hdr_sec = NULL;
725 return TRUE;
728 hdr_info->table = TRUE;
729 return TRUE;
732 /* Adjust an address in the .eh_frame section. Given OFFSET within
733 SEC, this returns the new offset in the adjusted .eh_frame section,
734 or -1 if the address refers to a CIE/FDE which has been removed
735 or to offset with dynamic relocation which is no longer needed. */
737 bfd_vma
738 _bfd_elf_eh_frame_section_offset (bfd *output_bfd ATTRIBUTE_UNUSED,
739 asection *sec,
740 bfd_vma offset)
742 struct eh_frame_sec_info *sec_info;
743 unsigned int lo, hi, mid;
745 if (sec->sec_info_type != ELF_INFO_TYPE_EH_FRAME)
746 return offset;
747 sec_info = elf_section_data (sec)->sec_info;
749 if (offset >= sec->_raw_size)
750 return offset - (sec->_cooked_size - sec->_raw_size);
752 lo = 0;
753 hi = sec_info->count;
754 mid = 0;
755 while (lo < hi)
757 mid = (lo + hi) / 2;
758 if (offset < sec_info->entry[mid].offset)
759 hi = mid;
760 else if (offset
761 >= sec_info->entry[mid].offset + sec_info->entry[mid].size)
762 lo = mid + 1;
763 else
764 break;
767 BFD_ASSERT (lo < hi);
769 /* FDE or CIE was removed. */
770 if (sec_info->entry[mid].removed)
771 return (bfd_vma) -1;
773 /* If converting to DW_EH_PE_pcrel, there will be no need for run-time
774 relocation against FDE's initial_location field. */
775 if (sec_info->entry[mid].make_relative
776 && ! sec_info->entry[mid].cie
777 && offset == sec_info->entry[mid].offset + 8)
778 return (bfd_vma) -2;
780 /* If converting LSDA pointers to DW_EH_PE_pcrel, there will be no need
781 for run-time relocation against LSDA field. */
782 if (sec_info->entry[mid].make_lsda_relative
783 && ! sec_info->entry[mid].cie
784 && (offset == (sec_info->entry[mid].offset + 8
785 + sec_info->entry[mid].lsda_offset)))
786 return (bfd_vma) -2;
788 return (offset + sec_info->entry[mid].new_offset
789 - sec_info->entry[mid].offset);
792 /* Write out .eh_frame section. This is called with the relocated
793 contents. */
795 bfd_boolean
796 _bfd_elf_write_section_eh_frame (bfd *abfd,
797 struct bfd_link_info *info,
798 asection *sec,
799 bfd_byte *contents)
801 struct eh_frame_sec_info *sec_info;
802 struct elf_link_hash_table *htab;
803 struct eh_frame_hdr_info *hdr_info;
804 unsigned int i;
805 bfd_byte *p, *buf;
806 unsigned int leb128_tmp;
807 unsigned int cie_offset = 0;
808 unsigned int ptr_size;
810 ptr_size = (elf_elfheader (sec->owner)->e_ident[EI_CLASS]
811 == ELFCLASS64) ? 8 : 4;
813 if (sec->sec_info_type != ELF_INFO_TYPE_EH_FRAME)
814 return bfd_set_section_contents (abfd, sec->output_section, contents,
815 sec->output_offset, sec->_raw_size);
816 sec_info = elf_section_data (sec)->sec_info;
817 htab = elf_hash_table (info);
818 hdr_info = &htab->eh_info;
819 if (hdr_info->table && hdr_info->array == NULL)
820 hdr_info->array
821 = bfd_malloc (hdr_info->fde_count * sizeof(*hdr_info->array));
822 if (hdr_info->array == NULL)
823 hdr_info = NULL;
825 p = contents;
826 for (i = 0; i < sec_info->count; ++i)
828 if (sec_info->entry[i].removed)
830 if (sec_info->entry[i].cie)
832 /* If CIE is removed due to no remaining FDEs referencing it
833 and there were no CIEs kept before it, sec_info->entry[i].sec
834 will be zero. */
835 if (sec_info->entry[i].sec == NULL)
836 cie_offset = 0;
837 else
839 cie_offset = sec_info->entry[i].new_offset;
840 cie_offset += (sec_info->entry[i].sec->output_section->vma
841 + sec_info->entry[i].sec->output_offset
842 - sec->output_section->vma
843 - sec->output_offset);
846 continue;
849 if (sec_info->entry[i].cie)
851 /* CIE */
852 cie_offset = sec_info->entry[i].new_offset;
853 if (sec_info->entry[i].make_relative
854 || sec_info->entry[i].make_lsda_relative
855 || sec_info->entry[i].per_encoding_relative)
857 unsigned char *aug;
858 unsigned int action;
859 unsigned int dummy, per_width, per_encoding;
861 /* Need to find 'R' or 'L' augmentation's argument and modify
862 DW_EH_PE_* value. */
863 action = (sec_info->entry[i].make_relative ? 1 : 0)
864 | (sec_info->entry[i].make_lsda_relative ? 2 : 0)
865 | (sec_info->entry[i].per_encoding_relative ? 4 : 0);
866 buf = contents + sec_info->entry[i].offset;
867 /* Skip length, id and version. */
868 buf += 9;
869 aug = buf;
870 buf = strchr (buf, '\0') + 1;
871 read_uleb128 (dummy, buf);
872 read_sleb128 (dummy, buf);
873 read_uleb128 (dummy, buf);
874 if (*aug == 'z')
876 read_uleb128 (dummy, buf);
877 aug++;
880 while (action)
881 switch (*aug++)
883 case 'L':
884 if (action & 2)
886 BFD_ASSERT (*buf == sec_info->entry[i].lsda_encoding);
887 *buf |= DW_EH_PE_pcrel;
888 action &= ~2;
890 buf++;
891 break;
892 case 'P':
893 per_encoding = *buf++;
894 per_width = get_DW_EH_PE_width (per_encoding,
895 ptr_size);
896 BFD_ASSERT (per_width != 0);
897 BFD_ASSERT (((per_encoding & 0x70) == DW_EH_PE_pcrel)
898 == sec_info->entry[i].per_encoding_relative);
899 if ((per_encoding & 0xf0) == DW_EH_PE_aligned)
900 buf = (contents
901 + ((buf - contents + per_width - 1)
902 & ~((bfd_size_type) per_width - 1)));
903 if (action & 4)
905 bfd_vma value;
907 value = read_value (abfd, buf, per_width,
908 get_DW_EH_PE_signed
909 (per_encoding));
910 value += (sec_info->entry[i].offset
911 - sec_info->entry[i].new_offset);
912 write_value (abfd, buf, value, per_width);
913 action &= ~4;
915 buf += per_width;
916 break;
917 case 'R':
918 if (action & 1)
920 BFD_ASSERT (*buf == sec_info->entry[i].fde_encoding);
921 *buf |= DW_EH_PE_pcrel;
922 action &= ~1;
924 buf++;
925 break;
926 default:
927 BFD_FAIL ();
931 else if (sec_info->entry[i].size > 4)
933 /* FDE */
934 bfd_vma value = 0, address;
935 unsigned int width;
937 buf = contents + sec_info->entry[i].offset;
938 /* Skip length. */
939 buf += 4;
940 bfd_put_32 (abfd,
941 sec_info->entry[i].new_offset + 4 - cie_offset, buf);
942 buf += 4;
943 width = get_DW_EH_PE_width (sec_info->entry[i].fde_encoding,
944 ptr_size);
945 address = value = read_value (abfd, buf, width,
946 get_DW_EH_PE_signed
947 (sec_info->entry[i].fde_encoding));
948 if (value)
950 switch (sec_info->entry[i].fde_encoding & 0xf0)
952 case DW_EH_PE_indirect:
953 case DW_EH_PE_textrel:
954 BFD_ASSERT (hdr_info == NULL);
955 break;
956 case DW_EH_PE_datarel:
958 asection *got = bfd_get_section_by_name (abfd, ".got");
960 BFD_ASSERT (got != NULL);
961 address += got->vma;
963 break;
964 case DW_EH_PE_pcrel:
965 value += (sec_info->entry[i].offset
966 - sec_info->entry[i].new_offset);
967 address += (sec->output_section->vma + sec->output_offset
968 + sec_info->entry[i].offset + 8);
969 break;
971 if (sec_info->entry[i].make_relative)
972 value -= (sec->output_section->vma + sec->output_offset
973 + sec_info->entry[i].new_offset + 8);
974 write_value (abfd, buf, value, width);
977 if (hdr_info)
979 hdr_info->array[hdr_info->array_count].initial_loc = address;
980 hdr_info->array[hdr_info->array_count++].fde
981 = (sec->output_section->vma + sec->output_offset
982 + sec_info->entry[i].new_offset);
985 if ((sec_info->entry[i].lsda_encoding & 0xf0) == DW_EH_PE_pcrel
986 || sec_info->entry[i].make_lsda_relative)
988 buf += sec_info->entry[i].lsda_offset;
989 width = get_DW_EH_PE_width (sec_info->entry[i].lsda_encoding,
990 ptr_size);
991 value = read_value (abfd, buf, width,
992 get_DW_EH_PE_signed
993 (sec_info->entry[i].lsda_encoding));
994 if (value)
996 if ((sec_info->entry[i].lsda_encoding & 0xf0)
997 == DW_EH_PE_pcrel)
998 value += (sec_info->entry[i].offset
999 - sec_info->entry[i].new_offset);
1000 else if (sec_info->entry[i].make_lsda_relative)
1001 value -= (sec->output_section->vma + sec->output_offset
1002 + sec_info->entry[i].new_offset + 8
1003 + sec_info->entry[i].lsda_offset);
1004 write_value (abfd, buf, value, width);
1008 else
1009 /* Terminating FDE must be at the end of .eh_frame section only. */
1010 BFD_ASSERT (i == sec_info->count - 1);
1012 BFD_ASSERT (p == contents + sec_info->entry[i].new_offset);
1013 memmove (p, contents + sec_info->entry[i].offset,
1014 sec_info->entry[i].size);
1015 p += sec_info->entry[i].size;
1018 /* FIXME: Once _bfd_elf_discard_section_eh_frame will be able to
1019 shrink sections to zero size, this won't be needed any more. */
1020 if (p == contents && sec->_cooked_size == 16)
1022 bfd_put_32 (abfd, 12, p); /* Fake CIE length */
1023 bfd_put_32 (abfd, 0, p + 4); /* Fake CIE id */
1024 p[8] = 1; /* Fake CIE version */
1025 memset (p + 9, 0, 7); /* Fake CIE augmentation, 3xleb128
1026 and 3xDW_CFA_nop as pad */
1027 p += 16;
1030 BFD_ASSERT ((bfd_size_type) (p - contents) == sec->_cooked_size);
1032 return bfd_set_section_contents (abfd, sec->output_section,
1033 contents, (file_ptr) sec->output_offset,
1034 sec->_cooked_size);
1037 /* Helper function used to sort .eh_frame_hdr search table by increasing
1038 VMA of FDE initial location. */
1040 static int
1041 vma_compare (const void *a, const void *b)
1043 const struct eh_frame_array_ent *p = a;
1044 const struct eh_frame_array_ent *q = b;
1045 if (p->initial_loc > q->initial_loc)
1046 return 1;
1047 if (p->initial_loc < q->initial_loc)
1048 return -1;
1049 return 0;
1052 /* Write out .eh_frame_hdr section. This must be called after
1053 _bfd_elf_write_section_eh_frame has been called on all input
1054 .eh_frame sections.
1055 .eh_frame_hdr format:
1056 ubyte version (currently 1)
1057 ubyte eh_frame_ptr_enc (DW_EH_PE_* encoding of pointer to start of
1058 .eh_frame section)
1059 ubyte fde_count_enc (DW_EH_PE_* encoding of total FDE count
1060 number (or DW_EH_PE_omit if there is no
1061 binary search table computed))
1062 ubyte table_enc (DW_EH_PE_* encoding of binary search table,
1063 or DW_EH_PE_omit if not present.
1064 DW_EH_PE_datarel is using address of
1065 .eh_frame_hdr section start as base)
1066 [encoded] eh_frame_ptr (pointer to start of .eh_frame section)
1067 optionally followed by:
1068 [encoded] fde_count (total number of FDEs in .eh_frame section)
1069 fde_count x [encoded] initial_loc, fde
1070 (array of encoded pairs containing
1071 FDE initial_location field and FDE address,
1072 sorted by increasing initial_loc). */
1074 bfd_boolean
1075 _bfd_elf_write_section_eh_frame_hdr (bfd *abfd, struct bfd_link_info *info)
1077 struct elf_link_hash_table *htab;
1078 struct eh_frame_hdr_info *hdr_info;
1079 asection *sec;
1080 bfd_byte *contents;
1081 asection *eh_frame_sec;
1082 bfd_size_type size;
1083 bfd_boolean retval;
1085 htab = elf_hash_table (info);
1086 hdr_info = &htab->eh_info;
1087 sec = hdr_info->hdr_sec;
1088 if (sec == NULL)
1089 return TRUE;
1091 size = EH_FRAME_HDR_SIZE;
1092 if (hdr_info->array && hdr_info->array_count == hdr_info->fde_count)
1093 size += 4 + hdr_info->fde_count * 8;
1094 contents = bfd_malloc (size);
1095 if (contents == NULL)
1096 return FALSE;
1098 eh_frame_sec = bfd_get_section_by_name (abfd, ".eh_frame");
1099 if (eh_frame_sec == NULL)
1101 free (contents);
1102 return FALSE;
1105 memset (contents, 0, EH_FRAME_HDR_SIZE);
1106 contents[0] = 1; /* Version. */
1107 contents[1] = DW_EH_PE_pcrel | DW_EH_PE_sdata4; /* .eh_frame offset. */
1108 if (hdr_info->array && hdr_info->array_count == hdr_info->fde_count)
1110 contents[2] = DW_EH_PE_udata4; /* FDE count encoding. */
1111 contents[3] = DW_EH_PE_datarel | DW_EH_PE_sdata4; /* Search table enc. */
1113 else
1115 contents[2] = DW_EH_PE_omit;
1116 contents[3] = DW_EH_PE_omit;
1118 bfd_put_32 (abfd, eh_frame_sec->vma - sec->output_section->vma - 4,
1119 contents + 4);
1120 if (contents[2] != DW_EH_PE_omit)
1122 unsigned int i;
1124 bfd_put_32 (abfd, hdr_info->fde_count, contents + EH_FRAME_HDR_SIZE);
1125 qsort (hdr_info->array, hdr_info->fde_count, sizeof (*hdr_info->array),
1126 vma_compare);
1127 for (i = 0; i < hdr_info->fde_count; i++)
1129 bfd_put_32 (abfd,
1130 hdr_info->array[i].initial_loc
1131 - sec->output_section->vma,
1132 contents + EH_FRAME_HDR_SIZE + i * 8 + 4);
1133 bfd_put_32 (abfd,
1134 hdr_info->array[i].fde - sec->output_section->vma,
1135 contents + EH_FRAME_HDR_SIZE + i * 8 + 8);
1139 retval = bfd_set_section_contents (abfd, sec->output_section,
1140 contents, (file_ptr) sec->output_offset,
1141 sec->_cooked_size);
1142 free (contents);
1143 return retval;