]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - gas/dwarf2dbg.c
* dwarf2dbg.c (dwarf2_emit_label): Use dwarf2_consume_line_info.
[thirdparty/binutils-gdb.git] / gas / dwarf2dbg.c
1 /* dwarf2dbg.c - DWARF2 debug support
2 Copyright 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
3 Free Software Foundation, Inc.
4 Contributed by David Mosberger-Tang <davidm@hpl.hp.com>
5
6 This file is part of GAS, the GNU Assembler.
7
8 GAS is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
11 any later version.
12
13 GAS is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GAS; see the file COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
21 02110-1301, USA. */
22
23 /* Logical line numbers can be controlled by the compiler via the
24 following directives:
25
26 .file FILENO "file.c"
27 .loc FILENO LINENO [COLUMN] [basic_block] [prologue_end] \
28 [epilogue_begin] [is_stmt VALUE] [isa VALUE]
29 */
30
31 #include "as.h"
32 #include "safe-ctype.h"
33
34 #ifdef HAVE_LIMITS_H
35 #include <limits.h>
36 #else
37 #ifdef HAVE_SYS_PARAM_H
38 #include <sys/param.h>
39 #endif
40 #ifndef INT_MAX
41 #define INT_MAX (int) (((unsigned) (-1)) >> 1)
42 #endif
43 #endif
44
45 #include "dwarf2dbg.h"
46 #include <filenames.h>
47
48 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
49 /* We need to decide which character to use as a directory separator.
50 Just because HAVE_DOS_BASED_FILE_SYSTEM is defined, it does not
51 necessarily mean that the backslash character is the one to use.
52 Some environments, eg Cygwin, can support both naming conventions.
53 So we use the heuristic that we only need to use the backslash if
54 the path is an absolute path starting with a DOS style drive
55 selector. eg C: or D: */
56 # define INSERT_DIR_SEPARATOR(string, offset) \
57 do \
58 { \
59 if (offset > 1 \
60 && string[0] != 0 \
61 && string[1] == ':') \
62 string [offset] = '\\'; \
63 else \
64 string [offset] = '/'; \
65 } \
66 while (0)
67 #else
68 # define INSERT_DIR_SEPARATOR(string, offset) string[offset] = '/'
69 #endif
70
71 #ifndef DWARF2_FORMAT
72 # define DWARF2_FORMAT() dwarf2_format_32bit
73 #endif
74
75 #ifndef DWARF2_ADDR_SIZE
76 # define DWARF2_ADDR_SIZE(bfd) (bfd_arch_bits_per_address (bfd) / 8)
77 #endif
78
79 #include "subsegs.h"
80
81 #include "elf/dwarf2.h"
82
83 /* Since we can't generate the prolog until the body is complete, we
84 use three different subsegments for .debug_line: one holding the
85 prolog, one for the directory and filename info, and one for the
86 body ("statement program"). */
87 #define DL_PROLOG 0
88 #define DL_FILES 1
89 #define DL_BODY 2
90
91 /* If linker relaxation might change offsets in the code, the DWARF special
92 opcodes and variable-length operands cannot be used. If this macro is
93 nonzero, use the DW_LNS_fixed_advance_pc opcode instead. */
94 #ifndef DWARF2_USE_FIXED_ADVANCE_PC
95 # define DWARF2_USE_FIXED_ADVANCE_PC 0
96 #endif
97
98 /* First special line opcde - leave room for the standard opcodes.
99 Note: If you want to change this, you'll have to update the
100 "standard_opcode_lengths" table that is emitted below in
101 out_debug_line(). */
102 #define DWARF2_LINE_OPCODE_BASE 13
103
104 #ifndef DWARF2_LINE_BASE
105 /* Minimum line offset in a special line info. opcode. This value
106 was chosen to give a reasonable range of values. */
107 # define DWARF2_LINE_BASE -5
108 #endif
109
110 /* Range of line offsets in a special line info. opcode. */
111 #ifndef DWARF2_LINE_RANGE
112 # define DWARF2_LINE_RANGE 14
113 #endif
114
115 #ifndef DWARF2_LINE_MIN_INSN_LENGTH
116 /* Define the architecture-dependent minimum instruction length (in
117 bytes). This value should be rather too small than too big. */
118 # define DWARF2_LINE_MIN_INSN_LENGTH 1
119 #endif
120
121 /* Flag that indicates the initial value of the is_stmt_start flag. */
122 #define DWARF2_LINE_DEFAULT_IS_STMT 1
123
124 /* Given a special op, return the line skip amount. */
125 #define SPECIAL_LINE(op) \
126 (((op) - DWARF2_LINE_OPCODE_BASE)%DWARF2_LINE_RANGE + DWARF2_LINE_BASE)
127
128 /* Given a special op, return the address skip amount (in units of
129 DWARF2_LINE_MIN_INSN_LENGTH. */
130 #define SPECIAL_ADDR(op) (((op) - DWARF2_LINE_OPCODE_BASE)/DWARF2_LINE_RANGE)
131
132 /* The maximum address skip amount that can be encoded with a special op. */
133 #define MAX_SPECIAL_ADDR_DELTA SPECIAL_ADDR(255)
134
135 struct line_entry {
136 struct line_entry *next;
137 symbolS *label;
138 struct dwarf2_line_info loc;
139 };
140
141 struct line_subseg {
142 struct line_subseg *next;
143 subsegT subseg;
144 struct line_entry *head;
145 struct line_entry **ptail;
146 };
147
148 struct line_seg {
149 struct line_seg *next;
150 segT seg;
151 struct line_subseg *head;
152 symbolS *text_start;
153 symbolS *text_end;
154 };
155
156 /* Collects data for all line table entries during assembly. */
157 static struct line_seg *all_segs;
158
159 struct file_entry {
160 const char *filename;
161 unsigned int dir;
162 };
163
164 /* Table of files used by .debug_line. */
165 static struct file_entry *files;
166 static unsigned int files_in_use;
167 static unsigned int files_allocated;
168
169 /* Table of directories used by .debug_line. */
170 static char **dirs;
171 static unsigned int dirs_in_use;
172 static unsigned int dirs_allocated;
173
174 /* TRUE when we've seen a .loc directive recently. Used to avoid
175 doing work when there's nothing to do. */
176 static bfd_boolean loc_directive_seen;
177
178 /* TRUE when we're supposed to set the basic block mark whenever a
179 label is seen. */
180 bfd_boolean dwarf2_loc_mark_labels;
181
182 /* Current location as indicated by the most recent .loc directive. */
183 static struct dwarf2_line_info current = {
184 1, 1, 0, 0,
185 DWARF2_LINE_DEFAULT_IS_STMT ? DWARF2_FLAG_IS_STMT : 0
186 };
187
188 /* The size of an address on the target. */
189 static unsigned int sizeof_address;
190 \f
191 static struct line_subseg *get_line_subseg (segT, subsegT);
192 static unsigned int get_filenum (const char *, unsigned int);
193 static struct frag *first_frag_for_seg (segT);
194 static struct frag *last_frag_for_seg (segT);
195 static void out_byte (int);
196 static void out_opcode (int);
197 static void out_two (int);
198 static void out_four (int);
199 static void out_abbrev (int, int);
200 static void out_uleb128 (addressT);
201 static void out_sleb128 (addressT);
202 static offsetT get_frag_fix (fragS *, segT);
203 static void out_set_addr (symbolS *);
204 static int size_inc_line_addr (int, addressT);
205 static void emit_inc_line_addr (int, addressT, char *, int);
206 static void out_inc_line_addr (int, addressT);
207 static void out_fixed_inc_line_addr (int, symbolS *, symbolS *);
208 static void relax_inc_line_addr (int, symbolS *, symbolS *);
209 static void process_entries (segT, struct line_entry *);
210 static void out_file_list (void);
211 static void out_debug_line (segT);
212 static void out_debug_aranges (segT, segT);
213 static void out_debug_abbrev (segT);
214 \f
215 #ifndef TC_DWARF2_EMIT_OFFSET
216 #define TC_DWARF2_EMIT_OFFSET generic_dwarf2_emit_offset
217
218 /* Create an offset to .dwarf2_*. */
219
220 static void
221 generic_dwarf2_emit_offset (symbolS *symbol, unsigned int size)
222 {
223 expressionS expr;
224
225 expr.X_op = O_symbol;
226 expr.X_add_symbol = symbol;
227 expr.X_add_number = 0;
228 emit_expr (&expr, size);
229 }
230 #endif
231
232 /* Find or create an entry for SEG+SUBSEG in ALL_SEGS. */
233
234 static struct line_subseg *
235 get_line_subseg (segT seg, subsegT subseg)
236 {
237 static segT last_seg;
238 static subsegT last_subseg;
239 static struct line_subseg *last_line_subseg;
240
241 struct line_seg **ps, *s;
242 struct line_subseg **pss, *ss;
243
244 if (seg == last_seg && subseg == last_subseg)
245 return last_line_subseg;
246
247 for (ps = &all_segs; (s = *ps) != NULL; ps = &s->next)
248 if (s->seg == seg)
249 goto found_seg;
250
251 s = (struct line_seg *) xmalloc (sizeof (*s));
252 s->next = NULL;
253 s->seg = seg;
254 s->head = NULL;
255 *ps = s;
256
257 found_seg:
258 for (pss = &s->head; (ss = *pss) != NULL ; pss = &ss->next)
259 {
260 if (ss->subseg == subseg)
261 goto found_subseg;
262 if (ss->subseg > subseg)
263 break;
264 }
265
266 ss = (struct line_subseg *) xmalloc (sizeof (*ss));
267 ss->next = *pss;
268 ss->subseg = subseg;
269 ss->head = NULL;
270 ss->ptail = &ss->head;
271 *pss = ss;
272
273 found_subseg:
274 last_seg = seg;
275 last_subseg = subseg;
276 last_line_subseg = ss;
277
278 return ss;
279 }
280
281 /* Record an entry for LOC occurring at LABEL. */
282
283 static void
284 dwarf2_gen_line_info_1 (symbolS *label, struct dwarf2_line_info *loc)
285 {
286 struct line_subseg *ss;
287 struct line_entry *e;
288
289 e = (struct line_entry *) xmalloc (sizeof (*e));
290 e->next = NULL;
291 e->label = label;
292 e->loc = *loc;
293
294 ss = get_line_subseg (now_seg, now_subseg);
295 *ss->ptail = e;
296 ss->ptail = &e->next;
297 }
298
299 /* Record an entry for LOC occurring at OFS within the current fragment. */
300
301 void
302 dwarf2_gen_line_info (addressT ofs, struct dwarf2_line_info *loc)
303 {
304 static unsigned int line = -1;
305 static unsigned int filenum = -1;
306
307 symbolS *sym;
308
309 /* Early out for as-yet incomplete location information. */
310 if (loc->filenum == 0 || loc->line == 0)
311 return;
312
313 /* Don't emit sequences of line symbols for the same line when the
314 symbols apply to assembler code. It is necessary to emit
315 duplicate line symbols when a compiler asks for them, because GDB
316 uses them to determine the end of the prologue. */
317 if (debug_type == DEBUG_DWARF2
318 && line == loc->line && filenum == loc->filenum)
319 return;
320
321 line = loc->line;
322 filenum = loc->filenum;
323
324 sym = symbol_temp_new (now_seg, ofs, frag_now);
325 dwarf2_gen_line_info_1 (sym, loc);
326 }
327
328 /* Returns the current source information. If .file directives have
329 been encountered, the info for the corresponding source file is
330 returned. Otherwise, the info for the assembly source file is
331 returned. */
332
333 void
334 dwarf2_where (struct dwarf2_line_info *line)
335 {
336 if (debug_type == DEBUG_DWARF2)
337 {
338 char *filename;
339 as_where (&filename, &line->line);
340 line->filenum = get_filenum (filename, 0);
341 line->column = 0;
342 line->flags = DWARF2_FLAG_IS_STMT;
343 line->isa = current.isa;
344 }
345 else
346 *line = current;
347 }
348
349 /* A hook to allow the target backend to inform the line number state
350 machine of isa changes when assembler debug info is enabled. */
351
352 void
353 dwarf2_set_isa (unsigned int isa)
354 {
355 current.isa = isa;
356 }
357
358 /* Called for each machine instruction, or relatively atomic group of
359 machine instructions (ie built-in macro). The instruction or group
360 is SIZE bytes in length. If dwarf2 line number generation is called
361 for, emit a line statement appropriately. */
362
363 void
364 dwarf2_emit_insn (int size)
365 {
366 struct dwarf2_line_info loc;
367
368 if (loc_directive_seen)
369 {
370 /* Use the last location established by a .loc directive, not
371 the value returned by dwarf2_where(). That calls as_where()
372 which will return either the logical input file name (foo.c)
373 or the physical input file name (foo.s) and not the file name
374 specified in the most recent .loc directive (eg foo.h). */
375 loc = current;
376 }
377 else if (debug_type != DEBUG_DWARF2)
378 return;
379 else
380 dwarf2_where (&loc);
381
382 dwarf2_gen_line_info (frag_now_fix () - size, &loc);
383 dwarf2_consume_line_info ();
384 }
385
386 /* Called after the current line information has been either used with
387 dwarf2_gen_line_info or saved with a machine instruction for later use.
388 This resets the state of the line number information to reflect that
389 it has been used. */
390
391 void
392 dwarf2_consume_line_info (void)
393 {
394 /* Unless we generate DWARF2 debugging information for each
395 assembler line, we only emit one line symbol for one LOC. */
396 if (debug_type != DEBUG_DWARF2)
397 loc_directive_seen = FALSE;
398
399 current.flags &= ~(DWARF2_FLAG_BASIC_BLOCK
400 | DWARF2_FLAG_PROLOGUE_END
401 | DWARF2_FLAG_EPILOGUE_BEGIN);
402 }
403
404 /* Called for each (preferably code) label. If dwarf2_loc_mark_labels
405 is enabled, emit a basic block marker. */
406
407 void
408 dwarf2_emit_label (symbolS *label)
409 {
410 struct dwarf2_line_info loc;
411
412 if (!dwarf2_loc_mark_labels)
413 return;
414 if (S_GET_SEGMENT (label) != now_seg)
415 return;
416 if (!(bfd_get_section_flags (stdoutput, now_seg) & SEC_CODE))
417 return;
418
419 if (debug_type == DEBUG_DWARF2)
420 dwarf2_where (&loc);
421 else
422 loc = current;
423
424 loc.flags |= DWARF2_FLAG_BASIC_BLOCK;
425
426 dwarf2_consume_line_info ();
427 dwarf2_gen_line_info_1 (label, &loc);
428 }
429
430 /* Get a .debug_line file number for FILENAME. If NUM is nonzero,
431 allocate it on that file table slot, otherwise return the first
432 empty one. */
433
434 static unsigned int
435 get_filenum (const char *filename, unsigned int num)
436 {
437 static unsigned int last_used, last_used_dir_len;
438 const char *file;
439 size_t dir_len;
440 unsigned int i, dir;
441
442 if (num == 0 && last_used)
443 {
444 if (! files[last_used].dir
445 && strcmp (filename, files[last_used].filename) == 0)
446 return last_used;
447 if (files[last_used].dir
448 && strncmp (filename, dirs[files[last_used].dir],
449 last_used_dir_len) == 0
450 && IS_DIR_SEPARATOR (filename [last_used_dir_len])
451 && strcmp (filename + last_used_dir_len + 1,
452 files[last_used].filename) == 0)
453 return last_used;
454 }
455
456 file = lbasename (filename);
457 /* Don't make empty string from / or A: from A:/ . */
458 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
459 if (file <= filename + 3)
460 file = filename;
461 #else
462 if (file == filename + 1)
463 file = filename;
464 #endif
465 dir_len = file - filename;
466
467 dir = 0;
468 if (dir_len)
469 {
470 --dir_len;
471 for (dir = 1; dir < dirs_in_use; ++dir)
472 if (strncmp (filename, dirs[dir], dir_len) == 0
473 && dirs[dir][dir_len] == '\0')
474 break;
475
476 if (dir >= dirs_in_use)
477 {
478 if (dir >= dirs_allocated)
479 {
480 dirs_allocated = dir + 32;
481 dirs = (char **)
482 xrealloc (dirs, (dir + 32) * sizeof (const char *));
483 }
484
485 dirs[dir] = xmalloc (dir_len + 1);
486 memcpy (dirs[dir], filename, dir_len);
487 dirs[dir][dir_len] = '\0';
488 dirs_in_use = dir + 1;
489 }
490 }
491
492 if (num == 0)
493 {
494 for (i = 1; i < files_in_use; ++i)
495 if (files[i].dir == dir
496 && files[i].filename
497 && strcmp (file, files[i].filename) == 0)
498 {
499 last_used = i;
500 last_used_dir_len = dir_len;
501 return i;
502 }
503 }
504 else
505 i = num;
506
507 if (i >= files_allocated)
508 {
509 unsigned int old = files_allocated;
510
511 files_allocated = i + 32;
512 files = (struct file_entry *)
513 xrealloc (files, (i + 32) * sizeof (struct file_entry));
514
515 memset (files + old, 0, (i + 32 - old) * sizeof (struct file_entry));
516 }
517
518 files[i].filename = num ? file : xstrdup (file);
519 files[i].dir = dir;
520 if (files_in_use < i + 1)
521 files_in_use = i + 1;
522 last_used = i;
523 last_used_dir_len = dir_len;
524
525 return i;
526 }
527
528 /* Handle two forms of .file directive:
529 - Pass .file "source.c" to s_app_file
530 - Handle .file 1 "source.c" by adding an entry to the DWARF-2 file table
531
532 If an entry is added to the file table, return a pointer to the filename. */
533
534 char *
535 dwarf2_directive_file (int dummy ATTRIBUTE_UNUSED)
536 {
537 offsetT num;
538 char *filename;
539 int filename_len;
540
541 /* Continue to accept a bare string and pass it off. */
542 SKIP_WHITESPACE ();
543 if (*input_line_pointer == '"')
544 {
545 s_app_file (0);
546 return NULL;
547 }
548
549 num = get_absolute_expression ();
550 filename = demand_copy_C_string (&filename_len);
551 if (filename == NULL)
552 return NULL;
553 demand_empty_rest_of_line ();
554
555 if (num < 1)
556 {
557 as_bad (_("file number less than one"));
558 return NULL;
559 }
560
561 if (num < (int) files_in_use && files[num].filename != 0)
562 {
563 as_bad (_("file number %ld already allocated"), (long) num);
564 return NULL;
565 }
566
567 get_filenum (filename, num);
568
569 return filename;
570 }
571
572 void
573 dwarf2_directive_loc (int dummy ATTRIBUTE_UNUSED)
574 {
575 offsetT filenum, line;
576
577 /* If we see two .loc directives in a row, force the first one to be
578 output now. */
579 if (loc_directive_seen && debug_type != DEBUG_DWARF2)
580 dwarf2_emit_insn (0);
581
582 filenum = get_absolute_expression ();
583 SKIP_WHITESPACE ();
584 line = get_absolute_expression ();
585
586 if (filenum < 1)
587 {
588 as_bad (_("file number less than one"));
589 return;
590 }
591 if (filenum >= (int) files_in_use || files[filenum].filename == 0)
592 {
593 as_bad (_("unassigned file number %ld"), (long) filenum);
594 return;
595 }
596
597 current.filenum = filenum;
598 current.line = line;
599
600 #ifndef NO_LISTING
601 if (listing)
602 {
603 if (files[filenum].dir)
604 {
605 size_t dir_len = strlen (dirs[files[filenum].dir]);
606 size_t file_len = strlen (files[filenum].filename);
607 char *cp = (char *) alloca (dir_len + 1 + file_len + 1);
608
609 memcpy (cp, dirs[files[filenum].dir], dir_len);
610 INSERT_DIR_SEPARATOR (cp, dir_len);
611 memcpy (cp + dir_len + 1, files[filenum].filename, file_len);
612 cp[dir_len + file_len + 1] = '\0';
613 listing_source_file (cp);
614 }
615 else
616 listing_source_file (files[filenum].filename);
617 listing_source_line (line);
618 }
619 #endif
620
621 SKIP_WHITESPACE ();
622 if (ISDIGIT (*input_line_pointer))
623 {
624 current.column = get_absolute_expression ();
625 SKIP_WHITESPACE ();
626 }
627
628 while (ISALPHA (*input_line_pointer))
629 {
630 char *p, c;
631 offsetT value;
632
633 p = input_line_pointer;
634 c = get_symbol_end ();
635
636 if (strcmp (p, "basic_block") == 0)
637 {
638 current.flags |= DWARF2_FLAG_BASIC_BLOCK;
639 *input_line_pointer = c;
640 }
641 else if (strcmp (p, "prologue_end") == 0)
642 {
643 current.flags |= DWARF2_FLAG_PROLOGUE_END;
644 *input_line_pointer = c;
645 }
646 else if (strcmp (p, "epilogue_begin") == 0)
647 {
648 current.flags |= DWARF2_FLAG_EPILOGUE_BEGIN;
649 *input_line_pointer = c;
650 }
651 else if (strcmp (p, "is_stmt") == 0)
652 {
653 *input_line_pointer = c;
654 value = get_absolute_expression ();
655 if (value == 0)
656 current.flags &= ~DWARF2_FLAG_IS_STMT;
657 else if (value == 1)
658 current.flags |= DWARF2_FLAG_IS_STMT;
659 else
660 {
661 as_bad (_("is_stmt value not 0 or 1"));
662 return;
663 }
664 }
665 else if (strcmp (p, "isa") == 0)
666 {
667 *input_line_pointer = c;
668 value = get_absolute_expression ();
669 if (value >= 0)
670 current.isa = value;
671 else
672 {
673 as_bad (_("isa number less than zero"));
674 return;
675 }
676 }
677 else
678 {
679 as_bad (_("unknown .loc sub-directive `%s'"), p);
680 *input_line_pointer = c;
681 return;
682 }
683
684 SKIP_WHITESPACE ();
685 }
686
687 demand_empty_rest_of_line ();
688 loc_directive_seen = TRUE;
689 }
690
691 void
692 dwarf2_directive_loc_mark_labels (int dummy ATTRIBUTE_UNUSED)
693 {
694 offsetT value = get_absolute_expression ();
695
696 if (value != 0 && value != 1)
697 {
698 as_bad (_("expected 0 or 1"));
699 ignore_rest_of_line ();
700 }
701 else
702 {
703 dwarf2_loc_mark_labels = value != 0;
704 demand_empty_rest_of_line ();
705 }
706 }
707 \f
708 static struct frag *
709 first_frag_for_seg (segT seg)
710 {
711 return seg_info (seg)->frchainP->frch_root;
712 }
713
714 static struct frag *
715 last_frag_for_seg (segT seg)
716 {
717 frchainS *f = seg_info (seg)->frchainP;
718
719 while (f->frch_next != NULL)
720 f = f->frch_next;
721
722 return f->frch_last;
723 }
724 \f
725 /* Emit a single byte into the current segment. */
726
727 static inline void
728 out_byte (int byte)
729 {
730 FRAG_APPEND_1_CHAR (byte);
731 }
732
733 /* Emit a statement program opcode into the current segment. */
734
735 static inline void
736 out_opcode (int opc)
737 {
738 out_byte (opc);
739 }
740
741 /* Emit a two-byte word into the current segment. */
742
743 static inline void
744 out_two (int data)
745 {
746 md_number_to_chars (frag_more (2), data, 2);
747 }
748
749 /* Emit a four byte word into the current segment. */
750
751 static inline void
752 out_four (int data)
753 {
754 md_number_to_chars (frag_more (4), data, 4);
755 }
756
757 /* Emit an unsigned "little-endian base 128" number. */
758
759 static void
760 out_uleb128 (addressT value)
761 {
762 output_leb128 (frag_more (sizeof_leb128 (value, 0)), value, 0);
763 }
764
765 /* Emit a signed "little-endian base 128" number. */
766
767 static void
768 out_sleb128 (addressT value)
769 {
770 output_leb128 (frag_more (sizeof_leb128 (value, 1)), value, 1);
771 }
772
773 /* Emit a tuple for .debug_abbrev. */
774
775 static inline void
776 out_abbrev (int name, int form)
777 {
778 out_uleb128 (name);
779 out_uleb128 (form);
780 }
781
782 /* Get the size of a fragment. */
783
784 static offsetT
785 get_frag_fix (fragS *frag, segT seg)
786 {
787 frchainS *fr;
788
789 if (frag->fr_next)
790 return frag->fr_fix;
791
792 /* If a fragment is the last in the chain, special measures must be
793 taken to find its size before relaxation, since it may be pending
794 on some subsegment chain. */
795 for (fr = seg_info (seg)->frchainP; fr; fr = fr->frch_next)
796 if (fr->frch_last == frag)
797 return (char *) obstack_next_free (&fr->frch_obstack) - frag->fr_literal;
798
799 abort ();
800 }
801
802 /* Set an absolute address (may result in a relocation entry). */
803
804 static void
805 out_set_addr (symbolS *sym)
806 {
807 expressionS expr;
808
809 out_opcode (DW_LNS_extended_op);
810 out_uleb128 (sizeof_address + 1);
811
812 out_opcode (DW_LNE_set_address);
813 expr.X_op = O_symbol;
814 expr.X_add_symbol = sym;
815 expr.X_add_number = 0;
816 emit_expr (&expr, sizeof_address);
817 }
818
819 #if DWARF2_LINE_MIN_INSN_LENGTH > 1
820 static void scale_addr_delta (addressT *);
821
822 static void
823 scale_addr_delta (addressT *addr_delta)
824 {
825 static int printed_this = 0;
826 if (*addr_delta % DWARF2_LINE_MIN_INSN_LENGTH != 0)
827 {
828 if (!printed_this)
829 as_bad("unaligned opcodes detected in executable segment");
830 printed_this = 1;
831 }
832 *addr_delta /= DWARF2_LINE_MIN_INSN_LENGTH;
833 }
834 #else
835 #define scale_addr_delta(A)
836 #endif
837
838 /* Encode a pair of line and address skips as efficiently as possible.
839 Note that the line skip is signed, whereas the address skip is unsigned.
840
841 The following two routines *must* be kept in sync. This is
842 enforced by making emit_inc_line_addr abort if we do not emit
843 exactly the expected number of bytes. */
844
845 static int
846 size_inc_line_addr (int line_delta, addressT addr_delta)
847 {
848 unsigned int tmp, opcode;
849 int len = 0;
850
851 /* Scale the address delta by the minimum instruction length. */
852 scale_addr_delta (&addr_delta);
853
854 /* INT_MAX is a signal that this is actually a DW_LNE_end_sequence.
855 We cannot use special opcodes here, since we want the end_sequence
856 to emit the matrix entry. */
857 if (line_delta == INT_MAX)
858 {
859 if (addr_delta == MAX_SPECIAL_ADDR_DELTA)
860 len = 1;
861 else
862 len = 1 + sizeof_leb128 (addr_delta, 0);
863 return len + 3;
864 }
865
866 /* Bias the line delta by the base. */
867 tmp = line_delta - DWARF2_LINE_BASE;
868
869 /* If the line increment is out of range of a special opcode, we
870 must encode it with DW_LNS_advance_line. */
871 if (tmp >= DWARF2_LINE_RANGE)
872 {
873 len = 1 + sizeof_leb128 (line_delta, 1);
874 line_delta = 0;
875 tmp = 0 - DWARF2_LINE_BASE;
876 }
877
878 /* Bias the opcode by the special opcode base. */
879 tmp += DWARF2_LINE_OPCODE_BASE;
880
881 /* Avoid overflow when addr_delta is large. */
882 if (addr_delta < 256 + MAX_SPECIAL_ADDR_DELTA)
883 {
884 /* Try using a special opcode. */
885 opcode = tmp + addr_delta * DWARF2_LINE_RANGE;
886 if (opcode <= 255)
887 return len + 1;
888
889 /* Try using DW_LNS_const_add_pc followed by special op. */
890 opcode = tmp + (addr_delta - MAX_SPECIAL_ADDR_DELTA) * DWARF2_LINE_RANGE;
891 if (opcode <= 255)
892 return len + 2;
893 }
894
895 /* Otherwise use DW_LNS_advance_pc. */
896 len += 1 + sizeof_leb128 (addr_delta, 0);
897
898 /* DW_LNS_copy or special opcode. */
899 len += 1;
900
901 return len;
902 }
903
904 static void
905 emit_inc_line_addr (int line_delta, addressT addr_delta, char *p, int len)
906 {
907 unsigned int tmp, opcode;
908 int need_copy = 0;
909 char *end = p + len;
910
911 /* Line number sequences cannot go backward in addresses. This means
912 we've incorrectly ordered the statements in the sequence. */
913 assert ((offsetT) addr_delta >= 0);
914
915 /* Scale the address delta by the minimum instruction length. */
916 scale_addr_delta (&addr_delta);
917
918 /* INT_MAX is a signal that this is actually a DW_LNE_end_sequence.
919 We cannot use special opcodes here, since we want the end_sequence
920 to emit the matrix entry. */
921 if (line_delta == INT_MAX)
922 {
923 if (addr_delta == MAX_SPECIAL_ADDR_DELTA)
924 *p++ = DW_LNS_const_add_pc;
925 else
926 {
927 *p++ = DW_LNS_advance_pc;
928 p += output_leb128 (p, addr_delta, 0);
929 }
930
931 *p++ = DW_LNS_extended_op;
932 *p++ = 1;
933 *p++ = DW_LNE_end_sequence;
934 goto done;
935 }
936
937 /* Bias the line delta by the base. */
938 tmp = line_delta - DWARF2_LINE_BASE;
939
940 /* If the line increment is out of range of a special opcode, we
941 must encode it with DW_LNS_advance_line. */
942 if (tmp >= DWARF2_LINE_RANGE)
943 {
944 *p++ = DW_LNS_advance_line;
945 p += output_leb128 (p, line_delta, 1);
946
947 line_delta = 0;
948 tmp = 0 - DWARF2_LINE_BASE;
949 need_copy = 1;
950 }
951
952 /* Prettier, I think, to use DW_LNS_copy instead of a "line +0, addr +0"
953 special opcode. */
954 if (line_delta == 0 && addr_delta == 0)
955 {
956 *p++ = DW_LNS_copy;
957 goto done;
958 }
959
960 /* Bias the opcode by the special opcode base. */
961 tmp += DWARF2_LINE_OPCODE_BASE;
962
963 /* Avoid overflow when addr_delta is large. */
964 if (addr_delta < 256 + MAX_SPECIAL_ADDR_DELTA)
965 {
966 /* Try using a special opcode. */
967 opcode = tmp + addr_delta * DWARF2_LINE_RANGE;
968 if (opcode <= 255)
969 {
970 *p++ = opcode;
971 goto done;
972 }
973
974 /* Try using DW_LNS_const_add_pc followed by special op. */
975 opcode = tmp + (addr_delta - MAX_SPECIAL_ADDR_DELTA) * DWARF2_LINE_RANGE;
976 if (opcode <= 255)
977 {
978 *p++ = DW_LNS_const_add_pc;
979 *p++ = opcode;
980 goto done;
981 }
982 }
983
984 /* Otherwise use DW_LNS_advance_pc. */
985 *p++ = DW_LNS_advance_pc;
986 p += output_leb128 (p, addr_delta, 0);
987
988 if (need_copy)
989 *p++ = DW_LNS_copy;
990 else
991 *p++ = tmp;
992
993 done:
994 assert (p == end);
995 }
996
997 /* Handy routine to combine calls to the above two routines. */
998
999 static void
1000 out_inc_line_addr (int line_delta, addressT addr_delta)
1001 {
1002 int len = size_inc_line_addr (line_delta, addr_delta);
1003 emit_inc_line_addr (line_delta, addr_delta, frag_more (len), len);
1004 }
1005
1006 /* Write out an alternative form of line and address skips using
1007 DW_LNS_fixed_advance_pc opcodes. This uses more space than the default
1008 line and address information, but it helps support linker relaxation that
1009 changes the code offsets. */
1010
1011 static void
1012 out_fixed_inc_line_addr (int line_delta, symbolS *to_sym, symbolS *from_sym)
1013 {
1014 expressionS expr;
1015
1016 /* INT_MAX is a signal that this is actually a DW_LNE_end_sequence. */
1017 if (line_delta == INT_MAX)
1018 {
1019 out_opcode (DW_LNS_fixed_advance_pc);
1020 expr.X_op = O_subtract;
1021 expr.X_add_symbol = to_sym;
1022 expr.X_op_symbol = from_sym;
1023 expr.X_add_number = 0;
1024 emit_expr (&expr, 2);
1025
1026 out_opcode (DW_LNS_extended_op);
1027 out_byte (1);
1028 out_opcode (DW_LNE_end_sequence);
1029 return;
1030 }
1031
1032 out_opcode (DW_LNS_advance_line);
1033 out_sleb128 (line_delta);
1034
1035 out_opcode (DW_LNS_fixed_advance_pc);
1036 expr.X_op = O_subtract;
1037 expr.X_add_symbol = to_sym;
1038 expr.X_op_symbol = from_sym;
1039 expr.X_add_number = 0;
1040 emit_expr (&expr, 2);
1041
1042 out_opcode (DW_LNS_copy);
1043 }
1044
1045 /* Generate a variant frag that we can use to relax address/line
1046 increments between fragments of the target segment. */
1047
1048 static void
1049 relax_inc_line_addr (int line_delta, symbolS *to_sym, symbolS *from_sym)
1050 {
1051 expressionS expr;
1052 int max_chars;
1053
1054 expr.X_op = O_subtract;
1055 expr.X_add_symbol = to_sym;
1056 expr.X_op_symbol = from_sym;
1057 expr.X_add_number = 0;
1058
1059 /* The maximum size of the frag is the line delta with a maximum
1060 sized address delta. */
1061 max_chars = size_inc_line_addr (line_delta, -DWARF2_LINE_MIN_INSN_LENGTH);
1062
1063 frag_var (rs_dwarf2dbg, max_chars, max_chars, 1,
1064 make_expr_symbol (&expr), line_delta, NULL);
1065 }
1066
1067 /* The function estimates the size of a rs_dwarf2dbg variant frag
1068 based on the current values of the symbols. It is called before
1069 the relaxation loop. We set fr_subtype to the expected length. */
1070
1071 int
1072 dwarf2dbg_estimate_size_before_relax (fragS *frag)
1073 {
1074 offsetT addr_delta;
1075 int size;
1076
1077 addr_delta = resolve_symbol_value (frag->fr_symbol);
1078 size = size_inc_line_addr (frag->fr_offset, addr_delta);
1079
1080 frag->fr_subtype = size;
1081
1082 return size;
1083 }
1084
1085 /* This function relaxes a rs_dwarf2dbg variant frag based on the
1086 current values of the symbols. fr_subtype is the current length
1087 of the frag. This returns the change in frag length. */
1088
1089 int
1090 dwarf2dbg_relax_frag (fragS *frag)
1091 {
1092 int old_size, new_size;
1093
1094 old_size = frag->fr_subtype;
1095 new_size = dwarf2dbg_estimate_size_before_relax (frag);
1096
1097 return new_size - old_size;
1098 }
1099
1100 /* This function converts a rs_dwarf2dbg variant frag into a normal
1101 fill frag. This is called after all relaxation has been done.
1102 fr_subtype will be the desired length of the frag. */
1103
1104 void
1105 dwarf2dbg_convert_frag (fragS *frag)
1106 {
1107 offsetT addr_diff;
1108
1109 addr_diff = resolve_symbol_value (frag->fr_symbol);
1110
1111 /* fr_var carries the max_chars that we created the fragment with.
1112 fr_subtype carries the current expected length. We must, of
1113 course, have allocated enough memory earlier. */
1114 assert (frag->fr_var >= (int) frag->fr_subtype);
1115
1116 emit_inc_line_addr (frag->fr_offset, addr_diff,
1117 frag->fr_literal + frag->fr_fix, frag->fr_subtype);
1118
1119 frag->fr_fix += frag->fr_subtype;
1120 frag->fr_type = rs_fill;
1121 frag->fr_var = 0;
1122 frag->fr_offset = 0;
1123 }
1124
1125 /* Generate .debug_line content for the chain of line number entries
1126 beginning at E, for segment SEG. */
1127
1128 static void
1129 process_entries (segT seg, struct line_entry *e)
1130 {
1131 unsigned filenum = 1;
1132 unsigned line = 1;
1133 unsigned column = 0;
1134 unsigned isa = 0;
1135 unsigned flags = DWARF2_LINE_DEFAULT_IS_STMT ? DWARF2_FLAG_IS_STMT : 0;
1136 fragS *last_frag = NULL, *frag;
1137 addressT last_frag_ofs = 0, frag_ofs;
1138 symbolS *last_lab = NULL, *lab;
1139 struct line_entry *next;
1140
1141 do
1142 {
1143 int line_delta;
1144
1145 if (filenum != e->loc.filenum)
1146 {
1147 filenum = e->loc.filenum;
1148 out_opcode (DW_LNS_set_file);
1149 out_uleb128 (filenum);
1150 }
1151
1152 if (column != e->loc.column)
1153 {
1154 column = e->loc.column;
1155 out_opcode (DW_LNS_set_column);
1156 out_uleb128 (column);
1157 }
1158
1159 if (isa != e->loc.isa)
1160 {
1161 isa = e->loc.isa;
1162 out_opcode (DW_LNS_set_isa);
1163 out_uleb128 (isa);
1164 }
1165
1166 if ((e->loc.flags ^ flags) & DWARF2_FLAG_IS_STMT)
1167 {
1168 flags = e->loc.flags;
1169 out_opcode (DW_LNS_negate_stmt);
1170 }
1171
1172 if (e->loc.flags & DWARF2_FLAG_BASIC_BLOCK)
1173 out_opcode (DW_LNS_set_basic_block);
1174
1175 if (e->loc.flags & DWARF2_FLAG_PROLOGUE_END)
1176 out_opcode (DW_LNS_set_prologue_end);
1177
1178 if (e->loc.flags & DWARF2_FLAG_EPILOGUE_BEGIN)
1179 out_opcode (DW_LNS_set_epilogue_begin);
1180
1181 /* Don't try to optimize away redundant entries; gdb wants two
1182 entries for a function where the code starts on the same line as
1183 the {, and there's no way to identify that case here. Trust gcc
1184 to optimize appropriately. */
1185 line_delta = e->loc.line - line;
1186 lab = e->label;
1187 frag = symbol_get_frag (lab);
1188 frag_ofs = S_GET_VALUE (lab);
1189
1190 if (last_frag == NULL)
1191 {
1192 out_set_addr (lab);
1193 out_inc_line_addr (line_delta, 0);
1194 }
1195 else if (DWARF2_USE_FIXED_ADVANCE_PC)
1196 out_fixed_inc_line_addr (line_delta, lab, last_lab);
1197 else if (frag == last_frag)
1198 out_inc_line_addr (line_delta, frag_ofs - last_frag_ofs);
1199 else
1200 relax_inc_line_addr (line_delta, lab, last_lab);
1201
1202 line = e->loc.line;
1203 last_lab = lab;
1204 last_frag = frag;
1205 last_frag_ofs = frag_ofs;
1206
1207 next = e->next;
1208 free (e);
1209 e = next;
1210 }
1211 while (e);
1212
1213 /* Emit a DW_LNE_end_sequence for the end of the section. */
1214 frag = last_frag_for_seg (seg);
1215 frag_ofs = get_frag_fix (frag, seg);
1216 if (DWARF2_USE_FIXED_ADVANCE_PC)
1217 {
1218 lab = symbol_temp_new (seg, frag_ofs, frag);
1219 out_fixed_inc_line_addr (INT_MAX, lab, last_lab);
1220 }
1221 else if (frag == last_frag)
1222 out_inc_line_addr (INT_MAX, frag_ofs - last_frag_ofs);
1223 else
1224 {
1225 lab = symbol_temp_new (seg, frag_ofs, frag);
1226 relax_inc_line_addr (INT_MAX, lab, last_lab);
1227 }
1228 }
1229
1230 /* Emit the directory and file tables for .debug_line. */
1231
1232 static void
1233 out_file_list (void)
1234 {
1235 size_t size;
1236 const char *dir;
1237 char *cp;
1238 unsigned int i;
1239
1240 /* Emit directory list. */
1241 for (i = 1; i < dirs_in_use; ++i)
1242 {
1243 dir = remap_debug_filename (dirs[i]);
1244 size = strlen (dir) + 1;
1245 cp = frag_more (size);
1246 memcpy (cp, dir, size);
1247 }
1248 /* Terminate it. */
1249 out_byte ('\0');
1250
1251 for (i = 1; i < files_in_use; ++i)
1252 {
1253 if (files[i].filename == NULL)
1254 {
1255 as_bad (_("unassigned file number %ld"), (long) i);
1256 /* Prevent a crash later, particularly for file 1. */
1257 files[i].filename = "";
1258 continue;
1259 }
1260
1261 size = strlen (files[i].filename) + 1;
1262 cp = frag_more (size);
1263 memcpy (cp, files[i].filename, size);
1264
1265 out_uleb128 (files[i].dir); /* directory number */
1266 out_uleb128 (0); /* last modification timestamp */
1267 out_uleb128 (0); /* filesize */
1268 }
1269
1270 /* Terminate filename list. */
1271 out_byte (0);
1272 }
1273
1274 /* Emit the collected .debug_line data. */
1275
1276 static void
1277 out_debug_line (segT line_seg)
1278 {
1279 expressionS expr;
1280 symbolS *line_start;
1281 symbolS *prologue_end;
1282 symbolS *line_end;
1283 struct line_seg *s;
1284 enum dwarf2_format d2f;
1285 int sizeof_offset;
1286
1287 subseg_set (line_seg, 0);
1288
1289 line_start = symbol_temp_new_now ();
1290 prologue_end = symbol_temp_make ();
1291 line_end = symbol_temp_make ();
1292
1293 /* Total length of the information for this compilation unit. */
1294 expr.X_op = O_subtract;
1295 expr.X_add_symbol = line_end;
1296 expr.X_op_symbol = line_start;
1297
1298 d2f = DWARF2_FORMAT ();
1299 if (d2f == dwarf2_format_32bit)
1300 {
1301 expr.X_add_number = -4;
1302 emit_expr (&expr, 4);
1303 sizeof_offset = 4;
1304 }
1305 else if (d2f == dwarf2_format_64bit)
1306 {
1307 expr.X_add_number = -12;
1308 out_four (-1);
1309 emit_expr (&expr, 8);
1310 sizeof_offset = 8;
1311 }
1312 else if (d2f == dwarf2_format_64bit_irix)
1313 {
1314 expr.X_add_number = -8;
1315 emit_expr (&expr, 8);
1316 sizeof_offset = 8;
1317 }
1318 else
1319 {
1320 as_fatal (_("internal error: unknown dwarf2 format"));
1321 }
1322
1323 /* Version. */
1324 out_two (2);
1325
1326 /* Length of the prologue following this length. */
1327 expr.X_op = O_subtract;
1328 expr.X_add_symbol = prologue_end;
1329 expr.X_op_symbol = line_start;
1330 expr.X_add_number = - (4 + 2 + 4);
1331 emit_expr (&expr, sizeof_offset);
1332
1333 /* Parameters of the state machine. */
1334 out_byte (DWARF2_LINE_MIN_INSN_LENGTH);
1335 out_byte (DWARF2_LINE_DEFAULT_IS_STMT);
1336 out_byte (DWARF2_LINE_BASE);
1337 out_byte (DWARF2_LINE_RANGE);
1338 out_byte (DWARF2_LINE_OPCODE_BASE);
1339
1340 /* Standard opcode lengths. */
1341 out_byte (0); /* DW_LNS_copy */
1342 out_byte (1); /* DW_LNS_advance_pc */
1343 out_byte (1); /* DW_LNS_advance_line */
1344 out_byte (1); /* DW_LNS_set_file */
1345 out_byte (1); /* DW_LNS_set_column */
1346 out_byte (0); /* DW_LNS_negate_stmt */
1347 out_byte (0); /* DW_LNS_set_basic_block */
1348 out_byte (0); /* DW_LNS_const_add_pc */
1349 out_byte (1); /* DW_LNS_fixed_advance_pc */
1350 out_byte (0); /* DW_LNS_set_prologue_end */
1351 out_byte (0); /* DW_LNS_set_epilogue_begin */
1352 out_byte (1); /* DW_LNS_set_isa */
1353
1354 out_file_list ();
1355
1356 symbol_set_value_now (prologue_end);
1357
1358 /* For each section, emit a statement program. */
1359 for (s = all_segs; s; s = s->next)
1360 process_entries (s->seg, s->head->head);
1361
1362 symbol_set_value_now (line_end);
1363 }
1364
1365 static void
1366 out_debug_ranges (segT ranges_seg)
1367 {
1368 unsigned int addr_size = sizeof_address;
1369 struct line_seg *s;
1370 expressionS expr;
1371 unsigned int i;
1372
1373 subseg_set (ranges_seg, 0);
1374
1375 /* Base Address Entry. */
1376 for (i = 0; i < addr_size; i++)
1377 out_byte (0xff);
1378 for (i = 0; i < addr_size; i++)
1379 out_byte (0);
1380
1381 /* Range List Entry. */
1382 for (s = all_segs; s; s = s->next)
1383 {
1384 fragS *frag;
1385 symbolS *beg, *end;
1386
1387 frag = first_frag_for_seg (s->seg);
1388 beg = symbol_temp_new (s->seg, 0, frag);
1389 s->text_start = beg;
1390
1391 frag = last_frag_for_seg (s->seg);
1392 end = symbol_temp_new (s->seg, get_frag_fix (frag, s->seg), frag);
1393 s->text_end = end;
1394
1395 expr.X_op = O_symbol;
1396 expr.X_add_symbol = beg;
1397 expr.X_add_number = 0;
1398 emit_expr (&expr, addr_size);
1399
1400 expr.X_op = O_symbol;
1401 expr.X_add_symbol = end;
1402 expr.X_add_number = 0;
1403 emit_expr (&expr, addr_size);
1404 }
1405
1406 /* End of Range Entry. */
1407 for (i = 0; i < addr_size; i++)
1408 out_byte (0);
1409 for (i = 0; i < addr_size; i++)
1410 out_byte (0);
1411 }
1412
1413 /* Emit data for .debug_aranges. */
1414
1415 static void
1416 out_debug_aranges (segT aranges_seg, segT info_seg)
1417 {
1418 unsigned int addr_size = sizeof_address;
1419 addressT size, skip;
1420 struct line_seg *s;
1421 expressionS expr;
1422 char *p;
1423
1424 size = 4 + 2 + 4 + 1 + 1;
1425
1426 skip = 2 * addr_size - (size & (2 * addr_size - 1));
1427 if (skip == 2 * addr_size)
1428 skip = 0;
1429 size += skip;
1430
1431 for (s = all_segs; s; s = s->next)
1432 size += 2 * addr_size;
1433
1434 size += 2 * addr_size;
1435
1436 subseg_set (aranges_seg, 0);
1437
1438 /* Length of the compilation unit. */
1439 out_four (size - 4);
1440
1441 /* Version. */
1442 out_two (2);
1443
1444 /* Offset to .debug_info. */
1445 /* ??? sizeof_offset */
1446 TC_DWARF2_EMIT_OFFSET (section_symbol (info_seg), 4);
1447
1448 /* Size of an address (offset portion). */
1449 out_byte (addr_size);
1450
1451 /* Size of a segment descriptor. */
1452 out_byte (0);
1453
1454 /* Align the header. */
1455 if (skip)
1456 frag_align (ffs (2 * addr_size) - 1, 0, 0);
1457
1458 for (s = all_segs; s; s = s->next)
1459 {
1460 fragS *frag;
1461 symbolS *beg, *end;
1462
1463 frag = first_frag_for_seg (s->seg);
1464 beg = symbol_temp_new (s->seg, 0, frag);
1465 s->text_start = beg;
1466
1467 frag = last_frag_for_seg (s->seg);
1468 end = symbol_temp_new (s->seg, get_frag_fix (frag, s->seg), frag);
1469 s->text_end = end;
1470
1471 expr.X_op = O_symbol;
1472 expr.X_add_symbol = beg;
1473 expr.X_add_number = 0;
1474 emit_expr (&expr, addr_size);
1475
1476 expr.X_op = O_subtract;
1477 expr.X_add_symbol = end;
1478 expr.X_op_symbol = beg;
1479 expr.X_add_number = 0;
1480 emit_expr (&expr, addr_size);
1481 }
1482
1483 p = frag_more (2 * addr_size);
1484 md_number_to_chars (p, 0, addr_size);
1485 md_number_to_chars (p + addr_size, 0, addr_size);
1486 }
1487
1488 /* Emit data for .debug_abbrev. Note that this must be kept in
1489 sync with out_debug_info below. */
1490
1491 static void
1492 out_debug_abbrev (segT abbrev_seg)
1493 {
1494 subseg_set (abbrev_seg, 0);
1495
1496 out_uleb128 (1);
1497 out_uleb128 (DW_TAG_compile_unit);
1498 out_byte (DW_CHILDREN_no);
1499 out_abbrev (DW_AT_stmt_list, DW_FORM_data4);
1500 if (all_segs->next == NULL)
1501 {
1502 out_abbrev (DW_AT_low_pc, DW_FORM_addr);
1503 out_abbrev (DW_AT_high_pc, DW_FORM_addr);
1504 }
1505 else
1506 {
1507 if (DWARF2_FORMAT () == dwarf2_format_32bit)
1508 out_abbrev (DW_AT_ranges, DW_FORM_data4);
1509 else
1510 out_abbrev (DW_AT_ranges, DW_FORM_data8);
1511 }
1512 out_abbrev (DW_AT_name, DW_FORM_string);
1513 out_abbrev (DW_AT_comp_dir, DW_FORM_string);
1514 out_abbrev (DW_AT_producer, DW_FORM_string);
1515 out_abbrev (DW_AT_language, DW_FORM_data2);
1516 out_abbrev (0, 0);
1517
1518 /* Terminate the abbreviations for this compilation unit. */
1519 out_byte (0);
1520 }
1521
1522 /* Emit a description of this compilation unit for .debug_info. */
1523
1524 static void
1525 out_debug_info (segT info_seg, segT abbrev_seg, segT line_seg, segT ranges_seg)
1526 {
1527 char producer[128];
1528 const char *comp_dir;
1529 const char *dirname;
1530 expressionS expr;
1531 symbolS *info_start;
1532 symbolS *info_end;
1533 char *p;
1534 int len;
1535 enum dwarf2_format d2f;
1536 int sizeof_offset;
1537
1538 subseg_set (info_seg, 0);
1539
1540 info_start = symbol_temp_new_now ();
1541 info_end = symbol_temp_make ();
1542
1543 /* Compilation Unit length. */
1544 expr.X_op = O_subtract;
1545 expr.X_add_symbol = info_end;
1546 expr.X_op_symbol = info_start;
1547
1548 d2f = DWARF2_FORMAT ();
1549 if (d2f == dwarf2_format_32bit)
1550 {
1551 expr.X_add_number = -4;
1552 emit_expr (&expr, 4);
1553 sizeof_offset = 4;
1554 }
1555 else if (d2f == dwarf2_format_64bit)
1556 {
1557 expr.X_add_number = -12;
1558 out_four (-1);
1559 emit_expr (&expr, 8);
1560 sizeof_offset = 8;
1561 }
1562 else if (d2f == dwarf2_format_64bit_irix)
1563 {
1564 expr.X_add_number = -8;
1565 emit_expr (&expr, 8);
1566 sizeof_offset = 8;
1567 }
1568 else
1569 {
1570 as_fatal (_("internal error: unknown dwarf2 format"));
1571 }
1572
1573 /* DWARF version. */
1574 out_two (2);
1575
1576 /* .debug_abbrev offset */
1577 TC_DWARF2_EMIT_OFFSET (section_symbol (abbrev_seg), sizeof_offset);
1578
1579 /* Target address size. */
1580 out_byte (sizeof_address);
1581
1582 /* DW_TAG_compile_unit DIE abbrev */
1583 out_uleb128 (1);
1584
1585 /* DW_AT_stmt_list */
1586 /* ??? sizeof_offset */
1587 TC_DWARF2_EMIT_OFFSET (section_symbol (line_seg), 4);
1588
1589 /* These two attributes are emitted if all of the code is contiguous. */
1590 if (all_segs->next == NULL)
1591 {
1592 /* DW_AT_low_pc */
1593 expr.X_op = O_symbol;
1594 expr.X_add_symbol = all_segs->text_start;
1595 expr.X_add_number = 0;
1596 emit_expr (&expr, sizeof_address);
1597
1598 /* DW_AT_high_pc */
1599 expr.X_op = O_symbol;
1600 expr.X_add_symbol = all_segs->text_end;
1601 expr.X_add_number = 0;
1602 emit_expr (&expr, sizeof_address);
1603 }
1604 else
1605 {
1606 /* This attribute is emitted if the code is disjoint. */
1607 /* DW_AT_ranges. */
1608 TC_DWARF2_EMIT_OFFSET (section_symbol (ranges_seg), sizeof_offset);
1609 }
1610
1611 /* DW_AT_name. We don't have the actual file name that was present
1612 on the command line, so assume files[1] is the main input file.
1613 We're not supposed to get called unless at least one line number
1614 entry was emitted, so this should always be defined. */
1615 if (!files || files_in_use < 1)
1616 abort ();
1617 if (files[1].dir)
1618 {
1619 dirname = remap_debug_filename (dirs[files[1].dir]);
1620 len = strlen (dirname);
1621 p = frag_more (len + 1);
1622 memcpy (p, dirname, len);
1623 INSERT_DIR_SEPARATOR (p, len);
1624 }
1625 len = strlen (files[1].filename) + 1;
1626 p = frag_more (len);
1627 memcpy (p, files[1].filename, len);
1628
1629 /* DW_AT_comp_dir */
1630 comp_dir = remap_debug_filename (getpwd ());
1631 len = strlen (comp_dir) + 1;
1632 p = frag_more (len);
1633 memcpy (p, comp_dir, len);
1634
1635 /* DW_AT_producer */
1636 sprintf (producer, "GNU AS %s", VERSION);
1637 len = strlen (producer) + 1;
1638 p = frag_more (len);
1639 memcpy (p, producer, len);
1640
1641 /* DW_AT_language. Yes, this is probably not really MIPS, but the
1642 dwarf2 draft has no standard code for assembler. */
1643 out_two (DW_LANG_Mips_Assembler);
1644
1645 symbol_set_value_now (info_end);
1646 }
1647
1648 /* Finish the dwarf2 debug sections. We emit .debug.line if there
1649 were any .file/.loc directives, or --gdwarf2 was given, or if the
1650 file has a non-empty .debug_info section. If we emit .debug_line,
1651 and the .debug_info section is empty, we also emit .debug_info,
1652 .debug_aranges and .debug_abbrev. ALL_SEGS will be non-null if
1653 there were any .file/.loc directives, or --gdwarf2 was given and
1654 there were any located instructions emitted. */
1655
1656 void
1657 dwarf2_finish (void)
1658 {
1659 segT line_seg;
1660 struct line_seg *s;
1661 segT info_seg;
1662 int emit_other_sections = 0;
1663
1664 info_seg = bfd_get_section_by_name (stdoutput, ".debug_info");
1665 emit_other_sections = info_seg == NULL || !seg_not_empty_p (info_seg);
1666
1667 if (!all_segs && emit_other_sections)
1668 /* There is no line information and no non-empty .debug_info
1669 section. */
1670 return;
1671
1672 /* Calculate the size of an address for the target machine. */
1673 sizeof_address = DWARF2_ADDR_SIZE (stdoutput);
1674
1675 /* Create and switch to the line number section. */
1676 line_seg = subseg_new (".debug_line", 0);
1677 bfd_set_section_flags (stdoutput, line_seg, SEC_READONLY | SEC_DEBUGGING);
1678
1679 /* For each subsection, chain the debug entries together. */
1680 for (s = all_segs; s; s = s->next)
1681 {
1682 struct line_subseg *ss = s->head;
1683 struct line_entry **ptail = ss->ptail;
1684
1685 while ((ss = ss->next) != NULL)
1686 {
1687 *ptail = ss->head;
1688 ptail = ss->ptail;
1689 }
1690 }
1691
1692 out_debug_line (line_seg);
1693
1694 /* If this is assembler generated line info, and there is no
1695 debug_info already, we need .debug_info and .debug_abbrev
1696 sections as well. */
1697 if (emit_other_sections)
1698 {
1699 segT abbrev_seg;
1700 segT aranges_seg;
1701 segT ranges_seg;
1702
1703 assert (all_segs);
1704
1705 info_seg = subseg_new (".debug_info", 0);
1706 abbrev_seg = subseg_new (".debug_abbrev", 0);
1707 aranges_seg = subseg_new (".debug_aranges", 0);
1708
1709 bfd_set_section_flags (stdoutput, info_seg,
1710 SEC_READONLY | SEC_DEBUGGING);
1711 bfd_set_section_flags (stdoutput, abbrev_seg,
1712 SEC_READONLY | SEC_DEBUGGING);
1713 bfd_set_section_flags (stdoutput, aranges_seg,
1714 SEC_READONLY | SEC_DEBUGGING);
1715
1716 record_alignment (aranges_seg, ffs (2 * sizeof_address) - 1);
1717
1718 if (all_segs->next == NULL)
1719 ranges_seg = NULL;
1720 else
1721 {
1722 ranges_seg = subseg_new (".debug_ranges", 0);
1723 bfd_set_section_flags (stdoutput, ranges_seg,
1724 SEC_READONLY | SEC_DEBUGGING);
1725 record_alignment (ranges_seg, ffs (2 * sizeof_address) - 1);
1726 out_debug_ranges (ranges_seg);
1727 }
1728
1729 out_debug_aranges (aranges_seg, info_seg);
1730 out_debug_abbrev (abbrev_seg);
1731 out_debug_info (info_seg, abbrev_seg, line_seg, ranges_seg);
1732 }
1733 }