/[gxemul]/trunk/src/debugger/debugger_expr.c
This is repository of my old source code which isn't updated any more. Go to git.rot13.org for current projects!
ViewVC logotype

Contents of /trunk/src/debugger/debugger_expr.c

Parent Directory Parent Directory | Revision Log Revision Log

Revision 42 - (show annotations)
Mon Oct 8 16:22:32 2007 UTC (16 years, 6 months ago) by dpavlin
File MIME type: text/plain
File size: 10090 byte(s) 
++ trunk/HISTORY	(local)
$Id: HISTORY,v 1.1613 2007/06/15 20:11:26 debug Exp $
20070501	Continuing a little on m88k disassembly (control registers,
		more instructions).
		Adding a dummy mvme88k machine mode.
20070502	Re-adding MIPS load/store alignment exceptions.
20070503	Implementing more of the M88K disassembly code.
20070504	Adding disassembly of some more M88K load/store instructions.
		Implementing some relatively simple M88K instructions (br.n,
		xor[.u] imm, and[.u] imm).
20070505	Implementing M88K three-register and, or, xor, and jmp[.n],
		bsr[.n] including function call trace stuff.
		Applying a patch from Bruce M. Simpson which implements the
		SYSCON_BOARD_CPU_CLOCK_FREQ_ID object of the syscon call in
		the yamon PROM emulation.
20070506	Implementing M88K bb0[.n] and bb1[.n], and skeletons for
		ldcr and stcr (although no control regs are implemented yet).
20070509	Found and fixed the bug which caused Linux for QEMU_MIPS to
		stop working in 0.4.5.1: It was a faulty change to the MIPS
		'sc' and 'scd' instructions I made while going through gcc -W
		warnings on 20070428.
20070510	Updating the Linux/QEMU_MIPS section in guestoses.html to
		use mips-test-0.2.tar.gz instead of 0.1.
		A big thank you to Miod Vallat for sending me M88K manuals.
		Implementing more M88K instructions (addu, subu, div[u], mulu,
		ext[u], clr, set, cmp).
20070511	Fixing bugs in the M88K "and" and "and.u" instructions (found
		by comparing against the manual).
		Implementing more M88K instructions (mask[.u], mak, bcnd (auto-
		generated)) and some more control register details.
		Cleanup: Removing the experimental AVR emulation mode and
		corresponding devices; AVR emulation wasn't really meaningful.
		Implementing autogeneration of most M88K loads/stores. The
		rectangle drawing demo (with -O0) for M88K runs :-)
		Beginning on M88K exception handling.
		More M88K instructions: tb0, tb1, rte, sub, jsr[.n].
		Adding some skeleton MVME PROM ("BUG") emulation.
20070512	Fixing a bug in the M88K cmp instruction.
		Adding the M88K lda (scaled register) instruction.
		Fixing bugs in 64-bit (32-bit pairs) M88K loads/stores.
		Removing the unused tick_hz stuff from the machine struct.
		Implementing the M88K xmem instruction. OpenBSD/mvme88k gets
		far enough to display the Copyright banner :-)
		Implementing subu.co (guess), addu.co, addu.ci, ff0, and ff1.
		Adding a dev_mvme187, for MVME187-specific devices/registers.
		OpenBSD/mvme88k prints more boot messages. :)
20070515	Continuing on MVME187 emulation (adding more devices, beginning
		on the CMMUs, etc).
		Adding the M88K and.c, xor.c, and or.c instructions, and making
		sure that mul, div, etc cause exceptions if executed when SFD1
		is disabled.
20070517	Continuing on M88K and MVME187 emulation in general; moving
		the CMMU registers to the CPU struct, separating dev_pcc2 from
		dev_mvme187, and beginning on memory_m88k.c (BATC and PATC).
		Fixing a bug in 64-bit (32-bit pairs) M88K fast stores.
		Implementing the clock part of dev_mk48txx.
		Implementing the M88K fstcr and xcr instructions.
		Implementing m88k_cpu_tlbdump().
		Beginning on the implementation of a separate address space
		for M88K .usr loads/stores.
