homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 1 | /* libunwind - a platform-independent unwind library |
hp.com!davidm | df3d6af | 2005-05-20 09:48:08 +0000 | [diff] [blame^] | 2 | Copyright (c) 2003, 2005 Hewlett-Packard Development Company, L.P. |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 3 | Contributed by David Mosberger-Tang <davidm@hpl.hp.com> |
| 4 | |
| 5 | This file is part of libunwind. |
| 6 | |
| 7 | Permission is hereby granted, free of charge, to any person obtaining |
| 8 | a copy of this software and associated documentation files (the |
| 9 | "Software"), to deal in the Software without restriction, including |
| 10 | without limitation the rights to use, copy, modify, merge, publish, |
| 11 | distribute, sublicense, and/or sell copies of the Software, and to |
| 12 | permit persons to whom the Software is furnished to do so, subject to |
| 13 | the following conditions: |
| 14 | |
| 15 | The above copyright notice and this permission notice shall be |
| 16 | included in all copies or substantial portions of the Software. |
| 17 | |
| 18 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, |
| 19 | EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF |
| 20 | MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND |
| 21 | NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE |
| 22 | LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION |
| 23 | OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION |
| 24 | WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */ |
| 25 | |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 26 | #include "dwarf_i.h" |
hp.com!davidm | df3d6af | 2005-05-20 09:48:08 +0000 | [diff] [blame^] | 27 | #include "libunwind_i.h" |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 28 | |
| 29 | #define alloc_reg_state() (mempool_alloc (&dwarf_reg_state_pool)) |
| 30 | #define free_reg_state(rs) (mempool_free (&dwarf_reg_state_pool, rs)) |
| 31 | |
| 32 | static inline int |
| 33 | read_regnum (unw_addr_space_t as, unw_accessors_t *a, unw_word_t *addr, |
| 34 | unw_word_t *valp, void *arg) |
| 35 | { |
| 36 | int ret; |
| 37 | |
| 38 | if ((ret = dwarf_read_uleb128 (as, a, addr, valp, arg)) < 0) |
| 39 | return ret; |
| 40 | |
| 41 | if (*valp >= DWARF_NUM_PRESERVED_REGS) |
| 42 | { |
homeip.net!davidm | 642607d | 2004-08-20 11:23:15 +0000 | [diff] [blame] | 43 | Debug (1, "Invalid register number %u\n", (unsigned int) *valp); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 44 | return -UNW_EBADREG; |
| 45 | } |
| 46 | return 0; |
| 47 | } |
| 48 | |
| 49 | static inline void |
| 50 | set_reg (dwarf_state_record_t *sr, unw_word_t regnum, dwarf_where_t where, |
| 51 | unw_word_t val) |
| 52 | { |
| 53 | sr->rs_current.reg[regnum].where = where; |
| 54 | sr->rs_current.reg[regnum].val = val; |
| 55 | } |
| 56 | |
| 57 | /* Run a CFI program to update the register state. */ |
| 58 | static int |
| 59 | run_cfi_program (struct dwarf_cursor *c, dwarf_state_record_t *sr, |
| 60 | unw_word_t ip, unw_word_t *addr, unw_word_t end_addr, |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 61 | struct dwarf_cie_info *dci) |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 62 | { |
| 63 | unw_word_t curr_ip, operand = 0, regnum, val, len, fde_encoding; |
| 64 | dwarf_reg_state_t *rs_stack = NULL, *new_rs, *old_rs; |
| 65 | unw_addr_space_t as; |
| 66 | unw_accessors_t *a; |
| 67 | uint8_t u8, op; |
| 68 | uint16_t u16; |
| 69 | uint32_t u32; |
| 70 | void *arg; |
| 71 | int ret; |
| 72 | |
| 73 | as = c->as; |
| 74 | arg = c->as_arg; |
| 75 | a = unw_get_accessors (as); |
| 76 | curr_ip = c->pi.start_ip; |
| 77 | |
| 78 | while (curr_ip < ip && *addr < end_addr) |
| 79 | { |
| 80 | if ((ret = dwarf_readu8 (as, a, addr, &op, arg)) < 0) |
| 81 | return ret; |
| 82 | |
| 83 | if (op & DWARF_CFA_OPCODE_MASK) |
| 84 | { |
| 85 | operand = op & DWARF_CFA_OPERAND_MASK; |
| 86 | op &= ~DWARF_CFA_OPERAND_MASK; |
| 87 | } |
| 88 | switch ((dwarf_cfa_t) op) |
| 89 | { |
| 90 | case DW_CFA_advance_loc: |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 91 | curr_ip += operand * dci->code_align; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 92 | Debug (15, "CFA_advance_loc to 0x%lx\n", (long) curr_ip); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 93 | break; |
| 94 | |
| 95 | case DW_CFA_advance_loc1: |
| 96 | if ((ret = dwarf_readu8 (as, a, addr, &u8, arg)) < 0) |
| 97 | goto fail; |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 98 | curr_ip += u8 * dci->code_align; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 99 | Debug (15, "CFA_advance_loc1 to 0x%lx\n", (long) curr_ip); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 100 | break; |
| 101 | |
| 102 | case DW_CFA_advance_loc2: |
| 103 | if ((ret = dwarf_readu16 (as, a, addr, &u16, arg)) < 0) |
| 104 | goto fail; |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 105 | curr_ip += u16 * dci->code_align; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 106 | Debug (15, "CFA_advance_loc2 to 0x%lx\n", (long) curr_ip); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 107 | break; |
| 108 | |
| 109 | case DW_CFA_advance_loc4: |
| 110 | if ((ret = dwarf_readu32 (as, a, addr, &u32, arg)) < 0) |
| 111 | goto fail; |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 112 | curr_ip += u32 * dci->code_align; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 113 | Debug (15, "CFA_advance_loc4 to 0x%lx\n", (long) curr_ip); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 114 | break; |
| 115 | |
| 116 | case DW_CFA_MIPS_advance_loc8: |
| 117 | #ifdef UNW_TARGET_MIPS |
| 118 | { |
| 119 | uint64_t u64; |
| 120 | |
| 121 | if ((ret = dwarf_readu64 (as, a, addr, &u64, arg)) < 0) |
| 122 | goto fail; |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 123 | curr_ip += u64 * dci->code_align; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 124 | Debug (15, "CFA_MIPS_advance_loc8\n"); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 125 | break; |
| 126 | } |
| 127 | #else |
| 128 | Debug (1, "DW_CFA_MIPS_advance_loc8 on non-MIPS target\n"); |
| 129 | ret = -UNW_EINVAL; |
| 130 | goto fail; |
| 131 | #endif |
| 132 | |
| 133 | case DW_CFA_offset: |
| 134 | regnum = operand; |
| 135 | if (regnum >= DWARF_NUM_PRESERVED_REGS) |
| 136 | { |
| 137 | Debug (1, "Invalid register number %u in DW_cfa_OFFSET\n", |
homeip.net!davidm | 642607d | 2004-08-20 11:23:15 +0000 | [diff] [blame] | 138 | (unsigned int) regnum); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 139 | ret = -UNW_EBADREG; |
| 140 | goto fail; |
| 141 | } |
| 142 | if ((ret = dwarf_read_uleb128 (as, a, addr, &val, arg)) < 0) |
| 143 | goto fail; |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 144 | set_reg (sr, regnum, DWARF_WHERE_CFAREL, val * dci->data_align); |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 145 | Debug (15, "CFA_offset r%lu at cfa+0x%lx\n", |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 146 | (long) regnum, (long) (val * dci->data_align)); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 147 | break; |
| 148 | |
| 149 | case DW_CFA_offset_extended: |
| 150 | if (((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 151 | || ((ret = dwarf_read_uleb128 (as, a, addr, &val, arg)) < 0)) |
| 152 | goto fail; |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 153 | set_reg (sr, regnum, DWARF_WHERE_CFAREL, val * dci->data_align); |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 154 | Debug (15, "CFA_offset_extended r%lu at cf+0x%lx\n", |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 155 | (long) regnum, (long) (val * dci->data_align)); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 156 | break; |
| 157 | |
| 158 | case DW_CFA_offset_extended_sf: |
| 159 | if (((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 160 | || ((ret = dwarf_read_sleb128 (as, a, addr, &val, arg)) < 0)) |
| 161 | goto fail; |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 162 | set_reg (sr, regnum, DWARF_WHERE_CFAREL, val * dci->data_align); |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 163 | Debug (15, "CFA_offset_extended_sf r%lu at cf+0x%lx\n", |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 164 | (long) regnum, (long) (val * dci->data_align)); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 165 | break; |
| 166 | |
| 167 | case DW_CFA_restore: |
| 168 | regnum = operand; |
| 169 | if (regnum >= DWARF_NUM_PRESERVED_REGS) |
| 170 | { |
| 171 | Debug (1, "Invalid register number %u in DW_CFA_restore\n", |
homeip.net!davidm | 642607d | 2004-08-20 11:23:15 +0000 | [diff] [blame] | 172 | (unsigned int) regnum); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 173 | ret = -UNW_EINVAL; |
| 174 | goto fail; |
| 175 | } |
| 176 | sr->rs_current.reg[regnum] = sr->rs_initial.reg[regnum]; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 177 | Debug (15, "CFA_restore r%lu\n", (long) regnum); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 178 | break; |
| 179 | |
| 180 | case DW_CFA_restore_extended: |
| 181 | if ((ret = dwarf_read_uleb128 (as, a, addr, ®num, arg)) < 0) |
| 182 | goto fail; |
| 183 | if (regnum >= DWARF_NUM_PRESERVED_REGS) |
| 184 | { |
| 185 | Debug (1, "Invalid register number %u in " |
homeip.net!davidm | 642607d | 2004-08-20 11:23:15 +0000 | [diff] [blame] | 186 | "DW_CFA_restore_extended\n", (unsigned int) regnum); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 187 | ret = -UNW_EINVAL; |
| 188 | goto fail; |
| 189 | } |
| 190 | sr->rs_current.reg[regnum] = sr->rs_initial.reg[regnum]; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 191 | Debug (15, "CFA_restore_extended r%lu\n", (long) regnum); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 192 | break; |
| 193 | |
| 194 | case DW_CFA_nop: |
| 195 | break; |
| 196 | |
| 197 | case DW_CFA_set_loc: |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 198 | fde_encoding = dci->fde_encoding; |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 199 | if ((ret = dwarf_read_encoded_pointer (as, a, addr, fde_encoding, |
| 200 | &c->pi, &curr_ip, |
| 201 | arg)) < 0) |
| 202 | goto fail; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 203 | Debug (15, "CFA_set_loc to 0x%lx\n", (long) curr_ip); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 204 | break; |
| 205 | |
| 206 | case DW_CFA_undefined: |
| 207 | if ((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 208 | goto fail; |
| 209 | set_reg (sr, regnum, DWARF_WHERE_UNDEF, 0); |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 210 | Debug (15, "CFA_undefined r%lu\n", (long) regnum); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 211 | break; |
| 212 | |
| 213 | case DW_CFA_same_value: |
| 214 | if ((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 215 | goto fail; |
| 216 | set_reg (sr, regnum, DWARF_WHERE_SAME, 0); |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 217 | Debug (15, "CFA_same_value r%lu\n", (long) regnum); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 218 | break; |
| 219 | |
| 220 | case DW_CFA_register: |
| 221 | if (((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 222 | || ((ret = dwarf_read_uleb128 (as, a, addr, &val, arg)) < 0)) |
| 223 | goto fail; |
| 224 | set_reg (sr, regnum, DWARF_WHERE_REG, val); |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 225 | Debug (15, "CFA_register r%lu to r%lu\n", (long) regnum, (long) val); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 226 | break; |
| 227 | |
| 228 | case DW_CFA_remember_state: |
| 229 | new_rs = alloc_reg_state (); |
| 230 | if (!new_rs) |
| 231 | { |
| 232 | Debug (1, "Out of memory in DW_CFA_remember_state\n"); |
| 233 | ret = -UNW_ENOMEM; |
| 234 | goto fail; |
| 235 | } |
| 236 | |
| 237 | memcpy (new_rs->reg, sr->rs_current.reg, sizeof (new_rs->reg)); |
| 238 | new_rs->next = rs_stack; |
| 239 | rs_stack = new_rs; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 240 | Debug (15, "CFA_remember_state\n"); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 241 | break; |
| 242 | |
| 243 | case DW_CFA_restore_state: |
| 244 | if (!rs_stack) |
| 245 | { |
| 246 | Debug (1, "register-state stack underflow\n"); |
| 247 | ret = -UNW_EINVAL; |
| 248 | goto fail; |
| 249 | } |
| 250 | memcpy (&sr->rs_current.reg, &rs_stack->reg, sizeof (rs_stack->reg)); |
| 251 | old_rs = rs_stack; |
| 252 | rs_stack = rs_stack->next; |
| 253 | free_reg_state (old_rs); |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 254 | Debug (15, "CFA_restore_state\n"); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 255 | break; |
| 256 | |
| 257 | case DW_CFA_def_cfa: |
| 258 | if (((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 259 | || ((ret = dwarf_read_uleb128 (as, a, addr, &val, arg)) < 0)) |
| 260 | goto fail; |
| 261 | set_reg (sr, DWARF_CFA_REG_COLUMN, DWARF_WHERE_REG, regnum); |
| 262 | set_reg (sr, DWARF_CFA_OFF_COLUMN, 0, val); /* NOT factored! */ |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 263 | Debug (15, "CFA_def_cfa r%lu+0x%lx\n", (long) regnum, (long) val); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 264 | break; |
| 265 | |
| 266 | case DW_CFA_def_cfa_sf: |
| 267 | if (((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 268 | || ((ret = dwarf_read_sleb128 (as, a, addr, &val, arg)) < 0)) |
| 269 | goto fail; |
| 270 | set_reg (sr, DWARF_CFA_REG_COLUMN, DWARF_WHERE_REG, regnum); |
| 271 | set_reg (sr, DWARF_CFA_OFF_COLUMN, 0, |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 272 | val * dci->data_align); /* factored! */ |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 273 | Debug (15, "CFA_def_cfa_sf r%lu+0x%lx\n", |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 274 | (long) regnum, (long) (val * dci->data_align)); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 275 | break; |
| 276 | |
| 277 | case DW_CFA_def_cfa_register: |
| 278 | if ((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 279 | goto fail; |
| 280 | set_reg (sr, DWARF_CFA_REG_COLUMN, DWARF_WHERE_REG, regnum); |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 281 | Debug (15, "CFA_def_cfa_register r%lu\n", (long) regnum); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 282 | break; |
| 283 | |
| 284 | case DW_CFA_def_cfa_offset: |
| 285 | if ((ret = dwarf_read_uleb128 (as, a, addr, &val, arg)) < 0) |
| 286 | goto fail; |
| 287 | set_reg (sr, DWARF_CFA_OFF_COLUMN, 0, val); /* NOT factored! */ |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 288 | Debug (15, "CFA_def_cfa_offset 0x%lx\n", (long) val); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 289 | break; |
| 290 | |
| 291 | case DW_CFA_def_cfa_offset_sf: |
| 292 | if ((ret = dwarf_read_sleb128 (as, a, addr, &val, arg)) < 0) |
| 293 | goto fail; |
| 294 | set_reg (sr, DWARF_CFA_OFF_COLUMN, 0, |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 295 | val * dci->data_align); /* factored! */ |
| 296 | Debug (15, "CFA_def_cfa_offset_sf 0x%lx\n", |
| 297 | (long) (val * dci->data_align)); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 298 | break; |
| 299 | |
| 300 | case DW_CFA_def_cfa_expression: |
| 301 | /* Save the address of the DW_FORM_block for later evaluation. */ |
| 302 | set_reg (sr, DWARF_CFA_REG_COLUMN, DWARF_WHERE_EXPR, *addr); |
| 303 | |
| 304 | if ((ret = dwarf_read_uleb128 (as, a, addr, &len, arg)) < 0) |
| 305 | goto fail; |
| 306 | |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 307 | Debug (15, "CFA_def_cfa_expr @ 0x%lx [%lu bytes]\n", |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 308 | (long) *addr, (long) len); |
| 309 | *addr += len; |
| 310 | break; |
| 311 | |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 312 | case DW_CFA_expression: |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 313 | if ((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 314 | goto fail; |
| 315 | |
| 316 | /* Save the address of the DW_FORM_block for later evaluation. */ |
| 317 | set_reg (sr, regnum, DWARF_WHERE_EXPR, *addr); |
| 318 | |
| 319 | if ((ret = dwarf_read_uleb128 (as, a, addr, &len, arg)) < 0) |
| 320 | goto fail; |
| 321 | |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 322 | Debug (15, "CFA_expression r%lu @ 0x%lx [%lu bytes]\n", |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 323 | (long) regnum, (long) addr, (long) len); |
| 324 | *addr += len; |
| 325 | break; |
| 326 | |
| 327 | case DW_CFA_GNU_args_size: |
| 328 | if ((ret = dwarf_read_uleb128 (as, a, addr, &val, arg)) < 0) |
| 329 | goto fail; |
| 330 | sr->args_size = val; |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 331 | Debug (15, "CFA_GNU_args_size %lu\n", (long) val); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 332 | break; |
| 333 | |
| 334 | case DW_CFA_GNU_negative_offset_extended: |
| 335 | /* A comment in GCC says that this is obsoleted by |
| 336 | DW_CFA_offset_extended_sf, but that it's used by older |
| 337 | PowerPC code. */ |
| 338 | if (((ret = read_regnum (as, a, addr, ®num, arg)) < 0) |
| 339 | || ((ret = dwarf_read_uleb128 (as, a, addr, &val, arg)) < 0)) |
| 340 | goto fail; |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 341 | set_reg (sr, regnum, DWARF_WHERE_CFAREL, -(val * dci->data_align)); |
| 342 | Debug (15, "CFA_GNU_negative_offset_extended cfa+0x%lx\n", |
| 343 | (long) -(val * dci->data_align)); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 344 | break; |
| 345 | |
| 346 | case DW_CFA_GNU_window_save: |
| 347 | #ifdef UNW_TARGET_SPARC |
| 348 | /* This is a special CFA to handle all 16 windowed registers |
| 349 | on SPARC. */ |
| 350 | for (regnum = 16; regnum < 32; ++regnum) |
| 351 | set_reg (sr, regnum, DWARF_WHERE_CFAREL, |
| 352 | (regnum - 16) * sizeof (unw_word_t)); |
homeip.net!davidm | aae368a | 2004-08-19 12:26:11 +0000 | [diff] [blame] | 353 | Debug (15, "CFA_GNU_window_save\n"); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 354 | break; |
| 355 | #else |
| 356 | /* FALL THROUGH */ |
| 357 | #endif |
| 358 | case DW_CFA_lo_user: |
| 359 | case DW_CFA_hi_user: |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 360 | Debug (1, "Unexpected CFA opcode 0x%x\n", op); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 361 | ret = -UNW_EINVAL; |
| 362 | goto fail; |
| 363 | } |
| 364 | } |
| 365 | ret = 0; |
| 366 | |
| 367 | fail: |
| 368 | /* Free the register-state stack, if not empty already. */ |
| 369 | while (rs_stack) |
| 370 | { |
| 371 | old_rs = rs_stack; |
| 372 | rs_stack = rs_stack->next; |
| 373 | free_reg_state (old_rs); |
| 374 | } |
| 375 | return ret; |
| 376 | } |
| 377 | |
| 378 | static int |
| 379 | fetch_proc_info (struct dwarf_cursor *c, unw_word_t ip, int need_unwind_info) |
| 380 | { |
| 381 | int ret, dynamic = 1; |
| 382 | |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 383 | --ip; |
| 384 | |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 385 | if (c->pi_valid && !need_unwind_info) |
| 386 | return 0; |
| 387 | |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 388 | memset (&c->pi, 0, sizeof (c->pi)); |
| 389 | |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 390 | /* check dynamic info first --- it overrides everything else */ |
| 391 | ret = unwi_find_dynamic_proc_info (c->as, ip, &c->pi, need_unwind_info, |
| 392 | c->as_arg); |
| 393 | if (ret == -UNW_ENOINFO) |
| 394 | { |
| 395 | dynamic = 0; |
| 396 | if ((ret = tdep_find_proc_info (c, ip, need_unwind_info)) < 0) |
| 397 | return ret; |
| 398 | } |
| 399 | |
| 400 | c->pi_valid = 1; |
| 401 | c->pi_is_dynamic = dynamic; |
| 402 | return ret; |
| 403 | } |
| 404 | |
| 405 | static int |
| 406 | parse_dynamic (struct dwarf_cursor *c, unw_word_t ip, dwarf_state_record_t *sr) |
| 407 | { |
| 408 | Debug (1, "Not yet implemented\n"); |
| 409 | #if 0 |
| 410 | /* Don't forget to set the ret_addr_column! */ |
| 411 | c->ret_addr_column = XXX; |
| 412 | #endif |
| 413 | return -UNW_ENOINFO; |
| 414 | } |
| 415 | |
| 416 | static inline void |
| 417 | put_unwind_info (struct dwarf_cursor *c, unw_proc_info_t *pi) |
| 418 | { |
| 419 | if (!c->pi_valid) |
| 420 | return; |
| 421 | |
| 422 | if (c->pi_is_dynamic) |
| 423 | unwi_put_dynamic_unwind_info (c->as, pi, c->as_arg); |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 424 | else if (pi->unwind_info); |
| 425 | { |
| 426 | mempool_free (&dwarf_cie_info_pool, pi->unwind_info); |
| 427 | pi->unwind_info = NULL; |
| 428 | } |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 429 | } |
| 430 | |
| 431 | static inline int |
| 432 | parse_fde (struct dwarf_cursor *c, unw_word_t ip, dwarf_state_record_t *sr) |
| 433 | { |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 434 | struct dwarf_cie_info *dci; |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 435 | unw_word_t addr; |
| 436 | int ret; |
| 437 | |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 438 | dci = c->pi.unwind_info; |
| 439 | c->ret_addr_column = dci->ret_addr_column; |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 440 | |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 441 | addr = dci->cie_instr_start; |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 442 | if ((ret = run_cfi_program (c, sr, ~(unw_word_t) 0, &addr, |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 443 | dci->cie_instr_end, dci)) < 0) |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 444 | return ret; |
| 445 | |
| 446 | memcpy (&sr->rs_initial, &sr->rs_current, sizeof (sr->rs_initial)); |
| 447 | |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 448 | addr = dci->fde_instr_start; |
| 449 | if ((ret = run_cfi_program (c, sr, ip, &addr, dci->fde_instr_end, dci)) < 0) |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 450 | return ret; |
| 451 | |
| 452 | return 0; |
| 453 | } |
| 454 | |
| 455 | static int |
| 456 | create_state_record_for (struct dwarf_cursor *c, dwarf_state_record_t *sr, |
| 457 | unw_word_t ip) |
| 458 | { |
| 459 | int i, ret; |
| 460 | |
| 461 | assert (c->pi_valid); |
| 462 | |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 463 | memset (sr, 0, sizeof (*sr)); |
| 464 | for (i = 0; i < DWARF_NUM_PRESERVED_REGS + 2; ++i) |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 465 | set_reg (sr, i, DWARF_WHERE_SAME, 0); |
| 466 | |
| 467 | switch (c->pi.format) |
| 468 | { |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 469 | case UNW_INFO_FORMAT_TABLE: |
| 470 | case UNW_INFO_FORMAT_REMOTE_TABLE: |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 471 | ret = parse_fde (c, ip, sr); |
| 472 | break; |
| 473 | |
| 474 | case UNW_INFO_FORMAT_DYNAMIC: |
| 475 | ret = parse_dynamic (c, ip, sr); |
| 476 | break; |
| 477 | |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 478 | default: |
| 479 | Debug (1, "Unexpected unwind-info format %d\n", c->pi.format); |
| 480 | ret = -UNW_EINVAL; |
| 481 | } |
| 482 | return ret; |
| 483 | } |
| 484 | |
| 485 | static inline int |
| 486 | eval_location_expr (struct dwarf_cursor *c, unw_addr_space_t as, |
| 487 | unw_accessors_t *a, unw_word_t addr, |
| 488 | dwarf_loc_t *locp, void *arg) |
| 489 | { |
| 490 | int ret, is_register; |
| 491 | unw_word_t len, val; |
| 492 | |
| 493 | /* read the length of the expression: */ |
| 494 | if ((ret = dwarf_read_uleb128 (as, a, &addr, &len, arg)) < 0) |
| 495 | return ret; |
| 496 | |
| 497 | /* evaluate the expression: */ |
| 498 | if ((ret = dwarf_eval_expr (c, &addr, len, &val, &is_register)) < 0) |
| 499 | return ret; |
| 500 | |
| 501 | if (is_register) |
| 502 | *locp = DWARF_REG_LOC (c, dwarf_to_unw_regnum (val)); |
| 503 | else |
| 504 | *locp = DWARF_MEM_LOC (c, val); |
| 505 | |
| 506 | return 0; |
| 507 | } |
| 508 | |
| 509 | static int |
| 510 | apply_reg_state (struct dwarf_cursor *c, struct dwarf_reg_state *rs) |
| 511 | { |
| 512 | unw_word_t regnum, addr, cfa; |
| 513 | unw_addr_space_t as; |
| 514 | dwarf_loc_t cfa_loc; |
| 515 | unw_accessors_t *a; |
| 516 | int i, ret; |
| 517 | void *arg; |
| 518 | |
| 519 | as = c->as; |
| 520 | arg = c->as_arg; |
| 521 | a = unw_get_accessors (as); |
| 522 | |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 523 | /* Evaluate the CFA first, because it may be referred to by other |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 524 | expressions. */ |
| 525 | |
| 526 | if (rs->reg[DWARF_CFA_REG_COLUMN].where == DWARF_WHERE_REG) |
| 527 | { |
| 528 | /* CFA is equal to [reg] + offset: */ |
| 529 | |
homeip.net!davidm | 642607d | 2004-08-20 11:23:15 +0000 | [diff] [blame] | 530 | /* As a special-case, if the stack-pointer is the CFA and the |
| 531 | stack-pointer wasn't saved, popping the CFA implicitly pops |
| 532 | the stack-pointer as well. */ |
| 533 | if ((rs->reg[DWARF_CFA_REG_COLUMN].val == UNW_TDEP_SP) |
| 534 | && (rs->reg[UNW_TDEP_SP].where == DWARF_WHERE_SAME)) |
homeip.net!davidm | 642607d | 2004-08-20 11:23:15 +0000 | [diff] [blame] | 535 | cfa = c->cfa; |
homeip.net!davidm | 642607d | 2004-08-20 11:23:15 +0000 | [diff] [blame] | 536 | else |
| 537 | { |
| 538 | regnum = dwarf_to_unw_regnum (rs->reg[DWARF_CFA_REG_COLUMN].val); |
| 539 | if ((ret = unw_get_reg ((unw_cursor_t *) c, regnum, &cfa)) < 0) |
| 540 | return ret; |
| 541 | } |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 542 | cfa += rs->reg[DWARF_CFA_OFF_COLUMN].val; |
| 543 | } |
| 544 | else |
| 545 | { |
| 546 | /* CFA is equal to EXPR: */ |
| 547 | |
| 548 | assert (rs->reg[DWARF_CFA_REG_COLUMN].where == DWARF_WHERE_EXPR); |
| 549 | |
| 550 | addr = rs->reg[DWARF_CFA_REG_COLUMN].val; |
| 551 | if ((ret = eval_location_expr (c, as, a, addr, &cfa_loc, arg)) < 0) |
| 552 | return ret; |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 553 | /* the returned location better be a memory location... */ |
| 554 | if (DWARF_IS_REG_LOC (cfa_loc)) |
| 555 | return -UNW_EBADFRAME; |
| 556 | cfa = DWARF_GET_LOC (cfa_loc); |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 557 | } |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 558 | |
| 559 | for (i = 0; i < DWARF_NUM_PRESERVED_REGS; ++i) |
| 560 | { |
| 561 | switch ((dwarf_where_t) rs->reg[i].where) |
| 562 | { |
| 563 | case DWARF_WHERE_UNDEF: |
| 564 | c->loc[i] = DWARF_NULL_LOC; |
| 565 | break; |
| 566 | |
| 567 | case DWARF_WHERE_SAME: |
| 568 | break; |
| 569 | |
| 570 | case DWARF_WHERE_CFAREL: |
| 571 | c->loc[i] = DWARF_MEM_LOC (c, cfa + rs->reg[i].val); |
| 572 | break; |
| 573 | |
| 574 | case DWARF_WHERE_REG: |
| 575 | c->loc[i] = DWARF_REG_LOC (c, dwarf_to_unw_regnum (rs->reg[i].val)); |
| 576 | break; |
| 577 | |
| 578 | case DWARF_WHERE_EXPR: |
| 579 | addr = rs->reg[i].val; |
| 580 | if ((ret = eval_location_expr (c, as, a, addr, c->loc + i, arg)) , 0) |
| 581 | return ret; |
| 582 | break; |
| 583 | } |
| 584 | } |
mostang.com!davidm | c143714 | 2005-05-03 09:13:17 +0000 | [diff] [blame] | 585 | c->cfa = cfa; |
homeip.net!davidm | 88160e0 | 2004-08-17 15:34:28 +0000 | [diff] [blame] | 586 | return 0; |
| 587 | } |
| 588 | |
| 589 | HIDDEN int |
| 590 | dwarf_find_save_locs (struct dwarf_cursor *c) |
| 591 | { |
| 592 | dwarf_state_record_t sr; |
| 593 | int ret; |
| 594 | |
| 595 | if ((ret = fetch_proc_info (c, c->ip, 1)) < 0) |
| 596 | return ret; |
| 597 | |
| 598 | if ((ret = create_state_record_for (c, &sr, c->ip)) < 0) |
| 599 | return ret; |
| 600 | |
| 601 | if ((ret = apply_reg_state (c, &sr.rs_current)) < 0) |
| 602 | return ret; |
| 603 | |
| 604 | put_unwind_info (c, &c->pi); |
| 605 | return 0; |
| 606 | } |
| 607 | |
| 608 | /* The proc-info must be valid for IP before this routine can be |
| 609 | called. */ |
| 610 | HIDDEN int |
| 611 | dwarf_create_state_record (struct dwarf_cursor *c, dwarf_state_record_t *sr) |
| 612 | { |
| 613 | return create_state_record_for (c, sr, c->ip); |
| 614 | } |
| 615 | |
| 616 | HIDDEN int |
| 617 | dwarf_make_proc_info (struct dwarf_cursor *c) |
| 618 | { |
| 619 | #if 0 |
| 620 | if (c->as->caching_policy == UNW_CACHE_NONE |
| 621 | || get_cached_proc_info (c) < 0) |
| 622 | #endif |
| 623 | /* Lookup it up the slow way... */ |
| 624 | return fetch_proc_info (c, c->ip, 0); |
| 625 | return 0; |
| 626 | } |