db_trace.c revision 1.16 1 1.16 jeffs /* $NetBSD: db_trace.c,v 1.16 2000/09/19 06:22:51 jeffs Exp $ */
2 1.2 perry
3 1.8 simonb /*
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.8 simonb *
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.8 simonb *
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.8 simonb *
18 1.1 jonathan * Carnegie Mellon requests users of this software to return to
19 1.8 simonb *
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.8 simonb *
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.16 jeffs #include <sys/types.h>
30 1.13 soren #include <sys/param.h>
31 1.16 jeffs #include <sys/systm.h>
32 1.16 jeffs #include <sys/proc.h>
33 1.16 jeffs #include <sys/user.h>
34 1.1 jonathan
35 1.5 castor #include <mips/mips_opcode.h>
36 1.5 castor
37 1.1 jonathan #include <machine/param.h>
38 1.7 simonb #include <machine/db_machdep.h>
39 1.1 jonathan #include <ddb/db_interface.h>
40 1.1 jonathan #include <ddb/db_output.h>
41 1.1 jonathan #include <ddb/db_variables.h>
42 1.1 jonathan #include <ddb/db_sym.h>
43 1.1 jonathan
44 1.9 simonb int __start __P((void)); /* lowest kernel code address */
45 1.9 simonb vaddr_t getreg_val __P((db_expr_t regno));
46 1.1 jonathan
47 1.1 jonathan #define REG_ARG(i) (4+i)
48 1.1 jonathan #define SAVES_RA(x) isa_spill((x),31)
49 1.1 jonathan
50 1.1 jonathan #define KERN_SAVE_REG_IDX(vp) ( \
51 1.1 jonathan ((vp)->valuep >= (int *)(&((struct mips_saved_state *)0)->s0) && \
52 1.1 jonathan (vp)->valuep <= (int *)(&((struct mips_saved_state *)0)->s7))? \
53 1.1 jonathan vp->valuep - (int *)(&((struct mips_saved_state *)0)->s0): \
54 1.1 jonathan ((vp)->valuep >= (int *)(&((struct mips_saved_state *)0)->sp) && \
55 1.1 jonathan (vp)->valuep <= (int *)(&((struct mips_saved_state *)0)->ra))? \
56 1.1 jonathan ((vp)->valuep-(int *)(&((struct mips_saved_state *)0)->sp)) + \
57 1.1 jonathan ((int *)(&((struct mips_kernel_state *)0)->sp) - (int *)0): \
58 1.1 jonathan -1)
59 1.1 jonathan
60 1.9 simonb db_sym_t localsym __P((db_sym_t sym, boolean_t isreg, int *lex_level));
61 1.1 jonathan
62 1.1 jonathan /*
63 1.1 jonathan * Machine register set.
64 1.1 jonathan */
65 1.1 jonathan struct mips_saved_state *db_cur_exc_frame = 0;
66 1.1 jonathan
67 1.8 simonb /*
68 1.1 jonathan * forward declarations
69 1.1 jonathan */
70 1.10 simonb int print_exception_frame __P((struct mips_saved_state *fp,
71 1.1 jonathan unsigned epc));
72 1.1 jonathan
73 1.1 jonathan /*XXX*/
74 1.9 simonb void stacktrace_subr __P((int a0, int a1, int a2, int a3,
75 1.10 simonb u_int pc, u_int sp, u_int fp, u_int ra,
76 1.10 simonb void (*)(const char*, ...)));
77 1.1 jonathan
78 1.1 jonathan /*
79 1.1 jonathan * Stack trace helper.
80 1.1 jonathan */
81 1.4 nisimura void db_mips_stack_trace __P((int count, vaddr_t stackp,
82 1.10 simonb vaddr_t the_pc, vaddr_t the_ra, int flags,
83 1.10 simonb vaddr_t kstackp));
84 1.10 simonb int db_mips_variable_func __P((struct db_variable *vp, db_expr_t *valuep,
85 1.10 simonb int db_var_fun));
86 1.1 jonathan
87 1.5 castor #define DB_SETF_REGS db_mips_variable_func
88 1.1 jonathan #define DBREGS_REG()
89 1.1 jonathan
90 1.1 jonathan struct db_variable db_regs[] = {
91 1.1 jonathan { "at", (long *)&ddb_regs.f_regs[AST], DB_SETF_REGS },
92 1.1 jonathan { "v0", (long *)&ddb_regs.f_regs[V0], DB_SETF_REGS },
93 1.1 jonathan { "v1", (long *)&ddb_regs.f_regs[V1], DB_SETF_REGS },
94 1.1 jonathan { "a0", (long *)&ddb_regs.f_regs[A0], DB_SETF_REGS },
95 1.1 jonathan { "a1", (long *)&ddb_regs.f_regs[A1], DB_SETF_REGS },
96 1.1 jonathan { "a2", (long *)&ddb_regs.f_regs[A2], DB_SETF_REGS },
97 1.1 jonathan { "a3", (long *)&ddb_regs.f_regs[A3], DB_SETF_REGS },
98 1.1 jonathan { "t0", (long *)&ddb_regs.f_regs[T0], DB_SETF_REGS },
99 1.1 jonathan { "t1", (long *)&ddb_regs.f_regs[T1], DB_SETF_REGS },
100 1.1 jonathan { "t2", (long *)&ddb_regs.f_regs[T2], DB_SETF_REGS },
101 1.1 jonathan { "t3", (long *)&ddb_regs.f_regs[T3], DB_SETF_REGS },
102 1.1 jonathan { "t4", (long *)&ddb_regs.f_regs[T4], DB_SETF_REGS },
103 1.1 jonathan { "t5", (long *)&ddb_regs.f_regs[T5], DB_SETF_REGS },
104 1.1 jonathan { "t6", (long *)&ddb_regs.f_regs[T6], DB_SETF_REGS },
105 1.1 jonathan { "t7", (long *)&ddb_regs.f_regs[T7], DB_SETF_REGS },
106 1.1 jonathan { "s0", (long *)&ddb_regs.f_regs[S0], DB_SETF_REGS },
107 1.1 jonathan { "s1", (long *)&ddb_regs.f_regs[S1], DB_SETF_REGS },
108 1.1 jonathan { "s2", (long *)&ddb_regs.f_regs[S2], DB_SETF_REGS },
109 1.1 jonathan { "s3", (long *)&ddb_regs.f_regs[S3], DB_SETF_REGS },
110 1.1 jonathan { "s4", (long *)&ddb_regs.f_regs[S4], DB_SETF_REGS },
111 1.1 jonathan { "s5", (long *)&ddb_regs.f_regs[S5], DB_SETF_REGS },
112 1.1 jonathan { "s6", (long *)&ddb_regs.f_regs[S6], DB_SETF_REGS },
113 1.1 jonathan { "s7", (long *)&ddb_regs.f_regs[S7], DB_SETF_REGS },
114 1.1 jonathan { "t8", (long *)&ddb_regs.f_regs[T8], DB_SETF_REGS },
115 1.1 jonathan { "t9", (long *)&ddb_regs.f_regs[T9], DB_SETF_REGS },
116 1.1 jonathan { "k0", (long *)&ddb_regs.f_regs[K0], DB_SETF_REGS },
117 1.1 jonathan { "k1", (long *)&ddb_regs.f_regs[K1], DB_SETF_REGS },
118 1.1 jonathan { "gp", (long *)&ddb_regs.f_regs[GP], DB_SETF_REGS },
119 1.1 jonathan { "sp", (long *)&ddb_regs.f_regs[SP], DB_SETF_REGS },
120 1.1 jonathan { "fp", (long *)&ddb_regs.f_regs[S8], DB_SETF_REGS }, /* frame ptr */
121 1.1 jonathan { "ra", (long *)&ddb_regs.f_regs[RA], DB_SETF_REGS },
122 1.1 jonathan { "sr", (long *)&ddb_regs.f_regs[SR], DB_SETF_REGS },
123 1.1 jonathan { "mdlo",(long *)&ddb_regs.f_regs[MULLO], DB_SETF_REGS },
124 1.1 jonathan { "mdhi",(long *)&ddb_regs.f_regs[MULHI], DB_SETF_REGS },
125 1.1 jonathan { "bad", (long *)&ddb_regs.f_regs[BADVADDR], DB_SETF_REGS },
126 1.1 jonathan { "cs", (long *)&ddb_regs.f_regs[CAUSE], DB_SETF_REGS },
127 1.1 jonathan { "pc", (long *)&ddb_regs.f_regs[PC], DB_SETF_REGS },
128 1.1 jonathan };
129 1.1 jonathan struct db_variable *db_eregs = db_regs + sizeof(db_regs)/sizeof(db_regs[0]);
130 1.1 jonathan
131 1.1 jonathan void
132 1.11 jhawk db_stack_trace_print(addr, have_addr, count, modif, pr)
133 1.1 jonathan db_expr_t addr;
134 1.1 jonathan boolean_t have_addr;
135 1.1 jonathan db_expr_t count;
136 1.1 jonathan char *modif;
137 1.11 jhawk void (*pr) __P((const char *, ...));
138 1.1 jonathan {
139 1.5 castor #ifndef DDB_TRACE
140 1.16 jeffs struct pcb *pcb;
141 1.16 jeffs struct proc *p;
142 1.16 jeffs
143 1.16 jeffs if (!have_addr) {
144 1.16 jeffs stacktrace_subr(ddb_regs.f_regs[A0], ddb_regs.f_regs[A1],
145 1.16 jeffs ddb_regs.f_regs[A2], ddb_regs.f_regs[A3],
146 1.16 jeffs ddb_regs.f_regs[PC],
147 1.16 jeffs ddb_regs.f_regs[SP],
148 1.16 jeffs /* non-virtual frame pointer */
149 1.16 jeffs ddb_regs.f_regs[S8],
150 1.16 jeffs ddb_regs.f_regs[RA],
151 1.16 jeffs pr);
152 1.16 jeffs return;
153 1.16 jeffs }
154 1.16 jeffs
155 1.16 jeffs /* "trace/t" */
156 1.16 jeffs (*pr)("pid %d ", (int)addr);
157 1.16 jeffs p = pfind(addr);
158 1.16 jeffs if (p == NULL) {
159 1.16 jeffs (*pr)("not found\n");
160 1.16 jeffs return;
161 1.16 jeffs }
162 1.16 jeffs if (!(p->p_flag&P_INMEM)) {
163 1.16 jeffs (*pr)("swapped out\n");
164 1.16 jeffs return;
165 1.16 jeffs }
166 1.16 jeffs
167 1.16 jeffs pcb = &(p->p_addr->u_pcb);
168 1.16 jeffs (*pr)("at %p\n", pcb);
169 1.16 jeffs
170 1.16 jeffs stacktrace_subr(0,0,0,0, /* no args known */
171 1.16 jeffs (int)cpu_switch,
172 1.16 jeffs pcb->pcb_context[8],
173 1.16 jeffs pcb->pcb_context[9],
174 1.16 jeffs pcb->pcb_context[10],
175 1.11 jhawk pr);
176 1.5 castor #else
177 1.5 castor /*
178 1.13 soren * Incomplete but practically useful stack backtrace.
179 1.5 castor */
180 1.5 castor #define MIPS_JR_RA 0x03e00008 /* instruction code for jr ra */
181 1.5 castor #define MIPS_JR_K0 0x03400008 /* instruction code for jr k0 */
182 1.6 nisimura #define MIPS_ERET 0x42000018 /* instruction code for eret */
183 1.5 castor unsigned va, pc, ra, sp, func;
184 1.5 castor int insn;
185 1.5 castor InstFmt i;
186 1.5 castor int stacksize;
187 1.5 castor db_addr_t offset;
188 1.5 castor char *name;
189 1.5 castor extern char verylocore[];
190 1.5 castor
191 1.5 castor pc = ddb_regs.f_regs[PC];
192 1.5 castor sp = ddb_regs.f_regs[SP];
193 1.6 nisimura ra = ddb_regs.f_regs[RA];
194 1.5 castor do {
195 1.5 castor va = pc;
196 1.5 castor do {
197 1.5 castor va -= sizeof(int);
198 1.5 castor insn = *(int *)va;
199 1.5 castor if (insn == MIPS_ERET)
200 1.5 castor goto mips3_eret;
201 1.5 castor } while (insn != MIPS_JR_RA && insn != MIPS_JR_K0);
202 1.5 castor va += sizeof(int);
203 1.5 castor mips3_eret:
204 1.5 castor va += sizeof(int);
205 1.5 castor while (*(int *)va == 0x00000000)
206 1.5 castor va += sizeof(int);
207 1.5 castor func = va;
208 1.5 castor stacksize = 0;
209 1.5 castor do {
210 1.5 castor i.word = *(int *)va;
211 1.5 castor if (i.IType.op == OP_SW
212 1.5 castor && i.IType.rs == SP
213 1.5 castor && i.IType.rt == RA)
214 1.5 castor ra = *(int *)(sp + (short)i.IType.imm);
215 1.5 castor if (i.IType.op == OP_ADDIU
216 1.5 castor && i.IType.rs == SP
217 1.5 castor && i.IType.rt == SP)
218 1.5 castor stacksize = -(short)i.IType.imm;
219 1.5 castor va += sizeof(int);
220 1.5 castor } while (va < pc);
221 1.5 castor
222 1.5 castor db_find_sym_and_offset(func, &name, &offset);
223 1.5 castor if (name == 0)
224 1.5 castor name = "?";
225 1.11 jhawk (*pr)("%s()+0x%x, called by %p, stack size %d\n",
226 1.5 castor name, pc - func, (void *)ra, stacksize);
227 1.5 castor
228 1.5 castor if (ra == pc) {
229 1.12 mhitch (*pr)("-- loop? --\n");
230 1.5 castor return;
231 1.5 castor }
232 1.5 castor sp += stacksize;
233 1.5 castor pc = ra;
234 1.5 castor } while (pc > (unsigned)verylocore);
235 1.5 castor if (pc < 0x80000000)
236 1.11 jhawk (*pr)("-- user process --\n");
237 1.5 castor else
238 1.11 jhawk (*pr)("-- kernel entry --\n");
239 1.5 castor #endif
240 1.1 jonathan }
241 1.1 jonathan
242 1.1 jonathan void
243 1.1 jonathan db_mips_stack_trace(count, stackp, the_pc, the_ra, flags, kstackp)
244 1.1 jonathan int count;
245 1.4 nisimura vaddr_t stackp, the_pc, the_ra;
246 1.1 jonathan int flags;
247 1.4 nisimura vaddr_t kstackp;
248 1.1 jonathan {
249 1.1 jonathan return;
250 1.1 jonathan }
251 1.1 jonathan
252 1.5 castor
253 1.8 simonb int
254 1.5 castor db_mips_variable_func (struct db_variable *vp,
255 1.5 castor db_expr_t *valuep,
256 1.5 castor int db_var_fcn)
257 1.5 castor {
258 1.5 castor switch (db_var_fcn) {
259 1.5 castor case DB_VAR_GET:
260 1.5 castor *valuep = *(mips_reg_t *) vp->valuep;
261 1.5 castor break;
262 1.5 castor case DB_VAR_SET:
263 1.5 castor *(mips_reg_t *) vp->valuep = *valuep;
264 1.5 castor break;
265 1.5 castor }
266 1.5 castor return 0;
267 1.5 castor }
268