Home | History | Annotate | Line # | Download | only in ddb
db_run.c revision 1.10
      1  1.10       gwr /*	$NetBSD: db_run.c,v 1.10 1997/02/06 21:17:16 gwr Exp $	*/
      2   1.5       cgd 
      3   1.1       cgd /*
      4   1.1       cgd  * Mach Operating System
      5   1.1       cgd  * Copyright (c) 1991,1990 Carnegie Mellon University
      6   1.1       cgd  * All Rights Reserved.
      7   1.1       cgd  *
      8   1.1       cgd  * Permission to use, copy, modify and distribute this software and its
      9   1.1       cgd  * documentation is hereby granted, provided that both the copyright
     10   1.1       cgd  * notice and this permission notice appear in all copies of the
     11   1.1       cgd  * software, derivative works or modified versions, and any portions
     12   1.1       cgd  * thereof, and that both notices appear in supporting documentation.
     13   1.1       cgd  *
     14   1.1       cgd  * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
     15   1.1       cgd  * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
     16   1.1       cgd  * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
     17   1.1       cgd  *
     18   1.1       cgd  * Carnegie Mellon requests users of this software to return to
     19   1.1       cgd  *
     20   1.1       cgd  *  Software Distribution Coordinator  or  Software.Distribution (at) CS.CMU.EDU
     21   1.1       cgd  *  School of Computer Science
     22   1.1       cgd  *  Carnegie Mellon University
     23   1.1       cgd  *  Pittsburgh PA 15213-3890
     24   1.1       cgd  *
     25   1.1       cgd  * any improvements or extensions that they make and grant Carnegie the
     26   1.1       cgd  * rights to redistribute these changes.
     27   1.2       cgd  *
     28   1.1       cgd  * 	Author: David B. Golub, Carnegie Mellon University
     29   1.1       cgd  *	Date:	7/90
     30   1.1       cgd  */
     31   1.1       cgd 
     32   1.1       cgd /*
     33   1.1       cgd  * Commands to run process.
     34   1.1       cgd  */
     35   1.7   mycroft #include <sys/param.h>
     36   1.7   mycroft #include <sys/proc.h>
     37   1.7   mycroft 
     38   1.7   mycroft #include <machine/db_machdep.h>
     39   1.7   mycroft 
     40   1.6   mycroft #include <ddb/db_run.h>
     41   1.1       cgd #include <ddb/db_lex.h>
     42   1.1       cgd #include <ddb/db_break.h>
     43   1.1       cgd #include <ddb/db_access.h>
     44   1.8  christos #include <ddb/db_watch.h>
     45   1.8  christos #include <ddb/db_output.h>
     46   1.8  christos #include <ddb/db_sym.h>
     47   1.8  christos #include <ddb/db_extern.h>
     48   1.1       cgd 
     49   1.1       cgd int	db_run_mode;
     50   1.1       cgd #define	STEP_NONE	0
     51   1.1       cgd #define	STEP_ONCE	1
     52   1.1       cgd #define	STEP_RETURN	2
     53   1.1       cgd #define	STEP_CALLT	3
     54   1.1       cgd #define	STEP_CONTINUE	4
     55   1.1       cgd #define STEP_INVISIBLE	5
     56   1.1       cgd #define	STEP_COUNT	6
     57   1.1       cgd 
     58   1.1       cgd boolean_t	db_sstep_print;
     59   1.1       cgd int		db_loop_count;
     60   1.1       cgd int		db_call_depth;
     61   1.1       cgd 
     62   1.1       cgd boolean_t
     63   1.6   mycroft db_stop_at_pc(regs, is_breakpoint)
     64   1.6   mycroft 	db_regs_t *regs;
     65   1.1       cgd 	boolean_t	*is_breakpoint;
     66   1.1       cgd {
     67   1.1       cgd 	register db_addr_t	pc;
     68   1.1       cgd 	register db_breakpoint_t bkpt;
     69   1.1       cgd 
     70   1.6   mycroft 	db_clear_single_step(regs);
     71   1.1       cgd 	db_clear_breakpoints();
     72   1.1       cgd 	db_clear_watchpoints();
     73   1.6   mycroft 	pc = PC_REGS(regs);
     74   1.1       cgd 
     75   1.1       cgd #ifdef	FIXUP_PC_AFTER_BREAK
     76   1.1       cgd 	if (*is_breakpoint) {
     77   1.1       cgd 	    /*
     78   1.1       cgd 	     * Breakpoint trap.  Fix up the PC if the
     79   1.1       cgd 	     * machine requires it.
     80   1.1       cgd 	     */
     81  1.10       gwr 	    FIXUP_PC_AFTER_BREAK(regs);
     82   1.6   mycroft 	    pc = PC_REGS(regs);
     83   1.1       cgd 	}
     84   1.1       cgd #endif
     85   1.1       cgd 
     86   1.1       cgd 	/*
     87   1.1       cgd 	 * Now check for a breakpoint at this address.
     88   1.1       cgd 	 */
     89   1.1       cgd 	bkpt = db_find_breakpoint_here(pc);
     90   1.1       cgd 	if (bkpt) {
     91   1.1       cgd 	    if (--bkpt->count == 0) {
     92   1.1       cgd 		bkpt->count = bkpt->init_count;
     93   1.1       cgd 		*is_breakpoint = TRUE;
     94   1.1       cgd 		return (TRUE);	/* stop here */
     95   1.1       cgd 	    }
     96   1.1       cgd 	} else if (*is_breakpoint) {
     97   1.6   mycroft 		PC_REGS(regs) += BKPT_SIZE;
     98   1.1       cgd 	}
     99   1.1       cgd 
    100   1.1       cgd 	*is_breakpoint = FALSE;
    101   1.1       cgd 
    102   1.1       cgd 	if (db_run_mode == STEP_INVISIBLE) {
    103   1.1       cgd 	    db_run_mode = STEP_CONTINUE;
    104   1.1       cgd 	    return (FALSE);	/* continue */
    105   1.1       cgd 	}
    106   1.1       cgd 	if (db_run_mode == STEP_COUNT) {
    107   1.1       cgd 	    return (FALSE); /* continue */
    108   1.1       cgd 	}
    109   1.1       cgd 	if (db_run_mode == STEP_ONCE) {
    110   1.1       cgd 	    if (--db_loop_count > 0) {
    111   1.1       cgd 		if (db_sstep_print) {
    112   1.1       cgd 		    db_printf("\t\t");
    113   1.1       cgd 		    db_print_loc_and_inst(pc);
    114   1.1       cgd 		    db_printf("\n");
    115   1.1       cgd 		}
    116   1.1       cgd 		return (FALSE);	/* continue */
    117   1.1       cgd 	    }
    118   1.1       cgd 	}
    119   1.1       cgd 	if (db_run_mode == STEP_RETURN) {
    120   1.1       cgd 	    db_expr_t ins = db_get_value(pc, sizeof(int), FALSE);
    121   1.1       cgd 
    122   1.1       cgd 	    /* continue until matching return */
    123   1.1       cgd 
    124   1.1       cgd 	    if (!inst_trap_return(ins) &&
    125   1.1       cgd 		(!inst_return(ins) || --db_call_depth != 0)) {
    126   1.1       cgd 		if (db_sstep_print) {
    127   1.1       cgd 		    if (inst_call(ins) || inst_return(ins)) {
    128   1.1       cgd 			register int i;
    129   1.1       cgd 
    130   1.1       cgd 			db_printf("[after %6d]     ", db_inst_count);
    131   1.1       cgd 			for (i = db_call_depth; --i > 0; )
    132   1.1       cgd 			    db_printf("  ");
    133   1.1       cgd 			db_print_loc_and_inst(pc);
    134   1.1       cgd 			db_printf("\n");
    135   1.1       cgd 		    }
    136   1.1       cgd 		}
    137   1.1       cgd 		if (inst_call(ins))
    138   1.1       cgd 		    db_call_depth++;
    139   1.1       cgd 		return (FALSE);	/* continue */
    140   1.1       cgd 	    }
    141   1.1       cgd 	}
    142   1.1       cgd 	if (db_run_mode == STEP_CALLT) {
    143   1.1       cgd 	    db_expr_t ins = db_get_value(pc, sizeof(int), FALSE);
    144   1.1       cgd 
    145   1.1       cgd 	    /* continue until call or return */
    146   1.1       cgd 
    147   1.1       cgd 	    if (!inst_call(ins) &&
    148   1.1       cgd 		!inst_return(ins) &&
    149   1.1       cgd 		!inst_trap_return(ins)) {
    150   1.1       cgd 		return (FALSE);	/* continue */
    151   1.1       cgd 	    }
    152   1.1       cgd 	}
    153   1.1       cgd 	db_run_mode = STEP_NONE;
    154   1.1       cgd 	return (TRUE);
    155   1.1       cgd }
    156   1.1       cgd 
    157   1.1       cgd void
    158   1.6   mycroft db_restart_at_pc(regs, watchpt)
    159   1.6   mycroft 	db_regs_t *regs;
    160   1.1       cgd 	boolean_t watchpt;
    161   1.1       cgd {
    162   1.6   mycroft 	register db_addr_t pc = PC_REGS(regs);
    163   1.1       cgd 
    164   1.1       cgd 	if ((db_run_mode == STEP_COUNT) ||
    165   1.1       cgd 	    (db_run_mode == STEP_RETURN) ||
    166   1.1       cgd 	    (db_run_mode == STEP_CALLT)) {
    167   1.1       cgd 	    db_expr_t		ins;
    168   1.1       cgd 
    169   1.1       cgd 	    /*
    170   1.1       cgd 	     * We are about to execute this instruction,
    171   1.1       cgd 	     * so count it now.
    172   1.1       cgd 	     */
    173   1.1       cgd 
    174   1.1       cgd 	    ins = db_get_value(pc, sizeof(int), FALSE);
    175   1.1       cgd 	    db_inst_count++;
    176   1.1       cgd 	    db_load_count += inst_load(ins);
    177   1.1       cgd 	    db_store_count += inst_store(ins);
    178   1.9       cgd #if defined(SOFTWARE_SSTEP) && defined(__mips__)
    179   1.1       cgd 	    /* XXX works on mips, but... */
    180   1.1       cgd 	    if (inst_branch(ins) || inst_call(ins)) {
    181   1.1       cgd 		ins = db_get_value(next_instr_address(pc,1),
    182   1.1       cgd 				   sizeof(int), FALSE);
    183   1.1       cgd 		db_inst_count++;
    184   1.1       cgd 		db_load_count += inst_load(ins);
    185   1.1       cgd 		db_store_count += inst_store(ins);
    186   1.1       cgd 	    }
    187   1.9       cgd #endif
    188   1.1       cgd 	}
    189   1.1       cgd 
    190   1.1       cgd 	if (db_run_mode == STEP_CONTINUE) {
    191   1.1       cgd 	    if (watchpt || db_find_breakpoint_here(pc)) {
    192   1.1       cgd 		/*
    193   1.1       cgd 		 * Step over breakpoint/watchpoint.
    194   1.1       cgd 		 */
    195   1.1       cgd 		db_run_mode = STEP_INVISIBLE;
    196   1.6   mycroft 		db_set_single_step(regs);
    197   1.1       cgd 	    } else {
    198   1.1       cgd 		db_set_breakpoints();
    199   1.1       cgd 		db_set_watchpoints();
    200   1.1       cgd 	    }
    201   1.1       cgd 	} else {
    202   1.6   mycroft 	    db_set_single_step(regs);
    203   1.1       cgd 	}
    204   1.1       cgd }
    205   1.1       cgd 
    206   1.1       cgd void
    207   1.1       cgd db_single_step(regs)
    208   1.1       cgd 	db_regs_t *regs;
    209   1.1       cgd {
    210   1.1       cgd 	if (db_run_mode == STEP_CONTINUE) {
    211   1.1       cgd 	    db_run_mode = STEP_INVISIBLE;
    212   1.1       cgd 	    db_set_single_step(regs);
    213   1.1       cgd 	}
    214   1.1       cgd }
    215   1.1       cgd 
    216   1.1       cgd #ifdef	SOFTWARE_SSTEP
    217   1.1       cgd /*
    218   1.1       cgd  *	Software implementation of single-stepping.
    219   1.1       cgd  *	If your machine does not have a trace mode
    220   1.1       cgd  *	similar to the vax or sun ones you can use
    221   1.1       cgd  *	this implementation, done for the mips.
    222   1.1       cgd  *	Just define the above conditional and provide
    223   1.1       cgd  *	the functions/macros defined below.
    224   1.1       cgd  *
    225   1.1       cgd  * extern boolean_t
    226   1.1       cgd  *	inst_branch(),		returns true if the instruction might branch
    227   1.1       cgd  * extern unsigned
    228   1.1       cgd  *	branch_taken(),		return the address the instruction might
    229   1.1       cgd  *				branch to
    230   1.1       cgd  *	db_getreg_val();	return the value of a user register,
    231   1.1       cgd  *				as indicated in the hardware instruction
    232   1.1       cgd  *				encoding, e.g. 8 for r8
    233   1.1       cgd  *
    234   1.1       cgd  * next_instr_address(pc,bd)	returns the address of the first
    235   1.1       cgd  *				instruction following the one at "pc",
    236   1.1       cgd  *				which is either in the taken path of
    237   1.1       cgd  *				the branch (bd==1) or not.  This is
    238   1.1       cgd  *				for machines (mips) with branch delays.
    239   1.1       cgd  *
    240   1.1       cgd  *	A single-step may involve at most 2 breakpoints -
    241   1.1       cgd  *	one for branch-not-taken and one for branch taken.
    242   1.1       cgd  *	If one of these addresses does not already have a breakpoint,
    243   1.1       cgd  *	we allocate a breakpoint and save it here.
    244   1.1       cgd  *	These breakpoints are deleted on return.
    245   1.1       cgd  */
    246   1.1       cgd db_breakpoint_t	db_not_taken_bkpt = 0;
    247   1.1       cgd db_breakpoint_t	db_taken_bkpt = 0;
    248   1.1       cgd 
    249   1.1       cgd void
    250   1.1       cgd db_set_single_step(regs)
    251   1.1       cgd 	register db_regs_t *regs;
    252   1.1       cgd {
    253   1.9       cgd 	db_addr_t pc = PC_REGS(regs), brpc;
    254   1.9       cgd 	register unsigned	 inst;
    255   1.1       cgd 
    256   1.1       cgd 	/*
    257   1.1       cgd 	 *	User was stopped at pc, e.g. the instruction
    258   1.1       cgd 	 *	at pc was not executed.
    259   1.1       cgd 	 */
    260   1.1       cgd 	inst = db_get_value(pc, sizeof(int), FALSE);
    261   1.1       cgd 	if (inst_branch(inst) || inst_call(inst)) {
    262   1.1       cgd 
    263   1.9       cgd 	    brpc = branch_taken(inst, pc, regs);
    264   1.1       cgd 	    if (brpc != pc) {	/* self-branches are hopeless */
    265   1.1       cgd 		db_taken_bkpt = db_set_temp_breakpoint(brpc);
    266   1.1       cgd 	    }
    267   1.1       cgd 	    pc = next_instr_address(pc,1);
    268   1.1       cgd 	}
    269   1.1       cgd 	pc = next_instr_address(pc,0);
    270   1.1       cgd 	db_not_taken_bkpt = db_set_temp_breakpoint(pc);
    271   1.1       cgd }
    272   1.1       cgd 
    273   1.1       cgd void
    274   1.1       cgd db_clear_single_step(regs)
    275   1.1       cgd 	db_regs_t *regs;
    276   1.1       cgd {
    277   1.1       cgd 
    278   1.1       cgd 	if (db_taken_bkpt != 0) {
    279   1.1       cgd 	    db_delete_temp_breakpoint(db_taken_bkpt);
    280   1.1       cgd 	    db_taken_bkpt = 0;
    281   1.1       cgd 	}
    282   1.1       cgd 	if (db_not_taken_bkpt != 0) {
    283   1.1       cgd 	    db_delete_temp_breakpoint(db_not_taken_bkpt);
    284   1.1       cgd 	    db_not_taken_bkpt = 0;
    285   1.1       cgd 	}
    286   1.1       cgd }
    287   1.1       cgd 
    288   1.1       cgd #endif	SOFTWARE_SSTEP
    289   1.1       cgd 
    290   1.1       cgd extern int	db_cmd_loop_done;
    291   1.1       cgd 
    292   1.1       cgd /* single-step */
    293   1.1       cgd /*ARGSUSED*/
    294   1.1       cgd void
    295   1.1       cgd db_single_step_cmd(addr, have_addr, count, modif)
    296   1.1       cgd 	db_expr_t	addr;
    297   1.1       cgd 	int		have_addr;
    298   1.1       cgd 	db_expr_t	count;
    299   1.1       cgd 	char *		modif;
    300   1.1       cgd {
    301   1.1       cgd 	boolean_t	print = FALSE;
    302   1.1       cgd 
    303   1.1       cgd 	if (count == -1)
    304   1.1       cgd 	    count = 1;
    305   1.1       cgd 
    306   1.1       cgd 	if (modif[0] == 'p')
    307   1.1       cgd 	    print = TRUE;
    308   1.1       cgd 
    309   1.1       cgd 	db_run_mode = STEP_ONCE;
    310   1.1       cgd 	db_loop_count = count;
    311   1.1       cgd 	db_sstep_print = print;
    312   1.1       cgd 	db_inst_count = 0;
    313   1.1       cgd 	db_load_count = 0;
    314   1.1       cgd 	db_store_count = 0;
    315   1.1       cgd 
    316   1.1       cgd 	db_cmd_loop_done = 1;
    317   1.1       cgd }
    318   1.1       cgd 
    319   1.1       cgd /* trace and print until call/return */
    320   1.1       cgd /*ARGSUSED*/
    321   1.1       cgd void
    322   1.1       cgd db_trace_until_call_cmd(addr, have_addr, count, modif)
    323   1.1       cgd 	db_expr_t	addr;
    324   1.1       cgd 	int		have_addr;
    325   1.1       cgd 	db_expr_t	count;
    326   1.1       cgd 	char *		modif;
    327   1.1       cgd {
    328   1.1       cgd 	boolean_t	print = FALSE;
    329   1.1       cgd 
    330   1.1       cgd 	if (modif[0] == 'p')
    331   1.1       cgd 	    print = TRUE;
    332   1.1       cgd 
    333   1.1       cgd 	db_run_mode = STEP_CALLT;
    334   1.1       cgd 	db_sstep_print = print;
    335   1.1       cgd 	db_inst_count = 0;
    336   1.1       cgd 	db_load_count = 0;
    337   1.1       cgd 	db_store_count = 0;
    338   1.1       cgd 
    339   1.1       cgd 	db_cmd_loop_done = 1;
    340   1.1       cgd }
    341   1.1       cgd 
    342   1.1       cgd /*ARGSUSED*/
    343   1.1       cgd void
    344   1.1       cgd db_trace_until_matching_cmd(addr, have_addr, count, modif)
    345   1.1       cgd 	db_expr_t	addr;
    346   1.1       cgd 	int		have_addr;
    347   1.1       cgd 	db_expr_t	count;
    348   1.1       cgd 	char *		modif;
    349   1.1       cgd {
    350   1.1       cgd 	boolean_t	print = FALSE;
    351   1.1       cgd 
    352   1.1       cgd 	if (modif[0] == 'p')
    353   1.1       cgd 	    print = TRUE;
    354   1.1       cgd 
    355   1.1       cgd 	db_run_mode = STEP_RETURN;
    356   1.1       cgd 	db_call_depth = 1;
    357   1.1       cgd 	db_sstep_print = print;
    358   1.1       cgd 	db_inst_count = 0;
    359   1.1       cgd 	db_load_count = 0;
    360   1.1       cgd 	db_store_count = 0;
    361   1.1       cgd 
    362   1.1       cgd 	db_cmd_loop_done = 1;
    363   1.1       cgd }
    364   1.1       cgd 
    365   1.1       cgd /* continue */
    366   1.1       cgd /*ARGSUSED*/
    367   1.1       cgd void
    368   1.1       cgd db_continue_cmd(addr, have_addr, count, modif)
    369   1.1       cgd 	db_expr_t	addr;
    370   1.1       cgd 	int		have_addr;
    371   1.1       cgd 	db_expr_t	count;
    372   1.1       cgd 	char *		modif;
    373   1.1       cgd {
    374   1.1       cgd 	if (modif[0] == 'c')
    375   1.1       cgd 	    db_run_mode = STEP_COUNT;
    376   1.1       cgd 	else
    377   1.1       cgd 	    db_run_mode = STEP_CONTINUE;
    378   1.1       cgd 	db_inst_count = 0;
    379   1.1       cgd 	db_load_count = 0;
    380   1.1       cgd 	db_store_count = 0;
    381   1.1       cgd 
    382   1.1       cgd 	db_cmd_loop_done = 1;
    383   1.1       cgd }
    384