/[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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 34 - (hide annotations)
Mon Oct 8 16:21:17 2007 UTC (16 years, 6 months ago) by dpavlin
File MIME type: text/plain
File size: 10174 byte(s)
++ trunk/HISTORY	(local)
$Id: HISTORY,v 1.1480 2007/02/19 01:34:42 debug Exp $
20061029	Changing usleep(1) calls in the debugger to usleep(10000)
20061107	Adding a new disk image option (-d o...) which sets the ISO9660
		filesystem base offset; also making some other hacks to allow
		NetBSD/dreamcast and homebrew demos/games to boot directly
		from a filesystem image.
		Moving Dreamcast-specific stuff in the documentation to its
		own page (dreamcast.html).
		Adding a border to the Dreamcast PVR framebuffer.
20061108	Adding a -T command line option (again?), for halting the
		emulator on unimplemented memory accesses.
20061109	Continuing on various SH4 and Dreamcast related things.
		The emulator should now halt on more unimplemented device
		accesses, instead of just printing a warning, forcing me to
		actually implement missing stuff :)
20061111	Continuing on SH4 and Dreamcast stuff.
		Adding a bogus Landisk (SH4) machine mode.
20061112	Implementing some parts of the Dreamcast GDROM device. With
		some ugly hacks, NetBSD can (barely) mount an ISO image.
20061113	NetBSD/dreamcast now starts booting from the Live CD image,
		but crashes randomly quite early on in the boot process.
20061122	Beginning on a skeleton interrupt.h and interrupt.c for the
		new interrupt subsystem.
20061124	Continuing on the new interrupt system; taking the first steps
		to attempt to connect CPUs (SuperH and MIPS) and devices
		(dev_cons and SH4 timer interrupts) to it. Many things will
		probably break from now on.
20061125	Converting dev_ns16550, dev_8253 to the new interrupt system.
		Attempting to begin to convert the ISA bus.
20061130	Incorporating a patch from Brian Foley for the configure
		script, which checks for X11 libs in /usr/X11R6/lib64 (which
		is used on some Linux systems).
20061227	Adding a note in the man page about booting from Dreamcast
		CDROM images (i.e. that no external kernel is needed).
20061229	Continuing on the interrupt system rewrite: beginning to
		convert more devices, adding abort() calls for legacy interrupt
		system calls so that everything now _has_ to be rewritten!
		Almost all machine modes are now completely broken.
20061230	More progress on removing old interrupt code, mostly related
		to the ISA bus + devices, the LCA bus (on AlphaBook1), and
		the Footbridge bus (for CATS). And some minor PCI stuff.
		Connecting the ARM cpu to the new interrupt system.
		The CATS, NetWinder, and QEMU_MIPS machine modes now work with
		the new interrupt system :)
20061231	Connecting PowerPC CPUs to the new interrupt system.
		Making PReP machines (IBM 6050) work again.
		Beginning to convert the GT PCI controller (for e.g. Malta
		and Cobalt emulation). Some things work, but not everything.
		Updating Copyright notices for 2007.
20070101	Converting dev_kn02 from legacy style to devinit; the 3max
		machine mode now works with the new interrupt system :-]
20070105	Beginning to convert the SGI O2 machine to the new interrupt
		system; finally converting O2 (IP32) devices to devinit, etc.
20070106	Continuing on the interrupt system redesign/rewrite; KN01
		(PMAX), KN230, and Dreamcast ASIC interrupts should work again,
		moving out stuff from machine.h and devices.h into the
		corresponding devices, beginning the rewrite of i80321
		interrupts, etc.
20070107	Beginning on the rewrite of Eagle interrupt stuff (PReP, etc).
20070117	Beginning the rewrite of Algor (V3) interrupts (finally
		changing dev_v3 into devinit style).
20070118	Removing the "bus" registry concept from machine.h, because
		it was practically meaningless.
		Continuing on the rewrite of Algor V3 ISA interrupts.
20070121	More work on Algor interrupts; they are now working again,
		well enough to run NetBSD/algor. :-)
20070122	Converting VR41xx (HPCmips) interrupts. NetBSD/hpcmips
		can be installed using the new interrupt system :-)
