2 * File expr.c - expression handling for Wine internal debugger.
4 * Copyright (C) 1997, Eric Youngdale.
14 #include "wine/winbase16.h"
70 struct datatype
* cast
;
77 const char * element_name
;
89 const char * funcname
;
98 #define EXPR_TYPE_CONST 0
99 #define EXPR_TYPE_US_CONST 1
100 #define EXPR_TYPE_SYMBOL 2
101 #define EXPR_TYPE_REGISTER 3
102 #define EXPR_TYPE_BINOP 4
103 #define EXPR_TYPE_UNOP 5
104 #define EXPR_TYPE_STRUCT 6
105 #define EXPR_TYPE_PSTRUCT 7
106 #define EXPR_TYPE_ARRAY 8
107 #define EXPR_TYPE_CALL 9
108 #define EXPR_TYPE_STRING 10
109 #define EXPR_TYPE_CAST 11
111 static char expr_list
[4096];
112 static int next_expr_free
= 0;
115 * This is how we turn an expression address into the actual value.
116 * This works well in the 32 bit domain - not sure at all about the
119 #define VAL(_exp) DEBUG_GetExprValue(&_exp, NULL)
127 rtn
= (struct expr
*) &expr_list
[next_expr_free
];
129 next_expr_free
+= sizeof(struct expr
);
130 assert(next_expr_free
< sizeof(expr_list
));
142 DEBUG_TypeCastExpr(struct datatype
* dt
, struct expr
* exp
)
146 ex
= DEBUG_GetFreeExpr();
148 ex
->type
= EXPR_TYPE_CAST
;
149 ex
->un
.cast
.cast
= dt
;
150 ex
->un
.cast
.expr
= exp
;
155 DEBUG_RegisterExpr(enum debug_regs regno
)
159 ex
= DEBUG_GetFreeExpr();
161 ex
->type
= EXPR_TYPE_REGISTER
;
162 ex
->un
.rgister
.reg
= regno
;
167 DEBUG_SymbolExpr(const char * name
)
171 ex
= DEBUG_GetFreeExpr();
173 ex
->type
= EXPR_TYPE_SYMBOL
;
174 ex
->un
.symbol
.name
= name
;
179 DEBUG_ConstExpr(int value
)
183 ex
= DEBUG_GetFreeExpr();
185 ex
->type
= EXPR_TYPE_CONST
;
186 ex
->un
.constant
.value
= value
;
191 DEBUG_StringExpr(const char * str
)
195 ex
= DEBUG_GetFreeExpr();
197 ex
->type
= EXPR_TYPE_STRING
;
198 ex
->un
.string
.str
= str
+1;
199 pnt
= strrchr(ex
->un
.string
.str
, '"');
208 DEBUG_USConstExpr(unsigned int value
)
212 ex
= DEBUG_GetFreeExpr();
214 ex
->type
= EXPR_TYPE_CONST
;
215 ex
->un
.u_const
.value
= value
;
220 DEBUG_BinopExpr(int operator_type
, struct expr
* exp1
, struct expr
* exp2
)
224 ex
= DEBUG_GetFreeExpr();
226 ex
->type
= EXPR_TYPE_BINOP
;
227 ex
->un
.binop
.binop_type
= operator_type
;
228 ex
->un
.binop
.exp1
= exp1
;
229 ex
->un
.binop
.exp2
= exp2
;
234 DEBUG_UnopExpr(int operator_type
, struct expr
* exp1
)
238 ex
= DEBUG_GetFreeExpr();
240 ex
->type
= EXPR_TYPE_UNOP
;
241 ex
->un
.unop
.unop_type
= operator_type
;
242 ex
->un
.unop
.exp1
= exp1
;
247 DEBUG_StructExpr(struct expr
* exp
, const char * element
)
251 ex
= DEBUG_GetFreeExpr();
253 ex
->type
= EXPR_TYPE_STRUCT
;
254 ex
->un
.structure
.exp1
= exp
;
255 ex
->un
.structure
.element_name
= element
;
260 DEBUG_StructPExpr(struct expr
* exp
, const char * element
)
264 ex
= DEBUG_GetFreeExpr();
266 ex
->type
= EXPR_TYPE_PSTRUCT
;
267 ex
->un
.structure
.exp1
= exp
;
268 ex
->un
.structure
.element_name
= element
;
273 DEBUG_CallExpr(const char * funcname
, int nargs
, ...)
279 ex
= DEBUG_GetFreeExpr();
281 ex
->type
= EXPR_TYPE_CALL
;
282 ex
->un
.call
.funcname
= funcname
;
283 ex
->un
.call
.nargs
= nargs
;
286 for(i
=0; i
< nargs
; i
++)
288 ex
->un
.call
.arg
[i
] = va_arg(ap
, struct expr
*);
295 DEBUG_EvalExpr(struct expr
* exp
)
301 unsigned int cexp
[5];
306 struct datatype
* type1
;
307 struct datatype
* type2
;
316 rtn
= DEBUG_EvalExpr(exp
->un
.cast
.expr
);
317 rtn
.type
= exp
->un
.cast
.cast
;
319 case EXPR_TYPE_STRING
:
320 rtn
.type
= DEBUG_TypeString
;
321 rtn
.off
= (unsigned int) &exp
->un
.string
.str
;
324 case EXPR_TYPE_CONST
:
325 rtn
.type
= DEBUG_TypeIntConst
;
326 rtn
.off
= (unsigned int) &exp
->un
.constant
.value
;
329 case EXPR_TYPE_US_CONST
:
330 rtn
.type
= DEBUG_TypeUSInt
;
331 rtn
.off
= (unsigned int) &exp
->un
.u_const
.value
;
334 case EXPR_TYPE_SYMBOL
:
335 if( !DEBUG_GetSymbolValue(exp
->un
.symbol
.name
, -1, &rtn
, FALSE
) )
342 case EXPR_TYPE_PSTRUCT
:
343 exp1
= DEBUG_EvalExpr(exp
->un
.structure
.exp1
);
344 if( exp1
.type
== NULL
)
348 rtn
.off
= DEBUG_TypeDerefPointer(&exp1
, &type1
);
354 DEBUG_FindStructElement(&rtn
, exp
->un
.structure
.element_name
,
355 &exp
->un
.structure
.result
);
357 case EXPR_TYPE_STRUCT
:
358 exp1
= DEBUG_EvalExpr(exp
->un
.structure
.exp1
);
359 if( exp1
.type
== NULL
)
364 DEBUG_FindStructElement(&rtn
, exp
->un
.structure
.element_name
,
365 &exp
->un
.structure
.result
);
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
)
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 fprintf(stderr
, "Failed to find symbol\n");
391 fptr
= (int (*)()) rtn
.off
;
392 switch(exp
->un
.call
.nargs
)
395 exp
->un
.call
.result
= (*fptr
)();
398 exp
->un
.call
.result
= (*fptr
)(cexp
[0]);
401 exp
->un
.call
.result
= (*fptr
)(cexp
[0], cexp
[1]);
404 exp
->un
.call
.result
= (*fptr
)(cexp
[0], cexp
[1], cexp
[2]);
407 exp
->un
.call
.result
= (*fptr
)(cexp
[0], cexp
[1], cexp
[2], cexp
[3]);
410 exp
->un
.call
.result
= (*fptr
)(cexp
[0], cexp
[1], cexp
[2], cexp
[3], cexp
[4]);
413 rtn
.type
= DEBUG_TypeInt
;
414 rtn
.off
= (unsigned int) &exp
->un
.call
.result
;
416 case EXPR_TYPE_REGISTER
:
417 rtn
.type
= DEBUG_TypeIntConst
;
418 exp
->un
.rgister
.result
= DEBUG_GetRegister(exp
->un
.rgister
.reg
);
419 rtn
.off
= (unsigned int) &exp
->un
.rgister
.result
;
420 if( exp
->un
.rgister
.reg
== REG_EIP
)
421 rtn
.seg
= CS_reg(&DEBUG_context
);
423 rtn
.seg
= DS_reg(&DEBUG_context
);
424 DBG_FIX_ADDR_SEG( &rtn
, 0 );
426 case EXPR_TYPE_BINOP
:
427 exp1
= DEBUG_EvalExpr(exp
->un
.binop
.exp1
);
428 exp2
= DEBUG_EvalExpr(exp
->un
.binop
.exp2
);
429 if( exp1
.type
== NULL
|| exp2
.type
== NULL
)
433 if( exp1
.type
== DEBUG_TypeIntConst
&& exp2
.type
== DEBUG_TypeIntConst
)
435 rtn
.type
= exp1
.type
;
439 rtn
.type
= DEBUG_TypeInt
;
441 rtn
.off
= (unsigned int) &exp
->un
.binop
.result
;
442 switch(exp
->un
.binop
.binop_type
)
445 type1
= DEBUG_GetPointerType(exp1
.type
);
446 type2
= DEBUG_GetPointerType(exp2
.type
);
449 if( type1
!= NULL
&& type2
!= NULL
)
453 else if( type1
!= NULL
)
455 scale2
= DEBUG_GetObjectSize(type1
);
456 rtn
.type
= exp1
.type
;
458 else if( type2
!= NULL
)
460 scale1
= DEBUG_GetObjectSize(type2
);
461 rtn
.type
= exp2
.type
;
464 exp
->un
.binop
.result
= (VAL(exp1
) * scale1
+ scale2
* VAL(exp2
));
467 type1
= DEBUG_GetPointerType(exp1
.type
);
468 type2
= DEBUG_GetPointerType(exp2
.type
);
472 if( type1
!= NULL
&& type2
!= NULL
)
478 scale3
= DEBUG_GetObjectSize(type1
);
480 else if( type1
!= NULL
)
482 scale2
= DEBUG_GetObjectSize(type1
);
483 rtn
.type
= exp1
.type
;
486 else if( type2
!= NULL
)
488 scale1
= DEBUG_GetObjectSize(type2
);
489 rtn
.type
= exp2
.type
;
492 exp
->un
.binop
.result
= (VAL(exp1
) - VAL(exp2
)) / scale3
;
496 exp
->un
.binop
.result
= VAL(exp2
);
497 if (ISV86(&DEBUG_context
)) {
498 TDB
*pTask
= (TDB
*)GlobalLock16( GetCurrentTask() );
499 rtn
.seg
|= (DWORD
)(pTask
?(pTask
->hModule
):0)<<16;
500 GlobalUnlock16( GetCurrentTask() );
505 exp
->un
.binop
.result
= (VAL(exp1
) || VAL(exp2
));
509 exp
->un
.binop
.result
= (VAL(exp1
) && VAL(exp2
));
513 exp
->un
.binop
.result
= (VAL(exp1
) | VAL(exp2
));
517 exp
->un
.binop
.result
= (VAL(exp1
) & VAL(exp2
));
521 exp
->un
.binop
.result
= (VAL(exp1
) ^ VAL(exp2
));
525 exp
->un
.binop
.result
= (VAL(exp1
) == VAL(exp2
));
529 exp
->un
.binop
.result
= (VAL(exp1
) > VAL(exp2
));
533 exp
->un
.binop
.result
= (VAL(exp1
) < VAL(exp2
));
537 exp
->un
.binop
.result
= (VAL(exp1
) >= VAL(exp2
));
541 exp
->un
.binop
.result
= (VAL(exp1
) <= VAL(exp2
));
545 exp
->un
.binop
.result
= (VAL(exp1
) != VAL(exp2
));
549 exp
->un
.binop
.result
= ((unsigned) VAL(exp1
) << VAL(exp2
));
553 exp
->un
.binop
.result
= ((unsigned) VAL(exp1
) >> VAL(exp2
));
557 exp
->un
.binop
.result
= (VAL(exp1
) * VAL(exp2
));
563 exp
->un
.binop
.result
= (VAL(exp1
) / VAL(exp2
));
576 exp
->un
.binop
.result
= (VAL(exp1
) % VAL(exp2
));
586 DEBUG_ArrayIndex(&exp1
, &rtn
, VAL(exp2
));
593 exp1
= DEBUG_EvalExpr(exp
->un
.unop
.exp1
);
594 if( exp1
.type
== NULL
)
598 rtn
.off
= (unsigned int) &exp
->un
.unop
.result
;
599 if( exp1
.type
== DEBUG_TypeIntConst
)
601 rtn
.type
= exp1
.type
;
605 rtn
.type
= DEBUG_TypeInt
;
607 switch(exp
->un
.unop
.unop_type
)
611 exp
->un
.unop
.result
= -VAL(exp1
);
615 exp
->un
.unop
.result
= !VAL(exp1
);
619 exp
->un
.unop
.result
= ~VAL(exp1
);
623 rtn
.off
= (unsigned int) DEBUG_TypeDerefPointer(&exp1
, &rtn
.type
);
625 case EXP_OP_FORCE_DEREF
:
627 rtn
.off
= *(unsigned int *) exp1
.off
;
631 rtn
.type
= DEBUG_FindOrMakePointerType(exp1
.type
);
632 exp
->un
.unop
.result
= exp1
.off
;
637 fprintf(stderr
,"Unexpected expression.\n");
647 DEBUG_DisplayExpr(struct expr
* exp
)
655 fprintf(stderr
, "((");
656 DEBUG_PrintTypeCast(exp
->un
.cast
.cast
);
657 fprintf(stderr
, ")");
658 DEBUG_DisplayExpr(exp
->un
.cast
.expr
);
659 fprintf(stderr
, ")");
661 case EXPR_TYPE_REGISTER
:
662 DEBUG_PrintRegister(exp
->un
.rgister
.reg
);
664 case EXPR_TYPE_US_CONST
:
665 fprintf(stderr
, "%ud", exp
->un
.u_const
.value
);
667 case EXPR_TYPE_CONST
:
668 fprintf(stderr
, "%d", exp
->un
.u_const
.value
);
670 case EXPR_TYPE_STRING
:
671 fprintf(stderr
, "\"%s\"", exp
->un
.string
.str
);
673 case EXPR_TYPE_SYMBOL
:
674 fprintf(stderr
, "%s" , exp
->un
.symbol
.name
);
676 case EXPR_TYPE_PSTRUCT
:
677 DEBUG_DisplayExpr(exp
->un
.structure
.exp1
);
678 fprintf(stderr
, "->%s", exp
->un
.structure
.element_name
);
680 case EXPR_TYPE_STRUCT
:
681 DEBUG_DisplayExpr(exp
->un
.structure
.exp1
);
682 fprintf(stderr
, ".%s", exp
->un
.structure
.element_name
);
686 * First, evaluate all of the arguments. If any of them are not
687 * evaluable, then bail.
689 fprintf(stderr
, "%s(",exp
->un
.call
.funcname
);
690 for(i
=0; i
< exp
->un
.call
.nargs
; i
++)
692 DEBUG_DisplayExpr(exp
->un
.call
.arg
[i
]);
693 if( i
!= exp
->un
.call
.nargs
- 1 )
695 fprintf(stderr
, ", ");
698 fprintf(stderr
, ")");
700 case EXPR_TYPE_BINOP
:
701 fprintf(stderr
, "( ");
702 DEBUG_DisplayExpr(exp
->un
.binop
.exp1
);
703 switch(exp
->un
.binop
.binop_type
)
706 fprintf(stderr
, " + ");
709 fprintf(stderr
, " - ");
712 fprintf(stderr
, ":");
715 fprintf(stderr
, " || ");
718 fprintf(stderr
, " && ");
721 fprintf(stderr
, " | ");
724 fprintf(stderr
, " & ");
727 fprintf(stderr
, " ^ ");
730 fprintf(stderr
, " == ");
733 fprintf(stderr
, " > ");
736 fprintf(stderr
, " < ");
739 fprintf(stderr
, " >= ");
742 fprintf(stderr
, " <= ");
745 fprintf(stderr
, " != ");
748 fprintf(stderr
, " << ");
751 fprintf(stderr
, " >> ");
754 fprintf(stderr
, " * ");
757 fprintf(stderr
, " / ");
760 fprintf(stderr
, " %% ");
763 fprintf(stderr
, "[");
768 DEBUG_DisplayExpr(exp
->un
.binop
.exp2
);
769 if( exp
->un
.binop
.binop_type
== EXP_OP_ARR
)
771 fprintf(stderr
, "]");
773 fprintf(stderr
, " )");
776 switch(exp
->un
.unop
.unop_type
)
779 fprintf(stderr
, "-");
782 fprintf(stderr
, "!");
785 fprintf(stderr
, "~");
788 fprintf(stderr
, "*");
791 fprintf(stderr
, "&");
794 DEBUG_DisplayExpr(exp
->un
.unop
.exp1
);
797 fprintf(stderr
,"Unexpected expression.\n");
806 DEBUG_CloneExpr(struct expr
* exp
)
811 rtn
= (struct expr
*) DBG_alloc(sizeof(struct expr
));
814 * First copy the contents of the expression itself.
822 rtn
->un
.cast
.expr
= DEBUG_CloneExpr(exp
->un
.cast
.expr
);
824 case EXPR_TYPE_REGISTER
:
825 case EXPR_TYPE_US_CONST
:
826 case EXPR_TYPE_CONST
:
828 case EXPR_TYPE_STRING
:
829 rtn
->un
.string
.str
= DBG_strdup(exp
->un
.string
.str
);
831 case EXPR_TYPE_SYMBOL
:
832 rtn
->un
.symbol
.name
= DBG_strdup(exp
->un
.symbol
.name
);
834 case EXPR_TYPE_PSTRUCT
:
835 case EXPR_TYPE_STRUCT
:
836 rtn
->un
.structure
.exp1
= DEBUG_CloneExpr(exp
->un
.structure
.exp1
);
837 rtn
->un
.structure
.element_name
= DBG_strdup(exp
->un
.structure
.element_name
);
841 * First, evaluate all of the arguments. If any of them are not
842 * evaluable, then bail.
844 for(i
=0; i
< exp
->un
.call
.nargs
; i
++)
846 rtn
->un
.call
.arg
[i
] = DEBUG_CloneExpr(exp
->un
.call
.arg
[i
]);
848 rtn
->un
.call
.funcname
= DBG_strdup(exp
->un
.call
.funcname
);
850 case EXPR_TYPE_BINOP
:
851 rtn
->un
.binop
.exp1
= DEBUG_CloneExpr(exp
->un
.binop
.exp1
);
852 rtn
->un
.binop
.exp2
= DEBUG_CloneExpr(exp
->un
.binop
.exp2
);
855 rtn
->un
.unop
.exp1
= DEBUG_CloneExpr(exp
->un
.unop
.exp1
);
858 fprintf(stderr
,"Unexpected expression.\n");
868 * Recursively go through an expression tree and free all memory associated
872 DEBUG_FreeExpr(struct expr
* exp
)
879 DEBUG_FreeExpr(exp
->un
.cast
.expr
);
881 case EXPR_TYPE_REGISTER
:
882 case EXPR_TYPE_US_CONST
:
883 case EXPR_TYPE_CONST
:
885 case EXPR_TYPE_STRING
:
886 DBG_free((char *) exp
->un
.string
.str
);
888 case EXPR_TYPE_SYMBOL
:
889 DBG_free((char *) exp
->un
.symbol
.name
);
891 case EXPR_TYPE_PSTRUCT
:
892 case EXPR_TYPE_STRUCT
:
893 DEBUG_FreeExpr(exp
->un
.structure
.exp1
);
894 DBG_free((char *) exp
->un
.structure
.element_name
);
898 * First, evaluate all of the arguments. If any of them are not
899 * evaluable, then bail.
901 for(i
=0; i
< exp
->un
.call
.nargs
; i
++)
903 DEBUG_FreeExpr(exp
->un
.call
.arg
[i
]);
905 DBG_free((char *) exp
->un
.call
.funcname
);
907 case EXPR_TYPE_BINOP
:
908 DEBUG_FreeExpr(exp
->un
.binop
.exp1
);
909 DEBUG_FreeExpr(exp
->un
.binop
.exp2
);
912 DEBUG_FreeExpr(exp
->un
.unop
.exp1
);
915 fprintf(stderr
,"Unexpected expression.\n");