PR c++/56782 - Regression with empty pack expansions
[official-gcc.git] / libgcc / unwind-dw2.c
blob80de5ab1894bd99534868d4e15e379875e0690b1
1 /* DWARF2 exception handling and frame unwind runtime interface routines.
2 Copyright (C) 1997-2013 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
9 any later version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
14 License for more details.
16 Under Section 7 of GPL version 3, you are granted additional
17 permissions described in the GCC Runtime Library Exception, version
18 3.1, as published by the Free Software Foundation.
20 You should have received a copy of the GNU General Public License and
21 a copy of the GCC Runtime Library Exception along with this program;
22 see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 <http://www.gnu.org/licenses/>. */
25 #include "tconfig.h"
26 #include "tsystem.h"
27 #include "coretypes.h"
28 #include "tm.h"
29 #include "libgcc_tm.h"
30 #include "dwarf2.h"
31 #include "unwind.h"
32 #ifdef __USING_SJLJ_EXCEPTIONS__
33 # define NO_SIZE_OF_ENCODED_VALUE
34 #endif
35 #include "unwind-pe.h"
36 #include "unwind-dw2-fde.h"
37 #include "gthr.h"
38 #include "unwind-dw2.h"
40 #ifdef HAVE_SYS_SDT_H
41 #include <sys/sdt.h>
42 #endif
44 #ifndef __USING_SJLJ_EXCEPTIONS__
46 #ifndef STACK_GROWS_DOWNWARD
47 #define STACK_GROWS_DOWNWARD 0
48 #else
49 #undef STACK_GROWS_DOWNWARD
50 #define STACK_GROWS_DOWNWARD 1
51 #endif
53 /* Dwarf frame registers used for pre gcc 3.0 compiled glibc. */
54 #ifndef PRE_GCC3_DWARF_FRAME_REGISTERS
55 #define PRE_GCC3_DWARF_FRAME_REGISTERS DWARF_FRAME_REGISTERS
56 #endif
58 #ifndef DWARF_REG_TO_UNWIND_COLUMN
59 #define DWARF_REG_TO_UNWIND_COLUMN(REGNO) (REGNO)
60 #endif
62 #ifdef REG_VALUE_IN_UNWIND_CONTEXT
63 typedef _Unwind_Word _Unwind_Context_Reg_Val;
65 #ifndef ASSUME_EXTENDED_UNWIND_CONTEXT
66 #define ASSUME_EXTENDED_UNWIND_CONTEXT 1
67 #endif
69 static inline _Unwind_Word
70 _Unwind_Get_Unwind_Word (_Unwind_Context_Reg_Val val)
72 return val;
75 static inline _Unwind_Context_Reg_Val
76 _Unwind_Get_Unwind_Context_Reg_Val (_Unwind_Word val)
78 return val;
80 #else
81 typedef void *_Unwind_Context_Reg_Val;
83 static inline _Unwind_Word
84 _Unwind_Get_Unwind_Word (_Unwind_Context_Reg_Val val)
86 return (_Unwind_Word) (_Unwind_Internal_Ptr) val;
89 static inline _Unwind_Context_Reg_Val
90 _Unwind_Get_Unwind_Context_Reg_Val (_Unwind_Word val)
92 return (_Unwind_Context_Reg_Val) (_Unwind_Internal_Ptr) val;
94 #endif
96 #ifndef ASSUME_EXTENDED_UNWIND_CONTEXT
97 #define ASSUME_EXTENDED_UNWIND_CONTEXT 0
98 #endif
100 /* This is the register and unwind state for a particular frame. This
101 provides the information necessary to unwind up past a frame and return
102 to its caller. */
103 struct _Unwind_Context
105 _Unwind_Context_Reg_Val reg[DWARF_FRAME_REGISTERS+1];
106 void *cfa;
107 void *ra;
108 void *lsda;
109 struct dwarf_eh_bases bases;
110 /* Signal frame context. */
111 #define SIGNAL_FRAME_BIT ((~(_Unwind_Word) 0 >> 1) + 1)
112 /* Context which has version/args_size/by_value fields. */
113 #define EXTENDED_CONTEXT_BIT ((~(_Unwind_Word) 0 >> 2) + 1)
114 _Unwind_Word flags;
115 /* 0 for now, can be increased when further fields are added to
116 struct _Unwind_Context. */
117 _Unwind_Word version;
118 _Unwind_Word args_size;
119 char by_value[DWARF_FRAME_REGISTERS+1];
122 /* Byte size of every register managed by these routines. */
123 static unsigned char dwarf_reg_size_table[DWARF_FRAME_REGISTERS+1];
126 /* Read unaligned data from the instruction buffer. */
128 union unaligned
130 void *p;
131 unsigned u2 __attribute__ ((mode (HI)));
132 unsigned u4 __attribute__ ((mode (SI)));
133 unsigned u8 __attribute__ ((mode (DI)));
134 signed s2 __attribute__ ((mode (HI)));
135 signed s4 __attribute__ ((mode (SI)));
136 signed s8 __attribute__ ((mode (DI)));
137 } __attribute__ ((packed));
139 static void uw_update_context (struct _Unwind_Context *, _Unwind_FrameState *);
140 static _Unwind_Reason_Code uw_frame_state_for (struct _Unwind_Context *,
141 _Unwind_FrameState *);
143 static inline void *
144 read_pointer (const void *p) { const union unaligned *up = p; return up->p; }
146 static inline int
147 read_1u (const void *p) { return *(const unsigned char *) p; }
149 static inline int
150 read_1s (const void *p) { return *(const signed char *) p; }
152 static inline int
153 read_2u (const void *p) { const union unaligned *up = p; return up->u2; }
155 static inline int
156 read_2s (const void *p) { const union unaligned *up = p; return up->s2; }
158 static inline unsigned int
159 read_4u (const void *p) { const union unaligned *up = p; return up->u4; }
161 static inline int
162 read_4s (const void *p) { const union unaligned *up = p; return up->s4; }
164 static inline unsigned long
165 read_8u (const void *p) { const union unaligned *up = p; return up->u8; }
167 static inline unsigned long
168 read_8s (const void *p) { const union unaligned *up = p; return up->s8; }
170 static inline _Unwind_Word
171 _Unwind_IsSignalFrame (struct _Unwind_Context *context)
173 return (context->flags & SIGNAL_FRAME_BIT) ? 1 : 0;
176 static inline void
177 _Unwind_SetSignalFrame (struct _Unwind_Context *context, int val)
179 if (val)
180 context->flags |= SIGNAL_FRAME_BIT;
181 else
182 context->flags &= ~SIGNAL_FRAME_BIT;
185 static inline _Unwind_Word
186 _Unwind_IsExtendedContext (struct _Unwind_Context *context)
188 return (ASSUME_EXTENDED_UNWIND_CONTEXT
189 || (context->flags & EXTENDED_CONTEXT_BIT));
192 /* Get the value of register INDEX as saved in CONTEXT. */
194 inline _Unwind_Word
195 _Unwind_GetGR (struct _Unwind_Context *context, int index)
197 int size;
198 _Unwind_Context_Reg_Val val;
200 #ifdef DWARF_ZERO_REG
201 if (index == DWARF_ZERO_REG)
202 return 0;
203 #endif
205 index = DWARF_REG_TO_UNWIND_COLUMN (index);
206 gcc_assert (index < (int) sizeof(dwarf_reg_size_table));
207 size = dwarf_reg_size_table[index];
208 val = context->reg[index];
210 if (_Unwind_IsExtendedContext (context) && context->by_value[index])
211 return _Unwind_Get_Unwind_Word (val);
213 /* This will segfault if the register hasn't been saved. */
214 if (size == sizeof(_Unwind_Ptr))
215 return * (_Unwind_Ptr *) (_Unwind_Internal_Ptr) val;
216 else
218 gcc_assert (size == sizeof(_Unwind_Word));
219 return * (_Unwind_Word *) (_Unwind_Internal_Ptr) val;
223 static inline void *
224 _Unwind_GetPtr (struct _Unwind_Context *context, int index)
226 return (void *)(_Unwind_Ptr) _Unwind_GetGR (context, index);
229 /* Get the value of the CFA as saved in CONTEXT. */
231 _Unwind_Word
232 _Unwind_GetCFA (struct _Unwind_Context *context)
234 return (_Unwind_Ptr) context->cfa;
237 /* Overwrite the saved value for register INDEX in CONTEXT with VAL. */
239 inline void
240 _Unwind_SetGR (struct _Unwind_Context *context, int index, _Unwind_Word val)
242 int size;
243 void *ptr;
245 index = DWARF_REG_TO_UNWIND_COLUMN (index);
246 gcc_assert (index < (int) sizeof(dwarf_reg_size_table));
247 size = dwarf_reg_size_table[index];
249 if (_Unwind_IsExtendedContext (context) && context->by_value[index])
251 context->reg[index] = _Unwind_Get_Unwind_Context_Reg_Val (val);
252 return;
255 ptr = (void *) (_Unwind_Internal_Ptr) context->reg[index];
257 if (size == sizeof(_Unwind_Ptr))
258 * (_Unwind_Ptr *) ptr = val;
259 else
261 gcc_assert (size == sizeof(_Unwind_Word));
262 * (_Unwind_Word *) ptr = val;
266 /* Get the pointer to a register INDEX as saved in CONTEXT. */
268 static inline void *
269 _Unwind_GetGRPtr (struct _Unwind_Context *context, int index)
271 index = DWARF_REG_TO_UNWIND_COLUMN (index);
272 if (_Unwind_IsExtendedContext (context) && context->by_value[index])
273 return &context->reg[index];
274 return (void *) (_Unwind_Internal_Ptr) context->reg[index];
277 /* Set the pointer to a register INDEX as saved in CONTEXT. */
279 static inline void
280 _Unwind_SetGRPtr (struct _Unwind_Context *context, int index, void *p)
282 index = DWARF_REG_TO_UNWIND_COLUMN (index);
283 if (_Unwind_IsExtendedContext (context))
284 context->by_value[index] = 0;
285 context->reg[index] = (_Unwind_Context_Reg_Val) (_Unwind_Internal_Ptr) p;
288 /* Overwrite the saved value for register INDEX in CONTEXT with VAL. */
290 static inline void
291 _Unwind_SetGRValue (struct _Unwind_Context *context, int index,
292 _Unwind_Word val)
294 index = DWARF_REG_TO_UNWIND_COLUMN (index);
295 gcc_assert (index < (int) sizeof(dwarf_reg_size_table));
296 /* Return column size may be smaller than _Unwind_Context_Reg_Val. */
297 gcc_assert (dwarf_reg_size_table[index] <= sizeof (_Unwind_Context_Reg_Val));
299 context->by_value[index] = 1;
300 context->reg[index] = _Unwind_Get_Unwind_Context_Reg_Val (val);
303 /* Return nonzero if register INDEX is stored by value rather than
304 by reference. */
306 static inline int
307 _Unwind_GRByValue (struct _Unwind_Context *context, int index)
309 index = DWARF_REG_TO_UNWIND_COLUMN (index);
310 return context->by_value[index];
313 /* Retrieve the return address for CONTEXT. */
315 inline _Unwind_Ptr
316 _Unwind_GetIP (struct _Unwind_Context *context)
318 return (_Unwind_Ptr) context->ra;
321 /* Retrieve the return address and flag whether that IP is before
322 or after first not yet fully executed instruction. */
324 inline _Unwind_Ptr
325 _Unwind_GetIPInfo (struct _Unwind_Context *context, int *ip_before_insn)
327 *ip_before_insn = _Unwind_IsSignalFrame (context);
328 return (_Unwind_Ptr) context->ra;
331 /* Overwrite the return address for CONTEXT with VAL. */
333 inline void
334 _Unwind_SetIP (struct _Unwind_Context *context, _Unwind_Ptr val)
336 context->ra = (void *) val;
339 void *
340 _Unwind_GetLanguageSpecificData (struct _Unwind_Context *context)
342 return context->lsda;
345 _Unwind_Ptr
346 _Unwind_GetRegionStart (struct _Unwind_Context *context)
348 return (_Unwind_Ptr) context->bases.func;
351 void *
352 _Unwind_FindEnclosingFunction (void *pc)
354 struct dwarf_eh_bases bases;
355 const struct dwarf_fde *fde = _Unwind_Find_FDE (pc-1, &bases);
356 if (fde)
357 return bases.func;
358 else
359 return NULL;
362 #ifndef __ia64__
363 _Unwind_Ptr
364 _Unwind_GetDataRelBase (struct _Unwind_Context *context)
366 return (_Unwind_Ptr) context->bases.dbase;
369 _Unwind_Ptr
370 _Unwind_GetTextRelBase (struct _Unwind_Context *context)
372 return (_Unwind_Ptr) context->bases.tbase;
374 #endif
376 #include "md-unwind-support.h"
378 /* Extract any interesting information from the CIE for the translation
379 unit F belongs to. Return a pointer to the byte after the augmentation,
380 or NULL if we encountered an undecipherable augmentation. */
382 static const unsigned char *
383 extract_cie_info (const struct dwarf_cie *cie, struct _Unwind_Context *context,
384 _Unwind_FrameState *fs)
386 const unsigned char *aug = cie->augmentation;
387 const unsigned char *p = aug + strlen ((const char *)aug) + 1;
388 const unsigned char *ret = NULL;
389 _uleb128_t utmp;
390 _sleb128_t stmp;
392 /* g++ v2 "eh" has pointer immediately following augmentation string,
393 so it must be handled first. */
394 if (aug[0] == 'e' && aug[1] == 'h')
396 fs->eh_ptr = read_pointer (p);
397 p += sizeof (void *);
398 aug += 2;
401 /* After the augmentation resp. pointer for "eh" augmentation
402 follows for CIE version >= 4 address size byte and
403 segment size byte. */
404 if (__builtin_expect (cie->version >= 4, 0))
406 if (p[0] != sizeof (void *) || p[1] != 0)
407 return NULL;
408 p += 2;
410 /* Immediately following this are the code and
411 data alignment and return address column. */
412 p = read_uleb128 (p, &utmp);
413 fs->code_align = (_Unwind_Word)utmp;
414 p = read_sleb128 (p, &stmp);
415 fs->data_align = (_Unwind_Sword)stmp;
416 if (cie->version == 1)
417 fs->retaddr_column = *p++;
418 else
420 p = read_uleb128 (p, &utmp);
421 fs->retaddr_column = (_Unwind_Word)utmp;
423 fs->lsda_encoding = DW_EH_PE_omit;
425 /* If the augmentation starts with 'z', then a uleb128 immediately
426 follows containing the length of the augmentation field following
427 the size. */
428 if (*aug == 'z')
430 p = read_uleb128 (p, &utmp);
431 ret = p + utmp;
433 fs->saw_z = 1;
434 ++aug;
437 /* Iterate over recognized augmentation subsequences. */
438 while (*aug != '\0')
440 /* "L" indicates a byte showing how the LSDA pointer is encoded. */
441 if (aug[0] == 'L')
443 fs->lsda_encoding = *p++;
444 aug += 1;
447 /* "R" indicates a byte indicating how FDE addresses are encoded. */
448 else if (aug[0] == 'R')
450 fs->fde_encoding = *p++;
451 aug += 1;
454 /* "P" indicates a personality routine in the CIE augmentation. */
455 else if (aug[0] == 'P')
457 _Unwind_Ptr personality;
459 p = read_encoded_value (context, *p, p + 1, &personality);
460 fs->personality = (_Unwind_Personality_Fn) personality;
461 aug += 1;
464 /* "S" indicates a signal frame. */
465 else if (aug[0] == 'S')
467 fs->signal_frame = 1;
468 aug += 1;
471 /* Otherwise we have an unknown augmentation string.
472 Bail unless we saw a 'z' prefix. */
473 else
474 return ret;
477 return ret ? ret : p;
481 /* Decode a DW_OP stack program. Return the top of stack. Push INITIAL
482 onto the stack to start. */
484 static _Unwind_Word
485 execute_stack_op (const unsigned char *op_ptr, const unsigned char *op_end,
486 struct _Unwind_Context *context, _Unwind_Word initial)
488 _Unwind_Word stack[64]; /* ??? Assume this is enough. */
489 int stack_elt;
491 stack[0] = initial;
492 stack_elt = 1;
494 while (op_ptr < op_end)
496 enum dwarf_location_atom op = *op_ptr++;
497 _Unwind_Word result;
498 _uleb128_t reg, utmp;
499 _sleb128_t offset, stmp;
501 switch (op)
503 case DW_OP_lit0:
504 case DW_OP_lit1:
505 case DW_OP_lit2:
506 case DW_OP_lit3:
507 case DW_OP_lit4:
508 case DW_OP_lit5:
509 case DW_OP_lit6:
510 case DW_OP_lit7:
511 case DW_OP_lit8:
512 case DW_OP_lit9:
513 case DW_OP_lit10:
514 case DW_OP_lit11:
515 case DW_OP_lit12:
516 case DW_OP_lit13:
517 case DW_OP_lit14:
518 case DW_OP_lit15:
519 case DW_OP_lit16:
520 case DW_OP_lit17:
521 case DW_OP_lit18:
522 case DW_OP_lit19:
523 case DW_OP_lit20:
524 case DW_OP_lit21:
525 case DW_OP_lit22:
526 case DW_OP_lit23:
527 case DW_OP_lit24:
528 case DW_OP_lit25:
529 case DW_OP_lit26:
530 case DW_OP_lit27:
531 case DW_OP_lit28:
532 case DW_OP_lit29:
533 case DW_OP_lit30:
534 case DW_OP_lit31:
535 result = op - DW_OP_lit0;
536 break;
538 case DW_OP_addr:
539 result = (_Unwind_Word) (_Unwind_Ptr) read_pointer (op_ptr);
540 op_ptr += sizeof (void *);
541 break;
543 case DW_OP_GNU_encoded_addr:
545 _Unwind_Ptr presult;
546 op_ptr = read_encoded_value (context, *op_ptr, op_ptr+1, &presult);
547 result = presult;
549 break;
551 case DW_OP_const1u:
552 result = read_1u (op_ptr);
553 op_ptr += 1;
554 break;
555 case DW_OP_const1s:
556 result = read_1s (op_ptr);
557 op_ptr += 1;
558 break;
559 case DW_OP_const2u:
560 result = read_2u (op_ptr);
561 op_ptr += 2;
562 break;
563 case DW_OP_const2s:
564 result = read_2s (op_ptr);
565 op_ptr += 2;
566 break;
567 case DW_OP_const4u:
568 result = read_4u (op_ptr);
569 op_ptr += 4;
570 break;
571 case DW_OP_const4s:
572 result = read_4s (op_ptr);
573 op_ptr += 4;
574 break;
575 case DW_OP_const8u:
576 result = read_8u (op_ptr);
577 op_ptr += 8;
578 break;
579 case DW_OP_const8s:
580 result = read_8s (op_ptr);
581 op_ptr += 8;
582 break;
583 case DW_OP_constu:
584 op_ptr = read_uleb128 (op_ptr, &utmp);
585 result = (_Unwind_Word)utmp;
586 break;
587 case DW_OP_consts:
588 op_ptr = read_sleb128 (op_ptr, &stmp);
589 result = (_Unwind_Sword)stmp;
590 break;
592 case DW_OP_reg0:
593 case DW_OP_reg1:
594 case DW_OP_reg2:
595 case DW_OP_reg3:
596 case DW_OP_reg4:
597 case DW_OP_reg5:
598 case DW_OP_reg6:
599 case DW_OP_reg7:
600 case DW_OP_reg8:
601 case DW_OP_reg9:
602 case DW_OP_reg10:
603 case DW_OP_reg11:
604 case DW_OP_reg12:
605 case DW_OP_reg13:
606 case DW_OP_reg14:
607 case DW_OP_reg15:
608 case DW_OP_reg16:
609 case DW_OP_reg17:
610 case DW_OP_reg18:
611 case DW_OP_reg19:
612 case DW_OP_reg20:
613 case DW_OP_reg21:
614 case DW_OP_reg22:
615 case DW_OP_reg23:
616 case DW_OP_reg24:
617 case DW_OP_reg25:
618 case DW_OP_reg26:
619 case DW_OP_reg27:
620 case DW_OP_reg28:
621 case DW_OP_reg29:
622 case DW_OP_reg30:
623 case DW_OP_reg31:
624 result = _Unwind_GetGR (context, op - DW_OP_reg0);
625 break;
626 case DW_OP_regx:
627 op_ptr = read_uleb128 (op_ptr, &reg);
628 result = _Unwind_GetGR (context, reg);
629 break;
631 case DW_OP_breg0:
632 case DW_OP_breg1:
633 case DW_OP_breg2:
634 case DW_OP_breg3:
635 case DW_OP_breg4:
636 case DW_OP_breg5:
637 case DW_OP_breg6:
638 case DW_OP_breg7:
639 case DW_OP_breg8:
640 case DW_OP_breg9:
641 case DW_OP_breg10:
642 case DW_OP_breg11:
643 case DW_OP_breg12:
644 case DW_OP_breg13:
645 case DW_OP_breg14:
646 case DW_OP_breg15:
647 case DW_OP_breg16:
648 case DW_OP_breg17:
649 case DW_OP_breg18:
650 case DW_OP_breg19:
651 case DW_OP_breg20:
652 case DW_OP_breg21:
653 case DW_OP_breg22:
654 case DW_OP_breg23:
655 case DW_OP_breg24:
656 case DW_OP_breg25:
657 case DW_OP_breg26:
658 case DW_OP_breg27:
659 case DW_OP_breg28:
660 case DW_OP_breg29:
661 case DW_OP_breg30:
662 case DW_OP_breg31:
663 op_ptr = read_sleb128 (op_ptr, &offset);
664 result = _Unwind_GetGR (context, op - DW_OP_breg0) + offset;
665 break;
666 case DW_OP_bregx:
667 op_ptr = read_uleb128 (op_ptr, &reg);
668 op_ptr = read_sleb128 (op_ptr, &offset);
669 result = _Unwind_GetGR (context, reg) + (_Unwind_Word)offset;
670 break;
672 case DW_OP_dup:
673 gcc_assert (stack_elt);
674 result = stack[stack_elt - 1];
675 break;
677 case DW_OP_drop:
678 gcc_assert (stack_elt);
679 stack_elt -= 1;
680 goto no_push;
682 case DW_OP_pick:
683 offset = *op_ptr++;
684 gcc_assert (offset < stack_elt - 1);
685 result = stack[stack_elt - 1 - offset];
686 break;
688 case DW_OP_over:
689 gcc_assert (stack_elt >= 2);
690 result = stack[stack_elt - 2];
691 break;
693 case DW_OP_swap:
695 _Unwind_Word t;
696 gcc_assert (stack_elt >= 2);
697 t = stack[stack_elt - 1];
698 stack[stack_elt - 1] = stack[stack_elt - 2];
699 stack[stack_elt - 2] = t;
700 goto no_push;
703 case DW_OP_rot:
705 _Unwind_Word t1, t2, t3;
707 gcc_assert (stack_elt >= 3);
708 t1 = stack[stack_elt - 1];
709 t2 = stack[stack_elt - 2];
710 t3 = stack[stack_elt - 3];
711 stack[stack_elt - 1] = t2;
712 stack[stack_elt - 2] = t3;
713 stack[stack_elt - 3] = t1;
714 goto no_push;
717 case DW_OP_deref:
718 case DW_OP_deref_size:
719 case DW_OP_abs:
720 case DW_OP_neg:
721 case DW_OP_not:
722 case DW_OP_plus_uconst:
723 /* Unary operations. */
724 gcc_assert (stack_elt);
725 stack_elt -= 1;
727 result = stack[stack_elt];
729 switch (op)
731 case DW_OP_deref:
733 void *ptr = (void *) (_Unwind_Ptr) result;
734 result = (_Unwind_Ptr) read_pointer (ptr);
736 break;
738 case DW_OP_deref_size:
740 void *ptr = (void *) (_Unwind_Ptr) result;
741 switch (*op_ptr++)
743 case 1:
744 result = read_1u (ptr);
745 break;
746 case 2:
747 result = read_2u (ptr);
748 break;
749 case 4:
750 result = read_4u (ptr);
751 break;
752 case 8:
753 result = read_8u (ptr);
754 break;
755 default:
756 gcc_unreachable ();
759 break;
761 case DW_OP_abs:
762 if ((_Unwind_Sword) result < 0)
763 result = -result;
764 break;
765 case DW_OP_neg:
766 result = -result;
767 break;
768 case DW_OP_not:
769 result = ~result;
770 break;
771 case DW_OP_plus_uconst:
772 op_ptr = read_uleb128 (op_ptr, &utmp);
773 result += (_Unwind_Word)utmp;
774 break;
776 default:
777 gcc_unreachable ();
779 break;
781 case DW_OP_and:
782 case DW_OP_div:
783 case DW_OP_minus:
784 case DW_OP_mod:
785 case DW_OP_mul:
786 case DW_OP_or:
787 case DW_OP_plus:
788 case DW_OP_shl:
789 case DW_OP_shr:
790 case DW_OP_shra:
791 case DW_OP_xor:
792 case DW_OP_le:
793 case DW_OP_ge:
794 case DW_OP_eq:
795 case DW_OP_lt:
796 case DW_OP_gt:
797 case DW_OP_ne:
799 /* Binary operations. */
800 _Unwind_Word first, second;
801 gcc_assert (stack_elt >= 2);
802 stack_elt -= 2;
804 second = stack[stack_elt];
805 first = stack[stack_elt + 1];
807 switch (op)
809 case DW_OP_and:
810 result = second & first;
811 break;
812 case DW_OP_div:
813 result = (_Unwind_Sword) second / (_Unwind_Sword) first;
814 break;
815 case DW_OP_minus:
816 result = second - first;
817 break;
818 case DW_OP_mod:
819 result = second % first;
820 break;
821 case DW_OP_mul:
822 result = second * first;
823 break;
824 case DW_OP_or:
825 result = second | first;
826 break;
827 case DW_OP_plus:
828 result = second + first;
829 break;
830 case DW_OP_shl:
831 result = second << first;
832 break;
833 case DW_OP_shr:
834 result = second >> first;
835 break;
836 case DW_OP_shra:
837 result = (_Unwind_Sword) second >> first;
838 break;
839 case DW_OP_xor:
840 result = second ^ first;
841 break;
842 case DW_OP_le:
843 result = (_Unwind_Sword) second <= (_Unwind_Sword) first;
844 break;
845 case DW_OP_ge:
846 result = (_Unwind_Sword) second >= (_Unwind_Sword) first;
847 break;
848 case DW_OP_eq:
849 result = (_Unwind_Sword) second == (_Unwind_Sword) first;
850 break;
851 case DW_OP_lt:
852 result = (_Unwind_Sword) second < (_Unwind_Sword) first;
853 break;
854 case DW_OP_gt:
855 result = (_Unwind_Sword) second > (_Unwind_Sword) first;
856 break;
857 case DW_OP_ne:
858 result = (_Unwind_Sword) second != (_Unwind_Sword) first;
859 break;
861 default:
862 gcc_unreachable ();
865 break;
867 case DW_OP_skip:
868 offset = read_2s (op_ptr);
869 op_ptr += 2;
870 op_ptr += offset;
871 goto no_push;
873 case DW_OP_bra:
874 gcc_assert (stack_elt);
875 stack_elt -= 1;
877 offset = read_2s (op_ptr);
878 op_ptr += 2;
879 if (stack[stack_elt] != 0)
880 op_ptr += offset;
881 goto no_push;
883 case DW_OP_nop:
884 goto no_push;
886 default:
887 gcc_unreachable ();
890 /* Most things push a result value. */
891 gcc_assert ((size_t) stack_elt < sizeof(stack)/sizeof(*stack));
892 stack[stack_elt++] = result;
893 no_push:;
896 /* We were executing this program to get a value. It should be
897 at top of stack. */
898 gcc_assert (stack_elt);
899 stack_elt -= 1;
900 return stack[stack_elt];
904 /* Decode DWARF 2 call frame information. Takes pointers the
905 instruction sequence to decode, current register information and
906 CIE info, and the PC range to evaluate. */
908 static void
909 execute_cfa_program (const unsigned char *insn_ptr,
910 const unsigned char *insn_end,
911 struct _Unwind_Context *context,
912 _Unwind_FrameState *fs)
914 struct frame_state_reg_info *unused_rs = NULL;
916 /* Don't allow remember/restore between CIE and FDE programs. */
917 fs->regs.prev = NULL;
919 /* The comparison with the return address uses < rather than <= because
920 we are only interested in the effects of code before the call; for a
921 noreturn function, the return address may point to unrelated code with
922 a different stack configuration that we are not interested in. We
923 assume that the call itself is unwind info-neutral; if not, or if
924 there are delay instructions that adjust the stack, these must be
925 reflected at the point immediately before the call insn.
926 In signal frames, return address is after last completed instruction,
927 so we add 1 to return address to make the comparison <=. */
928 while (insn_ptr < insn_end
929 && fs->pc < context->ra + _Unwind_IsSignalFrame (context))
931 unsigned char insn = *insn_ptr++;
932 _uleb128_t reg, utmp;
933 _sleb128_t offset, stmp;
935 if ((insn & 0xc0) == DW_CFA_advance_loc)
936 fs->pc += (insn & 0x3f) * fs->code_align;
937 else if ((insn & 0xc0) == DW_CFA_offset)
939 reg = insn & 0x3f;
940 insn_ptr = read_uleb128 (insn_ptr, &utmp);
941 offset = (_Unwind_Sword) utmp * fs->data_align;
942 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how
943 = REG_SAVED_OFFSET;
944 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].loc.offset = offset;
946 else if ((insn & 0xc0) == DW_CFA_restore)
948 reg = insn & 0x3f;
949 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how = REG_UNSAVED;
951 else switch (insn)
953 case DW_CFA_set_loc:
955 _Unwind_Ptr pc;
957 insn_ptr = read_encoded_value (context, fs->fde_encoding,
958 insn_ptr, &pc);
959 fs->pc = (void *) pc;
961 break;
963 case DW_CFA_advance_loc1:
964 fs->pc += read_1u (insn_ptr) * fs->code_align;
965 insn_ptr += 1;
966 break;
967 case DW_CFA_advance_loc2:
968 fs->pc += read_2u (insn_ptr) * fs->code_align;
969 insn_ptr += 2;
970 break;
971 case DW_CFA_advance_loc4:
972 fs->pc += read_4u (insn_ptr) * fs->code_align;
973 insn_ptr += 4;
974 break;
976 case DW_CFA_offset_extended:
977 insn_ptr = read_uleb128 (insn_ptr, &reg);
978 insn_ptr = read_uleb128 (insn_ptr, &utmp);
979 offset = (_Unwind_Sword) utmp * fs->data_align;
980 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how
981 = REG_SAVED_OFFSET;
982 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].loc.offset = offset;
983 break;
985 case DW_CFA_restore_extended:
986 insn_ptr = read_uleb128 (insn_ptr, &reg);
987 /* FIXME, this is wrong; the CIE might have said that the
988 register was saved somewhere. */
989 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN(reg)].how = REG_UNSAVED;
990 break;
992 case DW_CFA_same_value:
993 insn_ptr = read_uleb128 (insn_ptr, &reg);
994 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN(reg)].how = REG_UNSAVED;
995 break;
997 case DW_CFA_undefined:
998 insn_ptr = read_uleb128 (insn_ptr, &reg);
999 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN(reg)].how = REG_UNDEFINED;
1000 break;
1002 case DW_CFA_nop:
1003 break;
1005 case DW_CFA_register:
1007 _uleb128_t reg2;
1008 insn_ptr = read_uleb128 (insn_ptr, &reg);
1009 insn_ptr = read_uleb128 (insn_ptr, &reg2);
1010 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how = REG_SAVED_REG;
1011 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].loc.reg =
1012 (_Unwind_Word)reg2;
1014 break;
1016 case DW_CFA_remember_state:
1018 struct frame_state_reg_info *new_rs;
1019 if (unused_rs)
1021 new_rs = unused_rs;
1022 unused_rs = unused_rs->prev;
1024 else
1025 new_rs = alloca (sizeof (struct frame_state_reg_info));
1027 *new_rs = fs->regs;
1028 fs->regs.prev = new_rs;
1030 break;
1032 case DW_CFA_restore_state:
1034 struct frame_state_reg_info *old_rs = fs->regs.prev;
1035 fs->regs = *old_rs;
1036 old_rs->prev = unused_rs;
1037 unused_rs = old_rs;
1039 break;
1041 case DW_CFA_def_cfa:
1042 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1043 fs->regs.cfa_reg = (_Unwind_Word)utmp;
1044 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1045 fs->regs.cfa_offset = (_Unwind_Word)utmp;
1046 fs->regs.cfa_how = CFA_REG_OFFSET;
1047 break;
1049 case DW_CFA_def_cfa_register:
1050 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1051 fs->regs.cfa_reg = (_Unwind_Word)utmp;
1052 fs->regs.cfa_how = CFA_REG_OFFSET;
1053 break;
1055 case DW_CFA_def_cfa_offset:
1056 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1057 fs->regs.cfa_offset = utmp;
1058 /* cfa_how deliberately not set. */
1059 break;
1061 case DW_CFA_def_cfa_expression:
1062 fs->regs.cfa_exp = insn_ptr;
1063 fs->regs.cfa_how = CFA_EXP;
1064 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1065 insn_ptr += utmp;
1066 break;
1068 case DW_CFA_expression:
1069 insn_ptr = read_uleb128 (insn_ptr, &reg);
1070 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how = REG_SAVED_EXP;
1071 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].loc.exp = insn_ptr;
1072 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1073 insn_ptr += utmp;
1074 break;
1076 /* Dwarf3. */
1077 case DW_CFA_offset_extended_sf:
1078 insn_ptr = read_uleb128 (insn_ptr, &reg);
1079 insn_ptr = read_sleb128 (insn_ptr, &stmp);
1080 offset = stmp * fs->data_align;
1081 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how
1082 = REG_SAVED_OFFSET;
1083 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].loc.offset = offset;
1084 break;
1086 case DW_CFA_def_cfa_sf:
1087 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1088 fs->regs.cfa_reg = (_Unwind_Word)utmp;
1089 insn_ptr = read_sleb128 (insn_ptr, &stmp);
1090 fs->regs.cfa_offset = (_Unwind_Sword)stmp;
1091 fs->regs.cfa_how = CFA_REG_OFFSET;
1092 fs->regs.cfa_offset *= fs->data_align;
1093 break;
1095 case DW_CFA_def_cfa_offset_sf:
1096 insn_ptr = read_sleb128 (insn_ptr, &stmp);
1097 fs->regs.cfa_offset = (_Unwind_Sword)stmp;
1098 fs->regs.cfa_offset *= fs->data_align;
1099 /* cfa_how deliberately not set. */
1100 break;
1102 case DW_CFA_val_offset:
1103 insn_ptr = read_uleb128 (insn_ptr, &reg);
1104 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1105 offset = (_Unwind_Sword) utmp * fs->data_align;
1106 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how
1107 = REG_SAVED_VAL_OFFSET;
1108 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].loc.offset = offset;
1109 break;
1111 case DW_CFA_val_offset_sf:
1112 insn_ptr = read_uleb128 (insn_ptr, &reg);
1113 insn_ptr = read_sleb128 (insn_ptr, &stmp);
1114 offset = stmp * fs->data_align;
1115 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how
1116 = REG_SAVED_VAL_OFFSET;
1117 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].loc.offset = offset;
1118 break;
1120 case DW_CFA_val_expression:
1121 insn_ptr = read_uleb128 (insn_ptr, &reg);
1122 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how
1123 = REG_SAVED_VAL_EXP;
1124 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].loc.exp = insn_ptr;
1125 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1126 insn_ptr += utmp;
1127 break;
1129 case DW_CFA_GNU_window_save:
1130 /* ??? Hardcoded for SPARC register window configuration. */
1131 if (DWARF_FRAME_REGISTERS >= 32)
1132 for (reg = 16; reg < 32; ++reg)
1134 fs->regs.reg[reg].how = REG_SAVED_OFFSET;
1135 fs->regs.reg[reg].loc.offset = (reg - 16) * sizeof (void *);
1137 break;
1139 case DW_CFA_GNU_args_size:
1140 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1141 context->args_size = (_Unwind_Word)utmp;
1142 break;
1144 case DW_CFA_GNU_negative_offset_extended:
1145 /* Obsoleted by DW_CFA_offset_extended_sf, but used by
1146 older PowerPC code. */
1147 insn_ptr = read_uleb128 (insn_ptr, &reg);
1148 insn_ptr = read_uleb128 (insn_ptr, &utmp);
1149 offset = (_Unwind_Word) utmp * fs->data_align;
1150 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].how
1151 = REG_SAVED_OFFSET;
1152 fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (reg)].loc.offset = -offset;
1153 break;
1155 default:
1156 gcc_unreachable ();
1161 /* Given the _Unwind_Context CONTEXT for a stack frame, look up the FDE for
1162 its caller and decode it into FS. This function also sets the
1163 args_size and lsda members of CONTEXT, as they are really information
1164 about the caller's frame. */
1166 static _Unwind_Reason_Code
1167 uw_frame_state_for (struct _Unwind_Context *context, _Unwind_FrameState *fs)
1169 const struct dwarf_fde *fde;
1170 const struct dwarf_cie *cie;
1171 const unsigned char *aug, *insn, *end;
1173 memset (fs, 0, sizeof (*fs));
1174 context->args_size = 0;
1175 context->lsda = 0;
1177 if (context->ra == 0)
1178 return _URC_END_OF_STACK;
1180 fde = _Unwind_Find_FDE (context->ra + _Unwind_IsSignalFrame (context) - 1,
1181 &context->bases);
1182 if (fde == NULL)
1184 #ifdef MD_FALLBACK_FRAME_STATE_FOR
1185 /* Couldn't find frame unwind info for this function. Try a
1186 target-specific fallback mechanism. This will necessarily
1187 not provide a personality routine or LSDA. */
1188 return MD_FALLBACK_FRAME_STATE_FOR (context, fs);
1189 #else
1190 return _URC_END_OF_STACK;
1191 #endif
1194 fs->pc = context->bases.func;
1196 cie = get_cie (fde);
1197 insn = extract_cie_info (cie, context, fs);
1198 if (insn == NULL)
1199 /* CIE contained unknown augmentation. */
1200 return _URC_FATAL_PHASE1_ERROR;
1202 /* First decode all the insns in the CIE. */
1203 end = (const unsigned char *) next_fde ((const struct dwarf_fde *) cie);
1204 execute_cfa_program (insn, end, context, fs);
1206 /* Locate augmentation for the fde. */
1207 aug = (const unsigned char *) fde + sizeof (*fde);
1208 aug += 2 * size_of_encoded_value (fs->fde_encoding);
1209 insn = NULL;
1210 if (fs->saw_z)
1212 _uleb128_t i;
1213 aug = read_uleb128 (aug, &i);
1214 insn = aug + i;
1216 if (fs->lsda_encoding != DW_EH_PE_omit)
1218 _Unwind_Ptr lsda;
1220 aug = read_encoded_value (context, fs->lsda_encoding, aug, &lsda);
1221 context->lsda = (void *) lsda;
1224 /* Then the insns in the FDE up to our target PC. */
1225 if (insn == NULL)
1226 insn = aug;
1227 end = (const unsigned char *) next_fde (fde);
1228 execute_cfa_program (insn, end, context, fs);
1230 return _URC_NO_REASON;
1233 typedef struct frame_state
1235 void *cfa;
1236 void *eh_ptr;
1237 long cfa_offset;
1238 long args_size;
1239 long reg_or_offset[PRE_GCC3_DWARF_FRAME_REGISTERS+1];
1240 unsigned short cfa_reg;
1241 unsigned short retaddr_column;
1242 char saved[PRE_GCC3_DWARF_FRAME_REGISTERS+1];
1243 } frame_state;
1245 struct frame_state * __frame_state_for (void *, struct frame_state *);
1247 /* Called from pre-G++ 3.0 __throw to find the registers to restore for
1248 a given PC_TARGET. The caller should allocate a local variable of
1249 `struct frame_state' and pass its address to STATE_IN. */
1251 struct frame_state *
1252 __frame_state_for (void *pc_target, struct frame_state *state_in)
1254 struct _Unwind_Context context;
1255 _Unwind_FrameState fs;
1256 int reg;
1258 memset (&context, 0, sizeof (struct _Unwind_Context));
1259 if (!ASSUME_EXTENDED_UNWIND_CONTEXT)
1260 context.flags = EXTENDED_CONTEXT_BIT;
1261 context.ra = pc_target + 1;
1263 if (uw_frame_state_for (&context, &fs) != _URC_NO_REASON)
1264 return 0;
1266 /* We have no way to pass a location expression for the CFA to our
1267 caller. It wouldn't understand it anyway. */
1268 if (fs.regs.cfa_how == CFA_EXP)
1269 return 0;
1271 for (reg = 0; reg < PRE_GCC3_DWARF_FRAME_REGISTERS + 1; reg++)
1273 state_in->saved[reg] = fs.regs.reg[reg].how;
1274 switch (state_in->saved[reg])
1276 case REG_SAVED_REG:
1277 state_in->reg_or_offset[reg] = fs.regs.reg[reg].loc.reg;
1278 break;
1279 case REG_SAVED_OFFSET:
1280 state_in->reg_or_offset[reg] = fs.regs.reg[reg].loc.offset;
1281 break;
1282 default:
1283 state_in->reg_or_offset[reg] = 0;
1284 break;
1288 state_in->cfa_offset = fs.regs.cfa_offset;
1289 state_in->cfa_reg = fs.regs.cfa_reg;
1290 state_in->retaddr_column = fs.retaddr_column;
1291 state_in->args_size = context.args_size;
1292 state_in->eh_ptr = fs.eh_ptr;
1294 return state_in;
1297 typedef union { _Unwind_Ptr ptr; _Unwind_Word word; } _Unwind_SpTmp;
1299 static inline void
1300 _Unwind_SetSpColumn (struct _Unwind_Context *context, void *cfa,
1301 _Unwind_SpTmp *tmp_sp)
1303 int size = dwarf_reg_size_table[__builtin_dwarf_sp_column ()];
1305 if (size == sizeof(_Unwind_Ptr))
1306 tmp_sp->ptr = (_Unwind_Ptr) cfa;
1307 else
1309 gcc_assert (size == sizeof(_Unwind_Word));
1310 tmp_sp->word = (_Unwind_Ptr) cfa;
1312 _Unwind_SetGRPtr (context, __builtin_dwarf_sp_column (), tmp_sp);
1315 static void
1316 uw_update_context_1 (struct _Unwind_Context *context, _Unwind_FrameState *fs)
1318 struct _Unwind_Context orig_context = *context;
1319 void *cfa;
1320 long i;
1322 #ifdef EH_RETURN_STACKADJ_RTX
1323 /* Special handling here: Many machines do not use a frame pointer,
1324 and track the CFA only through offsets from the stack pointer from
1325 one frame to the next. In this case, the stack pointer is never
1326 stored, so it has no saved address in the context. What we do
1327 have is the CFA from the previous stack frame.
1329 In very special situations (such as unwind info for signal return),
1330 there may be location expressions that use the stack pointer as well.
1332 Do this conditionally for one frame. This allows the unwind info
1333 for one frame to save a copy of the stack pointer from the previous
1334 frame, and be able to use much easier CFA mechanisms to do it.
1335 Always zap the saved stack pointer value for the next frame; carrying
1336 the value over from one frame to another doesn't make sense. */
1338 _Unwind_SpTmp tmp_sp;
1340 if (!_Unwind_GetGRPtr (&orig_context, __builtin_dwarf_sp_column ()))
1341 _Unwind_SetSpColumn (&orig_context, context->cfa, &tmp_sp);
1342 _Unwind_SetGRPtr (context, __builtin_dwarf_sp_column (), NULL);
1343 #endif
1345 /* Compute this frame's CFA. */
1346 switch (fs->regs.cfa_how)
1348 case CFA_REG_OFFSET:
1349 cfa = _Unwind_GetPtr (&orig_context, fs->regs.cfa_reg);
1350 cfa += fs->regs.cfa_offset;
1351 break;
1353 case CFA_EXP:
1355 const unsigned char *exp = fs->regs.cfa_exp;
1356 _uleb128_t len;
1358 exp = read_uleb128 (exp, &len);
1359 cfa = (void *) (_Unwind_Ptr)
1360 execute_stack_op (exp, exp + len, &orig_context, 0);
1361 break;
1364 default:
1365 gcc_unreachable ();
1367 context->cfa = cfa;
1369 /* Compute the addresses of all registers saved in this frame. */
1370 for (i = 0; i < DWARF_FRAME_REGISTERS + 1; ++i)
1371 switch (fs->regs.reg[i].how)
1373 case REG_UNSAVED:
1374 case REG_UNDEFINED:
1375 break;
1377 case REG_SAVED_OFFSET:
1378 _Unwind_SetGRPtr (context, i,
1379 (void *) (cfa + fs->regs.reg[i].loc.offset));
1380 break;
1382 case REG_SAVED_REG:
1383 if (_Unwind_GRByValue (&orig_context, fs->regs.reg[i].loc.reg))
1384 _Unwind_SetGRValue (context, i,
1385 _Unwind_GetGR (&orig_context,
1386 fs->regs.reg[i].loc.reg));
1387 else
1388 _Unwind_SetGRPtr (context, i,
1389 _Unwind_GetGRPtr (&orig_context,
1390 fs->regs.reg[i].loc.reg));
1391 break;
1393 case REG_SAVED_EXP:
1395 const unsigned char *exp = fs->regs.reg[i].loc.exp;
1396 _uleb128_t len;
1397 _Unwind_Ptr val;
1399 exp = read_uleb128 (exp, &len);
1400 val = execute_stack_op (exp, exp + len, &orig_context,
1401 (_Unwind_Ptr) cfa);
1402 _Unwind_SetGRPtr (context, i, (void *) val);
1404 break;
1406 case REG_SAVED_VAL_OFFSET:
1407 _Unwind_SetGRValue (context, i,
1408 (_Unwind_Internal_Ptr)
1409 (cfa + fs->regs.reg[i].loc.offset));
1410 break;
1412 case REG_SAVED_VAL_EXP:
1414 const unsigned char *exp = fs->regs.reg[i].loc.exp;
1415 _uleb128_t len;
1416 _Unwind_Ptr val;
1418 exp = read_uleb128 (exp, &len);
1419 val = execute_stack_op (exp, exp + len, &orig_context,
1420 (_Unwind_Ptr) cfa);
1421 _Unwind_SetGRValue (context, i, val);
1423 break;
1426 _Unwind_SetSignalFrame (context, fs->signal_frame);
1428 #ifdef MD_FROB_UPDATE_CONTEXT
1429 MD_FROB_UPDATE_CONTEXT (context, fs);
1430 #endif
1433 /* CONTEXT describes the unwind state for a frame, and FS describes the FDE
1434 of its caller. Update CONTEXT to refer to the caller as well. Note
1435 that the args_size and lsda members are not updated here, but later in
1436 uw_frame_state_for. */
1438 static void
1439 uw_update_context (struct _Unwind_Context *context, _Unwind_FrameState *fs)
1441 uw_update_context_1 (context, fs);
1443 /* In general this unwinder doesn't make any distinction between
1444 undefined and same_value rule. Call-saved registers are assumed
1445 to have same_value rule by default and explicit undefined
1446 rule is handled like same_value. The only exception is
1447 DW_CFA_undefined on retaddr_column which is supposed to
1448 mark outermost frame in DWARF 3. */
1449 if (fs->regs.reg[DWARF_REG_TO_UNWIND_COLUMN (fs->retaddr_column)].how
1450 == REG_UNDEFINED)
1451 /* uw_frame_state_for uses context->ra == 0 check to find outermost
1452 stack frame. */
1453 context->ra = 0;
1454 else
1455 /* Compute the return address now, since the return address column
1456 can change from frame to frame. */
1457 context->ra = __builtin_extract_return_addr
1458 (_Unwind_GetPtr (context, fs->retaddr_column));
1461 static void
1462 uw_advance_context (struct _Unwind_Context *context, _Unwind_FrameState *fs)
1464 uw_update_context (context, fs);
1467 /* Fill in CONTEXT for top-of-stack. The only valid registers at this
1468 level will be the return address and the CFA. */
1470 #define uw_init_context(CONTEXT) \
1471 do \
1473 /* Do any necessary initialization to access arbitrary stack frames. \
1474 On the SPARC, this means flushing the register windows. */ \
1475 __builtin_unwind_init (); \
1476 uw_init_context_1 (CONTEXT, __builtin_dwarf_cfa (), \
1477 __builtin_return_address (0)); \
1479 while (0)
1481 static inline void
1482 init_dwarf_reg_size_table (void)
1484 __builtin_init_dwarf_reg_size_table (dwarf_reg_size_table);
1487 static void __attribute__((noinline))
1488 uw_init_context_1 (struct _Unwind_Context *context,
1489 void *outer_cfa, void *outer_ra)
1491 void *ra = __builtin_extract_return_addr (__builtin_return_address (0));
1492 _Unwind_FrameState fs;
1493 _Unwind_SpTmp sp_slot;
1494 _Unwind_Reason_Code code;
1496 memset (context, 0, sizeof (struct _Unwind_Context));
1497 context->ra = ra;
1498 if (!ASSUME_EXTENDED_UNWIND_CONTEXT)
1499 context->flags = EXTENDED_CONTEXT_BIT;
1501 code = uw_frame_state_for (context, &fs);
1502 gcc_assert (code == _URC_NO_REASON);
1504 #if __GTHREADS
1506 static __gthread_once_t once_regsizes = __GTHREAD_ONCE_INIT;
1507 if (__gthread_once (&once_regsizes, init_dwarf_reg_size_table) != 0
1508 && dwarf_reg_size_table[0] == 0)
1509 init_dwarf_reg_size_table ();
1511 #else
1512 if (dwarf_reg_size_table[0] == 0)
1513 init_dwarf_reg_size_table ();
1514 #endif
1516 /* Force the frame state to use the known cfa value. */
1517 _Unwind_SetSpColumn (context, outer_cfa, &sp_slot);
1518 fs.regs.cfa_how = CFA_REG_OFFSET;
1519 fs.regs.cfa_reg = __builtin_dwarf_sp_column ();
1520 fs.regs.cfa_offset = 0;
1522 uw_update_context_1 (context, &fs);
1524 /* If the return address column was saved in a register in the
1525 initialization context, then we can't see it in the given
1526 call frame data. So have the initialization context tell us. */
1527 context->ra = __builtin_extract_return_addr (outer_ra);
1530 static void _Unwind_DebugHook (void *, void *)
1531 __attribute__ ((__noinline__, __used__, __noclone__));
1533 /* This function is called during unwinding. It is intended as a hook
1534 for a debugger to intercept exceptions. CFA is the CFA of the
1535 target frame. HANDLER is the PC to which control will be
1536 transferred. */
1537 static void
1538 _Unwind_DebugHook (void *cfa __attribute__ ((__unused__)),
1539 void *handler __attribute__ ((__unused__)))
1541 /* We only want to use stap probes starting with v3. Earlier
1542 versions added too much startup cost. */
1543 #if defined (HAVE_SYS_SDT_H) && defined (STAP_PROBE2) && _SDT_NOTE_TYPE >= 3
1544 STAP_PROBE2 (libgcc, unwind, cfa, handler);
1545 #else
1546 asm ("");
1547 #endif
1550 /* Install TARGET into CURRENT so that we can return to it. This is a
1551 macro because __builtin_eh_return must be invoked in the context of
1552 our caller. */
1554 #define uw_install_context(CURRENT, TARGET) \
1555 do \
1557 long offset = uw_install_context_1 ((CURRENT), (TARGET)); \
1558 void *handler = __builtin_frob_return_addr ((TARGET)->ra); \
1559 _Unwind_DebugHook ((TARGET)->cfa, handler); \
1560 __builtin_eh_return (offset, handler); \
1562 while (0)
1564 static long
1565 uw_install_context_1 (struct _Unwind_Context *current,
1566 struct _Unwind_Context *target)
1568 long i;
1569 _Unwind_SpTmp sp_slot;
1571 /* If the target frame does not have a saved stack pointer,
1572 then set up the target's CFA. */
1573 if (!_Unwind_GetGRPtr (target, __builtin_dwarf_sp_column ()))
1574 _Unwind_SetSpColumn (target, target->cfa, &sp_slot);
1576 for (i = 0; i < DWARF_FRAME_REGISTERS; ++i)
1578 void *c = (void *) (_Unwind_Internal_Ptr) current->reg[i];
1579 void *t = (void *) (_Unwind_Internal_Ptr)target->reg[i];
1581 gcc_assert (current->by_value[i] == 0);
1582 if (target->by_value[i] && c)
1584 _Unwind_Word w;
1585 _Unwind_Ptr p;
1586 if (dwarf_reg_size_table[i] == sizeof (_Unwind_Word))
1588 w = (_Unwind_Internal_Ptr) t;
1589 memcpy (c, &w, sizeof (_Unwind_Word));
1591 else
1593 gcc_assert (dwarf_reg_size_table[i] == sizeof (_Unwind_Ptr));
1594 p = (_Unwind_Internal_Ptr) t;
1595 memcpy (c, &p, sizeof (_Unwind_Ptr));
1598 else if (t && c && t != c)
1599 memcpy (c, t, dwarf_reg_size_table[i]);
1602 /* If the current frame doesn't have a saved stack pointer, then we
1603 need to rely on EH_RETURN_STACKADJ_RTX to get our target stack
1604 pointer value reloaded. */
1605 if (!_Unwind_GetGRPtr (current, __builtin_dwarf_sp_column ()))
1607 void *target_cfa;
1609 target_cfa = _Unwind_GetPtr (target, __builtin_dwarf_sp_column ());
1611 /* We adjust SP by the difference between CURRENT and TARGET's CFA. */
1612 if (STACK_GROWS_DOWNWARD)
1613 return target_cfa - current->cfa + target->args_size;
1614 else
1615 return current->cfa - target_cfa - target->args_size;
1617 return 0;
1620 static inline _Unwind_Ptr
1621 uw_identify_context (struct _Unwind_Context *context)
1623 /* The CFA is not sufficient to disambiguate the context of a function
1624 interrupted by a signal before establishing its frame and the context
1625 of the signal itself. */
1626 if (STACK_GROWS_DOWNWARD)
1627 return _Unwind_GetCFA (context) - _Unwind_IsSignalFrame (context);
1628 else
1629 return _Unwind_GetCFA (context) + _Unwind_IsSignalFrame (context);
1633 #include "unwind.inc"
1635 #if defined (USE_GAS_SYMVER) && defined (SHARED) && defined (USE_LIBUNWIND_EXCEPTIONS)
1636 alias (_Unwind_Backtrace);
1637 alias (_Unwind_DeleteException);
1638 alias (_Unwind_FindEnclosingFunction);
1639 alias (_Unwind_ForcedUnwind);
1640 alias (_Unwind_GetDataRelBase);
1641 alias (_Unwind_GetTextRelBase);
1642 alias (_Unwind_GetCFA);
1643 alias (_Unwind_GetGR);
1644 alias (_Unwind_GetIP);
1645 alias (_Unwind_GetLanguageSpecificData);
1646 alias (_Unwind_GetRegionStart);
1647 alias (_Unwind_RaiseException);
1648 alias (_Unwind_Resume);
1649 alias (_Unwind_Resume_or_Rethrow);
1650 alias (_Unwind_SetGR);
1651 alias (_Unwind_SetIP);
1652 #endif
1654 #endif /* !USING_SJLJ_EXCEPTIONS */