20070123	Making the testmips mode work with the new interrupt system.
20070127	Beginning to convert DEC5800 devices to devinit, and to the
		new interrupt system.
		Converting Playstation 2 devices to devinit, and converting
		the interrupt system. Also fixing a severe bug: the interrupt
		mask register on Playstation 2 is bitwise _toggled_ on writes.
20070128	Removing the dummy NetGear machine mode and the 8250 device
		(which was only used by the NetGear machine).
		Beginning to convert the MacPPC GC (Grand Central) interrupt
		controller to the new interrupt system.
		Converting Jazz interrupts (PICA61 etc.) to the new interrupt
		system. NetBSD/arc can be installed again :-)
		Fixing the JAZZ timer (hardcoding it at 100 Hz, works with
		NetBSD and it is better than a completely dummy timer as it
		was before).
		Converting dev_mp to the new interrupt system, although I
		haven't had time to actually test it yet.
		Completely removing src/machines/interrupts.c, cpu_interrupt
		and cpu_interrupt_ack in src/cpu.c, and
		src/include/machine_interrupts.h! Adding fatal error messages
		+ abort() in the few places that are left to fix.
		Converting dev_z8530 to the new interrupt system.
		FINALLY removing the md_int struct completely from the
		machine struct.
		SH4 fixes (adding a PADDR invalidation in the ITLB replacement
		code in memory_sh.c); the NetBSD/dreamcast LiveCD now runs
		all the way to the login prompt, and can be interacted with :-)
		Converting the CPC700 controller (PCI and interrupt controller
		for PM/PPC) to the new interrupt system.
20070129	Fixing MACE ISA interrupts (SGI IP32 emulation). Both NetBSD/
		sgimips' and OpenBSD/sgi's ramdisk kernels can now be
		interacted with again.
20070130	Moving out the MIPS multi_lw and _sw instruction combinations
		so that they are auto-generated at compile time instead.
20070131	Adding detection of amd64/x86_64 hosts in the configure script,
		for doing initial experiments (again :-) with native code
		generation.
		Adding a -k command line option to set the size of the dyntrans
		cache, and a -B command line option to disable native code
		generation, even if GXemul was compiled with support for
		native code generation for the specific host CPU architecture.
20070201	Experimenting with a skeleton for native code generation.
		Changing the default behaviour, so that native code generation
		is now disabled by default, and has to be enabled by using
		-b on the command line.
20070202	Continuing the native code generation experiments.
		Making PCI interrupts work for Footbridge again.
20070203	More native code generation experiments.
		Removing most of the native code generation experimental code,
		it does not make sense to include any quick hacks like this.
		Minor cleanup/removal of some more legacy MIPS interrupt code.
20070204	Making i80321 interrupts work again (for NetBSD/evbarm etc.),
		and fixing the timer at 100 Hz.
20070206	Experimenting with removing the wdc interrupt slowness hack.
20070207	Lowering the number of dyntrans TLB entries for MIPS from
		192 to 128, resulting in a minor speed improvement.
		Minor optimization to the code invalidation routine in
		cpu_dyntrans.c.
20070208	Increasing (experimentally) the nr of dyntrans instructions per
		loop from 60 to 120.
20070210	Commenting out (experimentally) the dyntrans_device_danger
		detection in memory_rw.c.
		Changing the testmips and baremips machines to use a revision 2
		MIPS64 CPU by default, instead of revision 1.
		Removing the dummy i960, IA64, x86, AVR32, and HP PA-RISC
		files, the PC bios emulation, and the Olivetti M700 (ARC) and
		db64360 emulation modes.
20070211	Adding an "mp" demo to the demos directory, which tests the
		SMP functionality of the testmips machine.
		Fixing PReP interrupts some more. NetBSD/prep now boots again.
20070216	Adding a "nop workaround" for booting Mach/PMAX to the
		documentation; thanks to Artur Bujdoso for the values.
		Converting more of the MacPPC interrupt stuff to the new
		system.
		Beginning to convert BeBox interrupts to the new system.
		PPC603e should NOT have the PPC_NO_DEC flag! Removing it.
		Correcting BeBox clock speed (it was set to 100 in the NetBSD
		bootinfo block, but should be 33000000/4), allowing NetBSD
		to start without using the (incorrect) PPC_NO_DEC hack.
20070217	Implementing (slow) AltiVec vector loads and stores, allowing
		NetBSD/macppc to finally boot using the GENERIC kernel :-)
		Updating the documentation with install instructions for
		NetBSD/macppc.