20070520	Removing the non-working (skeleton) Sandpoint, SonyNEWS, SHARK
		Dnard, and Zaurus machine modes.
		Experimenting with dyntrans to_be_translated read-ahead. It
		seems to give a very small performance increase for MIPS
		emulation, but a large performance degradation for SuperH. Hm.
20070522	Disabling correct SuperH ITLB emulation; it does not seem to be
		necessary in order to let SH4 guest OSes run, and it slows down
		userspace code.
		Implementing "samepage" branches for SuperH emulation, and some
		other minor speed hacks.
20070525	Continuing on M88K memory-related stuff: exceptions, memory
		transaction register contents, etc.
		Implementing the M88K subu.ci instruction.
		Removing the non-working (skeleton) Iyonix machine mode.
		OpenBSD/mvme88k reaches userland :-), starts executing
		/sbin/init's instructions, and issues a few syscalls, before
		crashing.
20070526	Fixing bugs in dev_mk48txx, so that OpenBSD/mvme88k detects
		the correct time-of-day.
		Implementing a generic IRQ controller for the test machines
		(dev_irqc), similar to a proposed patch from Petr Stepan.
		Experimenting some more with translation read-ahead.
		Adding an "expect" script for automated OpenBSD/landisk
		install regression/performance tests.
20070527	Adding a dummy mmEye (SH3) machine mode skeleton.
		FINALLY found the strange M88K bug I have been hunting: I had
		not emulated the SNIP value for exceptions occurring in
		branch delay slots correctly.
		Implementing correct exceptions for 64-bit M88K loads/stores.
		Address to symbol lookups are now disabled when M88K is
		running in usermode (because usermode addresses don't have
		anything to do with supervisor addresses).
20070531	Removing the mmEye machine mode skeleton.
20070604	Some minor code cleanup.
20070605	Moving src/useremul.c into a subdir (src/useremul/), and
		cleaning up some more legacy constructs.
		Adding -Wstrict-aliasing and -fstrict-aliasing detection to
		the configure script.
20070606	Adding a check for broken GCC on Solaris to the configure
		script. (GCC 3.4.3 on Solaris cannot handle static variables
		which are initialized to 0 or NULL. :-/)
		Removing the old (non-working) ARC emulation modes: NEC RD94,
		R94, R96, and R98, and the last traces of Olivetti M700 and
		Deskstation Tyne.
		Removing the non-working skeleton WDSC device (dev_wdsc).
20070607	Thinking about how to use the host's cc + ld at runtime to
		generate native code. (See experiments/native_cc_ld_test.i
		for an example.)
20070608	Adding a program counter sampling timer, which could be useful
		for native code generation experiments.
		The KN02_CSR_NRMMOD bit in the DECstation 5000/200 (KN02) CSR
		should always be set, to allow a 5000/200 PROM to boot.
20070609	Moving out breakpoint details from the machine struct into
		a helper struct, and removing the limit on max nr of
		breakpoints.
20070610	Moving out tick functions into a helper struct as well (which
		also gets rid of the max limit).
20070612	FINALLY figured out why Debian/DECstation stopped working when
		translation read-ahead was enabled: in src/memory_rw.c, the
		call to invalidate_code_translation was made also if the
		memory access was an instruction load (if the page was mapped
		as writable); it shouldn't be called in that case.
20070613	Implementing some more MIPS32/64 revision 2 instructions: di,
		ei, ext, dext, dextm, dextu, and ins.
20070614	Implementing an instruction combination for the NetBSD/arm
		idle loop (making the host not use any cpu if NetBSD/arm
		inside the emulator is not using any cpu).
		Increasing the nr of ARM VPH entries from 128 to 384.
20070615	Removing the ENABLE_arch stuff from the configure script, so
		that all included architectures are included in both release
		and development builds.
		Moving memory related helper functions from misc.c to memory.c.
		Adding preliminary instructions for netbooting NetBSD/pmppc to
		guestoses.html; it doesn't work yet, there are weird timeouts.
		Beginning a total rewrite of the userland emulation modes
		(removing all emulation modes, beginning from scratch with
		NetBSD/MIPS and FreeBSD/Alpha only).
