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