]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gas/dw2gencfi.c
Make -mlittle-endian switch set the target_big_endian variable to false.
[thirdparty/binutils-gdb.git] / gas / dw2gencfi.c
CommitLineData
54cfded0 1/* dw2gencfi.c - Support for generating Dwarf2 CFI information.
4df6ce47 2 Copyright 2003, 2004, 2005 Free Software Foundation, Inc.
54cfded0
AM
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 2, 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, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA. */
21
54cfded0
AM
22#include "as.h"
23#include "dw2gencfi.h"
24
a4447b93
RH
25
26/* We re-use DWARF2_LINE_MIN_INSN_LENGTH for the code alignment field
27 of the CIE. Default to 1 if not otherwise specified. */
289040ca 28#ifndef DWARF2_LINE_MIN_INSN_LENGTH
a4447b93
RH
29# define DWARF2_LINE_MIN_INSN_LENGTH 1
30#endif
31
32/* If TARGET_USE_CFIPOP is defined, it is required that the target
33 provide the following definitions. Otherwise provide them to
34 allow compilation to continue. */
35#ifndef TARGET_USE_CFIPOP
289040ca 36# ifndef DWARF2_DEFAULT_RETURN_COLUMN
a4447b93
RH
37# define DWARF2_DEFAULT_RETURN_COLUMN 0
38# endif
289040ca 39# ifndef DWARF2_CIE_DATA_ALIGNMENT
a4447b93
RH
40# define DWARF2_CIE_DATA_ALIGNMENT 1
41# endif
42#endif
43
9393cb0d
JJ
44#ifndef EH_FRAME_ALIGNMENT
45# ifdef BFD_ASSEMBLER
46# define EH_FRAME_ALIGNMENT (bfd_get_arch_size (stdoutput) == 64 ? 3 : 2)
47# else
48# define EH_FRAME_ALIGNMENT 2
49# endif
50#endif
51
a4447b93
RH
52#ifndef tc_cfi_frame_initial_instructions
53# define tc_cfi_frame_initial_instructions() ((void)0)
54#endif
55
56
57struct cfi_insn_data
39b82151 58{
a4447b93
RH
59 struct cfi_insn_data *next;
60 int insn;
61 union {
62 struct {
63 unsigned reg;
64 offsetT offset;
65 } ri;
66
67 struct {
68 unsigned reg1;
69 unsigned reg2;
70 } rr;
71
72 unsigned r;
73 offsetT i;
74
75 struct {
76 symbolS *lab1;
77 symbolS *lab2;
78 } ll;
cdfbf930
RH
79
80 struct cfi_escape_data {
81 struct cfi_escape_data *next;
82 expressionS exp;
83 } *esc;
a4447b93 84 } u;
39b82151
ML
85};
86
a4447b93 87struct fde_entry
39b82151 88{
a4447b93
RH
89 struct fde_entry *next;
90 symbolS *start_address;
91 symbolS *end_address;
92 struct cfi_insn_data *data;
93 struct cfi_insn_data **last;
94 unsigned int return_column;
39b82151
ML
95};
96
a4447b93 97struct cie_entry
39b82151 98{
a4447b93
RH
99 struct cie_entry *next;
100 symbolS *start_address;
101 unsigned int return_column;
102 struct cfi_insn_data *first, *last;
39b82151
ML
103};
104
a4447b93
RH
105
106/* Current open FDE entry. */
107static struct fde_entry *cur_fde_data;
108static symbolS *last_address;
109static offsetT cur_cfa_offset;
110
111/* List of FDE entries. */
112static struct fde_entry *all_fde_data;
113static struct fde_entry **last_fde_data = &all_fde_data;
39b82151
ML
114
115/* List of CIEs so that they could be reused. */
116static struct cie_entry *cie_root;
117
fa87b337
RH
118/* Stack of old CFI data, for save/restore. */
119struct cfa_save_data
120{
121 struct cfa_save_data *next;
122 offsetT cfa_offset;
123};
124
125static struct cfa_save_data *cfa_save_stack;
a4447b93
RH
126\f
127/* Construct a new FDE structure and add it to the end of the fde list. */
54cfded0 128
a4447b93
RH
129static struct fde_entry *
130alloc_fde_entry (void)
131{
132 struct fde_entry *fde = xcalloc (1, sizeof (struct fde_entry));
54cfded0 133
a4447b93
RH
134 cur_fde_data = fde;
135 *last_fde_data = fde;
136 last_fde_data = &fde->next;
54cfded0 137
a4447b93
RH
138 fde->last = &fde->data;
139 fde->return_column = DWARF2_DEFAULT_RETURN_COLUMN;
140
141 return fde;
142}
143
144/* The following functions are available for a backend to construct its
145 own unwind information, usually from legacy unwind directives. */
146
147/* Construct a new INSN structure and add it to the end of the insn list
148 for the currently active FDE. */
149
150static struct cfi_insn_data *
151alloc_cfi_insn_data (void)
54cfded0 152{
a4447b93
RH
153 struct cfi_insn_data *insn = xcalloc (1, sizeof (struct cfi_insn_data));
154
155 *cur_fde_data->last = insn;
156 cur_fde_data->last = &insn->next;
54cfded0 157
a4447b93 158 return insn;
54cfded0
AM
159}
160
a4447b93
RH
161/* Construct a new FDE structure that begins at LABEL. */
162
163void
164cfi_new_fde (symbolS *label)
54cfded0 165{
a4447b93
RH
166 struct fde_entry *fde = alloc_fde_entry ();
167 fde->start_address = label;
168 last_address = label;
54cfded0
AM
169}
170
a4447b93
RH
171/* End the currently open FDE. */
172
173void
174cfi_end_fde (symbolS *label)
54cfded0 175{
a4447b93
RH
176 cur_fde_data->end_address = label;
177 cur_fde_data = NULL;
54cfded0
AM
178}
179
a4447b93
RH
180/* Set the return column for the current FDE. */
181
182void
183cfi_set_return_column (unsigned regno)
54cfded0 184{
a4447b93
RH
185 cur_fde_data->return_column = regno;
186}
54cfded0 187
2be24b54
ML
188/* Universal functions to store new instructions. */
189
190static void
191cfi_add_CFA_insn(int insn)
192{
193 struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
194
195 insn_ptr->insn = insn;
196}
197
198static void
199cfi_add_CFA_insn_reg (int insn, unsigned regno)
200{
201 struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
202
203 insn_ptr->insn = insn;
204 insn_ptr->u.r = regno;
205}
206
207static void
208cfi_add_CFA_insn_offset (int insn, offsetT offset)
209{
210 struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
211
212 insn_ptr->insn = insn;
213 insn_ptr->u.i = offset;
214}
215
216static void
217cfi_add_CFA_insn_reg_reg (int insn, unsigned reg1, unsigned reg2)
218{
219 struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
220
221 insn_ptr->insn = insn;
222 insn_ptr->u.rr.reg1 = reg1;
223 insn_ptr->u.rr.reg2 = reg2;
224}
225
226static void
227cfi_add_CFA_insn_reg_offset (int insn, unsigned regno, offsetT offset)
228{
229 struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
230
231 insn_ptr->insn = insn;
232 insn_ptr->u.ri.reg = regno;
233 insn_ptr->u.ri.offset = offset;
234}
235
a4447b93 236/* Add a CFI insn to advance the PC from the last address to LABEL. */
54cfded0 237
a4447b93
RH
238void
239cfi_add_advance_loc (symbolS *label)
240{
241 struct cfi_insn_data *insn = alloc_cfi_insn_data ();
7c0295b1 242
a4447b93
RH
243 insn->insn = DW_CFA_advance_loc;
244 insn->u.ll.lab1 = last_address;
245 insn->u.ll.lab2 = label;
54cfded0 246
a4447b93
RH
247 last_address = label;
248}
54cfded0 249
a4447b93
RH
250/* Add a DW_CFA_offset record to the CFI data. */
251
252void
253cfi_add_CFA_offset (unsigned regno, offsetT offset)
254{
fa87b337
RH
255 unsigned int abs_data_align;
256
2be24b54 257 cfi_add_CFA_insn_reg_offset (DW_CFA_offset, regno, offset);
fa87b337
RH
258
259 abs_data_align = (DWARF2_CIE_DATA_ALIGNMENT < 0
260 ? -DWARF2_CIE_DATA_ALIGNMENT : DWARF2_CIE_DATA_ALIGNMENT);
261 if (offset % abs_data_align)
262 as_bad (_("register save offset not a multiple of %u"), abs_data_align);
a4447b93 263}
54cfded0 264
a4447b93 265/* Add a DW_CFA_def_cfa record to the CFI data. */
54cfded0 266
a4447b93
RH
267void
268cfi_add_CFA_def_cfa (unsigned regno, offsetT offset)
269{
2be24b54 270 cfi_add_CFA_insn_reg_offset (DW_CFA_def_cfa, regno, offset);
a4447b93 271 cur_cfa_offset = offset;
54cfded0
AM
272}
273
a4447b93
RH
274/* Add a DW_CFA_register record to the CFI data. */
275
276void
277cfi_add_CFA_register (unsigned reg1, unsigned reg2)
54cfded0 278{
2be24b54 279 cfi_add_CFA_insn_reg_reg (DW_CFA_register, reg1, reg2);
54cfded0
AM
280}
281
a4447b93
RH
282/* Add a DW_CFA_def_cfa_register record to the CFI data. */
283
284void
285cfi_add_CFA_def_cfa_register (unsigned regno)
54cfded0 286{
2be24b54 287 cfi_add_CFA_insn_reg (DW_CFA_def_cfa_register, regno);
54cfded0
AM
288}
289
a4447b93
RH
290/* Add a DW_CFA_def_cfa_offset record to the CFI data. */
291
54cfded0 292void
a4447b93 293cfi_add_CFA_def_cfa_offset (offsetT offset)
54cfded0 294{
2be24b54 295 cfi_add_CFA_insn_offset (DW_CFA_def_cfa_offset, offset);
a4447b93
RH
296 cur_cfa_offset = offset;
297}
54cfded0 298
2be24b54
ML
299void
300cfi_add_CFA_restore (unsigned regno)
301{
302 cfi_add_CFA_insn_reg (DW_CFA_restore, regno);
303}
304
305void
306cfi_add_CFA_undefined (unsigned regno)
307{
308 cfi_add_CFA_insn_reg (DW_CFA_undefined, regno);
309}
310
311void
312cfi_add_CFA_same_value (unsigned regno)
313{
314 cfi_add_CFA_insn_reg (DW_CFA_same_value, regno);
315}
316
317void
318cfi_add_CFA_remember_state (void)
319{
fa87b337
RH
320 struct cfa_save_data *p;
321
2be24b54 322 cfi_add_CFA_insn (DW_CFA_remember_state);
fa87b337
RH
323
324 p = xmalloc (sizeof (*p));
325 p->cfa_offset = cur_cfa_offset;
326 p->next = cfa_save_stack;
327 cfa_save_stack = p;
2be24b54
ML
328}
329
330void
331cfi_add_CFA_restore_state (void)
332{
fa87b337
RH
333 struct cfa_save_data *p;
334
2be24b54 335 cfi_add_CFA_insn (DW_CFA_restore_state);
fa87b337
RH
336
337 p = cfa_save_stack;
338 if (p)
339 {
340 cur_cfa_offset = p->cfa_offset;
341 cfa_save_stack = p->next;
342 free (p);
343 }
289040ca
NC
344 else
345 as_bad (_("CFI state restore without previous remember"));
2be24b54
ML
346}
347
a4447b93
RH
348\f
349/* Parse CFI assembler directives. */
54cfded0 350
a4447b93 351static void dot_cfi (int);
cdfbf930 352static void dot_cfi_escape (int);
a4447b93
RH
353static void dot_cfi_startproc (int);
354static void dot_cfi_endproc (int);
54cfded0 355
a4447b93 356/* Fake CFI type; outside the byte range of any real CFI insn. */
2be24b54
ML
357#define CFI_adjust_cfa_offset 0x100
358#define CFI_return_column 0x101
fa87b337 359#define CFI_rel_offset 0x102
cdfbf930 360#define CFI_escape 0x103
54cfded0 361
a4447b93
RH
362const pseudo_typeS cfi_pseudo_table[] =
363 {
364 { "cfi_startproc", dot_cfi_startproc, 0 },
365 { "cfi_endproc", dot_cfi_endproc, 0 },
366 { "cfi_def_cfa", dot_cfi, DW_CFA_def_cfa },
367 { "cfi_def_cfa_register", dot_cfi, DW_CFA_def_cfa_register },
368 { "cfi_def_cfa_offset", dot_cfi, DW_CFA_def_cfa_offset },
369 { "cfi_adjust_cfa_offset", dot_cfi, CFI_adjust_cfa_offset },
370 { "cfi_offset", dot_cfi, DW_CFA_offset },
fa87b337 371 { "cfi_rel_offset", dot_cfi, CFI_rel_offset },
a4447b93 372 { "cfi_register", dot_cfi, DW_CFA_register },
2be24b54
ML
373 { "cfi_return_column", dot_cfi, CFI_return_column },
374 { "cfi_restore", dot_cfi, DW_CFA_restore },
375 { "cfi_undefined", dot_cfi, DW_CFA_undefined },
376 { "cfi_same_value", dot_cfi, DW_CFA_same_value },
377 { "cfi_remember_state", dot_cfi, DW_CFA_remember_state },
378 { "cfi_restore_state", dot_cfi, DW_CFA_restore_state },
6749011b 379 { "cfi_window_save", dot_cfi, DW_CFA_GNU_window_save },
cdfbf930 380 { "cfi_escape", dot_cfi_escape, 0 },
a4447b93
RH
381 { NULL, NULL, 0 }
382 };
54cfded0
AM
383
384static void
a4447b93 385cfi_parse_separator (void)
54cfded0 386{
a4447b93
RH
387 SKIP_WHITESPACE ();
388 if (*input_line_pointer == ',')
389 input_line_pointer++;
390 else
391 as_bad (_("missing separator"));
54cfded0
AM
392}
393
a4447b93
RH
394static unsigned
395cfi_parse_reg (void)
54cfded0 396{
a4447b93
RH
397 int regno;
398 expressionS exp;
399
400#ifdef tc_regname_to_dw2regnum
401 SKIP_WHITESPACE ();
402 if (is_name_beginner (*input_line_pointer)
403 || (*input_line_pointer == '%'
404 && is_name_beginner (*++input_line_pointer)))
405 {
406 char *name, c;
407
408 name = input_line_pointer;
409 c = get_symbol_end ();
410
411 if ((regno = tc_regname_to_dw2regnum (name)) < 0)
412 {
413 as_bad (_("bad register expression"));
414 regno = 0;
415 }
54cfded0 416
a4447b93
RH
417 *input_line_pointer = c;
418 return regno;
419 }
420#endif
421
422 expression (&exp);
423 switch (exp.X_op)
54cfded0 424 {
a4447b93
RH
425 case O_register:
426 case O_constant:
427 regno = exp.X_add_number;
428 break;
429
430 default:
431 as_bad (_("bad register expression"));
432 regno = 0;
433 break;
54cfded0
AM
434 }
435
a4447b93
RH
436 return regno;
437}
438
439static offsetT
440cfi_parse_const (void)
441{
442 return get_absolute_expression ();
54cfded0
AM
443}
444
445static void
a4447b93 446dot_cfi (int arg)
54cfded0 447{
a4447b93
RH
448 offsetT offset;
449 unsigned reg1, reg2;
54cfded0 450
a4447b93 451 if (!cur_fde_data)
54cfded0
AM
452 {
453 as_bad (_("CFI instruction used without previous .cfi_startproc"));
454 return;
455 }
456
a4447b93
RH
457 /* If the last address was not at the current PC, advance to current. */
458 if (symbol_get_frag (last_address) != frag_now
459 || S_GET_VALUE (last_address) != frag_now_fix ())
460 cfi_add_advance_loc (symbol_temp_new_now ());
54cfded0
AM
461
462 switch (arg)
463 {
a4447b93 464 case DW_CFA_offset:
a4447b93
RH
465 reg1 = cfi_parse_reg ();
466 cfi_parse_separator ();
467 offset = cfi_parse_const ();
2be24b54
ML
468 cfi_add_CFA_offset (reg1, offset);
469 break;
a4447b93 470
fa87b337
RH
471 case CFI_rel_offset:
472 reg1 = cfi_parse_reg ();
473 cfi_parse_separator ();
474 offset = cfi_parse_const ();
475 cfi_add_CFA_offset (reg1, offset - cur_cfa_offset);
476 break;
477
2be24b54
ML
478 case DW_CFA_def_cfa:
479 reg1 = cfi_parse_reg ();
480 cfi_parse_separator ();
481 offset = cfi_parse_const ();
482 cfi_add_CFA_def_cfa (reg1, offset);
54cfded0
AM
483 break;
484
a4447b93
RH
485 case DW_CFA_register:
486 reg1 = cfi_parse_reg ();
487 cfi_parse_separator ();
488 reg2 = cfi_parse_reg ();
a4447b93 489 cfi_add_CFA_register (reg1, reg2);
39b82151
ML
490 break;
491
a4447b93
RH
492 case DW_CFA_def_cfa_register:
493 reg1 = cfi_parse_reg ();
494 cfi_add_CFA_def_cfa_register (reg1);
54cfded0
AM
495 break;
496
a4447b93
RH
497 case DW_CFA_def_cfa_offset:
498 offset = cfi_parse_const ();
499 cfi_add_CFA_def_cfa_offset (offset);
54cfded0
AM
500 break;
501
54cfded0 502 case CFI_adjust_cfa_offset:
a4447b93
RH
503 offset = cfi_parse_const ();
504 cfi_add_CFA_def_cfa_offset (cur_cfa_offset + offset);
54cfded0
AM
505 break;
506
2be24b54
ML
507 case DW_CFA_restore:
508 reg1 = cfi_parse_reg ();
509 cfi_add_CFA_restore (reg1);
510 break;
511
512 case DW_CFA_undefined:
513 reg1 = cfi_parse_reg ();
514 cfi_add_CFA_undefined (reg1);
515 break;
516
517 case DW_CFA_same_value:
518 reg1 = cfi_parse_reg ();
519 cfi_add_CFA_same_value (reg1);
520 break;
521
522 case CFI_return_column:
523 reg1 = cfi_parse_reg ();
524 cfi_set_return_column (reg1);
525 break;
526
527 case DW_CFA_remember_state:
528 cfi_add_CFA_remember_state ();
529 break;
530
531 case DW_CFA_restore_state:
532 cfi_add_CFA_restore_state ();
533 break;
534
364b6d8b
JJ
535 case DW_CFA_GNU_window_save:
536 cfi_add_CFA_insn (DW_CFA_GNU_window_save);
537 break;
538
54cfded0 539 default:
a4447b93 540 abort ();
54cfded0 541 }
54cfded0 542
a4447b93 543 demand_empty_rest_of_line ();
54cfded0
AM
544}
545
cdfbf930
RH
546static void
547dot_cfi_escape (int ignored ATTRIBUTE_UNUSED)
548{
549 struct cfi_escape_data *head, **tail, *e;
550 struct cfi_insn_data *insn;
551
552 if (!cur_fde_data)
553 {
554 as_bad (_("CFI instruction used without previous .cfi_startproc"));
555 return;
556 }
557
558 /* If the last address was not at the current PC, advance to current. */
559 if (symbol_get_frag (last_address) != frag_now
560 || S_GET_VALUE (last_address) != frag_now_fix ())
561 cfi_add_advance_loc (symbol_temp_new_now ());
562
563 tail = &head;
564 do
565 {
566 e = xmalloc (sizeof (*e));
567 do_parse_cons_expression (&e->exp, 1);
568 *tail = e;
569 tail = &e->next;
570 }
571 while (*input_line_pointer++ == ',');
572 *tail = NULL;
573
574 insn = alloc_cfi_insn_data ();
575 insn->insn = CFI_escape;
576 insn->u.esc = head;
577}
578
54cfded0 579static void
a4447b93 580dot_cfi_startproc (int ignored ATTRIBUTE_UNUSED)
54cfded0 581{
a4447b93 582 int simple = 0;
39b82151 583
a4447b93 584 if (cur_fde_data)
54cfded0
AM
585 {
586 as_bad (_("previous CFI entry not closed (missing .cfi_endproc)"));
587 return;
588 }
589
a4447b93 590 cfi_new_fde (symbol_temp_new_now ());
39b82151 591
a4447b93
RH
592 SKIP_WHITESPACE ();
593 if (is_name_beginner (*input_line_pointer))
594 {
595 char *name, c;
54cfded0 596
a4447b93
RH
597 name = input_line_pointer;
598 c = get_symbol_end ();
54cfded0 599
a4447b93
RH
600 if (strcmp (name, "simple") == 0)
601 {
602 simple = 1;
603 *input_line_pointer = c;
604 }
605 else
606 input_line_pointer = name;
607 }
608 demand_empty_rest_of_line ();
609
5b9d23c6 610 cur_cfa_offset = 0;
a4447b93 611 if (!simple)
39b82151 612 tc_cfi_frame_initial_instructions ();
54cfded0
AM
613}
614
a4447b93
RH
615static void
616dot_cfi_endproc (int ignored ATTRIBUTE_UNUSED)
617{
618 if (! cur_fde_data)
619 {
620 as_bad (_(".cfi_endproc without corresponding .cfi_startproc"));
621 return;
622 }
54cfded0 623
a4447b93
RH
624 cfi_end_fde (symbol_temp_new_now ());
625}
39b82151 626
a4447b93
RH
627\f
628/* Emit a single byte into the current segment. */
54cfded0 629
a4447b93
RH
630static inline void
631out_one (int byte)
54cfded0 632{
a4447b93
RH
633 FRAG_APPEND_1_CHAR (byte);
634}
54cfded0 635
a4447b93 636/* Emit a two-byte word into the current segment. */
54cfded0 637
a4447b93
RH
638static inline void
639out_two (int data)
640{
641 md_number_to_chars (frag_more (2), data, 2);
642}
54cfded0 643
a4447b93 644/* Emit a four byte word into the current segment. */
54cfded0 645
a4447b93
RH
646static inline void
647out_four (int data)
648{
649 md_number_to_chars (frag_more (4), data, 4);
650}
651
652/* Emit an unsigned "little-endian base 128" number. */
54cfded0 653
a4447b93
RH
654static void
655out_uleb128 (addressT value)
656{
657 output_leb128 (frag_more (sizeof_leb128 (value, 0)), value, 0);
54cfded0
AM
658}
659
a4447b93
RH
660/* Emit an unsigned "little-endian base 128" number. */
661
662static void
663out_sleb128 (offsetT value)
54cfded0 664{
a4447b93
RH
665 output_leb128 (frag_more (sizeof_leb128 (value, 1)), value, 1);
666}
54cfded0 667
a4447b93
RH
668static void
669output_cfi_insn (struct cfi_insn_data *insn)
670{
671 offsetT offset;
672 unsigned int regno;
54cfded0 673
a4447b93 674 switch (insn->insn)
54cfded0 675 {
a4447b93
RH
676 case DW_CFA_advance_loc:
677 {
678 symbolS *from = insn->u.ll.lab1;
679 symbolS *to = insn->u.ll.lab2;
680
681 if (symbol_get_frag (to) == symbol_get_frag (from))
682 {
683 addressT delta = S_GET_VALUE (to) - S_GET_VALUE (from);
684 addressT scaled = delta / DWARF2_LINE_MIN_INSN_LENGTH;
685
686 if (scaled <= 0x3F)
687 out_one (DW_CFA_advance_loc + scaled);
688 else if (delta <= 0xFF)
689 {
690 out_one (DW_CFA_advance_loc1);
691 out_one (delta);
692 }
693 else if (delta <= 0xFFFF)
694 {
695 out_one (DW_CFA_advance_loc2);
696 out_two (delta);
697 }
698 else
699 {
700 out_one (DW_CFA_advance_loc4);
701 out_four (delta);
702 }
703 }
704 else
705 {
706 expressionS exp;
707
708 exp.X_op = O_subtract;
709 exp.X_add_symbol = to;
710 exp.X_op_symbol = from;
711 exp.X_add_number = 0;
712
713 /* The code in ehopt.c expects that one byte of the encoding
714 is already allocated to the frag. This comes from the way
715 that it scans the .eh_frame section looking first for the
716 .byte DW_CFA_advance_loc4. */
717 frag_more (1);
718
719 frag_var (rs_cfa, 4, 0, DWARF2_LINE_MIN_INSN_LENGTH << 3,
720 make_expr_symbol (&exp), frag_now_fix () - 1,
721 (char *) frag_now);
722 }
723 }
724 break;
725
726 case DW_CFA_def_cfa:
727 offset = insn->u.ri.offset;
728 if (offset < 0)
54cfded0 729 {
a4447b93
RH
730 out_one (DW_CFA_def_cfa_sf);
731 out_uleb128 (insn->u.ri.reg);
dcb45a06 732 out_sleb128 (offset / DWARF2_CIE_DATA_ALIGNMENT);
54cfded0
AM
733 }
734 else
735 {
a4447b93
RH
736 out_one (DW_CFA_def_cfa);
737 out_uleb128 (insn->u.ri.reg);
738 out_uleb128 (offset);
54cfded0
AM
739 }
740 break;
741
a4447b93 742 case DW_CFA_def_cfa_register:
2be24b54
ML
743 case DW_CFA_undefined:
744 case DW_CFA_same_value:
745 out_one (insn->insn);
746 out_uleb128 (insn->u.r);
54cfded0
AM
747 break;
748
a4447b93
RH
749 case DW_CFA_def_cfa_offset:
750 offset = insn->u.i;
751 if (offset < 0)
752 {
753 out_one (DW_CFA_def_cfa_offset_sf);
dcb45a06 754 out_sleb128 (offset / DWARF2_CIE_DATA_ALIGNMENT);
a4447b93
RH
755 }
756 else
757 {
758 out_one (DW_CFA_def_cfa_offset);
759 out_uleb128 (offset);
760 }
54cfded0
AM
761 break;
762
2be24b54
ML
763 case DW_CFA_restore:
764 regno = insn->u.r;
765 if (regno <= 0x3F)
766 {
767 out_one (DW_CFA_restore + regno);
768 }
769 else
770 {
771 out_one (DW_CFA_restore_extended);
772 out_uleb128 (regno);
773 }
774 break;
775
a4447b93
RH
776 case DW_CFA_offset:
777 regno = insn->u.ri.reg;
778 offset = insn->u.ri.offset / DWARF2_CIE_DATA_ALIGNMENT;
779 if (offset < 0)
780 {
1233ae62 781 out_one (DW_CFA_offset_extended_sf);
a4447b93
RH
782 out_uleb128 (regno);
783 out_sleb128 (offset);
784 }
785 else if (regno <= 0x3F)
786 {
787 out_one (DW_CFA_offset + regno);
788 out_uleb128 (offset);
789 }
54cfded0
AM
790 else
791 {
a4447b93
RH
792 out_one (DW_CFA_offset_extended);
793 out_uleb128 (regno);
794 out_uleb128 (offset);
54cfded0 795 }
54cfded0
AM
796 break;
797
a4447b93
RH
798 case DW_CFA_register:
799 out_one (DW_CFA_register);
800 out_uleb128 (insn->u.rr.reg1);
801 out_uleb128 (insn->u.rr.reg2);
39b82151
ML
802 break;
803
2be24b54
ML
804 case DW_CFA_remember_state:
805 case DW_CFA_restore_state:
2be24b54 806 out_one (insn->insn);
54cfded0
AM
807 break;
808
364b6d8b
JJ
809 case DW_CFA_GNU_window_save:
810 out_one (DW_CFA_GNU_window_save);
811 break;
812
cdfbf930
RH
813 case CFI_escape:
814 {
815 struct cfi_escape_data *e;
816 for (e = insn->u.esc; e ; e = e->next)
817 emit_expr (&e->exp, 1);
818 break;
819 }
820
54cfded0 821 default:
a4447b93 822 abort ();
54cfded0 823 }
54cfded0
AM
824}
825
826static void
a4447b93 827output_cie (struct cie_entry *cie)
54cfded0 828{
a4447b93 829 symbolS *after_size_address, *end_address;
7c0295b1 830 expressionS exp;
a4447b93
RH
831 struct cfi_insn_data *i;
832
833 cie->start_address = symbol_temp_new_now ();
834 after_size_address = symbol_temp_make ();
835 end_address = symbol_temp_make ();
836
837 exp.X_op = O_subtract;
838 exp.X_add_symbol = end_address;
839 exp.X_op_symbol = after_size_address;
840 exp.X_add_number = 0;
841
289040ca 842 emit_expr (&exp, 4); /* Length. */
a4447b93 843 symbol_set_value_now (after_size_address);
289040ca
NC
844 out_four (0); /* CIE id. */
845 out_one (DW_CIE_VERSION); /* Version. */
846 out_one ('z'); /* Augmentation. */
a4447b93
RH
847 out_one ('R');
848 out_one (0);
289040ca
NC
849 out_uleb128 (DWARF2_LINE_MIN_INSN_LENGTH); /* Code alignment. */
850 out_sleb128 (DWARF2_CIE_DATA_ALIGNMENT); /* Data alignment. */
0da76f83
NC
851 if (DW_CIE_VERSION == 1) /* Return column. */
852 out_one (cie->return_column);
853 else
854 out_uleb128 (cie->return_column);
289040ca 855 out_uleb128 (1); /* Augmentation size. */
364b6d8b 856#if defined DIFF_EXPR_OK || defined tc_cfi_emit_pcrel_expr
a4447b93 857 out_one (DW_EH_PE_pcrel | DW_EH_PE_sdata4);
364b6d8b
JJ
858#else
859 out_one (DW_EH_PE_sdata4);
860#endif
a4447b93
RH
861
862 if (cie->first)
863 for (i = cie->first; i != cie->last; i = i->next)
864 output_cfi_insn (i);
865
4df6ce47 866 frag_align (2, DW_CFA_nop, 0);
a4447b93
RH
867 symbol_set_value_now (end_address);
868}
54cfded0 869
a4447b93
RH
870static void
871output_fde (struct fde_entry *fde, struct cie_entry *cie,
9393cb0d 872 struct cfi_insn_data *first, int align)
a4447b93
RH
873{
874 symbolS *after_size_address, *end_address;
875 expressionS exp;
54cfded0 876
a4447b93
RH
877 after_size_address = symbol_temp_make ();
878 end_address = symbol_temp_make ();
54cfded0 879
a4447b93
RH
880 exp.X_op = O_subtract;
881 exp.X_add_symbol = end_address;
882 exp.X_op_symbol = after_size_address;
883 exp.X_add_number = 0;
289040ca 884 emit_expr (&exp, 4); /* Length. */
a4447b93 885 symbol_set_value_now (after_size_address);
54cfded0 886
a4447b93
RH
887 exp.X_add_symbol = after_size_address;
888 exp.X_op_symbol = cie->start_address;
289040ca 889 emit_expr (&exp, 4); /* CIE offset. */
364b6d8b
JJ
890
891#ifdef DIFF_EXPR_OK
a4447b93
RH
892 exp.X_add_symbol = fde->start_address;
893 exp.X_op_symbol = symbol_temp_new_now ();
289040ca 894 emit_expr (&exp, 4); /* Code offset. */
364b6d8b
JJ
895#else
896 exp.X_op = O_symbol;
897 exp.X_add_symbol = fde->start_address;
898 exp.X_op_symbol = NULL;
899#ifdef tc_cfi_emit_pcrel_expr
289040ca 900 tc_cfi_emit_pcrel_expr (&exp, 4); /* Code offset. */
364b6d8b 901#else
289040ca 902 emit_expr (&exp, 4); /* Code offset. */
364b6d8b
JJ
903#endif
904 exp.X_op = O_subtract;
905#endif
54cfded0 906
a4447b93 907 exp.X_add_symbol = fde->end_address;
289040ca 908 exp.X_op_symbol = fde->start_address; /* Code length. */
a4447b93 909 emit_expr (&exp, 4);
54cfded0 910
289040ca 911 out_uleb128 (0); /* Augmentation size. */
39b82151 912
a4447b93
RH
913 for (; first; first = first->next)
914 output_cfi_insn (first);
39b82151 915
4df6ce47 916 frag_align (align, DW_CFA_nop, 0);
a4447b93
RH
917 symbol_set_value_now (end_address);
918}
919
920static struct cie_entry *
921select_cie_for_fde (struct fde_entry *fde, struct cfi_insn_data **pfirst)
922{
923 struct cfi_insn_data *i, *j;
924 struct cie_entry *cie;
925
926 for (cie = cie_root; cie; cie = cie->next)
39b82151 927 {
a4447b93
RH
928 if (cie->return_column != fde->return_column)
929 continue;
930 for (i = cie->first, j = fde->data;
931 i != cie->last && j != NULL;
932 i = i->next, j = j->next)
39b82151 933 {
a4447b93
RH
934 if (i->insn != j->insn)
935 goto fail;
936 switch (i->insn)
937 {
938 case DW_CFA_advance_loc:
289040ca
NC
939 case DW_CFA_remember_state:
940 /* We reached the first advance/remember in the FDE,
941 but did not reach the end of the CIE list. */
a4447b93
RH
942 goto fail;
943
944 case DW_CFA_offset:
945 case DW_CFA_def_cfa:
946 if (i->u.ri.reg != j->u.ri.reg)
947 goto fail;
948 if (i->u.ri.offset != j->u.ri.offset)
949 goto fail;
950 break;
951
952 case DW_CFA_register:
953 if (i->u.rr.reg1 != j->u.rr.reg1)
954 goto fail;
955 if (i->u.rr.reg2 != j->u.rr.reg2)
956 goto fail;
957 break;
958
959 case DW_CFA_def_cfa_register:
2be24b54
ML
960 case DW_CFA_restore:
961 case DW_CFA_undefined:
962 case DW_CFA_same_value:
a4447b93
RH
963 if (i->u.r != j->u.r)
964 goto fail;
965 break;
966
967 case DW_CFA_def_cfa_offset:
968 if (i->u.i != j->u.i)
969 goto fail;
970 break;
971
cdfbf930
RH
972 case CFI_escape:
973 /* Don't bother matching these for now. */
974 goto fail;
975
a4447b93
RH
976 default:
977 abort ();
978 }
39b82151 979 }
a4447b93
RH
980
981 /* Success if we reached the end of the CIE list, and we've either
289040ca
NC
982 run out of FDE entries or we've encountered an advance,
983 remember, or escape. */
e9fad691
AM
984 if (i == cie->last
985 && (!j
986 || j->insn == DW_CFA_advance_loc
289040ca 987 || j->insn == DW_CFA_remember_state
e9fad691 988 || j->insn == CFI_escape))
39b82151 989 {
a4447b93
RH
990 *pfirst = j;
991 return cie;
39b82151
ML
992 }
993
a4447b93 994 fail:;
54cfded0
AM
995 }
996
a4447b93
RH
997 cie = xmalloc (sizeof (struct cie_entry));
998 cie->next = cie_root;
999 cie_root = cie;
1000 cie->return_column = fde->return_column;
1001 cie->first = fde->data;
54cfded0 1002
a4447b93 1003 for (i = cie->first; i ; i = i->next)
e9fad691 1004 if (i->insn == DW_CFA_advance_loc
289040ca 1005 || i->insn == DW_CFA_remember_state
e9fad691 1006 || i->insn == CFI_escape)
a4447b93 1007 break;
54cfded0 1008
a4447b93
RH
1009 cie->last = i;
1010 *pfirst = i;
1011
1012 output_cie (cie);
54cfded0 1013
a4447b93 1014 return cie;
54cfded0
AM
1015}
1016
1017void
a4447b93 1018cfi_finish (void)
54cfded0 1019{
a4447b93
RH
1020 segT cfi_seg;
1021 struct fde_entry *fde;
eafbc43f 1022 int save_flag_traditional_format;
54cfded0 1023
a4447b93 1024 if (cur_fde_data)
54cfded0 1025 {
a4447b93
RH
1026 as_bad (_("open CFI at the end of file; missing .cfi_endproc directive"));
1027 cur_fde_data->end_address = cur_fde_data->start_address;
54cfded0 1028 }
54cfded0 1029
a4447b93
RH
1030 if (all_fde_data == 0)
1031 return;
54cfded0 1032
a4447b93
RH
1033 /* Open .eh_frame section. */
1034 cfi_seg = subseg_new (".eh_frame", 0);
1035#ifdef BFD_ASSEMBLER
1036 bfd_set_section_flags (stdoutput, cfi_seg,
757bc393 1037 SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_READONLY);
a4447b93
RH
1038#endif
1039 subseg_set (cfi_seg, 0);
9393cb0d 1040 record_alignment (cfi_seg, EH_FRAME_ALIGNMENT);
54cfded0 1041
eafbc43f
RH
1042 /* Make sure check_eh_frame doesn't do anything with our output. */
1043 save_flag_traditional_format = flag_traditional_format;
1044 flag_traditional_format = 1;
1045
a4447b93
RH
1046 for (fde = all_fde_data; fde ; fde = fde->next)
1047 {
1048 struct cfi_insn_data *first;
1049 struct cie_entry *cie;
1050
1051 cie = select_cie_for_fde (fde, &first);
6ec51dba 1052 output_fde (fde, cie, first, fde->next == NULL ? EH_FRAME_ALIGNMENT : 2);
a4447b93 1053 }
eafbc43f
RH
1054
1055 flag_traditional_format = save_flag_traditional_format;
54cfded0 1056}