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