| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 1 | /* | 
| Chris Metcalf | eb7c792 | 2011-11-02 23:02:17 -0400 | [diff] [blame] | 2 | * Copyright 2011 Tilera Corporation. All Rights Reserved. | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 3 | * | 
|  | 4 | *   This program is free software; you can redistribute it and/or | 
|  | 5 | *   modify it under the terms of the GNU General Public License | 
|  | 6 | *   as published by the Free Software Foundation, version 2. | 
|  | 7 | * | 
|  | 8 | *   This program is distributed in the hope that it will be useful, but | 
|  | 9 | *   WITHOUT ANY WARRANTY; without even the implied warranty of | 
|  | 10 | *   MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, GOOD TITLE or | 
|  | 11 | *   NON INFRINGEMENT.  See the GNU General Public License for | 
|  | 12 | *   more details. | 
|  | 13 | */ | 
|  | 14 |  | 
|  | 15 | #include <linux/kernel.h> | 
|  | 16 | #include <linux/string.h> | 
| Chris Metcalf | 9e0304e | 2012-06-18 13:11:21 -0400 | [diff] [blame] | 17 | #include <asm/byteorder.h> | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 18 | #include <asm/backtrace.h> | 
| Chris Metcalf | eb7c792 | 2011-11-02 23:02:17 -0400 | [diff] [blame] | 19 | #include <asm/tile-desc.h> | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 20 | #include <arch/abi.h> | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 21 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 22 | #ifdef __tilegx__ | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 23 | #define TILE_MAX_INSTRUCTIONS_PER_BUNDLE TILEGX_MAX_INSTRUCTIONS_PER_BUNDLE | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 24 | #define tile_decoded_instruction tilegx_decoded_instruction | 
|  | 25 | #define tile_mnemonic tilegx_mnemonic | 
|  | 26 | #define parse_insn_tile parse_insn_tilegx | 
|  | 27 | #define TILE_OPC_IRET TILEGX_OPC_IRET | 
|  | 28 | #define TILE_OPC_ADDI TILEGX_OPC_ADDI | 
|  | 29 | #define TILE_OPC_ADDLI TILEGX_OPC_ADDLI | 
|  | 30 | #define TILE_OPC_INFO TILEGX_OPC_INFO | 
|  | 31 | #define TILE_OPC_INFOL TILEGX_OPC_INFOL | 
|  | 32 | #define TILE_OPC_JRP TILEGX_OPC_JRP | 
|  | 33 | #define TILE_OPC_MOVE TILEGX_OPC_MOVE | 
|  | 34 | #define OPCODE_STORE TILEGX_OPC_ST | 
|  | 35 | typedef long long bt_int_reg_t; | 
|  | 36 | #else | 
| Chris Metcalf | eb7c792 | 2011-11-02 23:02:17 -0400 | [diff] [blame] | 37 | #define TILE_MAX_INSTRUCTIONS_PER_BUNDLE TILEPRO_MAX_INSTRUCTIONS_PER_BUNDLE | 
|  | 38 | #define tile_decoded_instruction tilepro_decoded_instruction | 
|  | 39 | #define tile_mnemonic tilepro_mnemonic | 
|  | 40 | #define parse_insn_tile parse_insn_tilepro | 
|  | 41 | #define TILE_OPC_IRET TILEPRO_OPC_IRET | 
|  | 42 | #define TILE_OPC_ADDI TILEPRO_OPC_ADDI | 
|  | 43 | #define TILE_OPC_ADDLI TILEPRO_OPC_ADDLI | 
|  | 44 | #define TILE_OPC_INFO TILEPRO_OPC_INFO | 
|  | 45 | #define TILE_OPC_INFOL TILEPRO_OPC_INFOL | 
|  | 46 | #define TILE_OPC_JRP TILEPRO_OPC_JRP | 
|  | 47 | #define TILE_OPC_MOVE TILEPRO_OPC_MOVE | 
|  | 48 | #define OPCODE_STORE TILEPRO_OPC_SW | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 49 | typedef int bt_int_reg_t; | 
|  | 50 | #endif | 
|  | 51 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 52 | /* A decoded bundle used for backtracer analysis. */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 53 | struct BacktraceBundle { | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 54 | tile_bundle_bits bits; | 
|  | 55 | int num_insns; | 
|  | 56 | struct tile_decoded_instruction | 
|  | 57 | insns[TILE_MAX_INSTRUCTIONS_PER_BUNDLE]; | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 58 | }; | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 59 |  | 
|  | 60 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 61 | /* Locates an instruction inside the given bundle that | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 62 | * has the specified mnemonic, and whose first 'num_operands_to_match' | 
|  | 63 | * operands exactly match those in 'operand_values'. | 
|  | 64 | */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 65 | static const struct tile_decoded_instruction *find_matching_insn( | 
|  | 66 | const struct BacktraceBundle *bundle, | 
|  | 67 | tile_mnemonic mnemonic, | 
|  | 68 | const int *operand_values, | 
|  | 69 | int num_operands_to_match) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 70 | { | 
|  | 71 | int i, j; | 
|  | 72 | bool match; | 
|  | 73 |  | 
|  | 74 | for (i = 0; i < bundle->num_insns; i++) { | 
|  | 75 | const struct tile_decoded_instruction *insn = | 
|  | 76 | &bundle->insns[i]; | 
|  | 77 |  | 
|  | 78 | if (insn->opcode->mnemonic != mnemonic) | 
|  | 79 | continue; | 
|  | 80 |  | 
|  | 81 | match = true; | 
|  | 82 | for (j = 0; j < num_operands_to_match; j++) { | 
|  | 83 | if (operand_values[j] != insn->operand_values[j]) { | 
|  | 84 | match = false; | 
|  | 85 | break; | 
|  | 86 | } | 
|  | 87 | } | 
|  | 88 |  | 
|  | 89 | if (match) | 
|  | 90 | return insn; | 
|  | 91 | } | 
|  | 92 |  | 
|  | 93 | return NULL; | 
|  | 94 | } | 
|  | 95 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 96 | /* Does this bundle contain an 'iret' instruction? */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 97 | static inline bool bt_has_iret(const struct BacktraceBundle *bundle) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 98 | { | 
|  | 99 | return find_matching_insn(bundle, TILE_OPC_IRET, NULL, 0) != NULL; | 
|  | 100 | } | 
|  | 101 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 102 | /* Does this bundle contain an 'addi sp, sp, OFFSET' or | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 103 | * 'addli sp, sp, OFFSET' instruction, and if so, what is OFFSET? | 
|  | 104 | */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 105 | static bool bt_has_addi_sp(const struct BacktraceBundle *bundle, int *adjust) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 106 | { | 
|  | 107 | static const int vals[2] = { TREG_SP, TREG_SP }; | 
|  | 108 |  | 
|  | 109 | const struct tile_decoded_instruction *insn = | 
|  | 110 | find_matching_insn(bundle, TILE_OPC_ADDI, vals, 2); | 
|  | 111 | if (insn == NULL) | 
|  | 112 | insn = find_matching_insn(bundle, TILE_OPC_ADDLI, vals, 2); | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 113 | #ifdef __tilegx__ | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 114 | if (insn == NULL) | 
|  | 115 | insn = find_matching_insn(bundle, TILEGX_OPC_ADDXLI, vals, 2); | 
|  | 116 | if (insn == NULL) | 
|  | 117 | insn = find_matching_insn(bundle, TILEGX_OPC_ADDXI, vals, 2); | 
|  | 118 | #endif | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 119 | if (insn == NULL) | 
|  | 120 | return false; | 
|  | 121 |  | 
|  | 122 | *adjust = insn->operand_values[2]; | 
|  | 123 | return true; | 
|  | 124 | } | 
|  | 125 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 126 | /* Does this bundle contain any 'info OP' or 'infol OP' | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 127 | * instruction, and if so, what are their OP?  Note that OP is interpreted | 
|  | 128 | * as an unsigned value by this code since that's what the caller wants. | 
|  | 129 | * Returns the number of info ops found. | 
|  | 130 | */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 131 | static int bt_get_info_ops(const struct BacktraceBundle *bundle, | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 132 | int operands[MAX_INFO_OPS_PER_BUNDLE]) | 
|  | 133 | { | 
|  | 134 | int num_ops = 0; | 
|  | 135 | int i; | 
|  | 136 |  | 
|  | 137 | for (i = 0; i < bundle->num_insns; i++) { | 
|  | 138 | const struct tile_decoded_instruction *insn = | 
|  | 139 | &bundle->insns[i]; | 
|  | 140 |  | 
|  | 141 | if (insn->opcode->mnemonic == TILE_OPC_INFO || | 
|  | 142 | insn->opcode->mnemonic == TILE_OPC_INFOL) { | 
|  | 143 | operands[num_ops++] = insn->operand_values[0]; | 
|  | 144 | } | 
|  | 145 | } | 
|  | 146 |  | 
|  | 147 | return num_ops; | 
|  | 148 | } | 
|  | 149 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 150 | /* Does this bundle contain a jrp instruction, and if so, to which | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 151 | * register is it jumping? | 
|  | 152 | */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 153 | static bool bt_has_jrp(const struct BacktraceBundle *bundle, int *target_reg) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 154 | { | 
|  | 155 | const struct tile_decoded_instruction *insn = | 
|  | 156 | find_matching_insn(bundle, TILE_OPC_JRP, NULL, 0); | 
|  | 157 | if (insn == NULL) | 
|  | 158 | return false; | 
|  | 159 |  | 
|  | 160 | *target_reg = insn->operand_values[0]; | 
|  | 161 | return true; | 
|  | 162 | } | 
|  | 163 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 164 | /* Does this bundle modify the specified register in any way? */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 165 | static bool bt_modifies_reg(const struct BacktraceBundle *bundle, int reg) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 166 | { | 
|  | 167 | int i, j; | 
|  | 168 | for (i = 0; i < bundle->num_insns; i++) { | 
|  | 169 | const struct tile_decoded_instruction *insn = | 
|  | 170 | &bundle->insns[i]; | 
|  | 171 |  | 
|  | 172 | if (insn->opcode->implicitly_written_register == reg) | 
|  | 173 | return true; | 
|  | 174 |  | 
|  | 175 | for (j = 0; j < insn->opcode->num_operands; j++) | 
|  | 176 | if (insn->operands[j]->is_dest_reg && | 
|  | 177 | insn->operand_values[j] == reg) | 
|  | 178 | return true; | 
|  | 179 | } | 
|  | 180 |  | 
|  | 181 | return false; | 
|  | 182 | } | 
|  | 183 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 184 | /* Does this bundle modify sp? */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 185 | static inline bool bt_modifies_sp(const struct BacktraceBundle *bundle) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 186 | { | 
|  | 187 | return bt_modifies_reg(bundle, TREG_SP); | 
|  | 188 | } | 
|  | 189 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 190 | /* Does this bundle modify lr? */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 191 | static inline bool bt_modifies_lr(const struct BacktraceBundle *bundle) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 192 | { | 
|  | 193 | return bt_modifies_reg(bundle, TREG_LR); | 
|  | 194 | } | 
|  | 195 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 196 | /* Does this bundle contain the instruction 'move fp, sp'? */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 197 | static inline bool bt_has_move_r52_sp(const struct BacktraceBundle *bundle) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 198 | { | 
|  | 199 | static const int vals[2] = { 52, TREG_SP }; | 
|  | 200 | return find_matching_insn(bundle, TILE_OPC_MOVE, vals, 2) != NULL; | 
|  | 201 | } | 
|  | 202 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 203 | /* Does this bundle contain a store of lr to sp? */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 204 | static inline bool bt_has_sw_sp_lr(const struct BacktraceBundle *bundle) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 205 | { | 
|  | 206 | static const int vals[2] = { TREG_SP, TREG_LR }; | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 207 | return find_matching_insn(bundle, OPCODE_STORE, vals, 2) != NULL; | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 208 | } | 
|  | 209 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 210 | #ifdef __tilegx__ | 
|  | 211 | /* Track moveli values placed into registers. */ | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 212 | static inline void bt_update_moveli(const struct BacktraceBundle *bundle, | 
|  | 213 | int moveli_args[]) | 
|  | 214 | { | 
|  | 215 | int i; | 
|  | 216 | for (i = 0; i < bundle->num_insns; i++) { | 
|  | 217 | const struct tile_decoded_instruction *insn = | 
|  | 218 | &bundle->insns[i]; | 
|  | 219 |  | 
|  | 220 | if (insn->opcode->mnemonic == TILEGX_OPC_MOVELI) { | 
|  | 221 | int reg = insn->operand_values[0]; | 
|  | 222 | moveli_args[reg] = insn->operand_values[1]; | 
|  | 223 | } | 
|  | 224 | } | 
|  | 225 | } | 
|  | 226 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 227 | /* Does this bundle contain an 'add sp, sp, reg' instruction | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 228 | * from a register that we saw a moveli into, and if so, what | 
|  | 229 | * is the value in the register? | 
|  | 230 | */ | 
|  | 231 | static bool bt_has_add_sp(const struct BacktraceBundle *bundle, int *adjust, | 
|  | 232 | int moveli_args[]) | 
|  | 233 | { | 
|  | 234 | static const int vals[2] = { TREG_SP, TREG_SP }; | 
|  | 235 |  | 
|  | 236 | const struct tile_decoded_instruction *insn = | 
|  | 237 | find_matching_insn(bundle, TILEGX_OPC_ADDX, vals, 2); | 
|  | 238 | if (insn) { | 
|  | 239 | int reg = insn->operand_values[2]; | 
|  | 240 | if (moveli_args[reg]) { | 
|  | 241 | *adjust = moveli_args[reg]; | 
|  | 242 | return true; | 
|  | 243 | } | 
|  | 244 | } | 
|  | 245 | return false; | 
|  | 246 | } | 
|  | 247 | #endif | 
|  | 248 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 249 | /* Locates the caller's PC and SP for a program starting at the | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 250 | * given address. | 
|  | 251 | */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 252 | static void find_caller_pc_and_caller_sp(CallerLocation *location, | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 253 | const unsigned long start_pc, | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 254 | BacktraceMemoryReader read_memory_func, | 
|  | 255 | void *read_memory_func_extra) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 256 | { | 
|  | 257 | /* Have we explicitly decided what the sp is, | 
|  | 258 | * rather than just the default? | 
|  | 259 | */ | 
|  | 260 | bool sp_determined = false; | 
|  | 261 |  | 
|  | 262 | /* Has any bundle seen so far modified lr? */ | 
|  | 263 | bool lr_modified = false; | 
|  | 264 |  | 
|  | 265 | /* Have we seen a move from sp to fp? */ | 
|  | 266 | bool sp_moved_to_r52 = false; | 
|  | 267 |  | 
|  | 268 | /* Have we seen a terminating bundle? */ | 
|  | 269 | bool seen_terminating_bundle = false; | 
|  | 270 |  | 
|  | 271 | /* Cut down on round-trip reading overhead by reading several | 
|  | 272 | * bundles at a time. | 
|  | 273 | */ | 
|  | 274 | tile_bundle_bits prefetched_bundles[32]; | 
|  | 275 | int num_bundles_prefetched = 0; | 
|  | 276 | int next_bundle = 0; | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 277 | unsigned long pc; | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 278 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 279 | #ifdef __tilegx__ | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 280 | /* Naively try to track moveli values to support addx for -m32. */ | 
|  | 281 | int moveli_args[TILEGX_NUM_REGISTERS] = { 0 }; | 
|  | 282 | #endif | 
|  | 283 |  | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 284 | /* Default to assuming that the caller's sp is the current sp. | 
|  | 285 | * This is necessary to handle the case where we start backtracing | 
|  | 286 | * right at the end of the epilog. | 
|  | 287 | */ | 
|  | 288 | location->sp_location = SP_LOC_OFFSET; | 
|  | 289 | location->sp_offset = 0; | 
|  | 290 |  | 
|  | 291 | /* Default to having no idea where the caller PC is. */ | 
|  | 292 | location->pc_location = PC_LOC_UNKNOWN; | 
|  | 293 |  | 
|  | 294 | /* Don't even try if the PC is not aligned. */ | 
|  | 295 | if (start_pc % TILE_BUNDLE_ALIGNMENT_IN_BYTES != 0) | 
|  | 296 | return; | 
|  | 297 |  | 
|  | 298 | for (pc = start_pc;; pc += sizeof(tile_bundle_bits)) { | 
|  | 299 |  | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 300 | struct BacktraceBundle bundle; | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 301 | int num_info_ops, info_operands[MAX_INFO_OPS_PER_BUNDLE]; | 
|  | 302 | int one_ago, jrp_reg; | 
|  | 303 | bool has_jrp; | 
|  | 304 |  | 
|  | 305 | if (next_bundle >= num_bundles_prefetched) { | 
|  | 306 | /* Prefetch some bytes, but don't cross a page | 
|  | 307 | * boundary since that might cause a read failure we | 
|  | 308 | * don't care about if we only need the first few | 
|  | 309 | * bytes. Note: we don't care what the actual page | 
|  | 310 | * size is; using the minimum possible page size will | 
|  | 311 | * prevent any problems. | 
|  | 312 | */ | 
|  | 313 | unsigned int bytes_to_prefetch = 4096 - (pc & 4095); | 
|  | 314 | if (bytes_to_prefetch > sizeof prefetched_bundles) | 
|  | 315 | bytes_to_prefetch = sizeof prefetched_bundles; | 
|  | 316 |  | 
|  | 317 | if (!read_memory_func(prefetched_bundles, pc, | 
|  | 318 | bytes_to_prefetch, | 
|  | 319 | read_memory_func_extra)) { | 
|  | 320 | if (pc == start_pc) { | 
|  | 321 | /* The program probably called a bad | 
|  | 322 | * address, such as a NULL pointer. | 
|  | 323 | * So treat this as if we are at the | 
|  | 324 | * start of the function prolog so the | 
|  | 325 | * backtrace will show how we got here. | 
|  | 326 | */ | 
|  | 327 | location->pc_location = PC_LOC_IN_LR; | 
|  | 328 | return; | 
|  | 329 | } | 
|  | 330 |  | 
|  | 331 | /* Unreadable address. Give up. */ | 
|  | 332 | break; | 
|  | 333 | } | 
|  | 334 |  | 
|  | 335 | next_bundle = 0; | 
|  | 336 | num_bundles_prefetched = | 
|  | 337 | bytes_to_prefetch / sizeof(tile_bundle_bits); | 
|  | 338 | } | 
|  | 339 |  | 
| Chris Metcalf | 9e0304e | 2012-06-18 13:11:21 -0400 | [diff] [blame] | 340 | /* | 
|  | 341 | * Decode the next bundle. | 
|  | 342 | * TILE always stores instruction bundles in little-endian | 
|  | 343 | * mode, even when the chip is running in big-endian mode. | 
|  | 344 | */ | 
|  | 345 | bundle.bits = le64_to_cpu(prefetched_bundles[next_bundle++]); | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 346 | bundle.num_insns = | 
|  | 347 | parse_insn_tile(bundle.bits, pc, bundle.insns); | 
|  | 348 | num_info_ops = bt_get_info_ops(&bundle, info_operands); | 
|  | 349 |  | 
|  | 350 | /* First look at any one_ago info ops if they are interesting, | 
|  | 351 | * since they should shadow any non-one-ago info ops. | 
|  | 352 | */ | 
|  | 353 | for (one_ago = (pc != start_pc) ? 1 : 0; | 
|  | 354 | one_ago >= 0; one_ago--) { | 
|  | 355 | int i; | 
|  | 356 | for (i = 0; i < num_info_ops; i++) { | 
|  | 357 | int info_operand = info_operands[i]; | 
|  | 358 | if (info_operand < CALLER_UNKNOWN_BASE)	{ | 
|  | 359 | /* Weird; reserved value, ignore it. */ | 
|  | 360 | continue; | 
|  | 361 | } | 
|  | 362 |  | 
|  | 363 | /* Skip info ops which are not in the | 
|  | 364 | * "one_ago" mode we want right now. | 
|  | 365 | */ | 
|  | 366 | if (((info_operand & ONE_BUNDLE_AGO_FLAG) != 0) | 
|  | 367 | != (one_ago != 0)) | 
|  | 368 | continue; | 
|  | 369 |  | 
|  | 370 | /* Clear the flag to make later checking | 
|  | 371 | * easier. */ | 
|  | 372 | info_operand &= ~ONE_BUNDLE_AGO_FLAG; | 
|  | 373 |  | 
|  | 374 | /* Default to looking at PC_IN_LR_FLAG. */ | 
|  | 375 | if (info_operand & PC_IN_LR_FLAG) | 
|  | 376 | location->pc_location = | 
|  | 377 | PC_LOC_IN_LR; | 
|  | 378 | else | 
|  | 379 | location->pc_location = | 
|  | 380 | PC_LOC_ON_STACK; | 
|  | 381 |  | 
|  | 382 | switch (info_operand) { | 
|  | 383 | case CALLER_UNKNOWN_BASE: | 
|  | 384 | location->pc_location = PC_LOC_UNKNOWN; | 
|  | 385 | location->sp_location = SP_LOC_UNKNOWN; | 
|  | 386 | return; | 
|  | 387 |  | 
|  | 388 | case CALLER_SP_IN_R52_BASE: | 
|  | 389 | case CALLER_SP_IN_R52_BASE | PC_IN_LR_FLAG: | 
|  | 390 | location->sp_location = SP_LOC_IN_R52; | 
|  | 391 | return; | 
|  | 392 |  | 
|  | 393 | default: | 
|  | 394 | { | 
|  | 395 | const unsigned int val = info_operand | 
|  | 396 | - CALLER_SP_OFFSET_BASE; | 
|  | 397 | const unsigned int sp_offset = | 
|  | 398 | (val >> NUM_INFO_OP_FLAGS) * 8; | 
|  | 399 | if (sp_offset < 32768) { | 
|  | 400 | /* This is a properly encoded | 
|  | 401 | * SP offset. */ | 
|  | 402 | location->sp_location = | 
|  | 403 | SP_LOC_OFFSET; | 
|  | 404 | location->sp_offset = | 
|  | 405 | sp_offset; | 
|  | 406 | return; | 
|  | 407 | } else { | 
|  | 408 | /* This looked like an SP | 
|  | 409 | * offset, but it's outside | 
|  | 410 | * the legal range, so this | 
|  | 411 | * must be an unrecognized | 
|  | 412 | * info operand.  Ignore it. | 
|  | 413 | */ | 
|  | 414 | } | 
|  | 415 | } | 
|  | 416 | break; | 
|  | 417 | } | 
|  | 418 | } | 
|  | 419 | } | 
|  | 420 |  | 
|  | 421 | if (seen_terminating_bundle) { | 
|  | 422 | /* We saw a terminating bundle during the previous | 
|  | 423 | * iteration, so we were only looking for an info op. | 
|  | 424 | */ | 
|  | 425 | break; | 
|  | 426 | } | 
|  | 427 |  | 
|  | 428 | if (bundle.bits == 0) { | 
|  | 429 | /* Wacky terminating bundle. Stop looping, and hope | 
|  | 430 | * we've already seen enough to find the caller. | 
|  | 431 | */ | 
|  | 432 | break; | 
|  | 433 | } | 
|  | 434 |  | 
|  | 435 | /* | 
|  | 436 | * Try to determine caller's SP. | 
|  | 437 | */ | 
|  | 438 |  | 
|  | 439 | if (!sp_determined) { | 
|  | 440 | int adjust; | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 441 | if (bt_has_addi_sp(&bundle, &adjust) | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 442 | #ifdef __tilegx__ | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 443 | || bt_has_add_sp(&bundle, &adjust, moveli_args) | 
|  | 444 | #endif | 
|  | 445 | ) { | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 446 | location->sp_location = SP_LOC_OFFSET; | 
|  | 447 |  | 
|  | 448 | if (adjust <= 0) { | 
|  | 449 | /* We are in prolog about to adjust | 
|  | 450 | * SP. */ | 
|  | 451 | location->sp_offset = 0; | 
|  | 452 | } else { | 
|  | 453 | /* We are in epilog restoring SP. */ | 
|  | 454 | location->sp_offset = adjust; | 
|  | 455 | } | 
|  | 456 |  | 
|  | 457 | sp_determined = true; | 
|  | 458 | } else { | 
|  | 459 | if (bt_has_move_r52_sp(&bundle)) { | 
|  | 460 | /* Maybe in prolog, creating an | 
|  | 461 | * alloca-style frame.  But maybe in | 
|  | 462 | * the middle of a fixed-size frame | 
|  | 463 | * clobbering r52 with SP. | 
|  | 464 | */ | 
|  | 465 | sp_moved_to_r52 = true; | 
|  | 466 | } | 
|  | 467 |  | 
|  | 468 | if (bt_modifies_sp(&bundle)) { | 
|  | 469 | if (sp_moved_to_r52) { | 
|  | 470 | /* We saw SP get saved into | 
|  | 471 | * r52 earlier (or now), which | 
|  | 472 | * must have been in the | 
|  | 473 | * prolog, so we now know that | 
|  | 474 | * SP is still holding the | 
|  | 475 | * caller's sp value. | 
|  | 476 | */ | 
|  | 477 | location->sp_location = | 
|  | 478 | SP_LOC_OFFSET; | 
|  | 479 | location->sp_offset = 0; | 
|  | 480 | } else { | 
|  | 481 | /* Someone must have saved | 
|  | 482 | * aside the caller's SP value | 
|  | 483 | * into r52, so r52 holds the | 
|  | 484 | * current value. | 
|  | 485 | */ | 
|  | 486 | location->sp_location = | 
|  | 487 | SP_LOC_IN_R52; | 
|  | 488 | } | 
|  | 489 | sp_determined = true; | 
|  | 490 | } | 
|  | 491 | } | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 492 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 493 | #ifdef __tilegx__ | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 494 | /* Track moveli arguments for -m32 mode. */ | 
|  | 495 | bt_update_moveli(&bundle, moveli_args); | 
|  | 496 | #endif | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 497 | } | 
|  | 498 |  | 
|  | 499 | if (bt_has_iret(&bundle)) { | 
|  | 500 | /* This is a terminating bundle. */ | 
|  | 501 | seen_terminating_bundle = true; | 
|  | 502 | continue; | 
|  | 503 | } | 
|  | 504 |  | 
|  | 505 | /* | 
|  | 506 | * Try to determine caller's PC. | 
|  | 507 | */ | 
|  | 508 |  | 
|  | 509 | jrp_reg = -1; | 
|  | 510 | has_jrp = bt_has_jrp(&bundle, &jrp_reg); | 
|  | 511 | if (has_jrp) | 
|  | 512 | seen_terminating_bundle = true; | 
|  | 513 |  | 
|  | 514 | if (location->pc_location == PC_LOC_UNKNOWN) { | 
|  | 515 | if (has_jrp) { | 
|  | 516 | if (jrp_reg == TREG_LR && !lr_modified) { | 
|  | 517 | /* Looks like a leaf function, or else | 
|  | 518 | * lr is already restored. */ | 
|  | 519 | location->pc_location = | 
|  | 520 | PC_LOC_IN_LR; | 
|  | 521 | } else { | 
|  | 522 | location->pc_location = | 
|  | 523 | PC_LOC_ON_STACK; | 
|  | 524 | } | 
|  | 525 | } else if (bt_has_sw_sp_lr(&bundle)) { | 
|  | 526 | /* In prolog, spilling initial lr to stack. */ | 
|  | 527 | location->pc_location = PC_LOC_IN_LR; | 
|  | 528 | } else if (bt_modifies_lr(&bundle)) { | 
|  | 529 | lr_modified = true; | 
|  | 530 | } | 
|  | 531 | } | 
|  | 532 | } | 
|  | 533 | } | 
|  | 534 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 535 | /* Initializes a backtracer to start from the given location. | 
|  | 536 | * | 
|  | 537 | * If the frame pointer cannot be determined it is set to -1. | 
|  | 538 | * | 
|  | 539 | * state: The state to be filled in. | 
|  | 540 | * read_memory_func: A callback that reads memory. | 
|  | 541 | * read_memory_func_extra: An arbitrary argument to read_memory_func. | 
|  | 542 | * pc: The current PC. | 
|  | 543 | * lr: The current value of the 'lr' register. | 
|  | 544 | * sp: The current value of the 'sp' register. | 
|  | 545 | * r52: The current value of the 'r52' register. | 
|  | 546 | */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 547 | void backtrace_init(BacktraceIterator *state, | 
|  | 548 | BacktraceMemoryReader read_memory_func, | 
|  | 549 | void *read_memory_func_extra, | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 550 | unsigned long pc, unsigned long lr, | 
|  | 551 | unsigned long sp, unsigned long r52) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 552 | { | 
|  | 553 | CallerLocation location; | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 554 | unsigned long fp, initial_frame_caller_pc; | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 555 |  | 
|  | 556 | /* Find out where we are in the initial frame. */ | 
|  | 557 | find_caller_pc_and_caller_sp(&location, pc, | 
|  | 558 | read_memory_func, read_memory_func_extra); | 
|  | 559 |  | 
|  | 560 | switch (location.sp_location) { | 
|  | 561 | case SP_LOC_UNKNOWN: | 
|  | 562 | /* Give up. */ | 
|  | 563 | fp = -1; | 
|  | 564 | break; | 
|  | 565 |  | 
|  | 566 | case SP_LOC_IN_R52: | 
|  | 567 | fp = r52; | 
|  | 568 | break; | 
|  | 569 |  | 
|  | 570 | case SP_LOC_OFFSET: | 
|  | 571 | fp = sp + location.sp_offset; | 
|  | 572 | break; | 
|  | 573 |  | 
|  | 574 | default: | 
|  | 575 | /* Give up. */ | 
|  | 576 | fp = -1; | 
|  | 577 | break; | 
|  | 578 | } | 
|  | 579 |  | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 580 | /* If the frame pointer is not aligned to the basic word size | 
|  | 581 | * something terrible happened and we should mark it as invalid. | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 582 | */ | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 583 | if (fp % sizeof(bt_int_reg_t) != 0) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 584 | fp = -1; | 
|  | 585 |  | 
|  | 586 | /* -1 means "don't know initial_frame_caller_pc". */ | 
|  | 587 | initial_frame_caller_pc = -1; | 
|  | 588 |  | 
|  | 589 | switch (location.pc_location) { | 
|  | 590 | case PC_LOC_UNKNOWN: | 
|  | 591 | /* Give up. */ | 
|  | 592 | fp = -1; | 
|  | 593 | break; | 
|  | 594 |  | 
|  | 595 | case PC_LOC_IN_LR: | 
|  | 596 | if (lr == 0 || lr % TILE_BUNDLE_ALIGNMENT_IN_BYTES != 0) { | 
|  | 597 | /* Give up. */ | 
|  | 598 | fp = -1; | 
|  | 599 | } else { | 
|  | 600 | initial_frame_caller_pc = lr; | 
|  | 601 | } | 
|  | 602 | break; | 
|  | 603 |  | 
|  | 604 | case PC_LOC_ON_STACK: | 
|  | 605 | /* Leave initial_frame_caller_pc as -1, | 
|  | 606 | * meaning check the stack. | 
|  | 607 | */ | 
|  | 608 | break; | 
|  | 609 |  | 
|  | 610 | default: | 
|  | 611 | /* Give up. */ | 
|  | 612 | fp = -1; | 
|  | 613 | break; | 
|  | 614 | } | 
|  | 615 |  | 
|  | 616 | state->pc = pc; | 
|  | 617 | state->sp = sp; | 
|  | 618 | state->fp = fp; | 
|  | 619 | state->initial_frame_caller_pc = initial_frame_caller_pc; | 
|  | 620 | state->read_memory_func = read_memory_func; | 
|  | 621 | state->read_memory_func_extra = read_memory_func_extra; | 
|  | 622 | } | 
|  | 623 |  | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 624 | /* Handle the case where the register holds more bits than the VA. */ | 
|  | 625 | static bool valid_addr_reg(bt_int_reg_t reg) | 
|  | 626 | { | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 627 | return ((unsigned long)reg == reg); | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 628 | } | 
|  | 629 |  | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 630 | /* Advances the backtracing state to the calling frame, returning | 
|  | 631 | * true iff successful. | 
|  | 632 | */ | 
| Chris Metcalf | 0707ad3 | 2010-06-25 17:04:17 -0400 | [diff] [blame] | 633 | bool backtrace_next(BacktraceIterator *state) | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 634 | { | 
| Chris Metcalf | 93013a0 | 2011-05-02 13:49:14 -0400 | [diff] [blame] | 635 | unsigned long next_fp, next_pc; | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 636 | bt_int_reg_t next_frame[2]; | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 637 |  | 
|  | 638 | if (state->fp == -1) { | 
|  | 639 | /* No parent frame. */ | 
|  | 640 | return false; | 
|  | 641 | } | 
|  | 642 |  | 
|  | 643 | /* Try to read the frame linkage data chaining to the next function. */ | 
|  | 644 | if (!state->read_memory_func(&next_frame, state->fp, sizeof next_frame, | 
|  | 645 | state->read_memory_func_extra)) { | 
|  | 646 | return false; | 
|  | 647 | } | 
|  | 648 |  | 
|  | 649 | next_fp = next_frame[1]; | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 650 | if (!valid_addr_reg(next_frame[1]) || | 
|  | 651 | next_fp % sizeof(bt_int_reg_t) != 0) { | 
|  | 652 | /* Caller's frame pointer is suspect, so give up. */ | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 653 | return false; | 
|  | 654 | } | 
|  | 655 |  | 
|  | 656 | if (state->initial_frame_caller_pc != -1) { | 
|  | 657 | /* We must be in the initial stack frame and already know the | 
|  | 658 | * caller PC. | 
|  | 659 | */ | 
|  | 660 | next_pc = state->initial_frame_caller_pc; | 
|  | 661 |  | 
|  | 662 | /* Force reading stack next time, in case we were in the | 
|  | 663 | * initial frame.  We don't do this above just to paranoidly | 
|  | 664 | * avoid changing the struct at all when we return false. | 
|  | 665 | */ | 
|  | 666 | state->initial_frame_caller_pc = -1; | 
|  | 667 | } else { | 
|  | 668 | /* Get the caller PC from the frame linkage area. */ | 
|  | 669 | next_pc = next_frame[0]; | 
| Chris Metcalf | 1fcbe02 | 2010-08-13 08:40:57 -0400 | [diff] [blame] | 670 | if (!valid_addr_reg(next_frame[0]) || next_pc == 0 || | 
| Chris Metcalf | 867e359 | 2010-05-28 23:09:12 -0400 | [diff] [blame] | 671 | next_pc % TILE_BUNDLE_ALIGNMENT_IN_BYTES != 0) { | 
|  | 672 | /* The PC is suspect, so give up. */ | 
|  | 673 | return false; | 
|  | 674 | } | 
|  | 675 | } | 
|  | 676 |  | 
|  | 677 | /* Update state to become the caller's stack frame. */ | 
|  | 678 | state->pc = next_pc; | 
|  | 679 | state->sp = state->fp; | 
|  | 680 | state->fp = next_fp; | 
|  | 681 |  | 
|  | 682 | return true; | 
|  | 683 | } |