Home | History | Annotate | Line # | Download | only in mips
db_trace.c revision 1.17
      1  1.17  jdolecek /*	$NetBSD: db_trace.c,v 1.17 2001/01/18 10:54:28 jdolecek 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.17  jdolecek const 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.17  jdolecek const struct db_variable * const 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