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