gas/dw2gencfi.c formatting
[external/binutils.git] / gas / dw2gencfi.c
1 /* dw2gencfi.c - Support for generating Dwarf2 CFI information.
2    Copyright (C) 2003-2017 Free Software Foundation, Inc.
3    Contributed by Michal Ludvig <mludvig@suse.cz>
4
5    This file is part of GAS, the GNU Assembler.
6
7    GAS is free software; you can redistribute it and/or modify
8    it under the terms of the GNU General Public License as published by
9    the Free Software Foundation; either version 3, or (at your option)
10    any later version.
11
12    GAS is distributed in the hope that it will be useful,
13    but WITHOUT ANY WARRANTY; without even the implied warranty of
14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15    GNU General Public License for more details.
16
17    You should have received a copy of the GNU General Public License
18    along with GAS; see the file COPYING.  If not, write to the Free
19    Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
20    02110-1301, USA.  */
21
22 #include "as.h"
23 #include "dw2gencfi.h"
24 #include "subsegs.h"
25 #include "dwarf2dbg.h"
26
27 #ifdef TARGET_USE_CFIPOP
28
29 /* By default, use difference expressions if DIFF_EXPR_OK is defined.  */
30 #ifndef CFI_DIFF_EXPR_OK
31 # ifdef DIFF_EXPR_OK
32 #  define CFI_DIFF_EXPR_OK 1
33 # else
34 #  define CFI_DIFF_EXPR_OK 0
35 # endif
36 #endif
37
38 #ifndef CFI_DIFF_LSDA_OK
39 #define CFI_DIFF_LSDA_OK CFI_DIFF_EXPR_OK
40 #endif
41
42 #if CFI_DIFF_EXPR_OK == 1 && CFI_DIFF_LSDA_OK == 0
43 # error "CFI_DIFF_EXPR_OK should imply CFI_DIFF_LSDA_OK"
44 #endif
45
46 /* We re-use DWARF2_LINE_MIN_INSN_LENGTH for the code alignment field
47    of the CIE.  Default to 1 if not otherwise specified.  */
48 #ifndef DWARF2_LINE_MIN_INSN_LENGTH
49 #define DWARF2_LINE_MIN_INSN_LENGTH 1
50 #endif
51
52 /* By default, use 32-bit relocations from .eh_frame into .text.  */
53 #ifndef DWARF2_FDE_RELOC_SIZE
54 #define DWARF2_FDE_RELOC_SIZE 4
55 #endif
56
57 /* By default, use a read-only .eh_frame section.  */
58 #ifndef DWARF2_EH_FRAME_READ_ONLY
59 #define DWARF2_EH_FRAME_READ_ONLY SEC_READONLY
60 #endif
61
62 #ifndef EH_FRAME_ALIGNMENT
63 #define EH_FRAME_ALIGNMENT (bfd_get_arch_size (stdoutput) == 64 ? 3 : 2)
64 #endif
65
66 #ifndef tc_cfi_frame_initial_instructions
67 #define tc_cfi_frame_initial_instructions() ((void)0)
68 #endif
69
70 #ifndef tc_cfi_startproc
71 # define tc_cfi_startproc() ((void)0)
72 #endif
73
74 #ifndef tc_cfi_endproc
75 # define tc_cfi_endproc(fde) ((void) (fde))
76 #endif
77
78 #define EH_FRAME_LINKONCE (SUPPORT_FRAME_LINKONCE || compact_eh)
79
80 #ifndef DWARF2_FORMAT
81 #define DWARF2_FORMAT(SEC) dwarf2_format_32bit
82 #endif
83
84 #ifndef DWARF2_ADDR_SIZE
85 #define DWARF2_ADDR_SIZE(bfd) (bfd_arch_bits_per_address (bfd) / 8)
86 #endif
87
88 #if MULTIPLE_FRAME_SECTIONS
89 #define CUR_SEG(structp) structp->cur_seg
90 #define SET_CUR_SEG(structp, seg) structp->cur_seg = seg
91 #define HANDLED(structp) structp->handled
92 #define SET_HANDLED(structp, val) structp->handled = val
93 #else
94 #define CUR_SEG(structp) NULL
95 #define SET_CUR_SEG(structp, seg) (void) (0 && seg)
96 #define HANDLED(structp) 0
97 #define SET_HANDLED(structp, val) (void) (0 && val)
98 #endif
99
100 #ifndef tc_cfi_reloc_for_encoding
101 #define tc_cfi_reloc_for_encoding(e) BFD_RELOC_NONE
102 #endif
103
104 /* Private segment collection list.  */
105 struct dwcfi_seg_list
106 {
107   segT   seg;
108   int    subseg;
109   char * seg_name;
110 };
111
112 #ifdef SUPPORT_COMPACT_EH
113 static bfd_boolean compact_eh;
114 #else
115 #define compact_eh 0
116 #endif
117
118 static struct hash_control *dwcfi_hash;
119 \f
120 /* Emit a single byte into the current segment.  */
121
122 static inline void
123 out_one (int byte)
124 {
125   FRAG_APPEND_1_CHAR (byte);
126 }
127
128 /* Emit a two-byte word into the current segment.  */
129
130 static inline void
131 out_two (int data)
132 {
133   md_number_to_chars (frag_more (2), data, 2);
134 }
135
136 /* Emit a four byte word into the current segment.  */
137
138 static inline void
139 out_four (int data)
140 {
141   md_number_to_chars (frag_more (4), data, 4);
142 }
143
144 /* Emit an unsigned "little-endian base 128" number.  */
145
146 static void
147 out_uleb128 (addressT value)
148 {
149   output_leb128 (frag_more (sizeof_leb128 (value, 0)), value, 0);
150 }
151
152 /* Emit an unsigned "little-endian base 128" number.  */
153
154 static void
155 out_sleb128 (offsetT value)
156 {
157   output_leb128 (frag_more (sizeof_leb128 (value, 1)), value, 1);
158 }
159
160 static offsetT
161 encoding_size (unsigned char encoding)
162 {
163   if (encoding == DW_EH_PE_omit)
164     return 0;
165   switch (encoding & 0x7)
166     {
167     case 0:
168       return bfd_get_arch_size (stdoutput) == 64 ? 8 : 4;
169     case DW_EH_PE_udata2:
170       return 2;
171     case DW_EH_PE_udata4:
172       return 4;
173     case DW_EH_PE_udata8:
174       return 8;
175     default:
176       abort ();
177     }
178 }
179
180 /* Emit expression EXP in ENCODING.  If EMIT_ENCODING is true, first
181    emit a byte containing ENCODING.  */
182
183 static void
184 emit_expr_encoded (expressionS *exp, int encoding, bfd_boolean emit_encoding)
185 {
186   offsetT size = encoding_size (encoding);
187   bfd_reloc_code_real_type code;
188
189   if (encoding == DW_EH_PE_omit)
190     return;
191
192   if (emit_encoding)
193     out_one (encoding);
194
195   code = tc_cfi_reloc_for_encoding (encoding);
196   if (code != BFD_RELOC_NONE)
197     {
198       reloc_howto_type *howto = bfd_reloc_type_lookup (stdoutput, code);
199       char *p = frag_more (size);
200       md_number_to_chars (p, 0, size);
201       fix_new (frag_now, p - frag_now->fr_literal, size, exp->X_add_symbol,
202                exp->X_add_number, howto->pc_relative, code);
203     }
204   else if ((encoding & 0x70) == DW_EH_PE_pcrel)
205     {
206 #if CFI_DIFF_EXPR_OK
207       expressionS tmp = *exp;
208       tmp.X_op = O_subtract;
209       tmp.X_op_symbol = symbol_temp_new_now ();
210       emit_expr (&tmp, size);
211 #elif defined (tc_cfi_emit_pcrel_expr)
212       tc_cfi_emit_pcrel_expr (exp, size);
213 #else
214       abort ();
215 #endif
216     }
217   else
218     emit_expr (exp, size);
219 }
220 \f
221 /* Build based on segment the derived .debug_...
222    segment name containing origin segment's postfix name part.  */
223
224 static char *
225 get_debugseg_name (segT seg, const char *base_name)
226 {
227   const char *name;
228
229   if (!seg)
230     name = "";
231   else
232     {
233       const char * dollar;
234       const char * dot;
235
236       name = bfd_get_section_name (stdoutput, seg);
237
238       dollar = strchr (name, '$');
239       dot = strchr (name + 1, '.');
240
241       if (!dollar && !dot)
242         {
243           if (!strcmp (base_name, ".eh_frame_entry")
244               && strcmp (name, ".text") != 0)
245             return concat (base_name, ".", name, NULL);
246
247           name = "";
248         }
249       else if (!dollar)
250         name = dot;
251       else if (!dot)
252         name = dollar;
253       else if (dot < dollar)
254         name = dot;
255       else
256         name = dollar;
257     }
258
259   return concat (base_name, name, NULL);
260 }
261
262 /* Allocate a dwcfi_seg_list structure.  */
263
264 static struct dwcfi_seg_list *
265 alloc_debugseg_item (segT seg, int subseg, char *name)
266 {
267   struct dwcfi_seg_list *r;
268
269   r = (struct dwcfi_seg_list *)
270     xmalloc (sizeof (struct dwcfi_seg_list) + strlen (name));
271   r->seg = seg;
272   r->subseg = subseg;
273   r->seg_name = name;
274   return r;
275 }
276
277 static segT
278 is_now_linkonce_segment (void)
279 {
280   if (compact_eh)
281     return now_seg;
282
283   if ((bfd_get_section_flags (stdoutput, now_seg)
284        & (SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD
285           | SEC_LINK_DUPLICATES_ONE_ONLY | SEC_LINK_DUPLICATES_SAME_SIZE
286           | SEC_LINK_DUPLICATES_SAME_CONTENTS)) != 0)
287     return now_seg;
288   return NULL;
289 }
290
291 /* Generate debug... segment with same linkonce properties
292    of based segment.  */
293
294 static segT
295 make_debug_seg (segT cseg, char *name, int sflags)
296 {
297   segT save_seg = now_seg;
298   int save_subseg = now_subseg;
299   segT r;
300   flagword flags;
301
302   r = subseg_new (name, 0);
303
304   /* Check if code segment is marked as linked once.  */
305   if (!cseg)
306     flags = 0;
307   else
308     flags = bfd_get_section_flags (stdoutput, cseg)
309       & (SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD
310          | SEC_LINK_DUPLICATES_ONE_ONLY | SEC_LINK_DUPLICATES_SAME_SIZE
311          | SEC_LINK_DUPLICATES_SAME_CONTENTS);
312
313   /* Add standard section flags.  */
314   flags |= sflags;
315
316   /* Apply possibly linked once flags to new generated segment, too.  */
317   if (!bfd_set_section_flags (stdoutput, r, flags))
318     as_bad (_("bfd_set_section_flags: %s"),
319             bfd_errmsg (bfd_get_error ()));
320
321   /* Restore to previous segment.  */
322   if (save_seg != NULL)
323     subseg_set (save_seg, save_subseg);
324   return r;
325 }
326
327 static void
328 dwcfi_hash_insert (const char *name, struct dwcfi_seg_list *item)
329 {
330   const char *error_string;
331
332   if ((error_string = hash_jam (dwcfi_hash, name, (char *) item)))
333     as_fatal (_("Inserting \"%s\" into structure table failed: %s"),
334               name, error_string);
335 }
336
337 static struct dwcfi_seg_list *
338 dwcfi_hash_find (char *name)
339 {
340   return (struct dwcfi_seg_list *) hash_find (dwcfi_hash, name);
341 }
342
343 static struct dwcfi_seg_list *
344 dwcfi_hash_find_or_make (segT cseg, const char *base_name, int flags)
345 {
346   struct dwcfi_seg_list *item;
347   char *name;
348
349   /* Initialize dwcfi_hash once.  */
350   if (!dwcfi_hash)
351     dwcfi_hash = hash_new ();
352
353   name = get_debugseg_name (cseg, base_name);
354
355   item = dwcfi_hash_find (name);
356   if (!item)
357     {
358       item = alloc_debugseg_item (make_debug_seg (cseg, name, flags), 0, name);
359
360       dwcfi_hash_insert (item->seg_name, item);
361     }
362   else
363     free (name);
364
365   return item;
366 }
367
368 /* ??? Share this with dwarf2cfg.c.  */
369 #ifndef TC_DWARF2_EMIT_OFFSET
370 #define TC_DWARF2_EMIT_OFFSET  generic_dwarf2_emit_offset
371
372 /* Create an offset to .dwarf2_*.  */
373
374 static void
375 generic_dwarf2_emit_offset (symbolS *symbol, unsigned int size)
376 {
377   expressionS exp;
378
379   exp.X_op = O_symbol;
380   exp.X_add_symbol = symbol;
381   exp.X_add_number = 0;
382   emit_expr (&exp, size);
383 }
384 #endif
385
386 struct cfi_escape_data
387 {
388   struct cfi_escape_data *next;
389   expressionS exp;
390 };
391
392 struct cie_entry
393 {
394   struct cie_entry *next;
395 #if MULTIPLE_FRAME_SECTIONS
396   segT cur_seg;
397 #endif
398   symbolS *start_address;
399   unsigned int return_column;
400   unsigned int signal_frame;
401   unsigned char fde_encoding;
402   unsigned char per_encoding;
403   unsigned char lsda_encoding;
404   expressionS personality;
405   struct cfi_insn_data *first, *last;
406 };
407
408 /* List of FDE entries.  */
409
410 struct fde_entry *all_fde_data;
411 static struct fde_entry **last_fde_data = &all_fde_data;
412
413 /* List of CIEs so that they could be reused.  */
414 static struct cie_entry *cie_root;
415
416 /* Stack of old CFI data, for save/restore.  */
417 struct cfa_save_data
418 {
419   struct cfa_save_data *next;
420   offsetT cfa_offset;
421 };
422
423 /* Current open FDE entry.  */
424 struct frch_cfi_data
425 {
426   struct fde_entry *cur_fde_data;
427   symbolS *last_address;
428   offsetT cur_cfa_offset;
429   struct cfa_save_data *cfa_save_stack;
430 };
431 \f
432 /* Construct a new FDE structure and add it to the end of the fde list.  */
433
434 static struct fde_entry *
435 alloc_fde_entry (void)
436 {
437   struct fde_entry *fde = XCNEW (struct fde_entry);
438
439   frchain_now->frch_cfi_data = XCNEW (struct frch_cfi_data);
440   frchain_now->frch_cfi_data->cur_fde_data = fde;
441   *last_fde_data = fde;
442   last_fde_data = &fde->next;
443   SET_CUR_SEG (fde, is_now_linkonce_segment ());
444   SET_HANDLED (fde, 0);
445   fde->last = &fde->data;
446   fde->return_column = DWARF2_DEFAULT_RETURN_COLUMN;
447   fde->per_encoding = DW_EH_PE_omit;
448   fde->lsda_encoding = DW_EH_PE_omit;
449   fde->eh_header_type = EH_COMPACT_UNKNOWN;
450
451   return fde;
452 }
453
454 /* The following functions are available for a backend to construct its
455    own unwind information, usually from legacy unwind directives.  */
456
457 /* Construct a new INSN structure and add it to the end of the insn list
458    for the currently active FDE.  */
459
460 static bfd_boolean cfi_sections_set = FALSE;
461 static int cfi_sections = CFI_EMIT_eh_frame;
462 int all_cfi_sections = 0;
463 static struct fde_entry *last_fde;
464
465 static struct cfi_insn_data *
466 alloc_cfi_insn_data (void)
467 {
468   struct cfi_insn_data *insn = XCNEW (struct cfi_insn_data);
469   struct fde_entry *cur_fde_data = frchain_now->frch_cfi_data->cur_fde_data;
470
471   *cur_fde_data->last = insn;
472   cur_fde_data->last = &insn->next;
473   SET_CUR_SEG (insn, is_now_linkonce_segment ());
474   return insn;
475 }
476
477 /* Construct a new FDE structure that begins at LABEL.  */
478
479 void
480 cfi_new_fde (symbolS *label)
481 {
482   struct fde_entry *fde = alloc_fde_entry ();
483   fde->start_address = label;
484   frchain_now->frch_cfi_data->last_address = label;
485 }
486
487 /* End the currently open FDE.  */
488
489 void
490 cfi_end_fde (symbolS *label)
491 {
492   frchain_now->frch_cfi_data->cur_fde_data->end_address = label;
493   free (frchain_now->frch_cfi_data);
494   frchain_now->frch_cfi_data = NULL;
495 }
496
497 /* Set the return column for the current FDE.  */
498
499 void
500 cfi_set_return_column (unsigned regno)
501 {
502   frchain_now->frch_cfi_data->cur_fde_data->return_column = regno;
503 }
504
505 void
506 cfi_set_sections (void)
507 {
508   frchain_now->frch_cfi_data->cur_fde_data->sections = all_cfi_sections;
509   cfi_sections_set = TRUE;
510 }
511
512 /* Universal functions to store new instructions.  */
513
514 static void
515 cfi_add_CFA_insn (int insn)
516 {
517   struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
518
519   insn_ptr->insn = insn;
520 }
521
522 static void
523 cfi_add_CFA_insn_reg (int insn, unsigned regno)
524 {
525   struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
526
527   insn_ptr->insn = insn;
528   insn_ptr->u.r = regno;
529 }
530
531 static void
532 cfi_add_CFA_insn_offset (int insn, offsetT offset)
533 {
534   struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
535
536   insn_ptr->insn = insn;
537   insn_ptr->u.i = offset;
538 }
539
540 static void
541 cfi_add_CFA_insn_reg_reg (int insn, unsigned reg1, unsigned reg2)
542 {
543   struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
544
545   insn_ptr->insn = insn;
546   insn_ptr->u.rr.reg1 = reg1;
547   insn_ptr->u.rr.reg2 = reg2;
548 }
549
550 static void
551 cfi_add_CFA_insn_reg_offset (int insn, unsigned regno, offsetT offset)
552 {
553   struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
554
555   insn_ptr->insn = insn;
556   insn_ptr->u.ri.reg = regno;
557   insn_ptr->u.ri.offset = offset;
558 }
559
560 /* Add a CFI insn to advance the PC from the last address to LABEL.  */
561
562 void
563 cfi_add_advance_loc (symbolS *label)
564 {
565   struct cfi_insn_data *insn = alloc_cfi_insn_data ();
566
567   insn->insn = DW_CFA_advance_loc;
568   insn->u.ll.lab1 = frchain_now->frch_cfi_data->last_address;
569   insn->u.ll.lab2 = label;
570
571   frchain_now->frch_cfi_data->last_address = label;
572 }
573
574 /* Add a CFI insn to label the current position in the CFI segment.  */
575
576 void
577 cfi_add_label (const char *name)
578 {
579   unsigned int len = strlen (name) + 1;
580   struct cfi_insn_data *insn = alloc_cfi_insn_data ();
581
582   insn->insn = CFI_label;
583   obstack_grow (&notes, name, len);
584   insn->u.sym_name = (char *) obstack_finish (&notes);
585 }
586
587 /* Add a DW_CFA_offset record to the CFI data.  */
588
589 void
590 cfi_add_CFA_offset (unsigned regno, offsetT offset)
591 {
592   unsigned int abs_data_align;
593
594   gas_assert (DWARF2_CIE_DATA_ALIGNMENT != 0);
595   cfi_add_CFA_insn_reg_offset (DW_CFA_offset, regno, offset);
596
597   abs_data_align = (DWARF2_CIE_DATA_ALIGNMENT < 0
598                     ? -DWARF2_CIE_DATA_ALIGNMENT : DWARF2_CIE_DATA_ALIGNMENT);
599   if (offset % abs_data_align)
600     as_bad (_("register save offset not a multiple of %u"), abs_data_align);
601 }
602
603 /* Add a DW_CFA_val_offset record to the CFI data.  */
604
605 void
606 cfi_add_CFA_val_offset (unsigned regno, offsetT offset)
607 {
608   unsigned int abs_data_align;
609
610   gas_assert (DWARF2_CIE_DATA_ALIGNMENT != 0);
611   cfi_add_CFA_insn_reg_offset (DW_CFA_val_offset, regno, offset);
612
613   abs_data_align = (DWARF2_CIE_DATA_ALIGNMENT < 0
614                     ? -DWARF2_CIE_DATA_ALIGNMENT : DWARF2_CIE_DATA_ALIGNMENT);
615   if (offset % abs_data_align)
616     as_bad (_("register save offset not a multiple of %u"), abs_data_align);
617 }
618
619 /* Add a DW_CFA_def_cfa record to the CFI data.  */
620
621 void
622 cfi_add_CFA_def_cfa (unsigned regno, offsetT offset)
623 {
624   cfi_add_CFA_insn_reg_offset (DW_CFA_def_cfa, regno, offset);
625   frchain_now->frch_cfi_data->cur_cfa_offset = offset;
626 }
627
628 /* Add a DW_CFA_register record to the CFI data.  */
629
630 void
631 cfi_add_CFA_register (unsigned reg1, unsigned reg2)
632 {
633   cfi_add_CFA_insn_reg_reg (DW_CFA_register, reg1, reg2);
634 }
635
636 /* Add a DW_CFA_def_cfa_register record to the CFI data.  */
637
638 void
639 cfi_add_CFA_def_cfa_register (unsigned regno)
640 {
641   cfi_add_CFA_insn_reg (DW_CFA_def_cfa_register, regno);
642 }
643
644 /* Add a DW_CFA_def_cfa_offset record to the CFI data.  */
645
646 void
647 cfi_add_CFA_def_cfa_offset (offsetT offset)
648 {
649   cfi_add_CFA_insn_offset (DW_CFA_def_cfa_offset, offset);
650   frchain_now->frch_cfi_data->cur_cfa_offset = offset;
651 }
652
653 void
654 cfi_add_CFA_restore (unsigned regno)
655 {
656   cfi_add_CFA_insn_reg (DW_CFA_restore, regno);
657 }
658
659 void
660 cfi_add_CFA_undefined (unsigned regno)
661 {
662   cfi_add_CFA_insn_reg (DW_CFA_undefined, regno);
663 }
664
665 void
666 cfi_add_CFA_same_value (unsigned regno)
667 {
668   cfi_add_CFA_insn_reg (DW_CFA_same_value, regno);
669 }
670
671 void
672 cfi_add_CFA_remember_state (void)
673 {
674   struct cfa_save_data *p;
675
676   cfi_add_CFA_insn (DW_CFA_remember_state);
677
678   p = XNEW (struct cfa_save_data);
679   p->cfa_offset = frchain_now->frch_cfi_data->cur_cfa_offset;
680   p->next = frchain_now->frch_cfi_data->cfa_save_stack;
681   frchain_now->frch_cfi_data->cfa_save_stack = p;
682 }
683
684 void
685 cfi_add_CFA_restore_state (void)
686 {
687   struct cfa_save_data *p;
688
689   cfi_add_CFA_insn (DW_CFA_restore_state);
690
691   p = frchain_now->frch_cfi_data->cfa_save_stack;
692   if (p)
693     {
694       frchain_now->frch_cfi_data->cur_cfa_offset = p->cfa_offset;
695       frchain_now->frch_cfi_data->cfa_save_stack = p->next;
696       free (p);
697     }
698   else
699     as_bad (_("CFI state restore without previous remember"));
700 }
701
702 \f
703 /* Parse CFI assembler directives.  */
704
705 static void dot_cfi (int);
706 static void dot_cfi_escape (int);
707 static void dot_cfi_sections (int);
708 static void dot_cfi_startproc (int);
709 static void dot_cfi_endproc (int);
710 static void dot_cfi_fde_data (int);
711 static void dot_cfi_personality (int);
712 static void dot_cfi_personality_id (int);
713 static void dot_cfi_lsda (int);
714 static void dot_cfi_val_encoded_addr (int);
715 static void dot_cfi_inline_lsda (int);
716 static void dot_cfi_label (int);
717
718 const pseudo_typeS cfi_pseudo_table[] =
719   {
720     { "cfi_sections", dot_cfi_sections, 0 },
721     { "cfi_startproc", dot_cfi_startproc, 0 },
722     { "cfi_endproc", dot_cfi_endproc, 0 },
723     { "cfi_fde_data", dot_cfi_fde_data, 0 },
724     { "cfi_def_cfa", dot_cfi, DW_CFA_def_cfa },
725     { "cfi_def_cfa_register", dot_cfi, DW_CFA_def_cfa_register },
726     { "cfi_def_cfa_offset", dot_cfi, DW_CFA_def_cfa_offset },
727     { "cfi_adjust_cfa_offset", dot_cfi, CFI_adjust_cfa_offset },
728     { "cfi_offset", dot_cfi, DW_CFA_offset },
729     { "cfi_rel_offset", dot_cfi, CFI_rel_offset },
730     { "cfi_register", dot_cfi, DW_CFA_register },
731     { "cfi_return_column", dot_cfi, CFI_return_column },
732     { "cfi_restore", dot_cfi, DW_CFA_restore },
733     { "cfi_undefined", dot_cfi, DW_CFA_undefined },
734     { "cfi_same_value", dot_cfi, DW_CFA_same_value },
735     { "cfi_remember_state", dot_cfi, DW_CFA_remember_state },
736     { "cfi_restore_state", dot_cfi, DW_CFA_restore_state },
737     { "cfi_window_save", dot_cfi, DW_CFA_GNU_window_save },
738     { "cfi_escape", dot_cfi_escape, 0 },
739     { "cfi_signal_frame", dot_cfi, CFI_signal_frame },
740     { "cfi_personality", dot_cfi_personality, 0 },
741     { "cfi_personality_id", dot_cfi_personality_id, 0 },
742     { "cfi_lsda", dot_cfi_lsda, 0 },
743     { "cfi_val_encoded_addr", dot_cfi_val_encoded_addr, 0 },
744     { "cfi_inline_lsda", dot_cfi_inline_lsda, 0 },
745     { "cfi_label", dot_cfi_label, 0 },
746     { "cfi_val_offset", dot_cfi, DW_CFA_val_offset },
747     { NULL, NULL, 0 }
748   };
749
750 static void
751 cfi_parse_separator (void)
752 {
753   SKIP_WHITESPACE ();
754   if (*input_line_pointer == ',')
755     input_line_pointer++;
756   else
757     as_bad (_("missing separator"));
758 }
759
760 #ifndef tc_parse_to_dw2regnum
761 static void
762 tc_parse_to_dw2regnum (expressionS *exp)
763 {
764 # ifdef tc_regname_to_dw2regnum
765   SKIP_WHITESPACE ();
766   if (is_name_beginner (*input_line_pointer)
767       || (*input_line_pointer == '%'
768           && is_name_beginner (*++input_line_pointer)))
769     {
770       char *name, c;
771
772       c = get_symbol_name (& name);
773
774       exp->X_op = O_constant;
775       exp->X_add_number = tc_regname_to_dw2regnum (name);
776
777       restore_line_pointer (c);
778     }
779   else
780 # endif
781     expression_and_evaluate (exp);
782 }
783 #endif
784
785 static unsigned
786 cfi_parse_reg (void)
787 {
788   int regno;
789   expressionS exp;
790
791   tc_parse_to_dw2regnum (&exp);
792   switch (exp.X_op)
793     {
794     case O_register:
795     case O_constant:
796       regno = exp.X_add_number;
797       break;
798
799     default:
800       regno = -1;
801       break;
802     }
803
804   if (regno < 0)
805     {
806       as_bad (_("bad register expression"));
807       regno = 0;
808     }
809
810   return regno;
811 }
812
813 static offsetT
814 cfi_parse_const (void)
815 {
816   return get_absolute_expression ();
817 }
818
819 static void
820 dot_cfi (int arg)
821 {
822   offsetT offset;
823   unsigned reg1, reg2;
824
825   if (frchain_now->frch_cfi_data == NULL)
826     {
827       as_bad (_("CFI instruction used without previous .cfi_startproc"));
828       ignore_rest_of_line ();
829       return;
830     }
831
832   /* If the last address was not at the current PC, advance to current.  */
833   if (symbol_get_frag (frchain_now->frch_cfi_data->last_address) != frag_now
834       || (S_GET_VALUE (frchain_now->frch_cfi_data->last_address)
835           != frag_now_fix ()))
836     cfi_add_advance_loc (symbol_temp_new_now ());
837
838   switch (arg)
839     {
840     case DW_CFA_offset:
841       reg1 = cfi_parse_reg ();
842       cfi_parse_separator ();
843       offset = cfi_parse_const ();
844       cfi_add_CFA_offset (reg1, offset);
845       break;
846
847     case DW_CFA_val_offset:
848       reg1 = cfi_parse_reg ();
849       cfi_parse_separator ();
850       offset = cfi_parse_const ();
851       cfi_add_CFA_val_offset (reg1, offset);
852       break;
853
854     case CFI_rel_offset:
855       reg1 = cfi_parse_reg ();
856       cfi_parse_separator ();
857       offset = cfi_parse_const ();
858       cfi_add_CFA_offset (reg1,
859                           offset - frchain_now->frch_cfi_data->cur_cfa_offset);
860       break;
861
862     case DW_CFA_def_cfa:
863       reg1 = cfi_parse_reg ();
864       cfi_parse_separator ();
865       offset = cfi_parse_const ();
866       cfi_add_CFA_def_cfa (reg1, offset);
867       break;
868
869     case DW_CFA_register:
870       reg1 = cfi_parse_reg ();
871       cfi_parse_separator ();
872       reg2 = cfi_parse_reg ();
873       cfi_add_CFA_register (reg1, reg2);
874       break;
875
876     case DW_CFA_def_cfa_register:
877       reg1 = cfi_parse_reg ();
878       cfi_add_CFA_def_cfa_register (reg1);
879       break;
880
881     case DW_CFA_def_cfa_offset:
882       offset = cfi_parse_const ();
883       cfi_add_CFA_def_cfa_offset (offset);
884       break;
885
886     case CFI_adjust_cfa_offset:
887       offset = cfi_parse_const ();
888       cfi_add_CFA_def_cfa_offset (frchain_now->frch_cfi_data->cur_cfa_offset
889                                   + offset);
890       break;
891
892     case DW_CFA_restore:
893       for (;;)
894         {
895           reg1 = cfi_parse_reg ();
896           cfi_add_CFA_restore (reg1);
897           SKIP_WHITESPACE ();
898           if (*input_line_pointer != ',')
899             break;
900           ++input_line_pointer;
901         }
902       break;
903
904     case DW_CFA_undefined:
905       for (;;)
906         {
907           reg1 = cfi_parse_reg ();
908           cfi_add_CFA_undefined (reg1);
909           SKIP_WHITESPACE ();
910           if (*input_line_pointer != ',')
911             break;
912           ++input_line_pointer;
913         }
914       break;
915
916     case DW_CFA_same_value:
917       reg1 = cfi_parse_reg ();
918       cfi_add_CFA_same_value (reg1);
919       break;
920
921     case CFI_return_column:
922       reg1 = cfi_parse_reg ();
923       cfi_set_return_column (reg1);
924       break;
925
926     case DW_CFA_remember_state:
927       cfi_add_CFA_remember_state ();
928       break;
929
930     case DW_CFA_restore_state:
931       cfi_add_CFA_restore_state ();
932       break;
933
934     case DW_CFA_GNU_window_save:
935       cfi_add_CFA_insn (DW_CFA_GNU_window_save);
936       break;
937
938     case CFI_signal_frame:
939       frchain_now->frch_cfi_data->cur_fde_data->signal_frame = 1;
940       break;
941
942     default:
943       abort ();
944     }
945
946   demand_empty_rest_of_line ();
947 }
948
949 static void
950 dot_cfi_escape (int ignored ATTRIBUTE_UNUSED)
951 {
952   struct cfi_escape_data *head, **tail, *e;
953   struct cfi_insn_data *insn;
954
955   if (frchain_now->frch_cfi_data == NULL)
956     {
957       as_bad (_("CFI instruction used without previous .cfi_startproc"));
958       ignore_rest_of_line ();
959       return;
960     }
961
962   /* If the last address was not at the current PC, advance to current.  */
963   if (symbol_get_frag (frchain_now->frch_cfi_data->last_address) != frag_now
964       || (S_GET_VALUE (frchain_now->frch_cfi_data->last_address)
965           != frag_now_fix ()))
966     cfi_add_advance_loc (symbol_temp_new_now ());
967
968   tail = &head;
969   do
970     {
971       e = XNEW (struct cfi_escape_data);
972       do_parse_cons_expression (&e->exp, 1);
973       *tail = e;
974       tail = &e->next;
975     }
976   while (*input_line_pointer++ == ',');
977   *tail = NULL;
978
979   insn = alloc_cfi_insn_data ();
980   insn->insn = CFI_escape;
981   insn->u.esc = head;
982
983   --input_line_pointer;
984   demand_empty_rest_of_line ();
985 }
986
987 static void
988 dot_cfi_personality (int ignored ATTRIBUTE_UNUSED)
989 {
990   struct fde_entry *fde;
991   offsetT encoding;
992
993   if (frchain_now->frch_cfi_data == NULL)
994     {
995       as_bad (_("CFI instruction used without previous .cfi_startproc"));
996       ignore_rest_of_line ();
997       return;
998     }
999
1000   fde = frchain_now->frch_cfi_data->cur_fde_data;
1001   encoding = cfi_parse_const ();
1002   if (encoding == DW_EH_PE_omit)
1003     {
1004       demand_empty_rest_of_line ();
1005       fde->per_encoding = encoding;
1006       return;
1007     }
1008
1009   if ((encoding & 0xff) != encoding
1010       || ((((encoding & 0x70) != 0
1011 #if CFI_DIFF_EXPR_OK || defined tc_cfi_emit_pcrel_expr
1012             && (encoding & 0x70) != DW_EH_PE_pcrel
1013 #endif
1014             )
1015            /* leb128 can be handled, but does something actually need it?  */
1016            || (encoding & 7) == DW_EH_PE_uleb128
1017            || (encoding & 7) > DW_EH_PE_udata8)
1018           && tc_cfi_reloc_for_encoding (encoding) == BFD_RELOC_NONE))
1019     {
1020       as_bad (_("invalid or unsupported encoding in .cfi_personality"));
1021       ignore_rest_of_line ();
1022       return;
1023     }
1024
1025   if (*input_line_pointer++ != ',')
1026     {
1027       as_bad (_(".cfi_personality requires encoding and symbol arguments"));
1028       ignore_rest_of_line ();
1029       return;
1030     }
1031
1032   expression_and_evaluate (&fde->personality);
1033   switch (fde->personality.X_op)
1034     {
1035     case O_symbol:
1036       break;
1037     case O_constant:
1038       if ((encoding & 0x70) == DW_EH_PE_pcrel)
1039         encoding = DW_EH_PE_omit;
1040       break;
1041     default:
1042       encoding = DW_EH_PE_omit;
1043       break;
1044     }
1045
1046   fde->per_encoding = encoding;
1047
1048   if (encoding == DW_EH_PE_omit)
1049     {
1050       as_bad (_("wrong second argument to .cfi_personality"));
1051       ignore_rest_of_line ();
1052       return;
1053     }
1054
1055   demand_empty_rest_of_line ();
1056 }
1057
1058 static void
1059 dot_cfi_lsda (int ignored ATTRIBUTE_UNUSED)
1060 {
1061   struct fde_entry *fde;
1062   offsetT encoding;
1063
1064   if (frchain_now->frch_cfi_data == NULL)
1065     {
1066       as_bad (_("CFI instruction used without previous .cfi_startproc"));
1067       ignore_rest_of_line ();
1068       return;
1069     }
1070
1071   fde = frchain_now->frch_cfi_data->cur_fde_data;
1072   encoding = cfi_parse_const ();
1073   if (encoding == DW_EH_PE_omit)
1074     {
1075       demand_empty_rest_of_line ();
1076       fde->lsda_encoding = encoding;
1077       return;
1078     }
1079
1080   if ((encoding & 0xff) != encoding
1081       || ((((encoding & 0x70) != 0
1082 #if CFI_DIFF_LSDA_OK || defined tc_cfi_emit_pcrel_expr
1083             && (encoding & 0x70) != DW_EH_PE_pcrel
1084 #endif
1085             )
1086            /* leb128 can be handled, but does something actually need it?  */
1087            || (encoding & 7) == DW_EH_PE_uleb128
1088            || (encoding & 7) > DW_EH_PE_udata8)
1089           && tc_cfi_reloc_for_encoding (encoding) == BFD_RELOC_NONE))
1090     {
1091       as_bad (_("invalid or unsupported encoding in .cfi_lsda"));
1092       ignore_rest_of_line ();
1093       return;
1094     }
1095
1096   if (*input_line_pointer++ != ',')
1097     {
1098       as_bad (_(".cfi_lsda requires encoding and symbol arguments"));
1099       ignore_rest_of_line ();
1100       return;
1101     }
1102
1103   fde->lsda_encoding = encoding;
1104
1105   expression_and_evaluate (&fde->lsda);
1106   switch (fde->lsda.X_op)
1107     {
1108     case O_symbol:
1109       break;
1110     case O_constant:
1111       if ((encoding & 0x70) == DW_EH_PE_pcrel)
1112         encoding = DW_EH_PE_omit;
1113       break;
1114     default:
1115       encoding = DW_EH_PE_omit;
1116       break;
1117     }
1118
1119   fde->lsda_encoding = encoding;
1120
1121   if (encoding == DW_EH_PE_omit)
1122     {
1123       as_bad (_("wrong second argument to .cfi_lsda"));
1124       ignore_rest_of_line ();
1125       return;
1126     }
1127
1128   demand_empty_rest_of_line ();
1129 }
1130
1131 static void
1132 dot_cfi_val_encoded_addr (int ignored ATTRIBUTE_UNUSED)
1133 {
1134   struct cfi_insn_data *insn_ptr;
1135   offsetT encoding;
1136
1137   if (frchain_now->frch_cfi_data == NULL)
1138     {
1139       as_bad (_("CFI instruction used without previous .cfi_startproc"));
1140       ignore_rest_of_line ();
1141       return;
1142     }
1143
1144   /* If the last address was not at the current PC, advance to current.  */
1145   if (symbol_get_frag (frchain_now->frch_cfi_data->last_address) != frag_now
1146       || (S_GET_VALUE (frchain_now->frch_cfi_data->last_address)
1147           != frag_now_fix ()))
1148     cfi_add_advance_loc (symbol_temp_new_now ());
1149
1150   insn_ptr = alloc_cfi_insn_data ();
1151   insn_ptr->insn = CFI_val_encoded_addr;
1152
1153   insn_ptr->u.ea.reg = cfi_parse_reg ();
1154
1155   cfi_parse_separator ();
1156   encoding = cfi_parse_const ();
1157   if ((encoding & 0xff) != encoding
1158       || ((encoding & 0x70) != 0
1159 #if CFI_DIFF_EXPR_OK || defined tc_cfi_emit_pcrel_expr
1160           && (encoding & 0x70) != DW_EH_PE_pcrel
1161 #endif
1162           )
1163       /* leb128 can be handled, but does something actually need it?  */
1164       || (encoding & 7) == DW_EH_PE_uleb128
1165       || (encoding & 7) > DW_EH_PE_udata8)
1166     {
1167       as_bad (_("invalid or unsupported encoding in .cfi_lsda"));
1168       encoding = DW_EH_PE_omit;
1169     }
1170
1171   cfi_parse_separator ();
1172   expression_and_evaluate (&insn_ptr->u.ea.exp);
1173   switch (insn_ptr->u.ea.exp.X_op)
1174     {
1175     case O_symbol:
1176       break;
1177     case O_constant:
1178       if ((encoding & 0x70) != DW_EH_PE_pcrel)
1179         break;
1180       /* Fall through.  */
1181     default:
1182       encoding = DW_EH_PE_omit;
1183       break;
1184     }
1185
1186   insn_ptr->u.ea.encoding = encoding;
1187   if (encoding == DW_EH_PE_omit)
1188     {
1189       as_bad (_("wrong third argument to .cfi_val_encoded_addr"));
1190       ignore_rest_of_line ();
1191       return;
1192     }
1193
1194   demand_empty_rest_of_line ();
1195 }
1196
1197 static void
1198 dot_cfi_label (int ignored ATTRIBUTE_UNUSED)
1199 {
1200   char *name = read_symbol_name ();
1201
1202   if (name == NULL)
1203     return;
1204
1205   /* If the last address was not at the current PC, advance to current.  */
1206   if (symbol_get_frag (frchain_now->frch_cfi_data->last_address) != frag_now
1207       || (S_GET_VALUE (frchain_now->frch_cfi_data->last_address)
1208           != frag_now_fix ()))
1209     cfi_add_advance_loc (symbol_temp_new_now ());
1210
1211   cfi_add_label (name);
1212   free (name);
1213
1214   demand_empty_rest_of_line ();
1215 }
1216
1217 static void
1218 dot_cfi_sections (int ignored ATTRIBUTE_UNUSED)
1219 {
1220   int sections = 0;
1221
1222   SKIP_WHITESPACE ();
1223   if (is_name_beginner (*input_line_pointer) || *input_line_pointer == '"')
1224     while (1)
1225       {
1226         char * saved_ilp;
1227         char *name, c;
1228
1229         saved_ilp = input_line_pointer;
1230         c = get_symbol_name (& name);
1231
1232         if (strncmp (name, ".eh_frame", sizeof ".eh_frame") == 0
1233             && name[9] != '_')
1234           sections |= CFI_EMIT_eh_frame;
1235         else if (strncmp (name, ".debug_frame", sizeof ".debug_frame") == 0)
1236           sections |= CFI_EMIT_debug_frame;
1237 #if SUPPORT_COMPACT_EH
1238         else if (strncmp (name, ".eh_frame_entry",
1239                           sizeof ".eh_frame_entry") == 0)
1240           {
1241             compact_eh = TRUE;
1242             sections |= CFI_EMIT_eh_frame_compact;
1243           }
1244 #endif
1245 #ifdef tc_cfi_section_name
1246         else if (strcmp (name, tc_cfi_section_name) == 0)
1247           sections |= CFI_EMIT_target;
1248 #endif
1249         else
1250           {
1251             *input_line_pointer = c;
1252             input_line_pointer = saved_ilp;
1253             break;
1254           }
1255
1256         *input_line_pointer = c;
1257         SKIP_WHITESPACE_AFTER_NAME ();
1258         if (*input_line_pointer == ',')
1259           {
1260             name = input_line_pointer++;
1261             SKIP_WHITESPACE ();
1262             if (!is_name_beginner (*input_line_pointer)
1263                 && *input_line_pointer != '"')
1264               {
1265                 input_line_pointer = name;
1266                 break;
1267               }
1268           }
1269         else if (is_name_beginner (*input_line_pointer)
1270                  || *input_line_pointer == '"')
1271           break;
1272       }
1273
1274   demand_empty_rest_of_line ();
1275   if (cfi_sections_set
1276       && (sections & (CFI_EMIT_eh_frame | CFI_EMIT_eh_frame_compact))
1277       && ((cfi_sections & (CFI_EMIT_eh_frame | CFI_EMIT_eh_frame_compact))
1278           != (sections & (CFI_EMIT_eh_frame | CFI_EMIT_eh_frame_compact))))
1279     as_bad (_("inconsistent uses of .cfi_sections"));
1280   cfi_sections = sections;
1281 }
1282
1283 static void
1284 dot_cfi_startproc (int ignored ATTRIBUTE_UNUSED)
1285 {
1286   int simple = 0;
1287
1288   if (frchain_now->frch_cfi_data != NULL)
1289     {
1290       as_bad (_("previous CFI entry not closed (missing .cfi_endproc)"));
1291       ignore_rest_of_line ();
1292       return;
1293     }
1294
1295   cfi_new_fde (symbol_temp_new_now ());
1296
1297   SKIP_WHITESPACE ();
1298   if (is_name_beginner (*input_line_pointer) || *input_line_pointer == '"')
1299     {
1300       char * saved_ilp = input_line_pointer;
1301       char *name, c;
1302
1303       c = get_symbol_name (& name);
1304
1305       if (strcmp (name, "simple") == 0)
1306         {
1307           simple = 1;
1308           restore_line_pointer (c);
1309         }
1310       else
1311         input_line_pointer = saved_ilp;
1312     }
1313   demand_empty_rest_of_line ();
1314
1315   cfi_sections_set = TRUE;
1316   all_cfi_sections |= cfi_sections;
1317   cfi_set_sections ();
1318   frchain_now->frch_cfi_data->cur_cfa_offset = 0;
1319   if (!simple)
1320     tc_cfi_frame_initial_instructions ();
1321
1322   if ((cfi_sections & CFI_EMIT_target) != 0)
1323     tc_cfi_startproc ();
1324 }
1325
1326 static void
1327 dot_cfi_endproc (int ignored ATTRIBUTE_UNUSED)
1328 {
1329   if (frchain_now->frch_cfi_data == NULL)
1330     {
1331       as_bad (_(".cfi_endproc without corresponding .cfi_startproc"));
1332       ignore_rest_of_line ();
1333       return;
1334     }
1335
1336   last_fde = frchain_now->frch_cfi_data->cur_fde_data;
1337
1338   cfi_end_fde (symbol_temp_new_now ());
1339
1340   demand_empty_rest_of_line ();
1341
1342   cfi_sections_set = TRUE;
1343   if ((cfi_sections & CFI_EMIT_target) != 0)
1344     tc_cfi_endproc (last_fde);
1345 }
1346
1347 static segT
1348 get_cfi_seg (segT cseg, const char *base, flagword flags, int align)
1349 {
1350   /* Exclude .debug_frame sections for Compact EH.  */
1351   if (SUPPORT_FRAME_LINKONCE || ((flags & SEC_DEBUGGING) == 0 && compact_eh))
1352     {
1353       struct dwcfi_seg_list *l;
1354
1355       l = dwcfi_hash_find_or_make (cseg, base, flags);
1356
1357       cseg = l->seg;
1358       subseg_set (cseg, l->subseg);
1359     }
1360   else
1361     {
1362       cseg = subseg_new (base, 0);
1363       bfd_set_section_flags (stdoutput, cseg, flags);
1364     }
1365   record_alignment (cseg, align);
1366   return cseg;
1367 }
1368
1369 #if SUPPORT_COMPACT_EH
1370 static void
1371 dot_cfi_personality_id (int ignored ATTRIBUTE_UNUSED)
1372 {
1373   struct fde_entry *fde;
1374
1375   if (frchain_now->frch_cfi_data == NULL)
1376     {
1377       as_bad (_("CFI instruction used without previous .cfi_startproc"));
1378       ignore_rest_of_line ();
1379       return;
1380     }
1381
1382   fde = frchain_now->frch_cfi_data->cur_fde_data;
1383   fde->personality_id = cfi_parse_const ();
1384   demand_empty_rest_of_line ();
1385
1386   if (fde->personality_id == 0 || fde->personality_id > 3)
1387     {
1388       as_bad (_("wrong argument to .cfi_personality_id"));
1389       return;
1390     }
1391 }
1392
1393 static void
1394 dot_cfi_fde_data (int ignored ATTRIBUTE_UNUSED)
1395 {
1396   if (frchain_now->frch_cfi_data == NULL)
1397     {
1398       as_bad (_(".cfi_fde_data without corresponding .cfi_startproc"));
1399       ignore_rest_of_line ();
1400       return;
1401     }
1402
1403   last_fde = frchain_now->frch_cfi_data->cur_fde_data;
1404
1405   cfi_sections_set = TRUE;
1406   if ((cfi_sections & CFI_EMIT_target) != 0
1407       || (cfi_sections & CFI_EMIT_eh_frame_compact) != 0)
1408     {
1409       struct cfi_escape_data *head, **tail, *e;
1410       int num_ops = 0;
1411
1412       tail = &head;
1413       if (!is_it_end_of_statement ())
1414         {
1415           num_ops = 0;
1416           do
1417             {
1418               e = XNEW (struct cfi_escape_data);
1419               do_parse_cons_expression (&e->exp, 1);
1420               *tail = e;
1421               tail = &e->next;
1422               num_ops++;
1423             }
1424           while (*input_line_pointer++ == ',');
1425           --input_line_pointer;
1426         }
1427       *tail = NULL;
1428
1429       if (last_fde->lsda_encoding != DW_EH_PE_omit)
1430         last_fde->eh_header_type = EH_COMPACT_HAS_LSDA;
1431       else if (num_ops <= 3 && last_fde->per_encoding == DW_EH_PE_omit)
1432         last_fde->eh_header_type = EH_COMPACT_INLINE;
1433       else
1434         last_fde->eh_header_type = EH_COMPACT_OUTLINE;
1435
1436       if (last_fde->eh_header_type == EH_COMPACT_INLINE)
1437         num_ops = 3;
1438
1439       last_fde->eh_data_size = num_ops;
1440       last_fde->eh_data =  XNEWVEC (bfd_byte, num_ops);
1441       num_ops = 0;
1442       while (head)
1443         {
1444           e = head;
1445           head = e->next;
1446           last_fde->eh_data[num_ops++] = e->exp.X_add_number;
1447           free (e);
1448         }
1449       if (last_fde->eh_header_type == EH_COMPACT_INLINE)
1450         while (num_ops < 3)
1451           last_fde->eh_data[num_ops++] = tc_compact_eh_opcode_stop;
1452     }
1453
1454   demand_empty_rest_of_line ();
1455 }
1456
1457 /* Function to emit the compact unwinding opcodes stored in the
1458    fde's eh_data field.  The end of the opcode data will be
1459    padded to the value in align.  */
1460
1461 static void
1462 output_compact_unwind_data (struct fde_entry *fde, int align)
1463 {
1464   int data_size = fde->eh_data_size + 2;
1465   int align_padding;
1466   int amask;
1467   char *p;
1468
1469   fde->eh_loc = symbol_temp_new_now ();
1470
1471   p = frag_more (1);
1472   if (fde->personality_id != 0)
1473     *p = fde->personality_id;
1474   else if (fde->per_encoding != DW_EH_PE_omit)
1475     {
1476       *p = 0;
1477       emit_expr_encoded (&fde->personality, fde->per_encoding, FALSE);
1478       data_size += encoding_size (fde->per_encoding);
1479     }
1480   else
1481     *p = 1;
1482
1483   amask = (1 << align) - 1;
1484   align_padding = ((data_size + amask) & ~amask) - data_size;
1485
1486   p = frag_more (fde->eh_data_size + 1 + align_padding);
1487   memcpy (p, fde->eh_data, fde->eh_data_size);
1488   p += fde->eh_data_size;
1489
1490   while (align_padding-- > 0)
1491     *(p++) = tc_compact_eh_opcode_pad;
1492
1493   *(p++) = tc_compact_eh_opcode_stop;
1494   fde->eh_header_type = EH_COMPACT_OUTLINE_DONE;
1495 }
1496
1497 /* Handle the .cfi_inline_lsda directive.  */
1498 static void
1499 dot_cfi_inline_lsda (int ignored ATTRIBUTE_UNUSED)
1500 {
1501   segT ccseg;
1502   int align;
1503   long max_alignment = 28;
1504
1505   if (!last_fde)
1506     {
1507       as_bad (_("unexpected .cfi_inline_lsda"));
1508       ignore_rest_of_line ();
1509       return;
1510     }
1511
1512   if ((last_fde->sections & CFI_EMIT_eh_frame_compact) == 0)
1513     {
1514       as_bad (_(".cfi_inline_lsda not valid for this frame"));
1515       ignore_rest_of_line ();
1516       return;
1517     }
1518
1519   if (last_fde->eh_header_type != EH_COMPACT_UNKNOWN
1520       && last_fde->eh_header_type != EH_COMPACT_HAS_LSDA)
1521     {
1522       as_bad (_(".cfi_inline_lsda seen for frame without .cfi_lsda"));
1523       ignore_rest_of_line ();
1524       return;
1525     }
1526
1527 #ifdef md_flush_pending_output
1528   md_flush_pending_output ();
1529 #endif
1530
1531   align = get_absolute_expression ();
1532   if (align > max_alignment)
1533     {
1534       align = max_alignment;
1535       as_bad (_("Alignment too large: %d. assumed."), align);
1536     }
1537   else if (align < 0)
1538     {
1539       as_warn (_("Alignment negative: 0 assumed."));
1540       align = 0;
1541     }
1542
1543   demand_empty_rest_of_line ();
1544   ccseg = CUR_SEG (last_fde);
1545
1546   /* Open .gnu_extab section.  */
1547   get_cfi_seg (ccseg, ".gnu_extab",
1548                (SEC_ALLOC | SEC_LOAD | SEC_DATA
1549                 | DWARF2_EH_FRAME_READ_ONLY),
1550                1);
1551
1552   frag_align (align, 0, 0);
1553   record_alignment (now_seg, align);
1554   if (last_fde->eh_header_type == EH_COMPACT_HAS_LSDA)
1555     output_compact_unwind_data (last_fde, align);
1556
1557   last_fde = NULL;
1558
1559   return;
1560 }
1561 #else /* !SUPPORT_COMPACT_EH */
1562 static void
1563 dot_cfi_inline_lsda (int ignored ATTRIBUTE_UNUSED)
1564 {
1565   as_bad (_(".cfi_inline_lsda is not supported for this target"));
1566   ignore_rest_of_line ();
1567 }
1568
1569 static void
1570 dot_cfi_fde_data (int ignored ATTRIBUTE_UNUSED)
1571 {
1572   as_bad (_(".cfi_fde_data is not supported for this target"));
1573   ignore_rest_of_line ();
1574 }
1575
1576 static void
1577 dot_cfi_personality_id (int ignored ATTRIBUTE_UNUSED)
1578 {
1579   as_bad (_(".cfi_personality_id is not supported for this target"));
1580   ignore_rest_of_line ();
1581 }
1582 #endif
1583 \f
1584 static void
1585 output_cfi_insn (struct cfi_insn_data *insn)
1586 {
1587   offsetT offset;
1588   unsigned int regno;
1589
1590   switch (insn->insn)
1591     {
1592     case DW_CFA_advance_loc:
1593       {
1594         symbolS *from = insn->u.ll.lab1;
1595         symbolS *to = insn->u.ll.lab2;
1596
1597         if (symbol_get_frag (to) == symbol_get_frag (from))
1598           {
1599             addressT delta = S_GET_VALUE (to) - S_GET_VALUE (from);
1600             addressT scaled = delta / DWARF2_LINE_MIN_INSN_LENGTH;
1601
1602             if (scaled <= 0x3F)
1603               out_one (DW_CFA_advance_loc + scaled);
1604             else if (scaled <= 0xFF)
1605               {
1606                 out_one (DW_CFA_advance_loc1);
1607                 out_one (scaled);
1608               }
1609             else if (scaled <= 0xFFFF)
1610               {
1611                 out_one (DW_CFA_advance_loc2);
1612                 out_two (scaled);
1613               }
1614             else
1615               {
1616                 out_one (DW_CFA_advance_loc4);
1617                 out_four (scaled);
1618               }
1619           }
1620         else
1621           {
1622             expressionS exp;
1623
1624             exp.X_op = O_subtract;
1625             exp.X_add_symbol = to;
1626             exp.X_op_symbol = from;
1627             exp.X_add_number = 0;
1628
1629             /* The code in ehopt.c expects that one byte of the encoding
1630                is already allocated to the frag.  This comes from the way
1631                that it scans the .eh_frame section looking first for the
1632                .byte DW_CFA_advance_loc4.  */
1633             *frag_more (1) = DW_CFA_advance_loc4;
1634
1635             frag_var (rs_cfa, 4, 0, DWARF2_LINE_MIN_INSN_LENGTH << 3,
1636                       make_expr_symbol (&exp), frag_now_fix () - 1,
1637                       (char *) frag_now);
1638           }
1639       }
1640       break;
1641
1642     case DW_CFA_def_cfa:
1643       offset = insn->u.ri.offset;
1644       if (offset < 0)
1645         {
1646           out_one (DW_CFA_def_cfa_sf);
1647           out_uleb128 (insn->u.ri.reg);
1648           out_sleb128 (offset / DWARF2_CIE_DATA_ALIGNMENT);
1649         }
1650       else
1651         {
1652           out_one (DW_CFA_def_cfa);
1653           out_uleb128 (insn->u.ri.reg);
1654           out_uleb128 (offset);
1655         }
1656       break;
1657
1658     case DW_CFA_def_cfa_register:
1659     case DW_CFA_undefined:
1660     case DW_CFA_same_value:
1661       out_one (insn->insn);
1662       out_uleb128 (insn->u.r);
1663       break;
1664
1665     case DW_CFA_def_cfa_offset:
1666       offset = insn->u.i;
1667       if (offset < 0)
1668         {
1669           out_one (DW_CFA_def_cfa_offset_sf);
1670           out_sleb128 (offset / DWARF2_CIE_DATA_ALIGNMENT);
1671         }
1672       else
1673         {
1674           out_one (DW_CFA_def_cfa_offset);
1675           out_uleb128 (offset);
1676         }
1677       break;
1678
1679     case DW_CFA_restore:
1680       regno = insn->u.r;
1681       if (regno <= 0x3F)
1682         {
1683           out_one (DW_CFA_restore + regno);
1684         }
1685       else
1686         {
1687           out_one (DW_CFA_restore_extended);
1688           out_uleb128 (regno);
1689         }
1690       break;
1691
1692     case DW_CFA_offset:
1693       regno = insn->u.ri.reg;
1694       offset = insn->u.ri.offset / DWARF2_CIE_DATA_ALIGNMENT;
1695       if (offset < 0)
1696         {
1697           out_one (DW_CFA_offset_extended_sf);
1698           out_uleb128 (regno);
1699           out_sleb128 (offset);
1700         }
1701       else if (regno <= 0x3F)
1702         {
1703           out_one (DW_CFA_offset + regno);
1704           out_uleb128 (offset);
1705         }
1706       else
1707         {
1708           out_one (DW_CFA_offset_extended);
1709           out_uleb128 (regno);
1710           out_uleb128 (offset);
1711         }
1712       break;
1713
1714     case DW_CFA_val_offset:
1715       regno = insn->u.ri.reg;
1716       offset = insn->u.ri.offset / DWARF2_CIE_DATA_ALIGNMENT;
1717       if (offset < 0)
1718         {
1719           out_one (DW_CFA_val_offset_sf);
1720           out_uleb128 (regno);
1721           out_sleb128 (offset);
1722         }
1723       else
1724         {
1725           out_one (DW_CFA_val_offset);
1726           out_uleb128 (regno);
1727           out_uleb128 (offset);
1728         }
1729       break;
1730
1731     case DW_CFA_register:
1732       out_one (DW_CFA_register);
1733       out_uleb128 (insn->u.rr.reg1);
1734       out_uleb128 (insn->u.rr.reg2);
1735       break;
1736
1737     case DW_CFA_remember_state:
1738     case DW_CFA_restore_state:
1739       out_one (insn->insn);
1740       break;
1741
1742     case DW_CFA_GNU_window_save:
1743       out_one (DW_CFA_GNU_window_save);
1744       break;
1745
1746     case CFI_escape:
1747       {
1748         struct cfi_escape_data *e;
1749         for (e = insn->u.esc; e ; e = e->next)
1750           emit_expr (&e->exp, 1);
1751         break;
1752       }
1753
1754     case CFI_val_encoded_addr:
1755       {
1756         unsigned encoding = insn->u.ea.encoding;
1757         offsetT enc_size;
1758
1759         if (encoding == DW_EH_PE_omit)
1760           break;
1761         out_one (DW_CFA_val_expression);
1762         out_uleb128 (insn->u.ea.reg);
1763
1764         switch (encoding & 0x7)
1765           {
1766           case DW_EH_PE_absptr:
1767             enc_size = DWARF2_ADDR_SIZE (stdoutput);
1768             break;
1769           case DW_EH_PE_udata2:
1770             enc_size = 2;
1771             break;
1772           case DW_EH_PE_udata4:
1773             enc_size = 4;
1774             break;
1775           case DW_EH_PE_udata8:
1776             enc_size = 8;
1777             break;
1778           default:
1779             abort ();
1780           }
1781
1782         /* If the user has requested absolute encoding,
1783            then use the smaller DW_OP_addr encoding.  */
1784         if (insn->u.ea.encoding == DW_EH_PE_absptr)
1785           {
1786             out_uleb128 (1 + enc_size);
1787             out_one (DW_OP_addr);
1788           }
1789         else
1790           {
1791             out_uleb128 (1 + 1 + enc_size);
1792             out_one (DW_OP_GNU_encoded_addr);
1793             out_one (encoding);
1794
1795             if ((encoding & 0x70) == DW_EH_PE_pcrel)
1796               {
1797 #if CFI_DIFF_EXPR_OK
1798                 insn->u.ea.exp.X_op = O_subtract;
1799                 insn->u.ea.exp.X_op_symbol = symbol_temp_new_now ();
1800 #elif defined (tc_cfi_emit_pcrel_expr)
1801                 tc_cfi_emit_pcrel_expr (&insn->u.ea.exp, enc_size);
1802                 break;
1803 #else
1804                 abort ();
1805 #endif
1806               }
1807           }
1808         emit_expr (&insn->u.ea.exp, enc_size);
1809       }
1810       break;
1811
1812     case CFI_label:
1813       colon (insn->u.sym_name);
1814       break;
1815
1816     default:
1817       abort ();
1818     }
1819 }
1820
1821 static void
1822 output_cie (struct cie_entry *cie, bfd_boolean eh_frame, int align)
1823 {
1824   symbolS *after_size_address, *end_address;
1825   expressionS exp;
1826   struct cfi_insn_data *i;
1827   offsetT augmentation_size;
1828   int enc;
1829   enum dwarf2_format fmt = DWARF2_FORMAT (now_seg);
1830
1831   cie->start_address = symbol_temp_new_now ();
1832   after_size_address = symbol_temp_make ();
1833   end_address = symbol_temp_make ();
1834
1835   exp.X_op = O_subtract;
1836   exp.X_add_symbol = end_address;
1837   exp.X_op_symbol = after_size_address;
1838   exp.X_add_number = 0;
1839
1840   if (eh_frame || fmt == dwarf2_format_32bit)
1841     emit_expr (&exp, 4);                        /* Length.  */
1842   else
1843     {
1844       if (fmt == dwarf2_format_64bit)
1845         out_four (-1);
1846       emit_expr (&exp, 8);                      /* Length.  */
1847     }
1848   symbol_set_value_now (after_size_address);
1849   if (eh_frame)
1850     out_four (0);                               /* CIE id.  */
1851   else
1852     {
1853       out_four (-1);                            /* CIE id.  */
1854       if (fmt != dwarf2_format_32bit)
1855         out_four (-1);
1856     }
1857   out_one (DW_CIE_VERSION);                     /* Version.  */
1858   if (eh_frame)
1859     {
1860       out_one ('z');                            /* Augmentation.  */
1861       if (cie->per_encoding != DW_EH_PE_omit)
1862         out_one ('P');
1863       if (cie->lsda_encoding != DW_EH_PE_omit)
1864         out_one ('L');
1865       out_one ('R');
1866     }
1867   if (cie->signal_frame)
1868     out_one ('S');
1869   out_one (0);
1870   out_uleb128 (DWARF2_LINE_MIN_INSN_LENGTH);    /* Code alignment.  */
1871   out_sleb128 (DWARF2_CIE_DATA_ALIGNMENT);      /* Data alignment.  */
1872   if (DW_CIE_VERSION == 1)                      /* Return column.  */
1873     out_one (cie->return_column);
1874   else
1875     out_uleb128 (cie->return_column);
1876   if (eh_frame)
1877     {
1878       augmentation_size = 1 + (cie->lsda_encoding != DW_EH_PE_omit);
1879       if (cie->per_encoding != DW_EH_PE_omit)
1880         augmentation_size += 1 + encoding_size (cie->per_encoding);
1881       out_uleb128 (augmentation_size);          /* Augmentation size.  */
1882
1883       emit_expr_encoded (&cie->personality, cie->per_encoding, TRUE);
1884
1885       if (cie->lsda_encoding != DW_EH_PE_omit)
1886         out_one (cie->lsda_encoding);
1887     }
1888
1889   switch (DWARF2_FDE_RELOC_SIZE)
1890     {
1891     case 2:
1892       enc = DW_EH_PE_sdata2;
1893       break;
1894     case 4:
1895       enc = DW_EH_PE_sdata4;
1896       break;
1897     case 8:
1898       enc = DW_EH_PE_sdata8;
1899       break;
1900     default:
1901       abort ();
1902     }
1903 #if CFI_DIFF_EXPR_OK || defined tc_cfi_emit_pcrel_expr
1904   enc |= DW_EH_PE_pcrel;
1905 #endif
1906 #ifdef DWARF2_FDE_RELOC_ENCODING
1907   /* Allow target to override encoding.  */
1908   enc = DWARF2_FDE_RELOC_ENCODING (enc);
1909 #endif
1910   cie->fde_encoding = enc;
1911   if (eh_frame)
1912     out_one (enc);
1913
1914   if (cie->first)
1915     {
1916       for (i = cie->first; i != cie->last; i = i->next)
1917         {
1918           if (CUR_SEG (i) != CUR_SEG (cie))
1919             continue;
1920           output_cfi_insn (i);
1921         }
1922     }
1923
1924   frag_align (align, DW_CFA_nop, 0);
1925   symbol_set_value_now (end_address);
1926 }
1927
1928 static void
1929 output_fde (struct fde_entry *fde, struct cie_entry *cie,
1930             bfd_boolean eh_frame, struct cfi_insn_data *first,
1931             int align)
1932 {
1933   symbolS *after_size_address, *end_address;
1934   expressionS exp;
1935   offsetT augmentation_size;
1936   enum dwarf2_format fmt = DWARF2_FORMAT (now_seg);
1937   int offset_size;
1938   int addr_size;
1939
1940   after_size_address = symbol_temp_make ();
1941   end_address = symbol_temp_make ();
1942
1943   exp.X_op = O_subtract;
1944   exp.X_add_symbol = end_address;
1945   exp.X_op_symbol = after_size_address;
1946   exp.X_add_number = 0;
1947   if (eh_frame || fmt == dwarf2_format_32bit)
1948     offset_size = 4;
1949   else
1950     {
1951       if (fmt == dwarf2_format_64bit)
1952         out_four (-1);
1953       offset_size = 8;
1954     }
1955   emit_expr (&exp, offset_size);                /* Length.  */
1956   symbol_set_value_now (after_size_address);
1957
1958   if (eh_frame)
1959     {
1960       exp.X_op = O_subtract;
1961       exp.X_add_symbol = after_size_address;
1962       exp.X_op_symbol = cie->start_address;
1963       exp.X_add_number = 0;
1964       emit_expr (&exp, offset_size);            /* CIE offset.  */
1965     }
1966   else
1967     {
1968       TC_DWARF2_EMIT_OFFSET (cie->start_address, offset_size);
1969     }
1970
1971   exp.X_op = O_symbol;
1972   if (eh_frame)
1973     {
1974       bfd_reloc_code_real_type code
1975         = tc_cfi_reloc_for_encoding (cie->fde_encoding);
1976       if (code != BFD_RELOC_NONE)
1977         {
1978           reloc_howto_type *howto = bfd_reloc_type_lookup (stdoutput, code);
1979           char *p = frag_more (4);
1980           md_number_to_chars (p, 0, 4);
1981           fix_new (frag_now, p - frag_now->fr_literal, 4, fde->start_address,
1982                    0, howto->pc_relative, code);
1983         }
1984       else
1985         {
1986           exp.X_op = O_subtract;
1987           exp.X_add_number = 0;
1988 #if CFI_DIFF_EXPR_OK
1989           exp.X_add_symbol = fde->start_address;
1990           exp.X_op_symbol = symbol_temp_new_now ();
1991           emit_expr (&exp, DWARF2_FDE_RELOC_SIZE);      /* Code offset.  */
1992 #else
1993           exp.X_op = O_symbol;
1994           exp.X_add_symbol = fde->start_address;
1995
1996 #if defined(tc_cfi_emit_pcrel_expr)
1997           tc_cfi_emit_pcrel_expr (&exp, DWARF2_FDE_RELOC_SIZE);  /* Code offset.  */
1998 #else
1999           emit_expr (&exp, DWARF2_FDE_RELOC_SIZE);      /* Code offset.  */
2000 #endif
2001 #endif
2002         }
2003       addr_size = DWARF2_FDE_RELOC_SIZE;
2004     }
2005   else
2006     {
2007       exp.X_add_number = 0;
2008       exp.X_add_symbol = fde->start_address;
2009       addr_size = DWARF2_ADDR_SIZE (stdoutput);
2010       emit_expr (&exp, addr_size);
2011     }
2012
2013   exp.X_op = O_subtract;
2014   exp.X_add_symbol = fde->end_address;
2015   exp.X_op_symbol = fde->start_address;         /* Code length.  */
2016   exp.X_add_number = 0;
2017   emit_expr (&exp, addr_size);
2018
2019   augmentation_size = encoding_size (fde->lsda_encoding);
2020   if (eh_frame)
2021     out_uleb128 (augmentation_size);            /* Augmentation size.  */
2022
2023   emit_expr_encoded (&fde->lsda, cie->lsda_encoding, FALSE);
2024
2025   for (; first; first = first->next)
2026     if (CUR_SEG (first) == CUR_SEG (fde))
2027       output_cfi_insn (first);
2028
2029   frag_align (align, DW_CFA_nop, 0);
2030   symbol_set_value_now (end_address);
2031 }
2032
2033 static struct cie_entry *
2034 select_cie_for_fde (struct fde_entry *fde, bfd_boolean eh_frame,
2035                     struct cfi_insn_data **pfirst, int align)
2036 {
2037   struct cfi_insn_data *i, *j;
2038   struct cie_entry *cie;
2039
2040   for (cie = cie_root; cie; cie = cie->next)
2041     {
2042       if (CUR_SEG (cie) != CUR_SEG (fde))
2043         continue;
2044       if (cie->return_column != fde->return_column
2045           || cie->signal_frame != fde->signal_frame
2046           || cie->per_encoding != fde->per_encoding
2047           || cie->lsda_encoding != fde->lsda_encoding)
2048         continue;
2049       if (cie->per_encoding != DW_EH_PE_omit)
2050         {
2051           if (cie->personality.X_op != fde->personality.X_op
2052               || (cie->personality.X_add_number
2053                   != fde->personality.X_add_number))
2054             continue;
2055           switch (cie->personality.X_op)
2056             {
2057             case O_constant:
2058               if (cie->personality.X_unsigned != fde->personality.X_unsigned)
2059                 continue;
2060               break;
2061             case O_symbol:
2062               if (cie->personality.X_add_symbol
2063                   != fde->personality.X_add_symbol)
2064                 continue;
2065               break;
2066             default:
2067               abort ();
2068             }
2069         }
2070       for (i = cie->first, j = fde->data;
2071            i != cie->last && j != NULL;
2072            i = i->next, j = j->next)
2073         {
2074           if (i->insn != j->insn)
2075             goto fail;
2076           switch (i->insn)
2077             {
2078             case DW_CFA_advance_loc:
2079             case DW_CFA_remember_state:
2080               /* We reached the first advance/remember in the FDE,
2081                  but did not reach the end of the CIE list.  */
2082               goto fail;
2083
2084             case DW_CFA_offset:
2085             case DW_CFA_def_cfa:
2086               if (i->u.ri.reg != j->u.ri.reg)
2087                 goto fail;
2088               if (i->u.ri.offset != j->u.ri.offset)
2089                 goto fail;
2090               break;
2091
2092             case DW_CFA_register:
2093               if (i->u.rr.reg1 != j->u.rr.reg1)
2094                 goto fail;
2095               if (i->u.rr.reg2 != j->u.rr.reg2)
2096                 goto fail;
2097               break;
2098
2099             case DW_CFA_def_cfa_register:
2100             case DW_CFA_restore:
2101             case DW_CFA_undefined:
2102             case DW_CFA_same_value:
2103               if (i->u.r != j->u.r)
2104                 goto fail;
2105               break;
2106
2107             case DW_CFA_def_cfa_offset:
2108               if (i->u.i != j->u.i)
2109                 goto fail;
2110               break;
2111
2112             case CFI_escape:
2113             case CFI_val_encoded_addr:
2114             case CFI_label:
2115               /* Don't bother matching these for now.  */
2116               goto fail;
2117
2118             default:
2119               abort ();
2120             }
2121         }
2122
2123       /* Success if we reached the end of the CIE list, and we've either
2124          run out of FDE entries or we've encountered an advance,
2125          remember, or escape.  */
2126       if (i == cie->last
2127           && (!j
2128               || j->insn == DW_CFA_advance_loc
2129               || j->insn == DW_CFA_remember_state
2130               || j->insn == CFI_escape
2131               || j->insn == CFI_val_encoded_addr
2132               || j->insn == CFI_label))
2133         {
2134           *pfirst = j;
2135           return cie;
2136         }
2137
2138     fail:;
2139     }
2140
2141   cie = XNEW (struct cie_entry);
2142   cie->next = cie_root;
2143   cie_root = cie;
2144   SET_CUR_SEG (cie, CUR_SEG (fde));
2145   cie->return_column = fde->return_column;
2146   cie->signal_frame = fde->signal_frame;
2147   cie->per_encoding = fde->per_encoding;
2148   cie->lsda_encoding = fde->lsda_encoding;
2149   cie->personality = fde->personality;
2150   cie->first = fde->data;
2151
2152   for (i = cie->first; i ; i = i->next)
2153     if (i->insn == DW_CFA_advance_loc
2154         || i->insn == DW_CFA_remember_state
2155         || i->insn == CFI_escape
2156         || i->insn == CFI_val_encoded_addr
2157         || i->insn == CFI_label)
2158       break;
2159
2160   cie->last = i;
2161   *pfirst = i;
2162
2163   output_cie (cie, eh_frame, align);
2164
2165   return cie;
2166 }
2167
2168 #ifdef md_reg_eh_frame_to_debug_frame
2169 static void
2170 cfi_change_reg_numbers (struct cfi_insn_data *insn, segT ccseg)
2171 {
2172   for (; insn; insn = insn->next)
2173     {
2174       if (CUR_SEG (insn) != ccseg)
2175         continue;
2176       switch (insn->insn)
2177         {
2178         case DW_CFA_advance_loc:
2179         case DW_CFA_def_cfa_offset:
2180         case DW_CFA_remember_state:
2181         case DW_CFA_restore_state:
2182         case DW_CFA_GNU_window_save:
2183         case CFI_escape:
2184         case CFI_label:
2185           break;
2186
2187         case DW_CFA_def_cfa:
2188         case DW_CFA_offset:
2189           insn->u.ri.reg = md_reg_eh_frame_to_debug_frame (insn->u.ri.reg);
2190           break;
2191
2192         case DW_CFA_def_cfa_register:
2193         case DW_CFA_undefined:
2194         case DW_CFA_same_value:
2195         case DW_CFA_restore:
2196           insn->u.r = md_reg_eh_frame_to_debug_frame (insn->u.r);
2197           break;
2198
2199         case DW_CFA_register:
2200           insn->u.rr.reg1 = md_reg_eh_frame_to_debug_frame (insn->u.rr.reg1);
2201           insn->u.rr.reg2 = md_reg_eh_frame_to_debug_frame (insn->u.rr.reg2);
2202           break;
2203
2204         case CFI_val_encoded_addr:
2205           insn->u.ea.reg = md_reg_eh_frame_to_debug_frame (insn->u.ea.reg);
2206           break;
2207
2208         default:
2209           abort ();
2210         }
2211     }
2212 }
2213 #else
2214 #define cfi_change_reg_numbers(insn, cseg) do { } while (0)
2215 #endif
2216
2217 #if SUPPORT_COMPACT_EH
2218 static void
2219 cfi_emit_eh_header (symbolS *sym, bfd_vma addend)
2220 {
2221   expressionS exp;
2222
2223   exp.X_add_number = addend;
2224   exp.X_add_symbol = sym;
2225   emit_expr_encoded (&exp, DW_EH_PE_sdata4 | DW_EH_PE_pcrel, FALSE);
2226 }
2227
2228 static void
2229 output_eh_header (struct fde_entry *fde)
2230 {
2231   char *p;
2232   bfd_vma addend;
2233
2234   if (fde->eh_header_type == EH_COMPACT_INLINE)
2235     addend = 0;
2236   else
2237     addend = 1;
2238
2239   cfi_emit_eh_header (fde->start_address, addend);
2240
2241   if (fde->eh_header_type == EH_COMPACT_INLINE)
2242     {
2243       p = frag_more (4);
2244       /* Inline entries always use PR1.  */
2245       *(p++) = 1;
2246       memcpy(p, fde->eh_data, 3);
2247     }
2248   else
2249     {
2250       if (fde->eh_header_type == EH_COMPACT_LEGACY)
2251         addend = 1;
2252       else if (fde->eh_header_type == EH_COMPACT_OUTLINE
2253                || fde->eh_header_type == EH_COMPACT_OUTLINE_DONE)
2254         addend = 0;
2255       else
2256         abort ();
2257       cfi_emit_eh_header (fde->eh_loc, addend);
2258     }
2259 }
2260 #endif
2261
2262 void
2263 cfi_finish (void)
2264 {
2265   struct cie_entry *cie, *cie_next;
2266   segT cfi_seg, ccseg;
2267   struct fde_entry *fde;
2268   struct cfi_insn_data *first;
2269   int save_flag_traditional_format, seek_next_seg;
2270
2271   if (all_fde_data == 0)
2272     return;
2273
2274   cfi_sections_set = TRUE;
2275   if ((all_cfi_sections & CFI_EMIT_eh_frame) != 0
2276       || (all_cfi_sections & CFI_EMIT_eh_frame_compact) != 0)
2277     {
2278       /* Make sure check_eh_frame doesn't do anything with our output.  */
2279       save_flag_traditional_format = flag_traditional_format;
2280       flag_traditional_format = 1;
2281
2282       if (!EH_FRAME_LINKONCE)
2283         {
2284           /* Open .eh_frame section.  */
2285           cfi_seg = get_cfi_seg (NULL, ".eh_frame",
2286                                  (SEC_ALLOC | SEC_LOAD | SEC_DATA
2287                                   | DWARF2_EH_FRAME_READ_ONLY),
2288                                  EH_FRAME_ALIGNMENT);
2289 #ifdef md_fix_up_eh_frame
2290           md_fix_up_eh_frame (cfi_seg);
2291 #else
2292           (void) cfi_seg;
2293 #endif
2294         }
2295
2296       do
2297         {
2298           ccseg = NULL;
2299           seek_next_seg = 0;
2300
2301           for (cie = cie_root; cie; cie = cie_next)
2302             {
2303               cie_next = cie->next;
2304               free ((void *) cie);
2305             }
2306           cie_root = NULL;
2307
2308           for (fde = all_fde_data; fde ; fde = fde->next)
2309             {
2310               if ((fde->sections & CFI_EMIT_eh_frame) == 0
2311                   && (fde->sections & CFI_EMIT_eh_frame_compact) == 0)
2312                 continue;
2313
2314 #if SUPPORT_COMPACT_EH
2315               /* Emit a LEGACY format header if we have processed all
2316                  of the .cfi directives without encountering either inline or
2317                  out-of-line compact unwinding opcodes.  */
2318               if (fde->eh_header_type == EH_COMPACT_HAS_LSDA
2319                   || fde->eh_header_type == EH_COMPACT_UNKNOWN)
2320                 fde->eh_header_type = EH_COMPACT_LEGACY;
2321
2322               if (fde->eh_header_type != EH_COMPACT_LEGACY)
2323                 continue;
2324 #endif
2325               if (EH_FRAME_LINKONCE)
2326                 {
2327                   if (HANDLED (fde))
2328                     continue;
2329                   if (seek_next_seg && CUR_SEG (fde) != ccseg)
2330                     {
2331                       seek_next_seg = 2;
2332                       continue;
2333                     }
2334                   if (!seek_next_seg)
2335                     {
2336                       ccseg = CUR_SEG (fde);
2337                       /* Open .eh_frame section.  */
2338                       cfi_seg = get_cfi_seg (ccseg, ".eh_frame",
2339                                              (SEC_ALLOC | SEC_LOAD | SEC_DATA
2340                                               | DWARF2_EH_FRAME_READ_ONLY),
2341                                              EH_FRAME_ALIGNMENT);
2342 #ifdef md_fix_up_eh_frame
2343                       md_fix_up_eh_frame (cfi_seg);
2344 #else
2345                       (void) cfi_seg;
2346 #endif
2347                       seek_next_seg = 1;
2348                     }
2349                   SET_HANDLED (fde, 1);
2350                 }
2351
2352               if (fde->end_address == NULL)
2353                 {
2354                   as_bad (_("open CFI at the end of file; "
2355                             "missing .cfi_endproc directive"));
2356                   fde->end_address = fde->start_address;
2357                 }
2358
2359               cie = select_cie_for_fde (fde, TRUE, &first, 2);
2360               fde->eh_loc = symbol_temp_new_now ();
2361               output_fde (fde, cie, TRUE, first,
2362                           fde->next == NULL ? EH_FRAME_ALIGNMENT : 2);
2363             }
2364         }
2365       while (EH_FRAME_LINKONCE && seek_next_seg == 2);
2366
2367       if (EH_FRAME_LINKONCE)
2368         for (fde = all_fde_data; fde ; fde = fde->next)
2369           SET_HANDLED (fde, 0);
2370
2371 #if SUPPORT_COMPACT_EH
2372       if (compact_eh)
2373         {
2374           /* Create remaining out of line table entries.  */
2375           do
2376             {
2377               ccseg = NULL;
2378               seek_next_seg = 0;
2379
2380               for (fde = all_fde_data; fde ; fde = fde->next)
2381                 {
2382                   if ((fde->sections & CFI_EMIT_eh_frame) == 0
2383                       && (fde->sections & CFI_EMIT_eh_frame_compact) == 0)
2384                     continue;
2385
2386                   if (fde->eh_header_type != EH_COMPACT_OUTLINE)
2387                     continue;
2388                   if (HANDLED (fde))
2389                     continue;
2390                   if (seek_next_seg && CUR_SEG (fde) != ccseg)
2391                     {
2392                       seek_next_seg = 2;
2393                       continue;
2394                     }
2395                   if (!seek_next_seg)
2396                     {
2397                       ccseg = CUR_SEG (fde);
2398                       /* Open .gnu_extab section.  */
2399                       get_cfi_seg (ccseg, ".gnu_extab",
2400                                    (SEC_ALLOC | SEC_LOAD | SEC_DATA
2401                                     | DWARF2_EH_FRAME_READ_ONLY),
2402                                    1);
2403                       seek_next_seg = 1;
2404                     }
2405                   SET_HANDLED (fde, 1);
2406
2407                   frag_align (1, 0, 0);
2408                   record_alignment (now_seg, 1);
2409                   output_compact_unwind_data (fde, 1);
2410                 }
2411             }
2412           while (EH_FRAME_LINKONCE && seek_next_seg == 2);
2413
2414           for (fde = all_fde_data; fde ; fde = fde->next)
2415             SET_HANDLED (fde, 0);
2416
2417           /* Create index table fragments.  */
2418           do
2419             {
2420               ccseg = NULL;
2421               seek_next_seg = 0;
2422
2423               for (fde = all_fde_data; fde ; fde = fde->next)
2424                 {
2425                   if ((fde->sections & CFI_EMIT_eh_frame) == 0
2426                       && (fde->sections & CFI_EMIT_eh_frame_compact) == 0)
2427                     continue;
2428
2429                   if (HANDLED (fde))
2430                     continue;
2431                   if (seek_next_seg && CUR_SEG (fde) != ccseg)
2432                     {
2433                       seek_next_seg = 2;
2434                       continue;
2435                     }
2436                   if (!seek_next_seg)
2437                     {
2438                       ccseg = CUR_SEG (fde);
2439                       /* Open .eh_frame_entry section.  */
2440                       cfi_seg = get_cfi_seg (ccseg, ".eh_frame_entry",
2441                                              (SEC_ALLOC | SEC_LOAD | SEC_DATA
2442                                               | DWARF2_EH_FRAME_READ_ONLY),
2443                                              2);
2444                       seek_next_seg = 1;
2445                     }
2446                   SET_HANDLED (fde, 1);
2447
2448                   output_eh_header (fde);
2449                 }
2450             }
2451           while (seek_next_seg == 2);
2452
2453           for (fde = all_fde_data; fde ; fde = fde->next)
2454             SET_HANDLED (fde, 0);
2455         }
2456 #endif /* SUPPORT_COMPACT_EH */
2457
2458       flag_traditional_format = save_flag_traditional_format;
2459     }
2460
2461   cfi_sections_set = TRUE;
2462   if ((all_cfi_sections & CFI_EMIT_debug_frame) != 0)
2463     {
2464       int alignment = ffs (DWARF2_ADDR_SIZE (stdoutput)) - 1;
2465
2466       if (!SUPPORT_FRAME_LINKONCE)
2467         get_cfi_seg (NULL, ".debug_frame",
2468                      SEC_READONLY | SEC_DEBUGGING,
2469                      alignment);
2470
2471       do
2472         {
2473           ccseg = NULL;
2474           seek_next_seg = 0;
2475
2476           for (cie = cie_root; cie; cie = cie_next)
2477             {
2478               cie_next = cie->next;
2479               free ((void *) cie);
2480             }
2481           cie_root = NULL;
2482
2483           for (fde = all_fde_data; fde ; fde = fde->next)
2484             {
2485               if ((fde->sections & CFI_EMIT_debug_frame) == 0)
2486                 continue;
2487
2488               if (SUPPORT_FRAME_LINKONCE)
2489                 {
2490                   if (HANDLED (fde))
2491                     continue;
2492                   if (seek_next_seg && CUR_SEG (fde) != ccseg)
2493                     {
2494                       seek_next_seg = 2;
2495                       continue;
2496                     }
2497                   if (!seek_next_seg)
2498                     {
2499                       ccseg = CUR_SEG (fde);
2500                       /* Open .debug_frame section.  */
2501                       get_cfi_seg (ccseg, ".debug_frame",
2502                                    SEC_READONLY | SEC_DEBUGGING,
2503                                    alignment);
2504                       seek_next_seg = 1;
2505                     }
2506                   SET_HANDLED (fde, 1);
2507                 }
2508               if (fde->end_address == NULL)
2509                 {
2510                   as_bad (_("open CFI at the end of file; "
2511                             "missing .cfi_endproc directive"));
2512                   fde->end_address = fde->start_address;
2513                 }
2514
2515               fde->per_encoding = DW_EH_PE_omit;
2516               fde->lsda_encoding = DW_EH_PE_omit;
2517               cfi_change_reg_numbers (fde->data, ccseg);
2518               cie = select_cie_for_fde (fde, FALSE, &first, alignment);
2519               output_fde (fde, cie, FALSE, first, alignment);
2520             }
2521         }
2522       while (SUPPORT_FRAME_LINKONCE && seek_next_seg == 2);
2523
2524       if (SUPPORT_FRAME_LINKONCE)
2525         for (fde = all_fde_data; fde ; fde = fde->next)
2526           SET_HANDLED (fde, 0);
2527     }
2528 }
2529
2530 #else /* TARGET_USE_CFIPOP */
2531
2532 /* Emit an intelligible error message for missing support.  */
2533
2534 static void
2535 dot_cfi_dummy (int ignored ATTRIBUTE_UNUSED)
2536 {
2537   as_bad (_("CFI is not supported for this target"));
2538   ignore_rest_of_line ();
2539 }
2540
2541 const pseudo_typeS cfi_pseudo_table[] =
2542   {
2543     { "cfi_sections", dot_cfi_dummy, 0 },
2544     { "cfi_startproc", dot_cfi_dummy, 0 },
2545     { "cfi_endproc", dot_cfi_dummy, 0 },
2546     { "cfi_fde_data", dot_cfi_dummy, 0 },
2547     { "cfi_def_cfa", dot_cfi_dummy, 0 },
2548     { "cfi_def_cfa_register", dot_cfi_dummy, 0 },
2549     { "cfi_def_cfa_offset", dot_cfi_dummy, 0 },
2550     { "cfi_adjust_cfa_offset", dot_cfi_dummy, 0 },
2551     { "cfi_offset", dot_cfi_dummy, 0 },
2552     { "cfi_rel_offset", dot_cfi_dummy, 0 },
2553     { "cfi_register", dot_cfi_dummy, 0 },
2554     { "cfi_return_column", dot_cfi_dummy, 0 },
2555     { "cfi_restore", dot_cfi_dummy, 0 },
2556     { "cfi_undefined", dot_cfi_dummy, 0 },
2557     { "cfi_same_value", dot_cfi_dummy, 0 },
2558     { "cfi_remember_state", dot_cfi_dummy, 0 },
2559     { "cfi_restore_state", dot_cfi_dummy, 0 },
2560     { "cfi_window_save", dot_cfi_dummy, 0 },
2561     { "cfi_escape", dot_cfi_dummy, 0 },
2562     { "cfi_signal_frame", dot_cfi_dummy, 0 },
2563     { "cfi_personality", dot_cfi_dummy, 0 },
2564     { "cfi_personality_id", dot_cfi_dummy, 0 },
2565     { "cfi_lsda", dot_cfi_dummy, 0 },
2566     { "cfi_val_encoded_addr", dot_cfi_dummy, 0 },
2567     { "cfi_label", dot_cfi_dummy, 0 },
2568     { "cfi_inline_lsda", dot_cfi_dummy, 0 },
2569     { "cfi_val_offset", dot_cfi_dummy, 0 },
2570     { NULL, NULL, 0 }
2571   };
2572
2573 void
2574 cfi_finish (void)
2575 {
2576 }
2577 #endif /* TARGET_USE_CFIPOP */