Home | History | Annotate | Line # | Download | only in libunwind
DwarfInstructions.hpp revision 1.5.2.2
      1  1.5.2.2  rmind //===-------------------------- DwarfInstructions.hpp ---------------------===//
      2  1.5.2.2  rmind //
      3  1.5.2.2  rmind //                     The LLVM Compiler Infrastructure
      4  1.5.2.2  rmind //
      5  1.5.2.2  rmind // This file is dual licensed under the MIT and the University of Illinois Open
      6  1.5.2.2  rmind // Source Licenses. See LICENSE.TXT for details.
      7  1.5.2.2  rmind //
      8  1.5.2.2  rmind //
      9  1.5.2.2  rmind //  Processor specific interpretation of DWARF unwind info.
     10  1.5.2.2  rmind //
     11  1.5.2.2  rmind //===----------------------------------------------------------------------===//
     12  1.5.2.2  rmind 
     13  1.5.2.2  rmind #ifndef __DWARF_INSTRUCTIONS_HPP__
     14  1.5.2.2  rmind #define __DWARF_INSTRUCTIONS_HPP__
     15  1.5.2.2  rmind 
     16  1.5.2.2  rmind #include <cstdint>
     17  1.5.2.2  rmind #include <cstdlib>
     18  1.5.2.2  rmind 
     19  1.5.2.2  rmind #include "dwarf2.h"
     20  1.5.2.2  rmind #include "AddressSpace.hpp"
     21  1.5.2.2  rmind #include "Registers.hpp"
     22  1.5.2.2  rmind #include "DwarfParser.hpp"
     23  1.5.2.2  rmind 
     24  1.5.2.2  rmind namespace _Unwind {
     25  1.5.2.2  rmind 
     26  1.5.2.2  rmind enum step_result {
     27  1.5.2.2  rmind   UNW_STEP_SUCCESS,
     28  1.5.2.2  rmind   UNW_STEP_END,
     29  1.5.2.2  rmind   UNW_STEP_FAILED
     30  1.5.2.2  rmind };
     31  1.5.2.2  rmind 
     32  1.5.2.2  rmind /// DwarfInstructions maps abtract dwarf unwind instructions to a particular
     33  1.5.2.2  rmind /// architecture
     34  1.5.2.2  rmind template <typename A, typename R> class DwarfInstructions {
     35  1.5.2.2  rmind public:
     36  1.5.2.2  rmind   typedef typename A::pint_t pint_t;
     37  1.5.2.2  rmind   typedef typename A::sint_t sint_t;
     38  1.5.2.2  rmind 
     39  1.5.2.2  rmind   static step_result stepWithDwarf(A &, pint_t, pint_t, R &, unw_proc_info_t *);
     40  1.5.2.2  rmind 
     41  1.5.2.2  rmind private:
     42  1.5.2.2  rmind   static pint_t evaluateExpression(pint_t, A &, const R &, pint_t);
     43  1.5.2.2  rmind   static pint_t
     44  1.5.2.2  rmind   getSavedRegister(A &, const R &, pint_t,
     45  1.5.2.2  rmind                    const typename CFI_Parser<A, R>::RegisterLocation &);
     46  1.5.2.2  rmind   static pint_t
     47  1.5.2.2  rmind   computeRegisterLocation(A &, const R &, pint_t,
     48  1.5.2.2  rmind                           const typename CFI_Parser<A, R>::RegisterLocation &);
     49  1.5.2.2  rmind 
     50  1.5.2.2  rmind   static int lastRestoreReg(const R &) { return R::LAST_RESTORE_REG; }
     51  1.5.2.2  rmind 
     52  1.5.2.2  rmind   static pint_t getCFA(A &addressSpace,
     53  1.5.2.2  rmind                        const typename CFI_Parser<A, R>::PrologInfo &prolog,
     54  1.5.2.2  rmind                        const R &registers) {
     55  1.5.2.2  rmind     if (prolog.cfaRegister != 0)
     56  1.5.2.2  rmind       return registers.getRegister(prolog.cfaRegister) +
     57  1.5.2.2  rmind              prolog.cfaRegisterOffset;
     58  1.5.2.2  rmind     if (prolog.cfaExpression != 0)
     59  1.5.2.2  rmind       return evaluateExpression(prolog.cfaExpression, addressSpace, registers,
     60  1.5.2.2  rmind                                 0);
     61  1.5.2.2  rmind     assert(0 && "getCFA(): unknown location");
     62  1.5.2.2  rmind     __builtin_unreachable();
     63  1.5.2.2  rmind   }
     64  1.5.2.2  rmind };
     65  1.5.2.2  rmind 
     66  1.5.2.2  rmind template <typename A, typename R>
     67  1.5.2.2  rmind typename A::pint_t DwarfInstructions<A, R>::getSavedRegister(
     68  1.5.2.2  rmind     A &addressSpace, const R &registers, pint_t cfa,
     69  1.5.2.2  rmind     const typename CFI_Parser<A, R>::RegisterLocation &savedReg) {
     70  1.5.2.2  rmind   switch (savedReg.location) {
     71  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterInCFA:
     72  1.5.2.2  rmind     return addressSpace.getP(cfa + savedReg.value);
     73  1.5.2.2  rmind 
     74  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterAtExpression:
     75  1.5.2.2  rmind     return addressSpace.getP(
     76  1.5.2.2  rmind         evaluateExpression(savedReg.value, addressSpace, registers, cfa));
     77  1.5.2.2  rmind 
     78  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterIsExpression:
     79  1.5.2.2  rmind     return evaluateExpression(savedReg.value, addressSpace, registers, cfa);
     80  1.5.2.2  rmind 
     81  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterInRegister:
     82  1.5.2.2  rmind     return registers.getRegister(savedReg.value);
     83  1.5.2.2  rmind 
     84  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterUnused:
     85  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterOffsetFromCFA:
     86  1.5.2.2  rmind     assert(0 && "unsupported restore location for register");
     87  1.5.2.2  rmind   }
     88  1.5.2.2  rmind   __builtin_unreachable();
     89  1.5.2.2  rmind }
     90  1.5.2.2  rmind 
     91  1.5.2.2  rmind template <typename A, typename R>
     92  1.5.2.2  rmind typename DwarfInstructions<A, R>::pint_t
     93  1.5.2.2  rmind DwarfInstructions<A, R>::computeRegisterLocation(
     94  1.5.2.2  rmind     A &addressSpace, const R &registers, pint_t cfa,
     95  1.5.2.2  rmind     const typename CFI_Parser<A, R>::RegisterLocation &savedReg) {
     96  1.5.2.2  rmind   switch (savedReg.location) {
     97  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterInCFA:
     98  1.5.2.2  rmind     return cfa + savedReg.value;
     99  1.5.2.2  rmind 
    100  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterAtExpression:
    101  1.5.2.2  rmind     return evaluateExpression(savedReg.value, addressSpace, registers, cfa);
    102  1.5.2.2  rmind 
    103  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterIsExpression:
    104  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterUnused:
    105  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterOffsetFromCFA:
    106  1.5.2.2  rmind   case CFI_Parser<A, R>::kRegisterInRegister:
    107  1.5.2.2  rmind     assert(0 && "unsupported restore location for float/vector register");
    108  1.5.2.2  rmind   }
    109  1.5.2.2  rmind   __builtin_unreachable();
    110  1.5.2.2  rmind }
    111  1.5.2.2  rmind 
    112  1.5.2.2  rmind template <typename A, typename R>
    113  1.5.2.2  rmind step_result DwarfInstructions<A, R>::stepWithDwarf(A &addressSpace, pint_t pc,
    114  1.5.2.2  rmind                                                    pint_t fdeStart,
    115  1.5.2.2  rmind                                                    R &registers,
    116  1.5.2.2  rmind                                                    unw_proc_info_t *ctx) {
    117  1.5.2.2  rmind   typename CFI_Parser<A, R>::FDE_Info fdeInfo;
    118  1.5.2.2  rmind   typename CFI_Parser<A, R>::CIE_Info cieInfo;
    119  1.5.2.2  rmind   if (!CFI_Parser<A, R>::decodeFDE(addressSpace, fdeStart, &fdeInfo, &cieInfo,
    120  1.5.2.2  rmind                                    ctx))
    121  1.5.2.2  rmind     return UNW_STEP_FAILED;
    122  1.5.2.2  rmind 
    123  1.5.2.2  rmind   typename CFI_Parser<A, R>::PrologInfo prolog;
    124  1.5.2.2  rmind   if (!CFI_Parser<A, R>::parseFDEInstructions(addressSpace, fdeInfo, cieInfo,
    125  1.5.2.2  rmind                                               pc, &prolog, ctx))
    126  1.5.2.2  rmind     return UNW_STEP_FAILED;
    127  1.5.2.2  rmind 
    128  1.5.2.2  rmind   // Create working copy of the register set.
    129  1.5.2.2  rmind   R newRegisters = registers;
    130  1.5.2.2  rmind 
    131  1.5.2.2  rmind   // Get pointer to CFA by the architecture-specific code.
    132  1.5.2.2  rmind   pint_t cfa = getCFA(addressSpace, prolog, registers);
    133  1.5.2.2  rmind 
    134  1.5.2.2  rmind   // Restore registers according to DWARF instructions
    135  1.5.2.2  rmind   pint_t returnAddress = 0;
    136  1.5.2.2  rmind   for (int i = 0; i <= lastRestoreReg(newRegisters); ++i) {
    137  1.5.2.2  rmind     if (prolog.savedRegisters[i].location == CFI_Parser<A, R>::kRegisterUnused)
    138  1.5.2.2  rmind       continue;
    139  1.5.2.2  rmind     if (i == (int)cieInfo.returnAddressRegister)
    140  1.5.2.2  rmind       returnAddress = getSavedRegister(addressSpace, registers, cfa,
    141  1.5.2.2  rmind                                        prolog.savedRegisters[i]);
    142  1.5.2.2  rmind     else if (registers.validRegister(i))
    143  1.5.2.2  rmind       newRegisters.setRegister(i, getSavedRegister(addressSpace, registers, cfa,
    144  1.5.2.2  rmind                                                    prolog.savedRegisters[i]));
    145  1.5.2.2  rmind     else if (registers.validFloatVectorRegister(i))
    146  1.5.2.2  rmind       newRegisters.copyFloatVectorRegister(
    147  1.5.2.2  rmind           i, computeRegisterLocation(addressSpace, registers, cfa,
    148  1.5.2.2  rmind                                      prolog.savedRegisters[i]));
    149  1.5.2.2  rmind     else
    150  1.5.2.2  rmind       return UNW_STEP_FAILED;
    151  1.5.2.2  rmind   }
    152  1.5.2.2  rmind 
    153  1.5.2.2  rmind   // The CFA is defined as the stack pointer at the call site.
    154  1.5.2.2  rmind   // Therefore the SP is restored by setting it to the CFA.
    155  1.5.2.2  rmind   newRegisters.setSP(cfa);
    156  1.5.2.2  rmind   newRegisters.setIP(returnAddress + R::RETURN_OFFSET);
    157  1.5.2.2  rmind 
    158  1.5.2.2  rmind   // Now replace register set with the working copy.
    159  1.5.2.2  rmind   registers = newRegisters;
    160  1.5.2.2  rmind 
    161  1.5.2.2  rmind   return UNW_STEP_SUCCESS;
    162  1.5.2.2  rmind }
    163  1.5.2.2  rmind 
    164  1.5.2.2  rmind template <typename A, typename R>
    165  1.5.2.2  rmind typename A::pint_t
    166  1.5.2.2  rmind DwarfInstructions<A, R>::evaluateExpression(pint_t expression, A &addressSpace,
    167  1.5.2.2  rmind                                             const R &registers,
    168  1.5.2.2  rmind                                             pint_t initialStackValue) {
    169  1.5.2.2  rmind   pint_t p = expression;
    170  1.5.2.2  rmind   pint_t expressionEnd = expression + 20; // Rough estimate
    171  1.5.2.2  rmind   uint64_t length = addressSpace.getULEB128(p, expressionEnd);
    172  1.5.2.2  rmind   expressionEnd = p + length;
    173  1.5.2.2  rmind   pint_t stack[100];
    174  1.5.2.2  rmind   pint_t *sp = stack;
    175  1.5.2.2  rmind   *(++sp) = initialStackValue;
    176  1.5.2.2  rmind 
    177  1.5.2.2  rmind   while (p < expressionEnd) {
    178  1.5.2.2  rmind     uint8_t opcode = addressSpace.get8(p++);
    179  1.5.2.2  rmind     sint_t svalue;
    180  1.5.2.2  rmind     pint_t value;
    181  1.5.2.2  rmind     uint32_t reg;
    182  1.5.2.2  rmind     switch (opcode) {
    183  1.5.2.2  rmind     case DW_OP_addr:
    184  1.5.2.2  rmind       // push immediate address sized value
    185  1.5.2.2  rmind       value = addressSpace.getP(p);
    186  1.5.2.2  rmind       p += sizeof(pint_t);
    187  1.5.2.2  rmind       *(++sp) = value;
    188  1.5.2.2  rmind       break;
    189  1.5.2.2  rmind 
    190  1.5.2.2  rmind     case DW_OP_deref:
    191  1.5.2.2  rmind       // pop stack, dereference, push result
    192  1.5.2.2  rmind       value = *sp--;
    193  1.5.2.2  rmind       *(++sp) = addressSpace.getP(value);
    194  1.5.2.2  rmind       break;
    195  1.5.2.2  rmind 
    196  1.5.2.2  rmind     case DW_OP_const1u:
    197  1.5.2.2  rmind       // push immediate 1 byte value
    198  1.5.2.2  rmind       value = addressSpace.get8(p);
    199  1.5.2.2  rmind       p += 1;
    200  1.5.2.2  rmind       *(++sp) = value;
    201  1.5.2.2  rmind       break;
    202  1.5.2.2  rmind 
    203  1.5.2.2  rmind     case DW_OP_const1s:
    204  1.5.2.2  rmind       // push immediate 1 byte signed value
    205  1.5.2.2  rmind       svalue = (int8_t)addressSpace.get8(p);
    206  1.5.2.2  rmind       p += 1;
    207  1.5.2.2  rmind       *(++sp) = svalue;
    208  1.5.2.2  rmind       break;
    209  1.5.2.2  rmind 
    210  1.5.2.2  rmind     case DW_OP_const2u:
    211  1.5.2.2  rmind       // push immediate 2 byte value
    212  1.5.2.2  rmind       value = addressSpace.get16(p);
    213  1.5.2.2  rmind       p += 2;
    214  1.5.2.2  rmind       *(++sp) = value;
    215  1.5.2.2  rmind       break;
    216  1.5.2.2  rmind 
    217  1.5.2.2  rmind     case DW_OP_const2s:
    218  1.5.2.2  rmind       // push immediate 2 byte signed value
    219  1.5.2.2  rmind       svalue = (int16_t)addressSpace.get16(p);
    220  1.5.2.2  rmind       p += 2;
    221  1.5.2.2  rmind       *(++sp) = svalue;
    222  1.5.2.2  rmind       break;
    223  1.5.2.2  rmind 
    224  1.5.2.2  rmind     case DW_OP_const4u:
    225  1.5.2.2  rmind       // push immediate 4 byte value
    226  1.5.2.2  rmind       value = addressSpace.get32(p);
    227  1.5.2.2  rmind       p += 4;
    228  1.5.2.2  rmind       *(++sp) = value;
    229  1.5.2.2  rmind       break;
    230  1.5.2.2  rmind 
    231  1.5.2.2  rmind     case DW_OP_const4s:
    232  1.5.2.2  rmind       // push immediate 4 byte signed value
    233  1.5.2.2  rmind       svalue = (int32_t)addressSpace.get32(p);
    234  1.5.2.2  rmind       p += 4;
    235  1.5.2.2  rmind       *(++sp) = svalue;
    236  1.5.2.2  rmind       break;
    237  1.5.2.2  rmind 
    238  1.5.2.2  rmind     case DW_OP_const8u:
    239  1.5.2.2  rmind       // push immediate 8 byte value
    240  1.5.2.2  rmind       value = addressSpace.get64(p);
    241  1.5.2.2  rmind       p += 8;
    242  1.5.2.2  rmind       *(++sp) = value;
    243  1.5.2.2  rmind       break;
    244  1.5.2.2  rmind 
    245  1.5.2.2  rmind     case DW_OP_const8s:
    246  1.5.2.2  rmind       // push immediate 8 byte signed value
    247  1.5.2.2  rmind       value = (int32_t)addressSpace.get64(p);
    248  1.5.2.2  rmind       p += 8;
    249  1.5.2.2  rmind       *(++sp) = value;
    250  1.5.2.2  rmind       break;
    251  1.5.2.2  rmind 
    252  1.5.2.2  rmind     case DW_OP_constu:
    253  1.5.2.2  rmind       // push immediate ULEB128 value
    254  1.5.2.2  rmind       value = addressSpace.getULEB128(p, expressionEnd);
    255  1.5.2.2  rmind       *(++sp) = value;
    256  1.5.2.2  rmind       break;
    257  1.5.2.2  rmind 
    258  1.5.2.2  rmind     case DW_OP_consts:
    259  1.5.2.2  rmind       // push immediate SLEB128 value
    260  1.5.2.2  rmind       svalue = addressSpace.getSLEB128(p, expressionEnd);
    261  1.5.2.2  rmind       *(++sp) = svalue;
    262  1.5.2.2  rmind       break;
    263  1.5.2.2  rmind 
    264  1.5.2.2  rmind     case DW_OP_dup:
    265  1.5.2.2  rmind       // push top of stack
    266  1.5.2.2  rmind       value = *sp;
    267  1.5.2.2  rmind       *(++sp) = value;
    268  1.5.2.2  rmind       break;
    269  1.5.2.2  rmind 
    270  1.5.2.2  rmind     case DW_OP_drop:
    271  1.5.2.2  rmind       // pop
    272  1.5.2.2  rmind       --sp;
    273  1.5.2.2  rmind       break;
    274  1.5.2.2  rmind 
    275  1.5.2.2  rmind     case DW_OP_over:
    276  1.5.2.2  rmind       // dup second
    277  1.5.2.2  rmind       value = sp[-1];
    278  1.5.2.2  rmind       *(++sp) = value;
    279  1.5.2.2  rmind       break;
    280  1.5.2.2  rmind 
    281  1.5.2.2  rmind     case DW_OP_pick:
    282  1.5.2.2  rmind       // pick from
    283  1.5.2.2  rmind       reg = addressSpace.get8(p);
    284  1.5.2.2  rmind       p += 1;
    285  1.5.2.2  rmind       value = sp[-reg];
    286  1.5.2.2  rmind       *(++sp) = value;
    287  1.5.2.2  rmind       break;
    288  1.5.2.2  rmind 
    289  1.5.2.2  rmind     case DW_OP_swap:
    290  1.5.2.2  rmind       // swap top two
    291  1.5.2.2  rmind       value = sp[0];
    292  1.5.2.2  rmind       sp[0] = sp[-1];
    293  1.5.2.2  rmind       sp[-1] = value;
    294  1.5.2.2  rmind       break;
    295  1.5.2.2  rmind 
    296  1.5.2.2  rmind     case DW_OP_rot:
    297  1.5.2.2  rmind       // rotate top three
    298  1.5.2.2  rmind       value = sp[0];
    299  1.5.2.2  rmind       sp[0] = sp[-1];
    300  1.5.2.2  rmind       sp[-1] = sp[-2];
    301  1.5.2.2  rmind       sp[-2] = value;
    302  1.5.2.2  rmind       break;
    303  1.5.2.2  rmind 
    304  1.5.2.2  rmind     case DW_OP_xderef:
    305  1.5.2.2  rmind       // pop stack, dereference, push result
    306  1.5.2.2  rmind       value = *sp--;
    307  1.5.2.2  rmind       *sp = *((uint64_t *)value);
    308  1.5.2.2  rmind       break;
    309  1.5.2.2  rmind 
    310  1.5.2.2  rmind     case DW_OP_abs:
    311  1.5.2.2  rmind       svalue = *sp;
    312  1.5.2.2  rmind       if (svalue < 0)
    313  1.5.2.2  rmind         *sp = -svalue;
    314  1.5.2.2  rmind       break;
    315  1.5.2.2  rmind 
    316  1.5.2.2  rmind     case DW_OP_and:
    317  1.5.2.2  rmind       value = *sp--;
    318  1.5.2.2  rmind       *sp &= value;
    319  1.5.2.2  rmind       break;
    320  1.5.2.2  rmind 
    321  1.5.2.2  rmind     case DW_OP_div:
    322  1.5.2.2  rmind       svalue = *sp--;
    323  1.5.2.2  rmind       *sp = *sp / svalue;
    324  1.5.2.2  rmind       break;
    325  1.5.2.2  rmind 
    326  1.5.2.2  rmind     case DW_OP_minus:
    327  1.5.2.2  rmind       svalue = *sp--;
    328  1.5.2.2  rmind       *sp = *sp - svalue;
    329  1.5.2.2  rmind       break;
    330  1.5.2.2  rmind 
    331  1.5.2.2  rmind     case DW_OP_mod:
    332  1.5.2.2  rmind       svalue = *sp--;
    333  1.5.2.2  rmind       *sp = *sp % svalue;
    334  1.5.2.2  rmind       break;
    335  1.5.2.2  rmind 
    336  1.5.2.2  rmind     case DW_OP_mul:
    337  1.5.2.2  rmind       svalue = *sp--;
    338  1.5.2.2  rmind       *sp = *sp * svalue;
    339  1.5.2.2  rmind       break;
    340  1.5.2.2  rmind 
    341  1.5.2.2  rmind     case DW_OP_neg:
    342  1.5.2.2  rmind       *sp = 0 - *sp;
    343  1.5.2.2  rmind       break;
    344  1.5.2.2  rmind 
    345  1.5.2.2  rmind     case DW_OP_not:
    346  1.5.2.2  rmind       svalue = *sp;
    347  1.5.2.2  rmind       *sp = ~svalue;
    348  1.5.2.2  rmind       break;
    349  1.5.2.2  rmind 
    350  1.5.2.2  rmind     case DW_OP_or:
    351  1.5.2.2  rmind       value = *sp--;
    352  1.5.2.2  rmind       *sp |= value;
    353  1.5.2.2  rmind       break;
    354  1.5.2.2  rmind 
    355  1.5.2.2  rmind     case DW_OP_plus:
    356  1.5.2.2  rmind       value = *sp--;
    357  1.5.2.2  rmind       *sp += value;
    358  1.5.2.2  rmind       break;
    359  1.5.2.2  rmind 
    360  1.5.2.2  rmind     case DW_OP_plus_uconst:
    361  1.5.2.2  rmind       // pop stack, add uelb128 constant, push result
    362  1.5.2.2  rmind       *sp += addressSpace.getULEB128(p, expressionEnd);
    363  1.5.2.2  rmind       break;
    364  1.5.2.2  rmind 
    365  1.5.2.2  rmind     case DW_OP_shl:
    366  1.5.2.2  rmind       value = *sp--;
    367  1.5.2.2  rmind       *sp = *sp << value;
    368  1.5.2.2  rmind       break;
    369  1.5.2.2  rmind 
    370  1.5.2.2  rmind     case DW_OP_shr:
    371  1.5.2.2  rmind       value = *sp--;
    372  1.5.2.2  rmind       *sp = *sp >> value;
    373  1.5.2.2  rmind       break;
    374  1.5.2.2  rmind 
    375  1.5.2.2  rmind     case DW_OP_shra:
    376  1.5.2.2  rmind       value = *sp--;
    377  1.5.2.2  rmind       svalue = *sp;
    378  1.5.2.2  rmind       *sp = svalue >> value;
    379  1.5.2.2  rmind       break;
    380  1.5.2.2  rmind 
    381  1.5.2.2  rmind     case DW_OP_xor:
    382  1.5.2.2  rmind       value = *sp--;
    383  1.5.2.2  rmind       *sp ^= value;
    384  1.5.2.2  rmind       break;
    385  1.5.2.2  rmind 
    386  1.5.2.2  rmind     case DW_OP_skip:
    387  1.5.2.2  rmind       svalue = (int16_t)addressSpace.get16(p);
    388  1.5.2.2  rmind       p += 2;
    389  1.5.2.2  rmind       p += svalue;
    390  1.5.2.2  rmind       break;
    391  1.5.2.2  rmind 
    392  1.5.2.2  rmind     case DW_OP_bra:
    393  1.5.2.2  rmind       svalue = (int16_t)addressSpace.get16(p);
    394  1.5.2.2  rmind       p += 2;
    395  1.5.2.2  rmind       if (*sp--)
    396  1.5.2.2  rmind         p += svalue;
    397  1.5.2.2  rmind       break;
    398  1.5.2.2  rmind 
    399  1.5.2.2  rmind     case DW_OP_eq:
    400  1.5.2.2  rmind       value = *sp--;
    401  1.5.2.2  rmind       *sp = (*sp == value);
    402  1.5.2.2  rmind       break;
    403  1.5.2.2  rmind 
    404  1.5.2.2  rmind     case DW_OP_ge:
    405  1.5.2.2  rmind       value = *sp--;
    406  1.5.2.2  rmind       *sp = (*sp >= value);
    407  1.5.2.2  rmind       break;
    408  1.5.2.2  rmind 
    409  1.5.2.2  rmind     case DW_OP_gt:
    410  1.5.2.2  rmind       value = *sp--;
    411  1.5.2.2  rmind       *sp = (*sp > value);
    412  1.5.2.2  rmind       break;
    413  1.5.2.2  rmind 
    414  1.5.2.2  rmind     case DW_OP_le:
    415  1.5.2.2  rmind       value = *sp--;
    416  1.5.2.2  rmind       *sp = (*sp <= value);
    417  1.5.2.2  rmind       break;
    418  1.5.2.2  rmind 
    419  1.5.2.2  rmind     case DW_OP_lt:
    420  1.5.2.2  rmind       value = *sp--;
    421  1.5.2.2  rmind       *sp = (*sp < value);
    422  1.5.2.2  rmind       break;
    423  1.5.2.2  rmind 
    424  1.5.2.2  rmind     case DW_OP_ne:
    425  1.5.2.2  rmind       value = *sp--;
    426  1.5.2.2  rmind       *sp = (*sp != value);
    427  1.5.2.2  rmind       break;
    428  1.5.2.2  rmind 
    429  1.5.2.2  rmind     case DW_OP_lit0:
    430  1.5.2.2  rmind     case DW_OP_lit1:
    431  1.5.2.2  rmind     case DW_OP_lit2:
    432  1.5.2.2  rmind     case DW_OP_lit3:
    433  1.5.2.2  rmind     case DW_OP_lit4:
    434  1.5.2.2  rmind     case DW_OP_lit5:
    435  1.5.2.2  rmind     case DW_OP_lit6:
    436  1.5.2.2  rmind     case DW_OP_lit7:
    437  1.5.2.2  rmind     case DW_OP_lit8:
    438  1.5.2.2  rmind     case DW_OP_lit9:
    439  1.5.2.2  rmind     case DW_OP_lit10:
    440  1.5.2.2  rmind     case DW_OP_lit11:
    441  1.5.2.2  rmind     case DW_OP_lit12:
    442  1.5.2.2  rmind     case DW_OP_lit13:
    443  1.5.2.2  rmind     case DW_OP_lit14:
    444  1.5.2.2  rmind     case DW_OP_lit15:
    445  1.5.2.2  rmind     case DW_OP_lit16:
    446  1.5.2.2  rmind     case DW_OP_lit17:
    447  1.5.2.2  rmind     case DW_OP_lit18:
    448  1.5.2.2  rmind     case DW_OP_lit19:
    449  1.5.2.2  rmind     case DW_OP_lit20:
    450  1.5.2.2  rmind     case DW_OP_lit21:
    451  1.5.2.2  rmind     case DW_OP_lit22:
    452  1.5.2.2  rmind     case DW_OP_lit23:
    453  1.5.2.2  rmind     case DW_OP_lit24:
    454  1.5.2.2  rmind     case DW_OP_lit25:
    455  1.5.2.2  rmind     case DW_OP_lit26:
    456  1.5.2.2  rmind     case DW_OP_lit27:
    457  1.5.2.2  rmind     case DW_OP_lit28:
    458  1.5.2.2  rmind     case DW_OP_lit29:
    459  1.5.2.2  rmind     case DW_OP_lit30:
    460  1.5.2.2  rmind     case DW_OP_lit31:
    461  1.5.2.2  rmind       value = opcode - DW_OP_lit0;
    462  1.5.2.2  rmind       *(++sp) = value;
    463  1.5.2.2  rmind       break;
    464  1.5.2.2  rmind 
    465  1.5.2.2  rmind     case DW_OP_reg0:
    466  1.5.2.2  rmind     case DW_OP_reg1:
    467  1.5.2.2  rmind     case DW_OP_reg2:
    468  1.5.2.2  rmind     case DW_OP_reg3:
    469  1.5.2.2  rmind     case DW_OP_reg4:
    470  1.5.2.2  rmind     case DW_OP_reg5:
    471  1.5.2.2  rmind     case DW_OP_reg6:
    472  1.5.2.2  rmind     case DW_OP_reg7:
    473  1.5.2.2  rmind     case DW_OP_reg8:
    474  1.5.2.2  rmind     case DW_OP_reg9:
    475  1.5.2.2  rmind     case DW_OP_reg10:
    476  1.5.2.2  rmind     case DW_OP_reg11:
    477  1.5.2.2  rmind     case DW_OP_reg12:
    478  1.5.2.2  rmind     case DW_OP_reg13:
    479  1.5.2.2  rmind     case DW_OP_reg14:
    480  1.5.2.2  rmind     case DW_OP_reg15:
    481  1.5.2.2  rmind     case DW_OP_reg16:
    482  1.5.2.2  rmind     case DW_OP_reg17:
    483  1.5.2.2  rmind     case DW_OP_reg18:
    484  1.5.2.2  rmind     case DW_OP_reg19:
    485  1.5.2.2  rmind     case DW_OP_reg20:
    486  1.5.2.2  rmind     case DW_OP_reg21:
    487  1.5.2.2  rmind     case DW_OP_reg22:
    488  1.5.2.2  rmind     case DW_OP_reg23:
    489  1.5.2.2  rmind     case DW_OP_reg24:
    490  1.5.2.2  rmind     case DW_OP_reg25:
    491  1.5.2.2  rmind     case DW_OP_reg26:
    492  1.5.2.2  rmind     case DW_OP_reg27:
    493  1.5.2.2  rmind     case DW_OP_reg28:
    494  1.5.2.2  rmind     case DW_OP_reg29:
    495  1.5.2.2  rmind     case DW_OP_reg30:
    496  1.5.2.2  rmind     case DW_OP_reg31:
    497  1.5.2.2  rmind       reg = opcode - DW_OP_reg0;
    498  1.5.2.2  rmind       *(++sp) = registers.getRegister(reg);
    499  1.5.2.2  rmind       break;
    500  1.5.2.2  rmind 
    501  1.5.2.2  rmind     case DW_OP_regx:
    502  1.5.2.2  rmind       reg = addressSpace.getULEB128(p, expressionEnd);
    503  1.5.2.2  rmind       *(++sp) = registers.getRegister(reg);
    504  1.5.2.2  rmind       break;
    505  1.5.2.2  rmind 
    506  1.5.2.2  rmind     case DW_OP_breg0:
    507  1.5.2.2  rmind     case DW_OP_breg1:
    508  1.5.2.2  rmind     case DW_OP_breg2:
    509  1.5.2.2  rmind     case DW_OP_breg3:
    510  1.5.2.2  rmind     case DW_OP_breg4:
    511  1.5.2.2  rmind     case DW_OP_breg5:
    512  1.5.2.2  rmind     case DW_OP_breg6:
    513  1.5.2.2  rmind     case DW_OP_breg7:
    514  1.5.2.2  rmind     case DW_OP_breg8:
    515  1.5.2.2  rmind     case DW_OP_breg9:
    516  1.5.2.2  rmind     case DW_OP_breg10:
    517  1.5.2.2  rmind     case DW_OP_breg11:
    518  1.5.2.2  rmind     case DW_OP_breg12:
    519  1.5.2.2  rmind     case DW_OP_breg13:
    520  1.5.2.2  rmind     case DW_OP_breg14:
    521  1.5.2.2  rmind     case DW_OP_breg15:
    522  1.5.2.2  rmind     case DW_OP_breg16:
    523  1.5.2.2  rmind     case DW_OP_breg17:
    524  1.5.2.2  rmind     case DW_OP_breg18:
    525  1.5.2.2  rmind     case DW_OP_breg19:
    526  1.5.2.2  rmind     case DW_OP_breg20:
    527  1.5.2.2  rmind     case DW_OP_breg21:
    528  1.5.2.2  rmind     case DW_OP_breg22:
    529  1.5.2.2  rmind     case DW_OP_breg23:
    530  1.5.2.2  rmind     case DW_OP_breg24:
    531  1.5.2.2  rmind     case DW_OP_breg25:
    532  1.5.2.2  rmind     case DW_OP_breg26:
    533  1.5.2.2  rmind     case DW_OP_breg27:
    534  1.5.2.2  rmind     case DW_OP_breg28:
    535  1.5.2.2  rmind     case DW_OP_breg29:
    536  1.5.2.2  rmind     case DW_OP_breg30:
    537  1.5.2.2  rmind     case DW_OP_breg31:
    538  1.5.2.2  rmind       reg = opcode - DW_OP_breg0;
    539  1.5.2.2  rmind       svalue = addressSpace.getSLEB128(p, expressionEnd);
    540  1.5.2.2  rmind       *(++sp) = registers.getRegister(reg) + svalue;
    541  1.5.2.2  rmind       break;
    542  1.5.2.2  rmind 
    543  1.5.2.2  rmind     case DW_OP_bregx:
    544  1.5.2.2  rmind       reg = addressSpace.getULEB128(p, expressionEnd);
    545  1.5.2.2  rmind       svalue = addressSpace.getSLEB128(p, expressionEnd);
    546  1.5.2.2  rmind       *(++sp) = registers.getRegister(reg) + svalue;
    547  1.5.2.2  rmind       break;
    548  1.5.2.2  rmind 
    549  1.5.2.2  rmind     case DW_OP_deref_size:
    550  1.5.2.2  rmind       // pop stack, dereference, push result
    551  1.5.2.2  rmind       value = *sp--;
    552  1.5.2.2  rmind       switch (addressSpace.get8(p++)) {
    553  1.5.2.2  rmind       case 1:
    554  1.5.2.2  rmind         value = addressSpace.get8(value);
    555  1.5.2.2  rmind         break;
    556  1.5.2.2  rmind       case 2:
    557  1.5.2.2  rmind         value = addressSpace.get16(value);
    558  1.5.2.2  rmind         break;
    559  1.5.2.2  rmind       case 4:
    560  1.5.2.2  rmind         value = addressSpace.get32(value);
    561  1.5.2.2  rmind         break;
    562  1.5.2.2  rmind       case 8:
    563  1.5.2.2  rmind         value = addressSpace.get64(value);
    564  1.5.2.2  rmind         break;
    565  1.5.2.2  rmind       default:
    566  1.5.2.2  rmind         assert(0 && "DW_OP_deref_size with bad size");
    567  1.5.2.2  rmind       }
    568  1.5.2.2  rmind       *(++sp) = value;
    569  1.5.2.2  rmind       break;
    570  1.5.2.2  rmind 
    571  1.5.2.2  rmind     case DW_OP_fbreg:
    572  1.5.2.2  rmind     case DW_OP_piece:
    573  1.5.2.2  rmind     case DW_OP_xderef_size:
    574  1.5.2.2  rmind     case DW_OP_nop:
    575  1.5.2.2  rmind     case DW_OP_push_object_addres:
    576  1.5.2.2  rmind     case DW_OP_call2:
    577  1.5.2.2  rmind     case DW_OP_call4:
    578  1.5.2.2  rmind     case DW_OP_call_ref:
    579  1.5.2.2  rmind     default:
    580  1.5.2.2  rmind       assert(0 && "dwarf opcode not implemented");
    581  1.5.2.2  rmind     }
    582  1.5.2.2  rmind   }
    583  1.5.2.2  rmind   return *sp;
    584  1.5.2.2  rmind }
    585  1.5.2.2  rmind 
    586  1.5.2.2  rmind } // namespace _Unwind
    587  1.5.2.2  rmind 
    588  1.5.2.2  rmind #endif // __DWARF_INSTRUCTIONS_HPP__
    589