Faster performance in TEXT_Ellipsify for long strings.
[wine.git] / debugger / break.c
blob4f5afe2268615946dce5b847832815be2a2a729f
1 /*
2 * Debugger break-points handling
4 * Copyright 1994 Martin von Loewis
5 * Copyright 1995 Alexandre Julliard
6 * Copyright 1999,2000 Eric Pouech
8 * This library is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU Lesser General Public
10 * License as published by the Free Software Foundation; either
11 * version 2.1 of the License, or (at your option) any later version.
13 * This library is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Lesser General Public License for more details.
18 * You should have received a copy of the GNU Lesser General Public
19 * License along with this library; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
23 #include "config.h"
24 #include "debugger.h"
26 #ifdef __i386__
27 #define DR7_CONTROL_SHIFT 16
28 #define DR7_CONTROL_SIZE 4
30 #define DR7_RW_EXECUTE (0x0)
31 #define DR7_RW_WRITE (0x1)
32 #define DR7_RW_READ (0x3)
34 #define DR7_LEN_1 (0x0)
35 #define DR7_LEN_2 (0x4)
36 #define DR7_LEN_4 (0xC)
38 #define DR7_LOCAL_ENABLE_SHIFT 0
39 #define DR7_GLOBAL_ENABLE_SHIFT 1
40 #define DR7_ENABLE_SIZE 2
42 #define DR7_LOCAL_ENABLE_MASK (0x55)
43 #define DR7_GLOBAL_ENABLE_MASK (0xAA)
45 #define DR7_CONTROL_RESERVED (0xFC00)
46 #define DR7_LOCAL_SLOWDOWN (0x100)
47 #define DR7_GLOBAL_SLOWDOWN (0x200)
49 #define DR7_ENABLE_MASK(dr) (1<<(DR7_LOCAL_ENABLE_SHIFT+DR7_ENABLE_SIZE*(dr)))
50 #define IS_DR7_SET(ctrl,dr) ((ctrl)&DR7_ENABLE_MASK(dr))
51 #define INT3 0xcc /* int 3 opcode */
52 #endif
54 #define MAX_BREAKPOINTS 100
56 static DBG_BREAKPOINT breakpoints[MAX_BREAKPOINTS];
58 static int next_bp = 1; /* breakpoint 0 is reserved for step-over */
60 /***********************************************************************
61 * DEBUG_IsStepOverInstr
63 * Determine if the instruction at CS:EIP is an instruction that
64 * we need to step over (like a call or a repetitive string move).
66 static BOOL DEBUG_IsStepOverInstr(void)
68 #ifdef __i386__
69 BYTE* instr;
70 BYTE ch;
71 DBG_ADDR addr;
73 addr.seg = DEBUG_context.SegCs;
74 addr.off = DEBUG_context.Eip;
75 /* FIXME: old code was using V86BASE(DEBUG_context)
76 * instead of passing through DOSMEM_MemoryBase
78 instr = (BYTE*)DEBUG_ToLinear(&addr);
80 for (;;)
82 if (!DEBUG_READ_MEM(instr, &ch, sizeof(ch)))
83 return FALSE;
85 switch (ch)
87 /* Skip all prefixes */
89 case 0x2e: /* cs: */
90 case 0x36: /* ss: */
91 case 0x3e: /* ds: */
92 case 0x26: /* es: */
93 case 0x64: /* fs: */
94 case 0x65: /* gs: */
95 case 0x66: /* opcode size prefix */
96 case 0x67: /* addr size prefix */
97 case 0xf0: /* lock */
98 case 0xf2: /* repne */
99 case 0xf3: /* repe */
100 instr++;
101 continue;
103 /* Handle call instructions */
105 case 0xcd: /* int <intno> */
106 case 0xe8: /* call <offset> */
107 case 0x9a: /* lcall <seg>:<off> */
108 return TRUE;
110 case 0xff: /* call <regmodrm> */
111 if (!DEBUG_READ_MEM(instr + 1, &ch, sizeof(ch)))
112 return FALSE;
113 return (((ch & 0x38) == 0x10) || ((ch & 0x38) == 0x18));
115 /* Handle string instructions */
117 case 0x6c: /* insb */
118 case 0x6d: /* insw */
119 case 0x6e: /* outsb */
120 case 0x6f: /* outsw */
121 case 0xa4: /* movsb */
122 case 0xa5: /* movsw */
123 case 0xa6: /* cmpsb */
124 case 0xa7: /* cmpsw */
125 case 0xaa: /* stosb */
126 case 0xab: /* stosw */
127 case 0xac: /* lodsb */
128 case 0xad: /* lodsw */
129 case 0xae: /* scasb */
130 case 0xaf: /* scasw */
131 return TRUE;
133 default:
134 return FALSE;
137 #else
138 return FALSE;
139 #endif
143 /***********************************************************************
144 * DEBUG_IsFctReturn
146 * Determine if the instruction at CS:EIP is an instruction that
147 * is a function return.
149 BOOL DEBUG_IsFctReturn(void)
151 #ifdef __i386__
152 BYTE* instr;
153 BYTE ch;
154 DBG_ADDR addr;
156 addr.seg = DEBUG_context.SegCs;
157 addr.off = DEBUG_context.Eip;
158 /* FIXME: old code was using V86BASE(DEBUG_context)
159 * instead of passing through DOSMEM_MemoryBase
161 instr = (BYTE*)DEBUG_ToLinear(&addr);
163 if (!DEBUG_READ_MEM(instr, &ch, sizeof(ch)))
164 return FALSE;
166 return (ch == 0xc2) || (ch == 0xc3);
167 #else
168 return FALSE;
169 #endif
173 /***********************************************************************
174 * DEBUG_SetBreakpoints
176 * Set or remove all the breakpoints.
178 void DEBUG_SetBreakpoints( BOOL set )
180 int i;
182 #ifdef __i386__
183 DEBUG_context.Dr7 &= ~DR7_LOCAL_ENABLE_MASK;
184 #endif
186 for (i = 0; i < next_bp; i++)
188 if (!(breakpoints[i].refcount && breakpoints[i].enabled))
189 continue;
191 switch (breakpoints[i].type) {
192 case DBG_BREAK:
194 #ifdef __i386__
195 char ch = set ? INT3 : breakpoints[i].u.b.opcode;
197 if (!DEBUG_WRITE_MEM( (void*)DEBUG_ToLinear(&breakpoints[i].addr),
198 &ch, sizeof(ch) ))
200 DEBUG_Printf(DBG_CHN_MESG, "Invalid address for breakpoint %d, disabling it\n", i);
201 breakpoints[i].enabled = FALSE;
203 #endif
205 break;
206 case DBG_WATCH:
207 if (set)
209 #ifdef __i386__
210 DWORD bits;
211 int reg = breakpoints[i].u.w.reg;
212 LPDWORD lpdr = NULL;
214 switch (reg)
216 case 0: lpdr = &DEBUG_context.Dr0; break;
217 case 1: lpdr = &DEBUG_context.Dr1; break;
218 case 2: lpdr = &DEBUG_context.Dr2; break;
219 case 3: lpdr = &DEBUG_context.Dr3; break;
220 default: RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
223 *lpdr = DEBUG_ToLinear(&breakpoints[i].addr);
224 bits = (breakpoints[i].u.w.rw) ? DR7_RW_WRITE : DR7_RW_READ;
225 switch (breakpoints[i].u.w.len + 1)
227 case 4: bits |= DR7_LEN_4; break;
228 case 2: bits |= DR7_LEN_2; break;
229 case 1: bits |= DR7_LEN_1; break;
230 default: RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
233 DEBUG_context.Dr7 &= ~(0x0F << (DR7_CONTROL_SHIFT + DR7_CONTROL_SIZE * reg));
234 DEBUG_context.Dr7 |= bits << (DR7_CONTROL_SHIFT + DR7_CONTROL_SIZE * reg);
235 DEBUG_context.Dr7 |= DR7_ENABLE_MASK(reg) | DR7_LOCAL_SLOWDOWN;
236 #endif
238 break;
243 /***********************************************************************
244 * DEBUG_FindBreakpoint
246 * Find the breakpoint for a given address. Return the breakpoint
247 * number or -1 if none.
248 * If type is DBG_BREAKPOINT, addr is a complete addr
249 * If type is DBG_WATCHPOINT, only addr.off is meaningful and contains
250 * linear address
252 static int DEBUG_FindBreakpoint( const DBG_ADDR *addr, int type )
254 int i;
256 for (i = 0; i < next_bp; i++)
258 if (breakpoints[i].refcount && breakpoints[i].enabled &&
259 breakpoints[i].type == type )
261 if ((type == DBG_BREAK &&
262 breakpoints[i].addr.seg == addr->seg &&
263 breakpoints[i].addr.off == addr->off) ||
264 (type == DBG_WATCH &&
265 DEBUG_ToLinear(&breakpoints[i].addr) == addr->off))
266 return i;
269 return -1;
272 /***********************************************************************
273 * DEBUG_InitXPoint
275 * Find an empty slot in BP table to add a new break/watch point
277 static int DEBUG_InitXPoint(int type, DBG_ADDR* addr)
279 int num;
281 for (num = (next_bp < MAX_BREAKPOINTS) ? next_bp++ : 1;
282 num < MAX_BREAKPOINTS; num++)
284 if (breakpoints[num].refcount == 0)
286 breakpoints[num].refcount = 1;
287 breakpoints[num].enabled = TRUE;
288 breakpoints[num].type = type;
289 breakpoints[num].skipcount = 0;
290 breakpoints[num].addr = *addr;
291 switch (DEBUG_GetSelectorType( addr->seg ))
293 case MODE_32:
294 breakpoints[num].is32 = 1;
295 break;
296 case MODE_VM86:
297 case MODE_16:
298 breakpoints[num].is32 = 0;
299 break;
300 default:
301 RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
303 return num;
307 DEBUG_Printf( DBG_CHN_MESG, "Too many breakpoints. Please delete some.\n" );
308 return -1;
311 /***********************************************************************
312 * DEBUG_GetWatchedValue
314 * Returns the value watched by watch point 'num'.
316 static BOOL DEBUG_GetWatchedValue( int num, LPDWORD val )
318 BYTE buf[4];
320 if (!DEBUG_READ_MEM((void*)DEBUG_ToLinear(&breakpoints[num].addr),
321 buf, breakpoints[num].u.w.len + 1))
322 return FALSE;
324 switch (breakpoints[num].u.w.len + 1)
326 case 4: *val = *(DWORD*)buf; break;
327 case 2: *val = *(WORD*)buf; break;
328 case 1: *val = *(BYTE*)buf; break;
329 default: RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
331 return TRUE;
334 /***********************************************************************
335 * DEBUG_AddBreakpoint
337 * Add a breakpoint.
339 void DEBUG_AddBreakpoint( const DBG_VALUE *_value, BOOL (*func)(void) )
341 DBG_VALUE value = *_value;
342 int num;
343 BYTE ch;
345 if( value.type != NULL && value.type == DEBUG_GetBasicType(DT_BASIC_CONST_INT) )
348 * We know that we have the actual offset stored somewhere
349 * else in 32-bit space. Grab it, and we
350 * should be all set.
352 unsigned int seg2 = value.addr.seg;
353 value.addr.seg = 0;
354 value.addr.off = DEBUG_GetExprValue(&value, NULL);
355 value.addr.seg = seg2;
358 if ((num = DEBUG_FindBreakpoint(&value.addr, DBG_BREAK)) >= 1)
360 breakpoints[num].refcount++;
361 return;
364 if (!DEBUG_READ_MEM_VERBOSE((void*)DEBUG_ToLinear( &value.addr ), &ch, sizeof(ch)))
366 DEBUG_Printf( DBG_CHN_MESG, "Invalid address, can't set breakpoint\n");
367 return;
370 if ((num = DEBUG_InitXPoint(DBG_BREAK, &value.addr)) == -1)
371 return;
373 breakpoints[num].u.b.opcode = ch;
374 breakpoints[num].u.b.func = func;
376 DEBUG_Printf( DBG_CHN_MESG, "Breakpoint %d at ", num );
377 DEBUG_PrintAddress( &breakpoints[num].addr, breakpoints[num].is32 ? MODE_32 : MODE_16,
378 TRUE );
379 DEBUG_Printf( DBG_CHN_MESG, "\n" );
382 /***********************************************************************
383 * DEBUG_AddBreakpointFromId
385 * Add a breakpoint from a function name (and eventually a line #)
387 void DEBUG_AddBreakpointFromId(const char *name, int lineno)
389 DBG_VALUE value;
390 int i;
392 if (DEBUG_GetSymbolValue(name, lineno, &value, TRUE)) {
393 DEBUG_AddBreakpoint(&value, NULL);
394 return;
397 DEBUG_Printf(DBG_CHN_MESG, "Unable to add breakpoint, will check again when a new DLL is loaded\n");
398 for (i = 0; i < DEBUG_CurrProcess->num_delayed_bp; i++) {
399 if (!strcmp(name, DEBUG_CurrProcess->delayed_bp[i].name) &&
400 lineno == DEBUG_CurrProcess->delayed_bp[i].lineno) {
401 return;
404 DEBUG_CurrProcess->delayed_bp = DBG_realloc(DEBUG_CurrProcess->delayed_bp,
405 sizeof(DBG_DELAYED_BP) * ++DEBUG_CurrProcess->num_delayed_bp);
407 DEBUG_CurrProcess->delayed_bp[DEBUG_CurrProcess->num_delayed_bp - 1].name = strcpy(DBG_alloc(strlen(name) + 1), name);
408 DEBUG_CurrProcess->delayed_bp[DEBUG_CurrProcess->num_delayed_bp - 1].lineno = lineno;
411 /***********************************************************************
412 * DEBUG_AddBreakpointFromLineno
414 * Add a breakpoint from a line number in current file
416 void DEBUG_AddBreakpointFromLineno(int lineno)
418 DBG_VALUE value;
420 DEBUG_GetCurrentAddress(&value.addr);
422 if (lineno != -1) {
423 struct name_hash* nh;
425 DEBUG_FindNearestSymbol(&value.addr, TRUE, &nh, 0, NULL);
426 if (nh == NULL) {
427 DEBUG_Printf(DBG_CHN_MESG, "Unable to add breakpoint\n");
428 return;
430 DEBUG_GetLineNumberAddr(nh, lineno, &value.addr, TRUE);
433 value.type = NULL;
434 value.cookie = DV_TARGET;
435 DEBUG_AddBreakpoint( &value, NULL );
438 /***********************************************************************
439 * DEBUG_CheckDelayedBP
441 * Check is a registered delayed BP is now available.
443 void DEBUG_CheckDelayedBP(void)
445 DBG_VALUE value;
446 int i = 0;
447 DBG_DELAYED_BP* dbp = DEBUG_CurrProcess->delayed_bp;
449 while (i < DEBUG_CurrProcess->num_delayed_bp) {
450 if (DEBUG_GetSymbolValue(dbp[i].name, dbp[i].lineno, &value, TRUE)) {
451 DEBUG_AddBreakpoint(&value, NULL);
452 memmove(&dbp[i], &dbp[i+1], (--DEBUG_CurrProcess->num_delayed_bp - i) * sizeof(*dbp));
453 } else {
454 i++;
459 /***********************************************************************
460 * DEBUG_AddWatchpoint
462 * Add a watchpoint.
464 void DEBUG_AddWatchpoint( const DBG_VALUE *_value, BOOL is_write )
466 DBG_VALUE value = *_value;
467 int num, reg = -1;
468 unsigned seg2;
469 DWORD mask = 0;
471 assert(_value->cookie == DV_TARGET || _value->cookie == DV_HOST);
473 #ifdef __i386__
474 DEBUG_FixAddress( &value.addr, DEBUG_context.SegCs );
475 #endif
477 if ( value.type != NULL && value.type == DEBUG_GetBasicType(DT_BASIC_CONST_INT) )
480 * We know that we have the actual offset stored somewhere
481 * else in 32-bit space. Grab it, and we
482 * should be all set.
484 seg2 = value.addr.seg;
485 value.addr.seg = 0;
486 value.addr.off = DEBUG_GetExprValue(&value, NULL);
487 value.addr.seg = seg2;
490 for (num = 1; num < next_bp; num++)
492 if (breakpoints[num].refcount && breakpoints[num].enabled &&
493 breakpoints[num].type == DBG_WATCH) {
494 mask |= (1 << breakpoints[num].u.w.reg);
497 #ifdef __i386__
498 for (reg = 0; reg < 4 && (mask & (1 << reg)); reg++);
499 if (reg == 4)
501 DEBUG_Printf(DBG_CHN_MESG, "All i386 hardware watchpoints have been set. Delete some\n");
502 return;
504 #endif
506 if ((num = DEBUG_InitXPoint(DBG_WATCH, &value.addr)) == -1)
507 return;
509 breakpoints[num].u.w.len = 4 - 1;
510 if (_value->type && DEBUG_GetObjectSize(_value->type) < 4)
511 breakpoints[num].u.w.len = 2 - 1;
513 if (!DEBUG_GetWatchedValue( num, &breakpoints[num].u.w.oldval))
515 DEBUG_Printf(DBG_CHN_MESG, "Bad address. Watchpoint not set\n");
516 breakpoints[num].refcount = 0;
518 else
520 breakpoints[num].u.w.rw = (is_write) ? TRUE : FALSE;
521 breakpoints[reg].u.w.reg = reg;
523 DEBUG_Printf( DBG_CHN_MESG, "Watchpoint %d at ", num );
524 DEBUG_PrintAddress( &breakpoints[num].addr, breakpoints[num].is32 ? MODE_32 : MODE_16, TRUE );
525 DEBUG_Printf( DBG_CHN_MESG, "\n" );
529 /***********************************************************************
530 * DEBUG_AddWathpointFromId
532 * Add a watchpoint from a symbol name (and eventually a line #)
534 void DEBUG_AddWatchpointFromId(const char *name)
536 DBG_VALUE value;
538 if( DEBUG_GetSymbolValue(name, -1, &value, TRUE) )
539 DEBUG_AddWatchpoint( &value, 1 );
540 else
541 DEBUG_Printf(DBG_CHN_MESG, "Unable to add watchpoint\n");
544 /***********************************************************************
545 * DEBUG_DelBreakpoint
547 * Delete a breakpoint.
549 void DEBUG_DelBreakpoint( int num )
551 if ((num <= 0) || (num >= next_bp) || breakpoints[num].refcount == 0)
553 DEBUG_Printf( DBG_CHN_MESG, "Invalid breakpoint number %d\n", num );
554 return;
557 if (--breakpoints[num].refcount > 0)
558 return;
560 if( breakpoints[num].condition != NULL )
562 DEBUG_FreeExpr(breakpoints[num].condition);
563 breakpoints[num].condition = NULL;
566 breakpoints[num].enabled = FALSE;
567 breakpoints[num].refcount = 0;
568 breakpoints[num].skipcount = 0;
571 /***********************************************************************
572 * DEBUG_EnableBreakpoint
574 * Enable or disable a break point.
576 void DEBUG_EnableBreakpoint( int num, BOOL enable )
578 if ((num <= 0) || (num >= next_bp) || breakpoints[num].refcount == 0)
580 DEBUG_Printf( DBG_CHN_MESG, "Invalid breakpoint number %d\n", num );
581 return;
583 breakpoints[num].enabled = (enable) ? TRUE : FALSE;
584 breakpoints[num].skipcount = 0;
588 /***********************************************************************
589 * DEBUG_FindTriggeredWatchpoint
591 * Lookup the watchpoints to see if one has been triggered
592 * Return >= (watch point index) if one is found and *oldval is set to
593 * the value watched before the TRAP
594 * Return -1 if none found (*oldval is undetermined)
596 * Unfortunately, Linux does *NOT* (A REAL PITA) report with ptrace
597 * the DR6 register value, so we have to look with our own need the
598 * cause of the TRAP.
599 * -EP
601 static int DEBUG_FindTriggeredWatchpoint(LPDWORD oldval)
603 int found = -1;
604 #ifdef __i386__
605 int i;
607 /* Method 1 => get triggered watchpoint from context (doesn't work on Linux
608 * 2.2.x). This should be fixed in >= 2.2.16
610 for (i = 0; i < next_bp; i++)
612 DWORD val = 0;
614 if (breakpoints[i].refcount && breakpoints[i].enabled &&
615 breakpoints[i].type == DBG_WATCH &&
616 (DEBUG_context.Dr6 & (1 << breakpoints[i].u.w.reg)))
618 DEBUG_context.Dr6 &= ~(1 << breakpoints[i].u.w.reg);
620 *oldval = breakpoints[i].u.w.oldval;
621 if (DEBUG_GetWatchedValue(i, &val)) {
622 breakpoints[i].u.w.oldval = val;
623 return i;
628 /* Method 1 failed, trying method 2 */
630 /* Method 2 => check if value has changed among registered watchpoints
631 * this really sucks, but this is how gdb 4.18 works on my linux box
632 * -EP
634 for (i = 0; i < next_bp; i++)
636 DWORD val = 0;
638 if (breakpoints[i].refcount && breakpoints[i].enabled &&
639 breakpoints[i].type == DBG_WATCH &&
640 DEBUG_GetWatchedValue(i, &val))
642 *oldval = breakpoints[i].u.w.oldval;
643 if (val != *oldval)
645 DEBUG_context.Dr6 &= ~(1 << breakpoints[i].u.w.reg);
646 breakpoints[i].u.w.oldval = val;
647 found = i;
648 /* cannot break, because two watch points may have been triggered on
649 * the same access
650 * only one will be reported to the user (FIXME ?)
655 #endif
656 return found;
659 /***********************************************************************
660 * DEBUG_InfoBreakpoints
662 * Display break points information.
664 void DEBUG_InfoBreakpoints(void)
666 int i;
668 DEBUG_Printf( DBG_CHN_MESG, "Breakpoints:\n" );
669 for (i = 1; i < next_bp; i++)
671 if (breakpoints[i].refcount && breakpoints[i].type == DBG_BREAK)
673 DEBUG_Printf( DBG_CHN_MESG, "%d: %c ", i, breakpoints[i].enabled ? 'y' : 'n');
674 DEBUG_PrintAddress( &breakpoints[i].addr,
675 breakpoints[i].is32 ? MODE_32 : MODE_16, TRUE);
676 DEBUG_Printf( DBG_CHN_MESG, " (%u)\n", breakpoints[i].refcount );
677 if( breakpoints[i].condition != NULL )
679 DEBUG_Printf(DBG_CHN_MESG, "\t\tstop when ");
680 DEBUG_DisplayExpr(breakpoints[i].condition);
681 DEBUG_Printf(DBG_CHN_MESG, "\n");
685 DEBUG_Printf( DBG_CHN_MESG, "Watchpoints:\n" );
686 for (i = 1; i < next_bp; i++)
688 if (breakpoints[i].refcount && breakpoints[i].type == DBG_WATCH)
690 DEBUG_Printf( DBG_CHN_MESG, "%d: %c ", i, breakpoints[i].enabled ? 'y' : 'n');
691 DEBUG_PrintAddress( &breakpoints[i].addr,
692 breakpoints[i].is32 ? MODE_32 : MODE_16, TRUE);
693 DEBUG_Printf( DBG_CHN_MESG, " on %d byte%s (%c)\n",
694 breakpoints[i].u.w.len + 1,
695 breakpoints[i].u.w.len > 0 ? "s" : "",
696 breakpoints[i].u.w.rw ? 'W' : 'R');
697 if( breakpoints[i].condition != NULL )
699 DEBUG_Printf(DBG_CHN_MESG, "\t\tstop when ");
700 DEBUG_DisplayExpr(breakpoints[i].condition);
701 DEBUG_Printf(DBG_CHN_MESG, "\n");
707 /***********************************************************************
708 * DEBUG_ShallBreak
710 * Check whether or not the condition (bp / skipcount) of a break/watch
711 * point are met.
713 static BOOL DEBUG_ShallBreak( int bpnum )
715 if ( breakpoints[bpnum].condition != NULL )
717 DBG_VALUE value = DEBUG_EvalExpr(breakpoints[bpnum].condition);
719 if ( value.type == NULL )
722 * Something wrong - unable to evaluate this expression.
724 DEBUG_Printf(DBG_CHN_MESG, "Unable to evaluate expression ");
725 DEBUG_DisplayExpr(breakpoints[bpnum].condition);
726 DEBUG_Printf(DBG_CHN_MESG, "\nTurning off condition\n");
727 DEBUG_AddBPCondition(bpnum, NULL);
729 else if( !DEBUG_GetExprValue( &value, NULL) )
731 return FALSE;
735 if ( breakpoints[bpnum].skipcount > 0 && --breakpoints[bpnum].skipcount > 0 )
736 return FALSE;
738 if ((breakpoints[bpnum].type == DBG_BREAK) && breakpoints[bpnum].u.b.func)
739 return breakpoints[bpnum].u.b.func();
740 return TRUE;
743 /***********************************************************************
744 * DEBUG_ShouldContinue
746 * Determine if we should continue execution after a SIGTRAP signal when
747 * executing in the given mode.
749 BOOL DEBUG_ShouldContinue( DBG_ADDR *addr, DWORD code, int * count )
751 int bpnum;
752 DWORD oldval;
753 int wpnum;
754 enum dbg_mode addr_mode;
755 struct symbol_info syminfo;
756 enum exec_mode mode = DEBUG_CurrThread->exec_mode;
758 #ifdef __i386__
759 /* If not single-stepping, back up over the int3 instruction */
760 if (code == EXCEPTION_BREAKPOINT)
762 DEBUG_context.Eip--;
763 addr->off--;
765 #endif
767 bpnum = DEBUG_FindBreakpoint( addr, DBG_BREAK );
768 breakpoints[0].enabled = FALSE; /* disable the step-over breakpoint */
770 if ((bpnum != 0) && (bpnum != -1))
772 if (!DEBUG_ShallBreak(bpnum)) return TRUE;
774 DEBUG_Printf( DBG_CHN_MESG, "Stopped on breakpoint %d at ", bpnum );
775 syminfo = DEBUG_PrintAddress( &breakpoints[bpnum].addr,
776 breakpoints[bpnum].is32 ? MODE_32 : MODE_16, TRUE );
777 DEBUG_Printf( DBG_CHN_MESG, "\n" );
779 if( syminfo.list.sourcefile != NULL )
780 DEBUG_List(&syminfo.list, NULL, 0);
781 return FALSE;
784 wpnum = DEBUG_FindTriggeredWatchpoint(&oldval);
785 if ((wpnum != 0) && (wpnum != -1))
787 /* If not single-stepping, do not back up over the int3 instruction */
788 if (code == EXCEPTION_BREAKPOINT)
790 #ifdef __i386__
791 DEBUG_context.Eip++;
792 addr->off++;
793 #endif
795 if (!DEBUG_ShallBreak(wpnum)) return TRUE;
797 addr_mode = DEBUG_GetSelectorType( addr->seg );
798 DEBUG_Printf(DBG_CHN_MESG, "Stopped on watchpoint %d at ", wpnum);
799 syminfo = DEBUG_PrintAddress( addr, addr_mode, TRUE );
801 DEBUG_Printf(DBG_CHN_MESG, " values: old=%lu new=%lu\n",
802 oldval, breakpoints[wpnum].u.w.oldval);
803 if (syminfo.list.sourcefile != NULL)
804 DEBUG_List(&syminfo.list, NULL, 0);
805 return FALSE;
809 * If our mode indicates that we are stepping line numbers,
810 * get the current function, and figure out if we are exactly
811 * on a line number or not.
813 if( mode == EXEC_STEP_OVER || mode == EXEC_STEP_INSTR )
815 if( DEBUG_CheckLinenoStatus(addr) == AT_LINENUMBER )
817 (*count)--;
820 else if( mode == EXEC_STEPI_OVER || mode == EXEC_STEPI_INSTR )
822 (*count)--;
825 if( *count > 0 || mode == EXEC_FINISH )
828 * We still need to execute more instructions.
830 return TRUE;
834 * If we are about to stop, then print out the source line if we
835 * have it.
837 if (mode != EXEC_CONT && mode != EXEC_FINISH)
839 DEBUG_FindNearestSymbol( addr, TRUE, NULL, 0, &syminfo.list);
840 if( syminfo.list.sourcefile != NULL )
842 DEBUG_List(&syminfo.list, NULL, 0);
846 #ifdef __i386__
847 /* If there's no breakpoint and we are not single-stepping, then
848 * either we must have encountered an int3 in the Windows program
849 * or someone is trying to stop us
850 * If the later, (no int3 opcode at current address) then stop,
851 * otherwise, let's skip it.
853 if ((bpnum == -1) && code == EXCEPTION_BREAKPOINT)
855 unsigned char c;
857 if (!DEBUG_READ_MEM(&addr, &c, 1)) c = 0xCC;
858 DEBUG_context.Eip++;
859 addr->off++;
860 if (c != 0xCC) return FALSE;
862 #endif
864 /* no breakpoint, continue if in continuous mode */
865 return (mode == EXEC_CONT || mode == EXEC_FINISH);
868 /***********************************************************************
869 * DEBUG_SuspendExecution
871 * Remove all breakpoints before entering the debug loop
873 void DEBUG_SuspendExecution( void )
875 DEBUG_SetBreakpoints( FALSE );
876 breakpoints[0] = DEBUG_CurrThread->stepOverBP;
879 /***********************************************************************
880 * DEBUG_RestartExecution
882 * Set the breakpoints to the correct state to restart execution
883 * in the given mode.
885 void DEBUG_RestartExecution( int count )
887 DBG_ADDR addr;
888 DBG_ADDR addr2;
889 int bp;
890 int delta;
891 int status;
892 enum exec_mode mode, ret_mode;
893 DWORD instr;
894 unsigned char ch;
896 DEBUG_GetCurrentAddress( &addr );
899 * This is the mode we will be running in after we finish. We would like
900 * to be able to modify this in certain cases.
902 ret_mode = mode = DEBUG_CurrThread->exec_mode;
904 bp = DEBUG_FindBreakpoint( &addr, DBG_BREAK );
905 if ( bp != -1 && bp != 0)
908 * If we have set a new value, then save it in the BP number.
910 if( count != 0 && mode == EXEC_CONT )
912 breakpoints[bp].skipcount = count;
914 mode = EXEC_STEPI_INSTR; /* If there's a breakpoint, skip it */
916 else
918 if( mode == EXEC_CONT && count > 1 )
920 DEBUG_Printf(DBG_CHN_MESG, "Not stopped at any breakpoint; argument ignored.\n");
924 if( mode == EXEC_FINISH && DEBUG_IsFctReturn() )
926 mode = ret_mode = EXEC_STEPI_INSTR;
929 instr = DEBUG_ToLinear( &addr );
930 DEBUG_READ_MEM((void*)instr, &ch, sizeof(ch));
932 * See if the function we are stepping into has debug info
933 * and line numbers. If not, then we step over it instead.
934 * FIXME - we need to check for things like thunks or trampolines,
935 * as the actual function may in fact have debug info.
937 if ( ch == 0xe8 )
939 DEBUG_READ_MEM((void*)(instr + 1), &delta, sizeof(delta));
940 addr2 = addr;
941 DEBUG_Disasm(&addr2, FALSE);
942 addr2.off += delta;
944 status = DEBUG_CheckLinenoStatus(&addr2);
946 * Anytime we have a trampoline, step over it.
948 if( ((mode == EXEC_STEP_OVER) || (mode == EXEC_STEPI_OVER))
949 && status == FUNC_IS_TRAMPOLINE )
951 #if 0
952 DEBUG_Printf(DBG_CHN_MESG, "Not stepping into trampoline at %x (no lines)\n",
953 addr2.off);
954 #endif
955 mode = EXEC_STEP_OVER_TRAMPOLINE;
958 if( mode == EXEC_STEP_INSTR && status == FUNC_HAS_NO_LINES )
960 #if 0
961 DEBUG_Printf(DBG_CHN_MESG, "Not stepping into function at %x (no lines)\n",
962 addr2.off);
963 #endif
964 mode = EXEC_STEP_OVER;
969 if( mode == EXEC_STEP_INSTR )
971 if( DEBUG_CheckLinenoStatus(&addr) == FUNC_HAS_NO_LINES )
973 DEBUG_Printf(DBG_CHN_MESG, "Single stepping until exit from function, \n");
974 DEBUG_Printf(DBG_CHN_MESG, "which has no line number information.\n");
976 ret_mode = mode = EXEC_FINISH;
980 switch(mode)
982 case EXEC_CONT: /* Continuous execution */
983 #ifdef __i386__
984 DEBUG_context.EFlags &= ~STEP_FLAG;
985 #endif
986 DEBUG_SetBreakpoints( TRUE );
987 break;
989 case EXEC_STEP_OVER_TRAMPOLINE:
991 * This is the means by which we step over our conversion stubs
992 * in callfrom*.s and callto*.s. We dig the appropriate address
993 * off the stack, and we set the breakpoint there instead of the
994 * address just after the call.
996 #ifdef __i386__
997 DEBUG_READ_MEM((void*)(DEBUG_context.Esp +
998 2 * sizeof(unsigned int)),
999 &addr.off, sizeof(addr.off));
1000 DEBUG_context.EFlags &= ~STEP_FLAG;
1001 #endif
1002 breakpoints[0].addr = addr;
1003 breakpoints[0].enabled = TRUE;
1004 breakpoints[0].refcount = 1;
1005 breakpoints[0].skipcount = 0;
1006 DEBUG_READ_MEM((void*)DEBUG_ToLinear( &addr ), &breakpoints[0].u.b.opcode,
1007 sizeof(char));
1008 DEBUG_SetBreakpoints( TRUE );
1009 break;
1011 case EXEC_FINISH:
1012 case EXEC_STEPI_OVER: /* Stepping over a call */
1013 case EXEC_STEP_OVER: /* Stepping over a call */
1014 if (DEBUG_IsStepOverInstr())
1016 #ifdef __i386__
1017 DEBUG_context.EFlags &= ~STEP_FLAG;
1018 #endif
1019 DEBUG_Disasm(&addr, FALSE);
1020 breakpoints[0].addr = addr;
1021 breakpoints[0].enabled = TRUE;
1022 breakpoints[0].refcount = 1;
1023 breakpoints[0].skipcount = 0;
1024 DEBUG_READ_MEM((void*)DEBUG_ToLinear( &addr ), &breakpoints[0].u.b.opcode,
1025 sizeof(char));
1026 DEBUG_SetBreakpoints( TRUE );
1027 break;
1029 /* else fall through to single-stepping */
1031 case EXEC_STEP_INSTR: /* Single-stepping an instruction */
1032 case EXEC_STEPI_INSTR: /* Single-stepping an instruction */
1033 #ifdef __i386__
1034 DEBUG_context.EFlags |= STEP_FLAG;
1035 #endif
1036 break;
1037 default:
1038 RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
1040 DEBUG_CurrThread->stepOverBP = breakpoints[0];
1041 DEBUG_CurrThread->exec_mode = ret_mode;
1045 DEBUG_AddBPCondition(int num, struct expr * exp)
1047 if ((num <= 0) || (num >= next_bp) || !breakpoints[num].refcount)
1049 DEBUG_Printf( DBG_CHN_MESG, "Invalid breakpoint number %d\n", num );
1050 return FALSE;
1053 if( breakpoints[num].condition != NULL )
1055 DEBUG_FreeExpr(breakpoints[num].condition);
1056 breakpoints[num].condition = NULL;
1059 if( exp != NULL )
1061 breakpoints[num].condition = DEBUG_CloneExpr(exp);
1064 return TRUE;