OSDN Git Service

* dwarf2dbg.h (dwarf2_loc_directive_seen): New.
[pf3gnuchains/pf3gnuchains4x.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 bfd_boolean dwarf2_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 (dwarf2_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     dwarf2_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 (dwarf2_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   dwarf2_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 }