/[dtapublic]/projs/trunk/shared_source/c_tcl_base_7_5_w_mods/tclexecute.c
ViewVC logotype

Contents of /projs/trunk/shared_source/c_tcl_base_7_5_w_mods/tclexecute.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 64 - (show annotations) (download)
Sun Oct 30 04:21:11 2016 UTC (8 years ago) by dashley
File MIME type: text/plain
File size: 156562 byte(s)
Adjust line endings to Windows style.
Set properties to expand the "Header" keyword.
Change header and footer.
1 /* $Header$ */
2 /*
3 * tclExecute.c --
4 *
5 * This file contains procedures that execute byte-compiled Tcl
6 * commands.
7 *
8 * Copyright (c) 1996-1997 Sun Microsystems, Inc.
9 *
10 * See the file "license.terms" for information on usage and redistribution
11 * of this file, and for a DISCLAIMER OF ALL WARRANTIES.
12 *
13 * RCS: @(#) $Id: tclexecute.c,v 1.1.1.1 2001/06/13 04:38:49 dtashley Exp $
14 */
15
16 #include "tclInt.h"
17 #include "tclCompile.h"
18
19 #ifdef NO_FLOAT_H
20 # include "../compat/float.h"
21 #else
22 # include <float.h>
23 #endif
24 #ifndef TCL_NO_MATH
25 #include "tclMath.h"
26 #endif
27
28 /*
29 * The stuff below is a bit of a hack so that this file can be used
30 * in environments that include no UNIX, i.e. no errno. Just define
31 * errno here.
32 */
33
34 #ifndef TCL_GENERIC_ONLY
35 #include "tclPort.h"
36 #else
37 #define NO_ERRNO_H
38 #endif
39
40 #ifdef NO_ERRNO_H
41 int errno;
42 #define EDOM 33
43 #define ERANGE 34
44 #endif
45
46 /*
47 * Boolean flag indicating whether the Tcl bytecode interpreter has been
48 * initialized.
49 */
50
51 static int execInitialized = 0;
52 TCL_DECLARE_MUTEX(execMutex)
53
54 /*
55 * Variable that controls whether execution tracing is enabled and, if so,
56 * what level of tracing is desired:
57 * 0: no execution tracing
58 * 1: trace invocations of Tcl procs only
59 * 2: trace invocations of all (not compiled away) commands
60 * 3: display each instruction executed
61 * This variable is linked to the Tcl variable "tcl_traceExec".
62 */
63
64 int tclTraceExec = 0;
65
66 typedef struct ThreadSpecificData {
67 /*
68 * The following global variable is use to signal matherr that Tcl
69 * is responsible for the arithmetic, so errors can be handled in a
70 * fashion appropriate for Tcl. Zero means no Tcl math is in
71 * progress; non-zero means Tcl is doing math.
72 */
73
74 int mathInProgress;
75
76 } ThreadSpecificData;
77
78 static Tcl_ThreadDataKey dataKey;
79
80 /*
81 * The variable below serves no useful purpose except to generate
82 * a reference to matherr, so that the Tcl version of matherr is
83 * linked in rather than the system version. Without this reference
84 * the need for matherr won't be discovered during linking until after
85 * libtcl.a has been processed, so Tcl's version won't be used.
86 */
87
88 #ifdef NEED_MATHERR
89 extern int matherr();
90 int (*tclMatherrPtr)() = matherr;
91 #endif
92
93 /*
94 * Mapping from expression instruction opcodes to strings; used for error
95 * messages. Note that these entries must match the order and number of the
96 * expression opcodes (e.g., INST_LOR) in tclCompile.h.
97 */
98
99 static char *operatorStrings[] = {
100 "||", "&&", "|", "^", "&", "==", "!=", "<", ">", "<=", ">=", "<<", ">>",
101 "+", "-", "*", "/", "%", "+", "-", "~", "!",
102 "BUILTIN FUNCTION", "FUNCTION"
103 };
104
105 /*
106 * Mapping from Tcl result codes to strings; used for error and debugging
107 * messages.
108 */
109
110 #ifdef TCL_COMPILE_DEBUG
111 static char *resultStrings[] = {
112 "TCL_OK", "TCL_ERROR", "TCL_RETURN", "TCL_BREAK", "TCL_CONTINUE"
113 };
114 #endif
115
116 /*
117 * Macros for testing floating-point values for certain special cases. Test
118 * for not-a-number by comparing a value against itself; test for infinity
119 * by comparing against the largest floating-point value.
120 */
121
122 #define IS_NAN(v) ((v) != (v))
123 #ifdef DBL_MAX
124 # define IS_INF(v) (((v) > DBL_MAX) || ((v) < -DBL_MAX))
125 #else
126 # define IS_INF(v) 0
127 #endif
128
129 /*
130 * Macro to adjust the program counter and restart the instruction execution
131 * loop after each instruction is executed.
132 */
133
134 #define ADJUST_PC(instBytes) \
135 pc += (instBytes); \
136 continue
137
138 /*
139 * Macros used to cache often-referenced Tcl evaluation stack information
140 * in local variables. Note that a DECACHE_STACK_INFO()-CACHE_STACK_INFO()
141 * pair must surround any call inside TclExecuteByteCode (and a few other
142 * procedures that use this scheme) that could result in a recursive call
143 * to TclExecuteByteCode.
144 */
145
146 #define CACHE_STACK_INFO() \
147 stackPtr = eePtr->stackPtr; \
148 stackTop = eePtr->stackTop
149
150 #define DECACHE_STACK_INFO() \
151 eePtr->stackTop = stackTop
152
153 /*
154 * Macros used to access items on the Tcl evaluation stack. PUSH_OBJECT
155 * increments the object's ref count since it makes the stack have another
156 * reference pointing to the object. However, POP_OBJECT does not decrement
157 * the ref count. This is because the stack may hold the only reference to
158 * the object, so the object would be destroyed if its ref count were
159 * decremented before the caller had a chance to, e.g., store it in a
160 * variable. It is the caller's responsibility to decrement the ref count
161 * when it is finished with an object.
162 *
163 * WARNING! It is essential that objPtr only appear once in the PUSH_OBJECT
164 * macro. The actual parameter might be an expression with side effects,
165 * and this ensures that it will be executed only once.
166 */
167
168 #define PUSH_OBJECT(objPtr) \
169 Tcl_IncrRefCount(stackPtr[++stackTop] = (objPtr))
170
171 #define POP_OBJECT() \
172 (stackPtr[stackTop--])
173
174 /*
175 * Macros used to trace instruction execution. The macros TRACE,
176 * TRACE_WITH_OBJ, and O2S are only used inside TclExecuteByteCode.
177 * O2S is only used in TRACE* calls to get a string from an object.
178 */
179
180 #ifdef TCL_COMPILE_DEBUG
181 #define TRACE(a) \
182 if (traceInstructions) { \
183 fprintf(stdout, "%2d: %2d (%u) %s ", iPtr->numLevels, stackTop, \
184 (unsigned int)(pc - codePtr->codeStart), \
185 GetOpcodeName(pc)); \
186 printf a; \
187 }
188 #define TRACE_WITH_OBJ(a, objPtr) \
189 if (traceInstructions) { \
190 fprintf(stdout, "%2d: %2d (%u) %s ", iPtr->numLevels, stackTop, \
191 (unsigned int)(pc - codePtr->codeStart), \
192 GetOpcodeName(pc)); \
193 printf a; \
194 TclPrintObject(stdout, (objPtr), 30); \
195 fprintf(stdout, "\n"); \
196 }
197 #define O2S(objPtr) \
198 Tcl_GetString(objPtr)
199 #else
200 #define TRACE(a)
201 #define TRACE_WITH_OBJ(a, objPtr)
202 #define O2S(objPtr)
203 #endif /* TCL_COMPILE_DEBUG */
204
205 /*
206 * Declarations for local procedures to this file:
207 */
208
209 static void CallTraceProcedure _ANSI_ARGS_((Tcl_Interp *interp,
210 Trace *tracePtr, Command *cmdPtr,
211 char *command, int numChars,
212 int objc, Tcl_Obj *objv[]));
213 static void DupCmdNameInternalRep _ANSI_ARGS_((Tcl_Obj *objPtr,
214 Tcl_Obj *copyPtr));
215 static int ExprAbsFunc _ANSI_ARGS_((Tcl_Interp *interp,
216 ExecEnv *eePtr, ClientData clientData));
217 static int ExprBinaryFunc _ANSI_ARGS_((Tcl_Interp *interp,
218 ExecEnv *eePtr, ClientData clientData));
219 static int ExprCallMathFunc _ANSI_ARGS_((Tcl_Interp *interp,
220 ExecEnv *eePtr, int objc, Tcl_Obj **objv));
221 static int ExprDoubleFunc _ANSI_ARGS_((Tcl_Interp *interp,
222 ExecEnv *eePtr, ClientData clientData));
223 static int ExprIntFunc _ANSI_ARGS_((Tcl_Interp *interp,
224 ExecEnv *eePtr, ClientData clientData));
225 static int ExprRandFunc _ANSI_ARGS_((Tcl_Interp *interp,
226 ExecEnv *eePtr, ClientData clientData));
227 static int ExprRoundFunc _ANSI_ARGS_((Tcl_Interp *interp,
228 ExecEnv *eePtr, ClientData clientData));
229 static int ExprSrandFunc _ANSI_ARGS_((Tcl_Interp *interp,
230 ExecEnv *eePtr, ClientData clientData));
231 static int ExprUnaryFunc _ANSI_ARGS_((Tcl_Interp *interp,
232 ExecEnv *eePtr, ClientData clientData));
233 #ifdef TCL_COMPILE_STATS
234 static int EvalStatsCmd _ANSI_ARGS_((ClientData clientData,
235 Tcl_Interp *interp, int argc, char **argv));
236 #endif
237 static void FreeCmdNameInternalRep _ANSI_ARGS_((
238 Tcl_Obj *objPtr));
239 #ifdef TCL_COMPILE_DEBUG
240 static char * GetOpcodeName _ANSI_ARGS_((unsigned char *pc));
241 #endif
242 static ExceptionRange * GetExceptRangeForPc _ANSI_ARGS_((unsigned char *pc,
243 int catchOnly, ByteCode* codePtr));
244 static char * GetSrcInfoForPc _ANSI_ARGS_((unsigned char *pc,
245 ByteCode* codePtr, int *lengthPtr));
246 static void GrowEvaluationStack _ANSI_ARGS_((ExecEnv *eePtr));
247 static void IllegalExprOperandType _ANSI_ARGS_((
248 Tcl_Interp *interp, unsigned char *pc,
249 Tcl_Obj *opndPtr));
250 static void InitByteCodeExecution _ANSI_ARGS_((
251 Tcl_Interp *interp));
252 #ifdef TCL_COMPILE_DEBUG
253 static void PrintByteCodeInfo _ANSI_ARGS_((ByteCode *codePtr));
254 #endif
255 static int SetCmdNameFromAny _ANSI_ARGS_((Tcl_Interp *interp,
256 Tcl_Obj *objPtr));
257 #ifdef TCL_COMPILE_DEBUG
258 static char * StringForResultCode _ANSI_ARGS_((int result));
259 static void ValidatePcAndStackTop _ANSI_ARGS_((
260 ByteCode *codePtr, unsigned char *pc,
261 int stackTop, int stackLowerBound,
262 int stackUpperBound));
263 #endif
264 static int VerifyExprObjType _ANSI_ARGS_((Tcl_Interp *interp,
265 Tcl_Obj *objPtr));
266
267 /*
268 * Table describing the built-in math functions. Entries in this table are
269 * indexed by the values of the INST_CALL_BUILTIN_FUNC instruction's
270 * operand byte.
271 */
272
273 BuiltinFunc builtinFuncTable[] = {
274 #ifndef TCL_NO_MATH
275 {"acos", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) acos},
276 {"asin", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) asin},
277 {"atan", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) atan},
278 {"atan2", 2, {TCL_DOUBLE, TCL_DOUBLE}, ExprBinaryFunc, (ClientData) atan2},
279 {"ceil", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) ceil},
280 {"cos", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) cos},
281 {"cosh", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) cosh},
282 {"exp", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) exp},
283 {"floor", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) floor},
284 {"fmod", 2, {TCL_DOUBLE, TCL_DOUBLE}, ExprBinaryFunc, (ClientData) fmod},
285 {"hypot", 2, {TCL_DOUBLE, TCL_DOUBLE}, ExprBinaryFunc, (ClientData) hypot},
286 {"log", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) log},
287 {"log10", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) log10},
288 {"pow", 2, {TCL_DOUBLE, TCL_DOUBLE}, ExprBinaryFunc, (ClientData) pow},
289 {"sin", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) sin},
290 {"sinh", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) sinh},
291 {"sqrt", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) sqrt},
292 {"tan", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) tan},
293 {"tanh", 1, {TCL_DOUBLE}, ExprUnaryFunc, (ClientData) tanh},
294 #endif
295 {"abs", 1, {TCL_EITHER}, ExprAbsFunc, 0},
296 {"double", 1, {TCL_EITHER}, ExprDoubleFunc, 0},
297 {"int", 1, {TCL_EITHER}, ExprIntFunc, 0},
298 {"rand", 0, {TCL_EITHER}, ExprRandFunc, 0}, /* NOTE: rand takes no args. */
299 {"round", 1, {TCL_EITHER}, ExprRoundFunc, 0},
300 {"srand", 1, {TCL_INT}, ExprSrandFunc, 0},
301 {0},
302 };
303
304 /*
305 * The structure below defines the command name Tcl object type by means of
306 * procedures that can be invoked by generic object code. Objects of this
307 * type cache the Command pointer that results from looking up command names
308 * in the command hashtable. Such objects appear as the zeroth ("command
309 * name") argument in a Tcl command.
310 */
311
312 Tcl_ObjType tclCmdNameType = {
313 "cmdName", /* name */
314 FreeCmdNameInternalRep, /* freeIntRepProc */
315 DupCmdNameInternalRep, /* dupIntRepProc */
316 (Tcl_UpdateStringProc *) NULL, /* updateStringProc */
317 SetCmdNameFromAny /* setFromAnyProc */
318 };
319
320 /*
321 *----------------------------------------------------------------------
322 *
323 * InitByteCodeExecution --
324 *
325 * This procedure is called once to initialize the Tcl bytecode
326 * interpreter.
327 *
328 * Results:
329 * None.
330 *
331 * Side effects:
332 * This procedure initializes the array of instruction names. If
333 * compiling with the TCL_COMPILE_STATS flag, it initializes the
334 * array that counts the executions of each instruction and it
335 * creates the "evalstats" command. It also registers the command name
336 * Tcl_ObjType. It also establishes the link between the Tcl
337 * "tcl_traceExec" and C "tclTraceExec" variables.
338 *
339 *----------------------------------------------------------------------
340 */
341
342 static void
343 InitByteCodeExecution(interp)
344 Tcl_Interp *interp; /* Interpreter for which the Tcl variable
345 * "tcl_traceExec" is linked to control
346 * instruction tracing. */
347 {
348 Tcl_RegisterObjType(&tclCmdNameType);
349 if (Tcl_LinkVar(interp, "tcl_traceExec", (char *) &tclTraceExec,
350 TCL_LINK_INT) != TCL_OK) {
351 panic("InitByteCodeExecution: can't create link for tcl_traceExec variable");
352 }
353
354 #ifdef TCL_COMPILE_STATS
355 Tcl_CreateCommand(interp, "evalstats", EvalStatsCmd,
356 (ClientData) NULL, (Tcl_CmdDeleteProc *) NULL);
357 #endif /* TCL_COMPILE_STATS */
358 }
359
360 /*
361 *----------------------------------------------------------------------
362 *
363 * TclCreateExecEnv --
364 *
365 * This procedure creates a new execution environment for Tcl bytecode
366 * execution. An ExecEnv points to a Tcl evaluation stack. An ExecEnv
367 * is typically created once for each Tcl interpreter (Interp
368 * structure) and recursively passed to TclExecuteByteCode to execute
369 * ByteCode sequences for nested commands.
370 *
371 * Results:
372 * A newly allocated ExecEnv is returned. This points to an empty
373 * evaluation stack of the standard initial size.
374 *
375 * Side effects:
376 * The bytecode interpreter is also initialized here, as this
377 * procedure will be called before any call to TclExecuteByteCode.
378 *
379 *----------------------------------------------------------------------
380 */
381
382 #define TCL_STACK_INITIAL_SIZE 2000
383
384 ExecEnv *
385 TclCreateExecEnv(interp)
386 Tcl_Interp *interp; /* Interpreter for which the execution
387 * environment is being created. */
388 {
389 ExecEnv *eePtr = (ExecEnv *) ckalloc(sizeof(ExecEnv));
390
391 eePtr->stackPtr = (Tcl_Obj **)
392 ckalloc((unsigned) (TCL_STACK_INITIAL_SIZE * sizeof(Tcl_Obj *)));
393 eePtr->stackTop = -1;
394 eePtr->stackEnd = (TCL_STACK_INITIAL_SIZE - 1);
395
396 Tcl_MutexLock(&execMutex);
397 if (!execInitialized) {
398 TclInitAuxDataTypeTable();
399 InitByteCodeExecution(interp);
400 execInitialized = 1;
401 }
402 Tcl_MutexUnlock(&execMutex);
403
404 return eePtr;
405 }
406 #undef TCL_STACK_INITIAL_SIZE
407
408 /*
409 *----------------------------------------------------------------------
410 *
411 * TclDeleteExecEnv --
412 *
413 * Frees the storage for an ExecEnv.
414 *
415 * Results:
416 * None.
417 *
418 * Side effects:
419 * Storage for an ExecEnv and its contained storage (e.g. the
420 * evaluation stack) is freed.
421 *
422 *----------------------------------------------------------------------
423 */
424
425 void
426 TclDeleteExecEnv(eePtr)
427 ExecEnv *eePtr; /* Execution environment to free. */
428 {
429 ckfree((char *) eePtr->stackPtr);
430 ckfree((char *) eePtr);
431 }
432
433 /*
434 *----------------------------------------------------------------------
435 *
436 * TclFinalizeExecution --
437 *
438 * Finalizes the execution environment setup so that it can be
439 * later reinitialized.
440 *
441 * Results:
442 * None.
443 *
444 * Side effects:
445 * After this call, the next time TclCreateExecEnv will be called
446 * it will call InitByteCodeExecution.
447 *
448 *----------------------------------------------------------------------
449 */
450
451 void
452 TclFinalizeExecution()
453 {
454 Tcl_MutexLock(&execMutex);
455 execInitialized = 0;
456 Tcl_MutexUnlock(&execMutex);
457 TclFinalizeAuxDataTypeTable();
458 }
459
460 /*
461 *----------------------------------------------------------------------
462 *
463 * GrowEvaluationStack --
464 *
465 * This procedure grows a Tcl evaluation stack stored in an ExecEnv.
466 *
467 * Results:
468 * None.
469 *
470 * Side effects:
471 * The size of the evaluation stack is doubled.
472 *
473 *----------------------------------------------------------------------
474 */
475
476 static void
477 GrowEvaluationStack(eePtr)
478 register ExecEnv *eePtr; /* Points to the ExecEnv with an evaluation
479 * stack to enlarge. */
480 {
481 /*
482 * The current Tcl stack elements are stored from eePtr->stackPtr[0]
483 * to eePtr->stackPtr[eePtr->stackEnd] (inclusive).
484 */
485
486 int currElems = (eePtr->stackEnd + 1);
487 int newElems = 2*currElems;
488 int currBytes = currElems * sizeof(Tcl_Obj *);
489 int newBytes = 2*currBytes;
490 Tcl_Obj **newStackPtr = (Tcl_Obj **) ckalloc((unsigned) newBytes);
491
492 /*
493 * Copy the existing stack items to the new stack space, free the old
494 * storage if appropriate, and mark new space as malloc'ed.
495 */
496
497 memcpy((VOID *) newStackPtr, (VOID *) eePtr->stackPtr,
498 (size_t) currBytes);
499 ckfree((char *) eePtr->stackPtr);
500 eePtr->stackPtr = newStackPtr;
501 eePtr->stackEnd = (newElems - 1); /* i.e. index of last usable item */
502 }
503
504 /*
505 *----------------------------------------------------------------------
506 *
507 * TclExecuteByteCode --
508 *
509 * This procedure executes the instructions of a ByteCode structure.
510 * It returns when a "done" instruction is executed or an error occurs.
511 *
512 * Results:
513 * The return value is one of the return codes defined in tcl.h
514 * (such as TCL_OK), and interp->objResultPtr refers to a Tcl object
515 * that either contains the result of executing the code or an
516 * error message.
517 *
518 * Side effects:
519 * Almost certainly, depending on the ByteCode's instructions.
520 *
521 *----------------------------------------------------------------------
522 */
523
524 int
525 TclExecuteByteCode(interp, codePtr)
526 Tcl_Interp *interp; /* Token for command interpreter. */
527 ByteCode *codePtr; /* The bytecode sequence to interpret. */
528 {
529 Interp *iPtr = (Interp *) interp;
530 ExecEnv *eePtr = iPtr->execEnvPtr;
531 /* Points to the execution environment. */
532 register Tcl_Obj **stackPtr = eePtr->stackPtr;
533 /* Cached evaluation stack base pointer. */
534 register int stackTop = eePtr->stackTop;
535 /* Cached top index of evaluation stack. */
536 register unsigned char *pc = codePtr->codeStart;
537 /* The current program counter. */
538 int opnd; /* Current instruction's operand byte. */
539 int pcAdjustment; /* Hold pc adjustment after instruction. */
540 int initStackTop = stackTop;/* Stack top at start of execution. */
541 ExceptionRange *rangePtr; /* Points to closest loop or catch exception
542 * range enclosing the pc. Used by various
543 * instructions and processCatch to
544 * process break, continue, and errors. */
545 int result = TCL_OK; /* Return code returned after execution. */
546 int traceInstructions = (tclTraceExec == 3);
547 Tcl_Obj *valuePtr, *value2Ptr, *objPtr;
548 char *bytes;
549 int length;
550 long i;
551
552 /*
553 * This procedure uses a stack to hold information about catch commands.
554 * This information is the current operand stack top when starting to
555 * execute the code for each catch command. It starts out with stack-
556 * allocated space but uses dynamically-allocated storage if needed.
557 */
558
559 #define STATIC_CATCH_STACK_SIZE 4
560 int (catchStackStorage[STATIC_CATCH_STACK_SIZE]);
561 int *catchStackPtr = catchStackStorage;
562 int catchTop = -1;
563
564 #ifdef TCL_COMPILE_DEBUG
565 if (tclTraceExec >= 2) {
566 PrintByteCodeInfo(codePtr);
567 fprintf(stdout, " Starting stack top=%d\n", eePtr->stackTop);
568 fflush(stdout);
569 }
570 #endif
571
572 #ifdef TCL_COMPILE_STATS
573 iPtr->stats.numExecutions++;
574 #endif
575
576 /*
577 * Make sure the catch stack is large enough to hold the maximum number
578 * of catch commands that could ever be executing at the same time. This
579 * will be no more than the exception range array's depth.
580 */
581
582 if (codePtr->maxExceptDepth > STATIC_CATCH_STACK_SIZE) {
583 catchStackPtr = (int *)
584 ckalloc(codePtr->maxExceptDepth * sizeof(int));
585 }
586
587 /*
588 * Make sure the stack has enough room to execute this ByteCode.
589 */
590
591 while ((stackTop + codePtr->maxStackDepth) > eePtr->stackEnd) {
592 GrowEvaluationStack(eePtr);
593 stackPtr = eePtr->stackPtr;
594 }
595
596 /*
597 * Loop executing instructions until a "done" instruction, a TCL_RETURN,
598 * or some error.
599 */
600
601 for (;;) {
602 #ifdef TCL_COMPILE_DEBUG
603 ValidatePcAndStackTop(codePtr, pc, stackTop, initStackTop,
604 eePtr->stackEnd);
605 #else /* not TCL_COMPILE_DEBUG */
606 if (traceInstructions) {
607 fprintf(stdout, "%2d: %2d ", iPtr->numLevels, stackTop);
608 TclPrintInstruction(codePtr, pc);
609 fflush(stdout);
610 }
611 #endif /* TCL_COMPILE_DEBUG */
612
613 #ifdef TCL_COMPILE_STATS
614 iPtr->stats.instructionCount[*pc]++;
615 #endif
616 switch (*pc) {
617 case INST_DONE:
618 /*
619 * Pop the topmost object from the stack, set the interpreter's
620 * object result to point to it, and return.
621 */
622 valuePtr = POP_OBJECT();
623 Tcl_SetObjResult(interp, valuePtr);
624 TclDecrRefCount(valuePtr);
625 if (stackTop != initStackTop) {
626 fprintf(stderr, "\nTclExecuteByteCode: done instruction at pc %u: stack top %d != entry stack top %d\n",
627 (unsigned int)(pc - codePtr->codeStart),
628 (unsigned int) stackTop,
629 (unsigned int) initStackTop);
630 panic("TclExecuteByteCode execution failure: end stack top != start stack top");
631 }
632 TRACE_WITH_OBJ(("=> return code=%d, result=", result),
633 iPtr->objResultPtr);
634 #ifdef TCL_COMPILE_DEBUG
635 if (traceInstructions) {
636 fprintf(stdout, "\n");
637 }
638 #endif
639 goto done;
640
641 case INST_PUSH1:
642 #ifdef TCL_COMPILE_DEBUG
643 valuePtr = codePtr->objArrayPtr[TclGetUInt1AtPtr(pc+1)];
644 PUSH_OBJECT(valuePtr);
645 TRACE_WITH_OBJ(("%u => ", TclGetInt1AtPtr(pc+1)), valuePtr);
646 #else
647 PUSH_OBJECT(codePtr->objArrayPtr[TclGetUInt1AtPtr(pc+1)]);
648 #endif /* TCL_COMPILE_DEBUG */
649 ADJUST_PC(2);
650
651 case INST_PUSH4:
652 valuePtr = codePtr->objArrayPtr[TclGetUInt4AtPtr(pc+1)];
653 PUSH_OBJECT(valuePtr);
654 TRACE_WITH_OBJ(("%u => ", TclGetUInt4AtPtr(pc+1)), valuePtr);
655 ADJUST_PC(5);
656
657 case INST_POP:
658 valuePtr = POP_OBJECT();
659 TRACE_WITH_OBJ(("=> discarding "), valuePtr);
660 TclDecrRefCount(valuePtr); /* finished with pop'ed object. */
661 ADJUST_PC(1);
662
663 case INST_DUP:
664 valuePtr = stackPtr[stackTop];
665 PUSH_OBJECT(Tcl_DuplicateObj(valuePtr));
666 TRACE_WITH_OBJ(("=> "), valuePtr);
667 ADJUST_PC(1);
668
669 case INST_CONCAT1:
670 opnd = TclGetUInt1AtPtr(pc+1);
671 {
672 Tcl_Obj *concatObjPtr;
673 int totalLen = 0;
674
675 /*
676 * Concatenate strings (with no separators) from the top
677 * opnd items on the stack starting with the deepest item.
678 * First, determine how many characters are needed.
679 */
680
681 for (i = (stackTop - (opnd-1)); i <= stackTop; i++) {
682 bytes = Tcl_GetStringFromObj(stackPtr[i], &length);
683 if (bytes != NULL) {
684 totalLen += length;
685 }
686 }
687
688 /*
689 * Initialize the new append string object by appending the
690 * strings of the opnd stack objects. Also pop the objects.
691 */
692
693 TclNewObj(concatObjPtr);
694 if (totalLen > 0) {
695 char *p = (char *) ckalloc((unsigned) (totalLen + 1));
696 concatObjPtr->bytes = p;
697 concatObjPtr->length = totalLen;
698 for (i = (stackTop - (opnd-1)); i <= stackTop; i++) {
699 valuePtr = stackPtr[i];
700 bytes = Tcl_GetStringFromObj(valuePtr, &length);
701 if (bytes != NULL) {
702 memcpy((VOID *) p, (VOID *) bytes,
703 (size_t) length);
704 p += length;
705 }
706 TclDecrRefCount(valuePtr);
707 }
708 *p = '\0';
709 } else {
710 for (i = (stackTop - (opnd-1)); i <= stackTop; i++) {
711 Tcl_DecrRefCount(stackPtr[i]);
712 }
713 }
714 stackTop -= opnd;
715
716 PUSH_OBJECT(concatObjPtr);
717 TRACE_WITH_OBJ(("%u => ", opnd), concatObjPtr);
718 ADJUST_PC(2);
719 }
720
721 case INST_INVOKE_STK4:
722 opnd = TclGetUInt4AtPtr(pc+1);
723 pcAdjustment = 5;
724 goto doInvocation;
725
726 case INST_INVOKE_STK1:
727 opnd = TclGetUInt1AtPtr(pc+1);
728 pcAdjustment = 2;
729
730 doInvocation:
731 {
732 int objc = opnd; /* The number of arguments. */
733 Tcl_Obj **objv; /* The array of argument objects. */
734 Command *cmdPtr; /* Points to command's Command struct. */
735 int newPcOffset; /* New inst offset for break, continue. */
736 #ifdef TCL_COMPILE_DEBUG
737 int isUnknownCmd = 0;
738 char cmdNameBuf[21];
739 #endif /* TCL_COMPILE_DEBUG */
740
741 /*
742 * If the interpreter was deleted, return an error.
743 */
744
745 if (iPtr->flags & DELETED) {
746 Tcl_ResetResult(interp);
747 Tcl_AppendToObj(Tcl_GetObjResult(interp),
748 "attempt to call eval in deleted interpreter", -1);
749 Tcl_SetErrorCode(interp, "CORE", "IDELETE",
750 "attempt to call eval in deleted interpreter",
751 (char *) NULL);
752 result = TCL_ERROR;
753 goto checkForCatch;
754 }
755
756 /*
757 * Find the procedure to execute this command. If the
758 * command is not found, handle it with the "unknown" proc.
759 */
760
761 objv = &(stackPtr[stackTop - (objc-1)]);
762 cmdPtr = (Command *) Tcl_GetCommandFromObj(interp, objv[0]);
763 if (cmdPtr == NULL) {
764 cmdPtr = (Command *) Tcl_FindCommand(interp, "unknown",
765 (Tcl_Namespace *) NULL, TCL_GLOBAL_ONLY);
766 if (cmdPtr == NULL) {
767 Tcl_ResetResult(interp);
768 Tcl_AppendStringsToObj(Tcl_GetObjResult(interp),
769 "invalid command name \"",
770 Tcl_GetString(objv[0]), "\"",
771 (char *) NULL);
772 TRACE(("%u => unknown proc not found: ", objc));
773 result = TCL_ERROR;
774 goto checkForCatch;
775 }
776 #ifdef TCL_COMPILE_DEBUG
777 isUnknownCmd = 1;
778 #endif /*TCL_COMPILE_DEBUG*/
779 stackTop++; /* need room for new inserted objv[0] */
780 for (i = objc-1; i >= 0; i--) {
781 objv[i+1] = objv[i];
782 }
783 objc++;
784 objv[0] = Tcl_NewStringObj("unknown", -1);
785 Tcl_IncrRefCount(objv[0]);
786 }
787
788 /*
789 * Call any trace procedures.
790 */
791
792 if (iPtr->tracePtr != NULL) {
793 Trace *tracePtr, *nextTracePtr;
794
795 for (tracePtr = iPtr->tracePtr; tracePtr != NULL;
796 tracePtr = nextTracePtr) {
797 nextTracePtr = tracePtr->nextPtr;
798 if (iPtr->numLevels <= tracePtr->level) {
799 int numChars;
800 char *cmd = GetSrcInfoForPc(pc, codePtr,
801 &numChars);
802 if (cmd != NULL) {
803 DECACHE_STACK_INFO();
804 CallTraceProcedure(interp, tracePtr, cmdPtr,
805 cmd, numChars, objc, objv);
806 CACHE_STACK_INFO();
807 }
808 }
809 }
810 }
811
812 /*
813 * Finally, invoke the command's Tcl_ObjCmdProc. First reset
814 * the interpreter's string and object results to their
815 * default empty values since they could have gotten changed
816 * by earlier invocations.
817 */
818
819 Tcl_ResetResult(interp);
820 if (tclTraceExec >= 2) {
821 #ifdef TCL_COMPILE_DEBUG
822 if (traceInstructions) {
823 strncpy(cmdNameBuf, Tcl_GetString(objv[0]), 20);
824 TRACE(("%u => call ", (isUnknownCmd? objc-1:objc)));
825 } else {
826 fprintf(stdout, "%d: (%u) invoking ",
827 iPtr->numLevels,
828 (unsigned int)(pc - codePtr->codeStart));
829 }
830 for (i = 0; i < objc; i++) {
831 TclPrintObject(stdout, objv[i], 15);
832 fprintf(stdout, " ");
833 }
834 fprintf(stdout, "\n");
835 fflush(stdout);
836 #else /* TCL_COMPILE_DEBUG */
837 fprintf(stdout, "%d: (%u) invoking %s\n",
838 iPtr->numLevels,
839 (unsigned int)(pc - codePtr->codeStart),
840 Tcl_GetString(objv[0]));
841 #endif /*TCL_COMPILE_DEBUG*/
842 }
843
844 iPtr->cmdCount++;
845 DECACHE_STACK_INFO();
846 result = (*cmdPtr->objProc)(cmdPtr->objClientData, interp,
847 objc, objv);
848 if (Tcl_AsyncReady()) {
849 result = Tcl_AsyncInvoke(interp, result);
850 }
851 CACHE_STACK_INFO();
852
853 /*
854 * If the interpreter has a non-empty string result, the
855 * result object is either empty or stale because some
856 * procedure set interp->result directly. If so, move the
857 * string result to the result object, then reset the
858 * string result.
859 */
860
861 if (*(iPtr->result) != 0) {
862 (void) Tcl_GetObjResult(interp);
863 }
864
865 /*
866 * Pop the objc top stack elements and decrement their ref
867 * counts.
868 */
869
870 for (i = 0; i < objc; i++) {
871 valuePtr = stackPtr[stackTop];
872 TclDecrRefCount(valuePtr);
873 stackTop--;
874 }
875
876 /*
877 * Process the result of the Tcl_ObjCmdProc call.
878 */
879
880 switch (result) {
881 case TCL_OK:
882 /*
883 * Push the call's object result and continue execution
884 * with the next instruction.
885 */
886 PUSH_OBJECT(Tcl_GetObjResult(interp));
887 TRACE_WITH_OBJ(("%u => ...after \"%.20s\", result=",
888 objc, cmdNameBuf), Tcl_GetObjResult(interp));
889 ADJUST_PC(pcAdjustment);
890
891 case TCL_BREAK:
892 case TCL_CONTINUE:
893 /*
894 * The invoked command requested a break or continue.
895 * Find the closest enclosing loop or catch exception
896 * range, if any. If a loop is found, terminate its
897 * execution or skip to its next iteration. If the
898 * closest is a catch exception range, jump to its
899 * catchOffset. If no enclosing range is found, stop
900 * execution and return the TCL_BREAK or TCL_CONTINUE.
901 */
902 rangePtr = GetExceptRangeForPc(pc, /*catchOnly*/ 0,
903 codePtr);
904 if (rangePtr == NULL) {
905 TRACE(("%u => ... after \"%.20s\", no encl. loop or catch, returning %s\n",
906 objc, cmdNameBuf,
907 StringForResultCode(result)));
908 goto abnormalReturn; /* no catch exists to check */
909 }
910 newPcOffset = 0;
911 switch (rangePtr->type) {
912 case LOOP_EXCEPTION_RANGE:
913 if (result == TCL_BREAK) {
914 newPcOffset = rangePtr->breakOffset;
915 } else if (rangePtr->continueOffset == -1) {
916 TRACE(("%u => ... after \"%.20s\", %s, loop w/o continue, checking for catch\n",
917 objc, cmdNameBuf,
918 StringForResultCode(result)));
919 goto checkForCatch;
920 } else {
921 newPcOffset = rangePtr->continueOffset;
922 }
923 TRACE(("%u => ... after \"%.20s\", %s, range at %d, new pc %d\n",
924 objc, cmdNameBuf,
925 StringForResultCode(result),
926 rangePtr->codeOffset, newPcOffset));
927 break;
928 case CATCH_EXCEPTION_RANGE:
929 TRACE(("%u => ... after \"%.20s\", %s...\n",
930 objc, cmdNameBuf,
931 StringForResultCode(result)));
932 goto processCatch; /* it will use rangePtr */
933 default:
934 panic("TclExecuteByteCode: bad ExceptionRange type\n");
935 }
936 result = TCL_OK;
937 pc = (codePtr->codeStart + newPcOffset);
938 continue; /* restart outer instruction loop at pc */
939
940 case TCL_ERROR:
941 /*
942 * The invoked command returned an error. Look for an
943 * enclosing catch exception range, if any.
944 */
945 TRACE_WITH_OBJ(("%u => ... after \"%.20s\", TCL_ERROR ",
946 objc, cmdNameBuf), Tcl_GetObjResult(interp));
947 goto checkForCatch;
948
949 case TCL_RETURN:
950 /*
951 * The invoked command requested that the current
952 * procedure stop execution and return. First check
953 * for an enclosing catch exception range, if any.
954 */
955 TRACE(("%u => ... after \"%.20s\", TCL_RETURN\n",
956 objc, cmdNameBuf));
957 goto checkForCatch;
958
959 default:
960 TRACE_WITH_OBJ(("%u => ... after \"%.20s\", OTHER RETURN CODE %d ",
961 objc, cmdNameBuf, result),
962 Tcl_GetObjResult(interp));
963 goto checkForCatch;
964 }
965 }
966
967 case INST_EVAL_STK:
968 objPtr = POP_OBJECT();
969 DECACHE_STACK_INFO();
970 result = Tcl_EvalObjEx(interp, objPtr, 0);
971 CACHE_STACK_INFO();
972 if (result == TCL_OK) {
973 /*
974 * Normal return; push the eval's object result.
975 */
976 PUSH_OBJECT(Tcl_GetObjResult(interp));
977 TRACE_WITH_OBJ(("\"%.30s\" => ", O2S(objPtr)),
978 Tcl_GetObjResult(interp));
979 TclDecrRefCount(objPtr);
980 ADJUST_PC(1);
981 } else if ((result == TCL_BREAK) || (result == TCL_CONTINUE)) {
982 /*
983 * Find the closest enclosing loop or catch exception range,
984 * if any. If a loop is found, terminate its execution or
985 * skip to its next iteration. If the closest is a catch
986 * exception range, jump to its catchOffset. If no enclosing
987 * range is found, stop execution and return that same
988 * TCL_BREAK or TCL_CONTINUE.
989 */
990
991 int newPcOffset = 0; /* Pc offset computed during break,
992 * continue, error processing. Init.
993 * to avoid compiler warning. */
994
995 rangePtr = GetExceptRangeForPc(pc, /*catchOnly*/ 0,
996 codePtr);
997 if (rangePtr == NULL) {
998 TRACE(("\"%.30s\" => no encl. loop or catch, returning %s\n",
999 O2S(objPtr), StringForResultCode(result)));
1000 Tcl_DecrRefCount(objPtr);
1001 goto abnormalReturn; /* no catch exists to check */
1002 }
1003 switch (rangePtr->type) {
1004 case LOOP_EXCEPTION_RANGE:
1005 if (result == TCL_BREAK) {
1006 newPcOffset = rangePtr->breakOffset;
1007 } else if (rangePtr->continueOffset == -1) {
1008 TRACE(("\"%.30s\" => %s, loop w/o continue, checking for catch\n",
1009 O2S(objPtr), StringForResultCode(result)));
1010 Tcl_DecrRefCount(objPtr);
1011 goto checkForCatch;
1012 } else {
1013 newPcOffset = rangePtr->continueOffset;
1014 }
1015 result = TCL_OK;
1016 TRACE_WITH_OBJ(("\"%.30s\" => %s, range at %d, new pc %d ",
1017 O2S(objPtr), StringForResultCode(result),
1018 rangePtr->codeOffset, newPcOffset), valuePtr);
1019 break;
1020 case CATCH_EXCEPTION_RANGE:
1021 TRACE_WITH_OBJ(("\"%.30s\" => %s ",
1022 O2S(objPtr), StringForResultCode(result)),
1023 valuePtr);
1024 Tcl_DecrRefCount(objPtr);
1025 goto processCatch; /* it will use rangePtr */
1026 default:
1027 panic("TclExecuteByteCode: unrecognized ExceptionRange type %d\n", rangePtr->type);
1028 }
1029 Tcl_DecrRefCount(objPtr);
1030 pc = (codePtr->codeStart + newPcOffset);
1031 continue; /* restart outer instruction loop at pc */
1032 } else { /* eval returned TCL_ERROR, TCL_RETURN, unknown code */
1033 TRACE_WITH_OBJ(("\"%.30s\" => ERROR: ", O2S(objPtr)),
1034 Tcl_GetObjResult(interp));
1035 Tcl_DecrRefCount(objPtr);
1036 goto checkForCatch;
1037 }
1038
1039 case INST_EXPR_STK:
1040 objPtr = POP_OBJECT();
1041 Tcl_ResetResult(interp);
1042 DECACHE_STACK_INFO();
1043 result = Tcl_ExprObj(interp, objPtr, &valuePtr);
1044 CACHE_STACK_INFO();
1045 if (result != TCL_OK) {
1046 TRACE_WITH_OBJ(("\"%.30s\" => ERROR: ",
1047 O2S(objPtr)), Tcl_GetObjResult(interp));
1048 Tcl_DecrRefCount(objPtr);
1049 goto checkForCatch;
1050 }
1051 stackPtr[++stackTop] = valuePtr; /* already has right refct */
1052 TRACE_WITH_OBJ(("\"%.30s\" => ", O2S(objPtr)), valuePtr);
1053 TclDecrRefCount(objPtr);
1054 ADJUST_PC(1);
1055
1056 case INST_LOAD_SCALAR1:
1057 #ifdef TCL_COMPILE_DEBUG
1058 opnd = TclGetUInt1AtPtr(pc+1);
1059 DECACHE_STACK_INFO();
1060 valuePtr = TclGetIndexedScalar(interp, opnd,
1061 /*leaveErrorMsg*/ 1);
1062 CACHE_STACK_INFO();
1063 if (valuePtr == NULL) {
1064 TRACE_WITH_OBJ(("%u => ERROR: ", opnd),
1065 Tcl_GetObjResult(interp));
1066 result = TCL_ERROR;
1067 goto checkForCatch;
1068 }
1069 PUSH_OBJECT(valuePtr);
1070 TRACE_WITH_OBJ(("%u => ", opnd), valuePtr);
1071 #else /* TCL_COMPILE_DEBUG */
1072 DECACHE_STACK_INFO();
1073 opnd = TclGetUInt1AtPtr(pc+1);
1074 valuePtr = TclGetIndexedScalar(interp, opnd, /*leaveErrorMsg*/ 1);
1075 CACHE_STACK_INFO();
1076 if (valuePtr == NULL) {
1077 result = TCL_ERROR;
1078 goto checkForCatch;
1079 }
1080 PUSH_OBJECT(valuePtr);
1081 #endif /* TCL_COMPILE_DEBUG */
1082 ADJUST_PC(2);
1083
1084 case INST_LOAD_SCALAR4:
1085 opnd = TclGetUInt4AtPtr(pc+1);
1086 DECACHE_STACK_INFO();
1087 valuePtr = TclGetIndexedScalar(interp, opnd,
1088 /*leaveErrorMsg*/ 1);
1089 CACHE_STACK_INFO();
1090 if (valuePtr == NULL) {
1091 TRACE_WITH_OBJ(("%u => ERROR: ", opnd),
1092 Tcl_GetObjResult(interp));
1093 result = TCL_ERROR;
1094 goto checkForCatch;
1095 }
1096 PUSH_OBJECT(valuePtr);
1097 TRACE_WITH_OBJ(("%u => ", opnd), valuePtr);
1098 ADJUST_PC(5);
1099
1100 case INST_LOAD_SCALAR_STK:
1101 objPtr = POP_OBJECT(); /* scalar name */
1102 DECACHE_STACK_INFO();
1103 valuePtr = Tcl_ObjGetVar2(interp, objPtr, NULL, TCL_LEAVE_ERR_MSG);
1104 CACHE_STACK_INFO();
1105 if (valuePtr == NULL) {
1106 TRACE_WITH_OBJ(("\"%.30s\" => ERROR: ", O2S(objPtr)),
1107 Tcl_GetObjResult(interp));
1108 Tcl_DecrRefCount(objPtr);
1109 result = TCL_ERROR;
1110 goto checkForCatch;
1111 }
1112 PUSH_OBJECT(valuePtr);
1113 TRACE_WITH_OBJ(("\"%.30s\" => ", O2S(objPtr)), valuePtr);
1114 TclDecrRefCount(objPtr);
1115 ADJUST_PC(1);
1116
1117 case INST_LOAD_ARRAY4:
1118 opnd = TclGetUInt4AtPtr(pc+1);
1119 pcAdjustment = 5;
1120 goto doLoadArray;
1121
1122 case INST_LOAD_ARRAY1:
1123 opnd = TclGetUInt1AtPtr(pc+1);
1124 pcAdjustment = 2;
1125
1126 doLoadArray:
1127 {
1128 Tcl_Obj *elemPtr = POP_OBJECT();
1129
1130 DECACHE_STACK_INFO();
1131 valuePtr = TclGetElementOfIndexedArray(interp, opnd,
1132 elemPtr, /*leaveErrorMsg*/ 1);
1133 CACHE_STACK_INFO();
1134 if (valuePtr == NULL) {
1135 TRACE_WITH_OBJ(("%u \"%.30s\" => ERROR: ",
1136 opnd, O2S(elemPtr)), Tcl_GetObjResult(interp));
1137 Tcl_DecrRefCount(elemPtr);
1138 result = TCL_ERROR;
1139 goto checkForCatch;
1140 }
1141 PUSH_OBJECT(valuePtr);
1142 TRACE_WITH_OBJ(("%u \"%.30s\" => ",
1143 opnd, O2S(elemPtr)),valuePtr);
1144 TclDecrRefCount(elemPtr);
1145 }
1146 ADJUST_PC(pcAdjustment);
1147
1148 case INST_LOAD_ARRAY_STK:
1149 {
1150 Tcl_Obj *elemPtr = POP_OBJECT();
1151
1152 objPtr = POP_OBJECT(); /* array name */
1153 DECACHE_STACK_INFO();
1154 valuePtr = Tcl_ObjGetVar2(interp, objPtr, elemPtr,
1155 TCL_LEAVE_ERR_MSG);
1156 CACHE_STACK_INFO();
1157 if (valuePtr == NULL) {
1158 TRACE_WITH_OBJ(("\"%.30s(%.30s)\" => ERROR: ",
1159 O2S(objPtr), O2S(elemPtr)),
1160 Tcl_GetObjResult(interp));
1161 Tcl_DecrRefCount(objPtr);
1162 Tcl_DecrRefCount(elemPtr);
1163 result = TCL_ERROR;
1164 goto checkForCatch;
1165 }
1166 PUSH_OBJECT(valuePtr);
1167 TRACE_WITH_OBJ(("\"%.30s(%.30s)\" => ",
1168 O2S(objPtr), O2S(elemPtr)), valuePtr);
1169 TclDecrRefCount(objPtr);
1170 TclDecrRefCount(elemPtr);
1171 }
1172 ADJUST_PC(1);
1173
1174 case INST_LOAD_STK:
1175 objPtr = POP_OBJECT(); /* variable name */
1176 DECACHE_STACK_INFO();
1177 valuePtr = Tcl_ObjGetVar2(interp, objPtr, NULL, TCL_LEAVE_ERR_MSG);
1178 CACHE_STACK_INFO();
1179 if (valuePtr == NULL) {
1180 TRACE_WITH_OBJ(("\"%.30s\" => ERROR: ",
1181 O2S(objPtr)), Tcl_GetObjResult(interp));
1182 Tcl_DecrRefCount(objPtr);
1183 result = TCL_ERROR;
1184 goto checkForCatch;
1185 }
1186 PUSH_OBJECT(valuePtr);
1187 TRACE_WITH_OBJ(("\"%.30s\" => ", O2S(objPtr)), valuePtr);
1188 TclDecrRefCount(objPtr);
1189 ADJUST_PC(1);
1190
1191 case INST_STORE_SCALAR4:
1192 opnd = TclGetUInt4AtPtr(pc+1);
1193 pcAdjustment = 5;
1194 goto doStoreScalar;
1195
1196 case INST_STORE_SCALAR1:
1197 opnd = TclGetUInt1AtPtr(pc+1);
1198 pcAdjustment = 2;
1199
1200 doStoreScalar:
1201 valuePtr = POP_OBJECT();
1202 DECACHE_STACK_INFO();
1203 value2Ptr = TclSetIndexedScalar(interp, opnd, valuePtr,
1204 /*leaveErrorMsg*/ 1);
1205 CACHE_STACK_INFO();
1206 if (value2Ptr == NULL) {
1207 TRACE_WITH_OBJ(("%u <- \"%.30s\" => ERROR: ",
1208 opnd, O2S(valuePtr)), Tcl_GetObjResult(interp));
1209 Tcl_DecrRefCount(valuePtr);
1210 result = TCL_ERROR;
1211 goto checkForCatch;
1212 }
1213 PUSH_OBJECT(value2Ptr);
1214 TRACE_WITH_OBJ(("%u <- \"%.30s\" => ",
1215 opnd, O2S(valuePtr)), value2Ptr);
1216 TclDecrRefCount(valuePtr);
1217 ADJUST_PC(pcAdjustment);
1218
1219 case INST_STORE_SCALAR_STK:
1220 valuePtr = POP_OBJECT();
1221 objPtr = POP_OBJECT(); /* scalar name */
1222 DECACHE_STACK_INFO();
1223 value2Ptr = Tcl_ObjSetVar2(interp, objPtr, NULL, valuePtr,
1224 TCL_LEAVE_ERR_MSG);
1225 CACHE_STACK_INFO();
1226 if (value2Ptr == NULL) {
1227 TRACE_WITH_OBJ(("\"%.30s\" <- \"%.30s\" => ERROR: ",
1228 O2S(objPtr), O2S(valuePtr)),
1229 Tcl_GetObjResult(interp));
1230 Tcl_DecrRefCount(objPtr);
1231 Tcl_DecrRefCount(valuePtr);
1232 result = TCL_ERROR;
1233 goto checkForCatch;
1234 }
1235 PUSH_OBJECT(value2Ptr);
1236 TRACE_WITH_OBJ(("\"%.30s\" <- \"%.30s\" => ",
1237 O2S(objPtr), O2S(valuePtr)), value2Ptr);
1238 TclDecrRefCount(objPtr);
1239 TclDecrRefCount(valuePtr);
1240 ADJUST_PC(1);
1241
1242 case INST_STORE_ARRAY4:
1243 opnd = TclGetUInt4AtPtr(pc+1);
1244 pcAdjustment = 5;
1245 goto doStoreArray;
1246
1247 case INST_STORE_ARRAY1:
1248 opnd = TclGetUInt1AtPtr(pc+1);
1249 pcAdjustment = 2;
1250
1251 doStoreArray:
1252 {
1253 Tcl_Obj *elemPtr;
1254
1255 valuePtr = POP_OBJECT();
1256 elemPtr = POP_OBJECT();
1257 DECACHE_STACK_INFO();
1258 value2Ptr = TclSetElementOfIndexedArray(interp, opnd,
1259 elemPtr, valuePtr, TCL_LEAVE_ERR_MSG);
1260 CACHE_STACK_INFO();
1261 if (value2Ptr == NULL) {
1262 TRACE_WITH_OBJ(("%u \"%.30s\" <- \"%.30s\" => ERROR: ",
1263 opnd, O2S(elemPtr), O2S(valuePtr)),
1264 Tcl_GetObjResult(interp));
1265 Tcl_DecrRefCount(elemPtr);
1266 Tcl_DecrRefCount(valuePtr);
1267 result = TCL_ERROR;
1268 goto checkForCatch;
1269 }
1270 PUSH_OBJECT(value2Ptr);
1271 TRACE_WITH_OBJ(("%u \"%.30s\" <- \"%.30s\" => ",
1272 opnd, O2S(elemPtr), O2S(valuePtr)), value2Ptr);
1273 TclDecrRefCount(elemPtr);
1274 TclDecrRefCount(valuePtr);
1275 }
1276 ADJUST_PC(pcAdjustment);
1277
1278 case INST_STORE_ARRAY_STK:
1279 {
1280 Tcl_Obj *elemPtr;
1281
1282 valuePtr = POP_OBJECT();
1283 elemPtr = POP_OBJECT();
1284 objPtr = POP_OBJECT(); /* array name */
1285 DECACHE_STACK_INFO();
1286 value2Ptr = Tcl_ObjSetVar2(interp, objPtr, elemPtr, valuePtr,
1287 TCL_LEAVE_ERR_MSG);
1288 CACHE_STACK_INFO();
1289 if (value2Ptr == NULL) {
1290 TRACE_WITH_OBJ(("\"%.30s(%.30s)\" <- \"%.30s\" => ERROR: ",
1291 O2S(objPtr), O2S(elemPtr), O2S(valuePtr)),
1292 Tcl_GetObjResult(interp));
1293 Tcl_DecrRefCount(objPtr);
1294 Tcl_DecrRefCount(elemPtr);
1295 Tcl_DecrRefCount(valuePtr);
1296 result = TCL_ERROR;
1297 goto checkForCatch;
1298 }
1299 PUSH_OBJECT(value2Ptr);
1300 TRACE_WITH_OBJ(("\"%.30s(%.30s)\" <- \"%.30s\" => ",
1301 O2S(objPtr), O2S(elemPtr), O2S(valuePtr)),
1302 value2Ptr);
1303 TclDecrRefCount(objPtr);
1304 TclDecrRefCount(elemPtr);
1305 TclDecrRefCount(valuePtr);
1306 }
1307 ADJUST_PC(1);
1308
1309 case INST_STORE_STK:
1310 valuePtr = POP_OBJECT();
1311 objPtr = POP_OBJECT(); /* variable name */
1312 DECACHE_STACK_INFO();
1313 value2Ptr = Tcl_ObjSetVar2(interp, objPtr, NULL, valuePtr,
1314 TCL_LEAVE_ERR_MSG);
1315 CACHE_STACK_INFO();
1316 if (value2Ptr == NULL) {
1317 TRACE_WITH_OBJ(("\"%.30s\" <- \"%.30s\" => ERROR: ",
1318 O2S(objPtr), O2S(valuePtr)),
1319 Tcl_GetObjResult(interp));
1320 Tcl_DecrRefCount(objPtr);
1321 Tcl_DecrRefCount(valuePtr);
1322 result = TCL_ERROR;
1323 goto checkForCatch;
1324 }
1325 PUSH_OBJECT(value2Ptr);
1326 TRACE_WITH_OBJ(("\"%.30s\" <- \"%.30s\" => ",
1327 O2S(objPtr), O2S(valuePtr)), value2Ptr);
1328 TclDecrRefCount(objPtr);
1329 TclDecrRefCount(valuePtr);
1330 ADJUST_PC(1);
1331
1332 case INST_INCR_SCALAR1:
1333 opnd = TclGetUInt1AtPtr(pc+1);
1334 valuePtr = POP_OBJECT();
1335 if (valuePtr->typePtr != &tclIntType) {
1336 result = tclIntType.setFromAnyProc(interp, valuePtr);
1337 if (result != TCL_OK) {
1338 TRACE_WITH_OBJ(("%u (by %s) => ERROR converting increment amount to int: ",
1339 opnd, O2S(valuePtr)), Tcl_GetObjResult(interp));
1340 Tcl_DecrRefCount(valuePtr);
1341 goto checkForCatch;
1342 }
1343 }
1344 i = valuePtr->internalRep.longValue;
1345 DECACHE_STACK_INFO();
1346 value2Ptr = TclIncrIndexedScalar(interp, opnd, i);
1347 CACHE_STACK_INFO();
1348 if (value2Ptr == NULL) {
1349 TRACE_WITH_OBJ(("%u (by %ld) => ERROR: ", opnd, i),
1350 Tcl_GetObjResult(interp));
1351 Tcl_DecrRefCount(valuePtr);
1352 result = TCL_ERROR;
1353 goto checkForCatch;
1354 }
1355 PUSH_OBJECT(value2Ptr);
1356 TRACE_WITH_OBJ(("%u (by %ld) => ", opnd, i), value2Ptr);
1357 TclDecrRefCount(valuePtr);
1358 ADJUST_PC(2);
1359
1360 case INST_INCR_SCALAR_STK:
1361 case INST_INCR_STK:
1362 valuePtr = POP_OBJECT();
1363 objPtr = POP_OBJECT(); /* scalar name */
1364 if (valuePtr->typePtr != &tclIntType) {
1365 result = tclIntType.setFromAnyProc(interp, valuePtr);
1366 if (result != TCL_OK) {
1367 TRACE_WITH_OBJ(("\"%.30s\" (by %s) => ERROR converting increment amount to int: ",
1368 O2S(objPtr), O2S(valuePtr)),
1369 Tcl_GetObjResult(interp));
1370 Tcl_DecrRefCount(objPtr);
1371 Tcl_DecrRefCount(valuePtr);
1372 goto checkForCatch;
1373 }
1374 }
1375 i = valuePtr->internalRep.longValue;
1376 DECACHE_STACK_INFO();
1377 value2Ptr = TclIncrVar2(interp, objPtr, (Tcl_Obj *) NULL, i,
1378 TCL_LEAVE_ERR_MSG);
1379 CACHE_STACK_INFO();
1380 if (value2Ptr == NULL) {
1381 TRACE_WITH_OBJ(("\"%.30s\" (by %ld) => ERROR: ",
1382 O2S(objPtr), i), Tcl_GetObjResult(interp));
1383 Tcl_DecrRefCount(objPtr);
1384 Tcl_DecrRefCount(valuePtr);
1385 result = TCL_ERROR;
1386 goto checkForCatch;
1387 }
1388 PUSH_OBJECT(value2Ptr);
1389 TRACE_WITH_OBJ(("\"%.30s\" (by %ld) => ", O2S(objPtr), i),
1390 value2Ptr);
1391 Tcl_DecrRefCount(objPtr);
1392 Tcl_DecrRefCount(valuePtr);
1393 ADJUST_PC(1);
1394
1395 case INST_INCR_ARRAY1:
1396 {
1397 Tcl_Obj *elemPtr;
1398
1399 opnd = TclGetUInt1AtPtr(pc+1);
1400 valuePtr = POP_OBJECT();
1401 elemPtr = POP_OBJECT();
1402 if (valuePtr->typePtr != &tclIntType) {
1403 result = tclIntType.setFromAnyProc(interp, valuePtr);
1404 if (result != TCL_OK) {
1405 TRACE_WITH_OBJ(("%u \"%.30s\" (by %s) => ERROR converting increment amount to int: ",
1406 opnd, O2S(elemPtr), O2S(valuePtr)),
1407 Tcl_GetObjResult(interp));
1408 Tcl_DecrRefCount(elemPtr);
1409 Tcl_DecrRefCount(valuePtr);
1410 goto checkForCatch;
1411 }
1412 }
1413 i = valuePtr->internalRep.longValue;
1414 DECACHE_STACK_INFO();
1415 value2Ptr = TclIncrElementOfIndexedArray(interp, opnd,
1416 elemPtr, i);
1417 CACHE_STACK_INFO();
1418 if (value2Ptr == NULL) {
1419 TRACE_WITH_OBJ(("%u \"%.30s\" (by %ld) => ERROR: ",
1420 opnd, O2S(elemPtr), i),
1421 Tcl_GetObjResult(interp));
1422 Tcl_DecrRefCount(elemPtr);
1423 Tcl_DecrRefCount(valuePtr);
1424 result = TCL_ERROR;
1425 goto checkForCatch;
1426 }
1427 PUSH_OBJECT(value2Ptr);
1428 TRACE_WITH_OBJ(("%u \"%.30s\" (by %ld) => ",
1429 opnd, O2S(elemPtr), i), value2Ptr);
1430 Tcl_DecrRefCount(elemPtr);
1431 Tcl_DecrRefCount(valuePtr);
1432 }
1433 ADJUST_PC(2);
1434
1435 case INST_INCR_ARRAY_STK:
1436 {
1437 Tcl_Obj *elemPtr;
1438
1439 valuePtr = POP_OBJECT();
1440 elemPtr = POP_OBJECT();
1441 objPtr = POP_OBJECT(); /* array name */
1442 if (valuePtr->typePtr != &tclIntType) {
1443 result = tclIntType.setFromAnyProc(interp, valuePtr);
1444 if (result != TCL_OK) {
1445 TRACE_WITH_OBJ(("\"%.30s(%.30s)\" (by %s) => ERROR converting increment amount to int: ",
1446 O2S(objPtr), O2S(elemPtr), O2S(valuePtr)),
1447 Tcl_GetObjResult(interp));
1448 Tcl_DecrRefCount(objPtr);
1449 Tcl_DecrRefCount(elemPtr);
1450 Tcl_DecrRefCount(valuePtr);
1451 goto checkForCatch;
1452 }
1453 }
1454 i = valuePtr->internalRep.longValue;
1455 DECACHE_STACK_INFO();
1456 value2Ptr = TclIncrVar2(interp, objPtr, elemPtr, i,
1457 TCL_LEAVE_ERR_MSG);
1458 CACHE_STACK_INFO();
1459 if (value2Ptr == NULL) {
1460 TRACE_WITH_OBJ(("\"%.30s(%.30s)\" (by %ld) => ERROR: ",
1461 O2S(objPtr), O2S(elemPtr), i),
1462 Tcl_GetObjResult(interp));
1463 Tcl_DecrRefCount(objPtr);
1464 Tcl_DecrRefCount(elemPtr);
1465 Tcl_DecrRefCount(valuePtr);
1466 result = TCL_ERROR;
1467 goto checkForCatch;
1468 }
1469 PUSH_OBJECT(value2Ptr);
1470 TRACE_WITH_OBJ(("\"%.30s(%.30s)\" (by %ld) => ",
1471 O2S(objPtr), O2S(elemPtr), i), value2Ptr);
1472 Tcl_DecrRefCount(objPtr);
1473 Tcl_DecrRefCount(elemPtr);
1474 Tcl_DecrRefCount(valuePtr);
1475 }
1476 ADJUST_PC(1);
1477
1478 case INST_INCR_SCALAR1_IMM:
1479 opnd = TclGetUInt1AtPtr(pc+1);
1480 i = TclGetInt1AtPtr(pc+2);
1481 DECACHE_STACK_INFO();
1482 value2Ptr = TclIncrIndexedScalar(interp, opnd, i);
1483 CACHE_STACK_INFO();
1484 if (value2Ptr == NULL) {
1485 TRACE_WITH_OBJ(("%u %ld => ERROR: ", opnd, i),
1486 Tcl_GetObjResult(interp));
1487 result = TCL_ERROR;
1488 goto checkForCatch;
1489 }
1490 PUSH_OBJECT(value2Ptr);
1491 TRACE_WITH_OBJ(("%u %ld => ", opnd, i), value2Ptr);
1492 ADJUST_PC(3);
1493
1494 case INST_INCR_SCALAR_STK_IMM:
1495 case INST_INCR_STK_IMM:
1496 objPtr = POP_OBJECT(); /* variable name */
1497 i = TclGetInt1AtPtr(pc+1);
1498 DECACHE_STACK_INFO();
1499 value2Ptr = TclIncrVar2(interp, objPtr, (Tcl_Obj *) NULL, i,
1500 TCL_LEAVE_ERR_MSG);
1501 CACHE_STACK_INFO();
1502 if (value2Ptr == NULL) {
1503 TRACE_WITH_OBJ(("\"%.30s\" %ld => ERROR: ",
1504 O2S(objPtr), i), Tcl_GetObjResult(interp));
1505 result = TCL_ERROR;
1506 Tcl_DecrRefCount(objPtr);
1507 goto checkForCatch;
1508 }
1509 PUSH_OBJECT(value2Ptr);
1510 TRACE_WITH_OBJ(("\"%.30s\" %ld => ", O2S(objPtr), i),
1511 value2Ptr);
1512 TclDecrRefCount(objPtr);
1513 ADJUST_PC(2);
1514
1515 case INST_INCR_ARRAY1_IMM:
1516 {
1517 Tcl_Obj *elemPtr;
1518
1519 opnd = TclGetUInt1AtPtr(pc+1);
1520 i = TclGetInt1AtPtr(pc+2);
1521 elemPtr = POP_OBJECT();
1522 DECACHE_STACK_INFO();
1523 value2Ptr = TclIncrElementOfIndexedArray(interp, opnd,
1524 elemPtr, i);
1525 CACHE_STACK_INFO();
1526 if (value2Ptr == NULL) {
1527 TRACE_WITH_OBJ(("%u \"%.30s\" (by %ld) => ERROR: ",
1528 opnd, O2S(elemPtr), i),
1529 Tcl_GetObjResult(interp));
1530 Tcl_DecrRefCount(elemPtr);
1531 result = TCL_ERROR;
1532 goto checkForCatch;
1533 }
1534 PUSH_OBJECT(value2Ptr);
1535 TRACE_WITH_OBJ(("%u \"%.30s\" (by %ld) => ",
1536 opnd, O2S(elemPtr), i), value2Ptr);
1537 Tcl_DecrRefCount(elemPtr);
1538 }
1539 ADJUST_PC(3);
1540
1541 case INST_INCR_ARRAY_STK_IMM:
1542 {
1543 Tcl_Obj *elemPtr;
1544
1545 i = TclGetInt1AtPtr(pc+1);
1546 elemPtr = POP_OBJECT();
1547 objPtr = POP_OBJECT(); /* array name */
1548 DECACHE_STACK_INFO();
1549 value2Ptr = TclIncrVar2(interp, objPtr, elemPtr, i,
1550 TCL_LEAVE_ERR_MSG);
1551 CACHE_STACK_INFO();
1552 if (value2Ptr == NULL) {
1553 TRACE_WITH_OBJ(("\"%.30s(%.30s)\" (by %ld) => ERROR: ",
1554 O2S(objPtr), O2S(elemPtr), i),
1555 Tcl_GetObjResult(interp));
1556 Tcl_DecrRefCount(objPtr);
1557 Tcl_DecrRefCount(elemPtr);
1558 result = TCL_ERROR;
1559 goto checkForCatch;
1560 }
1561 PUSH_OBJECT(value2Ptr);
1562 TRACE_WITH_OBJ(("\"%.30s(%.30s)\" (by %ld) => ",
1563 O2S(objPtr), O2S(elemPtr), i), value2Ptr);
1564 Tcl_DecrRefCount(objPtr);
1565 Tcl_DecrRefCount(elemPtr);
1566 }
1567 ADJUST_PC(2);
1568
1569 case INST_JUMP1:
1570 #ifdef TCL_COMPILE_DEBUG
1571 opnd = TclGetInt1AtPtr(pc+1);
1572 TRACE(("%d => new pc %u\n", opnd,
1573 (unsigned int)(pc + opnd - codePtr->codeStart)));
1574 pc += opnd;
1575 #else
1576 pc += TclGetInt1AtPtr(pc+1);
1577 #endif /* TCL_COMPILE_DEBUG */
1578 continue;
1579
1580 case INST_JUMP4:
1581 opnd = TclGetInt4AtPtr(pc+1);
1582 TRACE(("%d => new pc %u\n", opnd,
1583 (unsigned int)(pc + opnd - codePtr->codeStart)));
1584 ADJUST_PC(opnd);
1585
1586 case INST_JUMP_TRUE4:
1587 opnd = TclGetInt4AtPtr(pc+1);
1588 pcAdjustment = 5;
1589 goto doJumpTrue;
1590
1591 case INST_JUMP_TRUE1:
1592 opnd = TclGetInt1AtPtr(pc+1);
1593 pcAdjustment = 2;
1594
1595 doJumpTrue:
1596 {
1597 int b;
1598
1599 valuePtr = POP_OBJECT();
1600 if (valuePtr->typePtr == &tclIntType) {
1601 b = (valuePtr->internalRep.longValue != 0);
1602 } else if (valuePtr->typePtr == &tclDoubleType) {
1603 b = (valuePtr->internalRep.doubleValue != 0.0);
1604 } else {
1605 result = Tcl_GetBooleanFromObj(interp, valuePtr, &b);
1606 if (result != TCL_OK) {
1607 TRACE_WITH_OBJ(("%d => ERROR: ", opnd),
1608 Tcl_GetObjResult(interp));
1609 Tcl_DecrRefCount(valuePtr);
1610 goto checkForCatch;
1611 }
1612 }
1613 if (b) {
1614 TRACE(("%d => %.20s true, new pc %u\n",
1615 opnd, O2S(valuePtr),
1616 (unsigned int)(pc+opnd - codePtr->codeStart)));
1617 TclDecrRefCount(valuePtr);
1618 ADJUST_PC(opnd);
1619 } else {
1620 TRACE(("%d => %.20s false\n", opnd, O2S(valuePtr)));
1621 TclDecrRefCount(valuePtr);
1622 ADJUST_PC(pcAdjustment);
1623 }
1624 }
1625
1626 case INST_JUMP_FALSE4:
1627 opnd = TclGetInt4AtPtr(pc+1);
1628 pcAdjustment = 5;
1629 goto doJumpFalse;
1630
1631 case INST_JUMP_FALSE1:
1632 opnd = TclGetInt1AtPtr(pc+1);
1633 pcAdjustment = 2;
1634
1635 doJumpFalse:
1636 {
1637 int b;
1638
1639 valuePtr = POP_OBJECT();
1640 if (valuePtr->typePtr == &tclIntType) {
1641 b = (valuePtr->internalRep.longValue != 0);
1642 } else if (valuePtr->typePtr == &tclDoubleType) {
1643 b = (valuePtr->internalRep.doubleValue != 0.0);
1644 } else {
1645 result = Tcl_GetBooleanFromObj(interp, valuePtr, &b);
1646 if (result != TCL_OK) {
1647 TRACE_WITH_OBJ(("%d => ERROR: ", opnd),
1648 Tcl_GetObjResult(interp));
1649 Tcl_DecrRefCount(valuePtr);
1650 goto checkForCatch;
1651 }
1652 }
1653 if (b) {
1654 TRACE(("%d => %.20s true\n", opnd, O2S(valuePtr)));
1655 TclDecrRefCount(valuePtr);
1656 ADJUST_PC(pcAdjustment);
1657 } else {
1658 TRACE(("%d => %.20s false, new pc %u\n",
1659 opnd, O2S(valuePtr),
1660 (unsigned int)(pc + opnd - codePtr->codeStart)));
1661 TclDecrRefCount(valuePtr);
1662 ADJUST_PC(opnd);
1663 }
1664 }
1665
1666 case INST_LOR:
1667 case INST_LAND:
1668 {
1669 /*
1670 * Operands must be boolean or numeric. No int->double
1671 * conversions are performed.
1672 */
1673
1674 int i1, i2;
1675 int iResult;
1676 char *s;
1677 Tcl_ObjType *t1Ptr, *t2Ptr;
1678
1679 value2Ptr = POP_OBJECT();
1680 valuePtr = POP_OBJECT();
1681 t1Ptr = valuePtr->typePtr;
1682 t2Ptr = value2Ptr->typePtr;
1683
1684 if ((t1Ptr == &tclIntType) || (t1Ptr == &tclBooleanType)) {
1685 i1 = (valuePtr->internalRep.longValue != 0);
1686 } else if (t1Ptr == &tclDoubleType) {
1687 i1 = (valuePtr->internalRep.doubleValue != 0.0);
1688 } else {
1689 s = Tcl_GetStringFromObj(valuePtr, &length);
1690 if (TclLooksLikeInt(s, length)) {
1691 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
1692 valuePtr, &i);
1693 i1 = (i != 0);
1694 } else {
1695 result = Tcl_GetBooleanFromObj((Tcl_Interp *) NULL,
1696 valuePtr, &i1);
1697 i1 = (i1 != 0);
1698 }
1699 if (result != TCL_OK) {
1700 TRACE(("\"%.20s\" => ILLEGAL TYPE %s \n",
1701 O2S(valuePtr),
1702 (t1Ptr? t1Ptr->name : "null")));
1703 IllegalExprOperandType(interp, pc, valuePtr);
1704 Tcl_DecrRefCount(valuePtr);
1705 Tcl_DecrRefCount(value2Ptr);
1706 goto checkForCatch;
1707 }
1708 }
1709
1710 if ((t2Ptr == &tclIntType) || (t2Ptr == &tclBooleanType)) {
1711 i2 = (value2Ptr->internalRep.longValue != 0);
1712 } else if (t2Ptr == &tclDoubleType) {
1713 i2 = (value2Ptr->internalRep.doubleValue != 0.0);
1714 } else {
1715 s = Tcl_GetStringFromObj(value2Ptr, &length);
1716 if (TclLooksLikeInt(s, length)) {
1717 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
1718 value2Ptr, &i);
1719 i2 = (i != 0);
1720 } else {
1721 result = Tcl_GetBooleanFromObj((Tcl_Interp *) NULL,
1722 value2Ptr, &i2);
1723 }
1724 if (result != TCL_OK) {
1725 TRACE(("\"%.20s\" => ILLEGAL TYPE %s \n",
1726 O2S(value2Ptr),
1727 (t2Ptr? t2Ptr->name : "null")));
1728 IllegalExprOperandType(interp, pc, value2Ptr);
1729 Tcl_DecrRefCount(valuePtr);
1730 Tcl_DecrRefCount(value2Ptr);
1731 goto checkForCatch;
1732 }
1733 }
1734
1735 /*
1736 * Reuse the valuePtr object already on stack if possible.
1737 */
1738
1739 if (*pc == INST_LOR) {
1740 iResult = (i1 || i2);
1741 } else {
1742 iResult = (i1 && i2);
1743 }
1744 if (Tcl_IsShared(valuePtr)) {
1745 PUSH_OBJECT(Tcl_NewLongObj(iResult));
1746 TRACE(("%.20s %.20s => %d\n",
1747 O2S(valuePtr), O2S(value2Ptr), iResult));
1748 TclDecrRefCount(valuePtr);
1749 } else { /* reuse the valuePtr object */
1750 TRACE(("%.20s %.20s => %d\n",
1751 O2S(valuePtr), O2S(value2Ptr), iResult));
1752 Tcl_SetLongObj(valuePtr, iResult);
1753 ++stackTop; /* valuePtr now on stk top has right r.c. */
1754 }
1755 TclDecrRefCount(value2Ptr);
1756 }
1757 ADJUST_PC(1);
1758
1759 case INST_EQ:
1760 case INST_NEQ:
1761 case INST_LT:
1762 case INST_GT:
1763 case INST_LE:
1764 case INST_GE:
1765 {
1766 /*
1767 * Any type is allowed but the two operands must have the
1768 * same type. We will compute value op value2.
1769 */
1770
1771 Tcl_ObjType *t1Ptr, *t2Ptr;
1772 char *s1 = NULL; /* Init. avoids compiler warning. */
1773 char *s2 = NULL; /* Init. avoids compiler warning. */
1774 long i2 = 0; /* Init. avoids compiler warning. */
1775 double d1 = 0.0; /* Init. avoids compiler warning. */
1776 double d2 = 0.0; /* Init. avoids compiler warning. */
1777 long iResult = 0; /* Init. avoids compiler warning. */
1778
1779 value2Ptr = POP_OBJECT();
1780 valuePtr = POP_OBJECT();
1781 t1Ptr = valuePtr->typePtr;
1782 t2Ptr = value2Ptr->typePtr;
1783
1784 /*
1785 * We only want to coerce numeric validation if
1786 * neither type is NULL. A NULL type means the arg is
1787 * essentially an empty object ("", {} or [list]).
1788 */
1789 if (!((((t1Ptr == NULL) && (valuePtr->bytes == NULL))
1790 || (valuePtr->bytes && (valuePtr->length == 0)))
1791 || (((t2Ptr == NULL) && (value2Ptr->bytes == NULL))
1792 || (value2Ptr->bytes && (value2Ptr->length == 0))))) {
1793 if ((t1Ptr != &tclIntType) && (t1Ptr != &tclDoubleType)) {
1794 s1 = Tcl_GetStringFromObj(valuePtr, &length);
1795 if (TclLooksLikeInt(s1, length)) {
1796 (void) Tcl_GetLongFromObj((Tcl_Interp *) NULL,
1797 valuePtr, &i);
1798 } else {
1799 (void) Tcl_GetDoubleFromObj((Tcl_Interp *) NULL,
1800 valuePtr, &d1);
1801 }
1802 t1Ptr = valuePtr->typePtr;
1803 }
1804 if ((t2Ptr != &tclIntType) && (t2Ptr != &tclDoubleType)) {
1805 s2 = Tcl_GetStringFromObj(value2Ptr, &length);
1806 if (TclLooksLikeInt(s2, length)) {
1807 (void) Tcl_GetLongFromObj((Tcl_Interp *) NULL,
1808 value2Ptr, &i2);
1809 } else {
1810 (void) Tcl_GetDoubleFromObj((Tcl_Interp *) NULL,
1811 value2Ptr, &d2);
1812 }
1813 t2Ptr = value2Ptr->typePtr;
1814 }
1815 }
1816 if (((t1Ptr != &tclIntType) && (t1Ptr != &tclDoubleType))
1817 || ((t2Ptr != &tclIntType) && (t2Ptr != &tclDoubleType))) {
1818 /*
1819 * One operand is not numeric. Compare as strings.
1820 */
1821 int cmpValue;
1822 s1 = Tcl_GetString(valuePtr);
1823 s2 = Tcl_GetString(value2Ptr);
1824 cmpValue = strcmp(s1, s2);
1825 switch (*pc) {
1826 case INST_EQ:
1827 iResult = (cmpValue == 0);
1828 break;
1829 case INST_NEQ:
1830 iResult = (cmpValue != 0);
1831 break;
1832 case INST_LT:
1833 iResult = (cmpValue < 0);
1834 break;
1835 case INST_GT:
1836 iResult = (cmpValue > 0);
1837 break;
1838 case INST_LE:
1839 iResult = (cmpValue <= 0);
1840 break;
1841 case INST_GE:
1842 iResult = (cmpValue >= 0);
1843 break;
1844 }
1845 } else if ((t1Ptr == &tclDoubleType)
1846 || (t2Ptr == &tclDoubleType)) {
1847 /*
1848 * Compare as doubles.
1849 */
1850 if (t1Ptr == &tclDoubleType) {
1851 d1 = valuePtr->internalRep.doubleValue;
1852 if (t2Ptr == &tclIntType) {
1853 d2 = value2Ptr->internalRep.longValue;
1854 } else {
1855 d2 = value2Ptr->internalRep.doubleValue;
1856 }
1857 } else { /* t1Ptr is int, t2Ptr is double */
1858 d1 = valuePtr->internalRep.longValue;
1859 d2 = value2Ptr->internalRep.doubleValue;
1860 }
1861 switch (*pc) {
1862 case INST_EQ:
1863 iResult = d1 == d2;
1864 break;
1865 case INST_NEQ:
1866 iResult = d1 != d2;
1867 break;
1868 case INST_LT:
1869 iResult = d1 < d2;
1870 break;
1871 case INST_GT:
1872 iResult = d1 > d2;
1873 break;
1874 case INST_LE:
1875 iResult = d1 <= d2;
1876 break;
1877 case INST_GE:
1878 iResult = d1 >= d2;
1879 break;
1880 }
1881 } else {
1882 /*
1883 * Compare as ints.
1884 */
1885 i = valuePtr->internalRep.longValue;
1886 i2 = value2Ptr->internalRep.longValue;
1887 switch (*pc) {
1888 case INST_EQ:
1889 iResult = i == i2;
1890 break;
1891 case INST_NEQ:
1892 iResult = i != i2;
1893 break;
1894 case INST_LT:
1895 iResult = i < i2;
1896 break;
1897 case INST_GT:
1898 iResult = i > i2;
1899 break;
1900 case INST_LE:
1901 iResult = i <= i2;
1902 break;
1903 case INST_GE:
1904 iResult = i >= i2;
1905 break;
1906 }
1907 }
1908
1909 /*
1910 * Reuse the valuePtr object already on stack if possible.
1911 */
1912
1913 if (Tcl_IsShared(valuePtr)) {
1914 PUSH_OBJECT(Tcl_NewLongObj(iResult));
1915 TRACE(("%.20s %.20s => %ld\n",
1916 O2S(valuePtr), O2S(value2Ptr), iResult));
1917 TclDecrRefCount(valuePtr);
1918 } else { /* reuse the valuePtr object */
1919 TRACE(("%.20s %.20s => %ld\n",
1920 O2S(valuePtr), O2S(value2Ptr), iResult));
1921 Tcl_SetLongObj(valuePtr, iResult);
1922 ++stackTop; /* valuePtr now on stk top has right r.c. */
1923 }
1924 TclDecrRefCount(value2Ptr);
1925 }
1926 ADJUST_PC(1);
1927
1928 case INST_MOD:
1929 case INST_LSHIFT:
1930 case INST_RSHIFT:
1931 case INST_BITOR:
1932 case INST_BITXOR:
1933 case INST_BITAND:
1934 {
1935 /*
1936 * Only integers are allowed. We compute value op value2.
1937 */
1938
1939 long i2, rem, negative;
1940 long iResult = 0; /* Init. avoids compiler warning. */
1941
1942 value2Ptr = POP_OBJECT();
1943 valuePtr = POP_OBJECT();
1944 if (valuePtr->typePtr == &tclIntType) {
1945 i = valuePtr->internalRep.longValue;
1946 } else { /* try to convert to int */
1947 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
1948 valuePtr, &i);
1949 if (result != TCL_OK) {
1950 TRACE(("%.20s %.20s => ILLEGAL 1st TYPE %s\n",
1951 O2S(valuePtr), O2S(value2Ptr),
1952 (valuePtr->typePtr?
1953 valuePtr->typePtr->name : "null")));
1954 IllegalExprOperandType(interp, pc, valuePtr);
1955 Tcl_DecrRefCount(valuePtr);
1956 Tcl_DecrRefCount(value2Ptr);
1957 goto checkForCatch;
1958 }
1959 }
1960 if (value2Ptr->typePtr == &tclIntType) {
1961 i2 = value2Ptr->internalRep.longValue;
1962 } else {
1963 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
1964 value2Ptr, &i2);
1965 if (result != TCL_OK) {
1966 TRACE(("%.20s %.20s => ILLEGAL 2nd TYPE %s\n",
1967 O2S(valuePtr), O2S(value2Ptr),
1968 (value2Ptr->typePtr?
1969 value2Ptr->typePtr->name : "null")));
1970 IllegalExprOperandType(interp, pc, value2Ptr);
1971 Tcl_DecrRefCount(valuePtr);
1972 Tcl_DecrRefCount(value2Ptr);
1973 goto checkForCatch;
1974 }
1975 }
1976
1977 switch (*pc) {
1978 case INST_MOD:
1979 /*
1980 * This code is tricky: C doesn't guarantee much about
1981 * the quotient or remainder, but Tcl does. The
1982 * remainder always has the same sign as the divisor and
1983 * a smaller absolute value.
1984 */
1985 if (i2 == 0) {
1986 TRACE(("%ld %ld => DIVIDE BY ZERO\n", i, i2));
1987 Tcl_DecrRefCount(valuePtr);
1988 Tcl_DecrRefCount(value2Ptr);
1989 goto divideByZero;
1990 }
1991 negative = 0;
1992 if (i2 < 0) {
1993 i2 = -i2;
1994 i = -i;
1995 negative = 1;
1996 }
1997 rem = i % i2;
1998 if (rem < 0) {
1999 rem += i2;
2000 }
2001 if (negative) {
2002 rem = -rem;
2003 }
2004 iResult = rem;
2005 break;
2006 case INST_LSHIFT:
2007 iResult = i << i2;
2008 break;
2009 case INST_RSHIFT:
2010 /*
2011 * The following code is a bit tricky: it ensures that
2012 * right shifts propagate the sign bit even on machines
2013 * where ">>" won't do it by default.
2014 */
2015 if (i < 0) {
2016 iResult = ~((~i) >> i2);
2017 } else {
2018 iResult = i >> i2;
2019 }
2020 break;
2021 case INST_BITOR:
2022 iResult = i | i2;
2023 break;
2024 case INST_BITXOR:
2025 iResult = i ^ i2;
2026 break;
2027 case INST_BITAND:
2028 iResult = i & i2;
2029 break;
2030 }
2031
2032 /*
2033 * Reuse the valuePtr object already on stack if possible.
2034 */
2035
2036 if (Tcl_IsShared(valuePtr)) {
2037 PUSH_OBJECT(Tcl_NewLongObj(iResult));
2038 TRACE(("%ld %ld => %ld\n", i, i2, iResult));
2039 TclDecrRefCount(valuePtr);
2040 } else { /* reuse the valuePtr object */
2041 TRACE(("%ld %ld => %ld\n", i, i2, iResult));
2042 Tcl_SetLongObj(valuePtr, iResult);
2043 ++stackTop; /* valuePtr now on stk top has right r.c. */
2044 }
2045 TclDecrRefCount(value2Ptr);
2046 }
2047 ADJUST_PC(1);
2048
2049 case INST_ADD:
2050 case INST_SUB:
2051 case INST_MULT:
2052 case INST_DIV:
2053 {
2054 /*
2055 * Operands must be numeric and ints get converted to floats
2056 * if necessary. We compute value op value2.
2057 */
2058
2059 Tcl_ObjType *t1Ptr, *t2Ptr;
2060 long i2, quot, rem;
2061 double d1, d2;
2062 long iResult = 0; /* Init. avoids compiler warning. */
2063 double dResult = 0.0; /* Init. avoids compiler warning. */
2064 int doDouble = 0; /* 1 if doing floating arithmetic */
2065
2066 value2Ptr = POP_OBJECT();
2067 valuePtr = POP_OBJECT();
2068 t1Ptr = valuePtr->typePtr;
2069 t2Ptr = value2Ptr->typePtr;
2070
2071 if (t1Ptr == &tclIntType) {
2072 i = valuePtr->internalRep.longValue;
2073 } else if ((t1Ptr == &tclDoubleType)
2074 && (valuePtr->bytes == NULL)) {
2075 /*
2076 * We can only use the internal rep directly if there is
2077 * no string rep. Otherwise the string rep might actually
2078 * look like an integer, which is preferred.
2079 */
2080
2081 d1 = valuePtr->internalRep.doubleValue;
2082 } else {
2083 char *s = Tcl_GetStringFromObj(valuePtr, &length);
2084 if (TclLooksLikeInt(s, length)) {
2085 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
2086 valuePtr, &i);
2087 } else {
2088 result = Tcl_GetDoubleFromObj((Tcl_Interp *) NULL,
2089 valuePtr, &d1);
2090 }
2091 if (result != TCL_OK) {
2092 TRACE(("%.20s %.20s => ILLEGAL 1st TYPE %s\n",
2093 s, O2S(valuePtr),
2094 (valuePtr->typePtr?
2095 valuePtr->typePtr->name : "null")));
2096 IllegalExprOperandType(interp, pc, valuePtr);
2097 Tcl_DecrRefCount(valuePtr);
2098 Tcl_DecrRefCount(value2Ptr);
2099 goto checkForCatch;
2100 }
2101 t1Ptr = valuePtr->typePtr;
2102 }
2103
2104 if (t2Ptr == &tclIntType) {
2105 i2 = value2Ptr->internalRep.longValue;
2106 } else if ((t2Ptr == &tclDoubleType)
2107 && (value2Ptr->bytes == NULL)) {
2108 /*
2109 * We can only use the internal rep directly if there is
2110 * no string rep. Otherwise the string rep might actually
2111 * look like an integer, which is preferred.
2112 */
2113
2114 d2 = value2Ptr->internalRep.doubleValue;
2115 } else {
2116 char *s = Tcl_GetStringFromObj(value2Ptr, &length);
2117 if (TclLooksLikeInt(s, length)) {
2118 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
2119 value2Ptr, &i2);
2120 } else {
2121 result = Tcl_GetDoubleFromObj((Tcl_Interp *) NULL,
2122 value2Ptr, &d2);
2123 }
2124 if (result != TCL_OK) {
2125 TRACE(("%.20s %.20s => ILLEGAL 2nd TYPE %s\n",
2126 O2S(value2Ptr), s,
2127 (value2Ptr->typePtr?
2128 value2Ptr->typePtr->name : "null")));
2129 IllegalExprOperandType(interp, pc, value2Ptr);
2130 Tcl_DecrRefCount(valuePtr);
2131 Tcl_DecrRefCount(value2Ptr);
2132 goto checkForCatch;
2133 }
2134 t2Ptr = value2Ptr->typePtr;
2135 }
2136
2137 if ((t1Ptr == &tclDoubleType) || (t2Ptr == &tclDoubleType)) {
2138 /*
2139 * Do double arithmetic.
2140 */
2141 doDouble = 1;
2142 if (t1Ptr == &tclIntType) {
2143 d1 = i; /* promote value 1 to double */
2144 } else if (t2Ptr == &tclIntType) {
2145 d2 = i2; /* promote value 2 to double */
2146 }
2147 switch (*pc) {
2148 case INST_ADD:
2149 dResult = d1 + d2;
2150 break;
2151 case INST_SUB:
2152 dResult = d1 - d2;
2153 break;
2154 case INST_MULT:
2155 dResult = d1 * d2;
2156 break;
2157 case INST_DIV:
2158 if (d2 == 0.0) {
2159 TRACE(("%.6g %.6g => DIVIDE BY ZERO\n", d1, d2));
2160 Tcl_DecrRefCount(valuePtr);
2161 Tcl_DecrRefCount(value2Ptr);
2162 goto divideByZero;
2163 }
2164 dResult = d1 / d2;
2165 break;
2166 }
2167
2168 /*
2169 * Check now for IEEE floating-point error.
2170 */
2171
2172 if (IS_NAN(dResult) || IS_INF(dResult)) {
2173 TRACE(("%.20s %.20s => IEEE FLOATING PT ERROR\n",
2174 O2S(valuePtr), O2S(value2Ptr)));
2175 TclExprFloatError(interp, dResult);
2176 result = TCL_ERROR;
2177 Tcl_DecrRefCount(valuePtr);
2178 Tcl_DecrRefCount(value2Ptr);
2179 goto checkForCatch;
2180 }
2181 } else {
2182 /*
2183 * Do integer arithmetic.
2184 */
2185 switch (*pc) {
2186 case INST_ADD:
2187 iResult = i + i2;
2188 break;
2189 case INST_SUB:
2190 iResult = i - i2;
2191 break;
2192 case INST_MULT:
2193 iResult = i * i2;
2194 break;
2195 case INST_DIV:
2196 /*
2197 * This code is tricky: C doesn't guarantee much
2198 * about the quotient or remainder, but Tcl does.
2199 * The remainder always has the same sign as the
2200 * divisor and a smaller absolute value.
2201 */
2202 if (i2 == 0) {
2203 TRACE(("%ld %ld => DIVIDE BY ZERO\n", i, i2));
2204 Tcl_DecrRefCount(valuePtr);
2205 Tcl_DecrRefCount(value2Ptr);
2206 goto divideByZero;
2207 }
2208 if (i2 < 0) {
2209 i2 = -i2;
2210 i = -i;
2211 }
2212 quot = i / i2;
2213 rem = i % i2;
2214 if (rem < 0) {
2215 quot -= 1;
2216 }
2217 iResult = quot;
2218 break;
2219 }
2220 }
2221
2222 /*
2223 * Reuse the valuePtr object already on stack if possible.
2224 */
2225
2226 if (Tcl_IsShared(valuePtr)) {
2227 if (doDouble) {
2228 PUSH_OBJECT(Tcl_NewDoubleObj(dResult));
2229 TRACE(("%.6g %.6g => %.6g\n", d1, d2, dResult));
2230 } else {
2231 PUSH_OBJECT(Tcl_NewLongObj(iResult));
2232 TRACE(("%ld %ld => %ld\n", i, i2, iResult));
2233 }
2234 TclDecrRefCount(valuePtr);
2235 } else { /* reuse the valuePtr object */
2236 if (doDouble) { /* NB: stack top is off by 1 */
2237 TRACE(("%.6g %.6g => %.6g\n", d1, d2, dResult));
2238 Tcl_SetDoubleObj(valuePtr, dResult);
2239 } else {
2240 TRACE(("%ld %ld => %ld\n", i, i2, iResult));
2241 Tcl_SetLongObj(valuePtr, iResult);
2242 }
2243 ++stackTop; /* valuePtr now on stk top has right r.c. */
2244 }
2245 TclDecrRefCount(value2Ptr);
2246 }
2247 ADJUST_PC(1);
2248
2249 case INST_UPLUS:
2250 {
2251 /*
2252 * Operand must be numeric.
2253 */
2254
2255 double d;
2256 Tcl_ObjType *tPtr;
2257
2258 valuePtr = stackPtr[stackTop];
2259 tPtr = valuePtr->typePtr;
2260 if ((tPtr != &tclIntType) && ((tPtr != &tclDoubleType)
2261 || (valuePtr->bytes != NULL))) {
2262 char *s = Tcl_GetStringFromObj(valuePtr, &length);
2263 if (TclLooksLikeInt(s, length)) {
2264 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
2265 valuePtr, &i);
2266 } else {
2267 result = Tcl_GetDoubleFromObj((Tcl_Interp *) NULL,
2268 valuePtr, &d);
2269 }
2270 if (result != TCL_OK) {
2271 TRACE(("\"%.20s\" => ILLEGAL TYPE %s \n",
2272 s, (tPtr? tPtr->name : "null")));
2273 IllegalExprOperandType(interp, pc, valuePtr);
2274 goto checkForCatch;
2275 }
2276 tPtr = valuePtr->typePtr;
2277 }
2278
2279 /*
2280 * Ensure that the operand's string rep is the same as the
2281 * formatted version of its internal rep. This makes sure
2282 * that "expr +000123" yields "83", not "000123". We
2283 * implement this by _discarding_ the string rep since we
2284 * know it will be regenerated, if needed later, by
2285 * formatting the internal rep's value.
2286 */
2287
2288 if (Tcl_IsShared(valuePtr)) {
2289 if (tPtr == &tclIntType) {
2290 i = valuePtr->internalRep.longValue;
2291 objPtr = Tcl_NewLongObj(i);
2292 } else {
2293 d = valuePtr->internalRep.doubleValue;
2294 objPtr = Tcl_NewDoubleObj(d);
2295 }
2296 Tcl_IncrRefCount(objPtr);
2297 Tcl_DecrRefCount(valuePtr);
2298 valuePtr = objPtr;
2299 stackPtr[stackTop] = valuePtr;
2300 } else {
2301 Tcl_InvalidateStringRep(valuePtr);
2302 }
2303 TRACE_WITH_OBJ(("%s => ", O2S(valuePtr)), valuePtr);
2304 }
2305 ADJUST_PC(1);
2306
2307 case INST_UMINUS:
2308 case INST_LNOT:
2309 {
2310 /*
2311 * The operand must be numeric. If the operand object is
2312 * unshared modify it directly, otherwise create a copy to
2313 * modify: this is "copy on write". free any old string
2314 * representation since it is now invalid.
2315 */
2316
2317 double d;
2318 Tcl_ObjType *tPtr;
2319
2320 valuePtr = POP_OBJECT();
2321 tPtr = valuePtr->typePtr;
2322 if ((tPtr != &tclIntType) && ((tPtr != &tclDoubleType)
2323 || (valuePtr->bytes != NULL))) {
2324 if ((tPtr == &tclBooleanType)
2325 && (valuePtr->bytes == NULL)) {
2326 valuePtr->typePtr = &tclIntType;
2327 } else {
2328 char *s = Tcl_GetStringFromObj(valuePtr, &length);
2329 if (TclLooksLikeInt(s, length)) {
2330 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
2331 valuePtr, &i);
2332 } else {
2333 result = Tcl_GetDoubleFromObj((Tcl_Interp *) NULL,
2334 valuePtr, &d);
2335 }
2336 if (result != TCL_OK) {
2337 TRACE(("\"%.20s\" => ILLEGAL TYPE %s\n",
2338 s, (tPtr? tPtr->name : "null")));
2339 IllegalExprOperandType(interp, pc, valuePtr);
2340 Tcl_DecrRefCount(valuePtr);
2341 goto checkForCatch;
2342 }
2343 }
2344 tPtr = valuePtr->typePtr;
2345 }
2346
2347 if (Tcl_IsShared(valuePtr)) {
2348 /*
2349 * Create a new object.
2350 */
2351 if (tPtr == &tclIntType) {
2352 i = valuePtr->internalRep.longValue;
2353 objPtr = Tcl_NewLongObj(
2354 (*pc == INST_UMINUS)? -i : !i);
2355 TRACE_WITH_OBJ(("%ld => ", i), objPtr);
2356 } else {
2357 d = valuePtr->internalRep.doubleValue;
2358 if (*pc == INST_UMINUS) {
2359 objPtr = Tcl_NewDoubleObj(-d);
2360 } else {
2361 /*
2362 * Should be able to use "!d", but apparently
2363 * some compilers can't handle it.
2364 */
2365 objPtr = Tcl_NewLongObj((d==0.0)? 1 : 0);
2366 }
2367 TRACE_WITH_OBJ(("%.6g => ", d), objPtr);
2368 }
2369 PUSH_OBJECT(objPtr);
2370 TclDecrRefCount(valuePtr);
2371 } else {
2372 /*
2373 * valuePtr is unshared. Modify it directly.
2374 */
2375 if (tPtr == &tclIntType) {
2376 i = valuePtr->internalRep.longValue;
2377 Tcl_SetLongObj(valuePtr,
2378 (*pc == INST_UMINUS)? -i : !i);
2379 TRACE_WITH_OBJ(("%ld => ", i), valuePtr);
2380 } else {
2381 d = valuePtr->internalRep.doubleValue;
2382 if (*pc == INST_UMINUS) {
2383 Tcl_SetDoubleObj(valuePtr, -d);
2384 } else {
2385 /*
2386 * Should be able to use "!d", but apparently
2387 * some compilers can't handle it.
2388 */
2389 Tcl_SetLongObj(valuePtr, (d==0.0)? 1 : 0);
2390 }
2391 TRACE_WITH_OBJ(("%.6g => ", d), valuePtr);
2392 }
2393 ++stackTop; /* valuePtr now on stk top has right r.c. */
2394 }
2395 }
2396 ADJUST_PC(1);
2397
2398 case INST_BITNOT:
2399 {
2400 /*
2401 * The operand must be an integer. If the operand object is
2402 * unshared modify it directly, otherwise modify a copy.
2403 * Free any old string representation since it is now
2404 * invalid.
2405 */
2406
2407 Tcl_ObjType *tPtr;
2408
2409 valuePtr = POP_OBJECT();
2410 tPtr = valuePtr->typePtr;
2411 if (tPtr != &tclIntType) {
2412 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
2413 valuePtr, &i);
2414 if (result != TCL_OK) { /* try to convert to double */
2415 TRACE(("\"%.20s\" => ILLEGAL TYPE %s\n",
2416 O2S(valuePtr), (tPtr? tPtr->name : "null")));
2417 IllegalExprOperandType(interp, pc, valuePtr);
2418 Tcl_DecrRefCount(valuePtr);
2419 goto checkForCatch;
2420 }
2421 }
2422
2423 i = valuePtr->internalRep.longValue;
2424 if (Tcl_IsShared(valuePtr)) {
2425 PUSH_OBJECT(Tcl_NewLongObj(~i));
2426 TRACE(("0x%lx => (%lu)\n", i, ~i));
2427 TclDecrRefCount(valuePtr);
2428 } else {
2429 /*
2430 * valuePtr is unshared. Modify it directly.
2431 */
2432 Tcl_SetLongObj(valuePtr, ~i);
2433 ++stackTop; /* valuePtr now on stk top has right r.c. */
2434 TRACE(("0x%lx => (%lu)\n", i, ~i));
2435 }
2436 }
2437 ADJUST_PC(1);
2438
2439 case INST_CALL_BUILTIN_FUNC1:
2440 opnd = TclGetUInt1AtPtr(pc+1);
2441 {
2442 /*
2443 * Call one of the built-in Tcl math functions.
2444 */
2445
2446 BuiltinFunc *mathFuncPtr;
2447 ThreadSpecificData *tsdPtr = TCL_TSD_INIT(&dataKey);
2448
2449 if ((opnd < 0) || (opnd > LAST_BUILTIN_FUNC)) {
2450 TRACE(("UNRECOGNIZED BUILTIN FUNC CODE %d\n", opnd));
2451 panic("TclExecuteByteCode: unrecognized builtin function code %d", opnd);
2452 }
2453 mathFuncPtr = &(builtinFuncTable[opnd]);
2454 DECACHE_STACK_INFO();
2455 tsdPtr->mathInProgress++;
2456 result = (*mathFuncPtr->proc)(interp, eePtr,
2457 mathFuncPtr->clientData);
2458 tsdPtr->mathInProgress--;
2459 CACHE_STACK_INFO();
2460 if (result != TCL_OK) {
2461 goto checkForCatch;
2462 }
2463 TRACE_WITH_OBJ(("%d => ", opnd), stackPtr[stackTop]);
2464 }
2465 ADJUST_PC(2);
2466
2467 case INST_CALL_FUNC1:
2468 opnd = TclGetUInt1AtPtr(pc+1);
2469 {
2470 /*
2471 * Call a non-builtin Tcl math function previously
2472 * registered by a call to Tcl_CreateMathFunc.
2473 */
2474
2475 int objc = opnd; /* Number of arguments. The function name
2476 * is the 0-th argument. */
2477 Tcl_Obj **objv; /* The array of arguments. The function
2478 * name is objv[0]. */
2479 ThreadSpecificData *tsdPtr = TCL_TSD_INIT(&dataKey);
2480
2481 objv = &(stackPtr[stackTop - (objc-1)]); /* "objv[0]" */
2482 DECACHE_STACK_INFO();
2483 tsdPtr->mathInProgress++;
2484 result = ExprCallMathFunc(interp, eePtr, objc, objv);
2485 tsdPtr->mathInProgress--;
2486 CACHE_STACK_INFO();
2487 if (result != TCL_OK) {
2488 goto checkForCatch;
2489 }
2490 TRACE_WITH_OBJ(("%d => ", objc), stackPtr[stackTop]);
2491 ADJUST_PC(2);
2492 }
2493
2494 case INST_TRY_CVT_TO_NUMERIC:
2495 {
2496 /*
2497 * Try to convert the topmost stack object to an int or
2498 * double object. This is done in order to support Tcl's
2499 * policy of interpreting operands if at all possible as
2500 * first integers, else floating-point numbers.
2501 */
2502
2503 double d;
2504 char *s;
2505 Tcl_ObjType *tPtr;
2506 int converted, shared;
2507
2508 valuePtr = stackPtr[stackTop];
2509 tPtr = valuePtr->typePtr;
2510 converted = 0;
2511 if ((tPtr != &tclIntType) && ((tPtr != &tclDoubleType)
2512 || (valuePtr->bytes != NULL))) {
2513 if ((tPtr == &tclBooleanType)
2514 && (valuePtr->bytes == NULL)) {
2515 valuePtr->typePtr = &tclIntType;
2516 converted = 1;
2517 } else {
2518 s = Tcl_GetStringFromObj(valuePtr, &length);
2519 if (TclLooksLikeInt(s, length)) {
2520 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL,
2521 valuePtr, &i);
2522 } else {
2523 result = Tcl_GetDoubleFromObj((Tcl_Interp *) NULL,
2524 valuePtr, &d);
2525 }
2526 if (result == TCL_OK) {
2527 converted = 1;
2528 }
2529 result = TCL_OK; /* reset the result variable */
2530 }
2531 tPtr = valuePtr->typePtr;
2532 }
2533
2534 /*
2535 * Ensure that the topmost stack object, if numeric, has a
2536 * string rep the same as the formatted version of its
2537 * internal rep. This is used, e.g., to make sure that "expr
2538 * {0001}" yields "1", not "0001". We implement this by
2539 * _discarding_ the string rep since we know it will be
2540 * regenerated, if needed later, by formatting the internal
2541 * rep's value. Also check if there has been an IEEE
2542 * floating point error.
2543 */
2544
2545 if ((tPtr == &tclIntType) || (tPtr == &tclDoubleType)) {
2546 shared = 0;
2547 if (Tcl_IsShared(valuePtr)) {
2548 shared = 1;
2549 if (valuePtr->bytes != NULL) {
2550 /*
2551 * We only need to make a copy of the object
2552 * when it already had a string rep
2553 */
2554 if (tPtr == &tclIntType) {
2555 i = valuePtr->internalRep.longValue;
2556 objPtr = Tcl_NewLongObj(i);
2557 } else {
2558 d = valuePtr->internalRep.doubleValue;
2559 objPtr = Tcl_NewDoubleObj(d);
2560 }
2561 Tcl_IncrRefCount(objPtr);
2562 TclDecrRefCount(valuePtr);
2563 valuePtr = objPtr;
2564 stackPtr[stackTop] = valuePtr;
2565 tPtr = valuePtr->typePtr;
2566 }
2567 } else {
2568 Tcl_InvalidateStringRep(valuePtr);
2569 }
2570
2571 if (tPtr == &tclDoubleType) {
2572 d = valuePtr->internalRep.doubleValue;
2573 if (IS_NAN(d) || IS_INF(d)) {
2574 TRACE(("\"%.20s\" => IEEE FLOATING PT ERROR\n",
2575 O2S(valuePtr)));
2576 TclExprFloatError(interp, d);
2577 result = TCL_ERROR;
2578 goto checkForCatch;
2579 }
2580 }
2581 shared = shared; /* lint, shared not used. */
2582 converted = converted; /* lint, converted not used. */
2583 TRACE(("\"%.20s\" => numeric, %s, %s\n", O2S(valuePtr),
2584 (converted? "converted" : "not converted"),
2585 (shared? "shared" : "not shared")));
2586 } else {
2587 TRACE(("\"%.20s\" => not numeric\n", O2S(valuePtr)));
2588 }
2589 }
2590 ADJUST_PC(1);
2591
2592 case INST_BREAK:
2593 /*
2594 * First reset the interpreter's result. Then find the closest
2595 * enclosing loop or catch exception range, if any. If a loop is
2596 * found, terminate its execution. If the closest is a catch
2597 * exception range, jump to its catchOffset. If no enclosing
2598 * range is found, stop execution and return TCL_BREAK.
2599 */
2600
2601 Tcl_ResetResult(interp);
2602 rangePtr = GetExceptRangeForPc(pc, /*catchOnly*/ 0, codePtr);
2603 if (rangePtr == NULL) {
2604 TRACE(("=> no encl. loop or catch, returning TCL_BREAK\n"));
2605 result = TCL_BREAK;
2606 goto abnormalReturn; /* no catch exists to check */
2607 }
2608 switch (rangePtr->type) {
2609 case LOOP_EXCEPTION_RANGE:
2610 result = TCL_OK;
2611 TRACE(("=> range at %d, new pc %d\n",
2612 rangePtr->codeOffset, rangePtr->breakOffset));
2613 break;
2614 case CATCH_EXCEPTION_RANGE:
2615 result = TCL_BREAK;
2616 TRACE(("=> ...\n"));
2617 goto processCatch; /* it will use rangePtr */
2618 default:
2619 panic("TclExecuteByteCode: unrecognized ExceptionRange type %d\n", rangePtr->type);
2620 }
2621 pc = (codePtr->codeStart + rangePtr->breakOffset);
2622 continue; /* restart outer instruction loop at pc */
2623
2624 case INST_CONTINUE:
2625 /*
2626 * Find the closest enclosing loop or catch exception range,
2627 * if any. If a loop is found, skip to its next iteration.
2628 * If the closest is a catch exception range, jump to its
2629 * catchOffset. If no enclosing range is found, stop
2630 * execution and return TCL_CONTINUE.
2631 */
2632
2633 Tcl_ResetResult(interp);
2634 rangePtr = GetExceptRangeForPc(pc, /*catchOnly*/ 0, codePtr);
2635 if (rangePtr == NULL) {
2636 TRACE(("=> no encl. loop or catch, returning TCL_CONTINUE\n"));
2637 result = TCL_CONTINUE;
2638 goto abnormalReturn;
2639 }
2640 switch (rangePtr->type) {
2641 case LOOP_EXCEPTION_RANGE:
2642 if (rangePtr->continueOffset == -1) {
2643 TRACE(("=> loop w/o continue, checking for catch\n"));
2644 goto checkForCatch;
2645 } else {
2646 result = TCL_OK;
2647 TRACE(("=> range at %d, new pc %d\n",
2648 rangePtr->codeOffset, rangePtr->continueOffset));
2649 }
2650 break;
2651 case CATCH_EXCEPTION_RANGE:
2652 result = TCL_CONTINUE;
2653 TRACE(("=> ...\n"));
2654 goto processCatch; /* it will use rangePtr */
2655 default:
2656 panic("TclExecuteByteCode: unrecognized ExceptionRange type %d\n", rangePtr->type);
2657 }
2658 pc = (codePtr->codeStart + rangePtr->continueOffset);
2659 continue; /* restart outer instruction loop at pc */
2660
2661 case INST_FOREACH_START4:
2662 opnd = TclGetUInt4AtPtr(pc+1);
2663 {
2664 /*
2665 * Initialize the temporary local var that holds the count
2666 * of the number of iterations of the loop body to -1.
2667 */
2668
2669 ForeachInfo *infoPtr = (ForeachInfo *)
2670 codePtr->auxDataArrayPtr[opnd].clientData;
2671 int iterTmpIndex = infoPtr->loopCtTemp;
2672 Var *compiledLocals = iPtr->varFramePtr->compiledLocals;
2673 Var *iterVarPtr = &(compiledLocals[iterTmpIndex]);
2674 Tcl_Obj *oldValuePtr = iterVarPtr->value.objPtr;
2675
2676 if (oldValuePtr == NULL) {
2677 iterVarPtr->value.objPtr = Tcl_NewLongObj(-1);
2678 Tcl_IncrRefCount(iterVarPtr->value.objPtr);
2679 } else {
2680 Tcl_SetLongObj(oldValuePtr, -1);
2681 }
2682 TclSetVarScalar(iterVarPtr);
2683 TclClearVarUndefined(iterVarPtr);
2684 TRACE(("%u => loop iter count temp %d\n",
2685 opnd, iterTmpIndex));
2686 }
2687 ADJUST_PC(5);
2688
2689 case INST_FOREACH_STEP4:
2690 opnd = TclGetUInt4AtPtr(pc+1);
2691 {
2692 /*
2693 * "Step" a foreach loop (i.e., begin its next iteration) by
2694 * assigning the next value list element to each loop var.
2695 */
2696
2697 ForeachInfo *infoPtr = (ForeachInfo *)
2698 codePtr->auxDataArrayPtr[opnd].clientData;
2699 ForeachVarList *varListPtr;
2700 int numLists = infoPtr->numLists;
2701 Var *compiledLocals = iPtr->varFramePtr->compiledLocals;
2702 Tcl_Obj *listPtr;
2703 List *listRepPtr;
2704 Var *iterVarPtr, *listVarPtr;
2705 int iterNum, listTmpIndex, listLen, numVars;
2706 int varIndex, valIndex, continueLoop, j;
2707
2708 /*
2709 * Increment the temp holding the loop iteration number.
2710 */
2711
2712 iterVarPtr = &(compiledLocals[infoPtr->loopCtTemp]);
2713 valuePtr = iterVarPtr->value.objPtr;
2714 iterNum = (valuePtr->internalRep.longValue + 1);
2715 Tcl_SetLongObj(valuePtr, iterNum);
2716
2717 /*
2718 * Check whether all value lists are exhausted and we should
2719 * stop the loop.
2720 */
2721
2722 continueLoop = 0;
2723 listTmpIndex = infoPtr->firstValueTemp;
2724 for (i = 0; i < numLists; i++) {
2725 varListPtr = infoPtr->varLists[i];
2726 numVars = varListPtr->numVars;
2727
2728 listVarPtr = &(compiledLocals[listTmpIndex]);
2729 listPtr = listVarPtr->value.objPtr;
2730 result = Tcl_ListObjLength(interp, listPtr, &listLen);
2731 if (result != TCL_OK) {
2732 TRACE_WITH_OBJ(("%u => ERROR converting list %ld, \"%s\": ",
2733 opnd, i, O2S(listPtr)),
2734 Tcl_GetObjResult(interp));
2735 goto checkForCatch;
2736 }
2737 if (listLen > (iterNum * numVars)) {
2738 continueLoop = 1;
2739 }
2740 listTmpIndex++;
2741 }
2742
2743 /*
2744 * If some var in some var list still has a remaining list
2745 * element iterate one more time. Assign to var the next
2746 * element from its value list. We already checked above
2747 * that each list temp holds a valid list object.
2748 */
2749
2750 if (continueLoop) {
2751 listTmpIndex = infoPtr->firstValueTemp;
2752 for (i = 0; i < numLists; i++) {
2753 varListPtr = infoPtr->varLists[i];
2754 numVars = varListPtr->numVars;
2755
2756 listVarPtr = &(compiledLocals[listTmpIndex]);
2757 listPtr = listVarPtr->value.objPtr;
2758 listRepPtr = (List *) listPtr->internalRep.otherValuePtr;
2759 listLen = listRepPtr->elemCount;
2760
2761 valIndex = (iterNum * numVars);
2762 for (j = 0; j < numVars; j++) {
2763 int setEmptyStr = 0;
2764 if (valIndex >= listLen) {
2765 setEmptyStr = 1;
2766 valuePtr = Tcl_NewObj();
2767 } else {
2768 valuePtr = listRepPtr->elements[valIndex];
2769 }
2770
2771 varIndex = varListPtr->varIndexes[j];
2772 DECACHE_STACK_INFO();
2773 value2Ptr = TclSetIndexedScalar(interp,
2774 varIndex, valuePtr, /*leaveErrorMsg*/ 1);
2775 CACHE_STACK_INFO();
2776 if (value2Ptr == NULL) {
2777 TRACE_WITH_OBJ(("%u => ERROR init. index temp %d: ",
2778 opnd, varIndex),
2779 Tcl_GetObjResult(interp));
2780 if (setEmptyStr) {
2781 Tcl_DecrRefCount(valuePtr);
2782 }
2783 result = TCL_ERROR;
2784 goto checkForCatch;
2785 }
2786 valIndex++;
2787 }
2788 listTmpIndex++;
2789 }
2790 }
2791
2792 /*
2793 * Push 1 if at least one value list had a remaining element
2794 * and the loop should continue. Otherwise push 0.
2795 */
2796
2797 PUSH_OBJECT(Tcl_NewLongObj(continueLoop));
2798 TRACE(("%u => %d lists, iter %d, %s loop\n",
2799 opnd, numLists, iterNum,
2800 (continueLoop? "continue" : "exit")));
2801 }
2802 ADJUST_PC(5);
2803
2804 case INST_BEGIN_CATCH4:
2805 /*
2806 * Record start of the catch command with exception range index
2807 * equal to the operand. Push the current stack depth onto the
2808 * special catch stack.
2809 */
2810 catchStackPtr[++catchTop] = stackTop;
2811 TRACE(("%u => catchTop=%d, stackTop=%d\n",
2812 TclGetUInt4AtPtr(pc+1), catchTop, stackTop));
2813 ADJUST_PC(5);
2814
2815 case INST_END_CATCH:
2816 catchTop--;
2817 result = TCL_OK;
2818 TRACE(("=> catchTop=%d\n", catchTop));
2819 ADJUST_PC(1);
2820
2821 case INST_PUSH_RESULT:
2822 PUSH_OBJECT(Tcl_GetObjResult(interp));
2823 TRACE_WITH_OBJ(("=> "), Tcl_GetObjResult(interp));
2824 ADJUST_PC(1);
2825
2826 case INST_PUSH_RETURN_CODE:
2827 PUSH_OBJECT(Tcl_NewLongObj(result));
2828 TRACE(("=> %u\n", result));
2829 ADJUST_PC(1);
2830
2831 default:
2832 panic("TclExecuteByteCode: unrecognized opCode %u", *pc);
2833 } /* end of switch on opCode */
2834
2835 /*
2836 * Division by zero in an expression. Control only reaches this
2837 * point by "goto divideByZero".
2838 */
2839
2840 divideByZero:
2841 Tcl_ResetResult(interp);
2842 Tcl_AppendToObj(Tcl_GetObjResult(interp), "divide by zero", -1);
2843 Tcl_SetErrorCode(interp, "ARITH", "DIVZERO", "divide by zero",
2844 (char *) NULL);
2845 result = TCL_ERROR;
2846
2847 /*
2848 * Execution has generated an "exception" such as TCL_ERROR. If the
2849 * exception is an error, record information about what was being
2850 * executed when the error occurred. Find the closest enclosing
2851 * catch range, if any. If no enclosing catch range is found, stop
2852 * execution and return the "exception" code.
2853 */
2854
2855 checkForCatch:
2856 if ((result == TCL_ERROR) && !(iPtr->flags & ERR_ALREADY_LOGGED)) {
2857 bytes = GetSrcInfoForPc(pc, codePtr, &length);
2858 if (bytes != NULL) {
2859 Tcl_LogCommandInfo(interp, codePtr->source, bytes, length);
2860 iPtr->flags |= ERR_ALREADY_LOGGED;
2861 }
2862 }
2863 rangePtr = GetExceptRangeForPc(pc, /*catchOnly*/ 1, codePtr);
2864 if (rangePtr == NULL) {
2865 #ifdef TCL_COMPILE_DEBUG
2866 if (traceInstructions) {
2867 fprintf(stdout, " ... no enclosing catch, returning %s\n",
2868 StringForResultCode(result));
2869 }
2870 #endif
2871 goto abnormalReturn;
2872 }
2873
2874 /*
2875 * A catch exception range (rangePtr) was found to handle an
2876 * "exception". It was found either by checkForCatch just above or
2877 * by an instruction during break, continue, or error processing.
2878 * Jump to its catchOffset after unwinding the operand stack to
2879 * the depth it had when starting to execute the range's catch
2880 * command.
2881 */
2882
2883 processCatch:
2884 while (stackTop > catchStackPtr[catchTop]) {
2885 valuePtr = POP_OBJECT();
2886 TclDecrRefCount(valuePtr);
2887 }
2888 #ifdef TCL_COMPILE_DEBUG
2889 if (traceInstructions) {
2890 fprintf(stdout, " ... found catch at %d, catchTop=%d, unwound to %d, new pc %u\n",
2891 rangePtr->codeOffset, catchTop, catchStackPtr[catchTop],
2892 (unsigned int)(rangePtr->catchOffset));
2893 }
2894 #endif
2895 pc = (codePtr->codeStart + rangePtr->catchOffset);
2896 continue; /* restart the execution loop at pc */
2897 } /* end of infinite loop dispatching on instructions */
2898
2899 /*
2900 * Abnormal return code. Restore the stack to state it had when starting
2901 * to execute the ByteCode.
2902 */
2903
2904 abnormalReturn:
2905 while (stackTop > initStackTop) {
2906 valuePtr = POP_OBJECT();
2907 Tcl_DecrRefCount(valuePtr);
2908 }
2909
2910 /*
2911 * Free the catch stack array if malloc'ed storage was used.
2912 */
2913
2914 done:
2915 if (catchStackPtr != catchStackStorage) {
2916 ckfree((char *) catchStackPtr);
2917 }
2918 eePtr->stackTop = initStackTop;
2919 return result;
2920 #undef STATIC_CATCH_STACK_SIZE
2921 }
2922
2923 #ifdef TCL_COMPILE_DEBUG
2924 /*
2925 *----------------------------------------------------------------------
2926 *
2927 * PrintByteCodeInfo --
2928 *
2929 * This procedure prints a summary about a bytecode object to stdout.
2930 * It is called by TclExecuteByteCode when starting to execute the
2931 * bytecode object if tclTraceExec has the value 2 or more.
2932 *
2933 * Results:
2934 * None.
2935 *
2936 * Side effects:
2937 * None.
2938 *
2939 *----------------------------------------------------------------------
2940 */
2941
2942 static void
2943 PrintByteCodeInfo(codePtr)
2944 register ByteCode *codePtr; /* The bytecode whose summary is printed
2945 * to stdout. */
2946 {
2947 Proc *procPtr = codePtr->procPtr;
2948 Interp *iPtr = (Interp *) *codePtr->interpHandle;
2949
2950 fprintf(stdout, "\nExecuting ByteCode 0x%x, refCt %u, epoch %u, interp 0x%x (epoch %u)\n",
2951 (unsigned int) codePtr, codePtr->refCount,
2952 codePtr->compileEpoch, (unsigned int) iPtr,
2953 iPtr->compileEpoch);
2954
2955 fprintf(stdout, " Source: ");
2956 TclPrintSource(stdout, codePtr->source, 60);
2957
2958 fprintf(stdout, "\n Cmds %d, src %d, inst %u, litObjs %u, aux %d, stkDepth %u, code/src %.2f\n",
2959 codePtr->numCommands, codePtr->numSrcBytes,
2960 codePtr->numCodeBytes, codePtr->numLitObjects,
2961 codePtr->numAuxDataItems, codePtr->maxStackDepth,
2962 #ifdef TCL_COMPILE_STATS
2963 (codePtr->numSrcBytes?
2964 ((float)codePtr->structureSize)/((float)codePtr->numSrcBytes) : 0.0));
2965 #else
2966 0.0);
2967 #endif
2968 #ifdef TCL_COMPILE_STATS
2969 fprintf(stdout, " Code %d = header %d+inst %d+litObj %d+exc %d+aux %d+cmdMap %d\n",
2970 codePtr->structureSize,
2971 (sizeof(ByteCode) - (sizeof(size_t) + sizeof(Tcl_Time))),
2972 codePtr->numCodeBytes,
2973 (codePtr->numLitObjects * sizeof(Tcl_Obj *)),
2974 (codePtr->numExceptRanges * sizeof(ExceptionRange)),
2975 (codePtr->numAuxDataItems * sizeof(AuxData)),
2976 codePtr->numCmdLocBytes);
2977 #endif /* TCL_COMPILE_STATS */
2978 if (procPtr != NULL) {
2979 fprintf(stdout,
2980 " Proc 0x%x, refCt %d, args %d, compiled locals %d\n",
2981 (unsigned int) procPtr, procPtr->refCount,
2982 procPtr->numArgs, procPtr->numCompiledLocals);
2983 }
2984 }
2985 #endif /* TCL_COMPILE_DEBUG */
2986
2987 /*
2988 *----------------------------------------------------------------------
2989 *
2990 * ValidatePcAndStackTop --
2991 *
2992 * This procedure is called by TclExecuteByteCode when debugging to
2993 * verify that the program counter and stack top are valid during
2994 * execution.
2995 *
2996 * Results:
2997 * None.
2998 *
2999 * Side effects:
3000 * Prints a message to stderr and panics if either the pc or stack
3001 * top are invalid.
3002 *
3003 *----------------------------------------------------------------------
3004 */
3005
3006 #ifdef TCL_COMPILE_DEBUG
3007 static void
3008 ValidatePcAndStackTop(codePtr, pc, stackTop, stackLowerBound,
3009 stackUpperBound)
3010 register ByteCode *codePtr; /* The bytecode whose summary is printed
3011 * to stdout. */
3012 unsigned char *pc; /* Points to first byte of a bytecode
3013 * instruction. The program counter. */
3014 int stackTop; /* Current stack top. Must be between
3015 * stackLowerBound and stackUpperBound
3016 * (inclusive). */
3017 int stackLowerBound; /* Smallest legal value for stackTop. */
3018 int stackUpperBound; /* Greatest legal value for stackTop. */
3019 {
3020 unsigned int relativePc = (unsigned int) (pc - codePtr->codeStart);
3021 unsigned int codeStart = (unsigned int) codePtr->codeStart;
3022 unsigned int codeEnd = (unsigned int)
3023 (codePtr->codeStart + codePtr->numCodeBytes);
3024 unsigned char opCode = *pc;
3025
3026 if (((unsigned int) pc < codeStart) || ((unsigned int) pc > codeEnd)) {
3027 fprintf(stderr, "\nBad instruction pc 0x%x in TclExecuteByteCode\n",
3028 (unsigned int) pc);
3029 panic("TclExecuteByteCode execution failure: bad pc");
3030 }
3031 if ((unsigned int) opCode > LAST_INST_OPCODE) {
3032 fprintf(stderr, "\nBad opcode %d at pc %u in TclExecuteByteCode\n",
3033 (unsigned int) opCode, relativePc);
3034 panic("TclExecuteByteCode execution failure: bad opcode");
3035 }
3036 if ((stackTop < stackLowerBound) || (stackTop > stackUpperBound)) {
3037 int numChars;
3038 char *cmd = GetSrcInfoForPc(pc, codePtr, &numChars);
3039 char *ellipsis = "";
3040
3041 fprintf(stderr, "\nBad stack top %d at pc %u in TclExecuteByteCode",
3042 stackTop, relativePc);
3043 if (cmd != NULL) {
3044 if (numChars > 100) {
3045 numChars = 100;
3046 ellipsis = "...";
3047 }
3048 fprintf(stderr, "\n executing %.*s%s\n", numChars, cmd,
3049 ellipsis);
3050 } else {
3051 fprintf(stderr, "\n");
3052 }
3053 panic("TclExecuteByteCode execution failure: bad stack top");
3054 }
3055 }
3056 #endif /* TCL_COMPILE_DEBUG */
3057
3058 /*
3059 *----------------------------------------------------------------------
3060 *
3061 * IllegalExprOperandType --
3062 *
3063 * Used by TclExecuteByteCode to add an error message to errorInfo
3064 * when an illegal operand type is detected by an expression
3065 * instruction. The argument opndPtr holds the operand object in error.
3066 *
3067 * Results:
3068 * None.
3069 *
3070 * Side effects:
3071 * An error message is appended to errorInfo.
3072 *
3073 *----------------------------------------------------------------------
3074 */
3075
3076 static void
3077 IllegalExprOperandType(interp, pc, opndPtr)
3078 Tcl_Interp *interp; /* Interpreter to which error information
3079 * pertains. */
3080 unsigned char *pc; /* Points to the instruction being executed
3081 * when the illegal type was found. */
3082 Tcl_Obj *opndPtr; /* Points to the operand holding the value
3083 * with the illegal type. */
3084 {
3085 unsigned char opCode = *pc;
3086
3087 Tcl_ResetResult(interp);
3088 if ((opndPtr->bytes == NULL) || (opndPtr->length == 0)) {
3089 Tcl_AppendStringsToObj(Tcl_GetObjResult(interp),
3090 "can't use empty string as operand of \"",
3091 operatorStrings[opCode - INST_LOR], "\"", (char *) NULL);
3092 } else {
3093 char *msg = "non-numeric string";
3094 if (opndPtr->typePtr != &tclDoubleType) {
3095 /*
3096 * See if the operand can be interpreted as a double in order to
3097 * improve the error message.
3098 */
3099
3100 char *s = Tcl_GetString(opndPtr);
3101 double d;
3102
3103 if (Tcl_GetDouble((Tcl_Interp *) NULL, s, &d) == TCL_OK) {
3104 /*
3105 * Make sure that what appears to be a double
3106 * (ie 08) isn't really a bad octal
3107 */
3108 if (TclCheckBadOctal(NULL, Tcl_GetString(opndPtr))) {
3109 msg = "invalid octal number";
3110 } else {
3111 msg = "floating-point value";
3112 }
3113 }
3114 }
3115 Tcl_AppendStringsToObj(Tcl_GetObjResult(interp), "can't use ",
3116 msg, " as operand of \"", operatorStrings[opCode - INST_LOR],
3117 "\"", (char *) NULL);
3118 }
3119 }
3120
3121 /*
3122 *----------------------------------------------------------------------
3123 *
3124 * CallTraceProcedure --
3125 *
3126 * Invokes a trace procedure registered with an interpreter. These
3127 * procedures trace command execution. Currently this trace procedure
3128 * is called with the address of the string-based Tcl_CmdProc for the
3129 * command, not the Tcl_ObjCmdProc.
3130 *
3131 * Results:
3132 * None.
3133 *
3134 * Side effects:
3135 * Those side effects made by the trace procedure.
3136 *
3137 *----------------------------------------------------------------------
3138 */
3139
3140 static void
3141 CallTraceProcedure(interp, tracePtr, cmdPtr, command, numChars, objc, objv)
3142 Tcl_Interp *interp; /* The current interpreter. */
3143 register Trace *tracePtr; /* Describes the trace procedure to call. */
3144 Command *cmdPtr; /* Points to command's Command struct. */
3145 char *command; /* Points to the first character of the
3146 * command's source before substitutions. */
3147 int numChars; /* The number of characters in the
3148 * command's source. */
3149 register int objc; /* Number of arguments for the command. */
3150 Tcl_Obj *objv[]; /* Pointers to Tcl_Obj of each argument. */
3151 {
3152 Interp *iPtr = (Interp *) interp;
3153 register char **argv;
3154 register int i;
3155 int length;
3156 char *p;
3157
3158 /*
3159 * Get the string rep from the objv argument objects and place their
3160 * pointers in argv. First make sure argv is large enough to hold the
3161 * objc args plus 1 extra word for the zero end-of-argv word.
3162 */
3163
3164 argv = (char **) ckalloc((unsigned)(objc + 1) * sizeof(char *));
3165 for (i = 0; i < objc; i++) {
3166 argv[i] = Tcl_GetStringFromObj(objv[i], &length);
3167 }
3168 argv[objc] = 0;
3169
3170 /*
3171 * Copy the command characters into a new string.
3172 */
3173
3174 p = (char *) ckalloc((unsigned) (numChars + 1));
3175 memcpy((VOID *) p, (VOID *) command, (size_t) numChars);
3176 p[numChars] = '\0';
3177
3178 /*
3179 * Call the trace procedure then free allocated storage.
3180 */
3181
3182 (*tracePtr->proc)(tracePtr->clientData, interp, iPtr->numLevels,
3183 p, cmdPtr->proc, cmdPtr->clientData, objc, argv);
3184
3185 ckfree((char *) argv);
3186 ckfree((char *) p);
3187 }
3188
3189 /*
3190 *----------------------------------------------------------------------
3191 *
3192 * GetSrcInfoForPc --
3193 *
3194 * Given a program counter value, finds the closest command in the
3195 * bytecode code unit's CmdLocation array and returns information about
3196 * that command's source: a pointer to its first byte and the number of
3197 * characters.
3198 *
3199 * Results:
3200 * If a command is found that encloses the program counter value, a
3201 * pointer to the command's source is returned and the length of the
3202 * source is stored at *lengthPtr. If multiple commands resulted in
3203 * code at pc, information about the closest enclosing command is
3204 * returned. If no matching command is found, NULL is returned and
3205 * *lengthPtr is unchanged.
3206 *
3207 * Side effects:
3208 * None.
3209 *
3210 *----------------------------------------------------------------------
3211 */
3212
3213 static char *
3214 GetSrcInfoForPc(pc, codePtr, lengthPtr)
3215 unsigned char *pc; /* The program counter value for which to
3216 * return the closest command's source info.
3217 * This points to a bytecode instruction
3218 * in codePtr's code. */
3219 ByteCode *codePtr; /* The bytecode sequence in which to look
3220 * up the command source for the pc. */
3221 int *lengthPtr; /* If non-NULL, the location where the
3222 * length of the command's source should be
3223 * stored. If NULL, no length is stored. */
3224 {
3225 register int pcOffset = (pc - codePtr->codeStart);
3226 int numCmds = codePtr->numCommands;
3227 unsigned char *codeDeltaNext, *codeLengthNext;
3228 unsigned char *srcDeltaNext, *srcLengthNext;
3229 int codeOffset, codeLen, codeEnd, srcOffset, srcLen, delta, i;
3230 int bestDist = INT_MAX; /* Distance of pc to best cmd's start pc. */
3231 int bestSrcOffset = -1; /* Initialized to avoid compiler warning. */
3232 int bestSrcLength = -1; /* Initialized to avoid compiler warning. */
3233
3234 if ((pcOffset < 0) || (pcOffset >= codePtr->numCodeBytes)) {
3235 return NULL;
3236 }
3237
3238 /*
3239 * Decode the code and source offset and length for each command. The
3240 * closest enclosing command is the last one whose code started before
3241 * pcOffset.
3242 */
3243
3244 codeDeltaNext = codePtr->codeDeltaStart;
3245 codeLengthNext = codePtr->codeLengthStart;
3246 srcDeltaNext = codePtr->srcDeltaStart;
3247 srcLengthNext = codePtr->srcLengthStart;
3248 codeOffset = srcOffset = 0;
3249 for (i = 0; i < numCmds; i++) {
3250 if ((unsigned int) (*codeDeltaNext) == (unsigned int) 0xFF) {
3251 codeDeltaNext++;
3252 delta = TclGetInt4AtPtr(codeDeltaNext);
3253 codeDeltaNext += 4;
3254 } else {
3255 delta = TclGetInt1AtPtr(codeDeltaNext);
3256 codeDeltaNext++;
3257 }
3258 codeOffset += delta;
3259
3260 if ((unsigned int) (*codeLengthNext) == (unsigned int) 0xFF) {
3261 codeLengthNext++;
3262 codeLen = TclGetInt4AtPtr(codeLengthNext);
3263 codeLengthNext += 4;
3264 } else {
3265 codeLen = TclGetInt1AtPtr(codeLengthNext);
3266 codeLengthNext++;
3267 }
3268 codeEnd = (codeOffset + codeLen - 1);
3269
3270 if ((unsigned int) (*srcDeltaNext) == (unsigned int) 0xFF) {
3271 srcDeltaNext++;
3272 delta = TclGetInt4AtPtr(srcDeltaNext);
3273 srcDeltaNext += 4;
3274 } else {
3275 delta = TclGetInt1AtPtr(srcDeltaNext);
3276 srcDeltaNext++;
3277 }
3278 srcOffset += delta;
3279
3280 if ((unsigned int) (*srcLengthNext) == (unsigned int) 0xFF) {
3281 srcLengthNext++;
3282 srcLen = TclGetInt4AtPtr(srcLengthNext);
3283 srcLengthNext += 4;
3284 } else {
3285 srcLen = TclGetInt1AtPtr(srcLengthNext);
3286 srcLengthNext++;
3287 }
3288
3289 if (codeOffset > pcOffset) { /* best cmd already found */
3290 break;
3291 } else if (pcOffset <= codeEnd) { /* this cmd's code encloses pc */
3292 int dist = (pcOffset - codeOffset);
3293 if (dist <= bestDist) {
3294 bestDist = dist;
3295 bestSrcOffset = srcOffset;
3296 bestSrcLength = srcLen;
3297 }
3298 }
3299 }
3300
3301 if (bestDist == INT_MAX) {
3302 return NULL;
3303 }
3304
3305 if (lengthPtr != NULL) {
3306 *lengthPtr = bestSrcLength;
3307 }
3308 return (codePtr->source + bestSrcOffset);
3309 }
3310
3311 /*
3312 *----------------------------------------------------------------------
3313 *
3314 * GetExceptRangeForPc --
3315 *
3316 * Given a program counter value, return the closest enclosing
3317 * ExceptionRange.
3318 *
3319 * Results:
3320 * In the normal case, catchOnly is 0 (false) and this procedure
3321 * returns a pointer to the most closely enclosing ExceptionRange
3322 * structure regardless of whether it is a loop or catch exception
3323 * range. This is appropriate when processing a TCL_BREAK or
3324 * TCL_CONTINUE, which will be "handled" either by a loop exception
3325 * range or a closer catch range. If catchOnly is nonzero, this
3326 * procedure ignores loop exception ranges and returns a pointer to the
3327 * closest catch range. If no matching ExceptionRange is found that
3328 * encloses pc, a NULL is returned.
3329 *
3330 * Side effects:
3331 * None.
3332 *
3333 *----------------------------------------------------------------------
3334 */
3335
3336 static ExceptionRange *
3337 GetExceptRangeForPc(pc, catchOnly, codePtr)
3338 unsigned char *pc; /* The program counter value for which to
3339 * search for a closest enclosing exception
3340 * range. This points to a bytecode
3341 * instruction in codePtr's code. */
3342 int catchOnly; /* If 0, consider either loop or catch
3343 * ExceptionRanges in search. If nonzero
3344 * consider only catch ranges (and ignore
3345 * any closer loop ranges). */
3346 ByteCode* codePtr; /* Points to the ByteCode in which to search
3347 * for the enclosing ExceptionRange. */
3348 {
3349 ExceptionRange *rangeArrayPtr;
3350 int numRanges = codePtr->numExceptRanges;
3351 register ExceptionRange *rangePtr;
3352 int pcOffset = (pc - codePtr->codeStart);
3353 register int i, level;
3354
3355 if (numRanges == 0) {
3356 return NULL;
3357 }
3358 rangeArrayPtr = codePtr->exceptArrayPtr;
3359
3360 for (level = codePtr->maxExceptDepth; level >= 0; level--) {
3361 for (i = 0; i < numRanges; i++) {
3362 rangePtr = &(rangeArrayPtr[i]);
3363 if (rangePtr->nestingLevel == level) {
3364 int start = rangePtr->codeOffset;
3365 int end = (start + rangePtr->numCodeBytes);
3366 if ((start <= pcOffset) && (pcOffset < end)) {
3367 if ((!catchOnly)
3368 || (rangePtr->type == CATCH_EXCEPTION_RANGE)) {
3369 return rangePtr;
3370 }
3371 }
3372 }
3373 }
3374 }
3375 return NULL;
3376 }
3377
3378 /*
3379 *----------------------------------------------------------------------
3380 *
3381 * GetOpcodeName --
3382 *
3383 * This procedure is called by the TRACE and TRACE_WITH_OBJ macros
3384 * used in TclExecuteByteCode when debugging. It returns the name of
3385 * the bytecode instruction at a specified instruction pc.
3386 *
3387 * Results:
3388 * A character string for the instruction.
3389 *
3390 * Side effects:
3391 * None.
3392 *
3393 *----------------------------------------------------------------------
3394 */
3395
3396 #ifdef TCL_COMPILE_DEBUG
3397 static char *
3398 GetOpcodeName(pc)
3399 unsigned char *pc; /* Points to the instruction whose name
3400 * should be returned. */
3401 {
3402 unsigned char opCode = *pc;
3403
3404 return instructionTable[opCode].name;
3405 }
3406 #endif /* TCL_COMPILE_DEBUG */
3407
3408 /*
3409 *----------------------------------------------------------------------
3410 *
3411 * VerifyExprObjType --
3412 *
3413 * This procedure is called by the math functions to verify that
3414 * the object is either an int or double, coercing it if necessary.
3415 * If an error occurs during conversion, an error message is left
3416 * in the interpreter's result unless "interp" is NULL.
3417 *
3418 * Results:
3419 * TCL_OK if it was int or double, TCL_ERROR otherwise
3420 *
3421 * Side effects:
3422 * objPtr is ensured to be either tclIntType of tclDoubleType.
3423 *
3424 *----------------------------------------------------------------------
3425 */
3426
3427 static int
3428 VerifyExprObjType(interp, objPtr)
3429 Tcl_Interp *interp; /* The interpreter in which to execute the
3430 * function. */
3431 Tcl_Obj *objPtr; /* Points to the object to type check. */
3432 {
3433 if ((objPtr->typePtr == &tclIntType) ||
3434 (objPtr->typePtr == &tclDoubleType)) {
3435 return TCL_OK;
3436 } else {
3437 int length, result = TCL_OK;
3438 char *s = Tcl_GetStringFromObj(objPtr, &length);
3439
3440 if (TclLooksLikeInt(s, length)) {
3441 long i;
3442 result = Tcl_GetLongFromObj((Tcl_Interp *) NULL, objPtr, &i);
3443 } else {
3444 double d;
3445 result = Tcl_GetDoubleFromObj((Tcl_Interp *) NULL, objPtr, &d);
3446 }
3447 if ((result != TCL_OK) && (interp != NULL)) {
3448 Tcl_ResetResult(interp);
3449 if (TclCheckBadOctal((Tcl_Interp *) NULL, s)) {
3450 Tcl_AppendToObj(Tcl_GetObjResult(interp),
3451 "argument to math function was an invalid octal number",
3452 -1);
3453 } else {
3454 Tcl_AppendToObj(Tcl_GetObjResult(interp),
3455 "argument to math function didn't have numeric value",
3456 -1);
3457 }
3458 }
3459 return result;
3460 }
3461 }
3462
3463 /*
3464 *----------------------------------------------------------------------
3465 *
3466 * Math Functions --
3467 *
3468 * This page contains the procedures that implement all of the
3469 * built-in math functions for expressions.
3470 *
3471 * Results:
3472 * Each procedure returns TCL_OK if it succeeds and pushes an
3473 * Tcl object holding the result. If it fails it returns TCL_ERROR
3474 * and leaves an error message in the interpreter's result.
3475 *
3476 * Side effects:
3477 * None.
3478 *
3479 *----------------------------------------------------------------------
3480 */
3481
3482 static int
3483 ExprUnaryFunc(interp, eePtr, clientData)
3484 Tcl_Interp *interp; /* The interpreter in which to execute the
3485 * function. */
3486 ExecEnv *eePtr; /* Points to the environment for executing
3487 * the function. */
3488 ClientData clientData; /* Contains the address of a procedure that
3489 * takes one double argument and returns a
3490 * double result. */
3491 {
3492 Tcl_Obj **stackPtr; /* Cached evaluation stack base pointer. */
3493 register int stackTop; /* Cached top index of evaluation stack. */
3494 register Tcl_Obj *valuePtr;
3495 double d, dResult;
3496 int result;
3497
3498 double (*func) _ANSI_ARGS_((double)) =
3499 (double (*)_ANSI_ARGS_((double))) clientData;
3500
3501 /*
3502 * Set stackPtr and stackTop from eePtr.
3503 */
3504
3505 result = TCL_OK;
3506 CACHE_STACK_INFO();
3507
3508 /*
3509 * Pop the function's argument from the evaluation stack. Convert it
3510 * to a double if necessary.
3511 */
3512
3513 valuePtr = POP_OBJECT();
3514
3515 if (VerifyExprObjType(interp, valuePtr) != TCL_OK) {
3516 result = TCL_ERROR;
3517 goto done;
3518 }
3519
3520 if (valuePtr->typePtr == &tclIntType) {
3521 d = (double) valuePtr->internalRep.longValue;
3522 } else {
3523 d = valuePtr->internalRep.doubleValue;
3524 }
3525
3526 errno = 0;
3527 dResult = (*func)(d);
3528 if ((errno != 0) || IS_NAN(dResult) || IS_INF(dResult)) {
3529 TclExprFloatError(interp, dResult);
3530 result = TCL_ERROR;
3531 goto done;
3532 }
3533
3534 /*
3535 * Push a Tcl object holding the result.
3536 */
3537
3538 PUSH_OBJECT(Tcl_NewDoubleObj(dResult));
3539
3540 /*
3541 * Reflect the change to stackTop back in eePtr.
3542 */
3543
3544 done:
3545 Tcl_DecrRefCount(valuePtr);
3546 DECACHE_STACK_INFO();
3547 return result;
3548 }
3549
3550 static int
3551 ExprBinaryFunc(interp, eePtr, clientData)
3552 Tcl_Interp *interp; /* The interpreter in which to execute the
3553 * function. */
3554 ExecEnv *eePtr; /* Points to the environment for executing
3555 * the function. */
3556 ClientData clientData; /* Contains the address of a procedure that
3557 * takes two double arguments and
3558 * returns a double result. */
3559 {
3560 Tcl_Obj **stackPtr; /* Cached evaluation stack base pointer. */
3561 register int stackTop; /* Cached top index of evaluation stack. */
3562 register Tcl_Obj *valuePtr, *value2Ptr;
3563 double d1, d2, dResult;
3564 int result;
3565
3566 double (*func) _ANSI_ARGS_((double, double))
3567 = (double (*)_ANSI_ARGS_((double, double))) clientData;
3568
3569 /*
3570 * Set stackPtr and stackTop from eePtr.
3571 */
3572
3573 result = TCL_OK;
3574 CACHE_STACK_INFO();
3575
3576 /*
3577 * Pop the function's two arguments from the evaluation stack. Convert
3578 * them to doubles if necessary.
3579 */
3580
3581 value2Ptr = POP_OBJECT();
3582 valuePtr = POP_OBJECT();
3583
3584 if ((VerifyExprObjType(interp, valuePtr) != TCL_OK) ||
3585 (VerifyExprObjType(interp, value2Ptr) != TCL_OK)) {
3586 result = TCL_ERROR;
3587 goto done;
3588 }
3589
3590 if (valuePtr->typePtr == &tclIntType) {
3591 d1 = (double) valuePtr->internalRep.longValue;
3592 } else {
3593 d1 = valuePtr->internalRep.doubleValue;
3594 }
3595
3596 if (value2Ptr->typePtr == &tclIntType) {
3597 d2 = (double) value2Ptr->internalRep.longValue;
3598 } else {
3599 d2 = value2Ptr->internalRep.doubleValue;
3600 }
3601
3602 errno = 0;
3603 dResult = (*func)(d1, d2);
3604 if ((errno != 0) || IS_NAN(dResult) || IS_INF(dResult)) {
3605 TclExprFloatError(interp, dResult);
3606 result = TCL_ERROR;
3607 goto done;
3608 }
3609
3610 /*
3611 * Push a Tcl object holding the result.
3612 */
3613
3614 PUSH_OBJECT(Tcl_NewDoubleObj(dResult));
3615
3616 /*
3617 * Reflect the change to stackTop back in eePtr.
3618 */
3619
3620 done:
3621 Tcl_DecrRefCount(valuePtr);
3622 Tcl_DecrRefCount(value2Ptr);
3623 DECACHE_STACK_INFO();
3624 return result;
3625 }
3626
3627 static int
3628 ExprAbsFunc(interp, eePtr, clientData)
3629 Tcl_Interp *interp; /* The interpreter in which to execute the
3630 * function. */
3631 ExecEnv *eePtr; /* Points to the environment for executing
3632 * the function. */
3633 ClientData clientData; /* Ignored. */
3634 {
3635 Tcl_Obj **stackPtr; /* Cached evaluation stack base pointer. */
3636 register int stackTop; /* Cached top index of evaluation stack. */
3637 register Tcl_Obj *valuePtr;
3638 long i, iResult;
3639 double d, dResult;
3640 int result;
3641
3642 /*
3643 * Set stackPtr and stackTop from eePtr.
3644 */
3645
3646 result = TCL_OK;
3647 CACHE_STACK_INFO();
3648
3649 /*
3650 * Pop the argument from the evaluation stack.
3651 */
3652
3653 valuePtr = POP_OBJECT();
3654
3655 if (VerifyExprObjType(interp, valuePtr) != TCL_OK) {
3656 result = TCL_ERROR;
3657 goto done;
3658 }
3659
3660 /*
3661 * Push a Tcl object with the result.
3662 */
3663 if (valuePtr->typePtr == &tclIntType) {
3664 i = valuePtr->internalRep.longValue;
3665 if (i < 0) {
3666 iResult = -i;
3667 if (iResult < 0) {
3668 Tcl_ResetResult(interp);
3669 Tcl_AppendToObj(Tcl_GetObjResult(interp),
3670 "integer value too large to represent", -1);
3671 Tcl_SetErrorCode(interp, "ARITH", "IOVERFLOW",
3672 "integer value too large to represent", (char *) NULL);
3673 result = TCL_ERROR;
3674 goto done;
3675 }
3676 } else {
3677 iResult = i;
3678 }
3679 PUSH_OBJECT(Tcl_NewLongObj(iResult));
3680 } else {
3681 d = valuePtr->internalRep.doubleValue;
3682 if (d < 0.0) {
3683 dResult = -d;
3684 } else {
3685 dResult = d;
3686 }
3687 if (IS_NAN(dResult) || IS_INF(dResult)) {
3688 TclExprFloatError(interp, dResult);
3689 result = TCL_ERROR;
3690 goto done;
3691 }
3692 PUSH_OBJECT(Tcl_NewDoubleObj(dResult));
3693 }
3694
3695 /*
3696 * Reflect the change to stackTop back in eePtr.
3697 */
3698
3699 done:
3700 Tcl_DecrRefCount(valuePtr);
3701 DECACHE_STACK_INFO();
3702 return result;
3703 }
3704
3705 static int
3706 ExprDoubleFunc(interp, eePtr, clientData)
3707 Tcl_Interp *interp; /* The interpreter in which to execute the
3708 * function. */
3709 ExecEnv *eePtr; /* Points to the environment for executing
3710 * the function. */
3711 ClientData clientData; /* Ignored. */
3712 {
3713 Tcl_Obj **stackPtr; /* Cached evaluation stack base pointer. */
3714 register int stackTop; /* Cached top index of evaluation stack. */
3715 register Tcl_Obj *valuePtr;
3716 double dResult;
3717 int result;
3718
3719 /*
3720 * Set stackPtr and stackTop from eePtr.
3721 */
3722
3723 result = TCL_OK;
3724 CACHE_STACK_INFO();
3725
3726 /*
3727 * Pop the argument from the evaluation stack.
3728 */
3729
3730 valuePtr = POP_OBJECT();
3731
3732 if (VerifyExprObjType(interp, valuePtr) != TCL_OK) {
3733 result = TCL_ERROR;
3734 goto done;
3735 }
3736
3737 if (valuePtr->typePtr == &tclIntType) {
3738 dResult = (double) valuePtr->internalRep.longValue;
3739 } else {
3740 dResult = valuePtr->internalRep.doubleValue;
3741 }
3742
3743 /*
3744 * Push a Tcl object with the result.
3745 */
3746
3747 PUSH_OBJECT(Tcl_NewDoubleObj(dResult));
3748
3749 /*
3750 * Reflect the change to stackTop back in eePtr.
3751 */
3752
3753 done:
3754 Tcl_DecrRefCount(valuePtr);
3755 DECACHE_STACK_INFO();
3756 return result;
3757 }
3758
3759 static int
3760 ExprIntFunc(interp, eePtr, clientData)
3761 Tcl_Interp *interp; /* The interpreter in which to execute the
3762 * function. */
3763 ExecEnv *eePtr; /* Points to the environment for executing
3764 * the function. */
3765 ClientData clientData; /* Ignored. */
3766 {
3767 Tcl_Obj **stackPtr; /* Cached evaluation stack base pointer. */
3768 register int stackTop; /* Cached top index of evaluation stack. */
3769 register Tcl_Obj *valuePtr;
3770 long iResult;
3771 double d;
3772 int result;
3773
3774 /*
3775 * Set stackPtr and stackTop from eePtr.
3776 */
3777
3778 result = TCL_OK;
3779 CACHE_STACK_INFO();
3780
3781 /*
3782 * Pop the argument from the evaluation stack.
3783 */
3784
3785 valuePtr = POP_OBJECT();
3786
3787 if (VerifyExprObjType(interp, valuePtr) != TCL_OK) {
3788 result = TCL_ERROR;
3789 goto done;
3790 }
3791
3792 if (valuePtr->typePtr == &tclIntType) {
3793 iResult = valuePtr->internalRep.longValue;
3794 } else {
3795 d = valuePtr->internalRep.doubleValue;
3796 if (d < 0.0) {
3797 if (d < (double) (long) LONG_MIN) {
3798 tooLarge:
3799 Tcl_ResetResult(interp);
3800 Tcl_AppendToObj(Tcl_GetObjResult(interp),
3801 "integer value too large to represent", -1);
3802 Tcl_SetErrorCode(interp, "ARITH", "IOVERFLOW",
3803 "integer value too large to represent", (char *) NULL);
3804 result = TCL_ERROR;
3805 goto done;
3806 }
3807 } else {
3808 if (d > (double) LONG_MAX) {
3809 goto tooLarge;
3810 }
3811 }
3812 if (IS_NAN(d) || IS_INF(d)) {
3813 TclExprFloatError(interp, d);
3814 result = TCL_ERROR;
3815 goto done;
3816 }
3817 iResult = (long) d;
3818 }
3819
3820 /*
3821 * Push a Tcl object with the result.
3822 */
3823
3824 PUSH_OBJECT(Tcl_NewLongObj(iResult));
3825
3826 /*
3827 * Reflect the change to stackTop back in eePtr.
3828 */
3829
3830 done:
3831 Tcl_DecrRefCount(valuePtr);
3832 DECACHE_STACK_INFO();
3833 return result;
3834 }
3835
3836 static int
3837 ExprRandFunc(interp, eePtr, clientData)
3838 Tcl_Interp *interp; /* The interpreter in which to execute the
3839 * function. */
3840 ExecEnv *eePtr; /* Points to the environment for executing
3841 * the function. */
3842 ClientData clientData; /* Ignored. */
3843 {
3844 Tcl_Obj **stackPtr; /* Cached evaluation stack base pointer. */
3845 register int stackTop; /* Cached top index of evaluation stack. */
3846 Interp *iPtr = (Interp *) interp;
3847 double dResult;
3848 int tmp;
3849
3850 if (!(iPtr->flags & RAND_SEED_INITIALIZED)) {
3851 iPtr->flags |= RAND_SEED_INITIALIZED;
3852 iPtr->randSeed = TclpGetClicks();
3853 }
3854
3855 /*
3856 * Set stackPtr and stackTop from eePtr.
3857 */
3858
3859 CACHE_STACK_INFO();
3860
3861 /*
3862 * Generate the random number using the linear congruential
3863 * generator defined by the following recurrence:
3864 * seed = ( IA * seed ) mod IM
3865 * where IA is 16807 and IM is (2^31) - 1. In order to avoid
3866 * potential problems with integer overflow, the code uses
3867 * additional constants IQ and IR such that
3868 * IM = IA*IQ + IR
3869 * For details on how this algorithm works, refer to the following
3870 * papers:
3871 *
3872 * S.K. Park & K.W. Miller, "Random number generators: good ones
3873 * are hard to find," Comm ACM 31(10):1192-1201, Oct 1988
3874 *
3875 * W.H. Press & S.A. Teukolsky, "Portable random number
3876 * generators," Computers in Physics 6(5):522-524, Sep/Oct 1992.
3877 */
3878
3879 #define RAND_IA 16807
3880 #define RAND_IM 2147483647
3881 #define RAND_IQ 127773
3882 #define RAND_IR 2836
3883 #define RAND_MASK 123459876
3884
3885 if (iPtr->randSeed == 0) {
3886 /*
3887 * Don't allow a 0 seed, since it breaks the generator. Shift
3888 * it to some other value.
3889 */
3890
3891 iPtr->randSeed = 123459876;
3892 }
3893 tmp = iPtr->randSeed/RAND_IQ;
3894 iPtr->randSeed = RAND_IA*(iPtr->randSeed - tmp*RAND_IQ) - RAND_IR*tmp;
3895 if (iPtr->randSeed < 0) {
3896 iPtr->randSeed += RAND_IM;
3897 }
3898
3899 /*
3900 * On 64-bit architectures we need to mask off the upper bits to
3901 * ensure we only have a 32-bit range. The constant has the
3902 * bizarre form below in order to make sure that it doesn't
3903 * get sign-extended (the rules for sign extension are very
3904 * concat, particularly on 64-bit machines).
3905 */
3906
3907 iPtr->randSeed &= ((((unsigned long) 0xfffffff) << 4) | 0xf);
3908 dResult = iPtr->randSeed * (1.0/RAND_IM);
3909
3910 /*
3911 * Push a Tcl object with the result.
3912 */
3913
3914 PUSH_OBJECT(Tcl_NewDoubleObj(dResult));
3915
3916 /*
3917 * Reflect the change to stackTop back in eePtr.
3918 */
3919
3920 DECACHE_STACK_INFO();
3921 return TCL_OK;
3922 }
3923
3924 static int
3925 ExprRoundFunc(interp, eePtr, clientData)
3926 Tcl_Interp *interp; /* The interpreter in which to execute the
3927 * function. */
3928 ExecEnv *eePtr; /* Points to the environment for executing
3929 * the function. */
3930 ClientData clientData; /* Ignored. */
3931 {
3932 Tcl_Obj **stackPtr; /* Cached evaluation stack base pointer. */
3933 register int stackTop; /* Cached top index of evaluation stack. */
3934 Tcl_Obj *valuePtr;
3935 long iResult;
3936 double d, temp;
3937 int result;
3938
3939 /*
3940 * Set stackPtr and stackTop from eePtr.
3941 */
3942
3943 result = TCL_OK;
3944 CACHE_STACK_INFO();
3945
3946 /*
3947 * Pop the argument from the evaluation stack.
3948 */
3949
3950 valuePtr = POP_OBJECT();
3951
3952 if (VerifyExprObjType(interp, valuePtr) != TCL_OK) {
3953 result = TCL_ERROR;
3954 goto done;
3955 }
3956
3957 if (valuePtr->typePtr == &tclIntType) {
3958 iResult = valuePtr->internalRep.longValue;
3959 } else {
3960 d = valuePtr->internalRep.doubleValue;
3961 if (d < 0.0) {
3962 if (d <= (((double) (long) LONG_MIN) - 0.5)) {
3963 tooLarge:
3964 Tcl_ResetResult(interp);
3965 Tcl_AppendToObj(Tcl_GetObjResult(interp),
3966 "integer value too large to represent", -1);
3967 Tcl_SetErrorCode(interp, "ARITH", "IOVERFLOW",
3968 "integer value too large to represent",
3969 (char *) NULL);
3970 result = TCL_ERROR;
3971 goto done;
3972 }
3973 temp = (long) (d - 0.5);
3974 } else {
3975 if (d >= (((double) LONG_MAX + 0.5))) {
3976 goto tooLarge;
3977 }
3978 temp = (long) (d + 0.5);
3979 }
3980 if (IS_NAN(temp) || IS_INF(temp)) {
3981 TclExprFloatError(interp, temp);
3982 result = TCL_ERROR;
3983 goto done;
3984 }
3985 iResult = (long) temp;
3986 }
3987
3988 /*
3989 * Push a Tcl object with the result.
3990 */
3991
3992 PUSH_OBJECT(Tcl_NewLongObj(iResult));
3993
3994 /*
3995 * Reflect the change to stackTop back in eePtr.
3996 */
3997
3998 done:
3999 Tcl_DecrRefCount(valuePtr);
4000 DECACHE_STACK_INFO();
4001 return result;
4002 }
4003
4004 static int
4005 ExprSrandFunc(interp, eePtr, clientData)
4006 Tcl_Interp *interp; /* The interpreter in which to execute the
4007 * function. */
4008 ExecEnv *eePtr; /* Points to the environment for executing
4009 * the function. */
4010 ClientData clientData; /* Ignored. */
4011 {
4012 Tcl_Obj **stackPtr; /* Cached evaluation stack base pointer. */
4013 register int stackTop; /* Cached top index of evaluation stack. */
4014 Interp *iPtr = (Interp *) interp;
4015 Tcl_Obj *valuePtr;
4016 long i = 0; /* Initialized to avoid compiler warning. */
4017 int result;
4018
4019 /*
4020 * Set stackPtr and stackTop from eePtr.
4021 */
4022
4023 CACHE_STACK_INFO();
4024
4025 /*
4026 * Pop the argument from the evaluation stack. Use the value
4027 * to reset the random number seed.
4028 */
4029
4030 valuePtr = POP_OBJECT();
4031
4032 if (VerifyExprObjType(interp, valuePtr) != TCL_OK) {
4033 result = TCL_ERROR;
4034 goto badValue;
4035 }
4036
4037 if (valuePtr->typePtr == &tclIntType) {
4038 i = valuePtr->internalRep.longValue;
4039 } else {
4040 /*
4041 * At this point, the only other possible type is double
4042 */
4043 Tcl_ResetResult(interp);
4044 Tcl_AppendStringsToObj(Tcl_GetObjResult(interp),
4045 "can't use floating-point value as argument to srand",
4046 (char *) NULL);
4047 badValue:
4048 Tcl_DecrRefCount(valuePtr);
4049 DECACHE_STACK_INFO();
4050 return TCL_ERROR;
4051 }
4052
4053 /*
4054 * Reset the seed.
4055 */
4056
4057 iPtr->flags |= RAND_SEED_INITIALIZED;
4058 iPtr->randSeed = i;
4059
4060 /*
4061 * To avoid duplicating the random number generation code we simply
4062 * clean up our state and call the real random number function. That
4063 * function will always succeed.
4064 */
4065
4066 Tcl_DecrRefCount(valuePtr);
4067 DECACHE_STACK_INFO();
4068
4069 ExprRandFunc(interp, eePtr, clientData);
4070 return TCL_OK;
4071 }
4072
4073 /*
4074 *----------------------------------------------------------------------
4075 *
4076 * ExprCallMathFunc --
4077 *
4078 * This procedure is invoked to call a non-builtin math function
4079 * during the execution of an expression.
4080 *
4081 * Results:
4082 * TCL_OK is returned if all went well and the function's value
4083 * was computed successfully. If an error occurred, TCL_ERROR
4084 * is returned and an error message is left in the interpreter's
4085 * result. After a successful return this procedure pushes a Tcl object
4086 * holding the result.
4087 *
4088 * Side effects:
4089 * None, unless the called math function has side effects.
4090 *
4091 *----------------------------------------------------------------------
4092 */
4093
4094 static int
4095 ExprCallMathFunc(interp, eePtr, objc, objv)
4096 Tcl_Interp *interp; /* The interpreter in which to execute the
4097 * function. */
4098 ExecEnv *eePtr; /* Points to the environment for executing
4099 * the function. */
4100 int objc; /* Number of arguments. The function name is
4101 * the 0-th argument. */
4102 Tcl_Obj **objv; /* The array of arguments. The function name
4103 * is objv[0]. */
4104 {
4105 Interp *iPtr = (Interp *) interp;
4106 Tcl_Obj **stackPtr; /* Cached evaluation stack base pointer. */
4107 register int stackTop; /* Cached top index of evaluation stack. */
4108 char *funcName;
4109 Tcl_HashEntry *hPtr;
4110 MathFunc *mathFuncPtr; /* Information about math function. */
4111 Tcl_Value args[MAX_MATH_ARGS]; /* Arguments for function call. */
4112 Tcl_Value funcResult; /* Result of function call as Tcl_Value. */
4113 register Tcl_Obj *valuePtr;
4114 long i;
4115 double d;
4116 int j, k, result;
4117 ThreadSpecificData *tsdPtr = TCL_TSD_INIT(&dataKey);
4118
4119 Tcl_ResetResult(interp);
4120
4121 /*
4122 * Set stackPtr and stackTop from eePtr.
4123 */
4124
4125 CACHE_STACK_INFO();
4126
4127 /*
4128 * Look up the MathFunc record for the function.
4129 */
4130
4131 funcName = Tcl_GetString(objv[0]);
4132 hPtr = Tcl_FindHashEntry(&iPtr->mathFuncTable, funcName);
4133 if (hPtr == NULL) {
4134 Tcl_AppendStringsToObj(Tcl_GetObjResult(interp),
4135 "unknown math function \"", funcName, "\"", (char *) NULL);
4136 result = TCL_ERROR;
4137 goto done;
4138 }
4139 mathFuncPtr = (MathFunc *) Tcl_GetHashValue(hPtr);
4140 if (mathFuncPtr->numArgs != (objc-1)) {
4141 panic("ExprCallMathFunc: expected number of args %d != actual number %d",
4142 mathFuncPtr->numArgs, objc);
4143 result = TCL_ERROR;
4144 goto done;
4145 }
4146
4147 /*
4148 * Collect the arguments for the function, if there are any, into the
4149 * array "args". Note that args[0] will have the Tcl_Value that
4150 * corresponds to objv[1].
4151 */
4152
4153 for (j = 1, k = 0; j < objc; j++, k++) {
4154 valuePtr = objv[j];
4155
4156 if (VerifyExprObjType(interp, valuePtr) != TCL_OK) {
4157 result = TCL_ERROR;
4158 goto done;
4159 }
4160
4161 /*
4162 * Copy the object's numeric value to the argument record,
4163 * converting it if necessary.
4164 */
4165
4166 if (valuePtr->typePtr == &tclIntType) {
4167 i = valuePtr->internalRep.longValue;
4168 if (mathFuncPtr->argTypes[k] == TCL_DOUBLE) {
4169 args[k].type = TCL_DOUBLE;
4170 args[k].doubleValue = i;
4171 } else {
4172 args[k].type = TCL_INT;
4173 args[k].intValue = i;
4174 }
4175 } else {
4176 d = valuePtr->internalRep.doubleValue;
4177 if (mathFuncPtr->argTypes[k] == TCL_INT) {
4178 args[k].type = TCL_INT;
4179 args[k].intValue = (long) d;
4180 } else {
4181 args[k].type = TCL_DOUBLE;
4182 args[k].doubleValue = d;
4183 }
4184 }
4185 }
4186
4187 /*
4188 * Invoke the function and copy its result back into valuePtr.
4189 */
4190
4191 tsdPtr->mathInProgress++;
4192 result = (*mathFuncPtr->proc)(mathFuncPtr->clientData, interp, args,
4193 &funcResult);
4194 tsdPtr->mathInProgress--;
4195 if (result != TCL_OK) {
4196 goto done;
4197 }
4198
4199 /*
4200 * Pop the objc top stack elements and decrement their ref counts.
4201 */
4202
4203 i = (stackTop - (objc-1));
4204 while (i <= stackTop) {
4205 valuePtr = stackPtr[i];
4206 Tcl_DecrRefCount(valuePtr);
4207 i++;
4208 }
4209 stackTop -= objc;
4210
4211 /*
4212 * Push the call's object result.
4213 */
4214
4215 if (funcResult.type == TCL_INT) {
4216 PUSH_OBJECT(Tcl_NewLongObj(funcResult.intValue));
4217 } else {
4218 d = funcResult.doubleValue;
4219 if (IS_NAN(d) || IS_INF(d)) {
4220 TclExprFloatError(interp, d);
4221 result = TCL_ERROR;
4222 goto done;
4223 }
4224 PUSH_OBJECT(Tcl_NewDoubleObj(d));
4225 }
4226
4227 /*
4228 * Reflect the change to stackTop back in eePtr.
4229 */
4230
4231 done:
4232 DECACHE_STACK_INFO();
4233 return result;
4234 }
4235
4236 /*
4237 *----------------------------------------------------------------------
4238 *
4239 * TclExprFloatError --
4240 *
4241 * This procedure is called when an error occurs during a
4242 * floating-point operation. It reads errno and sets
4243 * interp->objResultPtr accordingly.
4244 *
4245 * Results:
4246 * interp->objResultPtr is set to hold an error message.
4247 *
4248 * Side effects:
4249 * None.
4250 *
4251 *----------------------------------------------------------------------
4252 */
4253
4254 void
4255 TclExprFloatError(interp, value)
4256 Tcl_Interp *interp; /* Where to store error message. */
4257 double value; /* Value returned after error; used to
4258 * distinguish underflows from overflows. */
4259 {
4260 char *s;
4261
4262 Tcl_ResetResult(interp);
4263 if ((errno == EDOM) || (value != value)) {
4264 s = "domain error: argument not in valid range";
4265 Tcl_AppendToObj(Tcl_GetObjResult(interp), s, -1);
4266 Tcl_SetErrorCode(interp, "ARITH", "DOMAIN", s, (char *) NULL);
4267 } else if ((errno == ERANGE) || IS_INF(value)) {
4268 if (value == 0.0) {
4269 s = "floating-point value too small to represent";
4270 Tcl_AppendToObj(Tcl_GetObjResult(interp), s, -1);
4271 Tcl_SetErrorCode(interp, "ARITH", "UNDERFLOW", s, (char *) NULL);
4272 } else {
4273 s = "floating-point value too large to represent";
4274 Tcl_AppendToObj(Tcl_GetObjResult(interp), s, -1);
4275 Tcl_SetErrorCode(interp, "ARITH", "OVERFLOW", s, (char *) NULL);
4276 }
4277 } else {
4278 char msg[64 + TCL_INTEGER_SPACE];
4279
4280 sprintf(msg, "unknown floating-point error, errno = %d", errno);
4281 Tcl_AppendToObj(Tcl_GetObjResult(interp), msg, -1);
4282 Tcl_SetErrorCode(interp, "ARITH", "UNKNOWN", msg, (char *) NULL);
4283 }
4284 }
4285
4286 /*
4287 *----------------------------------------------------------------------
4288 *
4289 * TclMathInProgress --
4290 *
4291 * This procedure is called to find out if Tcl is doing math
4292 * in this thread.
4293 *
4294 * Results:
4295 * 0 or 1.
4296 *
4297 * Side effects:
4298 * None.
4299 *
4300 *----------------------------------------------------------------------
4301 */
4302
4303 int
4304 TclMathInProgress()
4305 {
4306 ThreadSpecificData *tsdPtr = TCL_TSD_INIT(&dataKey);
4307 return tsdPtr->mathInProgress;
4308 }
4309
4310 #ifdef TCL_COMPILE_STATS
4311 /*
4312 *----------------------------------------------------------------------
4313 *
4314 * TclLog2 --
4315 *
4316 * Procedure used while collecting compilation statistics to determine
4317 * the log base 2 of an integer.
4318 *
4319 * Results:
4320 * Returns the log base 2 of the operand. If the argument is less
4321 * than or equal to zero, a zero is returned.
4322 *
4323 * Side effects:
4324 * None.
4325 *
4326 *----------------------------------------------------------------------
4327 */
4328
4329 int
4330 TclLog2(value)
4331 register int value; /* The integer for which to compute the
4332 * log base 2. */
4333 {
4334 register int n = value;
4335 register int result = 0;
4336
4337 while (n > 1) {
4338 n = n >> 1;
4339 result++;
4340 }
4341 return result;
4342 }
4343
4344 /*
4345 *----------------------------------------------------------------------
4346 *
4347 * EvalStatsCmd --
4348 *
4349 * Implements the "evalstats" command that prints instruction execution
4350 * counts to stdout.
4351 *
4352 * Results:
4353 * Standard Tcl results.
4354 *
4355 * Side effects:
4356 * None.
4357 *
4358 *----------------------------------------------------------------------
4359 */
4360
4361 static int
4362 EvalStatsCmd(unused, interp, argc, argv)
4363 ClientData unused; /* Unused. */
4364 Tcl_Interp *interp; /* The current interpreter. */
4365 int argc; /* The number of arguments. */
4366 char **argv; /* The argument strings. */
4367 {
4368 Interp *iPtr = (Interp *) interp;
4369 LiteralTable *globalTablePtr = &(iPtr->literalTable);
4370 ByteCodeStats *statsPtr = &(iPtr->stats);
4371 double totalCodeBytes, currentCodeBytes;
4372 double totalLiteralBytes, currentLiteralBytes;
4373 double objBytesIfUnshared, strBytesIfUnshared, sharingBytesSaved;
4374 double strBytesSharedMultX, strBytesSharedOnce;
4375 double numInstructions, currentHeaderBytes;
4376 long numCurrentByteCodes, numByteCodeLits;
4377 long refCountSum, literalMgmtBytes, sum;
4378 int numSharedMultX, numSharedOnce;
4379 int decadeHigh, minSizeDecade, maxSizeDecade, length, i;
4380 char *litTableStats;
4381 LiteralEntry *entryPtr;
4382
4383 numInstructions = 0.0;
4384 for (i = 0; i < 256; i++) {
4385 if (statsPtr->instructionCount[i] != 0) {
4386 numInstructions += statsPtr->instructionCount[i];
4387 }
4388 }
4389
4390 totalLiteralBytes = sizeof(LiteralTable)
4391 + iPtr->literalTable.numBuckets * sizeof(LiteralEntry *)
4392 + (statsPtr->numLiteralsCreated * sizeof(LiteralEntry))
4393 + (statsPtr->numLiteralsCreated * sizeof(Tcl_Obj))
4394 + statsPtr->totalLitStringBytes;
4395 totalCodeBytes = statsPtr->totalByteCodeBytes + totalLiteralBytes;
4396
4397 numCurrentByteCodes =
4398 statsPtr->numCompilations - statsPtr->numByteCodesFreed;
4399 currentHeaderBytes = numCurrentByteCodes
4400 * (sizeof(ByteCode) - (sizeof(size_t) + sizeof(Tcl_Time)));
4401 literalMgmtBytes = sizeof(LiteralTable)
4402 + (iPtr->literalTable.numBuckets * sizeof(LiteralEntry *))
4403 + (iPtr->literalTable.numEntries * sizeof(LiteralEntry));
4404 currentLiteralBytes = literalMgmtBytes
4405 + iPtr->literalTable.numEntries * sizeof(Tcl_Obj)
4406 + statsPtr->currentLitStringBytes;
4407 currentCodeBytes = statsPtr->currentByteCodeBytes + currentLiteralBytes;
4408
4409 /*
4410 * Summary statistics, total and current source and ByteCode sizes.
4411 */
4412
4413 fprintf(stdout, "\n----------------------------------------------------------------\n");
4414 fprintf(stdout,
4415 "Compilation and execution statistics for interpreter 0x%x\n",
4416 (unsigned int) iPtr);
4417
4418 fprintf(stdout, "\nNumber ByteCodes executed %ld\n",
4419 statsPtr->numExecutions);
4420 fprintf(stdout, "Number ByteCodes compiled %ld\n",
4421 statsPtr->numCompilations);
4422 fprintf(stdout, " Mean executions/compile %.1f\n",
4423 ((float)statsPtr->numExecutions) / ((float)statsPtr->numCompilations));
4424
4425 fprintf(stdout, "\nInstructions executed %.0f\n",
4426 numInstructions);
4427 fprintf(stdout, " Mean inst/compile %.0f\n",
4428 numInstructions / statsPtr->numCompilations);
4429 fprintf(stdout, " Mean inst/execution %.0f\n",
4430 numInstructions / statsPtr->numExecutions);
4431
4432 fprintf(stdout, "\nTotal ByteCodes %ld\n",
4433 statsPtr->numCompilations);
4434 fprintf(stdout, " Source bytes %.6g\n",
4435 statsPtr->totalSrcBytes);
4436 fprintf(stdout, " Code bytes %.6g\n",
4437 totalCodeBytes);
4438 fprintf(stdout, " ByteCode bytes %.6g\n",
4439 statsPtr->totalByteCodeBytes);
4440 fprintf(stdout, " Literal bytes %.6g\n",
4441 totalLiteralBytes);
4442 fprintf(stdout, " table %d + bkts %d + entries %ld + objects %ld + strings %.6g\n",
4443 sizeof(LiteralTable),
4444 iPtr->literalTable.numBuckets * sizeof(LiteralEntry *),
4445 statsPtr->numLiteralsCreated * sizeof(LiteralEntry),
4446 statsPtr->numLiteralsCreated * sizeof(Tcl_Obj),
4447 statsPtr->totalLitStringBytes);
4448 fprintf(stdout, " Mean code/compile %.1f\n",
4449 totalCodeBytes / statsPtr->numCompilations);
4450 fprintf(stdout, " Mean code/source %.1f\n",
4451 totalCodeBytes / statsPtr->totalSrcBytes);
4452
4453 fprintf(stdout, "\nCurrent ByteCodes %ld\n",
4454 numCurrentByteCodes);
4455 fprintf(stdout, " Source bytes %.6g\n",
4456 statsPtr->currentSrcBytes);
4457 fprintf(stdout, " Code bytes %.6g\n",
4458 currentCodeBytes);
4459 fprintf(stdout, " ByteCode bytes %.6g\n",
4460 statsPtr->currentByteCodeBytes);
4461 fprintf(stdout, " Literal bytes %.6g\n",
4462 currentLiteralBytes);
4463 fprintf(stdout, " table %d + bkts %d + entries %d + objects %d + strings %.6g\n",
4464 sizeof(LiteralTable),
4465 iPtr->literalTable.numBuckets * sizeof(LiteralEntry *),
4466 iPtr->literalTable.numEntries * sizeof(LiteralEntry),
4467 iPtr->literalTable.numEntries * sizeof(Tcl_Obj),
4468 statsPtr->currentLitStringBytes);
4469 fprintf(stdout, " Mean code/source %.1f\n",
4470 currentCodeBytes / statsPtr->currentSrcBytes);
4471 fprintf(stdout, " Code + source bytes %.6g (%0.1f mean code/src)\n",
4472 (currentCodeBytes + statsPtr->currentSrcBytes),
4473 (currentCodeBytes / statsPtr->currentSrcBytes) + 1.0);
4474
4475 /*
4476 * Literal table statistics.
4477 */
4478
4479 numByteCodeLits = 0;
4480 refCountSum = 0;
4481 numSharedMultX = 0;
4482 numSharedOnce = 0;
4483 objBytesIfUnshared = 0.0;
4484 strBytesIfUnshared = 0.0;
4485 strBytesSharedMultX = 0.0;
4486 strBytesSharedOnce = 0.0;
4487 for (i = 0; i < globalTablePtr->numBuckets; i++) {
4488 for (entryPtr = globalTablePtr->buckets[i]; entryPtr != NULL;
4489 entryPtr = entryPtr->nextPtr) {
4490 if (entryPtr->objPtr->typePtr == &tclByteCodeType) {
4491 numByteCodeLits++;
4492 }
4493 (void) Tcl_GetStringFromObj(entryPtr->objPtr, &length);
4494 refCountSum += entryPtr->refCount;
4495 objBytesIfUnshared += (entryPtr->refCount * sizeof(Tcl_Obj));
4496 strBytesIfUnshared += (entryPtr->refCount * (length+1));
4497 if (entryPtr->refCount > 1) {
4498 numSharedMultX++;
4499 strBytesSharedMultX += (length+1);
4500 } else {
4501 numSharedOnce++;
4502 strBytesSharedOnce += (length+1);
4503 }
4504 }
4505 }
4506 sharingBytesSaved = (objBytesIfUnshared + strBytesIfUnshared)
4507 - currentLiteralBytes;
4508
4509 fprintf(stdout, "\nTotal objects (all interps) %ld\n",
4510 tclObjsAlloced);
4511 fprintf(stdout, "Current objects %ld\n",
4512 (tclObjsAlloced - tclObjsFreed));
4513 fprintf(stdout, "Total literal objects %ld\n",
4514 statsPtr->numLiteralsCreated);
4515
4516 fprintf(stdout, "\nCurrent literal objects %d (%0.1f%% of current objects)\n",
4517 globalTablePtr->numEntries,
4518 (globalTablePtr->numEntries * 100.0) / (tclObjsAlloced-tclObjsFreed));
4519 fprintf(stdout, " ByteCode literals %ld (%0.1f%% of current literals)\n",
4520 numByteCodeLits,
4521 (numByteCodeLits * 100.0) / globalTablePtr->numEntries);
4522 fprintf(stdout, " Literals reused > 1x %d\n",
4523 numSharedMultX);
4524 fprintf(stdout, " Mean reference count %.2f\n",
4525 ((double) refCountSum) / globalTablePtr->numEntries);
4526 fprintf(stdout, " Mean len, str reused >1x %.2f\n",
4527 (numSharedMultX? (strBytesSharedMultX/numSharedMultX) : 0.0));
4528 fprintf(stdout, " Mean len, str used 1x %.2f\n",
4529 (numSharedOnce? (strBytesSharedOnce/numSharedOnce) : 0.0));
4530 fprintf(stdout, " Total sharing savings %.6g (%0.1f%% of bytes if no sharing)\n",
4531 sharingBytesSaved,
4532 (sharingBytesSaved * 100.0) / (objBytesIfUnshared + strBytesIfUnshared));
4533 fprintf(stdout, " Bytes with sharing %.6g\n",
4534 currentLiteralBytes);
4535 fprintf(stdout, " table %d + bkts %d + entries %d + objects %d + strings %.6g\n",
4536 sizeof(LiteralTable),
4537 iPtr->literalTable.numBuckets * sizeof(LiteralEntry *),
4538 iPtr->literalTable.numEntries * sizeof(LiteralEntry),
4539 iPtr->literalTable.numEntries * sizeof(Tcl_Obj),
4540 statsPtr->currentLitStringBytes);
4541 fprintf(stdout, " Bytes if no sharing %.6g = objects %.6g + strings %.6g\n",
4542 (objBytesIfUnshared + strBytesIfUnshared),
4543 objBytesIfUnshared, strBytesIfUnshared);
4544 fprintf(stdout, " String sharing savings %.6g = unshared %.6g - shared %.6g\n",
4545 (strBytesIfUnshared - statsPtr->currentLitStringBytes),
4546 strBytesIfUnshared, statsPtr->currentLitStringBytes);
4547 fprintf(stdout, " Literal mgmt overhead %ld (%0.1f%% of bytes with sharing)\n",
4548 literalMgmtBytes,
4549 (literalMgmtBytes * 100.0) / currentLiteralBytes);
4550 fprintf(stdout, " table %d + buckets %d + entries %d\n",
4551 sizeof(LiteralTable),
4552 iPtr->literalTable.numBuckets * sizeof(LiteralEntry *),
4553 iPtr->literalTable.numEntries * sizeof(LiteralEntry));
4554
4555 /*
4556 * Breakdown of current ByteCode space requirements.
4557 */
4558
4559 fprintf(stdout, "\nBreakdown of current ByteCode requirements:\n");
4560 fprintf(stdout, " Bytes Pct of Avg per\n");
4561 fprintf(stdout, " total ByteCode\n");
4562 fprintf(stdout, "Total %12.6g 100.00%% %8.1f\n",
4563 statsPtr->currentByteCodeBytes,
4564 statsPtr->currentByteCodeBytes / numCurrentByteCodes);
4565 fprintf(stdout, "Header %12.6g %8.1f%% %8.1f\n",
4566 currentHeaderBytes,
4567 ((currentHeaderBytes * 100.0) / statsPtr->currentByteCodeBytes),
4568 currentHeaderBytes / numCurrentByteCodes);
4569 fprintf(stdout, "Instructions %12.6g %8.1f%% %8.1f\n",
4570 statsPtr->currentInstBytes,
4571 ((statsPtr->currentInstBytes * 100.0) / statsPtr->currentByteCodeBytes),
4572 statsPtr->currentInstBytes / numCurrentByteCodes);
4573 fprintf(stdout, "Literal ptr array %12.6g %8.1f%% %8.1f\n",
4574 statsPtr->currentLitBytes,
4575 ((statsPtr->currentLitBytes * 100.0) / statsPtr->currentByteCodeBytes),
4576 statsPtr->currentLitBytes / numCurrentByteCodes);
4577 fprintf(stdout, "Exception table %12.6g %8.1f%% %8.1f\n",
4578 statsPtr->currentExceptBytes,
4579 ((statsPtr->currentExceptBytes * 100.0) / statsPtr->currentByteCodeBytes),
4580 statsPtr->currentExceptBytes / numCurrentByteCodes);
4581 fprintf(stdout, "Auxiliary data %12.6g %8.1f%% %8.1f\n",
4582 statsPtr->currentAuxBytes,
4583 ((statsPtr->currentAuxBytes * 100.0) / statsPtr->currentByteCodeBytes),
4584 statsPtr->currentAuxBytes / numCurrentByteCodes);
4585 fprintf(stdout, "Command map %12.6g %8.1f%% %8.1f\n",
4586 statsPtr->currentCmdMapBytes,
4587 ((statsPtr->currentCmdMapBytes * 100.0) / statsPtr->currentByteCodeBytes),
4588 statsPtr->currentCmdMapBytes / numCurrentByteCodes);
4589
4590 /*
4591 * Detailed literal statistics.
4592 */
4593
4594 fprintf(stdout, "\nLiteral string sizes:\n");
4595 fprintf(stdout, " Up to length Percentage\n");
4596 maxSizeDecade = 0;
4597 for (i = 31; i >= 0; i--) {
4598 if (statsPtr->literalCount[i] > 0) {
4599 maxSizeDecade = i;
4600 break;
4601 }
4602 }
4603 sum = 0;
4604 for (i = 0; i <= maxSizeDecade; i++) {
4605 decadeHigh = (1 << (i+1)) - 1;
4606 sum += statsPtr->literalCount[i];
4607 fprintf(stdout, " %10d %8.0f%%\n",
4608 decadeHigh, (sum * 100.0) / statsPtr->numLiteralsCreated);
4609 }
4610
4611 litTableStats = TclLiteralStats(globalTablePtr);
4612 fprintf(stdout, "\nCurrent literal table statistics:\n%s\n",
4613 litTableStats);
4614 ckfree((char *) litTableStats);
4615
4616 /*
4617 * Source and ByteCode size distributions.
4618 */
4619
4620 fprintf(stdout, "\nSource sizes:\n");
4621 fprintf(stdout, " Up to size Percentage\n");
4622 minSizeDecade = maxSizeDecade = 0;
4623 for (i = 0; i < 31; i++) {
4624 if (statsPtr->srcCount[i] > 0) {
4625 minSizeDecade = i;
4626 break;
4627 }
4628 }
4629 for (i = 31; i >= 0; i--) {
4630 if (statsPtr->srcCount[i] > 0) {
4631 maxSizeDecade = i;
4632 break;
4633 }
4634 }
4635 sum = 0;
4636 for (i = minSizeDecade; i <= maxSizeDecade; i++) {
4637 decadeHigh = (1 << (i+1)) - 1;
4638 sum += statsPtr->srcCount[i];
4639 fprintf(stdout, " %10d %8.0f%%\n",
4640 decadeHigh, (sum * 100.0) / statsPtr->numCompilations);
4641 }
4642
4643 fprintf(stdout, "\nByteCode sizes:\n");
4644 fprintf(stdout, " Up to size Percentage\n");
4645 minSizeDecade = maxSizeDecade = 0;
4646 for (i = 0; i < 31; i++) {
4647 if (statsPtr->byteCodeCount[i] > 0) {
4648 minSizeDecade = i;
4649 break;
4650 }
4651 }
4652 for (i = 31; i >= 0; i--) {
4653 if (statsPtr->byteCodeCount[i] > 0) {
4654 maxSizeDecade = i;
4655 break;
4656 }
4657 }
4658 sum = 0;
4659 for (i = minSizeDecade; i <= maxSizeDecade; i++) {
4660 decadeHigh = (1 << (i+1)) - 1;
4661 sum += statsPtr->byteCodeCount[i];
4662 fprintf(stdout, " %10d %8.0f%%\n",
4663 decadeHigh, (sum * 100.0) / statsPtr->numCompilations);
4664 }
4665
4666 fprintf(stdout, "\nByteCode longevity (excludes current ByteCodes):\n");
4667 fprintf(stdout, " Up to ms Percentage\n");
4668 minSizeDecade = maxSizeDecade = 0;
4669 for (i = 0; i < 31; i++) {
4670 if (statsPtr->lifetimeCount[i] > 0) {
4671 minSizeDecade = i;
4672 break;
4673 }
4674 }
4675 for (i = 31; i >= 0; i--) {
4676 if (statsPtr->lifetimeCount[i] > 0) {
4677 maxSizeDecade = i;
4678 break;
4679 }
4680 }
4681 sum = 0;
4682 for (i = minSizeDecade; i <= maxSizeDecade; i++) {
4683 decadeHigh = (1 << (i+1)) - 1;
4684 sum += statsPtr->lifetimeCount[i];
4685 fprintf(stdout, " %12.3f %8.0f%%\n",
4686 decadeHigh / 1000.0,
4687 (sum * 100.0) / statsPtr->numByteCodesFreed);
4688 }
4689
4690 /*
4691 * Instruction counts.
4692 */
4693
4694 fprintf(stdout, "\nInstruction counts:\n");
4695 for (i = 0; i <= LAST_INST_OPCODE; i++) {
4696 if (statsPtr->instructionCount[i]) {
4697 fprintf(stdout, "%20s %8ld %6.1f%%\n",
4698 instructionTable[i].name,
4699 statsPtr->instructionCount[i],
4700 (statsPtr->instructionCount[i]*100.0) / numInstructions);
4701 }
4702 }
4703
4704 fprintf(stdout, "\nInstructions NEVER executed:\n");
4705 for (i = 0; i <= LAST_INST_OPCODE; i++) {
4706 if (statsPtr->instructionCount[i] == 0) {
4707 fprintf(stdout, "%20s\n",
4708 instructionTable[i].name);
4709 }
4710 }
4711
4712 #ifdef TCL_MEM_DEBUG
4713 fprintf(stdout, "\nHeap Statistics:\n");
4714 TclDumpMemoryInfo(stdout);
4715 #endif
4716 fprintf(stdout, "\n----------------------------------------------------------------\n");
4717 return TCL_OK;
4718 }
4719 #endif /* TCL_COMPILE_STATS */
4720
4721 /*
4722 *----------------------------------------------------------------------
4723 *
4724 * Tcl_GetCommandFromObj --
4725 *
4726 * Returns the command specified by the name in a Tcl_Obj.
4727 *
4728 * Results:
4729 * Returns a token for the command if it is found. Otherwise, if it
4730 * can't be found or there is an error, returns NULL.
4731 *
4732 * Side effects:
4733 * May update the internal representation for the object, caching
4734 * the command reference so that the next time this procedure is
4735 * called with the same object, the command can be found quickly.
4736 *
4737 *----------------------------------------------------------------------
4738 */
4739
4740 Tcl_Command
4741 Tcl_GetCommandFromObj(interp, objPtr)
4742 Tcl_Interp *interp; /* The interpreter in which to resolve the
4743 * command and to report errors. */
4744 register Tcl_Obj *objPtr; /* The object containing the command's
4745 * name. If the name starts with "::", will
4746 * be looked up in global namespace. Else,
4747 * looked up first in the current namespace
4748 * if contextNsPtr is NULL, then in global
4749 * namespace. */
4750 {
4751 Interp *iPtr = (Interp *) interp;
4752 register ResolvedCmdName *resPtr;
4753 register Command *cmdPtr;
4754 Namespace *currNsPtr;
4755 int result;
4756
4757 /*
4758 * Get the internal representation, converting to a command type if
4759 * needed. The internal representation is a ResolvedCmdName that points
4760 * to the actual command.
4761 */
4762
4763 if (objPtr->typePtr != &tclCmdNameType) {
4764 result = tclCmdNameType.setFromAnyProc(interp, objPtr);
4765 if (result != TCL_OK) {
4766 return (Tcl_Command) NULL;
4767 }
4768 }
4769 resPtr = (ResolvedCmdName *) objPtr->internalRep.otherValuePtr;
4770
4771 /*
4772 * Get the current namespace.
4773 */
4774
4775 if (iPtr->varFramePtr != NULL) {
4776 currNsPtr = iPtr->varFramePtr->nsPtr;
4777 } else {
4778 currNsPtr = iPtr->globalNsPtr;
4779 }
4780
4781 /*
4782 * Check the context namespace and the namespace epoch of the resolved
4783 * symbol to make sure that it is fresh. If not, then force another
4784 * conversion to the command type, to discard the old rep and create a
4785 * new one. Note that we verify that the namespace id of the context
4786 * namespace is the same as the one we cached; this insures that the
4787 * namespace wasn't deleted and a new one created at the same address
4788 * with the same command epoch.
4789 */
4790
4791 cmdPtr = NULL;
4792 if ((resPtr != NULL)
4793 && (resPtr->refNsPtr == currNsPtr)
4794 && (resPtr->refNsId == currNsPtr->nsId)
4795 && (resPtr->refNsCmdEpoch == currNsPtr->cmdRefEpoch)) {
4796 cmdPtr = resPtr->cmdPtr;
4797 if (cmdPtr->cmdEpoch != resPtr->cmdEpoch) {
4798 cmdPtr = NULL;
4799 }
4800 }
4801
4802 if (cmdPtr == NULL) {
4803 result = tclCmdNameType.setFromAnyProc(interp, objPtr);
4804 if (result != TCL_OK) {
4805 return (Tcl_Command) NULL;
4806 }
4807 resPtr = (ResolvedCmdName *) objPtr->internalRep.otherValuePtr;
4808 if (resPtr != NULL) {
4809 cmdPtr = resPtr->cmdPtr;
4810 }
4811 }
4812 return (Tcl_Command) cmdPtr;
4813 }
4814
4815 /*
4816 *----------------------------------------------------------------------
4817 *
4818 * TclSetCmdNameObj --
4819 *
4820 * Modify an object to be an CmdName object that refers to the argument
4821 * Command structure.
4822 *
4823 * Results:
4824 * None.
4825 *
4826 * Side effects:
4827 * The object's old internal rep is freed. It's string rep is not
4828 * changed. The refcount in the Command structure is incremented to
4829 * keep it from being freed if the command is later deleted until
4830 * TclExecuteByteCode has a chance to recognize that it was deleted.
4831 *
4832 *----------------------------------------------------------------------
4833 */
4834
4835 void
4836 TclSetCmdNameObj(interp, objPtr, cmdPtr)
4837 Tcl_Interp *interp; /* Points to interpreter containing command
4838 * that should be cached in objPtr. */
4839 register Tcl_Obj *objPtr; /* Points to Tcl object to be changed to
4840 * a CmdName object. */
4841 Command *cmdPtr; /* Points to Command structure that the
4842 * CmdName object should refer to. */
4843 {
4844 Interp *iPtr = (Interp *) interp;
4845 register ResolvedCmdName *resPtr;
4846 Tcl_ObjType *oldTypePtr = objPtr->typePtr;
4847 register Namespace *currNsPtr;
4848
4849 if (oldTypePtr == &tclCmdNameType) {
4850 return;
4851 }
4852
4853 /*
4854 * Get the current namespace.
4855 */
4856
4857 if (iPtr->varFramePtr != NULL) {
4858 currNsPtr = iPtr->varFramePtr->nsPtr;
4859 } else {
4860 currNsPtr = iPtr->globalNsPtr;
4861 }
4862
4863 cmdPtr->refCount++;
4864 resPtr = (ResolvedCmdName *) ckalloc(sizeof(ResolvedCmdName));
4865 resPtr->cmdPtr = cmdPtr;
4866 resPtr->refNsPtr = currNsPtr;
4867 resPtr->refNsId = currNsPtr->nsId;
4868 resPtr->refNsCmdEpoch = currNsPtr->cmdRefEpoch;
4869 resPtr->cmdEpoch = cmdPtr->cmdEpoch;
4870 resPtr->refCount = 1;
4871
4872 if ((oldTypePtr != NULL) && (oldTypePtr->freeIntRepProc != NULL)) {
4873 oldTypePtr->freeIntRepProc(objPtr);
4874 }
4875 objPtr->internalRep.twoPtrValue.ptr1 = (VOID *) resPtr;
4876 objPtr->internalRep.twoPtrValue.ptr2 = NULL;
4877 objPtr->typePtr = &tclCmdNameType;
4878 }
4879
4880 /*
4881 *----------------------------------------------------------------------
4882 *
4883 * FreeCmdNameInternalRep --
4884 *
4885 * Frees the resources associated with a cmdName object's internal
4886 * representation.
4887 *
4888 * Results:
4889 * None.
4890 *
4891 * Side effects:
4892 * Decrements the ref count of any cached ResolvedCmdName structure
4893 * pointed to by the cmdName's internal representation. If this is
4894 * the last use of the ResolvedCmdName, it is freed. This in turn
4895 * decrements the ref count of the Command structure pointed to by
4896 * the ResolvedSymbol, which may free the Command structure.
4897 *
4898 *----------------------------------------------------------------------
4899 */
4900
4901 static void
4902 FreeCmdNameInternalRep(objPtr)
4903 register Tcl_Obj *objPtr; /* CmdName object with internal
4904 * representation to free. */
4905 {
4906 register ResolvedCmdName *resPtr =
4907 (ResolvedCmdName *) objPtr->internalRep.otherValuePtr;
4908
4909 if (resPtr != NULL) {
4910 /*
4911 * Decrement the reference count of the ResolvedCmdName structure.
4912 * If there are no more uses, free the ResolvedCmdName structure.
4913 */
4914
4915 resPtr->refCount--;
4916 if (resPtr->refCount == 0) {
4917 /*
4918 * Now free the cached command, unless it is still in its
4919 * hash table or if there are other references to it
4920 * from other cmdName objects.
4921 */
4922
4923 Command *cmdPtr = resPtr->cmdPtr;
4924 TclCleanupCommand(cmdPtr);
4925 ckfree((char *) resPtr);
4926 }
4927 }
4928 }
4929
4930 /*
4931 *----------------------------------------------------------------------
4932 *
4933 * DupCmdNameInternalRep --
4934 *
4935 * Initialize the internal representation of an cmdName Tcl_Obj to a
4936 * copy of the internal representation of an existing cmdName object.
4937 *
4938 * Results:
4939 * None.
4940 *
4941 * Side effects:
4942 * "copyPtr"s internal rep is set to point to the ResolvedCmdName
4943 * structure corresponding to "srcPtr"s internal rep. Increments the
4944 * ref count of the ResolvedCmdName structure pointed to by the
4945 * cmdName's internal representation.
4946 *
4947 *----------------------------------------------------------------------
4948 */
4949
4950 static void
4951 DupCmdNameInternalRep(srcPtr, copyPtr)
4952 Tcl_Obj *srcPtr; /* Object with internal rep to copy. */
4953 register Tcl_Obj *copyPtr; /* Object with internal rep to set. */
4954 {
4955 register ResolvedCmdName *resPtr =
4956 (ResolvedCmdName *) srcPtr->internalRep.otherValuePtr;
4957
4958 copyPtr->internalRep.twoPtrValue.ptr1 = (VOID *) resPtr;
4959 copyPtr->internalRep.twoPtrValue.ptr2 = NULL;
4960 if (resPtr != NULL) {
4961 resPtr->refCount++;
4962 }
4963 copyPtr->typePtr = &tclCmdNameType;
4964 }
4965
4966 /*
4967 *----------------------------------------------------------------------
4968 *
4969 * SetCmdNameFromAny --
4970 *
4971 * Generate an cmdName internal form for the Tcl object "objPtr".
4972 *
4973 * Results:
4974 * The return value is a standard Tcl result. The conversion always
4975 * succeeds and TCL_OK is returned.
4976 *
4977 * Side effects:
4978 * A pointer to a ResolvedCmdName structure that holds a cached pointer
4979 * to the command with a name that matches objPtr's string rep is
4980 * stored as objPtr's internal representation. This ResolvedCmdName
4981 * pointer will be NULL if no matching command was found. The ref count
4982 * of the cached Command's structure (if any) is also incremented.
4983 *
4984 *----------------------------------------------------------------------
4985 */
4986
4987 static int
4988 SetCmdNameFromAny(interp, objPtr)
4989 Tcl_Interp *interp; /* Used for error reporting if not NULL. */
4990 register Tcl_Obj *objPtr; /* The object to convert. */
4991 {
4992 Interp *iPtr = (Interp *) interp;
4993 char *name;
4994 Tcl_Command cmd;
4995 register Command *cmdPtr;
4996 Namespace *currNsPtr;
4997 register ResolvedCmdName *resPtr;
4998
4999 /*
5000 * Get "objPtr"s string representation. Make it up-to-date if necessary.
5001 */
5002
5003 name = objPtr->bytes;
5004 if (name == NULL) {
5005 name = Tcl_GetString(objPtr);
5006 }
5007
5008 /*
5009 * Find the Command structure, if any, that describes the command called
5010 * "name". Build a ResolvedCmdName that holds a cached pointer to this
5011 * Command, and bump the reference count in the referenced Command
5012 * structure. A Command structure will not be deleted as long as it is
5013 * referenced from a CmdName object.
5014 */
5015
5016 cmd = Tcl_FindCommand(interp, name, (Tcl_Namespace *) NULL,
5017 /*flags*/ 0);
5018 cmdPtr = (Command *) cmd;
5019 if (cmdPtr != NULL) {
5020 /*
5021 * Get the current namespace.
5022 */
5023
5024 if (iPtr->varFramePtr != NULL) {
5025 currNsPtr = iPtr->varFramePtr->nsPtr;
5026 } else {
5027 currNsPtr = iPtr->globalNsPtr;
5028 }
5029
5030 cmdPtr->refCount++;
5031 resPtr = (ResolvedCmdName *) ckalloc(sizeof(ResolvedCmdName));
5032 resPtr->cmdPtr = cmdPtr;
5033 resPtr->refNsPtr = currNsPtr;
5034 resPtr->refNsId = currNsPtr->nsId;
5035 resPtr->refNsCmdEpoch = currNsPtr->cmdRefEpoch;
5036 resPtr->cmdEpoch = cmdPtr->cmdEpoch;
5037 resPtr->refCount = 1;
5038 } else {
5039 resPtr = NULL; /* no command named "name" was found */
5040 }
5041
5042 /*
5043 * Free the old internalRep before setting the new one. We do this as
5044 * late as possible to allow the conversion code, in particular
5045 * GetStringFromObj, to use that old internalRep. If no Command
5046 * structure was found, leave NULL as the cached value.
5047 */
5048
5049 if ((objPtr->typePtr != NULL)
5050 && (objPtr->typePtr->freeIntRepProc != NULL)) {
5051 objPtr->typePtr->freeIntRepProc(objPtr);
5052 }
5053
5054 objPtr->internalRep.twoPtrValue.ptr1 = (VOID *) resPtr;
5055 objPtr->internalRep.twoPtrValue.ptr2 = NULL;
5056 objPtr->typePtr = &tclCmdNameType;
5057 return TCL_OK;
5058 }
5059
5060 #ifdef TCL_COMPILE_DEBUG
5061 /*
5062 *----------------------------------------------------------------------
5063 *
5064 * StringForResultCode --
5065 *
5066 * Procedure that returns a human-readable string representing a
5067 * Tcl result code such as TCL_ERROR.
5068 *
5069 * Results:
5070 * If the result code is one of the standard Tcl return codes, the
5071 * result is a string representing that code such as "TCL_ERROR".
5072 * Otherwise, the result string is that code formatted as a
5073 * sequence of decimal digit characters. Note that the resulting
5074 * string must not be modified by the caller.
5075 *
5076 * Side effects:
5077 * None.
5078 *
5079 *----------------------------------------------------------------------
5080 */
5081
5082 static char *
5083 StringForResultCode(result)
5084 int result; /* The Tcl result code for which to
5085 * generate a string. */
5086 {
5087 static char buf[TCL_INTEGER_SPACE];
5088
5089 if ((result >= TCL_OK) && (result <= TCL_CONTINUE)) {
5090 return resultStrings[result];
5091 }
5092 TclFormatInt(buf, result);
5093 return buf;
5094 }
5095 #endif /* TCL_COMPILE_DEBUG */
5096
5097 /* End of tclexecute.c */

Properties

Name Value
svn:keywords Header

dashley@gmail.com
ViewVC Help
Powered by ViewVC 1.1.25