db_trace.c revision 1.6 1 1.6 nisimura /* $NetBSD: db_trace.c,v 1.6 1999/01/16 03:44:42 nisimura Exp $ */
2 1.2 perry
3 1.1 jonathan /*
4 1.1 jonathan * Mach Operating System
5 1.1 jonathan * Copyright (c) 1993-1987 Carnegie Mellon University
6 1.1 jonathan * All Rights Reserved.
7 1.1 jonathan *
8 1.1 jonathan * Permission to use, copy, modify and distribute this software and its
9 1.1 jonathan * documentation is hereby granted, provided that both the copyright
10 1.1 jonathan * notice and this permission notice appear in all copies of the
11 1.1 jonathan * software, derivative works or modified versions, and any portions
12 1.1 jonathan * thereof, and that both notices appear in supporting documentation.
13 1.1 jonathan *
14 1.1 jonathan * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
15 1.1 jonathan * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
16 1.1 jonathan * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
17 1.1 jonathan *
18 1.1 jonathan * Carnegie Mellon requests users of this software to return to
19 1.1 jonathan *
20 1.1 jonathan * Software Distribution Coordinator or Software.Distribution (at) CS.CMU.EDU
21 1.1 jonathan * School of Computer Science
22 1.1 jonathan * Carnegie Mellon University
23 1.1 jonathan * Pittsburgh PA 15213-3890
24 1.1 jonathan *
25 1.1 jonathan * any improvements or extensions that they make and grant Carnegie Mellon
26 1.1 jonathan * the rights to redistribute these changes.
27 1.1 jonathan */
28 1.1 jonathan
29 1.1 jonathan #include <sys/types.h>
30 1.1 jonathan #include <vm/vm_param.h> /* XXX boolean_t */
31 1.1 jonathan
32 1.5 castor #include <mips/mips_opcode.h>
33 1.5 castor
34 1.1 jonathan #include <machine/param.h>
35 1.1 jonathan #include <mips/db_machdep.h>
36 1.1 jonathan #include <ddb/db_interface.h>
37 1.1 jonathan #include <ddb/db_output.h>
38 1.1 jonathan #include <ddb/db_variables.h>
39 1.1 jonathan #include <ddb/db_sym.h>
40 1.1 jonathan
41 1.1 jonathan extern int __start __P((void)); /* lowest kernel code address */
42 1.4 nisimura extern vaddr_t getreg_val __P((db_expr_t regno));
43 1.1 jonathan
44 1.1 jonathan #define REG_ARG(i) (4+i)
45 1.1 jonathan #define SAVES_RA(x) isa_spill((x),31)
46 1.1 jonathan
47 1.1 jonathan #define KERN_SAVE_REG_IDX(vp) ( \
48 1.1 jonathan ((vp)->valuep >= (int *)(&((struct mips_saved_state *)0)->s0) && \
49 1.1 jonathan (vp)->valuep <= (int *)(&((struct mips_saved_state *)0)->s7))? \
50 1.1 jonathan vp->valuep - (int *)(&((struct mips_saved_state *)0)->s0): \
51 1.1 jonathan ((vp)->valuep >= (int *)(&((struct mips_saved_state *)0)->sp) && \
52 1.1 jonathan (vp)->valuep <= (int *)(&((struct mips_saved_state *)0)->ra))? \
53 1.1 jonathan ((vp)->valuep-(int *)(&((struct mips_saved_state *)0)->sp)) + \
54 1.1 jonathan ((int *)(&((struct mips_kernel_state *)0)->sp) - (int *)0): \
55 1.1 jonathan -1)
56 1.1 jonathan
57 1.1 jonathan extern db_sym_t localsym __P((db_sym_t sym, boolean_t isreg, int *lex_level));
58 1.1 jonathan
59 1.1 jonathan /*
60 1.1 jonathan * Machine register set.
61 1.1 jonathan */
62 1.1 jonathan struct mips_saved_state *db_cur_exc_frame = 0;
63 1.1 jonathan
64 1.1 jonathan /*
65 1.1 jonathan * forward declarations
66 1.1 jonathan */
67 1.1 jonathan int print_exception_frame __P((register struct mips_saved_state *fp,
68 1.1 jonathan unsigned epc));
69 1.1 jonathan
70 1.1 jonathan /*XXX*/
71 1.1 jonathan extern void stacktrace_subr __P((int a0, int a1, int a2, int a3,
72 1.1 jonathan u_int pc, u_int sp, u_int fp, u_int ra,
73 1.1 jonathan void (*)(const char*, ...)));
74 1.1 jonathan
75 1.1 jonathan /*
76 1.1 jonathan * Stack trace helper.
77 1.1 jonathan */
78 1.4 nisimura void db_mips_stack_trace __P((int count, vaddr_t stackp,
79 1.4 nisimura vaddr_t the_pc, vaddr_t the_ra, int flags, vaddr_t kstackp));
80 1.5 castor int db_mips_variable_func __P((struct db_variable *vp, db_expr_t *valuep,
81 1.5 castor int db_var_fun));
82 1.1 jonathan
83 1.5 castor #define DB_SETF_REGS db_mips_variable_func
84 1.1 jonathan #define DBREGS_REG()
85 1.1 jonathan
86 1.1 jonathan struct db_variable db_regs[] = {
87 1.1 jonathan { "at", (long *)&ddb_regs.f_regs[AST], DB_SETF_REGS },
88 1.1 jonathan { "v0", (long *)&ddb_regs.f_regs[V0], DB_SETF_REGS },
89 1.1 jonathan { "v1", (long *)&ddb_regs.f_regs[V1], DB_SETF_REGS },
90 1.1 jonathan { "a0", (long *)&ddb_regs.f_regs[A0], DB_SETF_REGS },
91 1.1 jonathan { "a1", (long *)&ddb_regs.f_regs[A1], DB_SETF_REGS },
92 1.1 jonathan { "a2", (long *)&ddb_regs.f_regs[A2], DB_SETF_REGS },
93 1.1 jonathan { "a3", (long *)&ddb_regs.f_regs[A3], DB_SETF_REGS },
94 1.1 jonathan { "t0", (long *)&ddb_regs.f_regs[T0], DB_SETF_REGS },
95 1.1 jonathan { "t1", (long *)&ddb_regs.f_regs[T1], DB_SETF_REGS },
96 1.1 jonathan { "t2", (long *)&ddb_regs.f_regs[T2], DB_SETF_REGS },
97 1.1 jonathan { "t3", (long *)&ddb_regs.f_regs[T3], DB_SETF_REGS },
98 1.1 jonathan { "t4", (long *)&ddb_regs.f_regs[T4], DB_SETF_REGS },
99 1.1 jonathan { "t5", (long *)&ddb_regs.f_regs[T5], DB_SETF_REGS },
100 1.1 jonathan { "t6", (long *)&ddb_regs.f_regs[T6], DB_SETF_REGS },
101 1.1 jonathan { "t7", (long *)&ddb_regs.f_regs[T7], DB_SETF_REGS },
102 1.1 jonathan { "s0", (long *)&ddb_regs.f_regs[S0], DB_SETF_REGS },
103 1.1 jonathan { "s1", (long *)&ddb_regs.f_regs[S1], DB_SETF_REGS },
104 1.1 jonathan { "s2", (long *)&ddb_regs.f_regs[S2], DB_SETF_REGS },
105 1.1 jonathan { "s3", (long *)&ddb_regs.f_regs[S3], DB_SETF_REGS },
106 1.1 jonathan { "s4", (long *)&ddb_regs.f_regs[S4], DB_SETF_REGS },
107 1.1 jonathan { "s5", (long *)&ddb_regs.f_regs[S5], DB_SETF_REGS },
108 1.1 jonathan { "s6", (long *)&ddb_regs.f_regs[S6], DB_SETF_REGS },
109 1.1 jonathan { "s7", (long *)&ddb_regs.f_regs[S7], DB_SETF_REGS },
110 1.1 jonathan { "t8", (long *)&ddb_regs.f_regs[T8], DB_SETF_REGS },
111 1.1 jonathan { "t9", (long *)&ddb_regs.f_regs[T9], DB_SETF_REGS },
112 1.1 jonathan { "k0", (long *)&ddb_regs.f_regs[K0], DB_SETF_REGS },
113 1.1 jonathan { "k1", (long *)&ddb_regs.f_regs[K1], DB_SETF_REGS },
114 1.1 jonathan { "gp", (long *)&ddb_regs.f_regs[GP], DB_SETF_REGS },
115 1.1 jonathan { "sp", (long *)&ddb_regs.f_regs[SP], DB_SETF_REGS },
116 1.1 jonathan { "fp", (long *)&ddb_regs.f_regs[S8], DB_SETF_REGS }, /* frame ptr */
117 1.1 jonathan { "ra", (long *)&ddb_regs.f_regs[RA], DB_SETF_REGS },
118 1.1 jonathan { "sr", (long *)&ddb_regs.f_regs[SR], DB_SETF_REGS },
119 1.1 jonathan { "mdlo",(long *)&ddb_regs.f_regs[MULLO], DB_SETF_REGS },
120 1.1 jonathan { "mdhi",(long *)&ddb_regs.f_regs[MULHI], DB_SETF_REGS },
121 1.1 jonathan { "bad", (long *)&ddb_regs.f_regs[BADVADDR], DB_SETF_REGS },
122 1.1 jonathan { "cs", (long *)&ddb_regs.f_regs[CAUSE], DB_SETF_REGS },
123 1.1 jonathan { "pc", (long *)&ddb_regs.f_regs[PC], DB_SETF_REGS },
124 1.1 jonathan };
125 1.1 jonathan struct db_variable *db_eregs = db_regs + sizeof(db_regs)/sizeof(db_regs[0]);
126 1.1 jonathan
127 1.1 jonathan void
128 1.1 jonathan db_stack_trace_cmd(addr, have_addr, count, modif)
129 1.1 jonathan db_expr_t addr;
130 1.1 jonathan boolean_t have_addr;
131 1.1 jonathan db_expr_t count;
132 1.1 jonathan char *modif;
133 1.1 jonathan {
134 1.5 castor #ifndef DDB_TRACE
135 1.1 jonathan stacktrace_subr(ddb_regs.f_regs[A0], ddb_regs.f_regs[A1],
136 1.1 jonathan ddb_regs.f_regs[A2], ddb_regs.f_regs[A3],
137 1.1 jonathan ddb_regs.f_regs[PC],
138 1.1 jonathan ddb_regs.f_regs[SP],
139 1.5 castor ddb_regs.f_regs[S8], /* non-virtual frame pointer */
140 1.1 jonathan ddb_regs.f_regs[RA],
141 1.1 jonathan db_printf);
142 1.5 castor #else
143 1.5 castor /*
144 1.5 castor * Imcomplete but practically useful stack backtrace.
145 1.5 castor */
146 1.5 castor #define MIPS_JR_RA 0x03e00008 /* instruction code for jr ra */
147 1.5 castor #define MIPS_JR_K0 0x03400008 /* instruction code for jr k0 */
148 1.6 nisimura #define MIPS_ERET 0x42000018 /* instruction code for eret */
149 1.5 castor unsigned va, pc, ra, sp, func;
150 1.5 castor int insn;
151 1.5 castor InstFmt i;
152 1.5 castor int stacksize;
153 1.5 castor db_addr_t offset;
154 1.5 castor char *name;
155 1.5 castor extern char verylocore[];
156 1.5 castor
157 1.5 castor pc = ddb_regs.f_regs[PC];
158 1.5 castor sp = ddb_regs.f_regs[SP];
159 1.6 nisimura ra = ddb_regs.f_regs[RA];
160 1.5 castor do {
161 1.5 castor va = pc;
162 1.5 castor do {
163 1.5 castor va -= sizeof(int);
164 1.5 castor insn = *(int *)va;
165 1.5 castor if (insn == MIPS_ERET)
166 1.5 castor goto mips3_eret;
167 1.5 castor } while (insn != MIPS_JR_RA && insn != MIPS_JR_K0);
168 1.5 castor va += sizeof(int);
169 1.5 castor mips3_eret:
170 1.5 castor va += sizeof(int);
171 1.5 castor while (*(int *)va == 0x00000000)
172 1.5 castor va += sizeof(int);
173 1.5 castor func = va;
174 1.5 castor stacksize = 0;
175 1.5 castor do {
176 1.5 castor i.word = *(int *)va;
177 1.5 castor if (i.IType.op == OP_SW
178 1.5 castor && i.IType.rs == SP
179 1.5 castor && i.IType.rt == RA)
180 1.5 castor ra = *(int *)(sp + (short)i.IType.imm);
181 1.5 castor if (i.IType.op == OP_ADDIU
182 1.5 castor && i.IType.rs == SP
183 1.5 castor && i.IType.rt == SP)
184 1.5 castor stacksize = -(short)i.IType.imm;
185 1.5 castor va += sizeof(int);
186 1.5 castor } while (va < pc);
187 1.5 castor
188 1.5 castor db_find_sym_and_offset(func, &name, &offset);
189 1.5 castor if (name == 0)
190 1.5 castor name = "?";
191 1.5 castor db_printf("%s()+0x%x, called by %p, stack size %d\n",
192 1.5 castor name, pc - func, (void *)ra, stacksize);
193 1.5 castor
194 1.5 castor if (ra == pc) {
195 1.6 nisimura db_printf("-- loop? --\n");
196 1.5 castor return;
197 1.5 castor }
198 1.5 castor sp += stacksize;
199 1.5 castor pc = ra;
200 1.5 castor } while (pc > (unsigned)verylocore);
201 1.5 castor if (pc < 0x80000000)
202 1.5 castor db_printf("-- user process --\n");
203 1.5 castor else
204 1.5 castor db_printf("-- kernel entry --\n");
205 1.5 castor #endif
206 1.1 jonathan }
207 1.1 jonathan
208 1.1 jonathan void
209 1.1 jonathan db_mips_stack_trace(count, stackp, the_pc, the_ra, flags, kstackp)
210 1.1 jonathan int count;
211 1.4 nisimura vaddr_t stackp, the_pc, the_ra;
212 1.1 jonathan int flags;
213 1.4 nisimura vaddr_t kstackp;
214 1.1 jonathan {
215 1.1 jonathan return;
216 1.1 jonathan }
217 1.1 jonathan
218 1.5 castor
219 1.5 castor int
220 1.5 castor db_mips_variable_func (struct db_variable *vp,
221 1.5 castor db_expr_t *valuep,
222 1.5 castor int db_var_fcn)
223 1.5 castor {
224 1.5 castor switch (db_var_fcn) {
225 1.5 castor case DB_VAR_GET:
226 1.5 castor *valuep = *(mips_reg_t *) vp->valuep;
227 1.5 castor break;
228 1.5 castor case DB_VAR_SET:
229 1.5 castor *(mips_reg_t *) vp->valuep = *valuep;
230 1.5 castor break;
231 1.5 castor }
232 1.5 castor return 0;
233 1.5 castor }
234