?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
labels, outelf: remove casts for allocations
[nasm.git] / output / outelf.c
blob1ee6daccb2a67e557c8082b09ac0dbc06c282c8d
1 /* ----------------------------------------------------------------------- *
2 *
3 * Copyright 1996-2017 The NASM Authors - All Rights Reserved
4 * See the file AUTHORS included with the NASM distribution for
5 * the specific copyright holders.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following
9 * conditions are met:
10 *
11 * * Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * * Redistributions in binary form must reproduce the above
14 * copyright notice, this list of conditions and the following
15 * disclaimer in the documentation and/or other materials provided
16 * with the distribution.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
19 * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
20 * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
21 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
22 * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
23 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
24 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
25 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
26 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
28 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
29 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
30 * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
31 *
32 * ----------------------------------------------------------------------- */
33
34 /*
35 * Common code for outelf32 and outelf64
36 */
37
38 #include "compiler.h"
39
40 #include <stdio.h>
41 #include <stdlib.h>
42
43 #include "nasm.h"
44 #include "nasmlib.h"
45 #include "error.h"
46 #include "saa.h"
47 #include "raa.h"
48 #include "stdscan.h"
49 #include "eval.h"
50 #include "outform.h"
51 #include "outlib.h"
52 #include "rbtree.h"
53 #include "ver.h"
54
55 #include "dwarf.h"
56 #include "stabs.h"
57 #include "outelf.h"
58 #include "elf.h"
59
60 #if defined(OF_ELF32) || defined(OF_ELF64) || defined(OF_ELFX32)
61
62 #define SECT_DELTA 32
63 static struct elf_section **sects;
64 static int nsects, sectlen;
65
66 #define SHSTR_DELTA 256
67 static char *shstrtab;
68 static int shstrtablen, shstrtabsize;
69
70 static struct SAA *syms;
71 static uint32_t nlocals, nglobs, ndebugs; /* Symbol counts */
72
73 static int32_t def_seg;
74
75 static struct RAA *bsym;
76
77 static struct SAA *strs;
78 static uint32_t strslen;
79
80 static struct elf_symbol *fwds;
81
82 static char elf_module[FILENAME_MAX];
83
84 extern const struct ofmt of_elf32;
85 extern const struct ofmt of_elf64;
86 extern const struct ofmt of_elfx32;
87
88 static struct ELF_SECTDATA {
89 void *data;
90 int64_t len;
91 bool is_saa;
92 } *elf_sects;
93
94 static int elf_nsect, nsections;
95 static int64_t elf_foffs;
96
97 static void elf_write(void);
98 static void elf_sect_write(struct elf_section *, const void *, size_t);
99 static void elf_sect_writeaddr(struct elf_section *, int64_t, size_t);
100 static void elf_section_header(int, int, uint64_t, void *, bool, uint64_t, int, int,
101 int, int);
102 static void elf_write_sections(void);
103 static struct SAA *elf_build_symtab(int32_t *, int32_t *);
104 static struct SAA *elf_build_reltab(uint64_t *, struct elf_reloc *);
105 static void add_sectname(const char *, const char *);
106
107 struct erel {
108 int offset;
109 int info;
110 };
111
112 struct symlininfo {
113 int offset;
114 int section; /* index into sects[] */
115 int segto; /* internal section number */
116 char *name; /* shallow-copied pointer of section name */
117 };
118
119 struct linelist {
120 struct linelist *next;
121 struct linelist *last;
122 struct symlininfo info;
123 char *filename;
124 int line;
125 };
126
127 struct sectlist {
128 struct SAA *psaa;
129 int section;
130 int line;
131 int offset;
132 int file;
133 struct sectlist *next;
134 struct sectlist *last;
135 };
136
137 /* common debug variables */
138 static int currentline = 1;
139 static int debug_immcall = 0;
140
141 /* stabs debug variables */
142 static struct linelist *stabslines = 0;
143 static int numlinestabs = 0;
144 static char *stabs_filename = 0;
145 static uint8_t *stabbuf = 0, *stabstrbuf = 0, *stabrelbuf = 0;
146 static int stablen, stabstrlen, stabrellen;
147
148 /* dwarf debug variables */
149 static struct linelist *dwarf_flist = 0, *dwarf_clist = 0, *dwarf_elist = 0;
150 static struct sectlist *dwarf_fsect = 0, *dwarf_csect = 0, *dwarf_esect = 0;
151 static int dwarf_numfiles = 0, dwarf_nsections;
152 static uint8_t *arangesbuf = 0, *arangesrelbuf = 0, *pubnamesbuf = 0, *infobuf = 0, *inforelbuf = 0,
153 *abbrevbuf = 0, *linebuf = 0, *linerelbuf = 0, *framebuf = 0, *locbuf = 0;
154 static int8_t line_base = -5, line_range = 14, opcode_base = 13;
155 static int arangeslen, arangesrellen, pubnameslen, infolen, inforellen,
156 abbrevlen, linelen, linerellen, framelen, loclen;
157 static int64_t dwarf_infosym, dwarf_abbrevsym, dwarf_linesym;
158
159 static struct elf_symbol *lastsym;
160
161 /* common debugging routines */
162 static void debug_typevalue(int32_t);
163
164 /* stabs debugging routines */
165 static void stabs_linenum(const char *filename, int32_t linenumber, int32_t);
166 static void stabs_output(int, void *);
167 static void stabs_generate(void);
168 static void stabs_cleanup(void);
169
170 /* dwarf debugging routines */
171 static void dwarf_init(void);
172 static void dwarf_linenum(const char *filename, int32_t linenumber, int32_t);
173 static void dwarf_output(int, void *);
174 static void dwarf_generate(void);
175 static void dwarf_cleanup(void);
176 static void dwarf_findfile(const char *);
177 static void dwarf_findsect(const int);
178
179 static bool is_elf64(void);
180 static bool is_elf32(void);
181 static bool is_elfx32(void);
182
183 static bool dfmt_is_stabs(void);
184 static bool dfmt_is_dwarf(void);
185
186 /*
187 * Special NASM section numbers which are used to define ELF special
188 * symbols.
189 */
190 static int32_t elf_gotpc_sect, elf_gotoff_sect;
191 static int32_t elf_got_sect, elf_plt_sect;
192 static int32_t elf_sym_sect, elf_gottpoff_sect, elf_tlsie_sect;
193
194 uint8_t elf_osabi = 0; /* Default OSABI = 0 (System V or Linux) */
195 uint8_t elf_abiver = 0; /* Current ABI version */
196
197 const struct elf_known_section elf_known_sections[] = {
198 { ".text", SHT_PROGBITS, SHF_ALLOC|SHF_EXECINSTR, 16 },
199 { ".rodata", SHT_PROGBITS, SHF_ALLOC, 4 },
200 { ".lrodata", SHT_PROGBITS, SHF_ALLOC, 4 },
201 { ".data", SHT_PROGBITS, SHF_ALLOC|SHF_WRITE, 4 },
202 { ".ldata", SHT_PROGBITS, SHF_ALLOC|SHF_WRITE, 4 },
203 { ".bss", SHT_NOBITS, SHF_ALLOC|SHF_WRITE, 4 },
204 { ".lbss", SHT_NOBITS, SHF_ALLOC|SHF_WRITE, 4 },
205 { ".tdata", SHT_PROGBITS, SHF_ALLOC|SHF_WRITE|SHF_TLS, 4 },
206 { ".tbss", SHT_NOBITS, SHF_ALLOC|SHF_WRITE|SHF_TLS, 4 },
207 { ".comment", SHT_PROGBITS, 0, 1 },
208 { NULL, SHT_PROGBITS, SHF_ALLOC, 1 } /* default */
209 };
210
211 /* parse section attributes */
212 void elf_section_attrib(char *name, char *attr, int pass,
213 uint32_t *flags_and, uint32_t *flags_or,
214 uint64_t *align, int *type)
215 {
216 char *opt, *val, *next;
217
218 opt = nasm_skip_spaces(attr);
219 if (!opt || !*opt)
220 return;
221
222 while ((opt = nasm_opt_val(opt, &val, &next))) {
223 if (!nasm_stricmp(opt, "align")) {
224 if (!val) {
225 nasm_error(ERR_NONFATAL,
226 "section align without value specified");
227 } else {
228 *align = atoi(val);
229 if (*align == 0) {
230 *align = SHA_ANY;
231 } else if (!is_power2(*align)) {
232 nasm_error(ERR_NONFATAL,
233 "section alignment %"PRId64" is not a power of two",
234 *align);
235 *align = SHA_ANY;
236 }
237 }
238 } else if (!nasm_stricmp(opt, "alloc")) {
239 *flags_and |= SHF_ALLOC;
240 *flags_or |= SHF_ALLOC;
241 } else if (!nasm_stricmp(opt, "noalloc")) {
242 *flags_and |= SHF_ALLOC;
243 *flags_or &= ~SHF_ALLOC;
244 } else if (!nasm_stricmp(opt, "exec")) {
245 *flags_and |= SHF_EXECINSTR;
246 *flags_or |= SHF_EXECINSTR;
247 } else if (!nasm_stricmp(opt, "noexec")) {
248 *flags_and |= SHF_EXECINSTR;
249 *flags_or &= ~SHF_EXECINSTR;
250 } else if (!nasm_stricmp(opt, "write")) {
251 *flags_and |= SHF_WRITE;
252 *flags_or |= SHF_WRITE;
253 } else if (!nasm_stricmp(opt, "tls")) {
254 *flags_and |= SHF_TLS;
255 *flags_or |= SHF_TLS;
256 } else if (!nasm_stricmp(opt, "nowrite")) {
257 *flags_and |= SHF_WRITE;
258 *flags_or &= ~SHF_WRITE;
259 } else if (!nasm_stricmp(opt, "progbits")) {
260 *type = SHT_PROGBITS;
261 } else if (!nasm_stricmp(opt, "nobits")) {
262 *type = SHT_NOBITS;
263 } else if (pass == 1) {
264 nasm_error(ERR_WARNING,
265 "Unknown section attribute '%s' ignored on"
266 " declaration of section `%s'", opt, name);
267 }
268 opt = next;
269 }
270 }
271
272 static enum directive_result
273 elf_directive(enum directive directive, char *value, int pass)
274 {
275 int64_t n;
276 bool err;
277 char *p;
278
279 switch (directive) {
280 case D_OSABI:
281 if (pass == 2)
282 return DIRR_OK; /* ignore in pass 2 */
283
284 n = readnum(value, &err);
285 if (err) {
286 nasm_error(ERR_NONFATAL, "`osabi' directive requires a parameter");
287 return DIRR_ERROR;
288 }
289
290 if (n < 0 || n > 255) {
291 nasm_error(ERR_NONFATAL, "valid osabi numbers are 0 to 255");
292 return DIRR_ERROR;
293 }
294
295 elf_osabi = n;
296 elf_abiver = 0;
297
298 p = strchr(value,',');
299 if (!p)
300 return DIRR_OK;
301
302 n = readnum(p + 1, &err);
303 if (err || n < 0 || n > 255) {
304 nasm_error(ERR_NONFATAL, "invalid ABI version number (valid: 0 to 255)");
305 return DIRR_ERROR;
306 }
307
308 elf_abiver = n;
309 return DIRR_OK;
310
311 default:
312 return DIRR_UNKNOWN;
313 }
314 }
315
316 static void elf_init(void)
317 {
318 sects = NULL;
319 nsects = sectlen = 0;
320 syms = saa_init((int32_t)sizeof(struct elf_symbol));
321 nlocals = nglobs = ndebugs = 0;
322 bsym = raa_init();
323 strs = saa_init(1L);
324 saa_wbytes(strs, "\0", 1L);
325 saa_wbytes(strs, elf_module, strlen(elf_module)+1);
326 strslen = 2 + strlen(elf_module);
327 shstrtab = NULL;
328 shstrtablen = shstrtabsize = 0;;
329 add_sectname("", "");
330
331 fwds = NULL;
332
333 /*
334 * FIXME: tlsie is Elf32 only and
335 * gottpoff is Elfx32|64 only.
336 */
337
338 elf_gotpc_sect = seg_alloc();
339 define_label("..gotpc", elf_gotpc_sect + 1, 0L, NULL, false, false);
340 elf_gotoff_sect = seg_alloc();
341 define_label("..gotoff", elf_gotoff_sect + 1, 0L, NULL, false, false);
342 elf_got_sect = seg_alloc();
343 define_label("..got", elf_got_sect + 1, 0L, NULL, false, false);
344 elf_plt_sect = seg_alloc();
345 define_label("..plt", elf_plt_sect + 1, 0L, NULL, false, false);
346 elf_sym_sect = seg_alloc();
347 define_label("..sym", elf_sym_sect + 1, 0L, NULL, false, false);
348 elf_gottpoff_sect = seg_alloc();
349 define_label("..gottpoff", elf_gottpoff_sect + 1, 0L, NULL, false, false);
350 elf_tlsie_sect = seg_alloc();
351 define_label("..tlsie", elf_tlsie_sect + 1, 0L, NULL, false, false);
352
353 def_seg = seg_alloc();
354 }
355
356 static void elf_cleanup(void)
357 {
358 struct elf_reloc *r;
359 int i;
360
361 elf_write();
362 for (i = 0; i < nsects; i++) {
363 if (sects[i]->type != SHT_NOBITS)
364 saa_free(sects[i]->data);
365 if (sects[i]->head)
366 saa_free(sects[i]->rel);
367 while (sects[i]->head) {
368 r = sects[i]->head;
369 sects[i]->head = sects[i]->head->next;
370 nasm_free(r);
371 }
372 }
373 nasm_free(sects);
374 saa_free(syms);
375 raa_free(bsym);
376 saa_free(strs);
377 dfmt->cleanup();
378 }
379
380 /* add entry to the elf .shstrtab section */
381 static void add_sectname(const char *firsthalf, const char *secondhalf)
382 {
383 int len = strlen(firsthalf) + strlen(secondhalf);
384 while (shstrtablen + len + 1 > shstrtabsize)
385 shstrtab = nasm_realloc(shstrtab, (shstrtabsize += SHSTR_DELTA));
386 strcpy(shstrtab + shstrtablen, firsthalf);
387 strcat(shstrtab + shstrtablen, secondhalf);
388 shstrtablen += len + 1;
389 }
390
391 static int elf_make_section(char *name, int type, int flags, int align)
392 {
393 struct elf_section *s;
394
395 s = nasm_zalloc(sizeof(*s));
396
397 if (type != SHT_NOBITS)
398 s->data = saa_init(1L);
399 s->tail = &s->head;
400 if (!strcmp(name, ".text"))
401 s->index = def_seg;
402 else
403 s->index = seg_alloc();
404 add_sectname("", name);
405
406 s->name = nasm_strdup(name);
407 s->type = type;
408 s->flags = flags;
409 s->align = align;
410
411 if (nsects >= sectlen)
412 sects = nasm_realloc(sects, (sectlen += SECT_DELTA) * sizeof(*sects));
413 sects[nsects++] = s;
414
415 return nsects - 1;
416 }
417
418 static int32_t elf_section_names(char *name, int pass, int *bits)
419 {
420 char *p;
421 uint32_t flags, flags_and, flags_or;
422 uint64_t align;
423 int type, i;
424
425 if (!name) {
426 *bits = ofmt->maxbits;
427 return def_seg;
428 }
429
430 p = nasm_skip_word(name);
431 if (*p)
432 *p++ = '\0';
433 flags_and = flags_or = type = align = 0;
434
435 elf_section_attrib(name, p, pass, &flags_and,
436 &flags_or, &align, &type);
437
438 if (!strcmp(name, ".shstrtab") ||
439 !strcmp(name, ".symtab") ||
440 !strcmp(name, ".strtab")) {
441 nasm_error(ERR_NONFATAL, "attempt to redefine reserved section"
442 "name `%s'", name);
443 return NO_SEG;
444 }
445
446 for (i = 0; i < nsects; i++)
447 if (!strcmp(name, sects[i]->name))
448 break;
449 if (i == nsects) {
450 const struct elf_known_section *ks = elf_known_sections;
451
452 while (ks->name) {
453 if (!strcmp(name, ks->name))
454 break;
455 ks++;
456 }
457
458 type = type ? type : ks->type;
459 align = align ? align : ks->align;
460 flags = (ks->flags & ~flags_and) | flags_or;
461
462 i = elf_make_section(name, type, flags, align);
463 } else if (pass == 1) {
464 if ((type && sects[i]->type != type)
465 || (align && sects[i]->align != align)
466 || (flags_and && ((sects[i]->flags & flags_and) != flags_or)))
467 nasm_error(ERR_WARNING, "incompatible section attributes ignored on"
468 " redeclaration of section `%s'", name);
469 }
470
471 return sects[i]->index;
472 }
473
474 static void elf_deflabel(char *name, int32_t segment, int64_t offset,
475 int is_global, char *special)
476 {
477 int pos = strslen;
478 struct elf_symbol *sym;
479 bool special_used = false;
480
481 #if defined(DEBUG) && DEBUG>2
482 nasm_error(ERR_DEBUG,
483 " elf_deflabel: %s, seg=%"PRIx32", off=%"PRIx64", is_global=%d, %s\n",
484 name, segment, offset, is_global, special);
485 #endif
486 if (name[0] == '.' && name[1] == '.' && name[2] != '@') {
487 /*
488 * This is a NASM special symbol. We never allow it into
489 * the ELF symbol table, even if it's a valid one. If it
490 * _isn't_ a valid one, we should barf immediately.
491 *
492 * FIXME: tlsie is Elf32 only, and gottpoff is Elfx32|64 only.
493 */
494 if (strcmp(name, "..gotpc") && strcmp(name, "..gotoff") &&
495 strcmp(name, "..got") && strcmp(name, "..plt") &&
496 strcmp(name, "..sym") && strcmp(name, "..gottpoff") &&
497 strcmp(name, "..tlsie"))
498 nasm_error(ERR_NONFATAL, "unrecognised special symbol `%s'", name);
499 return;
500 }
501
502 if (is_global == 3) {
503 struct elf_symbol **s;
504 /*
505 * Fix up a forward-reference symbol size from the first
506 * pass.
507 */
508 for (s = &fwds; *s; s = &(*s)->nextfwd)
509 if (!strcmp((*s)->name, name)) {
510 struct tokenval tokval;
511 expr *e;
512 char *p = nasm_skip_spaces(nasm_skip_word(special));
513
514 stdscan_reset();
515 stdscan_set(p);
516 tokval.t_type = TOKEN_INVALID;
517 e = evaluate(stdscan, NULL, &tokval, NULL, 1, NULL);
518 if (e) {
519 if (!is_simple(e))
520 nasm_error(ERR_NONFATAL, "cannot use relocatable"
521 " expression as symbol size");
522 else
523 (*s)->size = reloc_value(e);
524 }
525
526 /*
527 * Remove it from the list of unresolved sizes.
528 */
529 nasm_free((*s)->name);
530 *s = (*s)->nextfwd;
531 return;
532 }
533 return; /* it wasn't an important one */
534 }
535
536 saa_wbytes(strs, name, (int32_t)(1 + strlen(name)));
537 strslen += 1 + strlen(name);
538
539 lastsym = sym = saa_wstruct(syms);
540
541 memset(&sym->symv, 0, sizeof(struct rbtree));
542
543 sym->strpos = pos;
544 sym->type = is_global ? SYM_GLOBAL : SYM_LOCAL;
545 sym->other = STV_DEFAULT;
546 sym->size = 0;
547 if (segment == NO_SEG)
548 sym->section = SHN_ABS;
549 else {
550 int i;
551 sym->section = SHN_UNDEF;
552 if (segment == def_seg) {
553 /* we have to be sure at least text section is there */
554 int tempint;
555 if (segment != elf_section_names(".text", 2, &tempint))
556 nasm_panic(0, "strange segment conditions in ELF driver");
557 }
558 for (i = 0; i < nsects; i++) {
559 if (segment == sects[i]->index) {
560 sym->section = i + 1;
561 break;
562 }
563 }
564 }
565
566 if (is_global == 2) {
567 sym->size = offset;
568 sym->symv.key = 0;
569 sym->section = SHN_COMMON;
570 /*
571 * We have a common variable. Check the special text to see
572 * if it's a valid number and power of two; if so, store it
573 * as the alignment for the common variable.
574 */
575 if (special) {
576 bool err;
577 sym->symv.key = readnum(special, &err);
578 if (err)
579 nasm_error(ERR_NONFATAL, "alignment constraint `%s' is not a"
580 " valid number", special);
581 else if ((sym->symv.key | (sym->symv.key - 1)) != 2 * sym->symv.key - 1)
582 nasm_error(ERR_NONFATAL, "alignment constraint `%s' is not a"
583 " power of two", special);
584 }
585 special_used = true;
586 } else
587 sym->symv.key = (sym->section == SHN_UNDEF ? 0 : offset);
588
589 if (sym->type == SYM_GLOBAL) {
590 /*
591 * If sym->section == SHN_ABS, then the first line of the
592 * else section would cause a core dump, because its a reference
593 * beyond the end of the section array.
594 * This behaviour is exhibited by this code:
595 * GLOBAL crash_nasm
596 * crash_nasm equ 0
597 * To avoid such a crash, such requests are silently discarded.
598 * This may not be the best solution.
599 */
600 if (sym->section == SHN_UNDEF || sym->section == SHN_COMMON) {
601 bsym = raa_write(bsym, segment, nglobs);
602 } else if (sym->section != SHN_ABS) {
603 /*
604 * This is a global symbol; so we must add it to the rbtree
605 * of global symbols in its section.
606 *
607 * In addition, we check the special text for symbol
608 * type and size information.
609 */
610 sects[sym->section-1]->gsyms =
611 rb_insert(sects[sym->section-1]->gsyms, &sym->symv);
612
613 if (special) {
614 int n = strcspn(special, " \t");
615
616 if (!nasm_strnicmp(special, "function", n))
617 sym->type |= STT_FUNC;
618 else if (!nasm_strnicmp(special, "data", n) ||
619 !nasm_strnicmp(special, "object", n))
620 sym->type |= STT_OBJECT;
621 else if (!nasm_strnicmp(special, "notype", n))
622 sym->type |= STT_NOTYPE;
623 else
624 nasm_error(ERR_NONFATAL, "unrecognised symbol type `%.*s'",
625 n, special);
626 special += n;
627
628 special = nasm_skip_spaces(special);
629 if (*special) {
630 n = strcspn(special, " \t");
631 if (!nasm_strnicmp(special, "default", n))
632 sym->other = STV_DEFAULT;
633 else if (!nasm_strnicmp(special, "internal", n))
634 sym->other = STV_INTERNAL;
635 else if (!nasm_strnicmp(special, "hidden", n))
636 sym->other = STV_HIDDEN;
637 else if (!nasm_strnicmp(special, "protected", n))
638 sym->other = STV_PROTECTED;
639 else
640 n = 0;
641 special += n;
642 }
643
644 if (*special) {
645 struct tokenval tokval;
646 expr *e;
647 int fwd = 0;
648 char *saveme = stdscan_get();
649
650 while (special[n] && nasm_isspace(special[n]))
651 n++;
652 /*
653 * We have a size expression; attempt to
654 * evaluate it.
655 */
656 stdscan_reset();
657 stdscan_set(special + n);
658 tokval.t_type = TOKEN_INVALID;
659 e = evaluate(stdscan, NULL, &tokval, &fwd, 0, NULL);
660 if (fwd) {
661 sym->nextfwd = fwds;
662 fwds = sym;
663 sym->name = nasm_strdup(name);
664 } else if (e) {
665 if (!is_simple(e))
666 nasm_error(ERR_NONFATAL, "cannot use relocatable"
667 " expression as symbol size");
668 else
669 sym->size = reloc_value(e);
670 }
671 stdscan_set(saveme);
672 }
673 special_used = true;
674 }
675 /*
676 * If TLS segment, mark symbol accordingly.
677 */
678 if (sects[sym->section - 1]->flags & SHF_TLS) {
679 sym->type &= 0xf0;
680 sym->type |= STT_TLS;
681 }
682 }
683 sym->globnum = nglobs;
684 nglobs++;
685 } else
686 nlocals++;
687
688 if (special && !special_used)
689 nasm_error(ERR_NONFATAL, "no special symbol features supported here");
690 }
691
692 static void elf_add_reloc(struct elf_section *sect, int32_t segment,
693 int64_t offset, int type)
694 {
695 struct elf_reloc *r;
696
697 r = *sect->tail = nasm_zalloc(sizeof(struct elf_reloc));
698 sect->tail = &r->next;
699
700 r->address = sect->len;
701 r->offset = offset;
702
703 if (segment != NO_SEG) {
704 int i;
705 for (i = 0; i < nsects; i++)
706 if (segment == sects[i]->index)
707 r->symbol = i + 2;
708 if (!r->symbol)
709 r->symbol = GLOBAL_TEMP_BASE + raa_read(bsym, segment);
710 }
711 r->type = type;
712
713 sect->nrelocs++;
714 }
715
716 /*
717 * This routine deals with ..got and ..sym relocations: the more
718 * complicated kinds. In shared-library writing, some relocations
719 * with respect to global symbols must refer to the precise symbol
720 * rather than referring to an offset from the base of the section
721 * _containing_ the symbol. Such relocations call to this routine,
722 * which searches the symbol list for the symbol in question.
723 *
724 * R_386_GOT32 | R_X86_64_GOT32 references require the _exact_ symbol address to be
725 * used; R_386_32 | R_X86_64_32 references can be at an offset from the symbol.
726 * The boolean argument `exact' tells us this.
727 *
728 * Return value is the adjusted value of `addr', having become an
729 * offset from the symbol rather than the section. Should always be
730 * zero when returning from an exact call.
731 *
732 * Limitation: if you define two symbols at the same place,
733 * confusion will occur.
734 *
735 * Inefficiency: we search, currently, using a linked list which
736 * isn't even necessarily sorted.
737 */
738 static int64_t elf_add_gsym_reloc(struct elf_section *sect,
739 int32_t segment, uint64_t offset,
740 int64_t pcrel, int type, bool exact)
741 {
742 struct elf_reloc *r;
743 struct elf_section *s;
744 struct elf_symbol *sym;
745 struct rbtree *srb;
746 int i;
747
748 /*
749 * First look up the segment/offset pair and find a global
750 * symbol corresponding to it. If it's not one of our segments,
751 * then it must be an external symbol, in which case we're fine
752 * doing a normal elf_add_reloc after first sanity-checking
753 * that the offset from the symbol is zero.
754 */
755 s = NULL;
756 for (i = 0; i < nsects; i++)
757 if (segment == sects[i]->index) {
758 s = sects[i];
759 break;
760 }
761
762 if (!s) {
763 if (exact && offset)
764 nasm_error(ERR_NONFATAL, "invalid access to an external symbol");
765 else
766 elf_add_reloc(sect, segment, offset - pcrel, type);
767 return 0;
768 }
769
770 srb = rb_search(s->gsyms, offset);
771 if (!srb || (exact && srb->key != offset)) {
772 nasm_error(ERR_NONFATAL, "unable to find a suitable global symbol"
773 " for this reference");
774 return 0;
775 }
776 sym = container_of(srb, struct elf_symbol, symv);
777
778 r = *sect->tail = nasm_malloc(sizeof(struct elf_reloc));
779 sect->tail = &r->next;
780
781 r->next = NULL;
782 r->address = sect->len;
783 r->offset = offset - pcrel - sym->symv.key;
784 r->symbol = GLOBAL_TEMP_BASE + sym->globnum;
785 r->type = type;
786
787 sect->nrelocs++;
788 return r->offset;
789 }
790
791 static void elf32_out(int32_t segto, const void *data,
792 enum out_type type, uint64_t size,
793 int32_t segment, int32_t wrt)
794 {
795 struct elf_section *s;
796 int64_t addr;
797 int reltype, bytes;
798 int i;
799 static struct symlininfo sinfo;
800
801 /*
802 * handle absolute-assembly (structure definitions)
803 */
804 if (segto == NO_SEG) {
805 if (type != OUT_RESERVE)
806 nasm_error(ERR_NONFATAL, "attempt to assemble code in [ABSOLUTE]"
807 " space");
808 return;
809 }
810
811 s = NULL;
812 for (i = 0; i < nsects; i++)
813 if (segto == sects[i]->index) {
814 s = sects[i];
815 break;
816 }
817 if (!s) {
818 int tempint; /* ignored */
819 if (segto != elf_section_names(".text", 2, &tempint))
820 nasm_panic(0, "strange segment conditions in ELF driver");
821 else {
822 s = sects[nsects - 1];
823 i = nsects - 1;
824 }
825 }
826
827 /* again some stabs debugging stuff */
828 sinfo.offset = s->len;
829 sinfo.section = i;
830 sinfo.segto = segto;
831 sinfo.name = s->name;
832 dfmt->debug_output(TY_DEBUGSYMLIN, &sinfo);
833 /* end of debugging stuff */
834
835 if (s->type == SHT_NOBITS && type != OUT_RESERVE) {
836 nasm_error(ERR_WARNING, "attempt to initialize memory in"
837 " BSS section `%s': ignored", s->name);
838 s->len += realsize(type, size);
839 return;
840 }
841
842 switch (type) {
843 case OUT_RESERVE:
844 if (s->type == SHT_PROGBITS) {
845 nasm_error(ERR_WARNING, "uninitialized space declared in"
846 " non-BSS section `%s': zeroing", s->name);
847 elf_sect_write(s, NULL, size);
848 } else
849 s->len += size;
850 break;
851
852 case OUT_RAWDATA:
853 if (segment != NO_SEG)
854 nasm_panic(0, "OUT_RAWDATA with other than NO_SEG");
855 elf_sect_write(s, data, size);
856 break;
857
858 case OUT_ADDRESS:
859 {
860 bool gnu16 = false;
861 int asize = abs((int)size);
862
863 addr = *(int64_t *)data;
864 if (segment != NO_SEG) {
865 if (segment % 2) {
866 nasm_error(ERR_NONFATAL, "ELF format does not support"
867 " segment base references");
868 } else {
869 if (wrt == NO_SEG) {
870 /*
871 * The if() is a hack to deal with compilers which
872 * don't handle switch() statements with 64-bit
873 * expressions.
874 */
875 switch (asize) {
876 case 1:
877 gnu16 = true;
878 elf_add_reloc(s, segment, 0, R_386_8);
879 break;
880 case 2:
881 gnu16 = true;
882 elf_add_reloc(s, segment, 0, R_386_16);
883 break;
884 case 4:
885 elf_add_reloc(s, segment, 0, R_386_32);
886 break;
887 default: /* Error issued further down */
888 break;
889 }
890 } else if (wrt == elf_gotpc_sect + 1) {
891 /*
892 * The user will supply GOT relative to $$. ELF
893 * will let us have GOT relative to $. So we
894 * need to fix up the data item by $-$$.
895 */
896 addr += s->len;
897 elf_add_reloc(s, segment, 0, R_386_GOTPC);
898 } else if (wrt == elf_gotoff_sect + 1) {
899 elf_add_reloc(s, segment, 0, R_386_GOTOFF);
900 } else if (wrt == elf_tlsie_sect + 1) {
901 addr = elf_add_gsym_reloc(s, segment, addr, 0,
902 R_386_TLS_IE, true);
903 } else if (wrt == elf_got_sect + 1) {
904 addr = elf_add_gsym_reloc(s, segment, addr, 0,
905 R_386_GOT32, true);
906 } else if (wrt == elf_sym_sect + 1) {
907 switch (asize) {
908 case 1:
909 gnu16 = true;
910 addr = elf_add_gsym_reloc(s, segment, addr, 0,
911 R_386_8, false);
912 break;
913 case 2:
914 gnu16 = true;
915 addr = elf_add_gsym_reloc(s, segment, addr, 0,
916 R_386_16, false);
917 break;
918 case 4:
919 addr = elf_add_gsym_reloc(s, segment, addr, 0,
920 R_386_32, false);
921 break;
922 default:
923 break;
924 }
925 } else if (wrt == elf_plt_sect + 1) {
926 nasm_error(ERR_NONFATAL, "ELF format cannot produce non-PC-"
927 "relative PLT references");
928 } else {
929 nasm_error(ERR_NONFATAL, "ELF format does not support this"
930 " use of WRT");
931 wrt = NO_SEG; /* we can at least _try_ to continue */
932 }
933 }
934 }
935
936 if (gnu16) {
937 nasm_error(ERR_WARNING | ERR_WARN_GNUELF,
938 "8- or 16-bit relocations in ELF32 is a GNU extension");
939 } else if (asize != 4 && segment != NO_SEG) {
940 nasm_error(ERR_NONFATAL, "Unsupported non-32-bit ELF relocation");
941 }
942 elf_sect_writeaddr(s, addr, asize);
943 break;
944 }
945
946 case OUT_REL1ADR:
947 reltype = R_386_PC8;
948 bytes = 1;
949 goto rel12adr;
950 case OUT_REL2ADR:
951 reltype = R_386_PC16;
952 bytes = 2;
953 goto rel12adr;
954
955 rel12adr:
956 addr = *(int64_t *)data - size;
957 nasm_assert(segment != segto);
958 if (segment != NO_SEG && segment % 2) {
959 nasm_error(ERR_NONFATAL, "ELF format does not support"
960 " segment base references");
961 } else {
962 if (wrt == NO_SEG) {
963 nasm_error(ERR_WARNING | ERR_WARN_GNUELF,
964 "8- or 16-bit relocations in ELF is a GNU extension");
965 elf_add_reloc(s, segment, 0, reltype);
966 } else {
967 nasm_error(ERR_NONFATAL,
968 "Unsupported non-32-bit ELF relocation");
969 }
970 }
971 elf_sect_writeaddr(s, addr, bytes);
972 break;
973
974 case OUT_REL4ADR:
975 addr = *(int64_t *)data - size;
976 if (segment == segto)
977 nasm_panic(0, "intra-segment OUT_REL4ADR");
978 if (segment != NO_SEG && segment % 2) {
979 nasm_error(ERR_NONFATAL, "ELF format does not support"
980 " segment base references");
981 } else {
982 if (wrt == NO_SEG) {
983 elf_add_reloc(s, segment, 0, R_386_PC32);
984 } else if (wrt == elf_plt_sect + 1) {
985 elf_add_reloc(s, segment, 0, R_386_PLT32);
986 } else if (wrt == elf_gotpc_sect + 1 ||
987 wrt == elf_gotoff_sect + 1 ||
988 wrt == elf_got_sect + 1) {
989 nasm_error(ERR_NONFATAL, "ELF format cannot produce PC-"
990 "relative GOT references");
991 } else {
992 nasm_error(ERR_NONFATAL, "ELF format does not support this"
993 " use of WRT");
994 wrt = NO_SEG; /* we can at least _try_ to continue */
995 }
996 }
997 elf_sect_writeaddr(s, addr, 4);
998 break;
999
1000 case OUT_REL8ADR:
1001 nasm_error(ERR_NONFATAL, "32-bit ELF format does not support 64-bit relocations");
1002 addr = 0;
1003 elf_sect_writeaddr(s, addr, 8);
1004 break;
1005
1006 default:
1007 panic();
1008 }
1009 }
1010 static void elf64_out(int32_t segto, const void *data,
1011 enum out_type type, uint64_t size,
1012 int32_t segment, int32_t wrt)
1013 {
1014 struct elf_section *s;
1015 int64_t addr;
1016 int reltype, bytes;
1017 int i;
1018 static struct symlininfo sinfo;
1019
1020 /*
1021 * handle absolute-assembly (structure definitions)
1022 */
1023 if (segto == NO_SEG) {
1024 if (type != OUT_RESERVE)
1025 nasm_error(ERR_NONFATAL, "attempt to assemble code in [ABSOLUTE]"
1026 " space");
1027 return;
1028 }
1029
1030 s = NULL;
1031 for (i = 0; i < nsects; i++)
1032 if (segto == sects[i]->index) {
1033 s = sects[i];
1034 break;
1035 }
1036 if (!s) {
1037 int tempint; /* ignored */
1038 if (segto != elf_section_names(".text", 2, &tempint))
1039 nasm_panic(0, "strange segment conditions in ELF driver");
1040 else {
1041 s = sects[nsects - 1];
1042 i = nsects - 1;
1043 }
1044 }
1045
1046 /* again some stabs debugging stuff */
1047 sinfo.offset = s->len;
1048 sinfo.section = i;
1049 sinfo.segto = segto;
1050 sinfo.name = s->name;
1051 dfmt->debug_output(TY_DEBUGSYMLIN, &sinfo);
1052 /* end of debugging stuff */
1053
1054 if (s->type == SHT_NOBITS && type != OUT_RESERVE) {
1055 nasm_error(ERR_WARNING, "attempt to initialize memory in"
1056 " BSS section `%s': ignored", s->name);
1057 s->len += realsize(type, size);
1058 return;
1059 }
1060
1061 switch (type) {
1062 case OUT_RESERVE:
1063 if (s->type == SHT_PROGBITS) {
1064 nasm_error(ERR_WARNING, "uninitialized space declared in"
1065 " non-BSS section `%s': zeroing", s->name);
1066 elf_sect_write(s, NULL, size);
1067 } else
1068 s->len += size;
1069 break;
1070
1071 case OUT_RAWDATA:
1072 if (segment != NO_SEG)
1073 nasm_panic(0, "OUT_RAWDATA with other than NO_SEG");
1074 elf_sect_write(s, data, size);
1075 break;
1076
1077 case OUT_ADDRESS:
1078 {
1079 int isize = (int)size;
1080 int asize = abs((int)size);
1081
1082 addr = *(int64_t *)data;
1083 if (segment == NO_SEG) {
1084 /* Do nothing */
1085 } else if (segment % 2) {
1086 nasm_error(ERR_NONFATAL, "ELF format does not support"
1087 " segment base references");
1088 } else {
1089 if (wrt == NO_SEG) {
1090 switch (isize) {
1091 case 1:
1092 case -1:
1093 elf_add_reloc(s, segment, addr, R_X86_64_8);
1094 break;
1095 case 2:
1096 case -2:
1097 elf_add_reloc(s, segment, addr, R_X86_64_16);
1098 break;
1099 case 4:
1100 elf_add_reloc(s, segment, addr, R_X86_64_32);
1101 break;
1102 case -4:
1103 elf_add_reloc(s, segment, addr, R_X86_64_32S);
1104 break;
1105 case 8:
1106 case -8:
1107 elf_add_reloc(s, segment, addr, R_X86_64_64);
1108 break;
1109 default:
1110 nasm_panic(0, "internal error elf64-hpa-871");
1111 break;
1112 }
1113 addr = 0;
1114 } else if (wrt == elf_gotpc_sect + 1) {
1115 /*
1116 * The user will supply GOT relative to $$. ELF
1117 * will let us have GOT relative to $. So we
1118 * need to fix up the data item by $-$$.
1119 */
1120 addr += s->len;
1121 elf_add_reloc(s, segment, addr, R_X86_64_GOTPC32);
1122 addr = 0;
1123 } else if (wrt == elf_gotoff_sect + 1) {
1124 if (asize != 8) {
1125 nasm_error(ERR_NONFATAL, "ELF64 requires ..gotoff "
1126 "references to be qword");
1127 } else {
1128 elf_add_reloc(s, segment, addr, R_X86_64_GOTOFF64);
1129 addr = 0;
1130 }
1131 } else if (wrt == elf_got_sect + 1) {
1132 switch (asize) {
1133 case 4:
1134 elf_add_gsym_reloc(s, segment, addr, 0,
1135 R_X86_64_GOT32, true);
1136 addr = 0;
1137 break;
1138 case 8:
1139 elf_add_gsym_reloc(s, segment, addr, 0,
1140 R_X86_64_GOT64, true);
1141 addr = 0;
1142 break;
1143 default:
1144 nasm_error(ERR_NONFATAL, "invalid ..got reference");
1145 break;
1146 }
1147 } else if (wrt == elf_sym_sect + 1) {
1148 switch (isize) {
1149 case 1:
1150 case -1:
1151 elf_add_gsym_reloc(s, segment, addr, 0,
1152 R_X86_64_8, false);
1153 addr = 0;
1154 break;
1155 case 2:
1156 case -2:
1157 elf_add_gsym_reloc(s, segment, addr, 0,
1158 R_X86_64_16, false);
1159 addr = 0;
1160 break;
1161 case 4:
1162 elf_add_gsym_reloc(s, segment, addr, 0,
1163 R_X86_64_32, false);
1164 addr = 0;
1165 break;
1166 case -4:
1167 elf_add_gsym_reloc(s, segment, addr, 0,
1168 R_X86_64_32S, false);
1169 addr = 0;
1170 break;
1171 case 8:
1172 case -8:
1173 elf_add_gsym_reloc(s, segment, addr, 0,
1174 R_X86_64_64, false);
1175 addr = 0;
1176 break;
1177 default:
1178 nasm_panic(0, "internal error elf64-hpa-903");
1179 break;
1180 }
1181 } else if (wrt == elf_plt_sect + 1) {
1182 nasm_error(ERR_NONFATAL, "ELF format cannot produce non-PC-"
1183 "relative PLT references");
1184 } else {
1185 nasm_error(ERR_NONFATAL, "ELF format does not support this"
1186 " use of WRT");
1187 }
1188 }
1189 elf_sect_writeaddr(s, addr, asize);
1190 break;
1191 }
1192
1193 case OUT_REL1ADR:
1194 reltype = R_X86_64_PC8;
1195 bytes = 1;
1196 goto rel12adr;
1197
1198 case OUT_REL2ADR:
1199 reltype = R_X86_64_PC16;
1200 bytes = 2;
1201 goto rel12adr;
1202
1203 rel12adr:
1204 addr = *(int64_t *)data - size;
1205 if (segment == segto)
1206 nasm_panic(0, "intra-segment OUT_REL1ADR");
1207 if (segment == NO_SEG) {
1208 /* Do nothing */
1209 } else if (segment % 2) {
1210 nasm_error(ERR_NONFATAL, "ELF format does not support"
1211 " segment base references");
1212 } else {
1213 if (wrt == NO_SEG) {
1214 elf_add_reloc(s, segment, addr, reltype);
1215 addr = 0;
1216 } else {
1217 nasm_error(ERR_NONFATAL,
1218 "Unsupported non-32-bit ELF relocation");
1219 }
1220 }
1221 elf_sect_writeaddr(s, addr, bytes);
1222 break;
1223
1224 case OUT_REL4ADR:
1225 addr = *(int64_t *)data - size;
1226 if (segment == segto)
1227 nasm_panic(0, "intra-segment OUT_REL4ADR");
1228 if (segment == NO_SEG) {
1229 /* Do nothing */
1230 } else if (segment % 2) {
1231 nasm_error(ERR_NONFATAL, "ELF64 format does not support"
1232 " segment base references");
1233 } else {
1234 if (wrt == NO_SEG) {
1235 elf_add_reloc(s, segment, addr, R_X86_64_PC32);
1236 addr = 0;
1237 } else if (wrt == elf_plt_sect + 1) {
1238 elf_add_gsym_reloc(s, segment, addr+size, size,
1239 R_X86_64_PLT32, true);
1240 addr = 0;
1241 } else if (wrt == elf_gotpc_sect + 1 ||
1242 wrt == elf_got_sect + 1) {
1243 elf_add_gsym_reloc(s, segment, addr+size, size,
1244 R_X86_64_GOTPCREL, true);
1245 addr = 0;
1246 } else if (wrt == elf_gotoff_sect + 1 ||
1247 wrt == elf_got_sect + 1) {
1248 nasm_error(ERR_NONFATAL, "ELF64 requires ..gotoff references to be "
1249 "qword absolute");
1250 } else if (wrt == elf_gottpoff_sect + 1) {
1251 elf_add_gsym_reloc(s, segment, addr+size, size,
1252 R_X86_64_GOTTPOFF, true);
1253 addr = 0;
1254 } else {
1255 nasm_error(ERR_NONFATAL, "ELF64 format does not support this"
1256 " use of WRT");
1257 }
1258 }
1259 elf_sect_writeaddr(s, addr, 4);
1260 break;
1261
1262 case OUT_REL8ADR:
1263 addr = *(int64_t *)data - size;
1264 if (segment == segto)
1265 nasm_panic(0, "intra-segment OUT_REL8ADR");
1266 if (segment == NO_SEG) {
1267 /* Do nothing */
1268 } else if (segment % 2) {
1269 nasm_error(ERR_NONFATAL, "ELF64 format does not support"
1270 " segment base references");
1271 } else {
1272 if (wrt == NO_SEG) {
1273 elf_add_reloc(s, segment, addr, R_X86_64_PC64);
1274 addr = 0;
1275 } else if (wrt == elf_gotpc_sect + 1 ||
1276 wrt == elf_got_sect + 1) {
1277 elf_add_gsym_reloc(s, segment, addr+size, size,
1278 R_X86_64_GOTPCREL64, true);
1279 addr = 0;
1280 } else if (wrt == elf_gotoff_sect + 1 ||
1281 wrt == elf_got_sect + 1) {
1282 nasm_error(ERR_NONFATAL, "ELF64 requires ..gotoff references to be "
1283 "absolute");
1284 } else if (wrt == elf_gottpoff_sect + 1) {
1285 nasm_error(ERR_NONFATAL, "ELF64 requires ..gottpoff references to be "
1286 "dword");
1287 } else {
1288 nasm_error(ERR_NONFATAL, "ELF64 format does not support this"
1289 " use of WRT");
1290 }
1291 }
1292 elf_sect_writeaddr(s, addr, 8);
1293 break;
1294
1295 default:
1296 panic();
1297 }
1298 }
1299
1300 static void elfx32_out(int32_t segto, const void *data,
1301 enum out_type type, uint64_t size,
1302 int32_t segment, int32_t wrt)
1303 {
1304 struct elf_section *s;
1305 int64_t addr;
1306 int reltype, bytes;
1307 int i;
1308 static struct symlininfo sinfo;
1309
1310 /*
1311 * handle absolute-assembly (structure definitions)
1312 */
1313 if (segto == NO_SEG) {
1314 if (type != OUT_RESERVE)
1315 nasm_error(ERR_NONFATAL, "attempt to assemble code in [ABSOLUTE]"
1316 " space");
1317 return;
1318 }
1319
1320 s = NULL;
1321 for (i = 0; i < nsects; i++)
1322 if (segto == sects[i]->index) {
1323 s = sects[i];
1324 break;
1325 }
1326 if (!s) {
1327 int tempint; /* ignored */
1328 if (segto != elf_section_names(".text", 2, &tempint))
1329 nasm_panic(0, "strange segment conditions in ELF driver");
1330 else {
1331 s = sects[nsects - 1];
1332 i = nsects - 1;
1333 }
1334 }
1335
1336 /* again some stabs debugging stuff */
1337 sinfo.offset = s->len;
1338 sinfo.section = i;
1339 sinfo.segto = segto;
1340 sinfo.name = s->name;
1341 dfmt->debug_output(TY_DEBUGSYMLIN, &sinfo);
1342 /* end of debugging stuff */
1343
1344 if (s->type == SHT_NOBITS && type != OUT_RESERVE) {
1345 nasm_error(ERR_WARNING, "attempt to initialize memory in"
1346 " BSS section `%s': ignored", s->name);
1347 s->len += realsize(type, size);
1348 return;
1349 }
1350
1351 switch (type) {
1352 case OUT_RESERVE:
1353 if (s->type == SHT_PROGBITS) {
1354 nasm_error(ERR_WARNING, "uninitialized space declared in"
1355 " non-BSS section `%s': zeroing", s->name);
1356 elf_sect_write(s, NULL, size);
1357 } else
1358 s->len += size;
1359 break;
1360
1361 case OUT_RAWDATA:
1362 if (segment != NO_SEG)
1363 nasm_panic(0, "OUT_RAWDATA with other than NO_SEG");
1364 elf_sect_write(s, data, size);
1365 break;
1366
1367 case OUT_ADDRESS:
1368 {
1369 int isize = (int)size;
1370 int asize = abs((int)size);
1371
1372 addr = *(int64_t *)data;
1373 if (segment == NO_SEG) {
1374 /* Do nothing */
1375 } else if (segment % 2) {
1376 nasm_error(ERR_NONFATAL, "ELF format does not support"
1377 " segment base references");
1378 } else {
1379 if (wrt == NO_SEG) {
1380 switch (isize) {
1381 case 1:
1382 case -1:
1383 elf_add_reloc(s, segment, addr, R_X86_64_8);
1384 break;
1385 case 2:
1386 case -2:
1387 elf_add_reloc(s, segment, addr, R_X86_64_16);
1388 break;
1389 case 4:
1390 elf_add_reloc(s, segment, addr, R_X86_64_32);
1391 break;
1392 case -4:
1393 elf_add_reloc(s, segment, addr, R_X86_64_32S);
1394 break;
1395 case 8:
1396 case -8:
1397 elf_add_reloc(s, segment, addr, R_X86_64_64);
1398 break;
1399 default:
1400 nasm_panic(0, "internal error elfx32-hpa-871");
1401 break;
1402 }
1403 addr = 0;
1404 } else if (wrt == elf_gotpc_sect + 1) {
1405 /*
1406 * The user will supply GOT relative to $$. ELF
1407 * will let us have GOT relative to $. So we
1408 * need to fix up the data item by $-$$.
1409 */
1410 addr += s->len;
1411 elf_add_reloc(s, segment, addr, R_X86_64_GOTPC32);
1412 addr = 0;
1413 } else if (wrt == elf_gotoff_sect + 1) {
1414 nasm_error(ERR_NONFATAL, "ELFX32 doesn't support "
1415 "R_X86_64_GOTOFF64");
1416 } else if (wrt == elf_got_sect + 1) {
1417 switch (asize) {
1418 case 4:
1419 elf_add_gsym_reloc(s, segment, addr, 0,
1420 R_X86_64_GOT32, true);
1421 addr = 0;
1422 break;
1423 default:
1424 nasm_error(ERR_NONFATAL, "invalid ..got reference");
1425 break;
1426 }
1427 } else if (wrt == elf_sym_sect + 1) {
1428 switch (isize) {
1429 case 1:
1430 case -1:
1431 elf_add_gsym_reloc(s, segment, addr, 0,
1432 R_X86_64_8, false);
1433 addr = 0;
1434 break;
1435 case 2:
1436 case -2:
1437 elf_add_gsym_reloc(s, segment, addr, 0,
1438 R_X86_64_16, false);
1439 addr = 0;
1440 break;
1441 case 4:
1442 elf_add_gsym_reloc(s, segment, addr, 0,
1443 R_X86_64_32, false);
1444 addr = 0;
1445 break;
1446 case -4:
1447 elf_add_gsym_reloc(s, segment, addr, 0,
1448 R_X86_64_32S, false);
1449 addr = 0;
1450 break;
1451 case 8:
1452 case -8:
1453 elf_add_gsym_reloc(s, segment, addr, 0,
1454 R_X86_64_64, false);
1455 addr = 0;
1456 break;
1457 default:
1458 nasm_panic(0, "internal error elfx32-hpa-903");
1459 break;
1460 }
1461 } else if (wrt == elf_plt_sect + 1) {
1462 nasm_error(ERR_NONFATAL, "ELF format cannot produce non-PC-"
1463 "relative PLT references");
1464 } else {
1465 nasm_error(ERR_NONFATAL, "ELF format does not support this"
1466 " use of WRT");
1467 }
1468 }
1469 elf_sect_writeaddr(s, addr, asize);
1470 break;
1471 }
1472
1473 case OUT_REL1ADR:
1474 reltype = R_X86_64_PC8;
1475 bytes = 1;
1476 goto rel12adr;
1477
1478 case OUT_REL2ADR:
1479 reltype = R_X86_64_PC16;
1480 bytes = 2;
1481 goto rel12adr;
1482
1483 rel12adr:
1484 addr = *(int64_t *)data - size;
1485 if (segment == segto)
1486 nasm_panic(0, "intra-segment OUT_REL1ADR");
1487 if (segment == NO_SEG) {
1488 /* Do nothing */
1489 } else if (segment % 2) {
1490 nasm_error(ERR_NONFATAL, "ELF format does not support"
1491 " segment base references");
1492 } else {
1493 if (wrt == NO_SEG) {
1494 elf_add_reloc(s, segment, addr, reltype);
1495 addr = 0;
1496 } else {
1497 nasm_error(ERR_NONFATAL,
1498 "Unsupported non-32-bit ELF relocation");
1499 }
1500 }
1501 elf_sect_writeaddr(s, addr, bytes);
1502 break;
1503
1504 case OUT_REL4ADR:
1505 addr = *(int64_t *)data - size;
1506 if (segment == segto)
1507 nasm_panic(0, "intra-segment OUT_REL4ADR");
1508 if (segment == NO_SEG) {
1509 /* Do nothing */
1510 } else if (segment % 2) {
1511 nasm_error(ERR_NONFATAL, "ELFX32 format does not support"
1512 " segment base references");
1513 } else {
1514 if (wrt == NO_SEG) {
1515 elf_add_reloc(s, segment, addr, R_X86_64_PC32);
1516 addr = 0;
1517 } else if (wrt == elf_plt_sect + 1) {
1518 elf_add_gsym_reloc(s, segment, addr+size, size,
1519 R_X86_64_PLT32, true);
1520 addr = 0;
1521 } else if (wrt == elf_gotpc_sect + 1 ||
1522 wrt == elf_got_sect + 1) {
1523 elf_add_gsym_reloc(s, segment, addr+size, size,
1524 R_X86_64_GOTPCREL, true);
1525 addr = 0;
1526 } else if (wrt == elf_gotoff_sect + 1 ||
1527 wrt == elf_got_sect + 1) {
1528 nasm_error(ERR_NONFATAL, "invalid ..gotoff reference");
1529 } else if (wrt == elf_gottpoff_sect + 1) {
1530 elf_add_gsym_reloc(s, segment, addr+size, size,
1531 R_X86_64_GOTTPOFF, true);
1532 addr = 0;
1533 } else {
1534 nasm_error(ERR_NONFATAL, "ELFX32 format does not support this"
1535 " use of WRT");
1536 }
1537 }
1538 elf_sect_writeaddr(s, addr, 4);
1539 break;
1540
1541 case OUT_REL8ADR:
1542 nasm_error(ERR_NONFATAL, "32-bit ELF format does not support 64-bit relocations");
1543 addr = 0;
1544 elf_sect_writeaddr(s, addr, 8);
1545 break;
1546
1547 default:
1548 panic();
1549 }
1550 }
1551
1552 static void elf_write(void)
1553 {
1554 int align;
1555 char *p;
1556 int i;
1557
1558 struct SAA *symtab;
1559 int32_t symtablen, symtablocal;
1560
1561 /*
1562 * Work out how many sections we will have. We have SHN_UNDEF,
1563 * then the flexible user sections, then the fixed sections
1564 * `.shstrtab', `.symtab' and `.strtab', then optionally
1565 * relocation sections for the user sections.
1566 */
1567 nsections = sec_numspecial + 1;
1568 if (dfmt_is_stabs())
1569 nsections += 3;
1570 else if (dfmt_is_dwarf())
1571 nsections += 10;
1572
1573 add_sectname("", ".shstrtab");
1574 add_sectname("", ".symtab");
1575 add_sectname("", ".strtab");
1576 for (i = 0; i < nsects; i++) {
1577 nsections++; /* for the section itself */
1578 if (sects[i]->head) {
1579 nsections++; /* for its relocations */
1580 add_sectname(is_elf32() ? ".rel" : ".rela", sects[i]->name);
1581 }
1582 }
1583
1584 if (dfmt_is_stabs()) {
1585 /* in case the debug information is wanted, just add these three sections... */
1586 add_sectname("", ".stab");
1587 add_sectname("", ".stabstr");
1588 add_sectname(is_elf32() ? ".rel" : ".rela", ".stab");
1589 } else if (dfmt_is_dwarf()) {
1590 /* the dwarf debug standard specifies the following ten sections,
1591 not all of which are currently implemented,
1592 although all of them are defined. */
1593 #define debug_aranges (int64_t) (nsections-10)
1594 #define debug_info (int64_t) (nsections-7)
1595 #define debug_abbrev (int64_t) (nsections-5)
1596 #define debug_line (int64_t) (nsections-4)
1597 add_sectname("", ".debug_aranges");
1598 add_sectname(".rela", ".debug_aranges");
1599 add_sectname("", ".debug_pubnames");
1600 add_sectname("", ".debug_info");
1601 add_sectname(".rela", ".debug_info");
1602 add_sectname("", ".debug_abbrev");
1603 add_sectname("", ".debug_line");
1604 add_sectname(".rela", ".debug_line");
1605 add_sectname("", ".debug_frame");
1606 add_sectname("", ".debug_loc");
1607 }
1608
1609 /*
1610 * Output the ELF header.
1611 */
1612 if (is_elf32() || is_elfx32()) {
1613 nasm_write("\177ELF\1\1\1", 7, ofile);
1614 fputc(elf_osabi, ofile);
1615 fputc(elf_abiver, ofile);
1616 fwritezero(7, ofile);
1617 fwriteint16_t(ET_REL, ofile); /* relocatable file */
1618 fwriteint16_t(is_elf32() ? EM_386 : EM_X86_64, ofile); /* processor ID */
1619 fwriteint32_t(1L, ofile); /* EV_CURRENT file format version */
1620 fwriteint32_t(0L, ofile); /* no entry point */
1621 fwriteint32_t(0L, ofile); /* no program header table */
1622 fwriteint32_t(0x40L, ofile); /* section headers straight after ELF header plus alignment */
1623 fwriteint32_t(0L, ofile); /* no special flags */
1624 fwriteint16_t(0x34, ofile); /* size of ELF header */
1625 fwriteint16_t(0, ofile); /* no program header table, again */
1626 fwriteint16_t(0, ofile); /* still no program header table */
1627 fwriteint16_t(sizeof(Elf32_Shdr), ofile); /* size of section header */
1628 fwriteint16_t(nsections, ofile); /* number of sections */
1629 fwriteint16_t(sec_shstrtab, ofile); /* string table section index for section header table */
1630
1631 fwriteint32_t(0L, ofile); /* align to 0x40 bytes */
1632 fwriteint32_t(0L, ofile);
1633 fwriteint32_t(0L, ofile);
1634 } else {
1635 nasm_assert(is_elf64());
1636 nasm_write("\177ELF\2\1\1", 7, ofile);
1637 fputc(elf_osabi, ofile);
1638 fputc(elf_abiver, ofile);
1639 fwritezero(7, ofile);
1640 fwriteint16_t(ET_REL, ofile); /* relocatable file */
1641 fwriteint16_t(EM_X86_64, ofile); /* processor ID */
1642 fwriteint32_t(1L, ofile); /* EV_CURRENT file format version */
1643 fwriteint64_t(0L, ofile); /* no entry point */
1644 fwriteint64_t(0L, ofile); /* no program header table */
1645 fwriteint64_t(0x40L, ofile); /* section headers straight after ELF header plus alignment */
1646 fwriteint32_t(0L, ofile); /* no special flags */
1647 fwriteint16_t(0x40, ofile); /* size of ELF header */
1648 fwriteint16_t(0, ofile); /* no program header table, again */
1649 fwriteint16_t(0, ofile); /* still no program header table */
1650 fwriteint16_t(sizeof(Elf64_Shdr), ofile); /* size of section header */
1651 fwriteint16_t(nsections, ofile); /* number of sections */
1652 fwriteint16_t(sec_shstrtab, ofile); /* string table section index for section header table */
1653 }
1654
1655 /*
1656 * Build the symbol table and relocation tables.
1657 */
1658 symtab = elf_build_symtab(&symtablen, &symtablocal);
1659 for (i = 0; i < nsects; i++)
1660 if (sects[i]->head)
1661 sects[i]->rel = elf_build_reltab(&sects[i]->rellen,
1662 sects[i]->head);
1663
1664 /*
1665 * Now output the section header table.
1666 */
1667
1668 elf_foffs = 0x40 + (is_elf64() ? sizeof(Elf64_Shdr): sizeof(Elf32_Shdr)) * nsections;
1669 align = ALIGN(elf_foffs, SEC_FILEALIGN) - elf_foffs;
1670 elf_foffs += align;
1671 elf_nsect = 0;
1672 elf_sects = nasm_malloc(sizeof(*elf_sects) * nsections);
1673
1674 /* SHN_UNDEF */
1675 elf_section_header(0, SHT_NULL, 0, NULL, false, 0, SHN_UNDEF, 0, 0, 0);
1676 p = shstrtab + 1;
1677
1678 /* The normal sections */
1679 for (i = 0; i < nsects; i++) {
1680 elf_section_header(p - shstrtab, sects[i]->type, sects[i]->flags,
1681 (sects[i]->type == SHT_PROGBITS ?
1682 sects[i]->data : NULL), true,
1683 sects[i]->len, 0, 0, sects[i]->align, 0);
1684 p += strlen(p) + 1;
1685 }
1686
1687 /* .shstrtab */
1688 elf_section_header(p - shstrtab, SHT_STRTAB, 0, shstrtab, false,
1689 shstrtablen, 0, 0, 1, 0);
1690 p += strlen(p) + 1;
1691
1692 /* .symtab */
1693 if (is_elf64())
1694 elf_section_header(p - shstrtab, SHT_SYMTAB, 0, symtab, true,
1695 symtablen, sec_strtab, symtablocal, 8, 24);
1696 else
1697 elf_section_header(p - shstrtab, SHT_SYMTAB, 0, symtab, true,
1698 symtablen, sec_strtab, symtablocal, 4, 16);
1699 p += strlen(p) + 1;
1700
1701 /* .strtab */
1702 elf_section_header(p - shstrtab, SHT_STRTAB, 0, strs, true,
1703 strslen, 0, 0, 1, 0);
1704 p += strlen(p) + 1;
1705
1706 /* The relocation sections */
1707 if (is_elf32()) {
1708 for (i = 0; i < nsects; i++) {
1709 if (sects[i]->head) {
1710 elf_section_header(p - shstrtab, SHT_REL, 0, sects[i]->rel, true,
1711 sects[i]->rellen, sec_symtab, i + 1, 4, 8);
1712 p += strlen(p) + 1;
1713 }
1714 }
1715 } else if (is_elfx32()) {
1716 for (i = 0; i < nsects; i++) {
1717 if (sects[i]->head) {
1718 elf_section_header(p - shstrtab, SHT_RELA, 0, sects[i]->rel, true,
1719 sects[i]->rellen, sec_symtab, i + 1, 4, 12);
1720 p += strlen(p) + 1;
1721 }
1722 }
1723 } else {
1724 nasm_assert(is_elf64());
1725 for (i = 0; i < nsects; i++) {
1726 if (sects[i]->head) {
1727 elf_section_header(p - shstrtab, SHT_RELA, 0, sects[i]->rel, true,
1728 sects[i]->rellen, sec_symtab, i + 1, 8, 24);
1729 p += strlen(p) + 1;
1730 }
1731 }
1732 }
1733
1734 if (dfmt_is_stabs()) {
1735 /* for debugging information, create the last three sections
1736 which are the .stab , .stabstr and .rel.stab sections respectively */
1737
1738 /* this function call creates the stab sections in memory */
1739 stabs_generate();
1740
1741 if (stabbuf && stabstrbuf && stabrelbuf) {
1742 elf_section_header(p - shstrtab, SHT_PROGBITS, 0, stabbuf, false,
1743 stablen, sec_stabstr, 0, 4, 12);
1744 p += strlen(p) + 1;
1745
1746 elf_section_header(p - shstrtab, SHT_STRTAB, 0, stabstrbuf, false,
1747 stabstrlen, 0, 0, 4, 0);
1748 p += strlen(p) + 1;
1749
1750 /* link -> symtable info -> section to refer to */
1751 if (is_elf32()) {
1752 elf_section_header(p - shstrtab, SHT_REL, 0, stabrelbuf, false,
1753 stabrellen, sec_symtab, sec_stab, 4, 8);
1754 } else {
1755 elf_section_header(p - shstrtab, SHT_RELA, 0, stabrelbuf, false,
1756 stabrellen, sec_symtab, sec_stab, 4, is_elf64() ? 24 : 12);
1757 }
1758 p += strlen(p) + 1;
1759 }
1760 } else if (dfmt_is_dwarf()) {
1761 /* for dwarf debugging information, create the ten dwarf sections */
1762
1763 /* this function call creates the dwarf sections in memory */
1764 if (dwarf_fsect)
1765 dwarf_generate();
1766
1767 elf_section_header(p - shstrtab, SHT_PROGBITS, 0, arangesbuf, false,
1768 arangeslen, 0, 0, 1, 0);
1769 p += strlen(p) + 1;
1770
1771 elf_section_header(p - shstrtab, SHT_RELA, 0, arangesrelbuf, false,
1772 arangesrellen, sec_symtab,
1773 is_elf64() ? debug_aranges : sec_debug_aranges,
1774 1, is_elf64() ? 24 : 12);
1775 p += strlen(p) + 1;
1776
1777 elf_section_header(p - shstrtab, SHT_PROGBITS, 0, pubnamesbuf,
1778 false, pubnameslen, 0, 0, 1, 0);
1779 p += strlen(p) + 1;
1780
1781 elf_section_header(p - shstrtab, SHT_PROGBITS, 0, infobuf, false,
1782 infolen, 0, 0, 1, 0);
1783 p += strlen(p) + 1;
1784
1785 elf_section_header(p - shstrtab, SHT_RELA, 0, inforelbuf, false,
1786 inforellen, sec_symtab,
1787 is_elf64() ? debug_info : sec_debug_info,
1788 1, is_elf64() ? 24 : 12);
1789 p += strlen(p) + 1;
1790
1791 elf_section_header(p - shstrtab, SHT_PROGBITS, 0, abbrevbuf, false,
1792 abbrevlen, 0, 0, 1, 0);
1793 p += strlen(p) + 1;
1794
1795 elf_section_header(p - shstrtab, SHT_PROGBITS, 0, linebuf, false,
1796 linelen, 0, 0, 1, 0);
1797 p += strlen(p) + 1;
1798
1799 elf_section_header(p - shstrtab, SHT_RELA, 0, linerelbuf, false,
1800 linerellen, sec_symtab,
1801 is_elf64() ? debug_line : sec_debug_line,
1802 1, is_elf64() ? 24 : 12);
1803 p += strlen(p) + 1;
1804
1805 elf_section_header(p - shstrtab, SHT_PROGBITS, 0, framebuf, false,
1806 framelen, 0, 0, 8, 0);
1807 p += strlen(p) + 1;
1808
1809 elf_section_header(p - shstrtab, SHT_PROGBITS, 0, locbuf, false,
1810 loclen, 0, 0, 1, 0);
1811 p += strlen(p) + 1;
1812 }
1813 fwritezero(align, ofile);
1814
1815 /*
1816 * Now output the sections.
1817 */
1818 elf_write_sections();
1819
1820 nasm_free(elf_sects);
1821 saa_free(symtab);
1822 }
1823
1824 static struct SAA *elf_build_symtab(int32_t *len, int32_t *local)
1825 {
1826 struct SAA *s = saa_init(1L);
1827 struct elf_symbol *sym;
1828 uint8_t entry[24], *p;
1829 int i;
1830
1831 *len = *local = 0;
1832
1833 /*
1834 * First, an all-zeros entry, required by the ELF spec.
1835 */
1836 saa_wbytes(s, NULL, is_elf64() ? 24L : 16L); /* null symbol table entry */
1837 *len += is_elf64() ? 24L : 16L;
1838 (*local)++;
1839
1840 /*
1841 * Next, an entry for the file name.
1842 */
1843 p = entry;
1844 if (is_elf64()) {
1845 WRITELONG(p, 1); /* we know it's 1st entry in strtab */
1846 WRITESHORT(p, STT_FILE); /* type FILE */
1847 WRITESHORT(p, SHN_ABS);
1848 WRITEDLONG(p, (uint64_t) 0); /* no value */
1849 WRITEDLONG(p, (uint64_t) 0); /* no size either */
1850 saa_wbytes(s, entry, 24L);
1851 *len += 24;
1852 (*local)++;
1853 } else {
1854 WRITELONG(p, 1); /* we know it's 1st entry in strtab */
1855 WRITELONG(p, 0); /* no value */
1856 WRITELONG(p, 0); /* no size either */
1857 WRITESHORT(p, STT_FILE); /* type FILE */
1858 WRITESHORT(p, SHN_ABS);
1859 saa_wbytes(s, entry, 16L);
1860 *len += 16;
1861 (*local)++;
1862 }
1863
1864 /*
1865 * Now some standard symbols defining the segments, for relocation
1866 * purposes.
1867 */
1868 if (is_elf64()) {
1869 for (i = 1; i <= nsects; i++) {
1870 p = entry;
1871 WRITELONG(p, 0); /* no symbol name */
1872 WRITESHORT(p, STT_SECTION); /* type, binding, and visibility */
1873 WRITESHORT(p, i); /* section id */
1874 WRITEDLONG(p, (uint64_t) 0); /* offset zero */
1875 WRITEDLONG(p, (uint64_t) 0); /* size zero */
1876 saa_wbytes(s, entry, 24L);
1877 *len += 24;
1878 (*local)++;
1879 }
1880 } else {
1881 for (i = 1; i <= nsects; i++) {
1882 p = entry;
1883 WRITELONG(p, 0); /* no symbol name */
1884 WRITELONG(p, 0); /* offset zero */
1885 WRITELONG(p, 0); /* size zero */
1886 WRITESHORT(p, STT_SECTION); /* type, binding, and visibility */
1887 WRITESHORT(p, i); /* section id */
1888 saa_wbytes(s, entry, 16L);
1889 *len += 16;
1890 (*local)++;
1891 }
1892 }
1893
1894 /*
1895 * Now the other local symbols.
1896 */
1897 saa_rewind(syms);
1898 if (is_elf64()) {
1899 while ((sym = saa_rstruct(syms))) {
1900 if (sym->type & SYM_GLOBAL)
1901 continue;
1902 p = entry;
1903 WRITELONG(p, sym->strpos); /* index into symbol string table */
1904 WRITECHAR(p, sym->type); /* type and binding */
1905 WRITECHAR(p, sym->other); /* visibility */
1906 WRITESHORT(p, sym->section); /* index into section header table */
1907 WRITEDLONG(p, (int64_t)sym->symv.key); /* value of symbol */
1908 WRITEDLONG(p, (int64_t)sym->size); /* size of symbol */
1909 saa_wbytes(s, entry, 24L);
1910 *len += 24;
1911 (*local)++;
1912 }
1913 /*
1914 * dwarf needs symbols for debug sections
1915 * which are relocation targets.
1916 */
1917 if (dfmt_is_dwarf()) {
1918 dwarf_infosym = *local;
1919 p = entry;
1920 WRITELONG(p, 0); /* no symbol name */
1921 WRITESHORT(p, STT_SECTION); /* type, binding, and visibility */
1922 WRITESHORT(p, debug_info); /* section id */
1923 WRITEDLONG(p, (uint64_t) 0); /* offset zero */
1924 WRITEDLONG(p, (uint64_t) 0); /* size zero */
1925 saa_wbytes(s, entry, 24L);
1926 *len += 24;
1927 (*local)++;
1928 dwarf_abbrevsym = *local;
1929 p = entry;
1930 WRITELONG(p, 0); /* no symbol name */
1931 WRITESHORT(p, STT_SECTION); /* type, binding, and visibility */
1932 WRITESHORT(p, debug_abbrev); /* section id */
1933 WRITEDLONG(p, (uint64_t) 0); /* offset zero */
1934 WRITEDLONG(p, (uint64_t) 0); /* size zero */
1935 saa_wbytes(s, entry, 24L);
1936 *len += 24;
1937 (*local)++;
1938 dwarf_linesym = *local;
1939 p = entry;
1940 WRITELONG(p, 0); /* no symbol name */
1941 WRITESHORT(p, STT_SECTION); /* type, binding, and visibility */
1942 WRITESHORT(p, debug_line); /* section id */
1943 WRITEDLONG(p, (uint64_t) 0); /* offset zero */
1944 WRITEDLONG(p, (uint64_t) 0); /* size zero */
1945 saa_wbytes(s, entry, 24L);
1946 *len += 24;
1947 (*local)++;
1948 }
1949 } else {
1950 while ((sym = saa_rstruct(syms))) {
1951 if (sym->type & SYM_GLOBAL)
1952 continue;
1953 p = entry;
1954 WRITELONG(p, sym->strpos);
1955 WRITELONG(p, sym->symv.key);
1956 WRITELONG(p, sym->size);
1957 WRITECHAR(p, sym->type); /* type and binding */
1958 WRITECHAR(p, sym->other); /* visibility */
1959 WRITESHORT(p, sym->section);
1960 saa_wbytes(s, entry, 16L);
1961 *len += 16;
1962 (*local)++;
1963 }
1964 /*
1965 * dwarf needs symbols for debug sections
1966 * which are relocation targets.
1967 */
1968 if (dfmt_is_dwarf()) {
1969 dwarf_infosym = *local;
1970 p = entry;
1971 WRITELONG(p, 0); /* no symbol name */
1972 WRITELONG(p, (uint32_t) 0); /* offset zero */
1973 WRITELONG(p, (uint32_t) 0); /* size zero */
1974 WRITESHORT(p, STT_SECTION); /* type, binding, and visibility */
1975 WRITESHORT(p, sec_debug_info); /* section id */
1976 saa_wbytes(s, entry, 16L);
1977 *len += 16;
1978 (*local)++;
1979 dwarf_abbrevsym = *local;
1980 p = entry;
1981 WRITELONG(p, 0); /* no symbol name */
1982 WRITELONG(p, (uint32_t) 0); /* offset zero */
1983 WRITELONG(p, (uint32_t) 0); /* size zero */
1984 WRITESHORT(p, STT_SECTION); /* type, binding, and visibility */
1985 WRITESHORT(p, sec_debug_abbrev); /* section id */
1986 saa_wbytes(s, entry, 16L);
1987 *len += 16;
1988 (*local)++;
1989 dwarf_linesym = *local;
1990 p = entry;
1991 WRITELONG(p, 0); /* no symbol name */
1992 WRITELONG(p, (uint32_t) 0); /* offset zero */
1993 WRITELONG(p, (uint32_t) 0); /* size zero */
1994 WRITESHORT(p, STT_SECTION); /* type, binding, and visibility */
1995 WRITESHORT(p, sec_debug_line); /* section id */
1996 saa_wbytes(s, entry, 16L);
1997 *len += 16;
1998 (*local)++;
1999 }
2000 }
2001
2002 /*
2003 * Now the global symbols.
2004 */
2005 saa_rewind(syms);
2006 if (is_elf64()) {
2007 while ((sym = saa_rstruct(syms))) {
2008 if (!(sym->type & SYM_GLOBAL))
2009 continue;
2010 p = entry;
2011 WRITELONG(p, sym->strpos);
2012 WRITECHAR(p, sym->type); /* type and binding */
2013 WRITECHAR(p, sym->other); /* visibility */
2014 WRITESHORT(p, sym->section);
2015 WRITEDLONG(p, (int64_t)sym->symv.key);
2016 WRITEDLONG(p, (int64_t)sym->size);
2017 saa_wbytes(s, entry, 24L);
2018 *len += 24;
2019 }
2020 } else {
2021 while ((sym = saa_rstruct(syms))) {
2022 if (!(sym->type & SYM_GLOBAL))
2023 continue;
2024 p = entry;
2025 WRITELONG(p, sym->strpos);
2026 WRITELONG(p, sym->symv.key);
2027 WRITELONG(p, sym->size);
2028 WRITECHAR(p, sym->type); /* type and binding */
2029 WRITECHAR(p, sym->other); /* visibility */
2030 WRITESHORT(p, sym->section);
2031 saa_wbytes(s, entry, 16L);
2032 *len += 16;
2033 }
2034 }
2035
2036 return s;
2037 }
2038
2039 static struct SAA *elf_build_reltab(uint64_t *len, struct elf_reloc *r)
2040 {
2041 struct SAA *s;
2042 uint8_t *p, entry[24];
2043 int32_t global_offset;
2044
2045 if (!r)
2046 return NULL;
2047
2048 s = saa_init(1L);
2049 *len = 0;
2050
2051 /*
2052 * How to onvert from a global placeholder to a real symbol index;
2053 * the +2 refers to the two special entries, the null entry and
2054 * the filename entry.
2055 */
2056 global_offset = -GLOBAL_TEMP_BASE + nsects + nlocals + ndebugs + 2;
2057
2058 if (is_elf32()) {
2059 while (r) {
2060 int32_t sym = r->symbol;
2061
2062 if (sym >= GLOBAL_TEMP_BASE)
2063 sym += global_offset;
2064
2065 p = entry;
2066 WRITELONG(p, r->address);
2067 WRITELONG(p, (sym << 8) + r->type);
2068 saa_wbytes(s, entry, 8L);
2069 *len += 8;
2070
2071 r = r->next;
2072 }
2073 } else if (is_elfx32()) {
2074 while (r) {
2075 int32_t sym = r->symbol;
2076
2077 if (sym >= GLOBAL_TEMP_BASE)
2078 sym += global_offset;
2079
2080 p = entry;
2081 WRITELONG(p, r->address);
2082 WRITELONG(p, (sym << 8) + r->type);
2083 WRITELONG(p, r->offset);
2084 saa_wbytes(s, entry, 12L);
2085 *len += 12;
2086
2087 r = r->next;
2088 }
2089 } else {
2090 nasm_assert(is_elf64());
2091 while (r) {
2092 int32_t sym = r->symbol;
2093
2094 if (sym >= GLOBAL_TEMP_BASE)
2095 sym += global_offset;
2096
2097 p = entry;
2098 WRITEDLONG(p, r->address);
2099 WRITELONG(p, r->type);
2100 WRITELONG(p, sym);
2101 WRITEDLONG(p, r->offset);
2102 saa_wbytes(s, entry, 24L);
2103 *len += 24;
2104
2105 r = r->next;
2106 }
2107 }
2108
2109 return s;
2110 }
2111
2112 static void elf_section_header(int name, int type, uint64_t flags,
2113 void *data, bool is_saa, uint64_t datalen,
2114 int link, int info, int align, int eltsize)
2115 {
2116 elf_sects[elf_nsect].data = data;
2117 elf_sects[elf_nsect].len = datalen;
2118 elf_sects[elf_nsect].is_saa = is_saa;
2119 elf_nsect++;
2120
2121 if (is_elf32() || is_elfx32()) {
2122 fwriteint32_t((int32_t)name, ofile);
2123 fwriteint32_t((int32_t)type, ofile);
2124 fwriteint32_t((int32_t)flags, ofile);
2125 fwriteint32_t(0L, ofile); /* no address, ever, in object files */
2126 fwriteint32_t(type == 0 ? 0L : elf_foffs, ofile);
2127 fwriteint32_t(datalen, ofile);
2128 if (data)
2129 elf_foffs += ALIGN(datalen, SEC_FILEALIGN);
2130 fwriteint32_t((int32_t)link, ofile);
2131 fwriteint32_t((int32_t)info, ofile);
2132 fwriteint32_t((int32_t)align, ofile);
2133 fwriteint32_t((int32_t)eltsize, ofile);
2134 } else {
2135 nasm_assert(is_elf64());
2136 fwriteint32_t((int32_t)name, ofile);
2137 fwriteint32_t((int32_t)type, ofile);
2138 fwriteint64_t((int64_t)flags, ofile);
2139 fwriteint64_t(0L, ofile); /* no address, ever, in object files */
2140 fwriteint64_t(type == 0 ? 0L : elf_foffs, ofile);
2141 fwriteint64_t(datalen, ofile);
2142 if (data)
2143 elf_foffs += ALIGN(datalen, SEC_FILEALIGN);
2144 fwriteint32_t((int32_t)link, ofile);
2145 fwriteint32_t((int32_t)info, ofile);
2146 fwriteint64_t((int64_t)align, ofile);
2147 fwriteint64_t((int64_t)eltsize, ofile);
2148 }
2149 }
2150
2151 static void elf_write_sections(void)
2152 {
2153 int i;
2154 for (i = 0; i < elf_nsect; i++)
2155 if (elf_sects[i].data) {
2156 int32_t len = elf_sects[i].len;
2157 int32_t reallen = ALIGN(len, SEC_FILEALIGN);
2158 int32_t align = reallen - len;
2159 if (elf_sects[i].is_saa)
2160 saa_fpwrite(elf_sects[i].data, ofile);
2161 else
2162 nasm_write(elf_sects[i].data, len, ofile);
2163 fwritezero(align, ofile);
2164 }
2165 }
2166
2167 static void elf_sect_write(struct elf_section *sect, const void *data, size_t len)
2168 {
2169 saa_wbytes(sect->data, data, len);
2170 sect->len += len;
2171 }
2172
2173 static void elf_sect_writeaddr(struct elf_section *sect, int64_t data, size_t len)
2174 {
2175 saa_writeaddr(sect->data, data, len);
2176 sect->len += len;
2177 }
2178
2179 static void elf_sectalign(int32_t seg, unsigned int value)
2180 {
2181 struct elf_section *s = NULL;
2182 int i;
2183
2184 for (i = 0; i < nsects; i++) {
2185 if (sects[i]->index == seg) {
2186 s = sects[i];
2187 break;
2188 }
2189 }
2190 if (!s || !is_power2(value))
2191 return;
2192
2193 if (value > s->align)
2194 s->align = value;
2195 }
2196
2197 static int32_t elf_segbase(int32_t segment)
2198 {
2199 return segment;
2200 }
2201
2202 static void elf_filename(char *inname, char *outname)
2203 {
2204 strcpy(elf_module, inname);
2205 standard_extension(inname, outname, ".o");
2206 }
2207
2208 extern macros_t elf_stdmac[];
2209
2210 /* Claim "elf" as a pragma namespace, for the future */
2211 static const struct pragma_facility elf_pragma_list[] =
2212 {
2213 { "elf", NULL },
2214 { NULL, NULL } /* Implements the canonical output name */
2215 };
2216
2217
2218 static const struct dfmt elf32_df_dwarf = {
2219 "ELF32 (i386) dwarf debug format for Linux/Unix",
2220 "dwarf",
2221 dwarf_init,
2222 dwarf_linenum,
2223 null_debug_deflabel,
2224 null_debug_directive,
2225 debug_typevalue,
2226 dwarf_output,
2227 dwarf_cleanup,
2228 NULL /* pragma list */
2229 };
2230
2231 static const struct dfmt elf32_df_stabs = {
2232 "ELF32 (i386) stabs debug format for Linux/Unix",
2233 "stabs",
2234 null_debug_init,
2235 stabs_linenum,
2236 null_debug_deflabel,
2237 null_debug_directive,
2238 debug_typevalue,
2239 stabs_output,
2240 stabs_cleanup,
2241 NULL /* pragma list */
2242 };
2243
2244 static const struct dfmt * const elf32_debugs_arr[3] =
2245 { &elf32_df_dwarf, &elf32_df_stabs, NULL };
2246
2247 const struct ofmt of_elf32 = {
2248 "ELF32 (i386) object files (e.g. Linux)",
2249 "elf32",
2250 0,
2251 32,
2252 elf32_debugs_arr,
2253 &elf32_df_stabs,
2254 elf_stdmac,
2255 elf_init,
2256 nasm_do_legacy_output,
2257 elf32_out,
2258 elf_deflabel,
2259 elf_section_names,
2260 elf_sectalign,
2261 elf_segbase,
2262 elf_directive,
2263 elf_filename,
2264 elf_cleanup,
2265 elf_pragma_list,
2266 };
2267
2268 static const struct dfmt elf64_df_dwarf = {
2269 "ELF64 (x86-64) dwarf debug format for Linux/Unix",
2270 "dwarf",
2271 dwarf_init,
2272 dwarf_linenum,
2273 null_debug_deflabel,
2274 null_debug_directive,
2275 debug_typevalue,
2276 dwarf_output,
2277 dwarf_cleanup,
2278 NULL /* pragma list */
2279 };
2280
2281 static const struct dfmt elf64_df_stabs = {
2282 "ELF64 (x86-64) stabs debug format for Linux/Unix",
2283 "stabs",
2284 null_debug_init,
2285 stabs_linenum,
2286 null_debug_deflabel,
2287 null_debug_directive,
2288 debug_typevalue,
2289 stabs_output,
2290 stabs_cleanup,
2291 NULL /* pragma list */
2292 };
2293
2294 static const struct dfmt * const elf64_debugs_arr[3] =
2295 { &elf64_df_dwarf, &elf64_df_stabs, NULL };
2296
2297 const struct ofmt of_elf64 = {
2298 "ELF64 (x86_64) object files (e.g. Linux)",
2299 "elf64",
2300 0,
2301 64,
2302 elf64_debugs_arr,
2303 &elf64_df_stabs,
2304 elf_stdmac,
2305 elf_init,
2306 nasm_do_legacy_output,
2307 elf64_out,
2308 elf_deflabel,
2309 elf_section_names,
2310 elf_sectalign,
2311 elf_segbase,
2312 elf_directive,
2313 elf_filename,
2314 elf_cleanup,
2315 elf_pragma_list,
2316 };
2317
2318 static const struct dfmt elfx32_df_dwarf = {
2319 "ELFX32 (x86-64) dwarf debug format for Linux/Unix",
2320 "dwarf",
2321 dwarf_init,
2322 dwarf_linenum,
2323 null_debug_deflabel,
2324 null_debug_directive,
2325 debug_typevalue,
2326 dwarf_output,
2327 dwarf_cleanup,
2328 NULL /* pragma list */
2329 };
2330
2331 static const struct dfmt elfx32_df_stabs = {
2332 "ELFX32 (x86-64) stabs debug format for Linux/Unix",
2333 "stabs",
2334 null_debug_init,
2335 stabs_linenum,
2336 null_debug_deflabel,
2337 null_debug_directive,
2338 debug_typevalue,
2339 stabs_output,
2340 stabs_cleanup,
2341 elf_pragma_list,
2342 };
2343
2344 static const struct dfmt * const elfx32_debugs_arr[3] =
2345 { &elfx32_df_dwarf, &elfx32_df_stabs, NULL };
2346
2347 const struct ofmt of_elfx32 = {
2348 "ELFX32 (x86_64) object files (e.g. Linux)",
2349 "elfx32",
2350 0,
2351 64,
2352 elfx32_debugs_arr,
2353 &elfx32_df_stabs,
2354 elf_stdmac,
2355 elf_init,
2356 nasm_do_legacy_output,
2357 elfx32_out,
2358 elf_deflabel,
2359 elf_section_names,
2360 elf_sectalign,
2361 elf_segbase,
2362 elf_directive,
2363 elf_filename,
2364 elf_cleanup,
2365 NULL /* pragma list */
2366 };
2367
2368 static bool is_elf64(void)
2369 {
2370 return ofmt == &of_elf64;
2371 }
2372
2373 static bool is_elf32(void)
2374 {
2375 return ofmt == &of_elf32;
2376 }
2377
2378 static bool is_elfx32(void)
2379 {
2380 return ofmt == &of_elfx32;
2381 }
2382
2383 static bool dfmt_is_stabs(void)
2384 {
2385 return dfmt == &elf32_df_stabs ||
2386 dfmt == &elfx32_df_stabs ||
2387 dfmt == &elf64_df_stabs;
2388 }
2389
2390 static bool dfmt_is_dwarf(void)
2391 {
2392 return dfmt == &elf32_df_dwarf ||
2393 dfmt == &elfx32_df_dwarf ||
2394 dfmt == &elf64_df_dwarf;
2395 }
2396
2397 /* common debugging routines */
2398 static void debug_typevalue(int32_t type)
2399 {
2400 int32_t stype, ssize;
2401 switch (TYM_TYPE(type)) {
2402 case TY_LABEL:
2403 ssize = 0;
2404 stype = STT_NOTYPE;
2405 break;
2406 case TY_BYTE:
2407 ssize = 1;
2408 stype = STT_OBJECT;
2409 break;
2410 case TY_WORD:
2411 ssize = 2;
2412 stype = STT_OBJECT;
2413 break;
2414 case TY_DWORD:
2415 ssize = 4;
2416 stype = STT_OBJECT;
2417 break;
2418 case TY_FLOAT:
2419 ssize = 4;
2420 stype = STT_OBJECT;
2421 break;
2422 case TY_QWORD:
2423 ssize = 8;
2424 stype = STT_OBJECT;
2425 break;
2426 case TY_TBYTE:
2427 ssize = 10;
2428 stype = STT_OBJECT;
2429 break;
2430 case TY_OWORD:
2431 ssize = 16;
2432 stype = STT_OBJECT;
2433 break;
2434 case TY_YWORD:
2435 ssize = 32;
2436 stype = STT_OBJECT;
2437 break;
2438 case TY_COMMON:
2439 ssize = 0;
2440 stype = STT_COMMON;
2441 break;
2442 case TY_SEG:
2443 ssize = 0;
2444 stype = STT_SECTION;
2445 break;
2446 case TY_EXTERN:
2447 ssize = 0;
2448 stype = STT_NOTYPE;
2449 break;
2450 case TY_EQU:
2451 ssize = 0;
2452 stype = STT_NOTYPE;
2453 break;
2454 default:
2455 ssize = 0;
2456 stype = STT_NOTYPE;
2457 break;
2458 }
2459 if (stype == STT_OBJECT && lastsym && !lastsym->type) {
2460 lastsym->size = ssize;
2461 lastsym->type = stype;
2462 }
2463 }
2464
2465 /* stabs debugging routines */
2466
2467 static void stabs_linenum(const char *filename, int32_t linenumber, int32_t segto)
2468 {
2469 (void)segto;
2470 if (!stabs_filename) {
2471 stabs_filename = nasm_malloc(strlen(filename) + 1);
2472 strcpy(stabs_filename, filename);
2473 } else {
2474 if (strcmp(stabs_filename, filename)) {
2475 /* yep, a memory leak...this program is one-shot anyway, so who cares...
2476 in fact, this leak comes in quite handy to maintain a list of files
2477 encountered so far in the symbol lines... */
2478
2479 /* why not nasm_free(stabs_filename); we're done with the old one */
2480
2481 stabs_filename = nasm_malloc(strlen(filename) + 1);
2482 strcpy(stabs_filename, filename);
2483 }
2484 }
2485 debug_immcall = 1;
2486 currentline = linenumber;
2487 }
2488
2489 static void stabs_output(int type, void *param)
2490 {
2491 struct symlininfo *s;
2492 struct linelist *el;
2493 if (type == TY_DEBUGSYMLIN) {
2494 if (debug_immcall) {
2495 s = (struct symlininfo *)param;
2496 if (!(sects[s->section]->flags & SHF_EXECINSTR))
2497 return; /* line info is only collected for executable sections */
2498 numlinestabs++;
2499 el = nasm_malloc(sizeof(struct linelist));
2500 el->info.offset = s->offset;
2501 el->info.section = s->section;
2502 el->info.name = s->name;
2503 el->line = currentline;
2504 el->filename = stabs_filename;
2505 el->next = 0;
2506 if (stabslines) {
2507 stabslines->last->next = el;
2508 stabslines->last = el;
2509 } else {
2510 stabslines = el;
2511 stabslines->last = el;
2512 }
2513 }
2514 }
2515 debug_immcall = 0;
2516 }
2517
2518 /* for creating the .stab , .stabstr and .rel.stab sections in memory */
2519
2520 static void stabs_generate(void)
2521 {
2522 int i, numfiles, strsize, numstabs = 0, currfile, mainfileindex;
2523 uint8_t *sbuf, *ssbuf, *rbuf, *sptr, *rptr;
2524 char **allfiles;
2525 int *fileidx;
2526
2527 struct linelist *ptr;
2528
2529 ptr = stabslines;
2530
2531 allfiles = nasm_zalloc(numlinestabs * sizeof(char *));
2532 numfiles = 0;
2533 while (ptr) {
2534 if (numfiles == 0) {
2535 allfiles[0] = ptr->filename;
2536 numfiles++;
2537 } else {
2538 for (i = 0; i < numfiles; i++) {
2539 if (!strcmp(allfiles[i], ptr->filename))
2540 break;
2541 }
2542 if (i >= numfiles) {
2543 allfiles[i] = ptr->filename;
2544 numfiles++;
2545 }
2546 }
2547 ptr = ptr->next;
2548 }
2549 strsize = 1;
2550 fileidx = nasm_malloc(numfiles * sizeof(int));
2551 for (i = 0; i < numfiles; i++) {
2552 fileidx[i] = strsize;
2553 strsize += strlen(allfiles[i]) + 1;
2554 }
2555 mainfileindex = 0;
2556 for (i = 0; i < numfiles; i++) {
2557 if (!strcmp(allfiles[i], elf_module)) {
2558 mainfileindex = i;
2559 break;
2560 }
2561 }
2562
2563 /*
2564 * worst case size of the stab buffer would be:
2565 * the sourcefiles changes each line, which would mean 1 SOL, 1 SYMLIN per line
2566 * plus one "ending" entry
2567 */
2568 sbuf = nasm_malloc((numlinestabs * 2 + 4) *
2569 sizeof(struct stabentry));
2570 ssbuf = nasm_malloc(strsize);
2571 rbuf = nasm_malloc(numlinestabs * (is_elf64() ? 16 : 8) * (2 + 3));
2572 rptr = rbuf;
2573
2574 for (i = 0; i < numfiles; i++)
2575 strcpy((char *)ssbuf + fileidx[i], allfiles[i]);
2576 ssbuf[0] = 0;
2577
2578 stabstrlen = strsize; /* set global variable for length of stab strings */
2579
2580 sptr = sbuf;
2581 ptr = stabslines;
2582 numstabs = 0;
2583
2584 if (ptr) {
2585 /*
2586 * this is the first stab, its strx points to the filename of the
2587 * the source-file, the n_desc field should be set to the number
2588 * of remaining stabs
2589 */
2590 WRITE_STAB(sptr, fileidx[0], 0, 0, 0, stabstrlen);
2591
2592 /* this is the stab for the main source file */
2593 WRITE_STAB(sptr, fileidx[mainfileindex], N_SO, 0, 0, 0);
2594
2595 /* relocation table entry */
2596
2597 /*
2598 * Since the symbol table has two entries before
2599 * the section symbols, the index in the info.section
2600 * member must be adjusted by adding 2
2601 */
2602
2603 if (is_elf32()) {
2604 WRITELONG(rptr, (sptr - sbuf) - 4);
2605 WRITELONG(rptr, ((ptr->info.section + 2) << 8) | R_386_32);
2606 } else if (is_elfx32()) {
2607 WRITELONG(rptr, (sptr - sbuf) - 4);
2608 WRITELONG(rptr, ((ptr->info.section + 2) << 8) | R_X86_64_32);
2609 WRITELONG(rptr, 0);
2610 } else {
2611 nasm_assert(is_elf64());
2612 WRITEDLONG(rptr, (int64_t)(sptr - sbuf) - 4);
2613 WRITELONG(rptr, R_X86_64_32);
2614 WRITELONG(rptr, ptr->info.section + 2);
2615 WRITEDLONG(rptr, 0);
2616 }
2617 numstabs++;
2618 currfile = mainfileindex;
2619 }
2620
2621 if (is_elf32()) {
2622 while (ptr) {
2623 if (strcmp(allfiles[currfile], ptr->filename)) {
2624 /* oops file has changed... */
2625 for (i = 0; i < numfiles; i++)
2626 if (!strcmp(allfiles[i], ptr->filename))
2627 break;
2628 currfile = i;
2629 WRITE_STAB(sptr, fileidx[currfile], N_SOL, 0, 0,
2630 ptr->info.offset);
2631 numstabs++;
2632
2633 /* relocation table entry */
2634 WRITELONG(rptr, (sptr - sbuf) - 4);
2635 WRITELONG(rptr, ((ptr->info.section + 2) << 8) | R_386_32);
2636 }
2637
2638 WRITE_STAB(sptr, 0, N_SLINE, 0, ptr->line, ptr->info.offset);
2639 numstabs++;
2640
2641 /* relocation table entry */
2642 WRITELONG(rptr, (sptr - sbuf) - 4);
2643 WRITELONG(rptr, ((ptr->info.section + 2) << 8) | R_386_32);
2644
2645 ptr = ptr->next;
2646 }
2647 } else if (is_elfx32()) {
2648 while (ptr) {
2649 if (strcmp(allfiles[currfile], ptr->filename)) {
2650 /* oops file has changed... */
2651 for (i = 0; i < numfiles; i++)
2652 if (!strcmp(allfiles[i], ptr->filename))
2653 break;
2654 currfile = i;
2655 WRITE_STAB(sptr, fileidx[currfile], N_SOL, 0, 0,
2656 ptr->info.offset);
2657 numstabs++;
2658
2659 /* relocation table entry */
2660 WRITELONG(rptr, (sptr - sbuf) - 4);
2661 WRITELONG(rptr, ((ptr->info.section + 2) << 8) | R_X86_64_32);
2662 WRITELONG(rptr, ptr->info.offset);
2663 }
2664
2665 WRITE_STAB(sptr, 0, N_SLINE, 0, ptr->line, ptr->info.offset);
2666 numstabs++;
2667
2668 /* relocation table entry */
2669 WRITELONG(rptr, (sptr - sbuf) - 4);
2670 WRITELONG(rptr, ((ptr->info.section + 2) << 8) | R_X86_64_32);
2671 WRITELONG(rptr, ptr->info.offset);
2672
2673 ptr = ptr->next;
2674 }
2675 } else {
2676 nasm_assert(is_elf64());
2677 while (ptr) {
2678 if (strcmp(allfiles[currfile], ptr->filename)) {
2679 /* oops file has changed... */
2680 for (i = 0; i < numfiles; i++)
2681 if (!strcmp(allfiles[i], ptr->filename))
2682 break;
2683 currfile = i;
2684 WRITE_STAB(sptr, fileidx[currfile], N_SOL, 0, 0,
2685 ptr->info.offset);
2686 numstabs++;
2687
2688 /* relocation table entry */
2689 WRITEDLONG(rptr, (int64_t)(sptr - sbuf) - 4);
2690 WRITELONG(rptr, R_X86_64_32);
2691 WRITELONG(rptr, ptr->info.section + 2);
2692 WRITEDLONG(rptr, ptr->info.offset);
2693 }
2694
2695 WRITE_STAB(sptr, 0, N_SLINE, 0, ptr->line, ptr->info.offset);
2696 numstabs++;
2697
2698 /* relocation table entry */
2699 WRITEDLONG(rptr, (int64_t)(sptr - sbuf) - 4);
2700 WRITELONG(rptr, R_X86_64_32);
2701 WRITELONG(rptr, ptr->info.section + 2);
2702 WRITEDLONG(rptr, ptr->info.offset);
2703
2704 ptr = ptr->next;
2705 }
2706 }
2707
2708 /* this is an "ending" token */
2709 WRITE_STAB(sptr, 0, N_SO, 0, 0, 0);
2710 numstabs++;
2711
2712 ((struct stabentry *)sbuf)->n_desc = numstabs;
2713
2714 nasm_free(allfiles);
2715 nasm_free(fileidx);
2716
2717 stablen = (sptr - sbuf);
2718 stabrellen = (rptr - rbuf);
2719 stabrelbuf = rbuf;
2720 stabbuf = sbuf;
2721 stabstrbuf = ssbuf;
2722 }
2723
2724 static void stabs_cleanup(void)
2725 {
2726 struct linelist *ptr, *del;
2727 if (!stabslines)
2728 return;
2729
2730 ptr = stabslines;
2731 while (ptr) {
2732 del = ptr;
2733 ptr = ptr->next;
2734 nasm_free(del);
2735 }
2736
2737 nasm_free(stabbuf);
2738 nasm_free(stabrelbuf);
2739 nasm_free(stabstrbuf);
2740 }
2741
2742 /* dwarf routines */
2743
2744 static void dwarf_init(void)
2745 {
2746 ndebugs = 3; /* 3 debug symbols */
2747 }
2748
2749 static void dwarf_linenum(const char *filename, int32_t linenumber,
2750 int32_t segto)
2751 {
2752 (void)segto;
2753 dwarf_findfile(filename);
2754 debug_immcall = 1;
2755 currentline = linenumber;
2756 }
2757
2758 /* called from elf_out with type == TY_DEBUGSYMLIN */
2759 static void dwarf_output(int type, void *param)
2760 {
2761 int ln, aa, inx, maxln, soc;
2762 struct symlininfo *s;
2763 struct SAA *plinep;
2764
2765 (void)type;
2766
2767 s = (struct symlininfo *)param;
2768
2769 /* line number info is only gathered for executable sections */
2770 if (!(sects[s->section]->flags & SHF_EXECINSTR))
2771 return;
2772
2773 /* Check if section index has changed */
2774 if (!(dwarf_csect && (dwarf_csect->section) == (s->section)))
2775 dwarf_findsect(s->section);
2776
2777 /* do nothing unless line or file has changed */
2778 if (!debug_immcall)
2779 return;
2780
2781 ln = currentline - dwarf_csect->line;
2782 aa = s->offset - dwarf_csect->offset;
2783 inx = dwarf_clist->line;
2784 plinep = dwarf_csect->psaa;
2785 /* check for file change */
2786 if (!(inx == dwarf_csect->file)) {
2787 saa_write8(plinep,DW_LNS_set_file);
2788 saa_write8(plinep,inx);
2789 dwarf_csect->file = inx;
2790 }
2791 /* check for line change */
2792 if (ln) {
2793 /* test if in range of special op code */
2794 maxln = line_base + line_range;
2795 soc = (ln - line_base) + (line_range * aa) + opcode_base;
2796 if (ln >= line_base && ln < maxln && soc < 256) {
2797 saa_write8(plinep,soc);
2798 } else {
2799 saa_write8(plinep,DW_LNS_advance_line);
2800 saa_wleb128s(plinep,ln);
2801 if (aa) {
2802 saa_write8(plinep,DW_LNS_advance_pc);
2803 saa_wleb128u(plinep,aa);
2804 }
2805 saa_write8(plinep,DW_LNS_copy);
2806 }
2807 dwarf_csect->line = currentline;
2808 dwarf_csect->offset = s->offset;
2809 }
2810
2811 /* show change handled */
2812 debug_immcall = 0;
2813 }
2814
2815
2816 static void dwarf_generate(void)
2817 {
2818 uint8_t *pbuf;
2819 int indx;
2820 struct linelist *ftentry;
2821 struct SAA *paranges, *ppubnames, *pinfo, *pabbrev, *plines, *plinep;
2822 struct SAA *parangesrel, *plinesrel, *pinforel;
2823 struct sectlist *psect;
2824 size_t saalen, linepoff, totlen, highaddr;
2825
2826 if (is_elf32()) {
2827 /* write epilogues for each line program range */
2828 /* and build aranges section */
2829 paranges = saa_init(1L);
2830 parangesrel = saa_init(1L);
2831 saa_write16(paranges,2); /* dwarf version */
2832 saa_write32(parangesrel, paranges->datalen+4);
2833 saa_write32(parangesrel, (dwarf_infosym << 8) + R_386_32); /* reloc to info */
2834 saa_write32(parangesrel, 0);
2835 saa_write32(paranges,0); /* offset into info */
2836 saa_write8(paranges,4); /* pointer size */
2837 saa_write8(paranges,0); /* not segmented */
2838 saa_write32(paranges,0); /* padding */
2839 /* iterate though sectlist entries */
2840 psect = dwarf_fsect;
2841 totlen = 0;
2842 highaddr = 0;
2843 for (indx = 0; indx < dwarf_nsections; indx++) {
2844 plinep = psect->psaa;
2845 /* Line Number Program Epilogue */
2846 saa_write8(plinep,2); /* std op 2 */
2847 saa_write8(plinep,(sects[psect->section]->len)-psect->offset);
2848 saa_write8(plinep,DW_LNS_extended_op);
2849 saa_write8(plinep,1); /* operand length */
2850 saa_write8(plinep,DW_LNE_end_sequence);
2851 totlen += plinep->datalen;
2852 /* range table relocation entry */
2853 saa_write32(parangesrel, paranges->datalen + 4);
2854 saa_write32(parangesrel, ((uint32_t) (psect->section + 2) << 8) + R_386_32);
2855 saa_write32(parangesrel, (uint32_t) 0);
2856 /* range table entry */
2857 saa_write32(paranges,0x0000); /* range start */
2858 saa_write32(paranges,sects[psect->section]->len); /* range length */
2859 highaddr += sects[psect->section]->len;
2860 /* done with this entry */
2861 psect = psect->next;
2862 }
2863 saa_write32(paranges,0); /* null address */
2864 saa_write32(paranges,0); /* null length */
2865 saalen = paranges->datalen;
2866 arangeslen = saalen + 4;
2867 arangesbuf = pbuf = nasm_malloc(arangeslen);
2868 WRITELONG(pbuf,saalen); /* initial length */
2869 saa_rnbytes(paranges, pbuf, saalen);
2870 saa_free(paranges);
2871 } else if (is_elfx32()) {
2872 /* write epilogues for each line program range */
2873 /* and build aranges section */
2874 paranges = saa_init(1L);
2875 parangesrel = saa_init(1L);
2876 saa_write16(paranges,3); /* dwarf version */
2877 saa_write32(parangesrel, paranges->datalen+4);
2878 saa_write32(parangesrel, (dwarf_infosym << 8) + R_X86_64_32); /* reloc to info */
2879 saa_write32(parangesrel, 0);
2880 saa_write32(paranges,0); /* offset into info */
2881 saa_write8(paranges,4); /* pointer size */
2882 saa_write8(paranges,0); /* not segmented */
2883 saa_write32(paranges,0); /* padding */
2884 /* iterate though sectlist entries */
2885 psect = dwarf_fsect;
2886 totlen = 0;
2887 highaddr = 0;
2888 for (indx = 0; indx < dwarf_nsections; indx++) {
2889 plinep = psect->psaa;
2890 /* Line Number Program Epilogue */
2891 saa_write8(plinep,2); /* std op 2 */
2892 saa_write8(plinep,(sects[psect->section]->len)-psect->offset);
2893 saa_write8(plinep,DW_LNS_extended_op);
2894 saa_write8(plinep,1); /* operand length */
2895 saa_write8(plinep,DW_LNE_end_sequence);
2896 totlen += plinep->datalen;
2897 /* range table relocation entry */
2898 saa_write32(parangesrel, paranges->datalen + 4);
2899 saa_write32(parangesrel, ((uint32_t) (psect->section + 2) << 8) + R_X86_64_32);
2900 saa_write32(parangesrel, (uint32_t) 0);
2901 /* range table entry */
2902 saa_write32(paranges,0x0000); /* range start */
2903 saa_write32(paranges,sects[psect->section]->len); /* range length */
2904 highaddr += sects[psect->section]->len;
2905 /* done with this entry */
2906 psect = psect->next;
2907 }
2908 saa_write32(paranges,0); /* null address */
2909 saa_write32(paranges,0); /* null length */
2910 saalen = paranges->datalen;
2911 arangeslen = saalen + 4;
2912 arangesbuf = pbuf = nasm_malloc(arangeslen);
2913 WRITELONG(pbuf,saalen); /* initial length */
2914 saa_rnbytes(paranges, pbuf, saalen);
2915 saa_free(paranges);
2916 } else {
2917 nasm_assert(is_elf64());
2918 /* write epilogues for each line program range */
2919 /* and build aranges section */
2920 paranges = saa_init(1L);
2921 parangesrel = saa_init(1L);
2922 saa_write16(paranges,3); /* dwarf version */
2923 saa_write64(parangesrel, paranges->datalen+4);
2924 saa_write64(parangesrel, (dwarf_infosym << 32) + R_X86_64_32); /* reloc to info */
2925 saa_write64(parangesrel, 0);
2926 saa_write32(paranges,0); /* offset into info */
2927 saa_write8(paranges,8); /* pointer size */
2928 saa_write8(paranges,0); /* not segmented */
2929 saa_write32(paranges,0); /* padding */
2930 /* iterate though sectlist entries */
2931 psect = dwarf_fsect;
2932 totlen = 0;
2933 highaddr = 0;
2934 for (indx = 0; indx < dwarf_nsections; indx++) {
2935 plinep = psect->psaa;
2936 /* Line Number Program Epilogue */
2937 saa_write8(plinep,2); /* std op 2 */
2938 saa_write8(plinep,(sects[psect->section]->len)-psect->offset);
2939 saa_write8(plinep,DW_LNS_extended_op);
2940 saa_write8(plinep,1); /* operand length */
2941 saa_write8(plinep,DW_LNE_end_sequence);
2942 totlen += plinep->datalen;
2943 /* range table relocation entry */
2944 saa_write64(parangesrel, paranges->datalen + 4);
2945 saa_write64(parangesrel, ((uint64_t) (psect->section + 2) << 32) + R_X86_64_64);
2946 saa_write64(parangesrel, (uint64_t) 0);
2947 /* range table entry */
2948 saa_write64(paranges,0x0000); /* range start */
2949 saa_write64(paranges,sects[psect->section]->len); /* range length */
2950 highaddr += sects[psect->section]->len;
2951 /* done with this entry */
2952 psect = psect->next;
2953 }
2954 saa_write64(paranges,0); /* null address */
2955 saa_write64(paranges,0); /* null length */
2956 saalen = paranges->datalen;
2957 arangeslen = saalen + 4;
2958 arangesbuf = pbuf = nasm_malloc(arangeslen);
2959 WRITELONG(pbuf,saalen); /* initial length */
2960 saa_rnbytes(paranges, pbuf, saalen);
2961 saa_free(paranges);
2962 }
2963
2964 /* build rela.aranges section */
2965 arangesrellen = saalen = parangesrel->datalen;
2966 arangesrelbuf = pbuf = nasm_malloc(arangesrellen);
2967 saa_rnbytes(parangesrel, pbuf, saalen);
2968 saa_free(parangesrel);
2969
2970 /* build pubnames section */
2971 ppubnames = saa_init(1L);
2972 saa_write16(ppubnames,3); /* dwarf version */
2973 saa_write32(ppubnames,0); /* offset into info */
2974 saa_write32(ppubnames,0); /* space used in info */
2975 saa_write32(ppubnames,0); /* end of list */
2976 saalen = ppubnames->datalen;
2977 pubnameslen = saalen + 4;
2978 pubnamesbuf = pbuf = nasm_malloc(pubnameslen);
2979 WRITELONG(pbuf,saalen); /* initial length */
2980 saa_rnbytes(ppubnames, pbuf, saalen);
2981 saa_free(ppubnames);
2982
2983 if (is_elf32()) {
2984 /* build info section */
2985 pinfo = saa_init(1L);
2986 pinforel = saa_init(1L);
2987 saa_write16(pinfo,2); /* dwarf version */
2988 saa_write32(pinforel, pinfo->datalen + 4);
2989 saa_write32(pinforel, (dwarf_abbrevsym << 8) + R_386_32); /* reloc to abbrev */
2990 saa_write32(pinforel, 0);
2991 saa_write32(pinfo,0); /* offset into abbrev */
2992 saa_write8(pinfo,4); /* pointer size */
2993 saa_write8(pinfo,1); /* abbrviation number LEB128u */
2994 saa_write32(pinforel, pinfo->datalen + 4);
2995 saa_write32(pinforel, ((dwarf_fsect->section + 2) << 8) + R_386_32);
2996 saa_write32(pinforel, 0);
2997 saa_write32(pinfo,0); /* DW_AT_low_pc */
2998 saa_write32(pinforel, pinfo->datalen + 4);
2999 saa_write32(pinforel, ((dwarf_fsect->section + 2) << 8) + R_386_32);
3000 saa_write32(pinforel, 0);
3001 saa_write32(pinfo,highaddr); /* DW_AT_high_pc */
3002 saa_write32(pinforel, pinfo->datalen + 4);
3003 saa_write32(pinforel, (dwarf_linesym << 8) + R_386_32); /* reloc to line */
3004 saa_write32(pinforel, 0);
3005 saa_write32(pinfo,0); /* DW_AT_stmt_list */
3006 saa_wbytes(pinfo, elf_module, strlen(elf_module)+1);
3007 saa_wbytes(pinfo, nasm_signature, strlen(nasm_signature)+1);
3008 saa_write16(pinfo,DW_LANG_Mips_Assembler);
3009 saa_write8(pinfo,2); /* abbrviation number LEB128u */
3010 saa_write32(pinforel, pinfo->datalen + 4);
3011 saa_write32(pinforel, ((dwarf_fsect->section + 2) << 8) + R_386_32);
3012 saa_write32(pinforel, 0);
3013 saa_write32(pinfo,0); /* DW_AT_low_pc */
3014 saa_write32(pinfo,0); /* DW_AT_frame_base */
3015 saa_write8(pinfo,0); /* end of entries */
3016 saalen = pinfo->datalen;
3017 infolen = saalen + 4;
3018 infobuf = pbuf = nasm_malloc(infolen);
3019 WRITELONG(pbuf,saalen); /* initial length */
3020 saa_rnbytes(pinfo, pbuf, saalen);
3021 saa_free(pinfo);
3022 } else if (is_elfx32()) {
3023 /* build info section */
3024 pinfo = saa_init(1L);
3025 pinforel = saa_init(1L);
3026 saa_write16(pinfo,3); /* dwarf version */
3027 saa_write32(pinforel, pinfo->datalen + 4);
3028 saa_write32(pinforel, (dwarf_abbrevsym << 8) + R_X86_64_32); /* reloc to abbrev */
3029 saa_write32(pinforel, 0);
3030 saa_write32(pinfo,0); /* offset into abbrev */
3031 saa_write8(pinfo,4); /* pointer size */
3032 saa_write8(pinfo,1); /* abbrviation number LEB128u */
3033 saa_write32(pinforel, pinfo->datalen + 4);
3034 saa_write32(pinforel, ((dwarf_fsect->section + 2) << 8) + R_X86_64_32);
3035 saa_write32(pinforel, 0);
3036 saa_write32(pinfo,0); /* DW_AT_low_pc */
3037 saa_write32(pinforel, pinfo->datalen + 4);
3038 saa_write32(pinforel, ((dwarf_fsect->section + 2) << 8) + R_X86_64_32);
3039 saa_write32(pinforel, 0);
3040 saa_write32(pinfo,highaddr); /* DW_AT_high_pc */
3041 saa_write32(pinforel, pinfo->datalen + 4);
3042 saa_write32(pinforel, (dwarf_linesym << 8) + R_X86_64_32); /* reloc to line */
3043 saa_write32(pinforel, 0);
3044 saa_write32(pinfo,0); /* DW_AT_stmt_list */
3045 saa_wbytes(pinfo, elf_module, strlen(elf_module)+1);
3046 saa_wbytes(pinfo, nasm_signature, strlen(nasm_signature)+1);
3047 saa_write16(pinfo,DW_LANG_Mips_Assembler);
3048 saa_write8(pinfo,2); /* abbrviation number LEB128u */
3049 saa_write32(pinforel, pinfo->datalen + 4);
3050 saa_write32(pinforel, ((dwarf_fsect->section + 2) << 8) + R_X86_64_32);
3051 saa_write32(pinforel, 0);
3052 saa_write32(pinfo,0); /* DW_AT_low_pc */
3053 saa_write32(pinfo,0); /* DW_AT_frame_base */
3054 saa_write8(pinfo,0); /* end of entries */
3055 saalen = pinfo->datalen;
3056 infolen = saalen + 4;
3057 infobuf = pbuf = nasm_malloc(infolen);
3058 WRITELONG(pbuf,saalen); /* initial length */
3059 saa_rnbytes(pinfo, pbuf, saalen);
3060 saa_free(pinfo);
3061 } else {
3062 nasm_assert(is_elf64());
3063 /* build info section */
3064 pinfo = saa_init(1L);
3065 pinforel = saa_init(1L);
3066 saa_write16(pinfo,3); /* dwarf version */
3067 saa_write64(pinforel, pinfo->datalen + 4);
3068 saa_write64(pinforel, (dwarf_abbrevsym << 32) + R_X86_64_32); /* reloc to abbrev */
3069 saa_write64(pinforel, 0);
3070 saa_write32(pinfo,0); /* offset into abbrev */
3071 saa_write8(pinfo,8); /* pointer size */
3072 saa_write8(pinfo,1); /* abbrviation number LEB128u */
3073 saa_write64(pinforel, pinfo->datalen + 4);
3074 saa_write64(pinforel, ((uint64_t)(dwarf_fsect->section + 2) << 32) + R_X86_64_64);
3075 saa_write64(pinforel, 0);
3076 saa_write64(pinfo,0); /* DW_AT_low_pc */
3077 saa_write64(pinforel, pinfo->datalen + 4);
3078 saa_write64(pinforel, ((uint64_t)(dwarf_fsect->section + 2) << 32) + R_X86_64_64);
3079 saa_write64(pinforel, 0);
3080 saa_write64(pinfo,highaddr); /* DW_AT_high_pc */
3081 saa_write64(pinforel, pinfo->datalen + 4);
3082 saa_write64(pinforel, (dwarf_linesym << 32) + R_X86_64_32); /* reloc to line */
3083 saa_write64(pinforel, 0);
3084 saa_write32(pinfo,0); /* DW_AT_stmt_list */
3085 saa_wbytes(pinfo, elf_module, strlen(elf_module)+1);
3086 saa_wbytes(pinfo, nasm_signature, strlen(nasm_signature)+1);
3087 saa_write16(pinfo,DW_LANG_Mips_Assembler);
3088 saa_write8(pinfo,2); /* abbrviation number LEB128u */
3089 saa_write64(pinforel, pinfo->datalen + 4);
3090 saa_write64(pinforel, ((uint64_t)(dwarf_fsect->section + 2) << 32) + R_X86_64_64);
3091 saa_write64(pinforel, 0);
3092 saa_write64(pinfo,0); /* DW_AT_low_pc */
3093 saa_write64(pinfo,0); /* DW_AT_frame_base */
3094 saa_write8(pinfo,0); /* end of entries */
3095 saalen = pinfo->datalen;
3096 infolen = saalen + 4;
3097 infobuf = pbuf = nasm_malloc(infolen);
3098 WRITELONG(pbuf,saalen); /* initial length */
3099 saa_rnbytes(pinfo, pbuf, saalen);
3100 saa_free(pinfo);
3101 }
3102
3103 /* build rela.info section */
3104 inforellen = saalen = pinforel->datalen;
3105 inforelbuf = pbuf = nasm_malloc(inforellen);
3106 saa_rnbytes(pinforel, pbuf, saalen);
3107 saa_free(pinforel);
3108
3109 /* build abbrev section */
3110 pabbrev = saa_init(1L);
3111 saa_write8(pabbrev,1); /* entry number LEB128u */
3112 saa_write8(pabbrev,DW_TAG_compile_unit); /* tag LEB128u */
3113 saa_write8(pabbrev,1); /* has children */
3114 /* the following attributes and forms are all LEB128u values */
3115 saa_write8(pabbrev,DW_AT_low_pc);
3116 saa_write8(pabbrev,DW_FORM_addr);
3117 saa_write8(pabbrev,DW_AT_high_pc);
3118 saa_write8(pabbrev,DW_FORM_addr);
3119 saa_write8(pabbrev,DW_AT_stmt_list);
3120 saa_write8(pabbrev,DW_FORM_data4);
3121 saa_write8(pabbrev,DW_AT_name);
3122 saa_write8(pabbrev,DW_FORM_string);
3123 saa_write8(pabbrev,DW_AT_producer);
3124 saa_write8(pabbrev,DW_FORM_string);
3125 saa_write8(pabbrev,DW_AT_language);
3126 saa_write8(pabbrev,DW_FORM_data2);
3127 saa_write16(pabbrev,0); /* end of entry */
3128 /* LEB128u usage same as above */
3129 saa_write8(pabbrev,2); /* entry number */
3130 saa_write8(pabbrev,DW_TAG_subprogram);
3131 saa_write8(pabbrev,0); /* no children */
3132 saa_write8(pabbrev,DW_AT_low_pc);
3133 saa_write8(pabbrev,DW_FORM_addr);
3134 saa_write8(pabbrev,DW_AT_frame_base);
3135 saa_write8(pabbrev,DW_FORM_data4);
3136 saa_write16(pabbrev,0); /* end of entry */
3137 abbrevlen = saalen = pabbrev->datalen;
3138 abbrevbuf = pbuf = nasm_malloc(saalen);
3139 saa_rnbytes(pabbrev, pbuf, saalen);
3140 saa_free(pabbrev);
3141
3142 /* build line section */
3143 /* prolog */
3144 plines = saa_init(1L);
3145 saa_write8(plines,1); /* Minimum Instruction Length */
3146 saa_write8(plines,1); /* Initial value of 'is_stmt' */
3147 saa_write8(plines,line_base); /* Line Base */
3148 saa_write8(plines,line_range); /* Line Range */
3149 saa_write8(plines,opcode_base); /* Opcode Base */
3150 /* standard opcode lengths (# of LEB128u operands) */
3151 saa_write8(plines,0); /* Std opcode 1 length */
3152 saa_write8(plines,1); /* Std opcode 2 length */
3153 saa_write8(plines,1); /* Std opcode 3 length */
3154 saa_write8(plines,1); /* Std opcode 4 length */
3155 saa_write8(plines,1); /* Std opcode 5 length */
3156 saa_write8(plines,0); /* Std opcode 6 length */
3157 saa_write8(plines,0); /* Std opcode 7 length */
3158 saa_write8(plines,0); /* Std opcode 8 length */
3159 saa_write8(plines,1); /* Std opcode 9 length */
3160 saa_write8(plines,0); /* Std opcode 10 length */
3161 saa_write8(plines,0); /* Std opcode 11 length */
3162 saa_write8(plines,1); /* Std opcode 12 length */
3163 /* Directory Table */
3164 saa_write8(plines,0); /* End of table */
3165 /* File Name Table */
3166 ftentry = dwarf_flist;
3167 for (indx = 0; indx < dwarf_numfiles; indx++) {
3168 saa_wbytes(plines, ftentry->filename, (int32_t)(strlen(ftentry->filename) + 1));
3169 saa_write8(plines,0); /* directory LEB128u */
3170 saa_write8(plines,0); /* time LEB128u */
3171 saa_write8(plines,0); /* size LEB128u */
3172 ftentry = ftentry->next;
3173 }
3174 saa_write8(plines,0); /* End of table */
3175 linepoff = plines->datalen;
3176 linelen = linepoff + totlen + 10;
3177 linebuf = pbuf = nasm_malloc(linelen);
3178 WRITELONG(pbuf,linelen-4); /* initial length */
3179 WRITESHORT(pbuf,3); /* dwarf version */
3180 WRITELONG(pbuf,linepoff); /* offset to line number program */
3181 /* write line header */
3182 saalen = linepoff;
3183 saa_rnbytes(plines, pbuf, saalen); /* read a given no. of bytes */
3184 pbuf += linepoff;
3185 saa_free(plines);
3186 /* concatonate line program ranges */
3187 linepoff += 13;
3188 plinesrel = saa_init(1L);
3189 psect = dwarf_fsect;
3190 if (is_elf32()) {
3191 for (indx = 0; indx < dwarf_nsections; indx++) {
3192 saa_write32(plinesrel, linepoff);
3193 saa_write32(plinesrel, ((uint32_t) (psect->section + 2) << 8) + R_386_32);
3194 saa_write32(plinesrel, (uint32_t) 0);
3195 plinep = psect->psaa;
3196 saalen = plinep->datalen;
3197 saa_rnbytes(plinep, pbuf, saalen);
3198 pbuf += saalen;
3199 linepoff += saalen;
3200 saa_free(plinep);
3201 /* done with this entry */
3202 psect = psect->next;
3203 }
3204 } else if (is_elfx32()) {
3205 for (indx = 0; indx < dwarf_nsections; indx++) {
3206 saa_write32(plinesrel, linepoff);
3207 saa_write32(plinesrel, ((psect->section + 2) << 8) + R_X86_64_32);
3208 saa_write32(plinesrel, 0);
3209 plinep = psect->psaa;
3210 saalen = plinep->datalen;
3211 saa_rnbytes(plinep, pbuf, saalen);
3212 pbuf += saalen;
3213 linepoff += saalen;
3214 saa_free(plinep);
3215 /* done with this entry */
3216 psect = psect->next;
3217 }
3218 } else {
3219 nasm_assert(is_elf64());
3220 for (indx = 0; indx < dwarf_nsections; indx++) {
3221 saa_write64(plinesrel, linepoff);
3222 saa_write64(plinesrel, ((uint64_t) (psect->section + 2) << 32) + R_X86_64_64);
3223 saa_write64(plinesrel, (uint64_t) 0);
3224 plinep = psect->psaa;
3225 saalen = plinep->datalen;
3226 saa_rnbytes(plinep, pbuf, saalen);
3227 pbuf += saalen;
3228 linepoff += saalen;
3229 saa_free(plinep);
3230 /* done with this entry */
3231 psect = psect->next;
3232 }
3233 }
3234
3235 /* build rela.lines section */
3236 linerellen =saalen = plinesrel->datalen;
3237 linerelbuf = pbuf = nasm_malloc(linerellen);
3238 saa_rnbytes(plinesrel, pbuf, saalen);
3239 saa_free(plinesrel);
3240
3241 /* build frame section */
3242 framelen = 4;
3243 framebuf = pbuf = nasm_malloc(framelen);
3244 WRITELONG(pbuf,framelen-4); /* initial length */
3245
3246 /* build loc section */
3247 loclen = 16;
3248 locbuf = pbuf = nasm_malloc(loclen);
3249 if (is_elf32()) {
3250 WRITELONG(pbuf,0); /* null beginning offset */
3251 WRITELONG(pbuf,0); /* null ending offset */
3252 } else {
3253 nasm_assert(is_elf64());
3254 WRITEDLONG(pbuf,0); /* null beginning offset */
3255 WRITEDLONG(pbuf,0); /* null ending offset */
3256 }
3257 }
3258
3259 static void dwarf_cleanup(void)
3260 {
3261 nasm_free(arangesbuf);
3262 nasm_free(arangesrelbuf);
3263 nasm_free(pubnamesbuf);
3264 nasm_free(infobuf);
3265 nasm_free(inforelbuf);
3266 nasm_free(abbrevbuf);
3267 nasm_free(linebuf);
3268 nasm_free(linerelbuf);
3269 nasm_free(framebuf);
3270 nasm_free(locbuf);
3271 }
3272
3273 static void dwarf_findfile(const char * fname)
3274 {
3275 int finx;
3276 struct linelist *match;
3277
3278 /* return if fname is current file name */
3279 if (dwarf_clist && !(strcmp(fname, dwarf_clist->filename)))
3280 return;
3281
3282 /* search for match */
3283 match = 0;
3284 if (dwarf_flist) {
3285 match = dwarf_flist;
3286 for (finx = 0; finx < dwarf_numfiles; finx++) {
3287 if (!(strcmp(fname, match->filename))) {
3288 dwarf_clist = match;
3289 return;
3290 }
3291 match = match->next;
3292 }
3293 }
3294
3295 /* add file name to end of list */
3296 dwarf_clist = nasm_malloc(sizeof(struct linelist));
3297 dwarf_numfiles++;
3298 dwarf_clist->line = dwarf_numfiles;
3299 dwarf_clist->filename = nasm_malloc(strlen(fname) + 1);
3300 strcpy(dwarf_clist->filename,fname);
3301 dwarf_clist->next = 0;
3302 if (!dwarf_flist) { /* if first entry */
3303 dwarf_flist = dwarf_elist = dwarf_clist;
3304 dwarf_clist->last = 0;
3305 } else { /* chain to previous entry */
3306 dwarf_elist->next = dwarf_clist;
3307 dwarf_elist = dwarf_clist;
3308 }
3309 }
3310
3311 static void dwarf_findsect(const int index)
3312 {
3313 int sinx;
3314 struct sectlist *match;
3315 struct SAA *plinep;
3316
3317 /* return if index is current section index */
3318 if (dwarf_csect && (dwarf_csect->section == index))
3319 return;
3320
3321 /* search for match */
3322 match = 0;
3323 if (dwarf_fsect) {
3324 match = dwarf_fsect;
3325 for (sinx = 0; sinx < dwarf_nsections; sinx++) {
3326 if (match->section == index) {
3327 dwarf_csect = match;
3328 return;
3329 }
3330 match = match->next;
3331 }
3332 }
3333
3334 /* add entry to end of list */
3335 dwarf_csect = nasm_malloc(sizeof(struct sectlist));
3336 dwarf_nsections++;
3337 dwarf_csect->psaa = plinep = saa_init(1L);
3338 dwarf_csect->line = 1;
3339 dwarf_csect->offset = 0;
3340 dwarf_csect->file = 1;
3341 dwarf_csect->section = index;
3342 dwarf_csect->next = 0;
3343 /* set relocatable address at start of line program */
3344 saa_write8(plinep,DW_LNS_extended_op);
3345 saa_write8(plinep,is_elf64() ? 9 : 5); /* operand length */
3346 saa_write8(plinep,DW_LNE_set_address);
3347 if (is_elf64())
3348 saa_write64(plinep,0); /* Start Address */
3349 else
3350 saa_write32(plinep,0); /* Start Address */
3351
3352 if (!dwarf_fsect) { /* if first entry */
3353 dwarf_fsect = dwarf_esect = dwarf_csect;
3354 dwarf_csect->last = 0;
3355 } else { /* chain to previous entry */
3356 dwarf_esect->next = dwarf_csect;
3357 dwarf_esect = dwarf_csect;
3358 }
3359 }
3360
3361 #endif /* defined(OF_ELF32) || defined(OF_ELF64) || defined(OF_ELFX32) */
The Netwide Assembler