binutils/
[deliverable/binutils-gdb.git] / gas / dwarf2dbg.c
CommitLineData
fac0d250 1/* dwarf2dbg.c - DWARF2 debug support
ec2655a6 2 Copyright 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
2da5c037 3 Free Software Foundation, Inc.
fac0d250
RH
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
ec2655a6 10 the Free Software Foundation; either version 3, or (at your option)
fac0d250
RH
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
4b4da160
NC
20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
21 02110-1301, USA. */
fac0d250 22
89b66cde 23/* Logical line numbers can be controlled by the compiler via the
bd0eb99b 24 following directives:
fac0d250
RH
25
26 .file FILENO "file.c"
ecea7679
RH
27 .loc FILENO LINENO [COLUMN] [basic_block] [prologue_end] \
28 [epilogue_begin] [is_stmt VALUE] [isa VALUE]
bd0eb99b 29*/
fac0d250 30
fac0d250 31#include "as.h"
bd0eb99b 32#include "safe-ctype.h"
92eb7b32 33
42dbf88c
NC
34#ifdef HAVE_LIMITS_H
35#include <limits.h>
92625c16 36#else
6717891c
NC
37#ifdef HAVE_SYS_PARAM_H
38#include <sys/param.h>
39#endif
6256f9dd 40#ifndef INT_MAX
ee515fb7 41#define INT_MAX (int) (((unsigned) (-1)) >> 1)
42dbf88c 42#endif
b8f080d6 43#endif
42dbf88c 44
70658493 45#include "dwarf2dbg.h"
a7ed1ca2 46#include <filenames.h>
70658493 47
56487c55
NC
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
14e777e0 71#ifndef DWARF2_FORMAT
9605f328 72# define DWARF2_FORMAT() dwarf2_format_32bit
14e777e0
KB
73#endif
74
9605f328 75#ifndef DWARF2_ADDR_SIZE
e4475e39 76# define DWARF2_ADDR_SIZE(bfd) (bfd_arch_bits_per_address (bfd) / 8)
9605f328
AO
77#endif
78
fac0d250
RH
79#include "subsegs.h"
80
d9ac5a3b 81#include "elf/dwarf2.h"
fac0d250 82
fac0d250
RH
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
1737851b
BW
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
fac0d250
RH
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
bd0eb99b
RH
101 out_debug_line(). */
102#define DWARF2_LINE_OPCODE_BASE 13
fac0d250
RH
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. */
4dc7ead9 118# define DWARF2_LINE_MIN_INSN_LENGTH 1
fac0d250
RH
119#endif
120
bd0eb99b 121/* Flag that indicates the initial value of the is_stmt_start flag. */
fac0d250
RH
122#define DWARF2_LINE_DEFAULT_IS_STMT 1
123
cb30237e 124/* Given a special op, return the line skip amount. */
fac0d250
RH
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
cb30237e 132/* The maximum address skip amount that can be encoded with a special op. */
fac0d250
RH
133#define MAX_SPECIAL_ADDR_DELTA SPECIAL_ADDR(255)
134
ee515fb7 135struct line_entry {
220e750f 136 struct line_entry *next;
07a53e5c 137 symbolS *label;
220e750f 138 struct dwarf2_line_info loc;
e6c774b4 139};
fac0d250 140
ee515fb7 141struct line_subseg {
220e750f
RH
142 struct line_subseg *next;
143 subsegT subseg;
144 struct line_entry *head;
145 struct line_entry **ptail;
146};
353e2c69 147
ee515fb7 148struct line_seg {
220e750f
RH
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. */
157static struct line_seg *all_segs;
158
ee515fb7 159struct file_entry {
a7ed1ca2 160 const char *filename;
220e750f
RH
161 unsigned int dir;
162};
163
164/* Table of files used by .debug_line. */
165static struct file_entry *files;
166static unsigned int files_in_use;
167static unsigned int files_allocated;
168
a7ed1ca2
NC
169/* Table of directories used by .debug_line. */
170static char **dirs;
171static unsigned int dirs_in_use;
172static unsigned int dirs_allocated;
173
b34976b6 174/* TRUE when we've seen a .loc directive recently. Used to avoid
220e750f 175 doing work when there's nothing to do. */
1eee4adc 176bfd_boolean dwarf2_loc_directive_seen;
220e750f 177
07a53e5c
RH
178/* TRUE when we're supposed to set the basic block mark whenever a
179 label is seen. */
180bfd_boolean dwarf2_loc_mark_labels;
181
220e750f 182/* Current location as indicated by the most recent .loc directive. */
bd0eb99b
RH
183static struct dwarf2_line_info current = {
184 1, 1, 0, 0,
185 DWARF2_LINE_DEFAULT_IS_STMT ? DWARF2_FLAG_IS_STMT : 0
186};
220e750f 187
220e750f
RH
188/* The size of an address on the target. */
189static unsigned int sizeof_address;
190\f
a2e22468
KH
191static struct line_subseg *get_line_subseg (segT, subsegT);
192static unsigned int get_filenum (const char *, unsigned int);
193static struct frag *first_frag_for_seg (segT);
194static struct frag *last_frag_for_seg (segT);
195static void out_byte (int);
196static void out_opcode (int);
197static void out_two (int);
198static void out_four (int);
199static void out_abbrev (int, int);
200static void out_uleb128 (addressT);
1737851b 201static void out_sleb128 (addressT);
c9049d30 202static offsetT get_frag_fix (fragS *, segT);
07a53e5c 203static void out_set_addr (symbolS *);
a2e22468
KH
204static int size_inc_line_addr (int, addressT);
205static void emit_inc_line_addr (int, addressT, char *, int);
206static void out_inc_line_addr (int, addressT);
1737851b 207static void out_fixed_inc_line_addr (int, symbolS *, symbolS *);
07a53e5c 208static void relax_inc_line_addr (int, symbolS *, symbolS *);
a2e22468
KH
209static void process_entries (segT, struct line_entry *);
210static void out_file_list (void);
211static void out_debug_line (segT);
212static void out_debug_aranges (segT, segT);
213static void out_debug_abbrev (segT);
220e750f 214\f
c5c0a210 215#ifndef TC_DWARF2_EMIT_OFFSET
802f5d9e 216#define TC_DWARF2_EMIT_OFFSET generic_dwarf2_emit_offset
c5c0a210 217
6174d9c8
RH
218/* Create an offset to .dwarf2_*. */
219
220static void
a2e22468 221generic_dwarf2_emit_offset (symbolS *symbol, unsigned int size)
6174d9c8
RH
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}
c5c0a210 230#endif
6174d9c8 231
220e750f
RH
232/* Find or create an entry for SEG+SUBSEG in ALL_SEGS. */
233
234static struct line_subseg *
a2e22468 235get_line_subseg (segT seg, subsegT subseg)
220e750f
RH
236{
237 static segT last_seg;
238 static subsegT last_subseg;
239 static struct line_subseg *last_line_subseg;
240
001ae1a4 241 struct line_seg **ps, *s;
220e750f 242 struct line_subseg **pss, *ss;
fac0d250 243
220e750f
RH
244 if (seg == last_seg && subseg == last_subseg)
245 return last_line_subseg;
246
001ae1a4 247 for (ps = &all_segs; (s = *ps) != NULL; ps = &s->next)
220e750f
RH
248 if (s->seg == seg)
249 goto found_seg;
250
251 s = (struct line_seg *) xmalloc (sizeof (*s));
001ae1a4 252 s->next = NULL;
220e750f
RH
253 s->seg = seg;
254 s->head = NULL;
001ae1a4 255 *ps = s;
220e750f
RH
256
257 found_seg:
258 for (pss = &s->head; (ss = *pss) != NULL ; pss = &ss->next)
fac0d250 259 {
220e750f 260 if (ss->subseg == subseg)
ee515fb7 261 goto found_subseg;
220e750f
RH
262 if (ss->subseg > subseg)
263 break;
fac0d250 264 }
220e750f
RH
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;
fac0d250
RH
279}
280
07a53e5c
RH
281/* Record an entry for LOC occurring at LABEL. */
282
283static void
284dwarf2_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
436d9e46 299/* Record an entry for LOC occurring at OFS within the current fragment. */
353e2c69 300
220e750f 301void
a2e22468 302dwarf2_gen_line_info (addressT ofs, struct dwarf2_line_info *loc)
fac0d250 303{
1ea5c325
MS
304 static unsigned int line = -1;
305 static unsigned int filenum = -1;
220e750f 306
07a53e5c
RH
307 symbolS *sym;
308
220e750f
RH
309 /* Early out for as-yet incomplete location information. */
310 if (loc->filenum == 0 || loc->line == 0)
311 return;
312
ffa554ed
GK
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. */
d1a6c242 317 if (debug_type == DEBUG_DWARF2
ffa554ed 318 && line == loc->line && filenum == loc->filenum)
1ea5c325
MS
319 return;
320
321 line = loc->line;
322 filenum = loc->filenum;
323
07a53e5c
RH
324 sym = symbol_temp_new (now_seg, ofs, frag_now);
325 dwarf2_gen_line_info_1 (sym, loc);
220e750f 326}
fac0d250 327
ecea7679
RH
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
220e750f 333void
a2e22468 334dwarf2_where (struct dwarf2_line_info *line)
220e750f
RH
335{
336 if (debug_type == DEBUG_DWARF2)
fac0d250 337 {
220e750f
RH
338 char *filename;
339 as_where (&filename, &line->line);
a7ed1ca2 340 line->filenum = get_filenum (filename, 0);
220e750f 341 line->column = 0;
bd0eb99b 342 line->flags = DWARF2_FLAG_IS_STMT;
ecea7679 343 line->isa = current.isa;
fac0d250 344 }
220e750f
RH
345 else
346 *line = current;
fac0d250
RH
347}
348
ecea7679
RH
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
352void
353dwarf2_set_isa (unsigned int isa)
354{
355 current.isa = isa;
356}
357
220e750f
RH
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. */
353e2c69 362
220e750f 363void
a2e22468 364dwarf2_emit_insn (int size)
fac0d250 365{
220e750f 366 struct dwarf2_line_info loc;
fac0d250 367
1eee4adc 368 if (dwarf2_loc_directive_seen)
1080e97d
L
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;
1080e97d 376 }
b6675117 377 else if (debug_type != DEBUG_DWARF2)
220e750f 378 return;
b6675117 379 else
bd0eb99b 380 dwarf2_where (&loc);
b6675117 381
220e750f 382 dwarf2_gen_line_info (frag_now_fix () - size, &loc);
661ba50f
BW
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
391void
392dwarf2_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)
1eee4adc 397 dwarf2_loc_directive_seen = FALSE;
bd0eb99b
RH
398
399 current.flags &= ~(DWARF2_FLAG_BASIC_BLOCK
400 | DWARF2_FLAG_PROLOGUE_END
401 | DWARF2_FLAG_EPILOGUE_BEGIN);
220e750f 402}
fac0d250 403
07a53e5c
RH
404/* Called for each (preferably code) label. If dwarf2_loc_mark_labels
405 is enabled, emit a basic block marker. */
406
407void
408dwarf2_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
00462d01 422 loc = current;
07a53e5c
RH
423
424 loc.flags |= DWARF2_FLAG_BASIC_BLOCK;
425
00462d01 426 dwarf2_consume_line_info ();
07a53e5c
RH
427 dwarf2_gen_line_info_1 (label, &loc);
428}
429
a7ed1ca2
NC
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. */
220e750f
RH
433
434static unsigned int
a2e22468 435get_filenum (const char *filename, unsigned int num)
220e750f 436{
a7ed1ca2
NC
437 static unsigned int last_used, last_used_dir_len;
438 const char *file;
439 size_t dir_len;
440 unsigned int i, dir;
220e750f 441
a7ed1ca2
NC
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 }
220e750f 455
a7ed1ca2
NC
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)
4dde8e61 472 if (strncmp (filename, dirs[dir], dir_len) == 0
a7ed1ca2
NC
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
88b4ca40 496 && files[i].filename
a7ed1ca2
NC
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;
220e750f
RH
506
507 if (i >= files_allocated)
fac0d250 508 {
249e3833
RH
509 unsigned int old = files_allocated;
510
220e750f
RH
511 files_allocated = i + 32;
512 files = (struct file_entry *)
ee515fb7 513 xrealloc (files, (i + 32) * sizeof (struct file_entry));
249e3833
RH
514
515 memset (files + old, 0, (i + 32 - old) * sizeof (struct file_entry));
fac0d250
RH
516 }
517
a7ed1ca2
NC
518 files[i].filename = num ? file : xstrdup (file);
519 files[i].dir = dir;
10cd14b4
AM
520 if (files_in_use < i + 1)
521 files_in_use = i + 1;
220e750f 522 last_used = i;
a7ed1ca2 523 last_used_dir_len = dir_len;
220e750f
RH
524
525 return i;
526}
fac0d250 527
ecb4347a
DJ
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
220e750f 531
ecb4347a
DJ
532 If an entry is added to the file table, return a pointer to the filename. */
533
534char *
a2e22468 535dwarf2_directive_file (int dummy ATTRIBUTE_UNUSED)
220e750f
RH
536{
537 offsetT num;
e46d99eb 538 char *filename;
220e750f
RH
539 int filename_len;
540
541 /* Continue to accept a bare string and pass it off. */
542 SKIP_WHITESPACE ();
543 if (*input_line_pointer == '"')
fac0d250 544 {
220e750f 545 s_app_file (0);
ecb4347a 546 return NULL;
fac0d250
RH
547 }
548
220e750f
RH
549 num = get_absolute_expression ();
550 filename = demand_copy_C_string (&filename_len);
bd0eb99b
RH
551 if (filename == NULL)
552 return NULL;
220e750f
RH
553 demand_empty_rest_of_line ();
554
249e3833 555 if (num < 1)
fac0d250 556 {
0e389e77 557 as_bad (_("file number less than one"));
ecb4347a 558 return NULL;
fac0d250
RH
559 }
560
0e1a166b 561 if (num < (int) files_in_use && files[num].filename != 0)
220e750f 562 {
0e389e77 563 as_bad (_("file number %ld already allocated"), (long) num);
ecb4347a 564 return NULL;
249e3833 565 }
220e750f 566
a7ed1ca2 567 get_filenum (filename, num);
ecb4347a
DJ
568
569 return filename;
fac0d250
RH
570}
571
220e750f 572void
a2e22468 573dwarf2_directive_loc (int dummy ATTRIBUTE_UNUSED)
220e750f 574{
ecea7679
RH
575 offsetT filenum, line;
576
851feff8
DJ
577 /* If we see two .loc directives in a row, force the first one to be
578 output now. */
1eee4adc 579 if (dwarf2_loc_directive_seen && debug_type != DEBUG_DWARF2)
851feff8
DJ
580 dwarf2_emit_insn (0);
581
ecea7679
RH
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);
56487c55 610 INSERT_DIR_SEPARATOR (cp, dir_len);
ecea7679
RH
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
220e750f 621 SKIP_WHITESPACE ();
ecea7679
RH
622 if (ISDIGIT (*input_line_pointer))
623 {
624 current.column = get_absolute_expression ();
625 SKIP_WHITESPACE ();
626 }
627
628 while (ISALPHA (*input_line_pointer))
220e750f 629 {
bd0eb99b
RH
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
ecea7679
RH
660 {
661 as_bad (_("is_stmt value not 0 or 1"));
662 return;
663 }
bd0eb99b
RH
664 }
665 else if (strcmp (p, "isa") == 0)
666 {
667 *input_line_pointer = c;
668 value = get_absolute_expression ();
ecea7679 669 if (value >= 0)
bd0eb99b 670 current.isa = value;
ecea7679
RH
671 else
672 {
673 as_bad (_("isa number less than zero"));
674 return;
675 }
bd0eb99b
RH
676 }
677 else
678 {
ecea7679 679 as_bad (_("unknown .loc sub-directive `%s'"), p);
bd0eb99b 680 *input_line_pointer = c;
bd0eb99b
RH
681 return;
682 }
683
ecea7679 684 SKIP_WHITESPACE ();
bd0eb99b
RH
685 }
686
687 demand_empty_rest_of_line ();
1eee4adc 688 dwarf2_loc_directive_seen = TRUE;
220e750f 689}
07a53e5c
RH
690
691void
692dwarf2_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}
220e750f
RH
707\f
708static struct frag *
a2e22468 709first_frag_for_seg (segT seg)
220e750f 710{
c9049d30 711 return seg_info (seg)->frchainP->frch_root;
220e750f
RH
712}
713
714static struct frag *
a2e22468 715last_frag_for_seg (segT seg)
220e750f 716{
c9049d30 717 frchainS *f = seg_info (seg)->frchainP;
220e750f 718
c9049d30
AM
719 while (f->frch_next != NULL)
720 f = f->frch_next;
220e750f 721
c9049d30 722 return f->frch_last;
220e750f
RH
723}
724\f
725/* Emit a single byte into the current segment. */
726
727static inline void
a2e22468 728out_byte (int byte)
220e750f
RH
729{
730 FRAG_APPEND_1_CHAR (byte);
731}
732
733/* Emit a statement program opcode into the current segment. */
734
735static inline void
a2e22468 736out_opcode (int opc)
220e750f
RH
737{
738 out_byte (opc);
739}
740
741/* Emit a two-byte word into the current segment. */
742
743static inline void
a2e22468 744out_two (int data)
220e750f
RH
745{
746 md_number_to_chars (frag_more (2), data, 2);
747}
748
749/* Emit a four byte word into the current segment. */
750
751static inline void
a2e22468 752out_four (int data)
220e750f
RH
753{
754 md_number_to_chars (frag_more (4), data, 4);
755}
756
757/* Emit an unsigned "little-endian base 128" number. */
758
fac0d250 759static void
a2e22468 760out_uleb128 (addressT value)
220e750f
RH
761{
762 output_leb128 (frag_more (sizeof_leb128 (value, 0)), value, 0);
763}
764
1737851b
BW
765/* Emit a signed "little-endian base 128" number. */
766
767static void
768out_sleb128 (addressT value)
769{
770 output_leb128 (frag_more (sizeof_leb128 (value, 1)), value, 1);
771}
772
220e750f
RH
773/* Emit a tuple for .debug_abbrev. */
774
775static inline void
a2e22468 776out_abbrev (int name, int form)
fac0d250 777{
220e750f
RH
778 out_uleb128 (name);
779 out_uleb128 (form);
780}
fac0d250 781
220e750f 782/* Get the size of a fragment. */
fac0d250 783
220e750f 784static offsetT
c9049d30 785get_frag_fix (fragS *frag, segT seg)
220e750f
RH
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. */
c9049d30 795 for (fr = seg_info (seg)->frchainP; fr; fr = fr->frch_next)
220e750f 796 if (fr->frch_last == frag)
c5c0a210 797 return (char *) obstack_next_free (&fr->frch_obstack) - frag->fr_literal;
220e750f
RH
798
799 abort ();
800}
fac0d250 801
220e750f 802/* Set an absolute address (may result in a relocation entry). */
fac0d250 803
220e750f 804static void
07a53e5c 805out_set_addr (symbolS *sym)
220e750f
RH
806{
807 expressionS expr;
9e3af0e7 808
fac0d250 809 out_opcode (DW_LNS_extended_op);
220e750f 810 out_uleb128 (sizeof_address + 1);
fac0d250
RH
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;
220e750f 816 emit_expr (&expr, sizeof_address);
fac0d250
RH
817}
818
a3b75434 819#if DWARF2_LINE_MIN_INSN_LENGTH > 1
a2e22468 820static void scale_addr_delta (addressT *);
c8970b4b 821
a3b75434 822static void
d7342424 823scale_addr_delta (addressT *addr_delta)
a3b75434
DD
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
220e750f
RH
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.
353e2c69 840
220e750f
RH
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
845static int
a2e22468 846size_inc_line_addr (int line_delta, addressT addr_delta)
fac0d250 847{
220e750f
RH
848 unsigned int tmp, opcode;
849 int len = 0;
fac0d250 850
220e750f 851 /* Scale the address delta by the minimum instruction length. */
a3b75434 852 scale_addr_delta (&addr_delta);
220e750f
RH
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)
fac0d250 858 {
220e750f
RH
859 if (addr_delta == MAX_SPECIAL_ADDR_DELTA)
860 len = 1;
fac0d250 861 else
220e750f
RH
862 len = 1 + sizeof_leb128 (addr_delta, 0);
863 return len + 3;
fac0d250 864 }
fac0d250 865
220e750f
RH
866 /* Bias the line delta by the base. */
867 tmp = line_delta - DWARF2_LINE_BASE;
fac0d250 868
220e750f
RH
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 }
fac0d250 877
220e750f
RH
878 /* Bias the opcode by the special opcode base. */
879 tmp += DWARF2_LINE_OPCODE_BASE;
353e2c69 880
220e750f
RH
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}
fac0d250 903
220e750f 904static void
a2e22468 905emit_inc_line_addr (int line_delta, addressT addr_delta, char *p, int len)
220e750f
RH
906{
907 unsigned int tmp, opcode;
908 int need_copy = 0;
909 char *end = p + len;
fac0d250 910
07a53e5c
RH
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
220e750f 915 /* Scale the address delta by the minimum instruction length. */
a3b75434
DD
916 scale_addr_delta (&addr_delta);
917
220e750f
RH
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)
fac0d250 922 {
220e750f
RH
923 if (addr_delta == MAX_SPECIAL_ADDR_DELTA)
924 *p++ = DW_LNS_const_add_pc;
925 else
fac0d250 926 {
220e750f
RH
927 *p++ = DW_LNS_advance_pc;
928 p += output_leb128 (p, addr_delta, 0);
fac0d250 929 }
220e750f
RH
930
931 *p++ = DW_LNS_extended_op;
932 *p++ = 1;
933 *p++ = DW_LNE_end_sequence;
934 goto done;
fac0d250
RH
935 }
936
220e750f
RH
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)
fac0d250 943 {
220e750f
RH
944 *p++ = DW_LNS_advance_line;
945 p += output_leb128 (p, line_delta, 1);
fac0d250 946
220e750f
RH
947 line_delta = 0;
948 tmp = 0 - DWARF2_LINE_BASE;
949 need_copy = 1;
950 }
fac0d250 951
bd0eb99b
RH
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
220e750f
RH
960 /* Bias the opcode by the special opcode base. */
961 tmp += DWARF2_LINE_OPCODE_BASE;
fac0d250 962
220e750f
RH
963 /* Avoid overflow when addr_delta is large. */
964 if (addr_delta < 256 + MAX_SPECIAL_ADDR_DELTA)
fac0d250 965 {
220e750f
RH
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)
fac0d250 977 {
220e750f
RH
978 *p++ = DW_LNS_const_add_pc;
979 *p++ = opcode;
980 goto done;
fac0d250
RH
981 }
982 }
220e750f
RH
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;
fac0d250 990 else
220e750f 991 *p++ = tmp;
fac0d250 992
220e750f
RH
993 done:
994 assert (p == end);
995}
a8316fe2 996
220e750f 997/* Handy routine to combine calls to the above two routines. */
e1c05f12 998
220e750f 999static void
a2e22468 1000out_inc_line_addr (int line_delta, addressT addr_delta)
220e750f
RH
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}
9de8d8f1 1005
1737851b
BW
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
1011static void
1012out_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
220e750f
RH
1045/* Generate a variant frag that we can use to relax address/line
1046 increments between fragments of the target segment. */
9e3af0e7 1047
220e750f 1048static void
07a53e5c 1049relax_inc_line_addr (int line_delta, symbolS *to_sym, symbolS *from_sym)
220e750f 1050{
220e750f
RH
1051 expressionS expr;
1052 int max_chars;
6576f0b5 1053
220e750f
RH
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;
fac0d250 1058
220e750f
RH
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);
fac0d250 1062
220e750f
RH
1063 frag_var (rs_dwarf2dbg, max_chars, max_chars, 1,
1064 make_expr_symbol (&expr), line_delta, NULL);
1065}
fac0d250 1066
220e750f
RH
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. */
fac0d250 1070
220e750f 1071int
a2e22468 1072dwarf2dbg_estimate_size_before_relax (fragS *frag)
220e750f
RH
1073{
1074 offsetT addr_delta;
1075 int size;
fac0d250 1076
6386f3a7 1077 addr_delta = resolve_symbol_value (frag->fr_symbol);
220e750f 1078 size = size_inc_line_addr (frag->fr_offset, addr_delta);
fac0d250 1079
220e750f 1080 frag->fr_subtype = size;
fac0d250 1081
220e750f
RH
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
1089int
a2e22468 1090dwarf2dbg_relax_frag (fragS *frag)
220e750f
RH
1091{
1092 int old_size, new_size;
fac0d250 1093
220e750f
RH
1094 old_size = frag->fr_subtype;
1095 new_size = dwarf2dbg_estimate_size_before_relax (frag);
ee515fb7 1096
220e750f 1097 return new_size - old_size;
fac0d250
RH
1098}
1099
220e750f
RH
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
1104void
a2e22468 1105dwarf2dbg_convert_frag (fragS *frag)
fac0d250 1106{
220e750f
RH
1107 offsetT addr_diff;
1108
6386f3a7 1109 addr_diff = resolve_symbol_value (frag->fr_symbol);
fac0d250 1110
220e750f
RH
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. */
bccba5f0 1114 assert (frag->fr_var >= (int) frag->fr_subtype);
fac0d250 1115
ee515fb7 1116 emit_inc_line_addr (frag->fr_offset, addr_diff,
220e750f
RH
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
1128static void
a2e22468 1129process_entries (segT seg, struct line_entry *e)
220e750f
RH
1130{
1131 unsigned filenum = 1;
1132 unsigned line = 1;
1133 unsigned column = 0;
bd0eb99b
RH
1134 unsigned isa = 0;
1135 unsigned flags = DWARF2_LINE_DEFAULT_IS_STMT ? DWARF2_FLAG_IS_STMT : 0;
07a53e5c
RH
1136 fragS *last_frag = NULL, *frag;
1137 addressT last_frag_ofs = 0, frag_ofs;
fead5cd9 1138 symbolS *last_lab = NULL, *lab;
220e750f
RH
1139 struct line_entry *next;
1140
fead5cd9 1141 do
fac0d250 1142 {
07a53e5c 1143 int line_delta;
220e750f
RH
1144
1145 if (filenum != e->loc.filenum)
fac0d250 1146 {
220e750f
RH
1147 filenum = e->loc.filenum;
1148 out_opcode (DW_LNS_set_file);
1149 out_uleb128 (filenum);
220e750f
RH
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);
220e750f
RH
1157 }
1158
bd0eb99b
RH
1159 if (isa != e->loc.isa)
1160 {
1161 isa = e->loc.isa;
1162 out_opcode (DW_LNS_set_isa);
1163 out_uleb128 (isa);
bd0eb99b
RH
1164 }
1165
1166 if ((e->loc.flags ^ flags) & DWARF2_FLAG_IS_STMT)
220e750f
RH
1167 {
1168 flags = e->loc.flags;
1169 out_opcode (DW_LNS_negate_stmt);
220e750f
RH
1170 }
1171
bd0eb99b 1172 if (e->loc.flags & DWARF2_FLAG_BASIC_BLOCK)
07a53e5c 1173 out_opcode (DW_LNS_set_basic_block);
220e750f 1174
bd0eb99b 1175 if (e->loc.flags & DWARF2_FLAG_PROLOGUE_END)
07a53e5c 1176 out_opcode (DW_LNS_set_prologue_end);
bd0eb99b
RH
1177
1178 if (e->loc.flags & DWARF2_FLAG_EPILOGUE_BEGIN)
07a53e5c 1179 out_opcode (DW_LNS_set_epilogue_begin);
bd0eb99b 1180
fb81275c
JM
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. */
07a53e5c
RH
1185 line_delta = e->loc.line - line;
1186 lab = e->label;
1187 frag = symbol_get_frag (lab);
1188 frag_ofs = S_GET_VALUE (lab);
220e750f 1189
07a53e5c 1190 if (last_frag == NULL)
220e750f 1191 {
07a53e5c
RH
1192 out_set_addr (lab);
1193 out_inc_line_addr (line_delta, 0);
220e750f 1194 }
1737851b
BW
1195 else if (DWARF2_USE_FIXED_ADVANCE_PC)
1196 out_fixed_inc_line_addr (line_delta, lab, last_lab);
07a53e5c
RH
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;
220e750f
RH
1206
1207 next = e->next;
1208 free (e);
1209 e = next;
fac0d250 1210 }
fead5cd9 1211 while (e);
353e2c69 1212
220e750f 1213 /* Emit a DW_LNE_end_sequence for the end of the section. */
07a53e5c 1214 frag = last_frag_for_seg (seg);
c9049d30 1215 frag_ofs = get_frag_fix (frag, seg);
1737851b
BW
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)
07a53e5c 1222 out_inc_line_addr (INT_MAX, frag_ofs - last_frag_ofs);
220e750f 1223 else
07a53e5c
RH
1224 {
1225 lab = symbol_temp_new (seg, frag_ofs, frag);
1226 relax_inc_line_addr (INT_MAX, lab, last_lab);
1227 }
fac0d250
RH
1228}
1229
220e750f
RH
1230/* Emit the directory and file tables for .debug_line. */
1231
fac0d250 1232static void
a2e22468 1233out_file_list (void)
fac0d250
RH
1234{
1235 size_t size;
3d6b762c 1236 const char *dir;
fac0d250 1237 char *cp;
220e750f
RH
1238 unsigned int i;
1239
a7ed1ca2
NC
1240 /* Emit directory list. */
1241 for (i = 1; i < dirs_in_use; ++i)
1242 {
3d6b762c
JM
1243 dir = remap_debug_filename (dirs[i]);
1244 size = strlen (dir) + 1;
a7ed1ca2 1245 cp = frag_more (size);
3d6b762c 1246 memcpy (cp, dir, size);
a7ed1ca2
NC
1247 }
1248 /* Terminate it. */
220e750f 1249 out_byte ('\0');
fac0d250 1250
220e750f 1251 for (i = 1; i < files_in_use; ++i)
fac0d250 1252 {
249e3833
RH
1253 if (files[i].filename == NULL)
1254 {
0e389e77 1255 as_bad (_("unassigned file number %ld"), (long) i);
88b4ca40
RH
1256 /* Prevent a crash later, particularly for file 1. */
1257 files[i].filename = "";
249e3833
RH
1258 continue;
1259 }
1260
220e750f 1261 size = strlen (files[i].filename) + 1;
fac0d250 1262 cp = frag_more (size);
220e750f 1263 memcpy (cp, files[i].filename, size);
fac0d250 1264
220e750f 1265 out_uleb128 (files[i].dir); /* directory number */
fac0d250
RH
1266 out_uleb128 (0); /* last modification timestamp */
1267 out_uleb128 (0); /* filesize */
1268 }
353e2c69
KH
1269
1270 /* Terminate filename list. */
1271 out_byte (0);
fac0d250
RH
1272}
1273
220e750f
RH
1274/* Emit the collected .debug_line data. */
1275
1276static void
a2e22468 1277out_debug_line (segT line_seg)
220e750f
RH
1278{
1279 expressionS expr;
1280 symbolS *line_start;
1281 symbolS *prologue_end;
1282 symbolS *line_end;
1283 struct line_seg *s;
14e777e0
KB
1284 enum dwarf2_format d2f;
1285 int sizeof_offset;
220e750f
RH
1286
1287 subseg_set (line_seg, 0);
1288
b7d6ed97
RH
1289 line_start = symbol_temp_new_now ();
1290 prologue_end = symbol_temp_make ();
1291 line_end = symbol_temp_make ();
220e750f
RH
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;
14e777e0
KB
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 }
220e750f
RH
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);
14e777e0 1331 emit_expr (&expr, sizeof_offset);
220e750f
RH
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 */
bd0eb99b
RH
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 */
220e750f
RH
1353
1354 out_file_list ();
1355
b7d6ed97 1356 symbol_set_value_now (prologue_end);
220e750f
RH
1357
1358 /* For each section, emit a statement program. */
ee515fb7 1359 for (s = all_segs; s; s = s->next)
220e750f
RH
1360 process_entries (s->seg, s->head->head);
1361
b7d6ed97 1362 symbol_set_value_now (line_end);
220e750f
RH
1363}
1364
802f5d9e
NC
1365static void
1366out_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
220e750f
RH
1413/* Emit data for .debug_aranges. */
1414
58b5739a 1415static void
a2e22468 1416out_debug_aranges (segT aranges_seg, segT info_seg)
fac0d250 1417{
220e750f
RH
1418 unsigned int addr_size = sizeof_address;
1419 addressT size, skip;
1420 struct line_seg *s;
1421 expressionS expr;
1422 char *p;
fac0d250 1423
220e750f 1424 size = 4 + 2 + 4 + 1 + 1;
fac0d250 1425
ee515fb7
KH
1426 skip = 2 * addr_size - (size & (2 * addr_size - 1));
1427 if (skip == 2 * addr_size)
220e750f
RH
1428 skip = 0;
1429 size += skip;
fac0d250 1430
ee515fb7
KH
1431 for (s = all_segs; s; s = s->next)
1432 size += 2 * addr_size;
fac0d250 1433
ee515fb7 1434 size += 2 * addr_size;
fac0d250 1435
220e750f 1436 subseg_set (aranges_seg, 0);
fac0d250 1437
220e750f
RH
1438 /* Length of the compilation unit. */
1439 out_four (size - 4);
fac0d250 1440
220e750f
RH
1441 /* Version. */
1442 out_two (2);
4dc7ead9 1443
220e750f 1444 /* Offset to .debug_info. */
6174d9c8
RH
1445 /* ??? sizeof_offset */
1446 TC_DWARF2_EMIT_OFFSET (section_symbol (info_seg), 4);
220e750f
RH
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)
ee515fb7 1456 frag_align (ffs (2 * addr_size) - 1, 0, 0);
4dc7ead9 1457
ee515fb7 1458 for (s = all_segs; s; s = s->next)
220e750f
RH
1459 {
1460 fragS *frag;
1461 symbolS *beg, *end;
1462
1463 frag = first_frag_for_seg (s->seg);
b7d6ed97 1464 beg = symbol_temp_new (s->seg, 0, frag);
220e750f
RH
1465 s->text_start = beg;
1466
1467 frag = last_frag_for_seg (s->seg);
c9049d30 1468 end = symbol_temp_new (s->seg, get_frag_fix (frag, s->seg), frag);
220e750f
RH
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 }
4dc7ead9 1482
220e750f
RH
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);
4dc7ead9
RH
1486}
1487
220e750f
RH
1488/* Emit data for .debug_abbrev. Note that this must be kept in
1489 sync with out_debug_info below. */
fac0d250 1490
220e750f 1491static void
a2e22468 1492out_debug_abbrev (segT abbrev_seg)
220e750f
RH
1493{
1494 subseg_set (abbrev_seg, 0);
fac0d250 1495
220e750f
RH
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)
4dc7ead9 1501 {
220e750f
RH
1502 out_abbrev (DW_AT_low_pc, DW_FORM_addr);
1503 out_abbrev (DW_AT_high_pc, DW_FORM_addr);
1504 }
802f5d9e
NC
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 }
48b91938 1512 out_abbrev (DW_AT_name, DW_FORM_string);
220e750f
RH
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);
a987bfc9
RH
1517
1518 /* Terminate the abbreviations for this compilation unit. */
1519 out_byte (0);
220e750f 1520}
4dc7ead9 1521
220e750f 1522/* Emit a description of this compilation unit for .debug_info. */
4dc7ead9 1523
220e750f 1524static void
802f5d9e 1525out_debug_info (segT info_seg, segT abbrev_seg, segT line_seg, segT ranges_seg)
220e750f
RH
1526{
1527 char producer[128];
3d6b762c
JM
1528 const char *comp_dir;
1529 const char *dirname;
220e750f
RH
1530 expressionS expr;
1531 symbolS *info_start;
1532 symbolS *info_end;
1533 char *p;
1534 int len;
14e777e0
KB
1535 enum dwarf2_format d2f;
1536 int sizeof_offset;
4dc7ead9 1537
220e750f 1538 subseg_set (info_seg, 0);
4dc7ead9 1539
b7d6ed97
RH
1540 info_start = symbol_temp_new_now ();
1541 info_end = symbol_temp_make ();
4dc7ead9 1542
220e750f
RH
1543 /* Compilation Unit length. */
1544 expr.X_op = O_subtract;
1545 expr.X_add_symbol = info_end;
1546 expr.X_op_symbol = info_start;
14e777e0
KB
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 }
4dc7ead9 1572
220e750f
RH
1573 /* DWARF version. */
1574 out_two (2);
4dc7ead9 1575
220e750f 1576 /* .debug_abbrev offset */
6174d9c8 1577 TC_DWARF2_EMIT_OFFSET (section_symbol (abbrev_seg), sizeof_offset);
4dc7ead9 1578
220e750f
RH
1579 /* Target address size. */
1580 out_byte (sizeof_address);
fac0d250 1581
220e750f
RH
1582 /* DW_TAG_compile_unit DIE abbrev */
1583 out_uleb128 (1);
fac0d250 1584
220e750f 1585 /* DW_AT_stmt_list */
6174d9c8
RH
1586 /* ??? sizeof_offset */
1587 TC_DWARF2_EMIT_OFFSET (section_symbol (line_seg), 4);
fac0d250 1588
802f5d9e 1589 /* These two attributes are emitted if all of the code is contiguous. */
220e750f 1590 if (all_segs->next == NULL)
58b5739a 1591 {
220e750f
RH
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);
58b5739a 1603 }
802f5d9e
NC
1604 else
1605 {
eb1fe072
NC
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);
802f5d9e 1609 }
58b5739a 1610
48b91938
RH
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 ();
a7ed1ca2
NC
1617 if (files[1].dir)
1618 {
3d6b762c
JM
1619 dirname = remap_debug_filename (dirs[files[1].dir]);
1620 len = strlen (dirname);
a7ed1ca2 1621 p = frag_more (len + 1);
3d6b762c 1622 memcpy (p, dirname, len);
56487c55 1623 INSERT_DIR_SEPARATOR (p, len);
a7ed1ca2 1624 }
48b91938
RH
1625 len = strlen (files[1].filename) + 1;
1626 p = frag_more (len);
1627 memcpy (p, files[1].filename, len);
1628
220e750f 1629 /* DW_AT_comp_dir */
3d6b762c 1630 comp_dir = remap_debug_filename (getpwd ());
220e750f
RH
1631 len = strlen (comp_dir) + 1;
1632 p = frag_more (len);
1633 memcpy (p, comp_dir, len);
fac0d250 1634
220e750f
RH
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);
fac0d250 1640
220e750f
RH
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
b7d6ed97 1645 symbol_set_value_now (info_end);
fac0d250
RH
1646}
1647
c6cb92c5
NS
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
fac0d250 1656void
a2e22468 1657dwarf2_finish (void)
fac0d250 1658{
220e750f
RH
1659 segT line_seg;
1660 struct line_seg *s;
c6cb92c5
NS
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);
fac0d250 1666
c6cb92c5
NS
1667 if (!all_segs && emit_other_sections)
1668 /* There is no line information and no non-empty .debug_info
1669 section. */
220e750f 1670 return;
fac0d250 1671
220e750f 1672 /* Calculate the size of an address for the target machine. */
9605f328 1673 sizeof_address = DWARF2_ADDR_SIZE (stdoutput);
fac0d250 1674
220e750f
RH
1675 /* Create and switch to the line number section. */
1676 line_seg = subseg_new (".debug_line", 0);
8a7140c3 1677 bfd_set_section_flags (stdoutput, line_seg, SEC_READONLY | SEC_DEBUGGING);
fac0d250 1678
220e750f 1679 /* For each subsection, chain the debug entries together. */
ee515fb7 1680 for (s = all_segs; s; s = s->next)
fac0d250 1681 {
220e750f
RH
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 }
fac0d250 1690 }
85a39694 1691
220e750f 1692 out_debug_line (line_seg);
85a39694 1693
c6cb92c5
NS
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)
220e750f
RH
1698 {
1699 segT abbrev_seg;
220e750f 1700 segT aranges_seg;
802f5d9e 1701 segT ranges_seg;
4dc7ead9 1702
c6cb92c5
NS
1703 assert (all_segs);
1704
220e750f
RH
1705 info_seg = subseg_new (".debug_info", 0);
1706 abbrev_seg = subseg_new (".debug_abbrev", 0);
1707 aranges_seg = subseg_new (".debug_aranges", 0);
ef99799a 1708
8a7140c3
NC
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);
ef99799a 1715
ee515fb7 1716 record_alignment (aranges_seg, ffs (2 * sizeof_address) - 1);
ef99799a 1717
802f5d9e
NC
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
220e750f
RH
1729 out_debug_aranges (aranges_seg, info_seg);
1730 out_debug_abbrev (abbrev_seg);
802f5d9e 1731 out_debug_info (info_seg, abbrev_seg, line_seg, ranges_seg);
220e750f 1732 }
85a39694 1733}
This page took 0.43836 seconds and 4 git commands to generate.