Include config.h.
[wine/gsoc_dplay.git] / debugger / expr.c
blob3352c335365aaee5b3a7ea997c59473db6414bd2
1 /*
2 * File expr.c - expression handling for Wine internal debugger.
4 * Copyright (C) 1997, Eric Youngdale.
6 */
8 #include "config.h"
9 #include <stdlib.h>
10 #include <string.h>
11 #include "winbase.h"
12 #include "wine/winbase16.h"
13 #include "task.h"
14 #include "debugger.h"
15 #include "expr.h"
17 #include <stdarg.h>
19 struct expr
21 unsigned int perm;
22 unsigned int type:31;
23 union
25 struct
27 int value;
28 } constant;
30 struct
32 const char * str;
33 } string;
35 struct
37 unsigned int value;
38 } u_const;
40 struct
42 const char * name;
43 } symbol;
45 struct
47 const char * name;
48 } intvar;
50 struct
52 int unop_type;
53 struct expr * exp1;
54 int result;
55 } unop;
57 struct
59 int binop_type;
60 int result;
61 struct expr * exp1;
62 struct expr * exp2;
63 } binop;
65 struct
67 struct datatype * cast;
68 struct expr * expr;
69 } cast;
71 struct
73 struct expr * exp1;
74 const char * element_name;
75 int result;
76 } structure;
78 struct
80 struct expr * base;
81 struct expr * index;
82 } array;
84 struct
86 const char * funcname;
87 int nargs;
88 int result;
89 struct expr * arg[5];
90 } call;
92 } un;
95 #define EXPR_TYPE_CONST 0
96 #define EXPR_TYPE_US_CONST 1
97 #define EXPR_TYPE_SYMBOL 2
98 #define EXPR_TYPE_INTVAR 3
99 #define EXPR_TYPE_BINOP 4
100 #define EXPR_TYPE_UNOP 5
101 #define EXPR_TYPE_STRUCT 6
102 #define EXPR_TYPE_PSTRUCT 7
103 #define EXPR_TYPE_ARRAY 8
104 #define EXPR_TYPE_CALL 9
105 #define EXPR_TYPE_STRING 10
106 #define EXPR_TYPE_CAST 11
108 static char expr_list[4096];
109 static int next_expr_free = 0;
112 * This is how we turn an expression address into the actual value.
113 * This works well in the 32 bit domain - not sure at all about the
114 * 16 bit world.
116 #define VAL(_exp) DEBUG_GetExprValue(&_exp, NULL)
118 static
119 struct expr *
120 DEBUG_GetFreeExpr(void)
122 struct expr * rtn;
124 rtn = (struct expr *) &expr_list[next_expr_free];
126 next_expr_free += sizeof(struct expr);
127 assert(next_expr_free < sizeof(expr_list));
129 return rtn;
132 void
133 DEBUG_FreeExprMem(void)
135 next_expr_free = 0;
138 struct expr *
139 DEBUG_TypeCastExpr(struct datatype * dt, struct expr * exp)
141 struct expr * ex;
143 ex = DEBUG_GetFreeExpr();
145 ex->type = EXPR_TYPE_CAST;
146 ex->un.cast.cast = dt;
147 ex->un.cast.expr = exp;
148 return ex;
151 struct expr *
152 DEBUG_IntVarExpr(const char* name)
154 struct expr * ex;
156 ex = DEBUG_GetFreeExpr();
158 ex->type = EXPR_TYPE_INTVAR;
159 ex->un.intvar.name = name;
160 return ex;
163 struct expr *
164 DEBUG_SymbolExpr(const char * name)
166 struct expr * ex;
168 ex = DEBUG_GetFreeExpr();
170 ex->type = EXPR_TYPE_SYMBOL;
171 ex->un.symbol.name = name;
172 return ex;
175 struct expr *
176 DEBUG_ConstExpr(int value)
178 struct expr * ex;
180 ex = DEBUG_GetFreeExpr();
182 ex->type = EXPR_TYPE_CONST;
183 ex->un.constant.value = value;
184 return ex;
187 struct expr *
188 DEBUG_StringExpr(const char * str)
190 struct expr * ex;
191 char * pnt;
192 ex = DEBUG_GetFreeExpr();
194 ex->type = EXPR_TYPE_STRING;
195 ex->un.string.str = str+1;
196 pnt = strrchr(ex->un.string.str, '"');
197 if( pnt != NULL )
199 *pnt = '\0';
201 return ex;
204 struct expr *
205 DEBUG_USConstExpr(unsigned int value)
207 struct expr * ex;
209 ex = DEBUG_GetFreeExpr();
211 ex->type = EXPR_TYPE_CONST;
212 ex->un.u_const.value = value;
213 return ex;
216 struct expr *
217 DEBUG_BinopExpr(int operator_type, struct expr * exp1, struct expr * exp2)
219 struct expr * ex;
221 ex = DEBUG_GetFreeExpr();
223 ex->type = EXPR_TYPE_BINOP;
224 ex->un.binop.binop_type = operator_type;
225 ex->un.binop.exp1 = exp1;
226 ex->un.binop.exp2 = exp2;
227 return ex;
230 struct expr *
231 DEBUG_UnopExpr(int operator_type, struct expr * exp1)
233 struct expr * ex;
235 ex = DEBUG_GetFreeExpr();
237 ex->type = EXPR_TYPE_UNOP;
238 ex->un.unop.unop_type = operator_type;
239 ex->un.unop.exp1 = exp1;
240 return ex;
243 struct expr *
244 DEBUG_StructExpr(struct expr * exp, const char * element)
246 struct expr * ex;
248 ex = DEBUG_GetFreeExpr();
250 ex->type = EXPR_TYPE_STRUCT;
251 ex->un.structure.exp1 = exp;
252 ex->un.structure.element_name = element;
253 return ex;
256 struct expr *
257 DEBUG_StructPExpr(struct expr * exp, const char * element)
259 struct expr * ex;
261 ex = DEBUG_GetFreeExpr();
263 ex->type = EXPR_TYPE_PSTRUCT;
264 ex->un.structure.exp1 = exp;
265 ex->un.structure.element_name = element;
266 return ex;
269 struct expr *
270 DEBUG_CallExpr(const char * funcname, int nargs, ...)
272 struct expr * ex;
273 va_list ap;
274 int i;
276 ex = DEBUG_GetFreeExpr();
278 ex->type = EXPR_TYPE_CALL;
279 ex->un.call.funcname = funcname;
280 ex->un.call.nargs = nargs;
282 va_start(ap, nargs);
283 for(i=0; i < nargs; i++)
285 ex->un.call.arg[i] = va_arg(ap, struct expr *);
287 va_end(ap);
288 return ex;
291 DBG_VALUE DEBUG_EvalExpr(struct expr * exp)
293 DBG_VALUE rtn;
294 int i;
295 DBG_VALUE exp1;
296 DBG_VALUE exp2;
297 unsigned int cexp[5];
298 int scale1;
299 int scale2;
300 int scale3;
301 struct datatype * type1;
302 struct datatype * type2;
304 rtn.type = NULL;
305 rtn.cookie = DV_INVALID;
306 rtn.addr.off = 0;
307 rtn.addr.seg = 0;
309 switch(exp->type)
311 case EXPR_TYPE_CAST:
312 rtn = DEBUG_EvalExpr(exp->un.cast.expr);
313 rtn.type = exp->un.cast.cast;
314 if (DEBUG_GetType(rtn.type) == DT_POINTER)
315 rtn.cookie = DV_TARGET;
316 break;
317 case EXPR_TYPE_STRING:
318 rtn.type = DEBUG_TypeString;
319 rtn.cookie = DV_HOST;
320 rtn.addr.off = (unsigned int) &exp->un.string.str;
321 rtn.addr.seg = 0;
322 break;
323 case EXPR_TYPE_CONST:
324 rtn.type = DEBUG_TypeIntConst;
325 rtn.cookie = DV_HOST;
326 rtn.addr.off = (unsigned int) &exp->un.constant.value;
327 rtn.addr.seg = 0;
328 break;
329 case EXPR_TYPE_US_CONST:
330 rtn.type = DEBUG_TypeUSInt;
331 rtn.cookie = DV_HOST;
332 rtn.addr.off = (unsigned int) &exp->un.u_const.value;
333 rtn.addr.seg = 0;
334 break;
335 case EXPR_TYPE_SYMBOL:
336 if( !DEBUG_GetSymbolValue(exp->un.symbol.name, -1, &rtn, FALSE) )
338 RaiseException(DEBUG_STATUS_NO_SYMBOL, 0, 0, NULL);
340 break;
341 case EXPR_TYPE_PSTRUCT:
342 exp1 = DEBUG_EvalExpr(exp->un.structure.exp1);
343 if( exp1.type == NULL )
345 RaiseException(DEBUG_STATUS_BAD_TYPE, 0, 0, NULL);
347 rtn.cookie = DV_TARGET;
348 rtn.addr.off = DEBUG_TypeDerefPointer(&exp1, &type1);
349 if( type1 == NULL )
351 RaiseException(DEBUG_STATUS_BAD_TYPE, 0, 0, NULL);
353 rtn.type = type1;
354 DEBUG_FindStructElement(&rtn, exp->un.structure.element_name,
355 &exp->un.structure.result);
356 break;
357 case EXPR_TYPE_STRUCT:
358 exp1 = DEBUG_EvalExpr(exp->un.structure.exp1);
359 if( exp1.type == NULL )
361 RaiseException(DEBUG_STATUS_BAD_TYPE, 0, 0, NULL);
363 rtn = exp1;
364 DEBUG_FindStructElement(&rtn, exp->un.structure.element_name,
365 &exp->un.structure.result);
366 break;
367 case EXPR_TYPE_CALL:
369 * First, evaluate all of the arguments. If any of them are not
370 * evaluable, then bail.
372 for(i=0; i < exp->un.call.nargs; i++)
374 exp1 = DEBUG_EvalExpr(exp->un.call.arg[i]);
375 if( exp1.type == NULL )
377 return rtn;
379 cexp[i] = DEBUG_GetExprValue(&exp1, NULL);
383 * Now look up the address of the function itself.
385 if( !DEBUG_GetSymbolValue(exp->un.call.funcname, -1, &rtn, FALSE ) )
387 RaiseException(DEBUG_STATUS_NO_SYMBOL, 0, 0, NULL);
390 #if 0
391 /* FIXME: NEWDBG NIY */
392 /* Anyway, I wonder how this could work depending on the calling order of
393 * the function (cdecl vs pascal for example)
395 int (*fptr)();
397 fptr = (int (*)()) rtn.addr.off;
398 switch(exp->un.call.nargs)
400 case 0:
401 exp->un.call.result = (*fptr)();
402 break;
403 case 1:
404 exp->un.call.result = (*fptr)(cexp[0]);
405 break;
406 case 2:
407 exp->un.call.result = (*fptr)(cexp[0], cexp[1]);
408 break;
409 case 3:
410 exp->un.call.result = (*fptr)(cexp[0], cexp[1], cexp[2]);
411 break;
412 case 4:
413 exp->un.call.result = (*fptr)(cexp[0], cexp[1], cexp[2], cexp[3]);
414 break;
415 case 5:
416 exp->un.call.result = (*fptr)(cexp[0], cexp[1], cexp[2], cexp[3], cexp[4]);
417 break;
419 #else
420 DEBUG_Printf(DBG_CHN_MESG, "Function call no longer implemented\n");
421 /* would need to set up a call to this function, and then restore the current
422 * context afterwards...
424 exp->un.call.result = 0;
425 #endif
426 rtn.type = DEBUG_TypeInt;
427 rtn.cookie = DV_HOST;
428 rtn.addr.off = (unsigned int) &exp->un.call.result;
430 break;
431 case EXPR_TYPE_INTVAR:
434 DBG_INTVAR* div = DEBUG_GetIntVar(exp->un.intvar.name);
436 if (!div) RaiseException(DEBUG_STATUS_NO_SYMBOL, 0, 0, NULL);
437 rtn.cookie = DV_HOST;
438 rtn.type = div->type;
439 rtn.addr.off = (unsigned int)div->pval;
440 /* EPP FIXME rtn.addr.seg = ?? */
442 break;
443 case EXPR_TYPE_BINOP:
444 exp1 = DEBUG_EvalExpr(exp->un.binop.exp1);
445 exp2 = DEBUG_EvalExpr(exp->un.binop.exp2);
446 rtn.cookie = DV_HOST;
447 if( exp1.type == NULL || exp2.type == NULL )
449 RaiseException(DEBUG_STATUS_BAD_TYPE, 0, 0, NULL);
451 if( exp1.type == DEBUG_TypeIntConst && exp2.type == DEBUG_TypeIntConst )
453 rtn.type = exp1.type;
455 else
457 rtn.type = DEBUG_TypeInt;
459 rtn.addr.seg = 0;
460 rtn.addr.off = (unsigned int) &exp->un.binop.result;
461 switch(exp->un.binop.binop_type)
463 case EXP_OP_ADD:
464 type1 = DEBUG_GetPointerType(exp1.type);
465 type2 = DEBUG_GetPointerType(exp2.type);
466 scale1 = 1;
467 scale2 = 1;
468 if( type1 != NULL && type2 != NULL )
470 RaiseException(DEBUG_STATUS_BAD_TYPE, 0, 0, NULL);
472 else if( type1 != NULL )
474 scale2 = DEBUG_GetObjectSize(type1);
475 rtn.type = exp1.type;
477 else if( type2 != NULL )
479 scale1 = DEBUG_GetObjectSize(type2);
480 rtn.type = exp2.type;
482 exp->un.binop.result = (VAL(exp1) * scale1 + scale2 * VAL(exp2));
483 break;
484 case EXP_OP_SUB:
485 type1 = DEBUG_GetPointerType(exp1.type);
486 type2 = DEBUG_GetPointerType(exp2.type);
487 scale1 = 1;
488 scale2 = 1;
489 scale3 = 1;
490 if( type1 != NULL && type2 != NULL )
492 if( type1 != type2 )
494 RaiseException(DEBUG_STATUS_BAD_TYPE, 0, 0, NULL);
496 scale3 = DEBUG_GetObjectSize(type1);
498 else if( type1 != NULL )
500 scale2 = DEBUG_GetObjectSize(type1);
501 rtn.type = exp1.type;
504 else if( type2 != NULL )
506 scale1 = DEBUG_GetObjectSize(type2);
507 rtn.type = exp2.type;
509 exp->un.binop.result = (VAL(exp1) - VAL(exp2)) / scale3;
510 break;
511 case EXP_OP_SEG:
512 rtn.cookie = DV_TARGET;
513 rtn.type = NULL;
514 rtn.addr.seg = VAL(exp1);
515 rtn.addr.off = VAL(exp2);
516 break;
517 case EXP_OP_LOR:
518 exp->un.binop.result = (VAL(exp1) || VAL(exp2));
519 break;
520 case EXP_OP_LAND:
521 exp->un.binop.result = (VAL(exp1) && VAL(exp2));
522 break;
523 case EXP_OP_OR:
524 exp->un.binop.result = (VAL(exp1) | VAL(exp2));
525 break;
526 case EXP_OP_AND:
527 exp->un.binop.result = (VAL(exp1) & VAL(exp2));
528 break;
529 case EXP_OP_XOR:
530 exp->un.binop.result = (VAL(exp1) ^ VAL(exp2));
531 break;
532 case EXP_OP_EQ:
533 exp->un.binop.result = (VAL(exp1) == VAL(exp2));
534 break;
535 case EXP_OP_GT:
536 exp->un.binop.result = (VAL(exp1) > VAL(exp2));
537 break;
538 case EXP_OP_LT:
539 exp->un.binop.result = (VAL(exp1) < VAL(exp2));
540 break;
541 case EXP_OP_GE:
542 exp->un.binop.result = (VAL(exp1) >= VAL(exp2));
543 break;
544 case EXP_OP_LE:
545 exp->un.binop.result = (VAL(exp1) <= VAL(exp2));
546 break;
547 case EXP_OP_NE:
548 exp->un.binop.result = (VAL(exp1) != VAL(exp2));
549 break;
550 case EXP_OP_SHL:
551 exp->un.binop.result = ((unsigned) VAL(exp1) << VAL(exp2));
552 break;
553 case EXP_OP_SHR:
554 exp->un.binop.result = ((unsigned) VAL(exp1) >> VAL(exp2));
555 break;
556 case EXP_OP_MUL:
557 exp->un.binop.result = (VAL(exp1) * VAL(exp2));
558 break;
559 case EXP_OP_DIV:
560 if( VAL(exp2) == 0 )
562 RaiseException(DEBUG_STATUS_DIV_BY_ZERO, 0, 0, NULL);
564 exp->un.binop.result = (VAL(exp1) / VAL(exp2));
565 break;
566 case EXP_OP_REM:
567 if( VAL(exp2) == 0 )
569 RaiseException(DEBUG_STATUS_DIV_BY_ZERO, 0, 0, NULL);
571 exp->un.binop.result = (VAL(exp1) % VAL(exp2));
572 break;
573 case EXP_OP_ARR:
574 DEBUG_ArrayIndex(&exp1, &rtn, VAL(exp2));
575 break;
576 default:
577 RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
578 break;
580 break;
581 case EXPR_TYPE_UNOP:
582 exp1 = DEBUG_EvalExpr(exp->un.unop.exp1);
583 rtn.cookie = DV_HOST;
584 if( exp1.type == NULL )
586 RaiseException(DEBUG_STATUS_BAD_TYPE, 0, 0, NULL);
588 rtn.addr.seg = 0;
589 rtn.addr.off = (unsigned int) &exp->un.unop.result;
590 if( exp1.type == DEBUG_TypeIntConst )
592 rtn.type = exp1.type;
594 else
596 rtn.type = DEBUG_TypeInt;
598 switch(exp->un.unop.unop_type)
600 case EXP_OP_NEG:
601 exp->un.unop.result = -VAL(exp1);
602 break;
603 case EXP_OP_NOT:
604 exp->un.unop.result = !VAL(exp1);
605 break;
606 case EXP_OP_LNOT:
607 exp->un.unop.result = ~VAL(exp1);
608 break;
609 case EXP_OP_DEREF:
610 /* FIXME: this is currently buggy.
611 * there is no way to tell were the deref:ed value is...
612 * for example:
613 * x is a pointer to struct s, x being on the stack
614 * => exp1 is target, result is target
615 * x is a pointer to struct s, x being optimized into a reg
616 * => exp1 is host, result is target
617 * x is a pointer to internal variable x
618 * => exp1 is host, result is host
619 * so we force DV_TARGET, because dereferencing pointers to
620 * internal variables is very unlikely. a correct fix would be
621 * rather large.
623 rtn.cookie = DV_TARGET;
624 rtn.addr.off = (unsigned int) DEBUG_TypeDerefPointer(&exp1, &rtn.type);
625 if (!rtn.type)
627 RaiseException(DEBUG_STATUS_BAD_TYPE, 0, 0, NULL);
629 break;
630 case EXP_OP_FORCE_DEREF:
631 rtn.cookie = exp1.cookie;
632 rtn.addr.seg = exp1.addr.seg;
633 if (exp1.cookie == DV_TARGET)
634 DEBUG_READ_MEM((void*)exp1.addr.off, &rtn.addr.off, sizeof(rtn.addr.off));
635 else
636 memcpy(&rtn.addr.off, (void*)exp1.addr.off, sizeof(rtn.addr.off));
637 break;
638 case EXP_OP_ADDR:
639 /* FIXME: even for a 16 bit entity ? */
640 rtn.cookie = DV_TARGET;
641 rtn.type = DEBUG_FindOrMakePointerType(exp1.type);
642 exp->un.unop.result = exp1.addr.off;
643 break;
644 default:
645 RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
647 break;
648 default:
649 DEBUG_Printf(DBG_CHN_MESG,"Unexpected expression (%d).\n", exp->type);
650 RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
651 break;
654 assert(rtn.cookie == DV_TARGET || rtn.cookie == DV_HOST);
656 return rtn;
661 DEBUG_DisplayExpr(const struct expr * exp)
663 int i;
665 switch(exp->type)
667 case EXPR_TYPE_CAST:
668 DEBUG_Printf(DBG_CHN_MESG, "((");
669 DEBUG_PrintTypeCast(exp->un.cast.cast);
670 DEBUG_Printf(DBG_CHN_MESG, ")");
671 DEBUG_DisplayExpr(exp->un.cast.expr);
672 DEBUG_Printf(DBG_CHN_MESG, ")");
673 break;
674 case EXPR_TYPE_INTVAR:
675 DEBUG_Printf(DBG_CHN_MESG, "$%s", exp->un.intvar.name);
676 break;
677 case EXPR_TYPE_US_CONST:
678 DEBUG_Printf(DBG_CHN_MESG, "%ud", exp->un.u_const.value);
679 break;
680 case EXPR_TYPE_CONST:
681 DEBUG_Printf(DBG_CHN_MESG, "%d", exp->un.u_const.value);
682 break;
683 case EXPR_TYPE_STRING:
684 DEBUG_Printf(DBG_CHN_MESG, "\"%s\"", exp->un.string.str);
685 break;
686 case EXPR_TYPE_SYMBOL:
687 DEBUG_Printf(DBG_CHN_MESG, "%s" , exp->un.symbol.name);
688 break;
689 case EXPR_TYPE_PSTRUCT:
690 DEBUG_DisplayExpr(exp->un.structure.exp1);
691 DEBUG_Printf(DBG_CHN_MESG, "->%s", exp->un.structure.element_name);
692 break;
693 case EXPR_TYPE_STRUCT:
694 DEBUG_DisplayExpr(exp->un.structure.exp1);
695 DEBUG_Printf(DBG_CHN_MESG, ".%s", exp->un.structure.element_name);
696 break;
697 case EXPR_TYPE_CALL:
698 DEBUG_Printf(DBG_CHN_MESG, "%s(",exp->un.call.funcname);
699 for(i=0; i < exp->un.call.nargs; i++)
701 DEBUG_DisplayExpr(exp->un.call.arg[i]);
702 if( i != exp->un.call.nargs - 1 )
704 DEBUG_Printf(DBG_CHN_MESG, ", ");
707 DEBUG_Printf(DBG_CHN_MESG, ")");
708 break;
709 case EXPR_TYPE_BINOP:
710 DEBUG_Printf(DBG_CHN_MESG, "( ");
711 DEBUG_DisplayExpr(exp->un.binop.exp1);
712 switch(exp->un.binop.binop_type)
714 case EXP_OP_ADD:
715 DEBUG_Printf(DBG_CHN_MESG, " + ");
716 break;
717 case EXP_OP_SUB:
718 DEBUG_Printf(DBG_CHN_MESG, " - ");
719 break;
720 case EXP_OP_SEG:
721 DEBUG_Printf(DBG_CHN_MESG, ":");
722 break;
723 case EXP_OP_LOR:
724 DEBUG_Printf(DBG_CHN_MESG, " || ");
725 break;
726 case EXP_OP_LAND:
727 DEBUG_Printf(DBG_CHN_MESG, " && ");
728 break;
729 case EXP_OP_OR:
730 DEBUG_Printf(DBG_CHN_MESG, " | ");
731 break;
732 case EXP_OP_AND:
733 DEBUG_Printf(DBG_CHN_MESG, " & ");
734 break;
735 case EXP_OP_XOR:
736 DEBUG_Printf(DBG_CHN_MESG, " ^ ");
737 break;
738 case EXP_OP_EQ:
739 DEBUG_Printf(DBG_CHN_MESG, " == ");
740 break;
741 case EXP_OP_GT:
742 DEBUG_Printf(DBG_CHN_MESG, " > ");
743 break;
744 case EXP_OP_LT:
745 DEBUG_Printf(DBG_CHN_MESG, " < ");
746 break;
747 case EXP_OP_GE:
748 DEBUG_Printf(DBG_CHN_MESG, " >= ");
749 break;
750 case EXP_OP_LE:
751 DEBUG_Printf(DBG_CHN_MESG, " <= ");
752 break;
753 case EXP_OP_NE:
754 DEBUG_Printf(DBG_CHN_MESG, " != ");
755 break;
756 case EXP_OP_SHL:
757 DEBUG_Printf(DBG_CHN_MESG, " << ");
758 break;
759 case EXP_OP_SHR:
760 DEBUG_Printf(DBG_CHN_MESG, " >> ");
761 break;
762 case EXP_OP_MUL:
763 DEBUG_Printf(DBG_CHN_MESG, " * ");
764 break;
765 case EXP_OP_DIV:
766 DEBUG_Printf(DBG_CHN_MESG, " / ");
767 break;
768 case EXP_OP_REM:
769 DEBUG_Printf(DBG_CHN_MESG, " %% ");
770 break;
771 case EXP_OP_ARR:
772 DEBUG_Printf(DBG_CHN_MESG, "[");
773 break;
774 default:
775 break;
777 DEBUG_DisplayExpr(exp->un.binop.exp2);
778 if( exp->un.binop.binop_type == EXP_OP_ARR )
780 DEBUG_Printf(DBG_CHN_MESG, "]");
782 DEBUG_Printf(DBG_CHN_MESG, " )");
783 break;
784 case EXPR_TYPE_UNOP:
785 switch(exp->un.unop.unop_type)
787 case EXP_OP_NEG:
788 DEBUG_Printf(DBG_CHN_MESG, "-");
789 break;
790 case EXP_OP_NOT:
791 DEBUG_Printf(DBG_CHN_MESG, "!");
792 break;
793 case EXP_OP_LNOT:
794 DEBUG_Printf(DBG_CHN_MESG, "~");
795 break;
796 case EXP_OP_DEREF:
797 DEBUG_Printf(DBG_CHN_MESG, "*");
798 break;
799 case EXP_OP_ADDR:
800 DEBUG_Printf(DBG_CHN_MESG, "&");
801 break;
803 DEBUG_DisplayExpr(exp->un.unop.exp1);
804 break;
805 default:
806 DEBUG_Printf(DBG_CHN_MESG,"Unexpected expression.\n");
807 RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
808 break;
811 return TRUE;
814 struct expr *
815 DEBUG_CloneExpr(const struct expr * exp)
817 int i;
818 struct expr * rtn;
820 rtn = (struct expr *) DBG_alloc(sizeof(struct expr));
823 * First copy the contents of the expression itself.
825 *rtn = *exp;
828 switch(exp->type)
830 case EXPR_TYPE_CAST:
831 rtn->un.cast.expr = DEBUG_CloneExpr(exp->un.cast.expr);
832 break;
833 case EXPR_TYPE_INTVAR:
834 rtn->un.intvar.name = DBG_strdup(exp->un.intvar.name);
835 break;
836 case EXPR_TYPE_US_CONST:
837 case EXPR_TYPE_CONST:
838 break;
839 case EXPR_TYPE_STRING:
840 rtn->un.string.str = DBG_strdup(exp->un.string.str);
841 break;
842 case EXPR_TYPE_SYMBOL:
843 rtn->un.symbol.name = DBG_strdup(exp->un.symbol.name);
844 break;
845 case EXPR_TYPE_PSTRUCT:
846 case EXPR_TYPE_STRUCT:
847 rtn->un.structure.exp1 = DEBUG_CloneExpr(exp->un.structure.exp1);
848 rtn->un.structure.element_name = DBG_strdup(exp->un.structure.element_name);
849 break;
850 case EXPR_TYPE_CALL:
851 for(i=0; i < exp->un.call.nargs; i++)
853 rtn->un.call.arg[i] = DEBUG_CloneExpr(exp->un.call.arg[i]);
855 rtn->un.call.funcname = DBG_strdup(exp->un.call.funcname);
856 break;
857 case EXPR_TYPE_BINOP:
858 rtn->un.binop.exp1 = DEBUG_CloneExpr(exp->un.binop.exp1);
859 rtn->un.binop.exp2 = DEBUG_CloneExpr(exp->un.binop.exp2);
860 break;
861 case EXPR_TYPE_UNOP:
862 rtn->un.unop.exp1 = DEBUG_CloneExpr(exp->un.unop.exp1);
863 break;
864 default:
865 DEBUG_Printf(DBG_CHN_MESG,"Unexpected expression.\n");
866 RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
867 break;
870 return rtn;
875 * Recursively go through an expression tree and free all memory associated
876 * with it.
879 DEBUG_FreeExpr(struct expr * exp)
881 int i;
883 switch(exp->type)
885 case EXPR_TYPE_CAST:
886 DEBUG_FreeExpr(exp->un.cast.expr);
887 break;
888 case EXPR_TYPE_INTVAR:
889 DBG_free((char *) exp->un.intvar.name);
890 break;
891 case EXPR_TYPE_US_CONST:
892 case EXPR_TYPE_CONST:
893 break;
894 case EXPR_TYPE_STRING:
895 DBG_free((char *) exp->un.string.str);
896 break;
897 case EXPR_TYPE_SYMBOL:
898 DBG_free((char *) exp->un.symbol.name);
899 break;
900 case EXPR_TYPE_PSTRUCT:
901 case EXPR_TYPE_STRUCT:
902 DEBUG_FreeExpr(exp->un.structure.exp1);
903 DBG_free((char *) exp->un.structure.element_name);
904 break;
905 case EXPR_TYPE_CALL:
906 for(i=0; i < exp->un.call.nargs; i++)
908 DEBUG_FreeExpr(exp->un.call.arg[i]);
910 DBG_free((char *) exp->un.call.funcname);
911 break;
912 case EXPR_TYPE_BINOP:
913 DEBUG_FreeExpr(exp->un.binop.exp1);
914 DEBUG_FreeExpr(exp->un.binop.exp2);
915 break;
916 case EXPR_TYPE_UNOP:
917 DEBUG_FreeExpr(exp->un.unop.exp1);
918 break;
919 default:
920 DEBUG_Printf(DBG_CHN_MESG,"Unexpected expression.\n");
921 RaiseException(DEBUG_STATUS_INTERNAL_ERROR, 0, 0, NULL);
922 break;
925 DBG_free(exp);
926 return TRUE;