20070218-19	Regression testing for the release.

==============  RELEASE 0.4.4  ==============


1 dpavlin 32 /*
2 dpavlin 34 * Copyright (C) 2004-2007 Anders Gavare. All rights reserved.
3 dpavlin 32 *
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 dpavlin 34 * $Id: debugger_expr.c,v 1.10 2006/12/30 13:30:56 debug Exp $
29 dpavlin 32 *
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     copy = strdup(expr);
261     if (copy == NULL) {
262     fprintf(stderr, "debugger_parse_expression(): out of memory\n");
263     exit(1);
264     }
265    
266     while (copy[0] && copy[strlen(copy)-1] == ' ')
267     copy[strlen(copy)-1] = '\0';
268    
269     /* Find the lowest operator precedence: */
270     i = 0; prec = 2; nest = 0;
271     while (copy[i] != '\0') {
272     switch (copy[i]) {
273     case '(':
274     nest ++;
275     break;
276     case ')':
277     nest --;
278     break;
279     case '+':
280     case '-':
281     case '^':
282     case '&':
283     case '|':
284     if (nest == 0)
285     prec = 0;
286     break;
287     case '*':
288     case '/':
289     case '%':
290     if (nest == 0 && prec > 1)
291     prec = 1;
292     break;
293     }
294    
295     i++;
296     }
297    
298     if (nest != 0) {
299     printf("Unmatching parentheses.\n");
300     return PARSE_NOMATCH;
301     }
302    
303     if (prec == 2 && copy[0] == '(' && copy[strlen(copy)-1] == ')') {
304     int res;
305     copy[strlen(copy)-1] = '\0';
306     res = debugger_parse_expression(m, copy+1, 0, valuep);
307     free(copy);
308     return res;
309     }
310    
311     /* Split according to the first lowest priority operator: */
312     i = 0; nest = 0;
313     while (copy[i] != '\0') {
314     switch (copy[i]) {
315     case '(':
316     nest ++;
317     break;
318     case ')':
319     nest --;
320     break;
321     case '*':
322     case '/':
323     case '%':
324     if (prec == 0)
325     break;
326     /* Fallthrough. */
327     case '+':
328     case '-':
329     case '^':
330     case '&':
331     case '|':
332     if (nest == 0) {
333     uint64_t left, right;
334     int res1, res2, j;
335     char op = copy[i];
336    
337     copy[i] = '\0';
338     j = i;
339     while (j>0 && copy[j-1] == ' ') {
340     copy[j-1] = '\0';
341     j --;
342     }
343    
344     res1 = debugger_parse_expression(
345     m, copy, 0, &left);
346     res2 = debugger_parse_expression(
347     m, copy + i + 1, 0, &right);
348    
349     if (res1 == PARSE_NOMATCH ||
350     res2 == PARSE_NOMATCH) {
351     res = PARSE_NOMATCH;
352     goto return_failure;
353     }
354    
355     if (res1 == PARSE_MULTIPLE ||
356     res2 == PARSE_MULTIPLE) {
357     res = PARSE_MULTIPLE;
358     goto return_failure;
359     }
360    
361     switch (op) {
362     case '+':
363     (*valuep) = left + right;
364     break;
365     case '-':
366     (*valuep) = left - right;
367     break;
368     case '^':
369     (*valuep) = left ^ right;
370     break;
371     case '&':
372     (*valuep) = left & right;
373     break;
374     case '|':
375     (*valuep) = left | right;
376     break;
377     case '*':
378     (*valuep) = left * right;
379     break;
380     case '/':
381     (*valuep) = left / right;
382     break;
383     case '%':
384     (*valuep) = left % right;
385     break;
386     }
387    
388     goto return_ok;
389     }
390     break;
391     }
392    
393     i ++;
394     }
395    
396     res = debugger_parse_name(m, expr, writeflag, valuep);
397     if (res == PARSE_NOMATCH || res == PARSE_MULTIPLE)
398     goto return_failure;
399    
400     return_ok:
401     free(copy);
402     return PARSE_NUMBER;
403    
404     return_failure:
405     free(copy);
406     return res;
407     }
408    

  ViewVC Help
Powered by ViewVC 1.1.26