1*fae548d3Szrj /* VxWorks support for ELF
2*fae548d3Szrj Copyright (C) 2005-2020 Free Software Foundation, Inc.
3*fae548d3Szrj
4*fae548d3Szrj This file is part of BFD, the Binary File Descriptor library.
5*fae548d3Szrj
6*fae548d3Szrj This program is free software; you can redistribute it and/or modify
7*fae548d3Szrj it under the terms of the GNU General Public License as published by
8*fae548d3Szrj the Free Software Foundation; either version 3 of the License, or
9*fae548d3Szrj (at your option) any later version.
10*fae548d3Szrj
11*fae548d3Szrj This program is distributed in the hope that it will be useful,
12*fae548d3Szrj but WITHOUT ANY WARRANTY; without even the implied warranty of
13*fae548d3Szrj MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14*fae548d3Szrj GNU General Public License for more details.
15*fae548d3Szrj
16*fae548d3Szrj You should have received a copy of the GNU General Public License
17*fae548d3Szrj along with this program. If not, see <http://www.gnu.org/licenses/>. */
18*fae548d3Szrj
19*fae548d3Szrj /* This file provides routines used by all VxWorks targets. */
20*fae548d3Szrj
21*fae548d3Szrj #include "sysdep.h"
22*fae548d3Szrj #include "bfd.h"
23*fae548d3Szrj #include "libbfd.h"
24*fae548d3Szrj #include "elf-bfd.h"
25*fae548d3Szrj #include "elf-vxworks.h"
26*fae548d3Szrj #include "elf/vxworks.h"
27*fae548d3Szrj
28*fae548d3Szrj /* Return true if symbol NAME, as defined by ABFD, is one of the special
29*fae548d3Szrj __GOTT_BASE__ or __GOTT_INDEX__ symbols. */
30*fae548d3Szrj
31*fae548d3Szrj static bfd_boolean
elf_vxworks_gott_symbol_p(bfd * abfd,const char * name)32*fae548d3Szrj elf_vxworks_gott_symbol_p (bfd *abfd, const char *name)
33*fae548d3Szrj {
34*fae548d3Szrj char leading;
35*fae548d3Szrj
36*fae548d3Szrj leading = bfd_get_symbol_leading_char (abfd);
37*fae548d3Szrj if (leading)
38*fae548d3Szrj {
39*fae548d3Szrj if (*name != leading)
40*fae548d3Szrj return FALSE;
41*fae548d3Szrj name++;
42*fae548d3Szrj }
43*fae548d3Szrj return (strcmp (name, "__GOTT_BASE__") == 0
44*fae548d3Szrj || strcmp (name, "__GOTT_INDEX__") == 0);
45*fae548d3Szrj }
46*fae548d3Szrj
47*fae548d3Szrj /* Tweak magic VxWorks symbols as they are loaded. */
48*fae548d3Szrj bfd_boolean
elf_vxworks_add_symbol_hook(bfd * abfd,struct bfd_link_info * info,Elf_Internal_Sym * sym,const char ** namep,flagword * flagsp,asection ** secp ATTRIBUTE_UNUSED,bfd_vma * valp ATTRIBUTE_UNUSED)49*fae548d3Szrj elf_vxworks_add_symbol_hook (bfd *abfd,
50*fae548d3Szrj struct bfd_link_info *info,
51*fae548d3Szrj Elf_Internal_Sym *sym,
52*fae548d3Szrj const char **namep,
53*fae548d3Szrj flagword *flagsp,
54*fae548d3Szrj asection **secp ATTRIBUTE_UNUSED,
55*fae548d3Szrj bfd_vma *valp ATTRIBUTE_UNUSED)
56*fae548d3Szrj {
57*fae548d3Szrj /* Ideally these "magic" symbols would be exported by libc.so.1
58*fae548d3Szrj which would be found via a DT_NEEDED tag, and then handled
59*fae548d3Szrj specially by the linker at runtime. Except shared libraries
60*fae548d3Szrj don't even link to libc.so.1 by default...
61*fae548d3Szrj If the symbol is imported from, or will be put in a shared library,
62*fae548d3Szrj give the symbol weak binding to get the desired samantics.
63*fae548d3Szrj This transformation will be undone in
64*fae548d3Szrj elf_i386_vxworks_link_output_symbol_hook. */
65*fae548d3Szrj if ((bfd_link_pic (info) || abfd->flags & DYNAMIC)
66*fae548d3Szrj && elf_vxworks_gott_symbol_p (abfd, *namep))
67*fae548d3Szrj {
68*fae548d3Szrj sym->st_info = ELF_ST_INFO (STB_WEAK, ELF_ST_TYPE (sym->st_info));
69*fae548d3Szrj *flagsp |= BSF_WEAK;
70*fae548d3Szrj }
71*fae548d3Szrj
72*fae548d3Szrj return TRUE;
73*fae548d3Szrj }
74*fae548d3Szrj
75*fae548d3Szrj /* Perform VxWorks-specific handling of the create_dynamic_sections hook.
76*fae548d3Szrj When creating an executable, set *SRELPLT2_OUT to the .rel(a).plt.unloaded
77*fae548d3Szrj section. */
78*fae548d3Szrj
79*fae548d3Szrj bfd_boolean
elf_vxworks_create_dynamic_sections(bfd * dynobj,struct bfd_link_info * info,asection ** srelplt2_out)80*fae548d3Szrj elf_vxworks_create_dynamic_sections (bfd *dynobj, struct bfd_link_info *info,
81*fae548d3Szrj asection **srelplt2_out)
82*fae548d3Szrj {
83*fae548d3Szrj struct elf_link_hash_table *htab;
84*fae548d3Szrj const struct elf_backend_data *bed;
85*fae548d3Szrj asection *s;
86*fae548d3Szrj
87*fae548d3Szrj htab = elf_hash_table (info);
88*fae548d3Szrj bed = get_elf_backend_data (dynobj);
89*fae548d3Szrj
90*fae548d3Szrj if (!bfd_link_pic (info))
91*fae548d3Szrj {
92*fae548d3Szrj s = bfd_make_section_anyway_with_flags (dynobj,
93*fae548d3Szrj bed->default_use_rela_p
94*fae548d3Szrj ? ".rela.plt.unloaded"
95*fae548d3Szrj : ".rel.plt.unloaded",
96*fae548d3Szrj SEC_HAS_CONTENTS | SEC_IN_MEMORY
97*fae548d3Szrj | SEC_READONLY
98*fae548d3Szrj | SEC_LINKER_CREATED);
99*fae548d3Szrj if (s == NULL
100*fae548d3Szrj || !bfd_set_section_alignment (s, bed->s->log_file_align))
101*fae548d3Szrj return FALSE;
102*fae548d3Szrj
103*fae548d3Szrj *srelplt2_out = s;
104*fae548d3Szrj }
105*fae548d3Szrj
106*fae548d3Szrj /* Mark the GOT and PLT symbols as having relocations; they might
107*fae548d3Szrj not, but we won't know for sure until we build the GOT in
108*fae548d3Szrj finish_dynamic_symbol. Also make sure that the GOT symbol
109*fae548d3Szrj is entered into the dynamic symbol table; the loader uses it
110*fae548d3Szrj to initialize __GOTT_BASE__[__GOTT_INDEX__]. */
111*fae548d3Szrj if (htab->hgot)
112*fae548d3Szrj {
113*fae548d3Szrj htab->hgot->indx = -2;
114*fae548d3Szrj htab->hgot->other &= ~ELF_ST_VISIBILITY (-1);
115*fae548d3Szrj htab->hgot->forced_local = 0;
116*fae548d3Szrj if (!bfd_elf_link_record_dynamic_symbol (info, htab->hgot))
117*fae548d3Szrj return FALSE;
118*fae548d3Szrj }
119*fae548d3Szrj if (htab->hplt)
120*fae548d3Szrj {
121*fae548d3Szrj htab->hplt->indx = -2;
122*fae548d3Szrj htab->hplt->type = STT_FUNC;
123*fae548d3Szrj }
124*fae548d3Szrj
125*fae548d3Szrj return TRUE;
126*fae548d3Szrj }
127*fae548d3Szrj
128*fae548d3Szrj /* Tweak magic VxWorks symbols as they are written to the output file. */
129*fae548d3Szrj int
elf_vxworks_link_output_symbol_hook(struct bfd_link_info * info ATTRIBUTE_UNUSED,const char * name,Elf_Internal_Sym * sym,asection * input_sec ATTRIBUTE_UNUSED,struct elf_link_hash_entry * h)130*fae548d3Szrj elf_vxworks_link_output_symbol_hook (struct bfd_link_info *info
131*fae548d3Szrj ATTRIBUTE_UNUSED,
132*fae548d3Szrj const char *name,
133*fae548d3Szrj Elf_Internal_Sym *sym,
134*fae548d3Szrj asection *input_sec ATTRIBUTE_UNUSED,
135*fae548d3Szrj struct elf_link_hash_entry *h)
136*fae548d3Szrj {
137*fae548d3Szrj /* Reverse the effects of the hack in elf_vxworks_add_symbol_hook. */
138*fae548d3Szrj if (h
139*fae548d3Szrj && h->root.type == bfd_link_hash_undefweak
140*fae548d3Szrj && elf_vxworks_gott_symbol_p (h->root.u.undef.abfd, name))
141*fae548d3Szrj sym->st_info = ELF_ST_INFO (STB_GLOBAL, ELF_ST_TYPE (sym->st_info));
142*fae548d3Szrj
143*fae548d3Szrj return 1;
144*fae548d3Szrj }
145*fae548d3Szrj
146*fae548d3Szrj /* Copy relocations into the output file. Fixes up relocations against PLT
147*fae548d3Szrj entries, then calls the generic routine. */
148*fae548d3Szrj
149*fae548d3Szrj bfd_boolean
elf_vxworks_emit_relocs(bfd * output_bfd,asection * input_section,Elf_Internal_Shdr * input_rel_hdr,Elf_Internal_Rela * internal_relocs,struct elf_link_hash_entry ** rel_hash)150*fae548d3Szrj elf_vxworks_emit_relocs (bfd *output_bfd,
151*fae548d3Szrj asection *input_section,
152*fae548d3Szrj Elf_Internal_Shdr *input_rel_hdr,
153*fae548d3Szrj Elf_Internal_Rela *internal_relocs,
154*fae548d3Szrj struct elf_link_hash_entry **rel_hash)
155*fae548d3Szrj {
156*fae548d3Szrj const struct elf_backend_data *bed;
157*fae548d3Szrj int j;
158*fae548d3Szrj
159*fae548d3Szrj bed = get_elf_backend_data (output_bfd);
160*fae548d3Szrj
161*fae548d3Szrj if (output_bfd->flags & (DYNAMIC|EXEC_P))
162*fae548d3Szrj {
163*fae548d3Szrj Elf_Internal_Rela *irela;
164*fae548d3Szrj Elf_Internal_Rela *irelaend;
165*fae548d3Szrj struct elf_link_hash_entry **hash_ptr;
166*fae548d3Szrj
167*fae548d3Szrj for (irela = internal_relocs,
168*fae548d3Szrj irelaend = irela + (NUM_SHDR_ENTRIES (input_rel_hdr)
169*fae548d3Szrj * bed->s->int_rels_per_ext_rel),
170*fae548d3Szrj hash_ptr = rel_hash;
171*fae548d3Szrj irela < irelaend;
172*fae548d3Szrj irela += bed->s->int_rels_per_ext_rel,
173*fae548d3Szrj hash_ptr++)
174*fae548d3Szrj {
175*fae548d3Szrj if (*hash_ptr
176*fae548d3Szrj && (*hash_ptr)->def_dynamic
177*fae548d3Szrj && !(*hash_ptr)->def_regular
178*fae548d3Szrj && ((*hash_ptr)->root.type == bfd_link_hash_defined
179*fae548d3Szrj || (*hash_ptr)->root.type == bfd_link_hash_defweak)
180*fae548d3Szrj && (*hash_ptr)->root.u.def.section->output_section != NULL)
181*fae548d3Szrj {
182*fae548d3Szrj /* This is a relocation from an executable or shared
183*fae548d3Szrj library against a symbol in a different shared
184*fae548d3Szrj library. We are creating a definition in the output
185*fae548d3Szrj file but it does not come from any of our normal (.o)
186*fae548d3Szrj files. ie. a PLT stub. Normally this would be a
187*fae548d3Szrj relocation against against SHN_UNDEF with the VMA of
188*fae548d3Szrj the PLT stub. This upsets the VxWorks loader.
189*fae548d3Szrj Convert it to a section-relative relocation. This
190*fae548d3Szrj gets some other symbols (for instance .dynbss), but
191*fae548d3Szrj is conservatively correct. */
192*fae548d3Szrj for (j = 0; j < bed->s->int_rels_per_ext_rel; j++)
193*fae548d3Szrj {
194*fae548d3Szrj asection *sec = (*hash_ptr)->root.u.def.section;
195*fae548d3Szrj int this_idx = sec->output_section->target_index;
196*fae548d3Szrj
197*fae548d3Szrj irela[j].r_info
198*fae548d3Szrj = ELF32_R_INFO (this_idx, ELF32_R_TYPE (irela[j].r_info));
199*fae548d3Szrj irela[j].r_addend += (*hash_ptr)->root.u.def.value;
200*fae548d3Szrj irela[j].r_addend += sec->output_offset;
201*fae548d3Szrj }
202*fae548d3Szrj /* Stop the generic routine adjusting this entry. */
203*fae548d3Szrj *hash_ptr = NULL;
204*fae548d3Szrj }
205*fae548d3Szrj }
206*fae548d3Szrj }
207*fae548d3Szrj return _bfd_elf_link_output_relocs (output_bfd, input_section,
208*fae548d3Szrj input_rel_hdr, internal_relocs,
209*fae548d3Szrj rel_hash);
210*fae548d3Szrj }
211*fae548d3Szrj
212*fae548d3Szrj
213*fae548d3Szrj /* Set the sh_link and sh_info fields on the static plt relocation secton. */
214*fae548d3Szrj
215*fae548d3Szrj bfd_boolean
elf_vxworks_final_write_processing(bfd * abfd)216*fae548d3Szrj elf_vxworks_final_write_processing (bfd *abfd)
217*fae548d3Szrj {
218*fae548d3Szrj asection * sec;
219*fae548d3Szrj struct bfd_elf_section_data *d;
220*fae548d3Szrj
221*fae548d3Szrj sec = bfd_get_section_by_name (abfd, ".rel.plt.unloaded");
222*fae548d3Szrj if (!sec)
223*fae548d3Szrj sec = bfd_get_section_by_name (abfd, ".rela.plt.unloaded");
224*fae548d3Szrj if (sec)
225*fae548d3Szrj {
226*fae548d3Szrj d = elf_section_data (sec);
227*fae548d3Szrj d->this_hdr.sh_link = elf_onesymtab (abfd);
228*fae548d3Szrj sec = bfd_get_section_by_name (abfd, ".plt");
229*fae548d3Szrj if (sec)
230*fae548d3Szrj d->this_hdr.sh_info = elf_section_data (sec)->this_idx;
231*fae548d3Szrj }
232*fae548d3Szrj return _bfd_elf_final_write_processing (abfd);
233*fae548d3Szrj }
234*fae548d3Szrj
235*fae548d3Szrj /* Add the dynamic entries required by VxWorks. These point to the
236*fae548d3Szrj tls sections. */
237*fae548d3Szrj
238*fae548d3Szrj bfd_boolean
elf_vxworks_add_dynamic_entries(bfd * output_bfd,struct bfd_link_info * info)239*fae548d3Szrj elf_vxworks_add_dynamic_entries (bfd *output_bfd, struct bfd_link_info *info)
240*fae548d3Szrj {
241*fae548d3Szrj if (bfd_get_section_by_name (output_bfd, ".tls_data"))
242*fae548d3Szrj {
243*fae548d3Szrj if (!_bfd_elf_add_dynamic_entry (info, DT_VX_WRS_TLS_DATA_START, 0)
244*fae548d3Szrj || !_bfd_elf_add_dynamic_entry (info, DT_VX_WRS_TLS_DATA_SIZE, 0)
245*fae548d3Szrj || !_bfd_elf_add_dynamic_entry (info, DT_VX_WRS_TLS_DATA_ALIGN, 0))
246*fae548d3Szrj return FALSE;
247*fae548d3Szrj }
248*fae548d3Szrj if (bfd_get_section_by_name (output_bfd, ".tls_vars"))
249*fae548d3Szrj {
250*fae548d3Szrj if (!_bfd_elf_add_dynamic_entry (info, DT_VX_WRS_TLS_VARS_START, 0)
251*fae548d3Szrj || !_bfd_elf_add_dynamic_entry (info, DT_VX_WRS_TLS_VARS_SIZE, 0))
252*fae548d3Szrj return FALSE;
253*fae548d3Szrj }
254*fae548d3Szrj return TRUE;
255*fae548d3Szrj }
256*fae548d3Szrj
257*fae548d3Szrj /* If *DYN is one of the VxWorks-specific dynamic entries, then fill
258*fae548d3Szrj in the value now and return TRUE. Otherwise return FALSE. */
259*fae548d3Szrj
260*fae548d3Szrj bfd_boolean
elf_vxworks_finish_dynamic_entry(bfd * output_bfd,Elf_Internal_Dyn * dyn)261*fae548d3Szrj elf_vxworks_finish_dynamic_entry (bfd *output_bfd, Elf_Internal_Dyn *dyn)
262*fae548d3Szrj {
263*fae548d3Szrj asection *sec;
264*fae548d3Szrj
265*fae548d3Szrj switch (dyn->d_tag)
266*fae548d3Szrj {
267*fae548d3Szrj default:
268*fae548d3Szrj return FALSE;
269*fae548d3Szrj
270*fae548d3Szrj case DT_VX_WRS_TLS_DATA_START:
271*fae548d3Szrj sec = bfd_get_section_by_name (output_bfd, ".tls_data");
272*fae548d3Szrj dyn->d_un.d_ptr = sec->vma;
273*fae548d3Szrj break;
274*fae548d3Szrj
275*fae548d3Szrj case DT_VX_WRS_TLS_DATA_SIZE:
276*fae548d3Szrj sec = bfd_get_section_by_name (output_bfd, ".tls_data");
277*fae548d3Szrj dyn->d_un.d_val = sec->size;
278*fae548d3Szrj break;
279*fae548d3Szrj
280*fae548d3Szrj case DT_VX_WRS_TLS_DATA_ALIGN:
281*fae548d3Szrj sec = bfd_get_section_by_name (output_bfd, ".tls_data");
282*fae548d3Szrj dyn->d_un.d_val = (bfd_size_type) 1 << bfd_section_alignment (sec);
283*fae548d3Szrj break;
284*fae548d3Szrj
285*fae548d3Szrj case DT_VX_WRS_TLS_VARS_START:
286*fae548d3Szrj sec = bfd_get_section_by_name (output_bfd, ".tls_vars");
287*fae548d3Szrj dyn->d_un.d_ptr = sec->vma;
288*fae548d3Szrj break;
289*fae548d3Szrj
290*fae548d3Szrj case DT_VX_WRS_TLS_VARS_SIZE:
291*fae548d3Szrj sec = bfd_get_section_by_name (output_bfd, ".tls_vars");
292*fae548d3Szrj dyn->d_un.d_val = sec->size;
293*fae548d3Szrj break;
294*fae548d3Szrj }
295*fae548d3Szrj return TRUE;
296*fae548d3Szrj }
297*fae548d3Szrj
298*fae548d3Szrj
299