Home | History | Annotate | Line # | Download | only in mips
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