1 /* BFD back-end for linux flavored i386 a.out binaries.
2 Copyright (C) 1992, 93, 94, 95, 96, 97, 98, 1999
3 Free Software Foundation, Inc.
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 #define TARGET_PAGE_SIZE 4096
22 #define ZMAGIC_DISK_BLOCK_SIZE 1024
23 #define SEGMENT_SIZE TARGET_PAGE_SIZE
24 #define TEXT_START_ADDR 0x0
25 #define N_SHARED_LIB(x) 0
26 #define BYTES_IN_WORD 4
28 #define MACHTYPE_OK(mtype) ((mtype) == M_386 || (mtype) == M_UNKNOWN)
33 #include "aout/aout64.h"
34 #include "aout/stab_gnu.h"
36 #include "libaout.h" /* BFD a.out internal data structures */
38 #define DEFAULT_ARCH bfd_arch_i386
39 #define MY(OP) CAT(i386linux_,OP)
40 #define TARGETNAME "a.out-i386-linux"
42 extern const bfd_target
MY(vec
);
44 /* We always generate QMAGIC files in preference to ZMAGIC files. It
45 would be possible to make this a linker option, if that ever
48 static void MY_final_link_callback
49 PARAMS ((bfd
*, file_ptr
*, file_ptr
*, file_ptr
*));
50 static boolean i386linux_bfd_final_link
51 PARAMS ((bfd
*, struct bfd_link_info
*));
52 static boolean i386linux_write_object_contents
PARAMS ((bfd
*));
55 i386linux_bfd_final_link (abfd
, info
)
57 struct bfd_link_info
*info
;
59 obj_aout_subformat (abfd
) = q_magic_format
;
60 return NAME(aout
,final_link
) (abfd
, info
, MY_final_link_callback
);
63 #define MY_bfd_final_link i386linux_bfd_final_link
65 /* Set the machine type correctly. */
68 i386linux_write_object_contents (abfd
)
71 struct external_exec exec_bytes
;
72 struct internal_exec
*execp
= exec_hdr (abfd
);
74 N_SET_MACHTYPE (*execp
, M_386
);
76 obj_reloc_entry_size (abfd
) = RELOC_STD_SIZE
;
78 WRITE_HEADERS(abfd
, execp
);
83 #define MY_write_object_contents i386linux_write_object_contents
85 /* Code to link against Linux a.out shared libraries. */
87 /* See if a symbol name is a reference to the global offset table. */
89 #ifndef GOT_REF_PREFIX
90 #define GOT_REF_PREFIX "__GOT_"
93 #define IS_GOT_SYM(name) \
94 (strncmp (name, GOT_REF_PREFIX, sizeof GOT_REF_PREFIX - 1) == 0)
96 /* See if a symbol name is a reference to the procedure linkage table. */
98 #ifndef PLT_REF_PREFIX
99 #define PLT_REF_PREFIX "__PLT_"
102 #define IS_PLT_SYM(name) \
103 (strncmp (name, PLT_REF_PREFIX, sizeof PLT_REF_PREFIX - 1) == 0)
105 /* This string is used to generate specialized error messages. */
108 #define NEEDS_SHRLIB "__NEEDS_SHRLIB_"
111 /* This special symbol is a set vector that contains a list of
112 pointers to fixup tables. It will be present in any dynamicly
113 linked file. The linker generated fixup table should also be added
114 to the list, and it should always appear in the second slot (the
115 first one is a dummy with a magic number that is defined in
118 #ifndef SHARABLE_CONFLICTS
119 #define SHARABLE_CONFLICTS "__SHARABLE_CONFLICTS__"
122 /* We keep a list of fixups. The terminology is a bit strange, but
123 each fixup contains two 32 bit numbers. A regular fixup contains
124 an address and a pointer, and at runtime we should store the
125 address at the location pointed to by the pointer. A builtin fixup
126 contains two pointers, and we should read the address using one
127 pointer and store it at the location pointed to by the other
128 pointer. Builtin fixups come into play when we have duplicate
129 __GOT__ symbols for the same variable. The builtin fixup will copy
130 the GOT pointer from one over into the other. */
135 struct linux_link_hash_entry
*h
;
138 /* Nonzero if this is a jump instruction that needs to be fixed,
139 zero if this is just a pointer */
145 /* We don't need a special hash table entry structure, but we do need
146 to keep some information between linker passes, so we use a special
149 struct linux_link_hash_entry
151 struct aout_link_hash_entry root
;
154 struct linux_link_hash_table
156 struct aout_link_hash_table root
;
158 /* First dynamic object found in link. */
161 /* Number of fixups. */
164 /* Number of builtin fixups. */
165 size_t local_builtins
;
167 /* List of fixups. */
168 struct fixup
*fixup_list
;
171 static struct bfd_hash_entry
*linux_link_hash_newfunc
172 PARAMS ((struct bfd_hash_entry
*, struct bfd_hash_table
*, const char *));
173 static struct bfd_link_hash_table
*linux_link_hash_table_create
175 static struct fixup
*new_fixup
176 PARAMS ((struct bfd_link_info
*, struct linux_link_hash_entry
*,
178 static boolean linux_link_create_dynamic_sections
179 PARAMS ((bfd
*, struct bfd_link_info
*));
180 static boolean linux_add_one_symbol
181 PARAMS ((struct bfd_link_info
*, bfd
*, const char *, flagword
, asection
*,
182 bfd_vma
, const char *, boolean
, boolean
,
183 struct bfd_link_hash_entry
**));
184 static boolean linux_tally_symbols
185 PARAMS ((struct linux_link_hash_entry
*, PTR
));
186 static boolean linux_finish_dynamic_link
187 PARAMS ((bfd
*, struct bfd_link_info
*));
189 /* Routine to create an entry in an Linux link hash table. */
191 static struct bfd_hash_entry
*
192 linux_link_hash_newfunc (entry
, table
, string
)
193 struct bfd_hash_entry
*entry
;
194 struct bfd_hash_table
*table
;
197 struct linux_link_hash_entry
*ret
= (struct linux_link_hash_entry
*) entry
;
199 /* Allocate the structure if it has not already been allocated by a
201 if (ret
== (struct linux_link_hash_entry
*) NULL
)
202 ret
= ((struct linux_link_hash_entry
*)
203 bfd_hash_allocate (table
, sizeof (struct linux_link_hash_entry
)));
205 return (struct bfd_hash_entry
*) ret
;
207 /* Call the allocation method of the superclass. */
208 ret
= ((struct linux_link_hash_entry
*)
209 NAME(aout
,link_hash_newfunc
) ((struct bfd_hash_entry
*) ret
,
213 /* Set local fields; there aren't any. */
216 return (struct bfd_hash_entry
*) ret
;
219 /* Create a Linux link hash table. */
221 static struct bfd_link_hash_table
*
222 linux_link_hash_table_create (abfd
)
225 struct linux_link_hash_table
*ret
;
227 ret
= ((struct linux_link_hash_table
*)
228 bfd_alloc (abfd
, sizeof (struct linux_link_hash_table
)));
229 if (ret
== (struct linux_link_hash_table
*) NULL
)
230 return (struct bfd_link_hash_table
*) NULL
;
231 if (! NAME(aout
,link_hash_table_init
) (&ret
->root
, abfd
,
232 linux_link_hash_newfunc
))
235 return (struct bfd_link_hash_table
*) NULL
;
239 ret
->fixup_count
= 0;
240 ret
->local_builtins
= 0;
241 ret
->fixup_list
= NULL
;
243 return &ret
->root
.root
;
246 /* Look up an entry in a Linux link hash table. */
248 #define linux_link_hash_lookup(table, string, create, copy, follow) \
249 ((struct linux_link_hash_entry *) \
250 aout_link_hash_lookup (&(table)->root, (string), (create), (copy),\
253 /* Traverse a Linux link hash table. */
255 #define linux_link_hash_traverse(table, func, info) \
256 (aout_link_hash_traverse \
258 (boolean (*) PARAMS ((struct aout_link_hash_entry *, PTR))) (func), \
261 /* Get the Linux link hash table from the info structure. This is
264 #define linux_hash_table(p) ((struct linux_link_hash_table *) ((p)->hash))
266 /* Store the information for a new fixup. */
268 static struct fixup
*
269 new_fixup (info
, h
, value
, builtin
)
270 struct bfd_link_info
*info
;
271 struct linux_link_hash_entry
*h
;
277 f
= (struct fixup
*) bfd_hash_allocate (&info
->hash
->table
,
278 sizeof (struct fixup
));
281 f
->next
= linux_hash_table (info
)->fixup_list
;
282 linux_hash_table (info
)->fixup_list
= f
;
285 f
->builtin
= builtin
;
287 ++linux_hash_table (info
)->fixup_count
;
291 /* We come here once we realize that we are going to link to a shared
292 library. We need to create a special section that contains the
293 fixup table, and we ultimately need to add a pointer to this into
294 the set vector for SHARABLE_CONFLICTS. At this point we do not
295 know the size of the section, but that's OK - we just need to
296 create it for now. */
299 linux_link_create_dynamic_sections (abfd
, info
)
301 struct bfd_link_info
*info ATTRIBUTE_UNUSED
;
304 register asection
*s
;
306 /* Note that we set the SEC_IN_MEMORY flag. */
307 flags
= SEC_ALLOC
| SEC_LOAD
| SEC_HAS_CONTENTS
| SEC_IN_MEMORY
;
309 /* We choose to use the name ".linux-dynamic" for the fixup table.
311 s
= bfd_make_section (abfd
, ".linux-dynamic");
313 || ! bfd_set_section_flags (abfd
, s
, flags
)
314 || ! bfd_set_section_alignment (abfd
, s
, 2))
322 /* Function to add a single symbol to the linker hash table. This is
323 a wrapper around _bfd_generic_link_add_one_symbol which handles the
324 tweaking needed for dynamic linking support. */
327 linux_add_one_symbol (info
, abfd
, name
, flags
, section
, value
, string
,
328 copy
, collect
, hashp
)
329 struct bfd_link_info
*info
;
338 struct bfd_link_hash_entry
**hashp
;
340 struct linux_link_hash_entry
*h
;
343 /* Look up and see if we already have this symbol in the hash table.
344 If we do, and the defining entry is from a shared library, we
345 need to create the dynamic sections.
347 FIXME: What if abfd->xvec != info->hash->creator? We may want to
348 be able to link Linux a.out and ELF objects together, but serious
349 confusion is possible. */
353 if (! info
->relocateable
354 && linux_hash_table (info
)->dynobj
== NULL
355 && strcmp (name
, SHARABLE_CONFLICTS
) == 0
356 && (flags
& BSF_CONSTRUCTOR
) != 0
357 && abfd
->xvec
== info
->hash
->creator
)
359 if (! linux_link_create_dynamic_sections (abfd
, info
))
361 linux_hash_table (info
)->dynobj
= abfd
;
365 if (bfd_is_abs_section (section
)
366 && abfd
->xvec
== info
->hash
->creator
)
368 h
= linux_link_hash_lookup (linux_hash_table (info
), name
, false,
371 && (h
->root
.root
.type
== bfd_link_hash_defined
372 || h
->root
.root
.type
== bfd_link_hash_defweak
))
377 *hashp
= (struct bfd_link_hash_entry
*) h
;
379 f
= new_fixup (info
, h
, value
, ! IS_PLT_SYM (name
));
382 f
->jump
= IS_PLT_SYM (name
);
388 /* Do the usual procedure for adding a symbol. */
389 if (! _bfd_generic_link_add_one_symbol (info
, abfd
, name
, flags
, section
,
390 value
, string
, copy
, collect
,
394 /* Insert a pointer to our table in the set vector. The dynamic
395 linker requires this information */
400 /* Here we do our special thing to add the pointer to the
401 dynamic section in the SHARABLE_CONFLICTS set vector. */
402 s
= bfd_get_section_by_name (linux_hash_table (info
)->dynobj
,
404 BFD_ASSERT (s
!= NULL
);
406 if (! (_bfd_generic_link_add_one_symbol
407 (info
, linux_hash_table (info
)->dynobj
, SHARABLE_CONFLICTS
,
408 BSF_GLOBAL
| BSF_CONSTRUCTOR
, s
, 0, NULL
, false, false, NULL
)))
415 /* We will crawl the hash table and come here for every global symbol.
416 We will examine each entry and see if there are indications that we
417 need to add a fixup. There are two possible cases - one is where
418 you have duplicate definitions of PLT or GOT symbols - these will
419 have already been caught and added as "builtin" fixups. If we find
420 that the corresponding non PLT/GOT symbol is also present, we
421 convert it to a regular fixup instead.
423 This function is called via linux_link_hash_traverse. */
426 linux_tally_symbols (h
, data
)
427 struct linux_link_hash_entry
*h
;
430 struct bfd_link_info
*info
= (struct bfd_link_info
*) data
;
431 struct fixup
*f
, *f1
;
433 struct linux_link_hash_entry
*h1
, *h2
;
436 if (h
->root
.root
.type
== bfd_link_hash_undefined
437 && strncmp (h
->root
.root
.root
.string
, NEEDS_SHRLIB
,
438 sizeof NEEDS_SHRLIB
- 1) == 0)
444 name
= h
->root
.root
.root
.string
+ sizeof NEEDS_SHRLIB
- 1;
445 p
= strrchr (name
, '_');
447 alloc
= (char *) bfd_malloc (strlen (name
) + 1);
449 if (p
== NULL
|| alloc
== NULL
)
450 (*_bfd_error_handler
) (_("Output file requires shared library `%s'\n"),
454 strcpy (alloc
, name
);
455 p
= strrchr (alloc
, '_');
457 (*_bfd_error_handler
)
458 (_("Output file requires shared library `%s.so.%s'\n"),
466 /* If this symbol is not a PLT/GOT, we do not even need to look at it */
467 is_plt
= IS_PLT_SYM (h
->root
.root
.root
.string
);
469 if (is_plt
|| IS_GOT_SYM (h
->root
.root
.root
.string
))
471 /* Look up this symbol twice. Once just as a regular lookup,
472 and then again following all of the indirect links until we
473 reach a real symbol. */
474 h1
= linux_link_hash_lookup (linux_hash_table (info
),
475 (h
->root
.root
.root
.string
476 + sizeof PLT_REF_PREFIX
- 1),
478 /* h2 does not follow indirect symbols. */
479 h2
= linux_link_hash_lookup (linux_hash_table (info
),
480 (h
->root
.root
.root
.string
481 + sizeof PLT_REF_PREFIX
- 1),
482 false, false, false);
484 /* The real symbol must exist but if it is also an ABS symbol,
485 there is no need to have a fixup. This is because they both
486 came from the same library. If on the other hand, we had to
487 use an indirect symbol to get to the real symbol, we add the
488 fixup anyway, since there are cases where these symbols come
489 from different shared libraries */
491 && (((h1
->root
.root
.type
== bfd_link_hash_defined
492 || h1
->root
.root
.type
== bfd_link_hash_defweak
)
493 && ! bfd_is_abs_section (h1
->root
.root
.u
.def
.section
))
494 || h2
->root
.root
.type
== bfd_link_hash_indirect
))
496 /* See if there is a "builtin" fixup already present
497 involving this symbol. If so, convert it to a regular
498 fixup. In the end, this relaxes some of the requirements
499 about the order of performing fixups. */
501 for (f1
= linux_hash_table (info
)->fixup_list
;
505 if ((f1
->h
!= h
&& f1
->h
!= h1
)
506 || (! f1
->builtin
&& ! f1
->jump
))
511 && bfd_is_abs_section (h
->root
.root
.u
.def
.section
))
513 f
= new_fixup (info
, h1
, f1
->h
->root
.root
.u
.def
.value
, 0);
522 && bfd_is_abs_section (h
->root
.root
.u
.def
.section
))
524 f
= new_fixup (info
, h1
, h
->root
.root
.u
.def
.value
, 0);
527 /* FIXME: No way to return error. */
534 /* Quick and dirty way of stripping these symbols from the
536 if (bfd_is_abs_section (h
->root
.root
.u
.def
.section
))
537 h
->root
.written
= true;
543 /* This is called to set the size of the .linux-dynamic section is.
544 It is called by the Linux linker emulation before_allocation
545 routine. We have finished reading all of the input files, and now
546 we just scan the hash tables to find out how many additional fixups
550 bfd_i386linux_size_dynamic_sections (output_bfd
, info
)
552 struct bfd_link_info
*info
;
557 if (output_bfd
->xvec
!= &MY(vec
))
560 /* First find the fixups... */
561 linux_link_hash_traverse (linux_hash_table (info
),
565 /* If there are builtin fixups, leave room for a marker. This is
566 used by the dynamic linker so that it knows that all that follow
567 are builtin fixups instead of regular fixups. */
568 for (f
= linux_hash_table (info
)->fixup_list
; f
!= NULL
; f
= f
->next
)
572 ++linux_hash_table (info
)->fixup_count
;
573 ++linux_hash_table (info
)->local_builtins
;
578 if (linux_hash_table (info
)->dynobj
== NULL
)
580 if (linux_hash_table (info
)->fixup_count
> 0)
585 /* Allocate memory for our fixup table. We will fill it in later. */
586 s
= bfd_get_section_by_name (linux_hash_table (info
)->dynobj
,
590 s
->_raw_size
= 8 + linux_hash_table (info
)->fixup_count
* 8;
591 s
->contents
= (bfd_byte
*) bfd_alloc (output_bfd
, s
->_raw_size
);
592 if (s
->contents
== NULL
)
594 memset (s
->contents
, 0, (size_t) s
->_raw_size
);
600 /* We come here once we are ready to actually write the fixup table to
601 the output file. Scan the fixup tables and so forth and generate
602 the stuff we need. */
605 linux_finish_dynamic_link (output_bfd
, info
)
607 struct bfd_link_info
*info
;
609 asection
*s
, *os
, *is
;
610 bfd_byte
*fixup_table
;
611 struct linux_link_hash_entry
*h
;
613 unsigned int new_addr
;
615 unsigned int fixups_written
;
617 if (linux_hash_table (info
)->dynobj
== NULL
)
620 s
= bfd_get_section_by_name (linux_hash_table (info
)->dynobj
,
622 BFD_ASSERT (s
!= NULL
);
623 os
= s
->output_section
;
626 #ifdef LINUX_LINK_DEBUG
627 printf ("Fixup table file offset: %x VMA: %x\n",
628 os
->filepos
+ s
->output_offset
,
629 os
->vma
+ s
->output_offset
);
632 fixup_table
= s
->contents
;
633 bfd_put_32 (output_bfd
, linux_hash_table (info
)->fixup_count
, fixup_table
);
636 /* Fill in fixup table. */
637 for (f
= linux_hash_table (info
)->fixup_list
; f
!= NULL
; f
= f
->next
)
642 if (f
->h
->root
.root
.type
!= bfd_link_hash_defined
643 && f
->h
->root
.root
.type
!= bfd_link_hash_defweak
)
645 (*_bfd_error_handler
)
646 (_("Symbol %s not defined for fixups\n"),
647 f
->h
->root
.root
.root
.string
);
651 is
= f
->h
->root
.root
.u
.def
.section
;
652 section_offset
= is
->output_section
->vma
+ is
->output_offset
;
653 new_addr
= f
->h
->root
.root
.u
.def
.value
+ section_offset
;
655 #ifdef LINUX_LINK_DEBUG
656 printf ("Fixup(%d) %s: %x %x\n",f
->jump
, f
->h
->root
.root
.string
,
662 /* Relative address */
663 new_addr
= new_addr
- (f
->value
+ 5);
664 bfd_put_32 (output_bfd
, new_addr
, fixup_table
);
666 bfd_put_32 (output_bfd
, f
->value
+ 1, fixup_table
);
671 bfd_put_32 (output_bfd
, new_addr
, fixup_table
);
673 bfd_put_32 (output_bfd
, f
->value
, fixup_table
);
679 if (linux_hash_table (info
)->local_builtins
!= 0)
681 /* Special marker so we know to switch to the other type of fixup */
682 bfd_put_32 (output_bfd
, 0, fixup_table
);
684 bfd_put_32 (output_bfd
, 0, fixup_table
);
687 for (f
= linux_hash_table (info
)->fixup_list
; f
!= NULL
; f
= f
->next
)
692 if (f
->h
->root
.root
.type
!= bfd_link_hash_defined
693 && f
->h
->root
.root
.type
!= bfd_link_hash_defweak
)
695 (*_bfd_error_handler
)
696 (_("Symbol %s not defined for fixups\n"),
697 f
->h
->root
.root
.root
.string
);
701 is
= f
->h
->root
.root
.u
.def
.section
;
702 section_offset
= is
->output_section
->vma
+ is
->output_offset
;
703 new_addr
= f
->h
->root
.root
.u
.def
.value
+ section_offset
;
705 #ifdef LINUX_LINK_DEBUG
706 printf ("Fixup(B) %s: %x %x\n", f
->h
->root
.root
.string
,
710 bfd_put_32 (output_bfd
, new_addr
, fixup_table
);
712 bfd_put_32 (output_bfd
, f
->value
, fixup_table
);
718 if (linux_hash_table (info
)->fixup_count
!= fixups_written
)
720 (*_bfd_error_handler
) (_("Warning: fixup count mismatch\n"));
721 while (linux_hash_table (info
)->fixup_count
> fixups_written
)
723 bfd_put_32 (output_bfd
, 0, fixup_table
);
725 bfd_put_32 (output_bfd
, 0, fixup_table
);
731 h
= linux_link_hash_lookup (linux_hash_table (info
),
732 "__BUILTIN_FIXUPS__",
733 false, false, false);
736 && (h
->root
.root
.type
== bfd_link_hash_defined
737 || h
->root
.root
.type
== bfd_link_hash_defweak
))
739 is
= h
->root
.root
.u
.def
.section
;
740 section_offset
= is
->output_section
->vma
+ is
->output_offset
;
741 new_addr
= h
->root
.root
.u
.def
.value
+ section_offset
;
743 #ifdef LINUX_LINK_DEBUG
744 printf ("Builtin fixup table at %x\n", new_addr
);
747 bfd_put_32 (output_bfd
, new_addr
, fixup_table
);
750 bfd_put_32 (output_bfd
, 0, fixup_table
);
752 if (bfd_seek (output_bfd
, os
->filepos
+ s
->output_offset
, SEEK_SET
) != 0)
755 if (bfd_write ((PTR
) s
->contents
, 1, s
->_raw_size
, output_bfd
)
762 #define MY_bfd_link_hash_table_create linux_link_hash_table_create
763 #define MY_add_one_symbol linux_add_one_symbol
764 #define MY_finish_dynamic_link linux_finish_dynamic_link
766 #define MY_zmagic_contiguous 1
768 #include "aout-target.h"