Home | History | Annotate | Line # | Download | only in mips
db_trace.c revision 1.44
      1  1.44       mrg /*	$NetBSD: db_trace.c,v 1.44 2020/08/15 07:42:07 mrg 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.24     lukem 
     29  1.24     lukem #include <sys/cdefs.h>
     30  1.44       mrg __KERNEL_RCSID(0, "$NetBSD: db_trace.c,v 1.44 2020/08/15 07:42:07 mrg Exp $");
     31  1.38      matt 
     32  1.38      matt #include "opt_ddb.h"
     33   1.1  jonathan 
     34  1.16     jeffs #include <sys/types.h>
     35  1.13     soren #include <sys/param.h>
     36  1.16     jeffs #include <sys/systm.h>
     37  1.16     jeffs #include <sys/proc.h>
     38  1.34      yamt #include <sys/cpu.h>
     39   1.1  jonathan 
     40   1.5    castor #include <mips/mips_opcode.h>
     41  1.44       mrg #include <mips/stacktrace.h>
     42   1.5    castor 
     43   1.7    simonb #include <machine/db_machdep.h>
     44  1.44       mrg #include <machine/locore.h>
     45  1.34      yamt 
     46   1.1  jonathan #include <ddb/db_interface.h>
     47   1.1  jonathan #include <ddb/db_output.h>
     48   1.1  jonathan #include <ddb/db_variables.h>
     49   1.1  jonathan #include <ddb/db_sym.h>
     50   1.1  jonathan 
     51  1.21    simonb int __start(void);	/* lowest kernel code address */
     52  1.21    simonb vaddr_t getreg_val(db_expr_t regno);
     53   1.1  jonathan 
     54   1.1  jonathan #define REG_ARG(i)	(4+i)
     55   1.1  jonathan #define SAVES_RA(x)	isa_spill((x),31)
     56   1.1  jonathan 
     57   1.1  jonathan #define KERN_SAVE_REG_IDX(vp)	( \
     58   1.1  jonathan 	((vp)->valuep >= (int *)(&((struct mips_saved_state *)0)->s0) &&    \
     59   1.1  jonathan 	 (vp)->valuep <= (int *)(&((struct mips_saved_state *)0)->s7))?	    \
     60   1.1  jonathan 		vp->valuep - (int *)(&((struct mips_saved_state *)0)->s0):  \
     61   1.1  jonathan 	((vp)->valuep >= (int *)(&((struct mips_saved_state *)0)->sp) &&    \
     62   1.1  jonathan 	 (vp)->valuep <= (int *)(&((struct mips_saved_state *)0)->ra))?	    \
     63   1.1  jonathan 		((vp)->valuep-(int *)(&((struct mips_saved_state *)0)->sp)) + \
     64   1.1  jonathan 		 ((int *)(&((struct mips_kernel_state *)0)->sp) - (int *)0):  \
     65   1.1  jonathan 	 -1)
     66   1.1  jonathan 
     67  1.32   thorpej db_sym_t localsym(db_sym_t sym, bool isreg, int *lex_level);
     68   1.1  jonathan 
     69   1.1  jonathan /*
     70   1.1  jonathan  * Machine register set.
     71   1.1  jonathan  */
     72   1.1  jonathan struct mips_saved_state *db_cur_exc_frame = 0;
     73   1.1  jonathan 
     74   1.1  jonathan /*
     75   1.1  jonathan  * Stack trace helper.
     76   1.1  jonathan  */
     77  1.21    simonb void db_mips_stack_trace(int, vaddr_t, vaddr_t, vaddr_t, int, vaddr_t);
     78  1.21    simonb int db_mips_variable_func(const struct db_variable *, db_expr_t *, int);
     79   1.1  jonathan 
     80   1.5    castor #define DB_SETF_REGS db_mips_variable_func
     81   1.1  jonathan #define DBREGS_REG()
     82   1.1  jonathan 
     83  1.17  jdolecek const struct db_variable db_regs[] = {
     84  1.41      matt 	{ "at",	(long *)&ddb_regs.r_regs[_R_AST],  DB_SETF_REGS },
     85  1.41      matt 	{ "v0",	(long *)&ddb_regs.r_regs[_R_V0],  DB_SETF_REGS },
     86  1.41      matt 	{ "v1",	(long *)&ddb_regs.r_regs[_R_V1],  DB_SETF_REGS },
     87  1.41      matt 	{ "a0",	(long *)&ddb_regs.r_regs[_R_A0],  DB_SETF_REGS },
     88  1.41      matt 	{ "a1",	(long *)&ddb_regs.r_regs[_R_A1],  DB_SETF_REGS },
     89  1.41      matt 	{ "a2",	(long *)&ddb_regs.r_regs[_R_A2],  DB_SETF_REGS },
     90  1.41      matt 	{ "a3",	(long *)&ddb_regs.r_regs[_R_A3],  DB_SETF_REGS },
     91  1.22   thorpej #if defined(__mips_n32) || defined(__mips_n64)
     92  1.41      matt 	{ "a4",	(long *)&ddb_regs.r_regs[_R_A4],  DB_SETF_REGS },
     93  1.41      matt 	{ "a5",	(long *)&ddb_regs.r_regs[_R_A5],  DB_SETF_REGS },
     94  1.41      matt 	{ "a6",	(long *)&ddb_regs.r_regs[_R_A6],  DB_SETF_REGS },
     95  1.41      matt 	{ "a7",	(long *)&ddb_regs.r_regs[_R_A7],  DB_SETF_REGS },
     96  1.41      matt 	{ "t0",	(long *)&ddb_regs.r_regs[_R_T0],  DB_SETF_REGS },
     97  1.41      matt 	{ "t1",	(long *)&ddb_regs.r_regs[_R_T1],  DB_SETF_REGS },
     98  1.41      matt 	{ "t2",	(long *)&ddb_regs.r_regs[_R_T2],  DB_SETF_REGS },
     99  1.41      matt 	{ "t3",	(long *)&ddb_regs.r_regs[_R_T3],  DB_SETF_REGS },
    100  1.22   thorpej #else
    101  1.41      matt 	{ "t0",	(long *)&ddb_regs.r_regs[_R_T0],  DB_SETF_REGS },
    102  1.41      matt 	{ "t1",	(long *)&ddb_regs.r_regs[_R_T1],  DB_SETF_REGS },
    103  1.41      matt 	{ "t2",	(long *)&ddb_regs.r_regs[_R_T2],  DB_SETF_REGS },
    104  1.41      matt 	{ "t3",	(long *)&ddb_regs.r_regs[_R_T3],  DB_SETF_REGS },
    105  1.41      matt 	{ "t4",	(long *)&ddb_regs.r_regs[_R_T4],  DB_SETF_REGS },
    106  1.41      matt 	{ "t5",	(long *)&ddb_regs.r_regs[_R_T5],  DB_SETF_REGS },
    107  1.41      matt 	{ "t6",	(long *)&ddb_regs.r_regs[_R_T6],  DB_SETF_REGS },
    108  1.41      matt 	{ "t7",	(long *)&ddb_regs.r_regs[_R_T7],  DB_SETF_REGS },
    109  1.22   thorpej #endif /* __mips_n32 || __mips_n64 */
    110  1.41      matt 	{ "s0",	(long *)&ddb_regs.r_regs[_R_S0],  DB_SETF_REGS },
    111  1.41      matt 	{ "s1",	(long *)&ddb_regs.r_regs[_R_S1],  DB_SETF_REGS },
    112  1.41      matt 	{ "s2",	(long *)&ddb_regs.r_regs[_R_S2],  DB_SETF_REGS },
    113  1.41      matt 	{ "s3",	(long *)&ddb_regs.r_regs[_R_S3],  DB_SETF_REGS },
    114  1.41      matt 	{ "s4",	(long *)&ddb_regs.r_regs[_R_S4],  DB_SETF_REGS },
    115  1.41      matt 	{ "s5",	(long *)&ddb_regs.r_regs[_R_S5],  DB_SETF_REGS },
    116  1.41      matt 	{ "s6",	(long *)&ddb_regs.r_regs[_R_S6],  DB_SETF_REGS },
    117  1.41      matt 	{ "s7",	(long *)&ddb_regs.r_regs[_R_S7],  DB_SETF_REGS },
    118  1.41      matt 	{ "t8",	(long *)&ddb_regs.r_regs[_R_T8],  DB_SETF_REGS },
    119  1.41      matt 	{ "t9",	(long *)&ddb_regs.r_regs[_R_T9],  DB_SETF_REGS },
    120  1.41      matt 	{ "k0",	(long *)&ddb_regs.r_regs[_R_K0],  DB_SETF_REGS },
    121  1.41      matt 	{ "k1",	(long *)&ddb_regs.r_regs[_R_K1],  DB_SETF_REGS },
    122  1.41      matt 	{ "gp",	(long *)&ddb_regs.r_regs[_R_GP],  DB_SETF_REGS },
    123  1.41      matt 	{ "sp",	(long *)&ddb_regs.r_regs[_R_SP],  DB_SETF_REGS },
    124  1.41      matt 	{ "fp",	(long *)&ddb_regs.r_regs[_R_S8],  DB_SETF_REGS },/* frame ptr */
    125  1.41      matt 	{ "ra",	(long *)&ddb_regs.r_regs[_R_RA],  DB_SETF_REGS },
    126  1.41      matt 	{ "sr",	(long *)&ddb_regs.r_regs[_R_SR],  DB_SETF_REGS },
    127  1.41      matt 	{ "mdlo",(long *)&ddb_regs.r_regs[_R_MULLO],  DB_SETF_REGS },
    128  1.41      matt 	{ "mdhi",(long *)&ddb_regs.r_regs[_R_MULHI],  DB_SETF_REGS },
    129  1.41      matt 	{ "bad", (long *)&ddb_regs.r_regs[_R_BADVADDR], DB_SETF_REGS },
    130  1.41      matt 	{ "cs",	(long *)&ddb_regs.r_regs[_R_CAUSE],  DB_SETF_REGS },
    131  1.41      matt 	{ "pc",	(long *)&ddb_regs.r_regs[_R_PC],  DB_SETF_REGS },
    132   1.1  jonathan };
    133  1.41      matt const struct db_variable * const db_eregs = db_regs + __arraycount(db_regs);
    134   1.1  jonathan 
    135   1.1  jonathan void
    136  1.33      matt db_stack_trace_print(db_expr_t addr, bool have_addr, db_expr_t count,
    137  1.26    simonb     const char *modif, void (*pr)(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.23   thorpej 	struct lwp *l;
    143  1.40       chs 	const char *cp = modif;
    144  1.40       chs 	char c;
    145  1.40       chs 	bool lwpaddr = false;
    146  1.16     jeffs 
    147  1.16     jeffs 	if (!have_addr) {
    148  1.41      matt 		struct reg * regs = &ddb_regs;
    149  1.41      matt 		stacktrace_subr(regs->r_regs[_R_A0],
    150  1.41      matt 				regs->r_regs[_R_A1],
    151  1.41      matt 				regs->r_regs[_R_A2],
    152  1.41      matt 				regs->r_regs[_R_A3],
    153  1.41      matt 				regs->r_regs[_R_PC],
    154  1.41      matt 				regs->r_regs[_R_SP],
    155  1.16     jeffs 				/* non-virtual frame pointer */
    156  1.41      matt 				regs->r_regs[_R_S8],
    157  1.41      matt 				regs->r_regs[_R_RA],
    158  1.16     jeffs 				pr);
    159  1.16     jeffs 		return;
    160  1.16     jeffs 	}
    161  1.16     jeffs 
    162  1.40       chs 	while ((c = *cp++) != 0) {
    163  1.40       chs 		if (c == 'a') {
    164  1.40       chs 			lwpaddr = true;
    165  1.40       chs 		}
    166  1.40       chs 	}
    167  1.40       chs 
    168  1.40       chs 	if (lwpaddr) {
    169  1.43      matt 		l = (struct lwp *)(intptr_t)addr;
    170  1.40       chs 		(*pr)("pid %d.%d ", l->l_proc->p_pid, l->l_lid);
    171  1.40       chs 	} else {
    172  1.40       chs 		/* "trace/t" */
    173  1.40       chs 
    174  1.40       chs 		(*pr)("pid %d ", (int)addr);
    175  1.40       chs 		p = proc_find_raw(addr);
    176  1.40       chs 		if (p == NULL) {
    177  1.40       chs 			(*pr)("not found\n");
    178  1.40       chs 			return;
    179  1.40       chs 		}
    180  1.40       chs 		l = LIST_FIRST(&p->p_lwps); /* XXX NJWLWP */
    181  1.40       chs 	}
    182  1.42      matt 
    183  1.37     rmind 	pcb = lwp_getpcb(l);
    184  1.16     jeffs 	(*pr)("at %p\n", pcb);
    185  1.16     jeffs 
    186  1.16     jeffs 	stacktrace_subr(0,0,0,0,	/* no args known */
    187  1.38      matt 			(vaddr_t)cpu_switchto,
    188  1.38      matt 			pcb->pcb_context.val[_L_SP],
    189  1.38      matt 			pcb->pcb_context.val[_L_S8],
    190  1.38      matt 			pcb->pcb_context.val[_L_RA],
    191  1.11     jhawk 			pr);
    192   1.5    castor #else
    193   1.5    castor /*
    194  1.13     soren  * Incomplete but practically useful stack backtrace.
    195   1.5    castor  */
    196   1.5    castor #define	MIPS_JR_RA	0x03e00008	/* instruction code for jr ra */
    197   1.5    castor #define	MIPS_JR_K0	0x03400008	/* instruction code for jr k0 */
    198   1.6  nisimura #define	MIPS_ERET	0x42000018	/* instruction code for eret */
    199  1.38      matt 	register_t va, pc, ra, sp, func;
    200   1.5    castor 	int insn;
    201   1.5    castor 	InstFmt i;
    202   1.5    castor 	int stacksize;
    203   1.5    castor 	db_addr_t offset;
    204  1.30    martin 	const char *name;
    205   1.5    castor 	extern char verylocore[];
    206   1.5    castor 
    207  1.41      matt 	pc = ddb_regs.r_regs[_R_PC];
    208  1.41      matt 	sp = ddb_regs.r_regs[_R_SP];
    209  1.41      matt 	ra = ddb_regs.r_regs[_R_RA];
    210   1.5    castor 	do {
    211   1.5    castor 		va = pc;
    212   1.5    castor 		do {
    213   1.5    castor 			va -= sizeof(int);
    214  1.38      matt 			insn = *(int *)(intptr_t)va;
    215   1.5    castor 			if (insn == MIPS_ERET)
    216   1.5    castor 				goto mips3_eret;
    217   1.5    castor 		} while (insn != MIPS_JR_RA && insn != MIPS_JR_K0);
    218   1.5    castor 		va += sizeof(int);
    219   1.5    castor 	mips3_eret:
    220   1.5    castor 		va += sizeof(int);
    221  1.38      matt 		while (*(int *)(intptr_t)va == 0x00000000)
    222   1.5    castor 			va += sizeof(int);
    223   1.5    castor 		func = va;
    224   1.5    castor 		stacksize = 0;
    225   1.5    castor 		do {
    226  1.38      matt 			i.word = *(int *)(intptr_t)va;
    227  1.38      matt 			if (((i.IType.op == OP_SW) || (i.IType.op == OP_SD))
    228  1.25        he 			    && i.IType.rs == _R_SP
    229  1.25        he 			    && i.IType.rt == _R_RA)
    230  1.38      matt 				ra = *(int *)(intptr_t)(sp + (short)i.IType.imm);
    231  1.38      matt 			if (((i.IType.op == OP_ADDIU) || (i.IType.op == OP_DADDIU))
    232  1.25        he 			    && i.IType.rs == _R_SP
    233  1.25        he 			    && i.IType.rt == _R_SP)
    234   1.5    castor 				stacksize = -(short)i.IType.imm;
    235   1.5    castor 			va += sizeof(int);
    236   1.5    castor 		} while (va < pc);
    237   1.5    castor 
    238   1.5    castor 		db_find_sym_and_offset(func, &name, &offset);
    239   1.5    castor 		if (name == 0)
    240   1.5    castor 			name = "?";
    241  1.11     jhawk 		(*pr)("%s()+0x%x, called by %p, stack size %d\n",
    242  1.38      matt 			name, pc - func, (void *)(intptr_t)ra, stacksize);
    243   1.5    castor 
    244   1.5    castor 		if (ra == pc) {
    245  1.12    mhitch 			(*pr)("-- loop? --\n");
    246   1.5    castor 			return;
    247   1.5    castor 		}
    248   1.5    castor 		sp += stacksize;
    249   1.5    castor 		pc = ra;
    250  1.38      matt 	} while (pc > (intptr_t)verylocore);
    251   1.5    castor 	if (pc < 0x80000000)
    252  1.11     jhawk 		(*pr)("-- user process --\n");
    253   1.5    castor 	else
    254  1.11     jhawk 		(*pr)("-- kernel entry --\n");
    255   1.5    castor #endif
    256   1.1  jonathan }
    257   1.1  jonathan 
    258   1.1  jonathan void
    259  1.20    simonb db_mips_stack_trace(int count, vaddr_t stackp, vaddr_t the_pc, vaddr_t the_ra,
    260  1.20    simonb     int flags, vaddr_t kstackp)
    261   1.1  jonathan {
    262  1.20    simonb 
    263  1.20    simonb 	/* nothing... */
    264   1.1  jonathan }
    265   1.1  jonathan 
    266   1.5    castor 
    267   1.8    simonb int
    268  1.20    simonb db_mips_variable_func (const struct db_variable *vp, db_expr_t *valuep,
    269  1.20    simonb     int db_var_fcn)
    270   1.5    castor {
    271  1.20    simonb 
    272   1.5    castor 	switch (db_var_fcn) {
    273   1.5    castor 	case DB_VAR_GET:
    274   1.5    castor 		*valuep = *(mips_reg_t *) vp->valuep;
    275   1.5    castor 		break;
    276   1.5    castor 	case DB_VAR_SET:
    277   1.5    castor 		*(mips_reg_t *) vp->valuep = *valuep;
    278   1.5    castor 		break;
    279   1.5    castor 	}
    280   1.5    castor 	return 0;
    281   1.5    castor }
    282