20070616	After fixing a bug in the DEC21143 NIC (the TDSTAT_OWN bit was
		only cleared for the last segment when transmitting, not all
		segments), NetBSD/pmppc boots with root-on-nfs without the
		timeouts. Updating guestoses.html.
		Removing the skeleton PSP (Playstation Portable) mode.
		Moving X11-related stuff in the machine struct into a helper
		struct.
		Cleanup of out-of-memory checks, to use a new CHECK_ALLOCATION
		macro (which prints a meaningful error message).
		Adding a COMMENT to each machine and device (for automagic
		.index comment generation).
		Doing regression testing for the next release.

==============  RELEASE 0.4.6  ==============
1 /*
2 * Copyright (C) 2004-2007 Anders Gavare. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met:
6 *
7 * 1. Redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer.
9 * 2. Redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution.
12 * 3. The name of the author may not be used to endorse or promote products
13 * derived from this software without specific prior written permission.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25 * SUCH DAMAGE.
26 *
27 *
28 * $Id: debugger_expr.c,v 1.11 2007/06/15 17:02:39 debug Exp $
29 *
30 * Expression evaluator.
31 *
32 *
33 * TODO:
34 * Sign-extension only on MIPS?
35 * SPECIAL IMPORTANT CASE: Clear the delay_slot flag when writing
36 * to the pc register.
37 * TAB completion? :-)
38 */
39
40 #include <stdio.h>
41 #include <stdlib.h>
42 #include <string.h>
43 #include <ctype.h>
44
45 #include "cpu.h"
46 #include "debugger.h"
47 #include "machine.h"
48 #include "misc.h"
49 #include "settings.h"
50
51
52 extern struct settings *global_settings;
53
54 extern int debugger_cur_cpu;
55 extern int debugger_cur_machine;
56 extern int debugger_cur_emul;
57
58
59 /*
60 * debugger_parse_name():
61 *
62 * This function takes a string as input, and tries to match it to a register
63 * name or a more general "setting", a hexadecimal or decimal numeric value,
64 * or a registered symbol.
65 *
66 * Some examples:
67 *
68 * Settings (including register names):
69 * verbose
70 * pc
71 * r5
72 *
73 * Numeric values:
74 * 12345
75 * 0x7fff1234
76 *
77 * Symbols:
78 * memcpy
79 *
80 * To force detection of different types, a character can be added in front of
81 * the name: "$" for numeric values, "#" for registers or other settings,
82 * and "@" for symbols.
83 *
84 * Return value is:
85 *
86 * PARSE_NOMATCH no match
87 * PARSE_MULTIPLE multiple matches
88 *
89 * or one of these (and then *valuep is read or written, depending on
90 * the writeflag):
91 *
92 * PARSE_SETTINGS a setting (e.g. a register)
93 * PARSE_NUMBER a hex number
94 * PARSE_SYMBOL a symbol
95 */
96 int debugger_parse_name(struct machine *m, char *name, int writeflag,
97 uint64_t *valuep)
98 {
99 int match_settings = 0, match_symbol = 0, match_numeric = 0;
100 int skip_settings, skip_numeric, skip_symbol;
101
102 if (m == NULL || name == NULL) {
103 fprintf(stderr, "debugger_parse_name(): NULL ptr\n");
104 exit(1);
105 }
106
107 while (name[0] == '\t' || name[0] == ' ')
108 name ++;
109
110 /* Warn about non-signextended values: */
111 if (writeflag) {
112 if (m->cpus[0]->is_32bit) {
113 /* Automagically sign-extend. TODO: Is this good? */
114 if (((*valuep) >> 32) == 0 && (*valuep) & 0x80000000ULL)
115 (*valuep) |= 0xffffffff00000000ULL;
116 } else {
117 if (((*valuep) >> 32) == 0 && (*valuep) & 0x80000000ULL)
118 printf("WARNING: The value is not sign-extende"
119 "d. Is this what you intended?\n");
120 }
121 }
122
123 skip_settings = name[0] == '$' || name[0] == '@';
124 skip_numeric = name[0] == '#' || name[0] == '@';
125 skip_symbol = name[0] == '$' || name[0] == '#';
126
127 if (!skip_settings) {
128 char setting_name[400];
129 int res;
130
131 res = settings_access(global_settings, name, writeflag, valuep);
132 if (res == SETTINGS_OK)
133 match_settings = 1;
134
135 if (!match_settings) {
136 snprintf(setting_name, sizeof(setting_name),
137 GLOBAL_SETTINGS_NAME".%s", name);
138 res = settings_access(global_settings, setting_name,
139 writeflag, valuep);
140 if (res == SETTINGS_OK)
141 match_settings = 1;
142 }
143
144 if (!match_settings) {
145 snprintf(setting_name, sizeof(setting_name),
146 GLOBAL_SETTINGS_NAME".emul[%i].%s",
147 debugger_cur_emul, name);
148 res = settings_access(global_settings, setting_name,
149 writeflag, valuep);
150 if (res == SETTINGS_OK)
151 match_settings = 1;
152 }
153
154 if (!match_settings) {
155 snprintf(setting_name, sizeof(setting_name),
156 GLOBAL_SETTINGS_NAME".emul[%i].machine[%i].%s",
157 debugger_cur_emul, debugger_cur_machine, name);
158 res = settings_access(global_settings, setting_name,
159 writeflag, valuep);
160 if (res == SETTINGS_OK)
161 match_settings = 1;
162 }
163
164 if (!match_settings) {
165 snprintf(setting_name, sizeof(setting_name),
166 GLOBAL_SETTINGS_NAME".emul[%i].machine[%i]."
167 "cpu[%i].%s", debugger_cur_emul,
168 debugger_cur_machine, debugger_cur_cpu, name);
169 res = settings_access(global_settings, setting_name,
170 writeflag, valuep);
171 if (res == SETTINGS_OK)
172 match_settings = 1;
173 }
174 }
175
176 /* Check for a number match: */
177 if (!skip_numeric && isdigit((int)name[0])) {
178 uint64_t x;
179 x = strtoull(name, NULL, 0);
180 if (writeflag)
181 printf("You cannot assign like that.\n");
182 else
183 *valuep = x;
184 match_numeric = 1;
185 }
186
187 /* Check for a symbol match: */
188 if (!skip_symbol) {
189 uint64_t newaddr;
190 if (get_symbol_addr(&m->symbol_context, name, &newaddr)) {
191 if (writeflag)
192 printf("You cannot assign like that.\n");
193 else
194 *valuep = newaddr;
195 match_symbol = 1;
196 }
197 }
198
199 if (match_settings + match_symbol + match_numeric > 1)
200 return PARSE_MULTIPLE;
201
202 if (match_settings)
203 return PARSE_SETTINGS;
204 if (match_numeric)
205 return PARSE_NUMBER;
206 if (match_symbol)
207 return PARSE_SYMBOL;
208
209 return PARSE_NOMATCH;
210 }
211
212
213 /*
214 * debugger_parse_expression()
215 *
216 * Input:
217 * writeflag = 0: expr = an expression to evaluate. The result is
218 * returned in *valuep.
219 *
220 * writeflag = 1: expr = an lvalue name. *valuep is written to that
221 * lvalue, using debugger_parse_name().
222 *
223 * Parentheses always have precedence.
224 * * / and % have second highest precedence.
225 * + - & | ^ have lowest precedence.
226 *
227 * Return value on failure is:
228 *
229 * PARSE_NOMATCH one or more words in the expression didn't
230 * match any known symbol/register/number
231 * PARSE_MULTIPLE multiple matches within the expression
232 *
233 * Return value on success is PARSE_NUMBER (for now).
234 *
235 *
236 * TODO: BETTER RETURN VALUE!
237 *
238 * NOTE: This is a quick hack, but hopefully it should work. The internal
239 * mechanism is to split the expression into a left half and a right
240 * half around an operator. This operator should be the operator
241 * in the string which has the lowest precedence (except those that
242 * are inside parentheses sub-expressions). E.g. if the expression
243 * is a * (b + c * d) / e then the operator with the lowest
244 * precedence is the first multiplication sign, and the split will
245 * be: left = a
246 * right = (b+c*d)/e
247 */
248 int debugger_parse_expression(struct machine *m, char *expr, int writeflag,
249 uint64_t *valuep)
250 {
251 int prec, res, i, nest;
252 char *copy;
253
254 if (writeflag)
255 return debugger_parse_name(m, expr, writeflag, valuep);
256
257 while (expr[0] == '\t' || expr[0] == ' ')
258 expr ++;
259
260 CHECK_ALLOCATION(copy = strdup(expr));
261
262 while (copy[0] && copy[strlen(copy)-1] == ' ')
263 copy[strlen(copy)-1] = '\0';
264
265 /* Find the lowest operator precedence: */
266 i = 0; prec = 2; nest = 0;
267 while (copy[i] != '\0') {
268 switch (copy[i]) {
269 case '(':
270 nest ++;
271 break;
272 case ')':
273 nest --;
274 break;
275 case '+':
276 case '-':
277 case '^':
278 case '&':
279 case '|':
280 if (nest == 0)
281 prec = 0;
282 break;
283 case '*':
284 case '/':
285 case '%':
286 if (nest == 0 && prec > 1)
287 prec = 1;
288 break;
289 }
290
291 i++;
292 }
293
294 if (nest != 0) {
295 printf("Unmatching parentheses.\n");
296 return PARSE_NOMATCH;
297 }
298
299 if (prec == 2 && copy[0] == '(' && copy[strlen(copy)-1] == ')') {
300 int res;
301 copy[strlen(copy)-1] = '\0';
302 res = debugger_parse_expression(m, copy+1, 0, valuep);
303 free(copy);
304 return res;
305 }
306
307 /* Split according to the first lowest priority operator: */
308 i = 0; nest = 0;
309 while (copy[i] != '\0') {
310 switch (copy[i]) {
311 case '(':
312 nest ++;
313 break;
314 case ')':
315 nest --;
316 break;
317 case '*':
318 case '/':
319 case '%':
320 if (prec == 0)
321 break;
322 /* Fallthrough. */
323 case '+':
324 case '-':
325 case '^':
326 case '&':
327 case '|':
328 if (nest == 0) {
329 uint64_t left, right;
330 int res1, res2, j;
331 char op = copy[i];
332
333 copy[i] = '\0';
334 j = i;
335 while (j>0 && copy[j-1] == ' ') {
336 copy[j-1] = '\0';
337 j --;
338 }
339
340 res1 = debugger_parse_expression(
341 m, copy, 0, &left);
342 res2 = debugger_parse_expression(
343 m, copy + i + 1, 0, &right);
344
345 if (res1 == PARSE_NOMATCH ||
346 res2 == PARSE_NOMATCH) {
347 res = PARSE_NOMATCH;
348 goto return_failure;
349 }
350
351 if (res1 == PARSE_MULTIPLE ||
352 res2 == PARSE_MULTIPLE) {
353 res = PARSE_MULTIPLE;
354 goto return_failure;
355 }
356
357 switch (op) {
358 case '+':
359 (*valuep) = left + right;
360 break;
361 case '-':
362 (*valuep) = left - right;
363 break;
364 case '^':
365 (*valuep) = left ^ right;
366 break;
367 case '&':
368 (*valuep) = left & right;
369 break;
370 case '|':
371 (*valuep) = left | right;
372 break;
373 case '*':
374 (*valuep) = left * right;
375 break;
376 case '/':
377 (*valuep) = left / right;
378 break;
379 case '%':
380 (*valuep) = left % right;
381 break;
382 }
383
384 goto return_ok;
385 }
386 break;
387 }
388
389 i ++;
390 }
391
392 res = debugger_parse_name(m, expr, writeflag, valuep);
393 if (res == PARSE_NOMATCH || res == PARSE_MULTIPLE)
394 goto return_failure;
395
396 return_ok:
397 free(copy);
398 return PARSE_NUMBER;
399
400 return_failure:
401 free(copy);
402 return res;
403 }
404
  ViewVC Help
Powered by ViewVC 1.1.26