VLA code: minor fix
[tinycc.git] / tccelf.c
Commit [+]AuthorDateLineData
3a58c53e bellard2002-08-18 13:17:59 +00001/*
2 * ELF file handling for TCC
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08003 *
c9c05ca5 bellard2004-10-27 21:38:03 +00004 * Copyright (c) 2001-2004 Fabrice Bellard
3a58c53e bellard2002-08-18 13:17:59 +00005 *
8f5e44a4 bellard2003-05-24 14:11:17 +00006 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2 of the License, or (at your option) any later version.
3a58c53e bellard2002-08-18 13:17:59 +000010 *
8f5e44a4 bellard2003-05-24 14:11:17 +000011 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
3a58c53e bellard2002-08-18 13:17:59 +000015 *
8f5e44a4 bellard2003-05-24 14:11:17 +000016 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, write to the Free Software
18 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
3a58c53e bellard2002-08-18 13:17:59 +000019 */
20
88a3ccab grischka2009-12-20 01:53:49 +010021#include "tcc.h"
22
01c04192
MM
Michael Matz2014-04-06 01:02:42 +020023/* Define this to get some debug output during relocation processing. */
24#undef DEBUG_RELOC
25
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +080026/* XXX: avoid static variable */
3ad31681
TP
Thomas Preud'homme2010-04-20 15:49:34 +020027static int new_undef_sym = 0; /* Is there a new undefined sym since last new_undef_sym() */
28
88a3ccab grischka2009-12-20 01:53:49 +010029ST_FUNC int put_elf_str(Section *s, const char *sym)
3a58c53e bellard2002-08-18 13:17:59 +000030{
31 int offset, len;
32 char *ptr;
33
34 len = strlen(sym) + 1;
35 offset = s->data_offset;
36 ptr = section_ptr_add(s, len);
37 memcpy(ptr, sym, len);
38 return offset;
39}
40
41/* elf symbol hashing function */
42static unsigned long elf_hash(const unsigned char *name)
43{
44 unsigned long h = 0, g;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +080045
3a58c53e bellard2002-08-18 13:17:59 +000046 while (*name) {
47 h = (h << 4) + *name++;
48 g = h & 0xf0000000;
49 if (g)
50 h ^= g >> 24;
51 h &= ~g;
52 }
53 return h;
54}
55
56/* rebuild hash table of section s */
57/* NOTE: we do factorize the hash table code to go faster */
58static void rebuild_hash(Section *s, unsigned int nb_buckets)
59{
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +090060 ElfW(Sym) *sym;
3a58c53e bellard2002-08-18 13:17:59 +000061 int *ptr, *hash, nb_syms, sym_index, h;
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +080062 unsigned char *strtab;
3a58c53e bellard2002-08-18 13:17:59 +000063
64 strtab = s->link->data;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +090065 nb_syms = s->data_offset / sizeof(ElfW(Sym));
3a58c53e bellard2002-08-18 13:17:59 +000066
67 s->hash->data_offset = 0;
68 ptr = section_ptr_add(s->hash, (2 + nb_buckets + nb_syms) * sizeof(int));
69 ptr[0] = nb_buckets;
70 ptr[1] = nb_syms;
71 ptr += 2;
72 hash = ptr;
73 memset(hash, 0, (nb_buckets + 1) * sizeof(int));
74 ptr += nb_buckets + 1;
75
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +090076 sym = (ElfW(Sym) *)s->data + 1;
3a58c53e bellard2002-08-18 13:17:59 +000077 for(sym_index = 1; sym_index < nb_syms; sym_index++) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +090078 if (ELFW(ST_BIND)(sym->st_info) != STB_LOCAL) {
3a58c53e bellard2002-08-18 13:17:59 +000079 h = elf_hash(strtab + sym->st_name) % nb_buckets;
80 *ptr = hash[h];
81 hash[h] = sym_index;
82 } else {
83 *ptr = 0;
84 }
85 ptr++;
86 sym++;
87 }
88}
89
90/* return the symbol number */
82bcbd02 grischka2013-02-04 16:08:06 +010091ST_FUNC int put_elf_sym(Section *s, addr_t value, unsigned long size,
52991422 grischka2010-01-14 20:56:04 +010092 int info, int other, int shndx, const char *name)
3a58c53e bellard2002-08-18 13:17:59 +000093{
94 int name_offset, sym_index;
95 int nbuckets, h;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +090096 ElfW(Sym) *sym;
3a58c53e bellard2002-08-18 13:17:59 +000097 Section *hs;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +080098
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +090099 sym = section_ptr_add(s, sizeof(ElfW(Sym)));
3a58c53e bellard2002-08-18 13:17:59 +0000100 if (name)
101 name_offset = put_elf_str(s->link, name);
102 else
103 name_offset = 0;
104 /* XXX: endianness */
105 sym->st_name = name_offset;
106 sym->st_value = value;
107 sym->st_size = size;
108 sym->st_info = info;
109 sym->st_other = other;
110 sym->st_shndx = shndx;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900111 sym_index = sym - (ElfW(Sym) *)s->data;
3a58c53e bellard2002-08-18 13:17:59 +0000112 hs = s->hash;
113 if (hs) {
114 int *ptr, *base;
115 ptr = section_ptr_add(hs, sizeof(int));
116 base = (int *)hs->data;
117 /* only add global or weak symbols */
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900118 if (ELFW(ST_BIND)(info) != STB_LOCAL) {
3a58c53e bellard2002-08-18 13:17:59 +0000119 /* add another hashing entry */
120 nbuckets = base[0];
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +0800121 h = elf_hash((unsigned char *) name) % nbuckets;
3a58c53e bellard2002-08-18 13:17:59 +0000122 *ptr = base[2 + h];
123 base[2 + h] = sym_index;
124 base[1]++;
125 /* we resize the hash table */
126 hs->nb_hashed_syms++;
127 if (hs->nb_hashed_syms > 2 * nbuckets) {
128 rebuild_hash(s, 2 * nbuckets);
129 }
130 } else {
131 *ptr = 0;
132 base[1]++;
133 }
134 }
135 return sym_index;
136}
137
138/* find global ELF symbol 'name' and return its index. Return 0 if not
139 found. */
88a3ccab grischka2009-12-20 01:53:49 +0100140ST_FUNC int find_elf_sym(Section *s, const char *name)
3a58c53e bellard2002-08-18 13:17:59 +0000141{
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900142 ElfW(Sym) *sym;
3a58c53e bellard2002-08-18 13:17:59 +0000143 Section *hs;
144 int nbuckets, sym_index, h;
145 const char *name1;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800146
3a58c53e bellard2002-08-18 13:17:59 +0000147 hs = s->hash;
148 if (!hs)
149 return 0;
150 nbuckets = ((int *)hs->data)[0];
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +0800151 h = elf_hash((unsigned char *) name) % nbuckets;
3a58c53e bellard2002-08-18 13:17:59 +0000152 sym_index = ((int *)hs->data)[2 + h];
153 while (sym_index != 0) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900154 sym = &((ElfW(Sym) *)s->data)[sym_index];
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +0800155 name1 = (char *) s->link->data + sym->st_name;
3a58c53e bellard2002-08-18 13:17:59 +0000156 if (!strcmp(name, name1))
157 return sym_index;
158 sym_index = ((int *)hs->data)[2 + nbuckets + sym_index];
159 }
160 return 0;
161}
162
1026ca58 grischka2009-07-10 16:29:10 +0100163/* return elf symbol value, signal error if 'err' is nonzero */
82bcbd02 grischka2013-02-04 16:08:06 +0100164ST_FUNC addr_t get_elf_sym_addr(TCCState *s, const char *name, int err)
3a58c53e bellard2002-08-18 13:17:59 +0000165{
166 int sym_index;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900167 ElfW(Sym) *sym;
1026ca58 grischka2009-07-10 16:29:10 +0100168
f98c2306 grischka2012-04-18 18:48:26 +0200169 sym_index = find_elf_sym(s->symtab, name);
170 sym = &((ElfW(Sym) *)s->symtab->data)[sym_index];
1026ca58 grischka2009-07-10 16:29:10 +0100171 if (!sym_index || sym->st_shndx == SHN_UNDEF) {
172 if (err)
bf374a5f grischka2011-08-11 17:07:56 +0200173 tcc_error("%s not defined", name);
82bcbd02 grischka2013-02-04 16:08:06 +0100174 return 0;
1026ca58 grischka2009-07-10 16:29:10 +0100175 }
82bcbd02 grischka2013-02-04 16:08:06 +0100176 return sym->st_value;
f8d02417 bellard2003-07-20 19:19:58 +0000177}
178
1026ca58 grischka2009-07-10 16:29:10 +0100179/* return elf symbol value */
88a3ccab grischka2009-12-20 01:53:49 +0100180LIBTCCAPI void *tcc_get_symbol(TCCState *s, const char *name)
1026ca58 grischka2009-07-10 16:29:10 +0100181{
e0aee4f4 grischka2013-02-04 20:57:57 +0100182 return (void*)(uintptr_t)get_elf_sym_addr(s, name, 0);
1026ca58 grischka2009-07-10 16:29:10 +0100183}
184
4ad186c5 grischka2014-01-06 19:07:08 +0100185#if defined TCC_IS_NATIVE || defined TCC_TARGET_PE
1026ca58 grischka2009-07-10 16:29:10 +0100186/* return elf symbol value or error */
82bcbd02 grischka2013-02-04 16:08:06 +0100187ST_FUNC void* tcc_get_symbol_err(TCCState *s, const char *name)
f8d02417 bellard2003-07-20 19:19:58 +0000188{
4ad186c5 grischka2014-01-06 19:07:08 +0100189 return (void*)(uintptr_t)get_elf_sym_addr(s, name, 1);
3a58c53e bellard2002-08-18 13:17:59 +0000190}
82bcbd02 grischka2013-02-04 16:08:06 +0100191#endif
3a58c53e bellard2002-08-18 13:17:59 +0000192
193/* add an elf symbol : check if it is already defined and patch
194 it. Return symbol index. NOTE that sh_num can be SHN_UNDEF. */
82bcbd02 grischka2013-02-04 16:08:06 +0100195ST_FUNC int add_elf_sym(Section *s, addr_t value, unsigned long size,
d733dc75 bellard2005-04-13 21:37:06 +0000196 int info, int other, int sh_num, const char *name)
3a58c53e bellard2002-08-18 13:17:59 +0000197{
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900198 ElfW(Sym) *esym;
3a58c53e bellard2002-08-18 13:17:59 +0000199 int sym_bind, sym_index, sym_type, esym_bind;
d778bde7 grischka2007-11-21 17:16:31 +0000200 unsigned char sym_vis, esym_vis, new_vis;
3a58c53e bellard2002-08-18 13:17:59 +0000201
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +0900202 sym_bind = ELFW(ST_BIND)(info);
203 sym_type = ELFW(ST_TYPE)(info);
204 sym_vis = ELFW(ST_VISIBILITY)(other);
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800205
3a58c53e bellard2002-08-18 13:17:59 +0000206 if (sym_bind != STB_LOCAL) {
207 /* we search global or weak symbols */
208 sym_index = find_elf_sym(s, name);
209 if (!sym_index)
210 goto do_def;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900211 esym = &((ElfW(Sym) *)s->data)[sym_index];
3a58c53e bellard2002-08-18 13:17:59 +0000212 if (esym->st_shndx != SHN_UNDEF) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900213 esym_bind = ELFW(ST_BIND)(esym->st_info);
d778bde7 grischka2007-11-21 17:16:31 +0000214 /* propagate the most constraining visibility */
215 /* STV_DEFAULT(0)<STV_PROTECTED(3)<STV_HIDDEN(2)<STV_INTERNAL(1) */
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900216 esym_vis = ELFW(ST_VISIBILITY)(esym->st_other);
d778bde7 grischka2007-11-21 17:16:31 +0000217 if (esym_vis == STV_DEFAULT) {
218 new_vis = sym_vis;
219 } else if (sym_vis == STV_DEFAULT) {
220 new_vis = esym_vis;
221 } else {
222 new_vis = (esym_vis < sym_vis) ? esym_vis : sym_vis;
223 }
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900224 esym->st_other = (esym->st_other & ~ELFW(ST_VISIBILITY)(-1))
d778bde7 grischka2007-11-21 17:16:31 +0000225 | new_vis;
226 other = esym->st_other; /* in case we have to patch esym */
3a58c53e bellard2002-08-18 13:17:59 +0000227 if (sh_num == SHN_UNDEF) {
228 /* ignore adding of undefined symbol if the
229 corresponding symbol is already defined */
230 } else if (sym_bind == STB_GLOBAL && esym_bind == STB_WEAK) {
231 /* global overrides weak, so patch */
232 goto do_patch;
233 } else if (sym_bind == STB_WEAK && esym_bind == STB_GLOBAL) {
234 /* weak is ignored if already global */
585027aa
JS
Joe Soroka2011-03-07 12:18:54 -0800235 } else if (sym_bind == STB_WEAK && esym_bind == STB_WEAK) {
236 /* keep first-found weak definition, ignore subsequents */
d778bde7 grischka2007-11-21 17:16:31 +0000237 } else if (sym_vis == STV_HIDDEN || sym_vis == STV_INTERNAL) {
238 /* ignore hidden symbols after */
bba515af grischka2009-06-17 02:08:54 +0200239 } else if (esym->st_shndx == SHN_COMMON
240 && (sh_num < SHN_LORESERVE || sh_num == SHN_COMMON)) {
e2c89576 grischka2008-03-08 19:58:57 +0000241 /* gr: Happens with 'tcc ... -static tcctest.c' on e.g. Ubuntu 6.01
242 No idea if this is the correct solution ... */
243 goto do_patch;
244 } else if (s == tcc_state->dynsymtab_section) {
245 /* we accept that two DLL define the same symbol */
3a58c53e bellard2002-08-18 13:17:59 +0000246 } else {
05108a3b grischka2013-02-12 19:13:28 +0100247#if 0
e2c89576 grischka2008-03-08 19:58:57 +0000248 printf("new_bind=%x new_shndx=%x new_vis=%x old_bind=%x old_shndx=%x old_vis=%x\n",
249 sym_bind, sh_num, new_vis, esym_bind, esym->st_shndx, esym_vis);
3a58c53e bellard2002-08-18 13:17:59 +0000250#endif
bf374a5f grischka2011-08-11 17:07:56 +0200251 tcc_error_noabort("'%s' defined twice", name);
3a58c53e bellard2002-08-18 13:17:59 +0000252 }
253 } else {
254 do_patch:
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900255 esym->st_info = ELFW(ST_INFO)(sym_bind, sym_type);
3a58c53e bellard2002-08-18 13:17:59 +0000256 esym->st_shndx = sh_num;
47abdbd3 Thomas Preud'homme2010-03-30 09:45:31 +0200257 new_undef_sym = 1;
3a58c53e bellard2002-08-18 13:17:59 +0000258 esym->st_value = value;
259 esym->st_size = size;
d733dc75 bellard2005-04-13 21:37:06 +0000260 esym->st_other = other;
3a58c53e bellard2002-08-18 13:17:59 +0000261 }
262 } else {
263 do_def:
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +0800264 sym_index = put_elf_sym(s, value, size,
265 ELFW(ST_INFO)(sym_bind, sym_type), other,
3a58c53e bellard2002-08-18 13:17:59 +0000266 sh_num, name);
267 }
268 return sym_index;
269}
270
271/* put relocation */
738606db Edmund Grimley Evans2015-02-21 21:29:03 +0000272ST_FUNC void put_elf_reloca(Section *symtab, Section *s, unsigned long offset,
8f639006 seyko2015-03-23 19:24:55 +0300273 int type, int symbol, addr_t addend)
3a58c53e bellard2002-08-18 13:17:59 +0000274{
275 char buf[256];
276 Section *sr;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900277 ElfW_Rel *rel;
3a58c53e bellard2002-08-18 13:17:59 +0000278
279 sr = s->reloc;
280 if (!sr) {
281 /* if no relocation section, create it */
27d23342 Shinichiro Hamaji2008-12-01 02:52:08 +0900282 snprintf(buf, sizeof(buf), REL_SECTION_FMT, s->name);
3a58c53e bellard2002-08-18 13:17:59 +0000283 /* if the symtab is allocated, then we consider the relocation
284 are also */
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +0900285 sr = new_section(tcc_state, buf, SHT_RELX, symtab->sh_flags);
286 sr->sh_entsize = sizeof(ElfW_Rel);
3a58c53e bellard2002-08-18 13:17:59 +0000287 sr->link = symtab;
288 sr->sh_info = s->sh_num;
289 s->reloc = sr;
290 }
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900291 rel = section_ptr_add(sr, sizeof(ElfW_Rel));
3a58c53e bellard2002-08-18 13:17:59 +0000292 rel->r_offset = offset;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900293 rel->r_info = ELFW(R_INFO)(symbol, type);
b14ef0e2 Edmund Grimley Evans2015-02-13 18:58:31 +0000294#if defined(TCC_TARGET_ARM64) || defined(TCC_TARGET_X86_64)
738606db
EGE
Edmund Grimley Evans2015-02-21 21:29:03 +0000295 rel->r_addend = addend;
296#else
297 if (addend)
298 tcc_error("non-zero addend on REL architecture");
0a9873aa Shinichiro Hamaji2008-12-02 03:19:25 +0900299#endif
3a58c53e bellard2002-08-18 13:17:59 +0000300}
301
738606db
EGE
Edmund Grimley Evans2015-02-21 21:29:03 +0000302ST_FUNC void put_elf_reloc(Section *symtab, Section *s, unsigned long offset,
303 int type, int symbol)
304{
305 put_elf_reloca(symtab, s, offset, type, symbol, 0);
306}
307
3a58c53e bellard2002-08-18 13:17:59 +0000308/* put stab debug information */
309
88a3ccab grischka2009-12-20 01:53:49 +0100310ST_FUNC void put_stabs(const char *str, int type, int other, int desc,
3a58c53e bellard2002-08-18 13:17:59 +0000311 unsigned long value)
312{
313 Stab_Sym *sym;
314
315 sym = section_ptr_add(stab_section, sizeof(Stab_Sym));
316 if (str) {
317 sym->n_strx = put_elf_str(stabstr_section, str);
318 } else {
319 sym->n_strx = 0;
320 }
321 sym->n_type = type;
322 sym->n_other = other;
323 sym->n_desc = desc;
324 sym->n_value = value;
325}
326
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800327ST_FUNC void put_stabs_r(const char *str, int type, int other, int desc,
3a58c53e bellard2002-08-18 13:17:59 +0000328 unsigned long value, Section *sec, int sym_index)
329{
330 put_stabs(str, type, other, desc, value);
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800331 put_elf_reloc(symtab_section, stab_section,
754b0beb Shinichiro Hamaji2009-04-04 03:09:35 +0900332 stab_section->data_offset - sizeof(unsigned int),
3a58c53e bellard2002-08-18 13:17:59 +0000333 R_DATA_32, sym_index);
334}
335
88a3ccab grischka2009-12-20 01:53:49 +0100336ST_FUNC void put_stabn(int type, int other, int desc, int value)
3a58c53e bellard2002-08-18 13:17:59 +0000337{
338 put_stabs(NULL, type, other, desc, value);
339}
340
88a3ccab grischka2009-12-20 01:53:49 +0100341ST_FUNC void put_stabd(int type, int other, int desc)
3a58c53e bellard2002-08-18 13:17:59 +0000342{
343 put_stabs(NULL, type, other, desc, 0);
344}
345
55f751ac
TP
Thomas Preud'homme2013-12-17 21:02:51 +0800346/* Browse each elem of type <type> in section <sec> starting at elem <startoff>
347 using variable <elem> */
348#define for_each_elem(sec, startoff, elem, type) \
349 for (elem = (type *) sec->data + startoff; \
350 elem < (type *) (sec->data + sec->data_offset); elem++)
351
3a58c53e bellard2002-08-18 13:17:59 +0000352/* In an ELF file symbol table, the local symbols must appear below
353 the global and weak ones. Since TCC cannot sort it while generating
354 the code, we must do it after. All the relocation tables are also
355 modified to take into account the symbol table sorting */
e4c7dd5e bellard2002-11-02 14:13:21 +0000356static void sort_syms(TCCState *s1, Section *s)
3a58c53e bellard2002-08-18 13:17:59 +0000357{
358 int *old_to_new_syms;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900359 ElfW(Sym) *new_syms;
3a58c53e bellard2002-08-18 13:17:59 +0000360 int nb_syms, i;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900361 ElfW(Sym) *p, *q;
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800362 ElfW_Rel *rel;
3a58c53e bellard2002-08-18 13:17:59 +0000363 Section *sr;
364 int type, sym_index;
365
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +0900366 nb_syms = s->data_offset / sizeof(ElfW(Sym));
367 new_syms = tcc_malloc(nb_syms * sizeof(ElfW(Sym)));
3a58c53e bellard2002-08-18 13:17:59 +0000368 old_to_new_syms = tcc_malloc(nb_syms * sizeof(int));
369
370 /* first pass for local symbols */
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900371 p = (ElfW(Sym) *)s->data;
3a58c53e bellard2002-08-18 13:17:59 +0000372 q = new_syms;
373 for(i = 0; i < nb_syms; i++) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900374 if (ELFW(ST_BIND)(p->st_info) == STB_LOCAL) {
3a58c53e bellard2002-08-18 13:17:59 +0000375 old_to_new_syms[i] = q - new_syms;
376 *q++ = *p;
377 }
378 p++;
379 }
380 /* save the number of local symbols in section header */
381 s->sh_info = q - new_syms;
382
383 /* then second pass for non local symbols */
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900384 p = (ElfW(Sym) *)s->data;
3a58c53e bellard2002-08-18 13:17:59 +0000385 for(i = 0; i < nb_syms; i++) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900386 if (ELFW(ST_BIND)(p->st_info) != STB_LOCAL) {
3a58c53e bellard2002-08-18 13:17:59 +0000387 old_to_new_syms[i] = q - new_syms;
388 *q++ = *p;
389 }
390 p++;
391 }
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800392
3a58c53e bellard2002-08-18 13:17:59 +0000393 /* we copy the new symbols to the old */
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900394 memcpy(s->data, new_syms, nb_syms * sizeof(ElfW(Sym)));
3a58c53e bellard2002-08-18 13:17:59 +0000395 tcc_free(new_syms);
396
397 /* now we modify all the relocations */
e4c7dd5e bellard2002-11-02 14:13:21 +0000398 for(i = 1; i < s1->nb_sections; i++) {
399 sr = s1->sections[i];
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900400 if (sr->sh_type == SHT_RELX && sr->link == s) {
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800401 for_each_elem(sr, 0, rel, ElfW_Rel) {
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +0900402 sym_index = ELFW(R_SYM)(rel->r_info);
403 type = ELFW(R_TYPE)(rel->r_info);
3a58c53e bellard2002-08-18 13:17:59 +0000404 sym_index = old_to_new_syms[sym_index];
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900405 rel->r_info = ELFW(R_INFO)(sym_index, type);
3a58c53e bellard2002-08-18 13:17:59 +0000406 }
407 }
408 }
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800409
3a58c53e bellard2002-08-18 13:17:59 +0000410 tcc_free(old_to_new_syms);
411}
412
413/* relocate common symbols in the .bss section */
88a3ccab grischka2009-12-20 01:53:49 +0100414ST_FUNC void relocate_common_syms(void)
3a58c53e bellard2002-08-18 13:17:59 +0000415{
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800416 ElfW(Sym) *sym;
3a58c53e bellard2002-08-18 13:17:59 +0000417 unsigned long offset, align;
55f751ac
TP
Thomas Preud'homme2013-12-17 21:02:51 +0800418
419 for_each_elem(symtab_section, 1, sym, ElfW(Sym)) {
3a58c53e bellard2002-08-18 13:17:59 +0000420 if (sym->st_shndx == SHN_COMMON) {
421 /* align symbol */
422 align = sym->st_value;
423 offset = bss_section->data_offset;
424 offset = (offset + align - 1) & -align;
425 sym->st_value = offset;
426 sym->st_shndx = bss_section->sh_num;
427 offset += sym->st_size;
428 bss_section->data_offset = offset;
429 }
430 }
431}
432
3a58c53e bellard2002-08-18 13:17:59 +0000433/* relocate symbol table, resolve undefined symbols if do_resolve is
434 true and output error if undefined symbol. */
88a3ccab grischka2009-12-20 01:53:49 +0100435ST_FUNC void relocate_syms(TCCState *s1, int do_resolve)
3a58c53e bellard2002-08-18 13:17:59 +0000436{
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800437 ElfW(Sym) *sym, *esym;
3a58c53e bellard2002-08-18 13:17:59 +0000438 int sym_bind, sh_num, sym_index;
439 const char *name;
3a58c53e bellard2002-08-18 13:17:59 +0000440
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800441 for_each_elem(symtab_section, 1, sym, ElfW(Sym)) {
3a58c53e bellard2002-08-18 13:17:59 +0000442 sh_num = sym->st_shndx;
443 if (sh_num == SHN_UNDEF) {
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +0800444 name = (char *) strtab_section->data + sym->st_name;
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +0800445 /* Use ld.so to resolve symbol for us (for tcc -run) */
3a58c53e bellard2002-08-18 13:17:59 +0000446 if (do_resolve) {
82bcbd02 grischka2013-02-04 16:08:06 +0100447#if defined TCC_IS_NATIVE && !defined _WIN32
035918ef grischka2009-07-18 22:05:58 +0200448 void *addr;
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +0800449 name = (char *) symtab_section->link->data + sym->st_name;
035918ef grischka2009-07-18 22:05:58 +0200450 addr = resolve_sym(s1, name);
3a58c53e bellard2002-08-18 13:17:59 +0000451 if (addr) {
82bcbd02 grischka2013-02-04 16:08:06 +0100452 sym->st_value = (addr_t)addr;
01c04192 Michael Matz2014-04-06 01:02:42 +0200453#ifdef DEBUG_RELOC
6d055312 Michael Matz2015-02-22 05:59:06 +0100454 printf ("relocate_sym: %s -> 0x%lx\n", name, sym->st_value);
01c04192 Michael Matz2014-04-06 01:02:42 +0200455#endif
3a58c53e bellard2002-08-18 13:17:59 +0000456 goto found;
457 }
370cdeb6 grischka2009-07-06 21:34:22 +0200458#endif
e4c7dd5e bellard2002-11-02 14:13:21 +0000459 } else if (s1->dynsym) {
3a58c53e bellard2002-08-18 13:17:59 +0000460 /* if dynamic symbol exist, then use it */
e4c7dd5e bellard2002-11-02 14:13:21 +0000461 sym_index = find_elf_sym(s1->dynsym, name);
3a58c53e bellard2002-08-18 13:17:59 +0000462 if (sym_index) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900463 esym = &((ElfW(Sym) *)s1->dynsym->data)[sym_index];
3a58c53e bellard2002-08-18 13:17:59 +0000464 sym->st_value = esym->st_value;
465 goto found;
466 }
467 }
468 /* XXX: _fp_hw seems to be part of the ABI, so we ignore
469 it */
470 if (!strcmp(name, "_fp_hw"))
471 goto found;
472 /* only weak symbols are accepted to be undefined. Their
473 value is zero */
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900474 sym_bind = ELFW(ST_BIND)(sym->st_info);
3a58c53e bellard2002-08-18 13:17:59 +0000475 if (sym_bind == STB_WEAK) {
476 sym->st_value = 0;
477 } else {
bf374a5f grischka2011-08-11 17:07:56 +0200478 tcc_error_noabort("undefined symbol '%s'", name);
3a58c53e bellard2002-08-18 13:17:59 +0000479 }
480 } else if (sh_num < SHN_LORESERVE) {
481 /* add section base */
e4c7dd5e bellard2002-11-02 14:13:21 +0000482 sym->st_value += s1->sections[sym->st_shndx]->sh_addr;
3a58c53e bellard2002-08-18 13:17:59 +0000483 }
484 found: ;
485 }
486}
487
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +0800488/* relocate a given section (CPU dependent) by applying the relocations
489 in the associated relocation section */
88a3ccab grischka2009-12-20 01:53:49 +0100490ST_FUNC void relocate_section(TCCState *s1, Section *s)
3a58c53e bellard2002-08-18 13:17:59 +0000491{
55f751ac
TP
Thomas Preud'homme2013-12-17 21:02:51 +0800492 Section *sr = s->reloc;
493 ElfW_Rel *rel;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900494 ElfW(Sym) *sym;
6bbfb8f6 bellard2004-11-07 15:43:15 +0000495 int type, sym_index;
3a58c53e bellard2002-08-18 13:17:59 +0000496 unsigned char *ptr;
82bcbd02 grischka2013-02-04 16:08:06 +0100497 addr_t val, addr;
03c787d6 grischka2009-05-11 18:46:39 +0200498#if defined TCC_TARGET_I386 || defined TCC_TARGET_X86_64
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800499 ElfW_Rel *qrel = (ElfW_Rel *) sr->data; /* ptr to next reloc entry reused */
6bbfb8f6 bellard2004-11-07 15:43:15 +0000500 int esym_index;
03c787d6 grischka2009-05-11 18:46:39 +0200501#endif
3a58c53e bellard2002-08-18 13:17:59 +0000502
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800503 for_each_elem(sr, 0, rel, ElfW_Rel) {
3a58c53e bellard2002-08-18 13:17:59 +0000504 ptr = s->data + rel->r_offset;
505
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +0900506 sym_index = ELFW(R_SYM)(rel->r_info);
507 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
3a58c53e bellard2002-08-18 13:17:59 +0000508 val = sym->st_value;
b14ef0e2 Edmund Grimley Evans2015-02-13 18:58:31 +0000509#if defined(TCC_TARGET_ARM64) || defined(TCC_TARGET_X86_64)
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +0900510 val += rel->r_addend;
511#endif
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900512 type = ELFW(R_TYPE)(rel->r_info);
3a58c53e bellard2002-08-18 13:17:59 +0000513 addr = s->sh_addr + rel->r_offset;
514
515 /* CPU specific */
516 switch(type) {
4df5bd2e bellard2003-10-14 22:15:56 +0000517#if defined(TCC_TARGET_I386)
3a58c53e bellard2002-08-18 13:17:59 +0000518 case R_386_32:
519 if (s1->output_type == TCC_OUTPUT_DLL) {
e4c7dd5e bellard2002-11-02 14:13:21 +0000520 esym_index = s1->symtab_to_dynsym[sym_index];
3a58c53e bellard2002-08-18 13:17:59 +0000521 qrel->r_offset = rel->r_offset;
522 if (esym_index) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900523 qrel->r_info = ELFW(R_INFO)(esym_index, R_386_32);
3a58c53e bellard2002-08-18 13:17:59 +0000524 qrel++;
525 break;
526 } else {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900527 qrel->r_info = ELFW(R_INFO)(0, R_386_RELATIVE);
3a58c53e bellard2002-08-18 13:17:59 +0000528 qrel++;
529 }
530 }
531 *(int *)ptr += val;
532 break;
533 case R_386_PC32:
534 if (s1->output_type == TCC_OUTPUT_DLL) {
535 /* DLL relocation */
e4c7dd5e bellard2002-11-02 14:13:21 +0000536 esym_index = s1->symtab_to_dynsym[sym_index];
3a58c53e bellard2002-08-18 13:17:59 +0000537 if (esym_index) {
538 qrel->r_offset = rel->r_offset;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +0900539 qrel->r_info = ELFW(R_INFO)(esym_index, R_386_PC32);
3a58c53e bellard2002-08-18 13:17:59 +0000540 qrel++;
541 break;
542 }
543 }
544 *(int *)ptr += val - addr;
545 break;
546 case R_386_PLT32:
547 *(int *)ptr += val - addr;
548 break;
549 case R_386_GLOB_DAT:
550 case R_386_JMP_SLOT:
551 *(int *)ptr = val;
552 break;
553 case R_386_GOTPC:
e4c7dd5e bellard2002-11-02 14:13:21 +0000554 *(int *)ptr += s1->got->sh_addr - addr;
3a58c53e bellard2002-08-18 13:17:59 +0000555 break;
556 case R_386_GOTOFF:
e4c7dd5e bellard2002-11-02 14:13:21 +0000557 *(int *)ptr += val - s1->got->sh_addr;
3a58c53e bellard2002-08-18 13:17:59 +0000558 break;
559 case R_386_GOT32:
560 /* we load the got offset */
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +0100561 *(int *)ptr += s1->sym_attrs[sym_index].got_offset;
3a58c53e bellard2002-08-18 13:17:59 +0000562 break;
0d768b97
FF
Frederic Feret2009-08-27 09:34:35 +0200563 case R_386_16:
564 if (s1->output_format != TCC_OUTPUT_FORMAT_BINARY) {
565 output_file:
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800566 tcc_error("can only produce 16-bit binary files");
0d768b97
FF
Frederic Feret2009-08-27 09:34:35 +0200567 }
568 *(short *)ptr += val;
569 break;
570 case R_386_PC16:
571 if (s1->output_format != TCC_OUTPUT_FORMAT_BINARY)
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800572 goto output_file;
0d768b97
FF
Frederic Feret2009-08-27 09:34:35 +0200573 *(short *)ptr += val - addr;
574 break;
4df5bd2e bellard2003-10-14 22:15:56 +0000575#elif defined(TCC_TARGET_ARM)
5342b32e grischka2007-12-19 17:36:42 +0000576 case R_ARM_PC24:
577 case R_ARM_CALL:
578 case R_ARM_JUMP24:
579 case R_ARM_PLT32:
580 {
1b606d18
TP
Thomas Preud'homme2013-11-18 00:03:38 +0800581 int x, is_thumb, is_call, h, blx_avail, is_bl, th_ko;
582 x = (*(int *) ptr) & 0xffffff;
01c04192
MM
Michael Matz2014-04-06 01:02:42 +0200583 if (sym->st_shndx == SHN_UNDEF)
584 val = s1->plt->sh_addr;
585#ifdef DEBUG_RELOC
586 printf ("reloc %d: x=0x%x val=0x%x ", type, x, val);
587#endif
4df5bd2e bellard2003-10-14 22:15:56 +0000588 (*(int *)ptr) &= 0xff000000;
589 if (x & 0x800000)
590 x -= 0x1000000;
c6630ef9 Thomas Preud'homme2012-10-10 00:09:42 +0200591 x <<= 2;
9966fd4e Thomas Preud'homme2012-10-16 00:31:56 +0200592 blx_avail = (TCC_ARM_VERSION >= 5);
c6630ef9 Thomas Preud'homme2012-10-10 00:09:42 +0200593 is_thumb = val & 1;
1b606d18
TP
Thomas Preud'homme2013-11-18 00:03:38 +0800594 is_bl = (*(unsigned *) ptr) >> 24 == 0xeb;
595 is_call = (type == R_ARM_CALL || (type == R_ARM_PC24 && is_bl));
9966fd4e Thomas Preud'homme2012-10-16 00:31:56 +0200596 x += val - addr;
01c04192
MM
Michael Matz2014-04-06 01:02:42 +0200597#ifdef DEBUG_RELOC
598 printf (" newx=0x%x name=%s\n", x,
599 (char *) symtab_section->link->data + sym->st_name);
600#endif
c6630ef9 Thomas Preud'homme2012-10-10 00:09:42 +0200601 h = x & 2;
1b606d18 Thomas Preud'homme2013-11-18 00:03:38 +0800602 th_ko = (x & 3) && (!blx_avail || !is_call);
1b606d18 Thomas Preud'homme2013-11-18 00:03:38 +0800603 if (th_ko || x >= 0x2000000 || x < -0x2000000)
01c04192 Michael Matz2014-04-06 01:02:42 +0200604 tcc_error("can't relocate value at %x,%d",addr, type);
4df5bd2e bellard2003-10-14 22:15:56 +0000605 x >>= 2;
606 x &= 0xffffff;
9966fd4e
TP
Thomas Preud'homme2012-10-16 00:31:56 +0200607 /* Only reached if blx is avail and it is a call */
608 if (is_thumb) {
c6630ef9
TP
Thomas Preud'homme2012-10-10 00:09:42 +0200609 x |= h << 24;
610 (*(int *)ptr) = 0xfa << 24; /* bl -> blx */
611 }
1b606d18 Thomas Preud'homme2013-11-18 00:03:38 +0800612 (*(int *) ptr) |= x;
5342b32e grischka2007-12-19 17:36:42 +0000613 }
614 break;
fad68c91
TP
Thomas Preud'homme2012-10-07 17:48:46 +0200615 /* Since these relocations only concern Thumb-2 and blx instruction was
616 introduced before Thumb-2, we can assume blx is available and not
617 guard its use */
28f02864 Thomas Preud'homme2014-01-08 17:35:35 +0800618 case R_ARM_THM_PC22:
fad68c91 Thomas Preud'homme2012-10-07 17:48:46 +0200619 case R_ARM_THM_JUMP24:
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800620 {
fad68c91 Thomas Preud'homme2012-10-07 17:48:46 +0200621 int x, hi, lo, s, j1, j2, i1, i2, imm10, imm11;
e07802e3
TP
Thomas Preud'homme2012-10-28 19:38:38 +0100622 int to_thumb, is_call, to_plt, blx_bit = 1 << 12;
623 Section *plt;
fad68c91
TP
Thomas Preud'homme2012-10-07 17:48:46 +0200624
625 /* weak reference */
626 if (sym->st_shndx == SHN_UNDEF &&
627 ELFW(ST_BIND)(sym->st_info) == STB_WEAK)
628 break;
629
630 /* Get initial offset */
631 hi = (*(uint16_t *)ptr);
632 lo = (*(uint16_t *)(ptr+2));
633 s = (hi >> 10) & 1;
634 j1 = (lo >> 13) & 1;
635 j2 = (lo >> 11) & 1;
636 i1 = (j1 ^ s) ^ 1;
637 i2 = (j2 ^ s) ^ 1;
638 imm10 = hi & 0x3ff;
639 imm11 = lo & 0x7ff;
640 x = (s << 24) | (i1 << 23) | (i2 << 22) |
641 (imm10 << 12) | (imm11 << 1);
642 if (x & 0x01000000)
643 x -= 0x02000000;
644
645 /* Relocation infos */
646 to_thumb = val & 1;
e07802e3
TP
Thomas Preud'homme2012-10-28 19:38:38 +0100647 plt = s1->plt;
648 to_plt = (val >= plt->sh_addr) &&
649 (val < plt->sh_addr + plt->data_offset);
28f02864 Thomas Preud'homme2014-01-08 17:35:35 +0800650 is_call = (type == R_ARM_THM_PC22);
fad68c91
TP
Thomas Preud'homme2012-10-07 17:48:46 +0200651
652 /* Compute final offset */
e07802e3
TP
Thomas Preud'homme2012-10-28 19:38:38 +0100653 if (to_plt && !is_call) /* Point to 1st instr of Thumb stub */
654 x -= 4;
fad68c91
TP
Thomas Preud'homme2012-10-07 17:48:46 +0200655 x += val - addr;
656 if (!to_thumb && is_call) {
657 blx_bit = 0; /* bl -> blx */
658 x = (x + 3) & -4; /* Compute offset from aligned PC */
659 }
660
661 /* Check that relocation is possible
662 * offset must not be out of range
663 * if target is to be entered in arm mode:
664 - bit 1 must not set
e07802e3 Thomas Preud'homme2012-10-28 19:38:38 +0100665 - instruction must be a call (bl) or a jump to PLT */
fad68c91 Thomas Preud'homme2012-10-07 17:48:46 +0200666 if (!to_thumb || x >= 0x1000000 || x < -0x1000000)
e07802e3 Thomas Preud'homme2012-10-28 19:38:38 +0100667 if (to_thumb || (val & 2) || (!is_call && !to_plt))
01c04192 Michael Matz2014-04-06 01:02:42 +0200668 tcc_error("can't relocate value at %x,%d",addr, type);
fad68c91
TP
Thomas Preud'homme2012-10-07 17:48:46 +0200669
670 /* Compute and store final offset */
671 s = (x >> 24) & 1;
672 i1 = (x >> 23) & 1;
673 i2 = (x >> 22) & 1;
674 j1 = s ^ (i1 ^ 1);
675 j2 = s ^ (i2 ^ 1);
676 imm10 = (x >> 12) & 0x3ff;
677 imm11 = (x >> 1) & 0x7ff;
678 (*(uint16_t *)ptr) = (uint16_t) ((hi & 0xf800) |
679 (s << 10) | imm10);
680 (*(uint16_t *)(ptr+2)) = (uint16_t) ((lo & 0xc000) |
681 (j1 << 13) | blx_bit | (j2 << 11) |
682 imm11);
683 }
684 break;
2fe7fd9e
TP
Thomas Preud'homme2012-10-07 17:48:46 +0200685 case R_ARM_MOVT_ABS:
686 case R_ARM_MOVW_ABS_NC:
687 {
688 int x, imm4, imm12;
689 if (type == R_ARM_MOVT_ABS)
690 val >>= 16;
691 imm12 = val & 0xfff;
692 imm4 = (val >> 12) & 0xf;
693 x = (imm4 << 16) | imm12;
694 if (type == R_ARM_THM_MOVT_ABS)
695 *(int *)ptr |= x;
696 else
697 *(int *)ptr += x;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800698 }
2fe7fd9e
TP
Thomas Preud'homme2012-10-07 17:48:46 +0200699 break;
700 case R_ARM_THM_MOVT_ABS:
701 case R_ARM_THM_MOVW_ABS_NC:
702 {
703 int x, i, imm4, imm3, imm8;
704 if (type == R_ARM_THM_MOVT_ABS)
705 val >>= 16;
706 imm8 = val & 0xff;
707 imm3 = (val >> 8) & 0x7;
708 i = (val >> 11) & 1;
709 imm4 = (val >> 12) & 0xf;
710 x = (imm3 << 28) | (imm8 << 16) | (i << 10) | imm4;
711 if (type == R_ARM_THM_MOVT_ABS)
712 *(int *)ptr |= x;
713 else
714 *(int *)ptr += x;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +0800715 }
2fe7fd9e Thomas Preud'homme2012-10-07 17:48:46 +0200716 break;
5342b32e grischka2007-12-19 17:36:42 +0000717 case R_ARM_PREL31:
718 {
719 int x;
720 x = (*(int *)ptr) & 0x7fffffff;
721 (*(int *)ptr) &= 0x80000000;
722 x = (x * 2) / 2;
723 x += val - addr;
724 if((x^(x>>1))&0x40000000)
01c04192 Michael Matz2014-04-06 01:02:42 +0200725 tcc_error("can't relocate value at %x,%d",addr, type);
5342b32e grischka2007-12-19 17:36:42 +0000726 (*(int *)ptr) |= x & 0x7fffffff;
727 }
728 case R_ARM_ABS32:
729 *(int *)ptr += val;
730 break;
9a81dcab
TP
Thomas Preud'homme2012-06-05 17:02:41 +0200731 case R_ARM_REL32:
732 *(int *)ptr += val - addr;
ed9c6b13 Thomas Preud'homme2012-06-12 17:57:31 +0200733 break;
28f02864 Thomas Preud'homme2014-01-08 17:35:35 +0800734 case R_ARM_GOTPC:
5342b32e grischka2007-12-19 17:36:42 +0000735 *(int *)ptr += s1->got->sh_addr - addr;
736 break;
28f02864 Thomas Preud'homme2014-01-08 17:35:35 +0800737 case R_ARM_GOTOFF:
f99d3de2 grischka2007-12-04 20:38:09 +0000738 *(int *)ptr += val - s1->got->sh_addr;
739 break;
28f02864 Thomas Preud'homme2014-01-08 17:35:35 +0800740 case R_ARM_GOT32:
4df5bd2e bellard2003-10-14 22:15:56 +0000741 /* we load the got offset */
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +0100742 *(int *)ptr += s1->sym_attrs[sym_index].got_offset;
4df5bd2e bellard2003-10-14 22:15:56 +0000743 break;
5342b32e grischka2007-12-19 17:36:42 +0000744 case R_ARM_COPY:
4df5bd2e bellard2003-10-14 22:15:56 +0000745 break;
128e46f9
DG
Daniel Glöckner2010-05-15 01:23:34 +0200746 case R_ARM_V4BX:
747 /* trade Thumb support for ARMv4 support */
748 if ((0x0ffffff0 & *(int*)ptr) == 0x012FFF10)
749 *(int*)ptr ^= 0xE12FFF10 ^ 0xE1A0F000; /* BX Rm -> MOV PC, Rm */
750 break;
01c04192
MM
Michael Matz2014-04-06 01:02:42 +0200751 case R_ARM_GLOB_DAT:
752 case R_ARM_JUMP_SLOT:
753 *(addr_t *)ptr = val;
754 break;
0688afdd
MM
Michael Matz2014-04-04 23:33:04 +0200755 case R_ARM_NONE:
756 /* Nothing to do. Normally used to indicate a dependency
757 on a certain symbol (like for exception handling under EABI). */
758 break;
5342b32e grischka2007-12-19 17:36:42 +0000759 default:
82bcbd02 grischka2013-02-04 16:08:06 +0100760 fprintf(stderr,"FIXME: handle reloc type %x at %x [%p] to %x\n",
761 type, (unsigned)addr, ptr, (unsigned)val);
4df5bd2e bellard2003-10-14 22:15:56 +0000762 break;
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +0000763#elif defined(TCC_TARGET_ARM64)
764 case R_AARCH64_ABS64:
765 *(uint64_t *)ptr = val;
766 break;
767 case R_AARCH64_ABS32:
768 *(uint32_t *)ptr = val;
769 break;
770 case R_AARCH64_MOVW_UABS_G0_NC:
771 *(uint32_t *)ptr = (*(uint32_t *)ptr & 0xffe0001f) |
772 (val & 0xffff) << 5;
773 break;
774 case R_AARCH64_MOVW_UABS_G1_NC:
775 *(uint32_t *)ptr = (*(uint32_t *)ptr & 0xffe0001f) |
776 (val >> 16 & 0xffff) << 5;
777 break;
778 case R_AARCH64_MOVW_UABS_G2_NC:
779 *(uint32_t *)ptr = (*(uint32_t *)ptr & 0xffe0001f) |
780 (val >> 32 & 0xffff) << 5;
781 break;
782 case R_AARCH64_MOVW_UABS_G3:
783 *(uint32_t *)ptr = (*(uint32_t *)ptr & 0xffe0001f) |
784 (val >> 48 & 0xffff) << 5;
785 break;
786 case R_AARCH64_ADR_PREL_PG_HI21: {
787 uint64_t off = (val >> 12) - (addr >> 12);
788 if ((off + ((uint64_t)1 << 20)) >> 21)
789 tcc_error("R_AARCH64_ADR_PREL_PG_HI21 relocation failed");
790 *(uint32_t *)ptr = (*(uint32_t *)ptr & 0x9f00001f) |
791 (off & 0x1ffffc) << 3 | (off & 3) << 29;
792 break;
793 }
794 case R_AARCH64_ADD_ABS_LO12_NC:
795 *(uint32_t *)ptr = (*(uint32_t *)ptr & 0xffc003ff) |
796 (val & 0xfff) << 10;
797 break;
798 case R_AARCH64_JUMP26:
799 case R_AARCH64_CALL26:
6d055312
MM
Michael Matz2015-02-22 05:59:06 +0100800 /* This check must match the one in build_got_entries, testing
801 if we really need a PLT slot. */
802 if (sym->st_shndx == SHN_UNDEF)
803 /* We've put the PLT slot offset into r_addend when generating
804 it, and that's what we must use as relocation value (adjusted
805 by section offset of course). */
806 val = s1->plt->sh_addr + rel->r_addend;
807#ifdef DEBUG_RELOC
808 printf ("reloc %d @ 0x%lx: val=0x%lx name=%s\n", type, addr, val,
809 (char *) symtab_section->link->data + sym->st_name);
810#endif
b14ef0e2 Edmund Grimley Evans2015-02-13 18:58:31 +0000811 if (((val - addr) + ((uint64_t)1 << 27)) & ~(uint64_t)0xffffffc)
6d055312
MM
Michael Matz2015-02-22 05:59:06 +0100812 {
813 tcc_error("R_AARCH64_(JUMP|CALL)26 relocation failed (val=%lx, addr=%lx)", addr, val);
814 }
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +0000815 *(uint32_t *)ptr = 0x14000000 | (type == R_AARCH64_CALL26) << 31 |
816 ((val - addr) >> 2 & 0x3ffffff);
817 break;
818 case R_AARCH64_ADR_GOT_PAGE: {
819 uint64_t off =
820 (((s1->got->sh_addr +
821 s1->sym_attrs[sym_index].got_offset) >> 12) - (addr >> 12));
822 if ((off + ((uint64_t)1 << 20)) >> 21)
823 tcc_error("R_AARCH64_ADR_GOT_PAGE relocation failed");
824 *(uint32_t *)ptr = (*(uint32_t *)ptr & 0x9f00001f) |
825 (off & 0x1ffffc) << 3 | (off & 3) << 29;
826 break;
827 }
828 case R_AARCH64_LD64_GOT_LO12_NC:
829 *(uint32_t *)ptr = (*(uint32_t *)ptr & 0xfff803ff) |
830 ((s1->got->sh_addr + s1->sym_attrs[sym_index].got_offset)
831 & 0xff8) << 7;
832 break;
833 case R_AARCH64_COPY:
6d055312
MM
Michael Matz2015-02-22 05:59:06 +0100834 break;
835 case R_AARCH64_GLOB_DAT:
836 case R_AARCH64_JUMP_SLOT:
837 /* They don't need addend */
838#ifdef DEBUG_RELOC
839 printf ("reloc %d @ 0x%lx: val=0x%lx name=%s\n", type, addr,
840 val - rel->r_addend,
841 (char *) symtab_section->link->data + sym->st_name);
842#endif
843 *(addr_t *)ptr = val - rel->r_addend;
844 break;
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +0000845 default:
846 fprintf(stderr, "FIXME: handle reloc type %x at %x [%p] to %x\n",
847 type, (unsigned)addr, ptr, (unsigned)val);
848 break;
79c72b24 bellard2004-10-04 21:57:35 +0000849#elif defined(TCC_TARGET_C67)
5342b32e grischka2007-12-19 17:36:42 +0000850 case R_C60_32:
851 *(int *)ptr += val;
852 break;
ec7d3632 bellard2004-10-05 22:33:55 +0000853 case R_C60LO16:
854 {
855 uint32_t orig;
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +0800856
857 /* put the low 16 bits of the absolute address
858 add to what is already there */
859
ec7d3632 bellard2004-10-05 22:33:55 +0000860 orig = ((*(int *)(ptr )) >> 7) & 0xffff;
861 orig |= (((*(int *)(ptr+4)) >> 7) & 0xffff) << 16;
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +0800862
863 /* patch both at once - assumes always in pairs Low - High */
864
ec7d3632 bellard2004-10-05 22:33:55 +0000865 *(int *) ptr = (*(int *) ptr & (~(0xffff << 7)) ) | (((val+orig) & 0xffff) << 7);
866 *(int *)(ptr+4) = (*(int *)(ptr+4) & (~(0xffff << 7)) ) | ((((val+orig)>>16) & 0xffff) << 7);
867 }
868 break;
869 case R_C60HI16:
870 break;
79c72b24 bellard2004-10-04 21:57:35 +0000871 default:
82bcbd02 grischka2013-02-04 16:08:06 +0100872 fprintf(stderr,"FIXME: handle reloc type %x at %x [%p] to %x\n",
873 type, (unsigned)addr, ptr, (unsigned)val);
79c72b24 bellard2004-10-04 21:57:35 +0000874 break;
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +0900875#elif defined(TCC_TARGET_X86_64)
876 case R_X86_64_64:
fe8f230a Shinichiro Hamaji2009-03-21 12:04:35 +0900877 if (s1->output_type == TCC_OUTPUT_DLL) {
080ad7e6
MM
Michael Matz2014-03-31 03:45:35 +0200878 esym_index = s1->symtab_to_dynsym[sym_index];
879 qrel->r_offset = rel->r_offset;
880 if (esym_index) {
881 qrel->r_info = ELFW(R_INFO)(esym_index, R_X86_64_64);
882 qrel->r_addend = rel->r_addend;
883 qrel++;
884 break;
885 } else {
886 qrel->r_info = ELFW(R_INFO)(0, R_X86_64_RELATIVE);
887 qrel->r_addend = *(long long *)ptr + val;
888 qrel++;
889 }
fe8f230a Shinichiro Hamaji2009-03-21 12:04:35 +0900890 }
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +0900891 *(long long *)ptr += val;
892 break;
893 case R_X86_64_32:
894 case R_X86_64_32S:
fe8f230a
SH
Shinichiro Hamaji2009-03-21 12:04:35 +0900895 if (s1->output_type == TCC_OUTPUT_DLL) {
896 /* XXX: this logic may depend on TCC's codegen
897 now TCC uses R_X86_64_32 even for a 64bit pointer */
898 qrel->r_info = ELFW(R_INFO)(0, R_X86_64_RELATIVE);
899 qrel->r_addend = *(int *)ptr + val;
900 qrel++;
901 }
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +0900902 *(int *)ptr += val;
903 break;
0ae39f19
SH
Shinichiro Hamaji2010-12-28 16:14:30 +0900904
905 case R_X86_64_PC32:
fe8f230a
SH
Shinichiro Hamaji2009-03-21 12:04:35 +0900906 if (s1->output_type == TCC_OUTPUT_DLL) {
907 /* DLL relocation */
908 esym_index = s1->symtab_to_dynsym[sym_index];
909 if (esym_index) {
910 qrel->r_offset = rel->r_offset;
911 qrel->r_info = ELFW(R_INFO)(esym_index, R_X86_64_PC32);
912 qrel->r_addend = *(int *)ptr;
913 qrel++;
914 break;
915 }
916 }
0bd12820
MM
Michael Matz2014-03-31 05:36:12 +0200917 goto plt32pc32;
918
919 case R_X86_64_PLT32:
920 /* We've put the PLT slot offset into r_addend when generating
921 it, and that's what we must use as relocation value (adjusted
922 by section offset of course). */
9750d0b7 Michael Matz2014-04-06 00:30:22 +0200923 val = s1->plt->sh_addr + rel->r_addend;
0bd12820
MM
Michael Matz2014-03-31 05:36:12 +0200924 /* fallthrough. */
925
926 plt32pc32:
927 {
d457addf Shinichiro Hamaji2010-12-28 16:52:21 +0900928 long long diff;
3ea4acb9 grischka2009-07-18 22:05:27 +0200929 diff = (long long)val - addr;
8dbe129a seyko2015-03-23 16:36:09 +0300930 if (diff < -2147483648LL || diff > 2147483647LL) {
6a947d9d Michael Matz2014-04-06 01:59:35 +0200931 tcc_error("internal error: relocation failed");
0a9873aa Shinichiro Hamaji2008-12-02 03:19:25 +0900932 }
fe8f230a Shinichiro Hamaji2009-03-21 12:04:35 +0900933 *(int *)ptr += diff;
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +0900934 }
935 break;
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +0900936 case R_X86_64_GLOB_DAT:
937 case R_X86_64_JUMP_SLOT:
0ae39f19 Shinichiro Hamaji2010-12-28 16:14:30 +0900938 /* They don't need addend */
9750d0b7 Michael Matz2014-04-06 00:30:22 +0200939 *(addr_t *)ptr = val - rel->r_addend;
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +0900940 break;
941 case R_X86_64_GOTPCREL:
830b7533 Shinichiro Hamaji2009-04-13 00:27:04 +0900942 *(int *)ptr += (s1->got->sh_addr - addr +
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +0100943 s1->sym_attrs[sym_index].got_offset - 4);
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +0900944 break;
945 case R_X86_64_GOTTPOFF:
946 *(int *)ptr += val - s1->got->sh_addr;
947 break;
948 case R_X86_64_GOT32:
949 /* we load the got offset */
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +0100950 *(int *)ptr += s1->sym_attrs[sym_index].got_offset;
0a9873aa Shinichiro Hamaji2008-12-02 03:19:25 +0900951 break;
4df5bd2e bellard2003-10-14 22:15:56 +0000952#else
953#error unsupported processor
954#endif
3a58c53e bellard2002-08-18 13:17:59 +0000955 }
956 }
957 /* if the relocation is allocated, we change its symbol table */
958 if (sr->sh_flags & SHF_ALLOC)
e4c7dd5e bellard2002-11-02 14:13:21 +0000959 sr->link = s1->dynsym;
3a58c53e bellard2002-08-18 13:17:59 +0000960}
961
962/* relocate relocation table in 'sr' */
e4c7dd5e bellard2002-11-02 14:13:21 +0000963static void relocate_rel(TCCState *s1, Section *sr)
3a58c53e bellard2002-08-18 13:17:59 +0000964{
965 Section *s;
55f751ac
TP
Thomas Preud'homme2013-12-17 21:02:51 +0800966 ElfW_Rel *rel;
967
e4c7dd5e bellard2002-11-02 14:13:21 +0000968 s = s1->sections[sr->sh_info];
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800969 for_each_elem(sr, 0, rel, ElfW_Rel)
3a58c53e bellard2002-08-18 13:17:59 +0000970 rel->r_offset += s->sh_addr;
3a58c53e bellard2002-08-18 13:17:59 +0000971}
972
973/* count the number of dynamic relocations so that we can reserve
974 their space */
e4c7dd5e bellard2002-11-02 14:13:21 +0000975static int prepare_dynamic_rel(TCCState *s1, Section *sr)
3a58c53e bellard2002-08-18 13:17:59 +0000976{
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800977 ElfW_Rel *rel;
3a58c53e bellard2002-08-18 13:17:59 +0000978 int sym_index, esym_index, type, count;
979
980 count = 0;
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +0800981 for_each_elem(sr, 0, rel, ElfW_Rel) {
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +0900982 sym_index = ELFW(R_SYM)(rel->r_info);
983 type = ELFW(R_TYPE)(rel->r_info);
3a58c53e bellard2002-08-18 13:17:59 +0000984 switch(type) {
fe8f230a Shinichiro Hamaji2009-03-21 12:04:35 +0900985#if defined(TCC_TARGET_I386)
3a58c53e bellard2002-08-18 13:17:59 +0000986 case R_386_32:
fe8f230a
SH
Shinichiro Hamaji2009-03-21 12:04:35 +0900987#elif defined(TCC_TARGET_X86_64)
988 case R_X86_64_32:
989 case R_X86_64_32S:
97072b3c Shinichiro Hamaji2009-04-05 02:07:19 +0900990 case R_X86_64_64:
fe8f230a Shinichiro Hamaji2009-03-21 12:04:35 +0900991#endif
3a58c53e bellard2002-08-18 13:17:59 +0000992 count++;
993 break;
fe8f230a Shinichiro Hamaji2009-03-21 12:04:35 +0900994#if defined(TCC_TARGET_I386)
3a58c53e bellard2002-08-18 13:17:59 +0000995 case R_386_PC32:
fe8f230a
SH
Shinichiro Hamaji2009-03-21 12:04:35 +0900996#elif defined(TCC_TARGET_X86_64)
997 case R_X86_64_PC32:
998#endif
e4c7dd5e bellard2002-11-02 14:13:21 +0000999 esym_index = s1->symtab_to_dynsym[sym_index];
3a58c53e bellard2002-08-18 13:17:59 +00001000 if (esym_index)
1001 count++;
1002 break;
1003 default:
1004 break;
1005 }
1006 }
1007 if (count) {
1008 /* allocate the section */
1009 sr->sh_flags |= SHF_ALLOC;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001010 sr->sh_size = count * sizeof(ElfW_Rel);
3a58c53e bellard2002-08-18 13:17:59 +00001011 }
1012 return count;
1013}
1014
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +01001015static struct sym_attr *alloc_sym_attr(TCCState *s1, int index)
3a58c53e bellard2002-08-18 13:17:59 +00001016{
1017 int n;
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +01001018 struct sym_attr *tab;
3a58c53e bellard2002-08-18 13:17:59 +00001019
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +01001020 if (index >= s1->nb_sym_attrs) {
3a58c53e bellard2002-08-18 13:17:59 +00001021 /* find immediately bigger power of 2 and reallocate array */
1022 n = 1;
1023 while (index >= n)
1024 n *= 2;
e2212738
TP
Thomas Preud'homme2012-11-04 00:40:05 +01001025 tab = tcc_realloc(s1->sym_attrs, n * sizeof(*s1->sym_attrs));
1026 s1->sym_attrs = tab;
1027 memset(s1->sym_attrs + s1->nb_sym_attrs, 0,
1028 (n - s1->nb_sym_attrs) * sizeof(*s1->sym_attrs));
1029 s1->nb_sym_attrs = n;
3a58c53e bellard2002-08-18 13:17:59 +00001030 }
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +01001031 return &s1->sym_attrs[index];
3a58c53e bellard2002-08-18 13:17:59 +00001032}
1033
1034/* XXX: suppress that */
c2e6daaf bellard2003-04-13 14:38:05 +00001035static void put32(unsigned char *p, uint32_t val)
3a58c53e bellard2002-08-18 13:17:59 +00001036{
1037 p[0] = val;
1038 p[1] = val >> 8;
1039 p[2] = val >> 16;
1040 p[3] = val >> 24;
1041}
1042
0a9873aa Shinichiro Hamaji2008-12-02 03:19:25 +09001043#if defined(TCC_TARGET_I386) || defined(TCC_TARGET_ARM) || \
b14ef0e2 Edmund Grimley Evans2015-02-13 18:58:31 +00001044 defined(TCC_TARGET_ARM64) || defined(TCC_TARGET_X86_64)
c2e6daaf bellard2003-04-13 14:38:05 +00001045static uint32_t get32(unsigned char *p)
1046{
1047 return p[0] | (p[1] << 8) | (p[2] << 16) | (p[3] << 24);
1048}
6bbfb8f6 bellard2004-11-07 15:43:15 +00001049#endif
c2e6daaf bellard2003-04-13 14:38:05 +00001050
e4c7dd5e bellard2002-11-02 14:13:21 +00001051static void build_got(TCCState *s1)
3a58c53e bellard2002-08-18 13:17:59 +00001052{
1053 unsigned char *ptr;
1054
1055 /* if no got, then create it */
e4c7dd5e bellard2002-11-02 14:13:21 +00001056 s1->got = new_section(s1, ".got", SHT_PROGBITS, SHF_ALLOC | SHF_WRITE);
1057 s1->got->sh_entsize = 4;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001058 add_elf_sym(symtab_section, 0, 4, ELFW(ST_INFO)(STB_GLOBAL, STT_OBJECT),
d733dc75 bellard2005-04-13 21:37:06 +00001059 0, s1->got->sh_num, "_GLOBAL_OFFSET_TABLE_");
27d23342 Shinichiro Hamaji2008-12-01 02:52:08 +09001060 ptr = section_ptr_add(s1->got, 3 * PTR_SIZE);
ba8c95a9 Shinichiro Hamaji2008-12-01 02:57:11 +09001061#if PTR_SIZE == 4
3a58c53e bellard2002-08-18 13:17:59 +00001062 /* keep space for _DYNAMIC pointer, if present */
1063 put32(ptr, 0);
1064 /* two dummy got entries */
1065 put32(ptr + 4, 0);
1066 put32(ptr + 8, 0);
27d23342
SH
Shinichiro Hamaji2008-12-01 02:52:08 +09001067#else
1068 /* keep space for _DYNAMIC pointer, if present */
1069 put32(ptr, 0);
1070 put32(ptr + 4, 0);
1071 /* two dummy got entries */
1072 put32(ptr + 8, 0);
1073 put32(ptr + 12, 0);
1074 put32(ptr + 16, 0);
1075 put32(ptr + 20, 0);
1076#endif
3a58c53e bellard2002-08-18 13:17:59 +00001077}
1078
0bd12820
MM
Michael Matz2014-03-31 05:36:12 +02001079/* put a got or plt entry corresponding to a symbol in symtab_section. 'size'
1080 and 'info' can be modifed if more precise info comes from the DLL.
1081 Returns offset of GOT or PLT slot. */
1082static unsigned long put_got_entry(TCCState *s1,
1083 int reloc_type, unsigned long size, int info,
1084 int sym_index)
3a58c53e bellard2002-08-18 13:17:59 +00001085{
0bd12820 Michael Matz2014-03-31 05:36:12 +02001086 int index, need_plt_entry;
3a58c53e bellard2002-08-18 13:17:59 +00001087 const char *name;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001088 ElfW(Sym) *sym;
3a58c53e bellard2002-08-18 13:17:59 +00001089 unsigned long offset;
1090 int *ptr;
080ad7e6 Michael Matz2014-03-31 03:45:35 +02001091 struct sym_attr *symattr;
3a58c53e bellard2002-08-18 13:17:59 +00001092
e4c7dd5e bellard2002-11-02 14:13:21 +00001093 if (!s1->got)
1094 build_got(s1);
3a58c53e bellard2002-08-18 13:17:59 +00001095
9750d0b7 Michael Matz2014-04-06 00:30:22 +02001096 need_plt_entry =
dc8ea93b
TP
Thomas Preud'homme2014-03-25 22:35:11 +08001097#ifdef TCC_TARGET_X86_64
1098 (reloc_type == R_X86_64_JUMP_SLOT);
1099#elif defined(TCC_TARGET_I386)
1100 (reloc_type == R_386_JMP_SLOT);
1101#elif defined(TCC_TARGET_ARM)
1102 (reloc_type == R_ARM_JUMP_SLOT);
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +00001103#elif defined(TCC_TARGET_ARM64)
1104 (reloc_type == R_AARCH64_JUMP_SLOT);
dc8ea93b
TP
Thomas Preud'homme2014-03-25 22:35:11 +08001105#else
1106 0;
1107#endif
1108
9750d0b7
MM
Michael Matz2014-04-06 00:30:22 +02001109 if (need_plt_entry && !s1->plt) {
1110 /* add PLT */
1111 s1->plt = new_section(s1, ".plt", SHT_PROGBITS,
1112 SHF_ALLOC | SHF_EXECINSTR);
1113 s1->plt->sh_entsize = 4;
1114 }
1115
0bd12820
MM
Michael Matz2014-03-31 05:36:12 +02001116 /* If a got/plt entry already exists for that symbol, no need to add one */
1117 if (sym_index < s1->nb_sym_attrs) {
1118 if (need_plt_entry && s1->sym_attrs[sym_index].plt_offset)
1119 return s1->sym_attrs[sym_index].plt_offset;
1120 else if (!need_plt_entry && s1->sym_attrs[sym_index].got_offset)
1121 return s1->sym_attrs[sym_index].got_offset;
dc8ea93b Thomas Preud'homme2014-03-25 22:35:11 +08001122 }
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +01001123
080ad7e6 Michael Matz2014-03-31 03:45:35 +02001124 symattr = alloc_sym_attr(s1, sym_index);
0bd12820 Michael Matz2014-03-31 05:36:12 +02001125
080ad7e6
MM
Michael Matz2014-03-31 03:45:35 +02001126 /* Only store the GOT offset if it's not generated for the PLT entry. */
1127 if (!need_plt_entry)
1128 symattr->got_offset = s1->got->data_offset;
3a58c53e bellard2002-08-18 13:17:59 +00001129
9750d0b7
MM
Michael Matz2014-04-06 00:30:22 +02001130 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
1131 name = (char *) symtab_section->link->data + sym->st_name;
1132 offset = sym->st_value;
0a9873aa Shinichiro Hamaji2008-12-02 03:19:25 +09001133#if defined(TCC_TARGET_I386) || defined(TCC_TARGET_X86_64)
dc8ea93b Thomas Preud'homme2014-03-25 22:35:11 +08001134 if (need_plt_entry) {
c2e6daaf bellard2003-04-13 14:38:05 +00001135 Section *plt;
1136 uint8_t *p;
1137 int modrm;
080ad7e6 Michael Matz2014-03-31 03:45:35 +02001138 unsigned long relofs;
c2e6daaf bellard2003-04-13 14:38:05 +00001139
040ef000
SH
Shinichiro Hamaji2009-03-31 22:17:36 +09001140#if defined(TCC_OUTPUT_DLL_WITH_PLT)
1141 modrm = 0x25;
1142#else
c2e6daaf bellard2003-04-13 14:38:05 +00001143 /* if we build a DLL, we add a %ebx offset */
1144 if (s1->output_type == TCC_OUTPUT_DLL)
1145 modrm = 0xa3;
1146 else
1147 modrm = 0x25;
040ef000 Shinichiro Hamaji2009-03-31 22:17:36 +09001148#endif
c2e6daaf bellard2003-04-13 14:38:05 +00001149
1150 /* add a PLT entry */
1151 plt = s1->plt;
1152 if (plt->data_offset == 0) {
1153 /* first plt entry */
1154 p = section_ptr_add(plt, 16);
27d23342 Shinichiro Hamaji2008-12-01 02:52:08 +09001155 p[0] = 0xff; /* pushl got + PTR_SIZE */
c2e6daaf bellard2003-04-13 14:38:05 +00001156 p[1] = modrm + 0x10;
27d23342
SH
Shinichiro Hamaji2008-12-01 02:52:08 +09001157 put32(p + 2, PTR_SIZE);
1158 p[6] = 0xff; /* jmp *(got + PTR_SIZE * 2) */
c2e6daaf bellard2003-04-13 14:38:05 +00001159 p[7] = modrm;
27d23342 Shinichiro Hamaji2008-12-01 02:52:08 +09001160 put32(p + 8, PTR_SIZE * 2);
c2e6daaf bellard2003-04-13 14:38:05 +00001161 }
1162
080ad7e6
MM
Michael Matz2014-03-31 03:45:35 +02001163 /* The PLT slot refers to the relocation entry it needs
1164 via offset. The reloc entry is created below, so its
1165 offset is the current data_offset. */
1166 relofs = s1->got->reloc ? s1->got->reloc->data_offset : 0;
0bd12820 Michael Matz2014-03-31 05:36:12 +02001167 symattr->plt_offset = plt->data_offset;
c2e6daaf bellard2003-04-13 14:38:05 +00001168 p = section_ptr_add(plt, 16);
1169 p[0] = 0xff; /* jmp *(got + x) */
1170 p[1] = modrm;
1171 put32(p + 2, s1->got->data_offset);
1172 p[6] = 0x68; /* push $xxx */
080ad7e6
MM
Michael Matz2014-03-31 03:45:35 +02001173#ifdef TCC_TARGET_X86_64
1174 /* On x86-64, the relocation is referred to by _index_. */
1175 put32(p + 7, relofs / sizeof (ElfW_Rel));
1176#else
1177 put32(p + 7, relofs);
1178#endif
c2e6daaf bellard2003-04-13 14:38:05 +00001179 p[11] = 0xe9; /* jmp plt_start */
1180 put32(p + 12, -(plt->data_offset));
1181
0bd12820
MM
Michael Matz2014-03-31 05:36:12 +02001182 /* If this was an UNDEF symbol set the offset in the
1183 dynsymtab to the PLT slot, so that PC32 relocs to it
1184 can be resolved. */
1185 if (sym->st_shndx == SHN_UNDEF)
1186 offset = plt->data_offset - 16;
3a58c53e bellard2002-08-18 13:17:59 +00001187 }
4df5bd2e bellard2003-10-14 22:15:56 +00001188#elif defined(TCC_TARGET_ARM)
dc8ea93b Thomas Preud'homme2014-03-25 22:35:11 +08001189 if (need_plt_entry) {
4df5bd2e bellard2003-10-14 22:15:56 +00001190 Section *plt;
1191 uint8_t *p;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001192
4df5bd2e bellard2003-10-14 22:15:56 +00001193 /* if we build a DLL, we add a %ebx offset */
1194 if (s1->output_type == TCC_OUTPUT_DLL)
bf374a5f grischka2011-08-11 17:07:56 +02001195 tcc_error("DLLs unimplemented!");
4df5bd2e bellard2003-10-14 22:15:56 +00001196
1197 /* add a PLT entry */
1198 plt = s1->plt;
1199 if (plt->data_offset == 0) {
1200 /* first plt entry */
1201 p = section_ptr_add(plt, 16);
599677a5
TP
Thomas Preud'homme2013-12-17 21:01:05 +08001202 put32(p, 0xe52de004); /* push {lr} */
1203 put32(p+4, 0xe59fe010); /* ldr lr, [pc, #16] */
1204 put32(p+8, 0xe08fe00e); /* add lr, pc, lr */
1205 put32(p+12, 0xe5bef008); /* ldr pc, [lr, #8]! */
4df5bd2e bellard2003-10-14 22:15:56 +00001206 }
1207
0bd12820 Michael Matz2014-03-31 05:36:12 +02001208 symattr->plt_offset = plt->data_offset;
080ad7e6 Michael Matz2014-03-31 03:45:35 +02001209 if (symattr->plt_thumb_stub) {
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +01001210 p = section_ptr_add(plt, 20);
599677a5 Thomas Preud'homme2013-12-17 21:01:05 +08001211 put32(p, 0x4778); /* bx pc */
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001212 put32(p+2, 0x46c0); /* nop */
e2212738
TP
Thomas Preud'homme2012-11-04 00:40:05 +01001213 p += 4;
1214 } else
1215 p = section_ptr_add(plt, 16);
599677a5
TP
Thomas Preud'homme2013-12-17 21:01:05 +08001216 put32(p, 0xe59fc004); /* ldr ip, [pc, #4] ; GOT entry offset */
1217 put32(p+4, 0xe08fc00c); /* add ip, pc, ip ; addr of GOT entry */
1218 put32(p+8, 0xe59cf000); /* ldr pc, [ip] ; jump to GOT entry */
1219 put32(p+12, s1->got->data_offset); /* GOT entry off once patched */
4df5bd2e bellard2003-10-14 22:15:56 +00001220
1221 /* the symbol is modified so that it will be relocated to
1222 the PLT */
01c04192 Michael Matz2014-04-06 01:02:42 +02001223 if (sym->st_shndx == SHN_UNDEF)
4df5bd2e bellard2003-10-14 22:15:56 +00001224 offset = plt->data_offset - 16;
1225 }
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +00001226#elif defined(TCC_TARGET_ARM64)
1227 if (need_plt_entry) {
1228 Section *plt;
1229 uint8_t *p;
1230
1231 if (s1->output_type == TCC_OUTPUT_DLL)
1232 tcc_error("DLLs unimplemented!");
1233
1234 plt = s1->plt;
1235 if (plt->data_offset == 0)
1236 section_ptr_add(plt, 32);
6d055312 Michael Matz2015-02-22 05:59:06 +01001237 symattr->plt_offset = plt->data_offset;
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +00001238 p = section_ptr_add(plt, 16);
1239 put32(p, s1->got->data_offset);
1240 put32(p + 4, (uint64_t)s1->got->data_offset >> 32);
1241
1242 if (sym->st_shndx == SHN_UNDEF)
1243 offset = plt->data_offset - 16;
1244 }
79c72b24 bellard2004-10-04 21:57:35 +00001245#elif defined(TCC_TARGET_C67)
9750d0b7 Michael Matz2014-04-06 00:30:22 +02001246 if (s1->dynsym) {
bf374a5f grischka2011-08-11 17:07:56 +02001247 tcc_error("C67 got not implemented");
9750d0b7 Michael Matz2014-04-06 00:30:22 +02001248 }
4df5bd2e bellard2003-10-14 22:15:56 +00001249#else
1250#error unsupported CPU
1251#endif
9750d0b7 Michael Matz2014-04-06 00:30:22 +02001252 if (s1->dynsym) {
080ad7e6 Michael Matz2014-03-31 03:45:35 +02001253 /* XXX This might generate multiple syms for name. */
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001254 index = put_elf_sym(s1->dynsym, offset,
3a58c53e bellard2002-08-18 13:17:59 +00001255 size, info, 0, sym->st_shndx, name);
080ad7e6
MM
Michael Matz2014-03-31 03:45:35 +02001256 /* Create the relocation (it's against the GOT for PLT
1257 and GOT relocs). */
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08001258 put_elf_reloc(s1->dynsym, s1->got,
1259 s1->got->data_offset,
3a58c53e bellard2002-08-18 13:17:59 +00001260 reloc_type, index);
2024c445
MM
Michael Matz2014-04-04 17:54:52 +02001261 } else {
1262 /* Without .dynsym (i.e. static link or memory output) we
1263 still need relocs against the generated got, so as to fill
1264 the entries with the symbol values (determined later). */
1265 put_elf_reloc(symtab_section, s1->got,
1266 s1->got->data_offset,
1267 reloc_type, sym_index);
3a58c53e bellard2002-08-18 13:17:59 +00001268 }
080ad7e6 Michael Matz2014-03-31 03:45:35 +02001269 /* And now create the GOT slot itself. */
27d23342 Shinichiro Hamaji2008-12-01 02:52:08 +09001270 ptr = section_ptr_add(s1->got, PTR_SIZE);
3a58c53e bellard2002-08-18 13:17:59 +00001271 *ptr = 0;
0bd12820
MM
Michael Matz2014-03-31 05:36:12 +02001272 if (need_plt_entry)
1273 return symattr->plt_offset;
1274 else
1275 return symattr->got_offset;
3a58c53e bellard2002-08-18 13:17:59 +00001276}
1277
1278/* build GOT and PLT entries */
88a3ccab grischka2009-12-20 01:53:49 +01001279ST_FUNC void build_got_entries(TCCState *s1)
3a58c53e bellard2002-08-18 13:17:59 +00001280{
ee06ef9d Thomas Preud'homme2011-05-16 14:15:32 +02001281 Section *s;
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08001282 ElfW_Rel *rel;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001283 ElfW(Sym) *sym;
3a58c53e bellard2002-08-18 13:17:59 +00001284 int i, type, reloc_type, sym_index;
1285
e4c7dd5e bellard2002-11-02 14:13:21 +00001286 for(i = 1; i < s1->nb_sections; i++) {
1287 s = s1->sections[i];
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001288 if (s->sh_type != SHT_RELX)
3a58c53e bellard2002-08-18 13:17:59 +00001289 continue;
1290 /* no need to handle got relocations */
1291 if (s->link != symtab_section)
1292 continue;
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08001293 for_each_elem(s, 0, rel, ElfW_Rel) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001294 type = ELFW(R_TYPE)(rel->r_info);
3a58c53e bellard2002-08-18 13:17:59 +00001295 switch(type) {
4df5bd2e bellard2003-10-14 22:15:56 +00001296#if defined(TCC_TARGET_I386)
3a58c53e bellard2002-08-18 13:17:59 +00001297 case R_386_GOT32:
1298 case R_386_GOTOFF:
1299 case R_386_GOTPC:
1300 case R_386_PLT32:
e4c7dd5e bellard2002-11-02 14:13:21 +00001301 if (!s1->got)
1302 build_got(s1);
3a58c53e bellard2002-08-18 13:17:59 +00001303 if (type == R_386_GOT32 || type == R_386_PLT32) {
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +09001304 sym_index = ELFW(R_SYM)(rel->r_info);
1305 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
3a58c53e bellard2002-08-18 13:17:59 +00001306 /* look at the symbol got offset. If none, then add one */
1307 if (type == R_386_GOT32)
1308 reloc_type = R_386_GLOB_DAT;
1309 else
1310 reloc_type = R_386_JMP_SLOT;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001311 put_got_entry(s1, reloc_type, sym->st_size, sym->st_info,
3a58c53e bellard2002-08-18 13:17:59 +00001312 sym_index);
1313 }
1314 break;
4df5bd2e bellard2003-10-14 22:15:56 +00001315#elif defined(TCC_TARGET_ARM)
01c04192
MM
Michael Matz2014-04-06 01:02:42 +02001316 case R_ARM_PC24:
1317 case R_ARM_CALL:
1318 case R_ARM_JUMP24:
28f02864
TP
Thomas Preud'homme2014-01-08 17:35:35 +08001319 case R_ARM_GOT32:
1320 case R_ARM_GOTOFF:
1321 case R_ARM_GOTPC:
4df5bd2e bellard2003-10-14 22:15:56 +00001322 case R_ARM_PLT32:
1323 if (!s1->got)
1324 build_got(s1);
01c04192
MM
Michael Matz2014-04-06 01:02:42 +02001325 sym_index = ELFW(R_SYM)(rel->r_info);
1326 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
1327 if (type != R_ARM_GOTOFF && type != R_ARM_GOTPC
1328 && sym->st_shndx == SHN_UNDEF) {
1329 unsigned long ofs;
4df5bd2e bellard2003-10-14 22:15:56 +00001330 /* look at the symbol got offset. If none, then add one */
28f02864 Thomas Preud'homme2014-01-08 17:35:35 +08001331 if (type == R_ARM_GOT32)
4df5bd2e bellard2003-10-14 22:15:56 +00001332 reloc_type = R_ARM_GLOB_DAT;
1333 else
1334 reloc_type = R_ARM_JUMP_SLOT;
01c04192
MM
Michael Matz2014-04-06 01:02:42 +02001335 ofs = put_got_entry(s1, reloc_type, sym->st_size,
1336 sym->st_info, sym_index);
1337#ifdef DEBUG_RELOC
1338 printf ("maybegot: %s, %d, %d --> ofs=0x%x\n",
1339 (char *) symtab_section->link->data + sym->st_name,
1340 type, sym->st_shndx, ofs);
1341#endif
1342 if (type != R_ARM_GOT32) {
1343 addr_t *ptr = (addr_t*)(s1->sections[s->sh_info]->data
1344 + rel->r_offset);
1345 /* x must be signed! */
1346 int x = *ptr & 0xffffff;
1347 x = (x << 8) >> 8;
1348 x <<= 2;
1349 x += ofs;
1350 x >>= 2;
1351#ifdef DEBUG_RELOC
1352 printf ("insn=0x%x --> 0x%x (x==0x%x)\n", *ptr,
1353 (*ptr & 0xff000000) | x, x);
1354#endif
1355 *ptr = (*ptr & 0xff000000) | x;
1356 }
4df5bd2e bellard2003-10-14 22:15:56 +00001357 }
1358 break;
e571850d
TP
Thomas Preud'homme2014-02-02 17:15:19 +08001359 case R_ARM_THM_JUMP24:
1360 sym_index = ELFW(R_SYM)(rel->r_info);
1361 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
1362 /* We are relocating a jump from thumb code to arm code */
1363 if (sym->st_shndx != SHN_UNDEF && !(sym->st_value & 1)) {
1364 int index;
1365 uint8_t *p;
1366 char *name, buf[1024];
1367 Section *text_section;
1368
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +08001369 name = (char *) symtab_section->link->data + sym->st_name;
e571850d
TP
Thomas Preud'homme2014-02-02 17:15:19 +08001370 text_section = s1->sections[sym->st_shndx];
1371 /* Modify reloc to target a thumb stub to switch to ARM */
1372 snprintf(buf, sizeof(buf), "%s_from_thumb", name);
1373 index = put_elf_sym(symtab_section,
1374 text_section->data_offset + 1,
1375 sym->st_size, sym->st_info, 0,
1376 sym->st_shndx, buf);
1377 rel->r_info = ELFW(R_INFO)(index, type);
1378 /* Create a thumb stub fonction to switch to ARM mode */
1379 put_elf_reloc(symtab_section, text_section,
b2192fc5 Thomas Preud'homme2014-03-11 21:45:52 +08001380 text_section->data_offset + 4, R_ARM_JUMP24,
e571850d
TP
Thomas Preud'homme2014-02-02 17:15:19 +08001381 sym_index);
1382 p = section_ptr_add(text_section, 8);
1383 put32(p, 0x4778); /* bx pc */
1384 put32(p+2, 0x46c0); /* nop */
1385 put32(p+4, 0xeafffffe); /* b $sym */
1386 }
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +00001387#elif defined(TCC_TARGET_ARM64)
1388 //xx Other cases may be required here:
1389 case R_AARCH64_ADR_GOT_PAGE:
1390 case R_AARCH64_LD64_GOT_LO12_NC:
1391 if (!s1->got)
1392 build_got(s1);
1393 sym_index = ELFW(R_SYM)(rel->r_info);
1394 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
1395 reloc_type = R_AARCH64_GLOB_DAT;
1396 put_got_entry(s1, reloc_type, sym->st_size, sym->st_info,
1397 sym_index);
1398 break;
6d055312
MM
Michael Matz2015-02-22 05:59:06 +01001399
1400 case R_AARCH64_JUMP26:
1401 case R_AARCH64_CALL26:
1402 if (!s1->got)
1403 build_got(s1);
1404 sym_index = ELFW(R_SYM)(rel->r_info);
1405 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
1406 if (sym->st_shndx == SHN_UNDEF) {
1407 unsigned long ofs;
1408 reloc_type = R_AARCH64_JUMP_SLOT;
1409 ofs = put_got_entry(s1, reloc_type, sym->st_size,
1410 sym->st_info, sym_index);
1411 /* We store the place of the generated PLT slot
1412 in our addend. */
1413 rel->r_addend += ofs;
1414 }
1415 break;
79c72b24 bellard2004-10-04 21:57:35 +00001416#elif defined(TCC_TARGET_C67)
5342b32e grischka2007-12-19 17:36:42 +00001417 case R_C60_GOT32:
79c72b24 bellard2004-10-04 21:57:35 +00001418 case R_C60_GOTOFF:
1419 case R_C60_GOTPC:
1420 case R_C60_PLT32:
1421 if (!s1->got)
1422 build_got(s1);
1423 if (type == R_C60_GOT32 || type == R_C60_PLT32) {
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +09001424 sym_index = ELFW(R_SYM)(rel->r_info);
1425 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
79c72b24 bellard2004-10-04 21:57:35 +00001426 /* look at the symbol got offset. If none, then add one */
1427 if (type == R_C60_GOT32)
1428 reloc_type = R_C60_GLOB_DAT;
1429 else
1430 reloc_type = R_C60_JMP_SLOT;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001431 put_got_entry(s1, reloc_type, sym->st_size, sym->st_info,
79c72b24 bellard2004-10-04 21:57:35 +00001432 sym_index);
1433 }
1434 break;
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +09001435#elif defined(TCC_TARGET_X86_64)
1436 case R_X86_64_GOT32:
1437 case R_X86_64_GOTTPOFF:
1438 case R_X86_64_GOTPCREL:
1439 case R_X86_64_PLT32:
e69c5066
MM
Michael Matz2014-04-14 04:58:05 +02001440 sym_index = ELFW(R_SYM)(rel->r_info);
1441 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
1442 if (type == R_X86_64_PLT32 &&
1443 ELFW(ST_VISIBILITY)(sym->st_other) != STV_DEFAULT)
1444 {
1445 rel->r_info = ELFW(R_INFO)(sym_index, R_X86_64_PC32);
1446 break;
1447 }
1448
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +09001449 if (!s1->got)
1450 build_got(s1);
97072b3c
SH
Shinichiro Hamaji2009-04-05 02:07:19 +09001451 if (type == R_X86_64_GOT32 || type == R_X86_64_GOTPCREL ||
1452 type == R_X86_64_PLT32) {
0bd12820 Michael Matz2014-03-31 05:36:12 +02001453 unsigned long ofs;
0a9873aa Shinichiro Hamaji2008-12-02 03:19:25 +09001454 /* look at the symbol got offset. If none, then add one */
97072b3c Shinichiro Hamaji2009-04-05 02:07:19 +09001455 if (type == R_X86_64_GOT32 || type == R_X86_64_GOTPCREL)
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +09001456 reloc_type = R_X86_64_GLOB_DAT;
1457 else
1458 reloc_type = R_X86_64_JUMP_SLOT;
0bd12820
MM
Michael Matz2014-03-31 05:36:12 +02001459 ofs = put_got_entry(s1, reloc_type, sym->st_size,
1460 sym->st_info, sym_index);
9750d0b7 Michael Matz2014-04-06 00:30:22 +02001461 if (type == R_X86_64_PLT32)
0bd12820
MM
Michael Matz2014-03-31 05:36:12 +02001462 /* We store the place of the generated PLT slot
1463 in our addend. */
1464 rel->r_addend += ofs;
0a9873aa
SH
Shinichiro Hamaji2008-12-02 03:19:25 +09001465 }
1466 break;
4df5bd2e bellard2003-10-14 22:15:56 +00001467#else
1468#error unsupported CPU
1469#endif
3a58c53e bellard2002-08-18 13:17:59 +00001470 default:
1471 break;
1472 }
1473 }
1474 }
1475}
1476
88a3ccab grischka2009-12-20 01:53:49 +01001477ST_FUNC Section *new_symtab(TCCState *s1,
e4c7dd5e bellard2002-11-02 14:13:21 +00001478 const char *symtab_name, int sh_type, int sh_flags,
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001479 const char *strtab_name,
3a58c53e bellard2002-08-18 13:17:59 +00001480 const char *hash_name, int hash_sh_flags)
1481{
1482 Section *symtab, *strtab, *hash;
1483 int *ptr, nb_buckets;
1484
e4c7dd5e bellard2002-11-02 14:13:21 +00001485 symtab = new_section(s1, symtab_name, sh_type, sh_flags);
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001486 symtab->sh_entsize = sizeof(ElfW(Sym));
e4c7dd5e bellard2002-11-02 14:13:21 +00001487 strtab = new_section(s1, strtab_name, SHT_STRTAB, sh_flags);
3a58c53e bellard2002-08-18 13:17:59 +00001488 put_elf_str(strtab, "");
1489 symtab->link = strtab;
1490 put_elf_sym(symtab, 0, 0, 0, 0, 0, NULL);
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001491
3a58c53e bellard2002-08-18 13:17:59 +00001492 nb_buckets = 1;
1493
e4c7dd5e bellard2002-11-02 14:13:21 +00001494 hash = new_section(s1, hash_name, SHT_HASH, hash_sh_flags);
3a58c53e bellard2002-08-18 13:17:59 +00001495 hash->sh_entsize = sizeof(int);
1496 symtab->hash = hash;
1497 hash->link = symtab;
1498
1499 ptr = section_ptr_add(hash, (2 + nb_buckets + 1) * sizeof(int));
1500 ptr[0] = nb_buckets;
1501 ptr[1] = 1;
1502 memset(ptr + 2, 0, (nb_buckets + 1) * sizeof(int));
1503 return symtab;
1504}
1505
1506/* put dynamic tag */
82bcbd02 grischka2013-02-04 16:08:06 +01001507static void put_dt(Section *dynamic, int dt, addr_t val)
3a58c53e bellard2002-08-18 13:17:59 +00001508{
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +09001509 ElfW(Dyn) *dyn;
1510 dyn = section_ptr_add(dynamic, sizeof(ElfW(Dyn)));
3a58c53e bellard2002-08-18 13:17:59 +00001511 dyn->d_tag = dt;
1512 dyn->d_un.d_val = val;
1513}
1514
9d95be78 bellard2003-05-29 22:52:53 +00001515static void add_init_array_defines(TCCState *s1, const char *section_name)
1516{
1517 Section *s;
1518 long end_offset;
1519 char sym_start[1024];
1520 char sym_end[1024];
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001521
9d95be78 bellard2003-05-29 22:52:53 +00001522 snprintf(sym_start, sizeof(sym_start), "__%s_start", section_name + 1);
1523 snprintf(sym_end, sizeof(sym_end), "__%s_end", section_name + 1);
1524
1525 s = find_section(s1, section_name);
1526 if (!s) {
1527 end_offset = 0;
1528 s = data_section;
1529 } else {
1530 end_offset = s->data_offset;
1531 }
1532
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001533 add_elf_sym(symtab_section,
9d95be78 bellard2003-05-29 22:52:53 +00001534 0, 0,
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001535 ELFW(ST_INFO)(STB_GLOBAL, STT_NOTYPE), 0,
9d95be78 bellard2003-05-29 22:52:53 +00001536 s->sh_num, sym_start);
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001537 add_elf_sym(symtab_section,
9d95be78 bellard2003-05-29 22:52:53 +00001538 end_offset, 0,
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001539 ELFW(ST_INFO)(STB_GLOBAL, STT_NOTYPE), 0,
9d95be78 bellard2003-05-29 22:52:53 +00001540 s->sh_num, sym_end);
1541}
1542
548a55ed seyko2015-03-26 06:22:37 +03001543static int tcc_add_support(TCCState *s1, const char *filename)
1544{
1545 char buf[1024];
1546 snprintf(buf, sizeof(buf), "%s/%s/%s", s1->tcc_lib_path,
1547 /* an cpu specific path inside tcc_lib_path, mainly for keeping libtcc1.a */
1548 #ifdef TCC_TARGET_I386
1549 "i386"
1550 #endif
1551 #ifdef TCC_TARGET_X86_64
1552 "x86-64"
1553 #endif
1554 #ifdef TCC_TARGET_ARM
1555 "arm"
1556 #endif
1557 #ifdef TCC_TARGET_ARM64
1558 "arm64"
1559 #endif
1560 #ifdef TCC_TARGET_C67
1561 "C67"
1562 #endif
1563 ,filename);
1564
05364072 seyko2015-04-12 15:35:37 +03001565 return tcc_add_file(s1, buf, TCC_FILETYPE_BINARY);
548a55ed seyko2015-03-26 06:22:37 +03001566}
1567
88a3ccab grischka2009-12-20 01:53:49 +01001568ST_FUNC void tcc_add_bcheck(TCCState *s1)
3a58c53e bellard2002-08-18 13:17:59 +00001569{
7fa712e0 grischka2009-12-19 22:22:43 +01001570#ifdef CONFIG_TCC_BCHECK
acef4ff2 seyko2015-03-26 07:47:45 +03001571 addr_t *ptr;
7fa712e0 grischka2009-12-19 22:22:43 +01001572
1573 if (0 == s1->do_bounds_check)
1574 return;
1575
1576 /* XXX: add an object file to do that */
d80593bc seyko2015-03-29 11:28:02 +03001577 ptr = section_ptr_add(bounds_section, sizeof(*ptr));
7fa712e0 grischka2009-12-19 22:22:43 +01001578 *ptr = 0;
1579 add_elf_sym(symtab_section, 0, 0,
1580 ELFW(ST_INFO)(STB_GLOBAL, STT_NOTYPE), 0,
1581 bounds_section->sh_num, "__bounds_start");
7fa712e0 grischka2009-12-19 22:22:43 +01001582 if (s1->output_type != TCC_OUTPUT_MEMORY) {
1583 /* add 'call __bound_init()' in .init section */
7e7e6148 seyko2015-04-10 07:37:31 +03001584
1585 /* XXX not called on MSYS, reason is unknown. For this
1586 case a call to __bound_init is performed in bcheck.c
1587 when __bound_ptr_add, __bound_new_region,
1588 __bound_delete_region called */
1589
1590 int sym_index = find_elf_sym(symtab_section, "__bound_init");
1591 if (sym_index) {
1592 Section *init_section = find_section(s1, ".init");
1593 unsigned char *pinit = section_ptr_add(init_section, 5);
1594 pinit[0] = 0xe8;
1595 put32(pinit + 1, -4);
1596 put_elf_reloc(symtab_section, init_section,
7fa712e0 grischka2009-12-19 22:22:43 +01001597 init_section->data_offset - 4, R_386_PC32, sym_index);
7e7e6148 seyko2015-04-10 07:37:31 +03001598 }
1599 else
1600 tcc_warning("__bound_init not defined");
3a58c53e bellard2002-08-18 13:17:59 +00001601 }
1602#endif
7fa712e0 grischka2009-12-19 22:22:43 +01001603}
1604
1605/* add tcc runtime libraries */
88a3ccab grischka2009-12-20 01:53:49 +01001606ST_FUNC void tcc_add_runtime(TCCState *s1)
7fa712e0 grischka2009-12-19 22:22:43 +01001607{
feed3262 bellard2003-10-04 21:24:46 +00001608 /* add libc */
1609 if (!s1->nostdlib) {
7fa712e0 grischka2009-12-19 22:22:43 +01001610 tcc_add_library(s1, "c");
81cd0cf6 grischka2011-08-06 16:11:12 +02001611#ifdef CONFIG_USE_LIBGCC
078ba241 Thomas Preud'homme2014-03-25 21:18:57 +08001612 if (!s1->static_link) {
05364072 seyko2015-04-12 15:35:37 +03001613 tcc_add_file(s1, TCC_LIBGCC, TCC_FILETYPE_BINARY);
6cbf4fb7 seyko2015-03-03 17:11:18 +03001614 }
15e0dc08 Daniel Glöckner2008-09-05 21:08:37 +02001615#endif
6cbf4fb7 seyko2015-03-03 17:11:18 +03001616 tcc_add_support(s1, "libtcc1.a");
ec1c8308
TP
Thomas Preud'homme2014-03-17 23:14:38 +08001617 }
1618
1619 /* tcc_add_bcheck tries to relocate a call to __bound_init in _init so
1620 libtcc1.a must be loaded before for __bound_init to be defined and
1621 crtn.o must be loaded after to not finalize _init too early. */
1622 tcc_add_bcheck(s1);
1623
1624 if (!s1->nostdlib) {
81cd0cf6 grischka2011-08-06 16:11:12 +02001625 /* add crt end if not memory output */
1626 if (s1->output_type != TCC_OUTPUT_MEMORY)
e844fb11 grischka2011-08-06 16:49:30 +02001627 tcc_add_crt(s1, "crtn.o");
3a58c53e bellard2002-08-18 13:17:59 +00001628 }
38e8a230 bellard2004-10-23 22:53:42 +00001629}
1630
1631/* add various standard linker symbols (must be done after the
1632 sections are filled (for example after allocating common
1633 symbols)) */
88a3ccab grischka2009-12-20 01:53:49 +01001634ST_FUNC void tcc_add_linker_symbols(TCCState *s1)
38e8a230 bellard2004-10-23 22:53:42 +00001635{
1636 char buf[1024];
1637 int i;
1638 Section *s;
1639
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001640 add_elf_sym(symtab_section,
3a58c53e bellard2002-08-18 13:17:59 +00001641 text_section->data_offset, 0,
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001642 ELFW(ST_INFO)(STB_GLOBAL, STT_NOTYPE), 0,
3a58c53e bellard2002-08-18 13:17:59 +00001643 text_section->sh_num, "_etext");
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001644 add_elf_sym(symtab_section,
3a58c53e bellard2002-08-18 13:17:59 +00001645 data_section->data_offset, 0,
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001646 ELFW(ST_INFO)(STB_GLOBAL, STT_NOTYPE), 0,
3a58c53e bellard2002-08-18 13:17:59 +00001647 data_section->sh_num, "_edata");
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001648 add_elf_sym(symtab_section,
3a58c53e bellard2002-08-18 13:17:59 +00001649 bss_section->data_offset, 0,
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001650 ELFW(ST_INFO)(STB_GLOBAL, STT_NOTYPE), 0,
3a58c53e bellard2002-08-18 13:17:59 +00001651 bss_section->sh_num, "_end");
9d95be78 bellard2003-05-29 22:52:53 +00001652 /* horrible new standard ldscript defines */
1653 add_init_array_defines(s1, ".preinit_array");
1654 add_init_array_defines(s1, ".init_array");
1655 add_init_array_defines(s1, ".fini_array");
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001656
3a58c53e bellard2002-08-18 13:17:59 +00001657 /* add start and stop symbols for sections whose name can be
1658 expressed in C */
e4c7dd5e bellard2002-11-02 14:13:21 +00001659 for(i = 1; i < s1->nb_sections; i++) {
1660 s = s1->sections[i];
3a58c53e bellard2002-08-18 13:17:59 +00001661 if (s->sh_type == SHT_PROGBITS &&
1662 (s->sh_flags & SHF_ALLOC)) {
1663 const char *p;
1664 int ch;
1665
1666 /* check if section name can be expressed in C */
1667 p = s->name;
1668 for(;;) {
1669 ch = *p;
1670 if (!ch)
1671 break;
1672 if (!isid(ch) && !isnum(ch))
1673 goto next_sec;
1674 p++;
1675 }
1676 snprintf(buf, sizeof(buf), "__start_%s", s->name);
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001677 add_elf_sym(symtab_section,
3a58c53e bellard2002-08-18 13:17:59 +00001678 0, 0,
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001679 ELFW(ST_INFO)(STB_GLOBAL, STT_NOTYPE), 0,
3a58c53e bellard2002-08-18 13:17:59 +00001680 s->sh_num, buf);
1681 snprintf(buf, sizeof(buf), "__stop_%s", s->name);
1682 add_elf_sym(symtab_section,
1683 s->data_offset, 0,
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09001684 ELFW(ST_INFO)(STB_GLOBAL, STT_NOTYPE), 0,
3a58c53e bellard2002-08-18 13:17:59 +00001685 s->sh_num, buf);
1686 }
1687 next_sec: ;
1688 }
1689}
1690
38e8a230 bellard2004-10-23 22:53:42 +00001691static void tcc_output_binary(TCCState *s1, FILE *f,
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08001692 const int *sec_order)
38e8a230 bellard2004-10-23 22:53:42 +00001693{
1694 Section *s;
1695 int i, offset, size;
1696
1697 offset = 0;
1698 for(i=1;i<s1->nb_sections;i++) {
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08001699 s = s1->sections[sec_order[i]];
38e8a230 bellard2004-10-23 22:53:42 +00001700 if (s->sh_type != SHT_NOBITS &&
1701 (s->sh_flags & SHF_ALLOC)) {
1702 while (offset < s->sh_offset) {
1703 fputc(0, f);
1704 offset++;
1705 }
1706 size = s->sh_size;
1707 fwrite(s->data, 1, size, f);
1708 offset += size;
1709 }
1710 }
1711}
1712
5c233f2c mingodad2014-03-28 21:07:06 +00001713#if defined(__FreeBSD__) || defined(__FreeBSD_kernel__)
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08001714#define HAVE_PHDR 1
1715#define EXTRA_RELITEMS 14
55cb2170
LR
Luigi Rizzo2009-11-29 03:25:29 +01001716
1717/* move the relocation value from .dynsym to .got */
1718void patch_dynsym_undef(TCCState *s1, Section *s)
1719{
1720 uint32_t *gotd = (void *)s1->got->data;
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08001721 ElfW(Sym) *sym;
55cb2170 Luigi Rizzo2009-11-29 03:25:29 +01001722
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001723 gotd += 3; /* dummy entries in .got */
55cb2170 Luigi Rizzo2009-11-29 03:25:29 +01001724 /* relocate symbols in .dynsym */
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08001725 for_each_elem(s, 1, sym, ElfW(Sym)) {
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08001726 if (sym->st_shndx == SHN_UNDEF) {
1727 *gotd++ = sym->st_value + 6; /* XXX 6 is magic ? */
1728 sym->st_value = 0;
1729 }
55cb2170
LR
Luigi Rizzo2009-11-29 03:25:29 +01001730 }
1731}
1732#else
f2c8491f Michael Matz2014-04-03 18:00:44 +02001733#define HAVE_PHDR 1
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001734#define EXTRA_RELITEMS 9
ab7ed48e
DG
Daniel Glöckner2010-06-23 00:20:32 +02001735
1736/* zero plt offsets of weak symbols in .dynsym */
1737void patch_dynsym_undef(TCCState *s1, Section *s)
1738{
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08001739 ElfW(Sym) *sym;
ab7ed48e Daniel Glöckner2010-06-23 00:20:32 +02001740
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08001741 for_each_elem(s, 1, sym, ElfW(Sym))
ab7ed48e
DG
Daniel Glöckner2010-06-23 00:20:32 +02001742 if (sym->st_shndx == SHN_UNDEF && ELFW(ST_BIND)(sym->st_info) == STB_WEAK)
1743 sym->st_value = 0;
1744}
55cb2170
LR
Luigi Rizzo2009-11-29 03:25:29 +01001745#endif
1746
d63ec6f2
AGR
Ali Gholami Rudi2010-02-04 23:08:01 +03301747ST_FUNC void fill_got_entry(TCCState *s1, ElfW_Rel *rel)
1748{
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08001749 int sym_index = ELFW(R_SYM) (rel->r_info);
1750 ElfW(Sym) *sym = &((ElfW(Sym) *) symtab_section->data)[sym_index];
1751 unsigned long offset;
1752
1753 if (sym_index >= s1->nb_sym_attrs)
1754 return;
1755 offset = s1->sym_attrs[sym_index].got_offset;
1756 section_reserve(s1->got, offset + PTR_SIZE);
d2cf970a grischka2010-04-13 18:30:01 +02001757#ifdef TCC_TARGET_X86_64
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08001758 /* only works for x86-64 */
1759 put32(s1->got->data + offset + 4, sym->st_value >> 32);
d2cf970a grischka2010-04-13 18:30:01 +02001760#endif
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001761 put32(s1->got->data + offset, sym->st_value & 0xffffffff);
d63ec6f2
AGR
Ali Gholami Rudi2010-02-04 23:08:01 +03301762}
1763
6e0a658e grischka2014-05-08 17:32:29 +02001764/* Perform relocation to GOT or PLT entries */
d63ec6f2
AGR
Ali Gholami Rudi2010-02-04 23:08:01 +03301765ST_FUNC void fill_got(TCCState *s1)
1766{
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001767 Section *s;
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08001768 ElfW_Rel *rel;
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08001769 int i;
1770
1771 for(i = 1; i < s1->nb_sections; i++) {
1772 s = s1->sections[i];
1773 if (s->sh_type != SHT_RELX)
1774 continue;
1775 /* no need to handle got relocations */
1776 if (s->link != symtab_section)
1777 continue;
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08001778 for_each_elem(s, 0, rel, ElfW_Rel) {
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08001779 switch (ELFW(R_TYPE) (rel->r_info)) {
1780 case R_X86_64_GOT32:
1781 case R_X86_64_GOTPCREL:
1782 case R_X86_64_PLT32:
1783 fill_got_entry(s1, rel);
1784 break;
1785 }
1786 }
1787 }
d63ec6f2
AGR
Ali Gholami Rudi2010-02-04 23:08:01 +03301788}
1789
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001790/* Bind symbols of executable: resolve undefined symbols from exported symbols
1791 in shared libraries and export non local defined symbols to shared libraries
1792 if -rdynamic switch was given on command line */
1793static void bind_exe_dynsyms(TCCState *s1)
3a58c53e bellard2002-08-18 13:17:59 +00001794{
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001795 const char *name;
1796 int sym_index, index;
1797 ElfW(Sym) *sym, *esym;
1798 int type;
e5a706a0 Thomas Preud'homme2014-02-02 20:02:11 +08001799
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001800 /* Resolve undefined symbols from dynamic symbols. When there is a match:
1801 - if STT_FUNC or STT_GNU_IFUNC symbol -> add it in PLT
1802 - if STT_OBJECT symbol -> add it in .bss section with suitable reloc */
1803 for_each_elem(symtab_section, 1, sym, ElfW(Sym)) {
1804 if (sym->st_shndx == SHN_UNDEF) {
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +08001805 name = (char *) symtab_section->link->data + sym->st_name;
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001806 sym_index = find_elf_sym(s1->dynsymtab_section, name);
1807 if (sym_index) {
1808 esym = &((ElfW(Sym) *)s1->dynsymtab_section->data)[sym_index];
1809 type = ELFW(ST_TYPE)(esym->st_info);
1810 if ((type == STT_FUNC) || (type == STT_GNU_IFUNC)) {
1811 /* Indirect functions shall have STT_FUNC type in executable
1812 * dynsym section. Indeed, a dlsym call following a lazy
1813 * resolution would pick the symbol value from the
1814 * executable dynsym entry which would contain the address
1815 * of the function wanted by the caller of dlsym instead of
1816 * the address of the function that would return that
1817 * address */
1818 put_got_entry(s1, R_JMP_SLOT, esym->st_size,
1819 ELFW(ST_INFO)(STB_GLOBAL,STT_FUNC),
1820 sym - (ElfW(Sym) *)symtab_section->data);
1821 } else if (type == STT_OBJECT) {
1822 unsigned long offset;
1823 ElfW(Sym) *dynsym;
1824 offset = bss_section->data_offset;
1825 /* XXX: which alignment ? */
1826 offset = (offset + 16 - 1) & -16;
1827 index = put_elf_sym(s1->dynsym, offset, esym->st_size,
1828 esym->st_info, 0, bss_section->sh_num,
1829 name);
1830 /* Ensure R_COPY works for weak symbol aliases */
1831 if (ELFW(ST_BIND)(esym->st_info) == STB_WEAK) {
1832 for_each_elem(s1->dynsymtab_section, 1, dynsym, ElfW(Sym)) {
1833 if ((dynsym->st_value == esym->st_value)
1834 && (ELFW(ST_BIND)(dynsym->st_info) == STB_GLOBAL)) {
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +08001835 char *dynname = (char *) s1->dynsymtab_section->link->data
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001836 + dynsym->st_name;
1837 put_elf_sym(s1->dynsym, offset, dynsym->st_size,
1838 dynsym->st_info, 0,
1839 bss_section->sh_num, dynname);
1840 break;
3a58c53e bellard2002-08-18 13:17:59 +00001841 }
1842 }
1843 }
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001844 put_elf_reloc(s1->dynsym, bss_section,
1845 offset, R_COPY, index);
1846 offset += esym->st_size;
1847 bss_section->data_offset = offset;
3a58c53e bellard2002-08-18 13:17:59 +00001848 }
1849 } else {
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001850 /* STB_WEAK undefined symbols are accepted */
1851 /* XXX: _fp_hw seems to be part of the ABI, so we ignore it */
1852 if (ELFW(ST_BIND)(sym->st_info) == STB_WEAK ||
1853 !strcmp(name, "_fp_hw")) {
1854 } else {
1855 tcc_error_noabort("undefined symbol '%s'", name);
3a58c53e bellard2002-08-18 13:17:59 +00001856 }
1857 }
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001858 } else if (s1->rdynamic && ELFW(ST_BIND)(sym->st_info) != STB_LOCAL) {
1859 /* if -rdynamic option, then export all non local symbols */
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +08001860 name = (char *) symtab_section->link->data + sym->st_name;
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001861 put_elf_sym(s1->dynsym, sym->st_value, sym->st_size, sym->st_info,
1862 0, sym->st_shndx, name);
1863 }
1864 }
1865}
3a58c53e bellard2002-08-18 13:17:59 +00001866
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001867/* Bind symbols of libraries: export non local symbols of executable that
1868 resolve undefined symbols of shared libraries */
1869static void bind_libs_dynsyms(TCCState *s1)
1870{
1871 const char *name;
1872 int sym_index;
1873 ElfW(Sym) *sym, *esym;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08001874
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001875 /* now look at unresolved dynamic symbols and export
1876 corresponding symbol */
1877 for_each_elem(s1->dynsymtab_section, 1, esym, ElfW(Sym)) {
9336fa7a
TP
Thomas Preud'homme2015-04-18 15:28:02 +08001878 name = (char *) s1->dynsymtab_section->link->data + esym->st_name;
1879 sym_index = find_elf_sym(symtab_section, name);
1880 if (sym_index) {
1881 /* XXX: avoid adding a symbol if already present because of
1882 -rdynamic ? */
1883 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
1884 if (sym->st_shndx != SHN_UNDEF)
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001885 put_elf_sym(s1->dynsym, sym->st_value, sym->st_size,
1886 sym->st_info, 0, sym->st_shndx, name);
9336fa7a
TP
Thomas Preud'homme2015-04-18 15:28:02 +08001887 } else if (esym->st_shndx == SHN_UNDEF) {
1888 /* weak symbols can stay undefined */
1889 if (ELFW(ST_BIND)(esym->st_info) != STB_WEAK)
1890 tcc_warning("undefined dynamic symbol '%s'", name);
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001891 }
1892 }
1893}
e81569bc grischka2009-12-19 22:08:15 +01001894
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001895/* Export all non local symbols (for shared libraries) */
1896static void export_global_syms(TCCState *s1)
1897{
1898 int nb_syms, dynindex, index;
1899 const char *name;
1900 ElfW(Sym) *sym;
e81569bc grischka2009-12-19 22:08:15 +01001901
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001902 nb_syms = symtab_section->data_offset / sizeof(ElfW(Sym));
1903 s1->symtab_to_dynsym = tcc_mallocz(sizeof(int) * nb_syms);
1904 for_each_elem(symtab_section, 1, sym, ElfW(Sym)) {
1905 if (ELFW(ST_BIND)(sym->st_info) != STB_LOCAL) {
080ad7e6
MM
Michael Matz2014-03-31 03:45:35 +02001906 name = (char *) symtab_section->link->data + sym->st_name;
1907 dynindex = put_elf_sym(s1->dynsym, sym->st_value, sym->st_size,
1908 sym->st_info, 0, sym->st_shndx, name);
1909 index = sym - (ElfW(Sym) *) symtab_section->data;
1910 s1->symtab_to_dynsym[index] = dynindex;
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08001911 }
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08001912 }
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08001913}
3a58c53e bellard2002-08-18 13:17:59 +00001914
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001915/* relocate the PLT: compute addresses and offsets in the PLT now that final
1916 address for PLT and GOT are known (see fill_program_header) */
9750d0b7 Michael Matz2014-04-06 00:30:22 +02001917ST_FUNC void relocate_plt(TCCState *s1)
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001918{
1919 uint8_t *p, *p_end;
e5a706a0 Thomas Preud'homme2014-02-02 20:02:11 +08001920
9750d0b7
MM
Michael Matz2014-04-06 00:30:22 +02001921 if (!s1->plt)
1922 return;
1923
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001924 p = s1->plt->data;
1925 p_end = p + s1->plt->data_offset;
1926 if (p < p_end) {
1927#if defined(TCC_TARGET_I386)
1928 put32(p + 2, get32(p + 2) + s1->got->sh_addr);
1929 put32(p + 8, get32(p + 8) + s1->got->sh_addr);
1930 p += 16;
1931 while (p < p_end) {
1932 put32(p + 2, get32(p + 2) + s1->got->sh_addr);
1933 p += 16;
1934 }
1935#elif defined(TCC_TARGET_X86_64)
1936 int x = s1->got->sh_addr - s1->plt->sh_addr - 6;
1937 put32(p + 2, get32(p + 2) + x);
1938 put32(p + 8, get32(p + 8) + x - 6);
1939 p += 16;
1940 while (p < p_end) {
1941 put32(p + 2, get32(p + 2) + x + s1->plt->data - p);
1942 p += 16;
1943 }
1944#elif defined(TCC_TARGET_ARM)
1945 int x;
1946 x=s1->got->sh_addr - s1->plt->sh_addr - 12;
1947 p += 16;
1948 while (p < p_end) {
1949 if (get32(p) == 0x46c04778) /* PLT Thumb stub present */
1950 p += 4;
1951 put32(p + 12, x + get32(p + 12) + s1->plt->data - p);
1952 p += 16;
1953 }
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +00001954#elif defined(TCC_TARGET_ARM64)
1955 uint64_t plt = s1->plt->sh_addr;
1956 uint64_t got = s1->got->sh_addr;
1957 uint64_t off = (got >> 12) - (plt >> 12);
6d055312
MM
Michael Matz2015-02-22 05:59:06 +01001958 if ((off + ((uint32_t)1 << 20)) >> 21)
1959 tcc_error("Failed relocating PLT (off=0x%lx, got=0x%lx, plt=0x%lx)", off, got, plt);
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +00001960 put32(p, 0xa9bf7bf0); // stp x16,x30,[sp,#-16]!
1961 put32(p + 4, (0x90000010 | // adrp x16,...
1962 (off & 0x1ffffc) << 3 | (off & 3) << 29));
1963 put32(p + 8, (0xf9400211 | // ldr x17,[x16,#...]
1964 (got & 0xff8) << 7));
1965 put32(p + 12, (0x91000210 | // add x16,x16,#...
1966 (got & 0xfff) << 10));
1967 put32(p + 16, 0xd61f0220); // br x17
1968 put32(p + 20, 0xd503201f); // nop
1969 put32(p + 24, 0xd503201f); // nop
1970 put32(p + 28, 0xd503201f); // nop
1971 p += 32;
1972 while (p < p_end) {
1973 uint64_t pc = plt + (p - s1->plt->data);
1974 uint64_t addr = got +
1975 (get32(p) | (uint64_t)get32(p + 4) << 32);
1976 uint32_t off = (addr >> 12) - (pc >> 12);
6d055312
MM
Michael Matz2015-02-22 05:59:06 +01001977 if ((off + ((uint32_t)1 << 20)) >> 21)
1978 tcc_error("Failed relocating PLT (off=0x%lx, addr=0x%lx, pc=0x%lx)", off, addr, pc);
b14ef0e2
EGE
Edmund Grimley Evans2015-02-13 18:58:31 +00001979 put32(p, (0x90000010 | // adrp x16,...
1980 (off & 0x1ffffc) << 3 | (off & 3) << 29));
1981 put32(p + 4, (0xf9400211 | // ldr x17,[x16,#...]
1982 (addr & 0xff8) << 7));
1983 put32(p + 8, (0x91000210 | // add x16,x16,#...
1984 (addr & 0xfff) << 10));
1985 put32(p + 12, 0xd61f0220); // br x17
1986 p += 16;
1987 }
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001988#elif defined(TCC_TARGET_C67)
1989 /* XXX: TODO */
1990#else
1991#error unsupported CPU
1992#endif
1993 }
1994}
e5a706a0 Thomas Preud'homme2014-02-02 20:02:11 +08001995
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001996/* Allocate strings for section names and decide if an unallocated section
1997 should be output.
e5a706a0 Thomas Preud'homme2014-02-02 20:02:11 +08001998
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08001999 NOTE: the strsec section comes last, so its size is also correct ! */
2000static void alloc_sec_names(TCCState *s1, int file_type, Section *strsec)
2001{
2002 int i;
2003 Section *s;
3a58c53e bellard2002-08-18 13:17:59 +00002004
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002005 /* Allocate strings for section names */
e4c7dd5e bellard2002-11-02 14:13:21 +00002006 for(i = 1; i < s1->nb_sections; i++) {
2007 s = s1->sections[i];
3a58c53e bellard2002-08-18 13:17:59 +00002008 s->sh_name = put_elf_str(strsec, s->name);
2009 /* when generating a DLL, we include relocations but we may
2010 patch them */
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08002011 if (file_type == TCC_OUTPUT_DLL &&
2012 s->sh_type == SHT_RELX &&
3a58c53e bellard2002-08-18 13:17:59 +00002013 !(s->sh_flags & SHF_ALLOC)) {
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002014 /* gr: avoid bogus relocs for empty (debug) sections */
0d598aca grischka2008-04-27 18:48:19 +00002015 if (s1->sections[s->sh_info]->sh_flags & SHF_ALLOC)
2016 prepare_dynamic_rel(s1, s);
f9181416 grischka2009-05-11 18:45:44 +02002017 else if (s1->do_debug)
0d598aca grischka2008-04-27 18:48:19 +00002018 s->sh_size = s->data_offset;
f9181416 grischka2009-05-11 18:45:44 +02002019 } else if (s1->do_debug ||
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002020 file_type == TCC_OUTPUT_OBJ ||
089ce623 seyko2015-04-10 06:49:24 +03002021 file_type == TCC_OUTPUT_EXE ||
3a58c53e bellard2002-08-18 13:17:59 +00002022 (s->sh_flags & SHF_ALLOC) ||
e4c7dd5e bellard2002-11-02 14:13:21 +00002023 i == (s1->nb_sections - 1)) {
3a58c53e bellard2002-08-18 13:17:59 +00002024 /* we output all sections if debug or object file */
2025 s->sh_size = s->data_offset;
2026 }
2027 }
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002028}
3a58c53e bellard2002-08-18 13:17:59 +00002029
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002030/* Info to be copied in dynamic section */
2031struct dyn_inf {
2032 Section *dynamic;
2033 Section *dynstr;
2034 unsigned long dyn_rel_off;
2035 addr_t rel_addr;
2036 addr_t rel_size;
2037#if defined(__FreeBSD__) || defined(__FreeBSD_kernel__)
2038 addr_t bss_addr;
2039 addr_t bss_size;
2040#endif
2041};
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08002042
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002043/* Assign sections to segments and decide how are sections laid out when loaded
2044 in memory. This function also fills corresponding program headers. */
2045static int layout_sections(TCCState *s1, ElfW(Phdr) *phdr, int phnum,
63376d77
MC
Matteo Cypriani2014-09-07 11:29:38 -04002046 Section *interp, Section* strsec,
2047 struct dyn_inf *dyninf, int *sec_order)
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002048{
2049 int i, j, k, file_type, sh_order_index, file_offset;
6e0a658e grischka2014-05-08 17:32:29 +02002050 unsigned long s_align;
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002051 long long tmp;
2052 addr_t addr;
2053 ElfW(Phdr) *ph;
2054 Section *s;
2055
2056 file_type = s1->output_type;
2057 sh_order_index = 1;
6e0a658e grischka2014-05-08 17:32:29 +02002058 file_offset = 0;
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002059 if (s1->output_format == TCC_OUTPUT_FORMAT_ELF)
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002060 file_offset = sizeof(ElfW(Ehdr)) + phnum * sizeof(ElfW(Phdr));
6e0a658e grischka2014-05-08 17:32:29 +02002061 s_align = ELF_PAGE_SIZE;
2062 if (s1->section_align)
2063 s_align = s1->section_align;
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002064
3a58c53e bellard2002-08-18 13:17:59 +00002065 if (phnum > 0) {
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002066 if (s1->has_text_addr) {
ff3a5daf bellard2004-10-18 00:20:26 +00002067 int a_offset, p_offset;
2068 addr = s1->text_addr;
2069 /* we ensure that (addr % ELF_PAGE_SIZE) == file_offset %
2070 ELF_PAGE_SIZE */
6e0a658e grischka2014-05-08 17:32:29 +02002071 a_offset = (int) (addr & (s_align - 1));
2072 p_offset = file_offset & (s_align - 1);
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002073 if (a_offset < p_offset)
6e0a658e grischka2014-05-08 17:32:29 +02002074 a_offset += s_align;
ff3a5daf bellard2004-10-18 00:20:26 +00002075 file_offset += (a_offset - p_offset);
2076 } else {
2077 if (file_type == TCC_OUTPUT_DLL)
2078 addr = 0;
2079 else
2080 addr = ELF_START_ADDR;
2081 /* compute address after headers */
6e0a658e grischka2014-05-08 17:32:29 +02002082 addr += (file_offset & (s_align - 1));
ff3a5daf bellard2004-10-18 00:20:26 +00002083 }
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002084
e5a706a0 Thomas Preud'homme2014-02-02 20:02:11 +08002085 ph = &phdr[0];
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002086 /* Leave one program headers for the program interpreter and one for
2087 the program header table itself if needed. These are done later as
2088 they require section layout to be done first. */
e5a706a0
TP
Thomas Preud'homme2014-02-02 20:02:11 +08002089 if (interp)
2090 ph += 1 + HAVE_PHDR;
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08002091
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002092 /* dynamic relocation table information, for .dynamic section */
2093 dyninf->rel_addr = dyninf->rel_size = 0;
2094#if defined(__FreeBSD__) || defined(__FreeBSD_kernel__)
2095 dyninf->bss_addr = dyninf->bss_size = 0;
2096#endif
2097
cf02f920
TP
Thomas Preud'homme2013-11-03 18:55:54 +08002098 for(j = 0; j < 2; j++) {
2099 ph->p_type = PT_LOAD;
1c4afd13 Thomas Preud'homme2013-10-29 22:10:02 +08002100 if (j == 0)
cf02f920
TP
Thomas Preud'homme2013-11-03 18:55:54 +08002101 ph->p_flags = PF_R | PF_X;
2102 else
2103 ph->p_flags = PF_R | PF_W;
6e0a658e grischka2014-05-08 17:32:29 +02002104 ph->p_align = s_align;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002105
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002106 /* Decide the layout of sections loaded in memory. This must
2107 be done before program headers are filled since they contain
2108 info about the layout. We do the following ordering: interp,
2109 symbol tables, relocations, progbits, nobits */
3a58c53e bellard2002-08-18 13:17:59 +00002110 /* XXX: do faster and simpler sorting */
2111 for(k = 0; k < 5; k++) {
e4c7dd5e bellard2002-11-02 14:13:21 +00002112 for(i = 1; i < s1->nb_sections; i++) {
2113 s = s1->sections[i];
3a58c53e bellard2002-08-18 13:17:59 +00002114 /* compute if section should be included */
2115 if (j == 0) {
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002116 if ((s->sh_flags & (SHF_ALLOC | SHF_WRITE)) !=
3a58c53e bellard2002-08-18 13:17:59 +00002117 SHF_ALLOC)
2118 continue;
1c4afd13 Thomas Preud'homme2013-10-29 22:10:02 +08002119 } else {
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002120 if ((s->sh_flags & (SHF_ALLOC | SHF_WRITE)) !=
cf02f920 Thomas Preud'homme2013-11-03 18:55:54 +08002121 (SHF_ALLOC | SHF_WRITE))
1c4afd13 Thomas Preud'homme2013-10-29 22:10:02 +08002122 continue;
3a58c53e bellard2002-08-18 13:17:59 +00002123 }
2124 if (s == interp) {
2125 if (k != 0)
2126 continue;
2127 } else if (s->sh_type == SHT_DYNSYM ||
2128 s->sh_type == SHT_STRTAB ||
2129 s->sh_type == SHT_HASH) {
2130 if (k != 1)
2131 continue;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002132 } else if (s->sh_type == SHT_RELX) {
3a58c53e bellard2002-08-18 13:17:59 +00002133 if (k != 2)
2134 continue;
2135 } else if (s->sh_type == SHT_NOBITS) {
2136 if (k != 4)
2137 continue;
2138 } else {
2139 if (k != 3)
2140 continue;
2141 }
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002142 sec_order[sh_order_index++] = i;
3a58c53e bellard2002-08-18 13:17:59 +00002143
2144 /* section matches: we align it and add its size */
ff3a5daf bellard2004-10-18 00:20:26 +00002145 tmp = addr;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002146 addr = (addr + s->sh_addralign - 1) &
3a58c53e bellard2002-08-18 13:17:59 +00002147 ~(s->sh_addralign - 1);
a0db7162 Andrew Mulbrook2012-03-03 11:10:15 -06002148 file_offset += (int) ( addr - tmp );
3a58c53e bellard2002-08-18 13:17:59 +00002149 s->sh_offset = file_offset;
3a58c53e bellard2002-08-18 13:17:59 +00002150 s->sh_addr = addr;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002151
3a58c53e bellard2002-08-18 13:17:59 +00002152 /* update program header infos */
2153 if (ph->p_offset == 0) {
2154 ph->p_offset = file_offset;
2155 ph->p_vaddr = addr;
2156 ph->p_paddr = ph->p_vaddr;
2157 }
2158 /* update dynamic relocation infos */
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002159 if (s->sh_type == SHT_RELX) {
776364f3 Thomas Preud'homme2010-09-10 21:09:07 +02002160#if defined(__FreeBSD__) || defined(__FreeBSD_kernel__)
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002161 if (!strcmp(strsec->data + s->sh_name, ".rel.got")) {
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002162 dyninf->rel_addr = addr;
2163 dyninf->rel_size += s->sh_size; /* XXX only first rel. */
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08002164 }
2165 if (!strcmp(strsec->data + s->sh_name, ".rel.bss")) {
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002166 dyninf->bss_addr = addr;
2167 dyninf->bss_size = s->sh_size; /* XXX only first rel. */
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002168 }
55cb2170 Luigi Rizzo2009-11-29 03:25:29 +01002169#else
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002170 if (dyninf->rel_size == 0)
2171 dyninf->rel_addr = addr;
2172 dyninf->rel_size += s->sh_size;
55cb2170 Luigi Rizzo2009-11-29 03:25:29 +01002173#endif
3a58c53e bellard2002-08-18 13:17:59 +00002174 }
2175 addr += s->sh_size;
2176 if (s->sh_type != SHT_NOBITS)
2177 file_offset += s->sh_size;
2178 }
2179 }
f2c8491f
MM
Michael Matz2014-04-03 18:00:44 +02002180 if (j == 0) {
2181 /* Make the first PT_LOAD segment include the program
2182 headers itself (and the ELF header as well), it'll
2183 come out with same memory use but will make various
2184 tools like binutils strip work better. */
2185 ph->p_offset &= ~(ph->p_align - 1);
2186 ph->p_vaddr &= ~(ph->p_align - 1);
2187 ph->p_paddr &= ~(ph->p_align - 1);
2188 }
3a58c53e bellard2002-08-18 13:17:59 +00002189 ph->p_filesz = file_offset - ph->p_offset;
2190 ph->p_memsz = addr - ph->p_vaddr;
2191 ph++;
38e8a230 bellard2004-10-23 22:53:42 +00002192 if (j == 0) {
2193 if (s1->output_format == TCC_OUTPUT_FORMAT_ELF) {
2194 /* if in the middle of a page, we duplicate the page in
2195 memory so that one copy is RX and the other is RW */
6e0a658e grischka2014-05-08 17:32:29 +02002196 if ((addr & (s_align - 1)) != 0)
2197 addr += s_align;
38e8a230 bellard2004-10-23 22:53:42 +00002198 } else {
6e0a658e grischka2014-05-08 17:32:29 +02002199 addr = (addr + s_align - 1) & ~(s_align - 1);
2200 file_offset = (file_offset + s_align - 1) & ~(s_align - 1);
38e8a230 bellard2004-10-23 22:53:42 +00002201 }
2202 }
3a58c53e bellard2002-08-18 13:17:59 +00002203 }
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002204 }
3a58c53e bellard2002-08-18 13:17:59 +00002205
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002206 /* all other sections come after */
2207 for(i = 1; i < s1->nb_sections; i++) {
2208 s = s1->sections[i];
2209 if (phnum > 0 && (s->sh_flags & SHF_ALLOC))
2210 continue;
2211 sec_order[sh_order_index++] = i;
55cb2170 Luigi Rizzo2009-11-29 03:25:29 +01002212
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002213 file_offset = (file_offset + s->sh_addralign - 1) &
2214 ~(s->sh_addralign - 1);
2215 s->sh_offset = file_offset;
2216 if (s->sh_type != SHT_NOBITS)
2217 file_offset += s->sh_size;
2218 }
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08002219
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002220 return file_offset;
2221}
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08002222
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002223static void fill_unloadable_phdr(ElfW(Phdr) *phdr, int phnum, Section *interp,
2224 Section *dynamic)
2225{
2226 ElfW(Phdr) *ph;
2227
2228 /* if interpreter, then add corresponding program header */
2229 if (interp) {
2230 ph = &phdr[0];
2231
2232 if (HAVE_PHDR)
2233 {
2234 int len = phnum * sizeof(ElfW(Phdr));
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002235
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002236 ph->p_type = PT_PHDR;
2237 ph->p_offset = sizeof(ElfW(Ehdr));
2238 ph->p_vaddr = interp->sh_addr - len;
3a58c53e bellard2002-08-18 13:17:59 +00002239 ph->p_paddr = ph->p_vaddr;
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002240 ph->p_filesz = ph->p_memsz = len;
2241 ph->p_flags = PF_R | PF_X;
2242 ph->p_align = 4; /* interp->sh_addralign; */
2243 ph++;
2244 }
3a58c53e bellard2002-08-18 13:17:59 +00002245
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002246 ph->p_type = PT_INTERP;
2247 ph->p_offset = interp->sh_offset;
2248 ph->p_vaddr = interp->sh_addr;
2249 ph->p_paddr = ph->p_vaddr;
2250 ph->p_filesz = interp->sh_size;
2251 ph->p_memsz = interp->sh_size;
2252 ph->p_flags = PF_R;
2253 ph->p_align = interp->sh_addralign;
2254 }
3a58c53e bellard2002-08-18 13:17:59 +00002255
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002256 /* if dynamic section, then add corresponding program header */
2257 if (dynamic) {
2258 ph = &phdr[phnum - 1];
2259
2260 ph->p_type = PT_DYNAMIC;
2261 ph->p_offset = dynamic->sh_offset;
2262 ph->p_vaddr = dynamic->sh_addr;
2263 ph->p_paddr = ph->p_vaddr;
2264 ph->p_filesz = dynamic->sh_size;
2265 ph->p_memsz = dynamic->sh_size;
2266 ph->p_flags = PF_R | PF_W;
2267 ph->p_align = dynamic->sh_addralign;
2268 }
2269}
c2e6daaf bellard2003-04-13 14:38:05 +00002270
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002271/* Fill the dynamic section with tags describing the address and size of
2272 sections */
2273static void fill_dynamic(TCCState *s1, struct dyn_inf *dyninf)
2274{
2275 Section *dynamic;
c2e6daaf bellard2003-04-13 14:38:05 +00002276
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002277 dynamic = dyninf->dynamic;
3a58c53e bellard2002-08-18 13:17:59 +00002278
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002279 /* put dynamic section entries */
2280 dynamic->data_offset = dyninf->dyn_rel_off;
2281 put_dt(dynamic, DT_HASH, s1->dynsym->hash->sh_addr);
2282 put_dt(dynamic, DT_STRTAB, dyninf->dynstr->sh_addr);
2283 put_dt(dynamic, DT_SYMTAB, s1->dynsym->sh_addr);
2284 put_dt(dynamic, DT_STRSZ, dyninf->dynstr->data_offset);
2285 put_dt(dynamic, DT_SYMENT, sizeof(ElfW(Sym)));
b14ef0e2 Edmund Grimley Evans2015-02-13 18:58:31 +00002286#if defined(TCC_TARGET_ARM64) || defined(TCC_TARGET_X86_64)
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002287 put_dt(dynamic, DT_RELA, dyninf->rel_addr);
2288 put_dt(dynamic, DT_RELASZ, dyninf->rel_size);
2289 put_dt(dynamic, DT_RELAENT, sizeof(ElfW_Rel));
0a9873aa Shinichiro Hamaji2008-12-02 03:19:25 +09002290#else
776364f3 Thomas Preud'homme2010-09-10 21:09:07 +02002291#if defined(__FreeBSD__) || defined(__FreeBSD_kernel__)
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002292 put_dt(dynamic, DT_PLTGOT, s1->got->sh_addr);
2293 put_dt(dynamic, DT_PLTRELSZ, dyninf->rel_size);
2294 put_dt(dynamic, DT_JMPREL, dyninf->rel_addr);
2295 put_dt(dynamic, DT_PLTREL, DT_REL);
2296 put_dt(dynamic, DT_REL, dyninf->bss_addr);
2297 put_dt(dynamic, DT_RELSZ, dyninf->bss_size);
55cb2170 Luigi Rizzo2009-11-29 03:25:29 +01002298#else
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002299 put_dt(dynamic, DT_REL, dyninf->rel_addr);
2300 put_dt(dynamic, DT_RELSZ, dyninf->rel_size);
2301 put_dt(dynamic, DT_RELENT, sizeof(ElfW_Rel));
0a9873aa Shinichiro Hamaji2008-12-02 03:19:25 +09002302#endif
55cb2170 Luigi Rizzo2009-11-29 03:25:29 +01002303#endif
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002304 if (s1->do_debug)
2305 put_dt(dynamic, DT_DEBUG, 0);
2306 put_dt(dynamic, DT_NULL, 0);
2307}
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08002308
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002309/* Relocate remaining sections and symbols (that is those not related to
2310 dynamic linking) */
2311static int final_sections_reloc(TCCState *s1)
2312{
2313 int i;
2314 Section *s;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002315
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002316 relocate_syms(s1, 0);
2317
2318 if (s1->nb_errors != 0)
2319 return -1;
2320
2321 /* relocate sections */
2322 /* XXX: ignore sections with allocated relocations ? */
b5b82df3
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002323 for(i = 1; i < s1->nb_sections; i++) {
2324 s = s1->sections[i];
4ba7e5dc seyko2015-03-10 14:21:14 +03002325#ifdef TCC_TARGET_I386
09d4e4f4 seyko2015-03-03 14:39:27 +03002326 if (s->reloc && s != s1->got && (s->sh_flags & SHF_ALLOC)) //gr
4ba7e5dc seyko2015-03-10 14:21:14 +03002327 /* On X86 gdb 7.3 works in any case but gdb 6.6 will crash if SHF_ALLOC
2328 checking is removed */
2329#else
2330 if (s->reloc && s != s1->got)
2331 /* On X86_64 gdb 7.3 will crash if SHF_ALLOC checking is present */
2332#endif
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002333 relocate_section(s1, s);
2334 }
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002335
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002336 /* relocate relocation entries if the relocation tables are
2337 allocated in the executable */
2338 for(i = 1; i < s1->nb_sections; i++) {
2339 s = s1->sections[i];
2340 if ((s->sh_flags & SHF_ALLOC) &&
2341 s->sh_type == SHT_RELX) {
2342 relocate_rel(s1, s);
2343 }
e5a706a0 Thomas Preud'homme2014-02-02 20:02:11 +08002344 }
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002345 return 0;
2346}
e4c7dd5e bellard2002-11-02 14:13:21 +00002347
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002348/* Create an ELF file on disk.
2349 This function handle ELF specific layout requirements */
2350static void tcc_output_elf(TCCState *s1, FILE *f, int phnum, ElfW(Phdr) *phdr,
2351 int file_offset, int *sec_order)
2352{
2353 int i, shnum, offset, size, file_type;
2354 Section *s;
2355 ElfW(Ehdr) ehdr;
2356 ElfW(Shdr) shdr, *sh;
3a58c53e bellard2002-08-18 13:17:59 +00002357
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002358 file_type = s1->output_type;
2359 shnum = s1->nb_sections;
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08002360
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002361 memset(&ehdr, 0, sizeof(ehdr));
2362
2363 if (phnum > 0) {
2364 ehdr.e_phentsize = sizeof(ElfW(Phdr));
2365 ehdr.e_phnum = phnum;
2366 ehdr.e_phoff = sizeof(ElfW(Ehdr));
2367 }
3a58c53e bellard2002-08-18 13:17:59 +00002368
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002369 /* align to 4 */
2370 file_offset = (file_offset + 3) & -4;
2371
2372 /* fill header */
2373 ehdr.e_ident[0] = ELFMAG0;
2374 ehdr.e_ident[1] = ELFMAG1;
2375 ehdr.e_ident[2] = ELFMAG2;
2376 ehdr.e_ident[3] = ELFMAG3;
2377 ehdr.e_ident[4] = ELFCLASSW;
2378 ehdr.e_ident[5] = ELFDATA2LSB;
2379 ehdr.e_ident[6] = EV_CURRENT;
2380#if defined(__FreeBSD__) || defined(__FreeBSD_kernel__)
2381 ehdr.e_ident[EI_OSABI] = ELFOSABI_FREEBSD;
2382#endif
2383#ifdef TCC_TARGET_ARM
2384#ifdef TCC_ARM_EABI
2385 ehdr.e_ident[EI_OSABI] = 0;
2386 ehdr.e_flags = EF_ARM_EABI_VER4;
2387 if (file_type == TCC_OUTPUT_EXE || file_type == TCC_OUTPUT_DLL)
2388 ehdr.e_flags |= EF_ARM_HASENTRY;
2389 if (s1->float_abi == ARM_HARD_FLOAT)
2390 ehdr.e_flags |= EF_ARM_VFP_FLOAT;
2391 else
2392 ehdr.e_flags |= EF_ARM_SOFT_FLOAT;
2393#else
2394 ehdr.e_ident[EI_OSABI] = ELFOSABI_ARM;
2395#endif
2396#endif
2397 switch(file_type) {
2398 default:
2399 case TCC_OUTPUT_EXE:
2400 ehdr.e_type = ET_EXEC;
2401 ehdr.e_entry = get_elf_sym_addr(s1, "_start", 1);
2402 break;
2403 case TCC_OUTPUT_DLL:
2404 ehdr.e_type = ET_DYN;
2405 ehdr.e_entry = text_section->sh_addr; /* XXX: is it correct ? */
2406 break;
2407 case TCC_OUTPUT_OBJ:
2408 ehdr.e_type = ET_REL;
2409 break;
2410 }
2411 ehdr.e_machine = EM_TCC_TARGET;
2412 ehdr.e_version = EV_CURRENT;
2413 ehdr.e_shoff = file_offset;
2414 ehdr.e_ehsize = sizeof(ElfW(Ehdr));
2415 ehdr.e_shentsize = sizeof(ElfW(Shdr));
2416 ehdr.e_shnum = shnum;
2417 ehdr.e_shstrndx = shnum - 1;
2418
2419 fwrite(&ehdr, 1, sizeof(ElfW(Ehdr)), f);
2420 fwrite(phdr, 1, phnum * sizeof(ElfW(Phdr)), f);
2421 offset = sizeof(ElfW(Ehdr)) + phnum * sizeof(ElfW(Phdr));
2422
2423 sort_syms(s1, symtab_section);
2424 for(i = 1; i < s1->nb_sections; i++) {
2425 s = s1->sections[sec_order[i]];
2426 if (s->sh_type != SHT_NOBITS) {
2427 if (s->sh_type == SHT_DYNSYM)
2428 patch_dynsym_undef(s1, s);
2429 while (offset < s->sh_offset) {
2430 fputc(0, f);
2431 offset++;
3a58c53e bellard2002-08-18 13:17:59 +00002432 }
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002433 size = s->sh_size;
2434 fwrite(s->data, 1, size, f);
2435 offset += size;
3a58c53e bellard2002-08-18 13:17:59 +00002436 }
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002437 }
3a58c53e bellard2002-08-18 13:17:59 +00002438
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002439 /* output section headers */
2440 while (offset < ehdr.e_shoff) {
2441 fputc(0, f);
2442 offset++;
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08002443 }
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08002444
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002445 for(i = 0; i < s1->nb_sections; i++) {
2446 sh = &shdr;
2447 memset(sh, 0, sizeof(ElfW(Shdr)));
2448 s = s1->sections[i];
2449 if (s) {
2450 sh->sh_name = s->sh_name;
2451 sh->sh_type = s->sh_type;
2452 sh->sh_flags = s->sh_flags;
2453 sh->sh_entsize = s->sh_entsize;
2454 sh->sh_info = s->sh_info;
2455 if (s->link)
2456 sh->sh_link = s->link->sh_num;
2457 sh->sh_addralign = s->sh_addralign;
2458 sh->sh_addr = s->sh_addr;
2459 sh->sh_offset = s->sh_offset;
2460 sh->sh_size = s->sh_size;
2461 }
2462 fwrite(sh, 1, sizeof(ElfW(Shdr)), f);
2463 }
2464}
2465
2466/* Write an elf, coff or "binary" file */
2467static int tcc_write_elf_file(TCCState *s1, const char *filename, int phnum,
2468 ElfW(Phdr) *phdr, int file_offset, int *sec_order)
2469{
2470 int fd, mode, file_type;
2471 FILE *f;
2472
2473 file_type = s1->output_type;
3a58c53e bellard2002-08-18 13:17:59 +00002474 if (file_type == TCC_OUTPUT_OBJ)
2475 mode = 0666;
2476 else
2477 mode = 0777;
c27e76aa Changming Xu2011-03-03 21:09:18 +08002478 unlink(filename);
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002479 fd = open(filename, O_WRONLY | O_CREAT | O_TRUNC | O_BINARY, mode);
e4c7dd5e bellard2002-11-02 14:13:21 +00002480 if (fd < 0) {
bf374a5f grischka2011-08-11 17:07:56 +02002481 tcc_error_noabort("could not write '%s'", filename);
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002482 return -1;
e4c7dd5e bellard2002-11-02 14:13:21 +00002483 }
38e8a230 bellard2004-10-23 22:53:42 +00002484 f = fdopen(fd, "wb");
f9181416 grischka2009-05-11 18:45:44 +02002485 if (s1->verbose)
a327c7a5 grischka2008-03-31 19:49:14 +00002486 printf("<- %s\n", filename);
38e8a230 bellard2004-10-23 22:53:42 +00002487
2488#ifdef TCC_TARGET_COFF
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002489 if (s1->output_format == TCC_OUTPUT_FORMAT_COFF)
38e8a230 bellard2004-10-23 22:53:42 +00002490 tcc_output_coff(s1, f);
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002491 else
e5a706a0 Thomas Preud'homme2014-02-02 20:02:11 +08002492#endif
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002493 if (s1->output_format == TCC_OUTPUT_FORMAT_ELF)
2494 tcc_output_elf(s1, f, phnum, phdr, file_offset, sec_order);
2495 else
2496 tcc_output_binary(s1, f, sec_order);
2497 fclose(f);
2498
2499 return 0;
2500}
2501
2502/* Output an elf, coff or binary file */
2503/* XXX: suppress unneeded sections */
2504static int elf_output_file(TCCState *s1, const char *filename)
2505{
2506 int i, ret, phnum, shnum, file_type, file_offset, *sec_order;
2507 struct dyn_inf dyninf;
2508 ElfW(Phdr) *phdr;
2509 ElfW(Sym) *sym;
2510 Section *strsec, *interp, *dynamic, *dynstr;
2511
2512 file_type = s1->output_type;
2513 s1->nb_errors = 0;
2514
2515 /* if linking, also link in runtime libraries (libc, libgcc, etc.) */
2516 if (file_type != TCC_OUTPUT_OBJ) {
2517 tcc_add_runtime(s1);
2518 }
2519
2520 phdr = NULL;
2521 sec_order = NULL;
2522 interp = dynamic = dynstr = NULL; /* avoid warning */
2523 dyninf.dyn_rel_off = 0; /* avoid warning */
2524
2525 if (file_type != TCC_OUTPUT_OBJ) {
2526 relocate_common_syms();
2527
2528 tcc_add_linker_symbols(s1);
2529
2530 if (!s1->static_link) {
2531 if (file_type == TCC_OUTPUT_EXE) {
2532 char *ptr;
2533 /* allow override the dynamic loader */
2534 const char *elfint = getenv("LD_SO");
2535 if (elfint == NULL)
2536 elfint = DEFAULT_ELFINTERP(s1);
2537 /* add interpreter section only if executable */
2538 interp = new_section(s1, ".interp", SHT_PROGBITS, SHF_ALLOC);
2539 interp->sh_addralign = 1;
2540 ptr = section_ptr_add(interp, 1 + strlen(elfint));
2541 strcpy(ptr, elfint);
2542 }
2543
2544 /* add dynamic symbol table */
2545 s1->dynsym = new_symtab(s1, ".dynsym", SHT_DYNSYM, SHF_ALLOC,
2546 ".dynstr",
2547 ".hash", SHF_ALLOC);
2548 dynstr = s1->dynsym->link;
2549
2550 /* add dynamic section */
2551 dynamic = new_section(s1, ".dynamic", SHT_DYNAMIC,
2552 SHF_ALLOC | SHF_WRITE);
2553 dynamic->link = dynstr;
2554 dynamic->sh_entsize = sizeof(ElfW(Dyn));
2555
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002556 build_got(s1);
2557
2558 if (file_type == TCC_OUTPUT_EXE) {
2559 bind_exe_dynsyms(s1);
2560
2561 if (s1->nb_errors) {
2562 ret = -1;
2563 goto the_end;
38e8a230 bellard2004-10-23 22:53:42 +00002564 }
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002565
2566 bind_libs_dynsyms(s1);
2567 } else /* shared library case: simply export all global symbols */
2568 export_global_syms(s1);
2569
2570 build_got_entries(s1);
2571
2572 /* add a list of needed dlls */
2573 for(i = 0; i < s1->nb_loaded_dlls; i++) {
2574 DLLReference *dllref = s1->loaded_dlls[i];
2575 if (dllref->level == 0)
2576 put_dt(dynamic, DT_NEEDED, put_elf_str(dynstr, dllref->name));
3a58c53e bellard2002-08-18 13:17:59 +00002577 }
b5b82df3 Thomas Preud'homme2013-12-18 11:17:17 +08002578
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002579 if (s1->rpath)
2580 put_dt(dynamic, DT_RPATH, put_elf_str(dynstr, s1->rpath));
2581
2582 /* XXX: currently, since we do not handle PIC code, we
2583 must relocate the readonly segments */
2584 if (file_type == TCC_OUTPUT_DLL) {
2585 if (s1->soname)
2586 put_dt(dynamic, DT_SONAME, put_elf_str(dynstr, s1->soname));
2587 put_dt(dynamic, DT_TEXTREL, 0);
2588 }
2589
2590 if (s1->symbolic)
2591 put_dt(dynamic, DT_SYMBOLIC, 0);
2592
2593 /* add necessary space for other entries */
2594 dyninf.dyn_rel_off = dynamic->data_offset;
2595 dynamic->data_offset += sizeof(ElfW(Dyn)) * EXTRA_RELITEMS;
2596 } else {
2597 /* still need to build got entries in case of static link */
2598 build_got_entries(s1);
e5a706a0 Thomas Preud'homme2014-02-02 20:02:11 +08002599 }
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002600 }
2601
2602 /* we add a section for symbols */
2603 strsec = new_section(s1, ".shstrtab", SHT_STRTAB, 0);
2604 put_elf_str(strsec, "");
2605
2606 /* compute number of sections */
2607 shnum = s1->nb_sections;
2608
2609 /* this array is used to reorder sections in the output file */
2610 sec_order = tcc_malloc(sizeof(int) * shnum);
2611 sec_order[0] = 0;
2612
2613 /* compute number of program headers */
2614 switch(file_type) {
2615 default:
2616 case TCC_OUTPUT_OBJ:
2617 phnum = 0;
2618 break;
2619 case TCC_OUTPUT_EXE:
2620 if (!s1->static_link)
2621 phnum = 4 + HAVE_PHDR;
2622 else
2623 phnum = 2;
2624 break;
2625 case TCC_OUTPUT_DLL:
2626 phnum = 3;
2627 break;
2628 }
2629
2630 /* Allocate strings for section names */
2631 alloc_sec_names(s1, file_type, strsec);
2632
2633 /* allocate program segment headers */
2634 phdr = tcc_mallocz(phnum * sizeof(ElfW(Phdr)));
2635
2636 /* compute section to program header mapping */
63376d77
MC
Matteo Cypriani2014-09-07 11:29:38 -04002637 file_offset = layout_sections(s1, phdr, phnum, interp, strsec, &dyninf,
2638 sec_order);
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002639
2640 /* Fill remaining program header and finalize relocation related to dynamic
2641 linking. */
2642 if (phnum > 0) {
2643 fill_unloadable_phdr(phdr, phnum, interp, dynamic);
2644 if (dynamic) {
2645 dyninf.dynamic = dynamic;
2646 dyninf.dynstr = dynstr;
2647
2648 fill_dynamic(s1, &dyninf);
2649
2650 /* put in GOT the dynamic section address and relocate PLT */
2651 put32(s1->got->data, dynamic->sh_addr);
2652 if (file_type == TCC_OUTPUT_EXE
2653#if defined(TCC_OUTPUT_DLL_WITH_PLT)
2654 || file_type == TCC_OUTPUT_DLL
2655#endif
2656 )
2657 relocate_plt(s1);
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002658
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002659 /* relocate symbols in .dynsym now that final addresses are known */
2660 for_each_elem(s1->dynsym, 1, sym, ElfW(Sym)) {
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002661 if (sym->st_shndx == SHN_UNDEF) {
6d055312
MM
Michael Matz2015-02-22 05:59:06 +01002662 /* relocate to PLT if symbol corresponds to a PLT entry,
2663 but not if it's a weak symbol */
2664 if (ELFW(ST_BIND)(sym->st_info) == STB_WEAK)
2665 sym->st_value = 0;
2666 else if (sym->st_value)
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002667 sym->st_value += s1->plt->sh_addr;
2668 } else if (sym->st_shndx < SHN_LORESERVE) {
2669 /* do symbol relocation */
2670 sym->st_value += s1->sections[sym->st_shndx]->sh_addr;
2671 }
38e8a230 bellard2004-10-23 22:53:42 +00002672 }
3a58c53e bellard2002-08-18 13:17:59 +00002673 }
3a58c53e bellard2002-08-18 13:17:59 +00002674 }
3a58c53e bellard2002-08-18 13:17:59 +00002675
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002676 /* if building executable or DLL, then relocate each section
2677 except the GOT which is already relocated */
2678 if (file_type != TCC_OUTPUT_OBJ) {
2679 ret = final_sections_reloc(s1);
2680 if (ret)
2681 goto the_end;
2682 }
2683
6e0a658e grischka2014-05-08 17:32:29 +02002684 /* Perform relocation to GOT or PLT entries */
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08002685 if (file_type == TCC_OUTPUT_EXE && s1->static_link)
2686 fill_got(s1);
2687
2688 /* Create the ELF file with name 'filename' */
2689 ret = tcc_write_elf_file(s1, filename, phnum, phdr, file_offset, sec_order);
5cd4393a seyko2015-04-10 06:53:48 +03002690 if (s1->do_strip) {
92efee6e seyko2015-04-10 17:35:54 +03002691 int rc;
2692 const char *strip_cmd = "sstrip "; // super strip utility from ELFkickers
2693 const char *null_dev = " 2> /dev/null";
2694 char buf[1050];
2695 snprintf(buf, sizeof(buf), "%s%s%s", strip_cmd, filename, null_dev);
2696 rc = system(buf);
2697 if (rc)
2698 system(buf+1); // call a strip utility from binutils
5cd4393a seyko2015-04-10 06:53:48 +03002699 }
e4c7dd5e bellard2002-11-02 14:13:21 +00002700 the_end:
2701 tcc_free(s1->symtab_to_dynsym);
4aec2902 Thomas Preud'homme2013-12-18 11:17:17 +08002702 tcc_free(sec_order);
3a58c53e bellard2002-08-18 13:17:59 +00002703 tcc_free(phdr);
e2212738 Thomas Preud'homme2012-11-04 00:40:05 +01002704 tcc_free(s1->sym_attrs);
ad956806 mingodad2014-03-25 18:06:14 +00002705 s1->sym_attrs = NULL;
e4c7dd5e bellard2002-11-02 14:13:21 +00002706 return ret;
3a58c53e bellard2002-08-18 13:17:59 +00002707}
2708
88a3ccab grischka2009-12-20 01:53:49 +01002709LIBTCCAPI int tcc_output_file(TCCState *s, const char *filename)
96bd8f2b grischka2008-05-05 22:39:43 +00002710{
2711 int ret;
2712#ifdef TCC_TARGET_PE
2713 if (s->output_type != TCC_OUTPUT_OBJ) {
2714 ret = pe_output_file(s, filename);
2715 } else
2716#endif
96bd8f2b grischka2008-05-05 22:39:43 +00002717 ret = elf_output_file(s, filename);
96bd8f2b grischka2008-05-05 22:39:43 +00002718 return ret;
2719}
2720
8c56b0cf Thomas Preud'homme2013-01-14 17:34:07 +01002721static void *load_data(int fd, unsigned long file_offset, unsigned long size)
3a58c53e bellard2002-08-18 13:17:59 +00002722{
2723 void *data;
2724
2725 data = tcc_malloc(size);
8c56b0cf
TP
Thomas Preud'homme2013-01-14 17:34:07 +01002726 lseek(fd, file_offset, SEEK_SET);
2727 read(fd, data, size);
3a58c53e bellard2002-08-18 13:17:59 +00002728 return data;
2729}
2730
2731typedef struct SectionMergeInfo {
2732 Section *s; /* corresponding existing section */
2733 unsigned long offset; /* offset of the new section in the existing section */
46169b92 bellard2003-10-04 14:45:23 +00002734 uint8_t new_section; /* true if section 's' was added */
2735 uint8_t link_once; /* true if link once section */
3a58c53e bellard2002-08-18 13:17:59 +00002736} SectionMergeInfo;
2737
2738/* load an object file and merge it with current files */
2739/* XXX: handle correctly stab (debug) info */
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002740ST_FUNC int tcc_load_object_file(TCCState *s1,
8c56b0cf Thomas Preud'homme2013-01-14 17:34:07 +01002741 int fd, unsigned long file_offset)
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002742{
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +09002743 ElfW(Ehdr) ehdr;
2744 ElfW(Shdr) *shdr, *sh;
e4c7dd5e bellard2002-11-02 14:13:21 +00002745 int size, i, j, offset, offseti, nb_syms, sym_index, ret;
3a58c53e bellard2002-08-18 13:17:59 +00002746 unsigned char *strsec, *strtab;
2747 int *old_to_new_syms;
2748 char *sh_name, *name;
2749 SectionMergeInfo *sm_table, *sm;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002750 ElfW(Sym) *sym, *symtab;
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08002751 ElfW_Rel *rel;
3a58c53e bellard2002-08-18 13:17:59 +00002752 Section *s;
2753
5247bbc2 grischka2008-04-27 18:49:31 +00002754 int stab_index;
2755 int stabstr_index;
2756
2757 stab_index = stabstr_index = 0;
2758
8c56b0cf Thomas Preud'homme2013-01-14 17:34:07 +01002759 if (read(fd, &ehdr, sizeof(ehdr)) != sizeof(ehdr))
e4c7dd5e bellard2002-11-02 14:13:21 +00002760 goto fail1;
3a58c53e bellard2002-08-18 13:17:59 +00002761 if (ehdr.e_ident[0] != ELFMAG0 ||
2762 ehdr.e_ident[1] != ELFMAG1 ||
2763 ehdr.e_ident[2] != ELFMAG2 ||
2764 ehdr.e_ident[3] != ELFMAG3)
e4c7dd5e bellard2002-11-02 14:13:21 +00002765 goto fail1;
3a58c53e bellard2002-08-18 13:17:59 +00002766 /* test if object file */
2767 if (ehdr.e_type != ET_REL)
e4c7dd5e bellard2002-11-02 14:13:21 +00002768 goto fail1;
3a58c53e bellard2002-08-18 13:17:59 +00002769 /* test CPU specific stuff */
2770 if (ehdr.e_ident[5] != ELFDATA2LSB ||
4df5bd2e bellard2003-10-14 22:15:56 +00002771 ehdr.e_machine != EM_TCC_TARGET) {
e4c7dd5e bellard2002-11-02 14:13:21 +00002772 fail1:
bf374a5f grischka2011-08-11 17:07:56 +02002773 tcc_error_noabort("invalid object file");
e4c7dd5e bellard2002-11-02 14:13:21 +00002774 return -1;
3a58c53e bellard2002-08-18 13:17:59 +00002775 }
2776 /* read sections */
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002777 shdr = load_data(fd, file_offset + ehdr.e_shoff,
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002778 sizeof(ElfW(Shdr)) * ehdr.e_shnum);
3a58c53e bellard2002-08-18 13:17:59 +00002779 sm_table = tcc_mallocz(sizeof(SectionMergeInfo) * ehdr.e_shnum);
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002780
3a58c53e bellard2002-08-18 13:17:59 +00002781 /* load section names */
2782 sh = &shdr[ehdr.e_shstrndx];
2783 strsec = load_data(fd, file_offset + sh->sh_offset, sh->sh_size);
2784
2785 /* load symtab and strtab */
e4c7dd5e bellard2002-11-02 14:13:21 +00002786 old_to_new_syms = NULL;
3a58c53e bellard2002-08-18 13:17:59 +00002787 symtab = NULL;
2788 strtab = NULL;
2789 nb_syms = 0;
2790 for(i = 1; i < ehdr.e_shnum; i++) {
2791 sh = &shdr[i];
2792 if (sh->sh_type == SHT_SYMTAB) {
e4c7dd5e bellard2002-11-02 14:13:21 +00002793 if (symtab) {
bf374a5f grischka2011-08-11 17:07:56 +02002794 tcc_error_noabort("object must contain only one symtab");
e4c7dd5e bellard2002-11-02 14:13:21 +00002795 fail:
2796 ret = -1;
2797 goto the_end;
2798 }
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002799 nb_syms = sh->sh_size / sizeof(ElfW(Sym));
3a58c53e bellard2002-08-18 13:17:59 +00002800 symtab = load_data(fd, file_offset + sh->sh_offset, sh->sh_size);
2801 sm_table[i].s = symtab_section;
2802
2803 /* now load strtab */
2804 sh = &shdr[sh->sh_link];
2805 strtab = load_data(fd, file_offset + sh->sh_offset, sh->sh_size);
2806 }
2807 }
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002808
3a58c53e bellard2002-08-18 13:17:59 +00002809 /* now examine each section and try to merge its content with the
2810 ones in memory */
2811 for(i = 1; i < ehdr.e_shnum; i++) {
2812 /* no need to examine section name strtab */
2813 if (i == ehdr.e_shstrndx)
2814 continue;
2815 sh = &shdr[i];
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +08002816 sh_name = (char *) strsec + sh->sh_name;
3a58c53e bellard2002-08-18 13:17:59 +00002817 /* ignore sections types we do not handle */
2818 if (sh->sh_type != SHT_PROGBITS &&
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002819 sh->sh_type != SHT_RELX &&
f99d3de2 grischka2007-12-04 20:38:09 +00002820#ifdef TCC_ARM_EABI
5342b32e grischka2007-12-19 17:36:42 +00002821 sh->sh_type != SHT_ARM_EXIDX &&
f99d3de2 grischka2007-12-04 20:38:09 +00002822#endif
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002823 sh->sh_type != SHT_NOBITS &&
a867f425
DG
Daniel Glöckner2010-05-15 01:26:56 +02002824 sh->sh_type != SHT_PREINIT_ARRAY &&
2825 sh->sh_type != SHT_INIT_ARRAY &&
2826 sh->sh_type != SHT_FINI_ARRAY &&
5247bbc2 grischka2008-04-27 18:49:31 +00002827 strcmp(sh_name, ".stabstr")
2828 )
3a58c53e bellard2002-08-18 13:17:59 +00002829 continue;
2830 if (sh->sh_addralign < 1)
2831 sh->sh_addralign = 1;
2832 /* find corresponding section, if any */
e4c7dd5e bellard2002-11-02 14:13:21 +00002833 for(j = 1; j < s1->nb_sections;j++) {
2834 s = s1->sections[j];
46169b92 bellard2003-10-04 14:45:23 +00002835 if (!strcmp(s->name, sh_name)) {
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002836 if (!strncmp(sh_name, ".gnu.linkonce",
46169b92 bellard2003-10-04 14:45:23 +00002837 sizeof(".gnu.linkonce") - 1)) {
2838 /* if a 'linkonce' section is already present, we
2839 do not add it again. It is a little tricky as
2840 symbols can still be defined in
2841 it. */
2842 sm_table[i].link_once = 1;
2843 goto next;
2844 } else {
2845 goto found;
2846 }
2847 }
3a58c53e bellard2002-08-18 13:17:59 +00002848 }
2849 /* not found: create new section */
e4c7dd5e bellard2002-11-02 14:13:21 +00002850 s = new_section(s1, sh_name, sh->sh_type, sh->sh_flags);
3a58c53e bellard2002-08-18 13:17:59 +00002851 /* take as much info as possible from the section. sh_link and
2852 sh_info will be updated later */
2853 s->sh_addralign = sh->sh_addralign;
2854 s->sh_entsize = sh->sh_entsize;
2855 sm_table[i].new_section = 1;
2856 found:
e4c7dd5e bellard2002-11-02 14:13:21 +00002857 if (sh->sh_type != s->sh_type) {
bf374a5f grischka2011-08-11 17:07:56 +02002858 tcc_error_noabort("invalid section type");
3a58c53e bellard2002-08-18 13:17:59 +00002859 goto fail;
e4c7dd5e bellard2002-11-02 14:13:21 +00002860 }
3a58c53e bellard2002-08-18 13:17:59 +00002861
2862 /* align start of section */
2863 offset = s->data_offset;
5247bbc2 grischka2008-04-27 18:49:31 +00002864
2865 if (0 == strcmp(sh_name, ".stab")) {
2866 stab_index = i;
2867 goto no_align;
2868 }
2869 if (0 == strcmp(sh_name, ".stabstr")) {
2870 stabstr_index = i;
2871 goto no_align;
2872 }
2873
3a58c53e bellard2002-08-18 13:17:59 +00002874 size = sh->sh_addralign - 1;
2875 offset = (offset + size) & ~size;
2876 if (sh->sh_addralign > s->sh_addralign)
2877 s->sh_addralign = sh->sh_addralign;
2878 s->data_offset = offset;
5247bbc2 grischka2008-04-27 18:49:31 +00002879 no_align:
3a58c53e bellard2002-08-18 13:17:59 +00002880 sm_table[i].offset = offset;
2881 sm_table[i].s = s;
2882 /* concatenate sections */
2883 size = sh->sh_size;
2884 if (sh->sh_type != SHT_NOBITS) {
2885 unsigned char *ptr;
8c56b0cf Thomas Preud'homme2013-01-14 17:34:07 +01002886 lseek(fd, file_offset + sh->sh_offset, SEEK_SET);
f946dffd bellard2002-08-18 14:34:57 +00002887 ptr = section_ptr_add(s, size);
8c56b0cf Thomas Preud'homme2013-01-14 17:34:07 +01002888 read(fd, ptr, size);
f946dffd bellard2002-08-18 14:34:57 +00002889 } else {
2890 s->data_offset += size;
3a58c53e bellard2002-08-18 13:17:59 +00002891 }
46169b92 bellard2003-10-04 14:45:23 +00002892 next: ;
3a58c53e bellard2002-08-18 13:17:59 +00002893 }
2894
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002895 /* gr relocate stab strings */
5247bbc2 grischka2008-04-27 18:49:31 +00002896 if (stab_index && stabstr_index) {
2897 Stab_Sym *a, *b;
2898 unsigned o;
2899 s = sm_table[stab_index].s;
2900 a = (Stab_Sym *)(s->data + sm_table[stab_index].offset);
2901 b = (Stab_Sym *)(s->data + s->data_offset);
2902 o = sm_table[stabstr_index].offset;
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08002903 while (a < b)
5247bbc2 grischka2008-04-27 18:49:31 +00002904 a->n_strx += o, a++;
2905 }
2906
3a58c53e bellard2002-08-18 13:17:59 +00002907 /* second short pass to update sh_link and sh_info fields of new
2908 sections */
3a58c53e bellard2002-08-18 13:17:59 +00002909 for(i = 1; i < ehdr.e_shnum; i++) {
2910 s = sm_table[i].s;
2911 if (!s || !sm_table[i].new_section)
2912 continue;
2913 sh = &shdr[i];
2914 if (sh->sh_link > 0)
2915 s->link = sm_table[sh->sh_link].s;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002916 if (sh->sh_type == SHT_RELX) {
3a58c53e bellard2002-08-18 13:17:59 +00002917 s->sh_info = sm_table[sh->sh_info].s->sh_num;
2918 /* update backward link */
e4c7dd5e bellard2002-11-02 14:13:21 +00002919 s1->sections[s->sh_info]->reloc = s;
3a58c53e bellard2002-08-18 13:17:59 +00002920 }
2921 }
2bcc187b grischka2007-10-30 15:13:21 +00002922 sm = sm_table;
3a58c53e bellard2002-08-18 13:17:59 +00002923
2924 /* resolve symbols */
2925 old_to_new_syms = tcc_mallocz(nb_syms * sizeof(int));
2926
2927 sym = symtab + 1;
2928 for(i = 1; i < nb_syms; i++, sym++) {
2929 if (sym->st_shndx != SHN_UNDEF &&
2930 sym->st_shndx < SHN_LORESERVE) {
2931 sm = &sm_table[sym->st_shndx];
46169b92 bellard2003-10-04 14:45:23 +00002932 if (sm->link_once) {
2933 /* if a symbol is in a link once section, we use the
2934 already defined symbol. It is very important to get
2935 correct relocations */
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002936 if (ELFW(ST_BIND)(sym->st_info) != STB_LOCAL) {
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +08002937 name = (char *) strtab + sym->st_name;
46169b92 bellard2003-10-04 14:45:23 +00002938 sym_index = find_elf_sym(symtab_section, name);
2939 if (sym_index)
2940 old_to_new_syms[i] = sym_index;
2941 }
2942 continue;
2943 }
3a58c53e bellard2002-08-18 13:17:59 +00002944 /* if no corresponding section added, no need to add symbol */
2945 if (!sm->s)
2946 continue;
2947 /* convert section number */
2948 sym->st_shndx = sm->s->sh_num;
2949 /* offset value */
2950 sym->st_value += sm->offset;
2951 }
2952 /* add symbol */
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +08002953 name = (char *) strtab + sym->st_name;
3d4b57ff
TP
Thomas Preud'homme2013-12-17 20:59:14 +08002954 sym_index = add_elf_sym(symtab_section, sym->st_value, sym->st_size,
2955 sym->st_info, sym->st_other,
d733dc75 bellard2005-04-13 21:37:06 +00002956 sym->st_shndx, name);
3a58c53e bellard2002-08-18 13:17:59 +00002957 old_to_new_syms[i] = sym_index;
2958 }
2959
2960 /* third pass to patch relocation entries */
2961 for(i = 1; i < ehdr.e_shnum; i++) {
2962 s = sm_table[i].s;
2963 if (!s)
2964 continue;
2965 sh = &shdr[i];
2966 offset = sm_table[i].offset;
2967 switch(s->sh_type) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002968 case SHT_RELX:
3a58c53e bellard2002-08-18 13:17:59 +00002969 /* take relocation offset information */
2970 offseti = sm_table[sh->sh_info].offset;
55f751ac Thomas Preud'homme2013-12-17 21:02:51 +08002971 for_each_elem(s, (offset / sizeof(*rel)), rel, ElfW_Rel) {
3a58c53e bellard2002-08-18 13:17:59 +00002972 int type;
2973 unsigned sym_index;
2974 /* convert symbol index */
7dd792ef
SH
Shinichiro Hamaji2008-11-30 08:14:07 +09002975 type = ELFW(R_TYPE)(rel->r_info);
2976 sym_index = ELFW(R_SYM)(rel->r_info);
3a58c53e bellard2002-08-18 13:17:59 +00002977 /* NOTE: only one symtab assumed */
2978 if (sym_index >= nb_syms)
2979 goto invalid_reloc;
2980 sym_index = old_to_new_syms[sym_index];
d778bde7 grischka2007-11-21 17:16:31 +00002981 /* ignore link_once in rel section. */
128e46f9
DG
Daniel Glöckner2010-05-15 01:23:34 +02002982 if (!sym_index && !sm->link_once
2983#ifdef TCC_TARGET_ARM
2984 && type != R_ARM_V4BX
2985#endif
2986 ) {
3a58c53e bellard2002-08-18 13:17:59 +00002987 invalid_reloc:
bf374a5f grischka2011-08-11 17:07:56 +02002988 tcc_error_noabort("Invalid relocation entry [%2d] '%s' @ %.8x",
2bcc187b grischka2007-10-30 15:13:21 +00002989 i, strsec + sh->sh_name, rel->r_offset);
e4c7dd5e bellard2002-11-02 14:13:21 +00002990 goto fail;
3a58c53e bellard2002-08-18 13:17:59 +00002991 }
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09002992 rel->r_info = ELFW(R_INFO)(sym_index, type);
3a58c53e bellard2002-08-18 13:17:59 +00002993 /* offset the relocation offset */
2994 rel->r_offset += offseti;
e2212738
TP
Thomas Preud'homme2012-11-04 00:40:05 +01002995#ifdef TCC_TARGET_ARM
2996 /* Jumps and branches from a Thumb code to a PLT entry need
2997 special handling since PLT entries are ARM code.
2998 Unconditional bl instructions referencing PLT entries are
2999 handled by converting these instructions into blx
3000 instructions. Other case of instructions referencing a PLT
3001 entry require to add a Thumb stub before the PLT entry to
4aec2902
TP
Thomas Preud'homme2013-12-18 11:17:17 +08003002 switch to ARM mode. We set bit plt_thumb_stub of the
3003 attribute of a symbol to indicate such a case. */
e2212738
TP
Thomas Preud'homme2012-11-04 00:40:05 +01003004 if (type == R_ARM_THM_JUMP24)
3005 alloc_sym_attr(s1, sym_index)->plt_thumb_stub = 1;
3006#endif
3a58c53e bellard2002-08-18 13:17:59 +00003007 }
3008 break;
3009 default:
3010 break;
3011 }
3012 }
3d4b57ff Thomas Preud'homme2013-12-17 20:59:14 +08003013
e4c7dd5e bellard2002-11-02 14:13:21 +00003014 ret = 0;
3015 the_end:
3a58c53e bellard2002-08-18 13:17:59 +00003016 tcc_free(symtab);
3017 tcc_free(strtab);
3018 tcc_free(old_to_new_syms);
3019 tcc_free(sm_table);
e4c7dd5e bellard2002-11-02 14:13:21 +00003020 tcc_free(strsec);
3a58c53e bellard2002-08-18 13:17:59 +00003021 tcc_free(shdr);
e4c7dd5e bellard2002-11-02 14:13:21 +00003022 return ret;
3a58c53e bellard2002-08-18 13:17:59 +00003023}
3024
3a58c53e bellard2002-08-18 13:17:59 +00003025typedef struct ArchiveHeader {
5342b32e grischka2007-12-19 17:36:42 +00003026 char ar_name[16]; /* name of this member */
3027 char ar_date[12]; /* file mtime */
3028 char ar_uid[6]; /* owner uid; printed as decimal */
3029 char ar_gid[6]; /* owner gid; printed as decimal */
3030 char ar_mode[8]; /* file mode, printed as octal */
3031 char ar_size[10]; /* file size, printed as decimal */
3032 char ar_fmag[2]; /* should contain ARFMAG */
3a58c53e bellard2002-08-18 13:17:59 +00003033} ArchiveHeader;
3034
c4e6b2e9 bellard2003-04-28 22:06:38 +00003035static int get_be32(const uint8_t *b)
3036{
3037 return b[3] | (b[2] << 8) | (b[1] << 16) | (b[0] << 24);
3038}
3039
3040/* load only the objects which resolve undefined symbols */
8c56b0cf Thomas Preud'homme2013-01-14 17:34:07 +01003041static int tcc_load_alacarte(TCCState *s1, int fd, int size)
c4e6b2e9 bellard2003-04-28 22:06:38 +00003042{
3043 int i, bound, nsyms, sym_index, off, ret;
3044 uint8_t *data;
3045 const char *ar_names, *p;
3046 const uint8_t *ar_index;
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09003047 ElfW(Sym) *sym;
c4e6b2e9 bellard2003-04-28 22:06:38 +00003048
3049 data = tcc_malloc(size);
8c56b0cf Thomas Preud'homme2013-01-14 17:34:07 +01003050 if (read(fd, data, size) != size)
c4e6b2e9 bellard2003-04-28 22:06:38 +00003051 goto fail;
3052 nsyms = get_be32(data);
3053 ar_index = data + 4;
62d1da1b Thomas Preud'homme2014-03-09 22:52:31 +08003054 ar_names = (char *) ar_index + nsyms * 4;
c4e6b2e9 bellard2003-04-28 22:06:38 +00003055
3056 do {
5342b32e grischka2007-12-19 17:36:42 +00003057 bound = 0;
3058 for(p = ar_names, i = 0; i < nsyms; i++, p += strlen(p)+1) {
3059 sym_index = find_elf_sym(symtab_section, p);
3060 if(sym_index) {
7dd792ef Shinichiro Hamaji2008-11-30 08:14:07 +09003061 sym = &((ElfW(Sym) *)symtab_section->data)[sym_index];
5342b32e grischka2007-12-19 17:36:42 +00003062 if(sym->st_shndx == SHN_UNDEF) {
3063 off = get_be32(ar_index + i * 4) + sizeof(ArchiveHeader);
5342b32e grischka2007-12-19 17:36:42 +00003064 ++bound;
8c56b0cf Thomas Preud'homme2013-01-14 17:34:07 +01003065 lseek(fd, off, SEEK_SET);
5342b32e grischka2007-12-19 17:36:42 +00003066 if(tcc_load_object_file(s1, fd, off) < 0) {
c4e6b2e9 bellard2003-04-28 22:06:38 +00003067 fail:
3068 ret = -1;
3069 goto the_end;
3070 }
5342b32e grischka2007-12-19 17:36:42 +00003071 }
3072 }
3073 }
c4e6b2e9 bellard2003-04-28 22:06:38 +0000