2005-07-25 00:00:55 +04:00
|
|
|
/* Pawn compiler - Recursive descend expresion parser
|
|
|
|
*
|
|
|
|
* Copyright (c) ITB CompuPhase, 1997-2005
|
|
|
|
*
|
|
|
|
* This software is provided "as-is", without any express or implied warranty.
|
|
|
|
* In no event will the authors be held liable for any damages arising from
|
|
|
|
* the use of this software.
|
|
|
|
*
|
|
|
|
* Permission is granted to anyone to use this software for any purpose,
|
|
|
|
* including commercial applications, and to alter it and redistribute it
|
|
|
|
* freely, subject to the following restrictions:
|
|
|
|
*
|
|
|
|
* 1. The origin of this software must not be misrepresented; you must not
|
|
|
|
* claim that you wrote the original software. If you use this software in
|
|
|
|
* a product, an acknowledgment in the product documentation would be
|
|
|
|
* appreciated but is not required.
|
|
|
|
* 2. Altered source versions must be plainly marked as such, and must not be
|
|
|
|
* misrepresented as being the original software.
|
|
|
|
* 3. This notice may not be removed or altered from any source distribution.
|
|
|
|
*
|
|
|
|
* Version: $Id$
|
|
|
|
*/
|
|
|
|
#include <assert.h>
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h> /* for _MAX_PATH */
|
|
|
|
#include <string.h>
|
|
|
|
#if defined FORTIFY
|
|
|
|
#include "fortify.h"
|
|
|
|
#endif
|
|
|
|
#include "sc.h"
|
|
|
|
|
|
|
|
static int skim(int *opstr,void (*testfunc)(int),int dropval,int endval,
|
|
|
|
int (*hier)(value*),value *lval);
|
|
|
|
static void dropout(int lvalue,void (*testfunc)(int val),int exit1,value *lval);
|
|
|
|
static int plnge(int *opstr,int opoff,int (*hier)(value *lval),value *lval,
|
|
|
|
char *forcetag,int chkbitwise);
|
|
|
|
static int plnge1(int (*hier)(value *lval),value *lval);
|
|
|
|
static void plnge2(void (*oper)(void),
|
|
|
|
int (*hier)(value *lval),
|
|
|
|
value *lval1,value *lval2);
|
|
|
|
static cell calc(cell left,void (*oper)(),cell right,char *boolresult);
|
|
|
|
static int hier14(value *lval);
|
|
|
|
static int hier13(value *lval);
|
|
|
|
static int hier12(value *lval);
|
|
|
|
static int hier11(value *lval);
|
|
|
|
static int hier10(value *lval);
|
|
|
|
static int hier9(value *lval);
|
|
|
|
static int hier8(value *lval);
|
|
|
|
static int hier7(value *lval);
|
|
|
|
static int hier6(value *lval);
|
|
|
|
static int hier5(value *lval);
|
|
|
|
static int hier4(value *lval);
|
|
|
|
static int hier3(value *lval);
|
|
|
|
static int hier2(value *lval);
|
|
|
|
static int hier1(value *lval1);
|
|
|
|
static int primary(value *lval);
|
|
|
|
static void clear_value(value *lval);
|
|
|
|
static void callfunction(symbol *sym,value *lval_result,int matchparanthesis);
|
|
|
|
static int dbltest(void (*oper)(),value *lval1,value *lval2);
|
|
|
|
static int commutative(void (*oper)());
|
|
|
|
static int constant(value *lval);
|
|
|
|
|
|
|
|
static char lastsymbol[sNAMEMAX+1]; /* name of last function/variable */
|
|
|
|
static int bitwise_opercount; /* count of bitwise operators in an expression */
|
|
|
|
static int decl_heap=0;
|
|
|
|
|
|
|
|
/* Function addresses of binary operators for signed operations */
|
|
|
|
static void (*op1[17])(void) = {
|
|
|
|
os_mult,os_div,os_mod, /* hier3, index 0 */
|
|
|
|
ob_add,ob_sub, /* hier4, index 3 */
|
|
|
|
ob_sal,os_sar,ou_sar, /* hier5, index 5 */
|
|
|
|
ob_and, /* hier6, index 8 */
|
|
|
|
ob_xor, /* hier7, index 9 */
|
|
|
|
ob_or, /* hier8, index 10 */
|
|
|
|
os_le,os_ge,os_lt,os_gt, /* hier9, index 11 */
|
|
|
|
ob_eq,ob_ne, /* hier10, index 15 */
|
|
|
|
};
|
|
|
|
/* These two functions are defined because the functions inc() and dec() in
|
|
|
|
* SC4.C have a different prototype than the other code generation functions.
|
|
|
|
* The arrays for user-defined functions use the function pointers for
|
|
|
|
* identifying what kind of operation is requested; these functions must all
|
|
|
|
* have the same prototype. As inc() and dec() are special cases already, it
|
|
|
|
* is simplest to add two "do-nothing" functions.
|
|
|
|
*/
|
|
|
|
static void user_inc(void) {}
|
|
|
|
static void user_dec(void) {}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Searches for a binary operator a list of operators. The list is stored in
|
|
|
|
* the array "list". The last entry in the list should be set to 0.
|
|
|
|
*
|
|
|
|
* The index of an operator in "list" (if found) is returned in "opidx". If
|
|
|
|
* no operator is found, nextop() returns 0.
|
|
|
|
*
|
|
|
|
* If an operator is found in the expression, it cannot be used in a function
|
|
|
|
* call with omitted parantheses. Mark this...
|
|
|
|
*
|
|
|
|
* Global references: sc_allowproccall (modified)
|
|
|
|
*/
|
|
|
|
static int nextop(int *opidx,int *list)
|
|
|
|
{
|
|
|
|
*opidx=0;
|
|
|
|
while (*list){
|
|
|
|
if (matchtoken(*list)){
|
|
|
|
sc_allowproccall=FALSE;
|
|
|
|
return TRUE; /* found! */
|
|
|
|
} else {
|
|
|
|
list+=1;
|
|
|
|
*opidx+=1;
|
|
|
|
} /* if */
|
|
|
|
} /* while */
|
|
|
|
return FALSE; /* entire list scanned, nothing found */
|
|
|
|
}
|
|
|
|
|
|
|
|
SC_FUNC int check_userop(void (*oper)(void),int tag1,int tag2,int numparam,
|
|
|
|
value *lval,int *resulttag)
|
|
|
|
{
|
|
|
|
static char *binoperstr[] = { "*", "/", "%", "+", "-", "", "", "",
|
|
|
|
"", "", "", "<=", ">=", "<", ">", "==", "!=" };
|
|
|
|
static int binoper_savepri[] = { FALSE, FALSE, FALSE, FALSE, FALSE, FALSE,
|
|
|
|
FALSE, FALSE, FALSE, FALSE, FALSE,
|
|
|
|
TRUE, TRUE, TRUE, TRUE, FALSE, FALSE };
|
|
|
|
static char *unoperstr[] = { "!", "-", "++", "--" };
|
|
|
|
static void (*unopers[])(void) = { lneg, neg, user_inc, user_dec };
|
|
|
|
char opername[4] = "", symbolname[sNAMEMAX+1];
|
|
|
|
int i,swapparams,savepri,savealt;
|
|
|
|
int paramspassed;
|
|
|
|
symbol *sym;
|
|
|
|
|
|
|
|
/* since user-defined operators on untagged operands are forbidden, we have
|
|
|
|
* a quick exit.
|
|
|
|
*/
|
|
|
|
assert(numparam==1 || numparam==2);
|
|
|
|
if (tag1==0 && (numparam==1 || tag2==0))
|
|
|
|
return FALSE;
|
|
|
|
|
|
|
|
savepri=savealt=FALSE;
|
|
|
|
/* find the name with the operator */
|
|
|
|
if (numparam==2) {
|
|
|
|
if (oper==NULL) {
|
|
|
|
/* assignment operator: a special case */
|
|
|
|
strcpy(opername,"=");
|
|
|
|
if (lval!=NULL && (lval->ident==iARRAYCELL || lval->ident==iARRAYCHAR))
|
|
|
|
savealt=TRUE;
|
|
|
|
} else {
|
|
|
|
assert( (sizeof binoperstr / sizeof binoperstr[0]) == (sizeof op1 / sizeof op1[0]) );
|
|
|
|
for (i=0; i<sizeof op1 / sizeof op1[0]; i++) {
|
|
|
|
if (oper==op1[i]) {
|
|
|
|
strcpy(opername,binoperstr[i]);
|
|
|
|
savepri=binoper_savepri[i];
|
|
|
|
break;
|
|
|
|
} /* if */
|
|
|
|
} /* for */
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
assert(oper!=NULL);
|
|
|
|
assert(numparam==1);
|
|
|
|
/* try a select group of unary operators */
|
|
|
|
assert( (sizeof unoperstr / sizeof unoperstr[0]) == (sizeof unopers / sizeof unopers[0]) );
|
|
|
|
if (opername[0]=='\0') {
|
|
|
|
for (i=0; i<sizeof unopers / sizeof unopers[0]; i++) {
|
|
|
|
if (oper==unopers[i]) {
|
|
|
|
strcpy(opername,unoperstr[i]);
|
|
|
|
break;
|
|
|
|
} /* if */
|
|
|
|
} /* for */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
/* if not found, quit */
|
|
|
|
if (opername[0]=='\0')
|
|
|
|
return FALSE;
|
|
|
|
|
|
|
|
/* create a symbol name from the tags and the operator name */
|
|
|
|
assert(numparam==1 || numparam==2);
|
|
|
|
operator_symname(symbolname,opername,tag1,tag2,numparam,tag2);
|
|
|
|
swapparams=FALSE;
|
|
|
|
sym=findglb(symbolname);
|
|
|
|
if (sym==NULL /*|| (sym->usage & uDEFINE)==0*/) { /* ??? should not check uDEFINE; first pass clears these bits */
|
|
|
|
/* check for commutative operators */
|
|
|
|
if (tag1==tag2 || oper==NULL || !commutative(oper))
|
|
|
|
return FALSE; /* not commutative, cannot swap operands */
|
|
|
|
/* if arrived here, the operator is commutative and the tags are different,
|
|
|
|
* swap tags and try again
|
|
|
|
*/
|
|
|
|
assert(numparam==2); /* commutative operator must be a binary operator */
|
|
|
|
operator_symname(symbolname,opername,tag2,tag1,numparam,tag1);
|
|
|
|
swapparams=TRUE;
|
|
|
|
sym=findglb(symbolname);
|
|
|
|
if (sym==NULL /*|| (sym->usage & uDEFINE)==0*/)
|
|
|
|
return FALSE;
|
|
|
|
} /* if */
|
|
|
|
|
|
|
|
/* check existance and the proper declaration of this function */
|
|
|
|
if ((sym->usage & uMISSING)!=0 || (sym->usage & uPROTOTYPED)==0) {
|
|
|
|
char symname[2*sNAMEMAX+16]; /* allow space for user defined operators */
|
|
|
|
funcdisplayname(symname,sym->name);
|
|
|
|
if ((sym->usage & uMISSING)!=0)
|
|
|
|
error(4,symname); /* function not defined */
|
|
|
|
if ((sym->usage & uPROTOTYPED)==0)
|
|
|
|
error(71,symname); /* operator must be declared before use */
|
|
|
|
} /* if */
|
|
|
|
|
|
|
|
/* we don't want to use the redefined operator in the function that
|
|
|
|
* redefines the operator itself, otherwise the snippet below gives
|
|
|
|
* an unexpected recursion:
|
|
|
|
* fixed:operator+(fixed:a, fixed:b)
|
|
|
|
* return a + b
|
|
|
|
*/
|
|
|
|
if (sym==curfunc)
|
|
|
|
return FALSE;
|
|
|
|
|
|
|
|
/* for increment and decrement operators, the symbol must first be loaded
|
|
|
|
* (and stored back afterwards)
|
|
|
|
*/
|
|
|
|
if (oper==user_inc || oper==user_dec) {
|
|
|
|
assert(!savepri);
|
|
|
|
assert(lval!=NULL);
|
|
|
|
if (lval->ident==iARRAYCELL || lval->ident==iARRAYCHAR)
|
|
|
|
pushreg(sPRI); /* save current address in PRI */
|
|
|
|
rvalue(lval); /* get the symbol's value in PRI */
|
|
|
|
} /* if */
|
|
|
|
|
|
|
|
assert(!savepri || !savealt); /* either one MAY be set, but not both */
|
|
|
|
if (savepri) {
|
|
|
|
/* the chained comparison operators require that the ALT register is
|
|
|
|
* unmodified, so we save it here; actually, we save PRI because the normal
|
|
|
|
* instruction sequence (without user operator) swaps PRI and ALT
|
|
|
|
*/
|
|
|
|
pushreg(sPRI); /* right-hand operand is in PRI */
|
|
|
|
} else if (savealt) {
|
|
|
|
/* for the assignment operator, ALT may contain an address at which the
|
|
|
|
* result must be stored; this address must be preserved accross the
|
|
|
|
* call
|
|
|
|
*/
|
|
|
|
assert(lval!=NULL); /* this was checked earlier */
|
|
|
|
assert(lval->ident==iARRAYCELL || lval->ident==iARRAYCHAR); /* checked earlier */
|
|
|
|
pushreg(sALT);
|
|
|
|
} /* if */
|
|
|
|
|
|
|
|
/* push parameters, call the function */
|
|
|
|
paramspassed= (oper==NULL) ? 1 : numparam;
|
|
|
|
switch (paramspassed) {
|
|
|
|
case 1:
|
|
|
|
pushreg(sPRI);
|
|
|
|
break;
|
|
|
|
case 2:
|
|
|
|
/* note that 1) a function expects that the parameters are pushed
|
|
|
|
* in reversed order, and 2) the left operand is in the secondary register
|
|
|
|
* and the right operand is in the primary register */
|
|
|
|
if (swapparams) {
|
|
|
|
pushreg(sALT);
|
|
|
|
pushreg(sPRI);
|
|
|
|
} else {
|
|
|
|
pushreg(sPRI);
|
|
|
|
pushreg(sALT);
|
|
|
|
} /* if */
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
assert(0);
|
|
|
|
} /* switch */
|
|
|
|
markexpr(sPARM,NULL,0); /* mark the end of a sub-expression */
|
|
|
|
pushval((cell)paramspassed*sizeof(cell));
|
|
|
|
assert(sym->ident==iFUNCTN);
|
|
|
|
ffcall(sym,NULL,paramspassed);
|
|
|
|
if (sc_status!=statSKIP)
|
|
|
|
markusage(sym,uREAD); /* do not mark as "used" when this call itself is skipped */
|
|
|
|
if ((sym->usage & uNATIVE)!=0 && sym->x.lib!=NULL)
|
|
|
|
sym->x.lib->value += 1; /* increment "usage count" of the library */
|
|
|
|
sideeffect=TRUE; /* assume functions carry out a side-effect */
|
|
|
|
assert(resulttag!=NULL);
|
|
|
|
*resulttag=sym->tag; /* save tag of the called function */
|
|
|
|
|
|
|
|
if (savepri || savealt)
|
|
|
|
popreg(sALT); /* restore the saved PRI/ALT that into ALT */
|
|
|
|
if (oper==user_inc || oper==user_dec) {
|
|
|
|
assert(lval!=NULL);
|
|
|
|
if (lval->ident==iARRAYCELL || lval->ident==iARRAYCHAR)
|
|
|
|
popreg(sALT); /* restore address (in ALT) */
|
|
|
|
store(lval); /* store PRI in the symbol */
|
|
|
|
moveto1(); /* make sure PRI is restored on exit */
|
|
|
|
} /* if */
|
|
|
|
return TRUE;
|
|
|
|
}
|
|
|
|
|
|
|
|
SC_FUNC int matchtag(int formaltag,int actualtag,int allowcoerce)
|
|
|
|
{
|
|
|
|
if (formaltag!=actualtag) {
|
|
|
|
/* if the formal tag is zero and the actual tag is not "fixed", the actual
|
|
|
|
* tag is "coerced" to zero
|
|
|
|
*/
|
|
|
|
if (!allowcoerce || formaltag!=0 || (actualtag & FIXEDTAG)!=0)
|
|
|
|
return FALSE;
|
|
|
|
} /* if */
|
|
|
|
return TRUE;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* The AMX pseudo-processor has no direct support for logical (boolean)
|
|
|
|
* operations. These have to be done via comparing and jumping. Since we are
|
|
|
|
* already jumping through the code, we might as well implement an "early
|
|
|
|
* drop-out" evaluation (also called "short-circuit"). This conforms to
|
|
|
|
* standard C:
|
|
|
|
*
|
|
|
|
* expr1 || expr2 expr2 will only be evaluated if expr1 is false.
|
|
|
|
* expr1 && expr2 expr2 will only be evaluated if expr1 is true.
|
|
|
|
*
|
|
|
|
* expr1 || expr2 && expr3 expr2 will only be evaluated if expr1 is false
|
|
|
|
* and expr3 will only be evaluated if expr1 is
|
|
|
|
* false and expr2 is true.
|
|
|
|
*
|
|
|
|
* Code generation for the last example proceeds thus:
|
|
|
|
*
|
|
|
|
* evaluate expr1
|
|
|
|
* operator || found
|
|
|
|
* jump to "l1" if result of expr1 not equal to 0
|
|
|
|
* evaluate expr2
|
|
|
|
* -> operator && found; skip to higher level in hierarchy diagram
|
|
|
|
* jump to "l2" if result of expr2 equal to 0
|
|
|
|
* evaluate expr3
|
|
|
|
* jump to "l2" if result of expr3 equal to 0
|
|
|
|
* set expression result to 1 (true)
|
|
|
|
* jump to "l3"
|
|
|
|
* l2: set expression result to 0 (false)
|
|
|
|
* l3:
|
|
|
|
* <- drop back to previous hierarchy level
|
|
|
|
* jump to "l1" if result of expr2 && expr3 not equal to 0
|
|
|
|
* set expression result to 0 (false)
|
|
|
|
* jump to "l4"
|
|
|
|
* l1: set expression result to 1 (true)
|
|
|
|
* l4:
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* Skim over terms adjoining || and && operators
|
|
|
|
* dropval The value of the expression after "dropping out". An "or" drops
|
|
|
|
* out when the left hand is TRUE, so dropval must be 1 on "or"
|
|
|
|
* expressions.
|
|
|
|
* endval The value of the expression when no expression drops out. In an
|
|
|
|
* "or" expression, this happens when both the left hand and the
|
|
|
|
* right hand are FALSE, so endval must be 0 for "or" expressions.
|
|
|
|
*/
|
|
|
|
static int skim(int *opstr,void (*testfunc)(int),int dropval,int endval,
|
|
|
|
int (*hier)(value*),value *lval)
|
|
|
|
{
|
|
|
|
int lvalue,hits,droplab,endlab,opidx;
|
|
|
|
int allconst;
|
|
|
|
cell constval;
|
|
|
|
int index;
|
|
|
|
cell cidx;
|
|
|
|
|
|
|
|
stgget(&index,&cidx); /* mark position in code generator */
|
|
|
|
hits=FALSE; /* no logical operators "hit" yet */
|
|
|
|
allconst=TRUE; /* assume all values "const" */
|
|
|
|
constval=0;
|
|
|
|
droplab=0; /* to avoid a compiler warning */
|
|
|
|
for ( ;; ) {
|
|
|
|
lvalue=plnge1(hier,lval); /* evaluate left expression */
|
|
|
|
|
|
|
|
allconst= allconst && (lval->ident==iCONSTEXPR);
|
|
|
|
if (allconst) {
|
|
|
|
if (hits) {
|
|
|
|
/* one operator was already found */
|
|
|
|
if (testfunc==jmp_ne0)
|
|
|
|
lval->constval= lval->constval || constval;
|
|
|
|
else
|
|
|
|
lval->constval= lval->constval && constval;
|
|
|
|
} /* if */
|
|
|
|
constval=lval->constval; /* save result accumulated so far */
|
|
|
|
} /* if */
|
|
|
|
|
|
|
|
if (nextop(&opidx,opstr)) {
|
|
|
|
if (!hits) {
|
|
|
|
/* this is the first operator in the list */
|
|
|
|
hits=TRUE;
|
|
|
|
droplab=getlabel();
|
|
|
|
} /* if */
|
|
|
|
dropout(lvalue,testfunc,droplab,lval);
|
2006-01-07 08:39:40 +03:00
|
|
|
if (!lvalue && sc_intest && (lval->ident==iARRAY || lval->ident==iREFARRAY)) {
|
|
|
|
error(33, lval->sym ? (lval->sym->name ? lval->sym->name : "-unknown") : "-unknown-"); /* array was not indexed in an expression */
|
|
|
|
}
|
2005-07-25 00:00:55 +04:00
|
|
|
} else if (hits) { /* no (more) identical operators */
|
2006-01-07 08:39:40 +03:00
|
|
|
if (!lvalue && sc_intest && (lval->ident==iARRAY || lval->ident==iREFARRAY)) {
|
|
|
|
error(33, lval->sym ? (lval->sym->name ? lval->sym->name : "-unknown") : "-unknown-"); /* array was not indexed in an expression */
|
|
|
|
}
|
2005-07-25 00:00:55 +04:00
|
|
|
dropout(lvalue,testfunc,droplab,lval); /* found at least one operator! */
|
|
|
|
ldconst(endval,sPRI);
|
|
|
|
jumplabel(endlab=getlabel());
|
|
|
|
setlabel(droplab);
|
|
|
|
ldconst(dropval,sPRI);
|
|
|
|
setlabel(endlab);
|
|
|
|
lval->sym=NULL;
|
|
|
|
lval->tag=pc_addtag("bool"); /* force tag to be "bool" */
|
|
|
|
if (allconst) {
|
|
|
|
lval->ident=iCONSTEXPR;
|
|
|
|
lval->constval=constval;
|
|
|
|
stgdel(index,cidx); /* scratch generated code and calculate */
|
|
|
|
} else {
|
|
|
|
lval->ident=iEXPRESSION;
|
|
|
|
lval->constval=0;
|
|
|
|
} /* if */
|
|
|
|
return FALSE;
|
|
|
|
} else {
|
|
|
|
return lvalue; /* none of the operators in "opstr" were found */
|
|
|
|
} /* if */
|
|
|
|
|
|
|
|
} /* while */
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Reads into the primary register the variable pointed to by lval if
|
|
|
|
* plunging through the hierarchy levels detected an lvalue. Otherwise
|
|
|
|
* if a constant was detected, it is loaded. If there is no constant and
|
|
|
|
* no lvalue, the primary register must already contain the expression
|
|
|
|
* result.
|
|
|
|
*
|
|
|
|
* After that, the compare routines "jmp_ne0" or "jmp_eq0" are called, which
|
|
|
|
* compare the primary register against 0, and jump to the "early drop-out"
|
|
|
|
* label "exit1" if the condition is true.
|
|
|
|
*/
|
|
|
|
static void dropout(int lvalue,void (*testfunc)(int val),int exit1,value *lval)
|
|
|
|
{
|
|
|
|
if (lvalue)
|
|
|
|
rvalue(lval);
|
|
|
|
else if (lval->ident==iCONSTEXPR)
|
|
|
|
ldconst(lval->constval,sPRI);
|
|
|
|
(*testfunc)(exit1);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void checkfunction(value *lval)
|
|
|
|
{
|
|
|
|
symbol *sym=lval->sym;
|
|
|
|
|
|
|
|
if (sym==NULL || (sym->ident!=iFUNCTN && sym->ident!=iREFFUNC))
|
|
|
|
return; /* no known symbol, or not a function result */
|
|
|
|
|
|
|
|
if ((sym->usage & uDEFINE)!=0) {
|
|
|
|
/* function is defined, can now check the return value (but make an
|
|
|
|
* exception for directly recursive functions)
|
|
|
|
*/
|
|
|
|
if (sym!=curfunc && (sym->usage & uRETVALUE)==0) {
|
|
|
|
char symname[2*sNAMEMAX+16]; /* allow space for user defined operators */
|
|
|
|
funcdisplayname(symname,sym->name);
|
|
|
|
error(209,symname); /* function should return a value */
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
/* function not yet defined, set */
|
|
|
|
sym->usage|=uRETVALUE; /* make sure that a future implementation of
|
|
|
|
* the function uses "return <value>" */
|
|
|
|
} /* if */
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Plunge to a lower level
|
|
|
|
*/
|
|
|
|
static int plnge(int *opstr,int opoff,int (*hier)(value *lval),value *lval,
|
|
|
|
char *forcetag,int chkbitwise)
|
|
|
|
{
|
|
|
|
int lvalue,opidx;
|
|
|
|
int count;
|
|
|
|
value lval2 = {0};
|
|
|
|
|
|
|
|
lvalue=plnge1(hier,lval);
|
|
|
|
if (nextop(&opidx,opstr)==0)
|
|
|
|
return lvalue; /* no operator in "opstr" found */
|
|
|
|
if (lvalue)
|
|
|
|
rvalue(lval);
|
|
|
|
count=0;
|
|
|
|
do {
|
|
|
|
if (chkbitwise && count++>0 && bitwise_opercount!=0)
|
|
|
|
error(212);
|
|
|
|
opidx+=opoff; /* add offset to index returned by nextop() */
|
|
|
|
plnge2(op1[opidx],hier,lval,&lval2);
|
|
|
|
if (op1[opidx]==ob_and || op1[opidx]==ob_or)
|
|
|
|
bitwise_opercount++;
|
|
|
|
if (forcetag!=NULL)
|
|
|
|
lval->tag=pc_addtag(forcetag);
|
|
|
|
} while (nextop(&opidx,opstr)); /* do */
|
|
|
|
return FALSE; /* result of expression is not an lvalue */
|
|
|
|
}
|
|
|
|
|
|
|
|
/* plnge_rel
|
|
|
|
*
|
|
|
|
* Binary plunge to lower level; this is very simular to plnge, but
|
|
|
|
* it has special code generation sequences for chained operations.
|
|
|
|
*/
|
|
|
|
static int plnge_rel(int *opstr,int opoff,int (*hier)(value *lval),value *lval)
|
|
|
|
{
|
|
|
|
int lvalue,opidx;
|
|
|
|
value lval2 = {0}; /* intialize, to avoid a compiler warning */
|
|
|
|
int count;
|
|
|
|
|
|
|
|
/* this function should only be called for relational operators */
|
|
|
|
assert(op1[opoff]==os_le);
|
|
|
|
lvalue=plnge1(hier,lval);
|
|
|
|
if (nextop(&opidx,opstr)==0)
|
|
|
|
return lvalue; /* no operator in "opstr" found */
|
|
|
|
if (lvalue)
|
|
|
|
rvalue(lval);
|
|
|
|
count=0;
|
|
|
|
lval->boolresult=TRUE;
|
|
|
|
do {
|
|
|
|
/* same check as in plnge(), but "chkbitwise" is always TRUE */
|
|
|
|
if (count>0 && bitwise_opercount!=0)
|
|
|
|
error(212);
|
|
|
|
if (count>0) {
|
|
|
|
relop_prefix();
|
|
|
|
*lval=lval2; /* copy right hand expression of the previous iteration */
|
|
|
|
} /* if */
|
|
|
|
opidx+=opoff;
|
|
|
|
plnge2(op1[opidx],hier,lval,&lval2);
|
|
|
|
if (count++>0)
|
|
|
|
relop_suffix();
|
|
|
|
} while (nextop(&opidx,opstr)); /* enddo */
|
|
|
|
lval->constval=lval->boolresult;
|
|
|
|
lval->tag=pc_addtag("bool"); /* force tag to be "bool" */
|
|
|
|
return FALSE; /* result of expression is not an lvalue */
|
|
|
|
}
|
|
|
|
|
|
|
|
/* plnge1
|
|
|
|
*
|
|
|
|
* Unary plunge to lower level
|
|
|
|
* Called by: skim(), plnge(), plnge2(), plnge_rel(), hier14() and hier13()
|
|
|
|
*/
|
|
|
|
static int plnge1(int (*hier)(value *lval),value *lval)
|
|
|
|
{
|
|
|
|
int lvalue,index;
|
|
|
|
cell cidx;
|
|
|
|
|
|
|
|
stgget(&index,&cidx); /* mark position in code generator */
|
|
|
|
lvalue=(*hier)(lval);
|
|
|
|
if (lval->ident==iCONSTEXPR)
|
|
|
|
stgdel(index,cidx); /* load constant later */
|
|
|
|
return lvalue;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* plnge2
|
|
|
|
*
|
|
|
|
* Binary plunge to lower level
|
|
|
|
* Called by: plnge(), plnge_rel(), hier14() and hier1()
|
|
|
|
*/
|
|
|
|
static void plnge2(void (*oper)(void),
|
|
|
|
int (*hier)(value *lval),
|
|
|
|
value *lval1,value *lval2)
|
|
|
|
{
|
|
|
|
int index;
|
|
|
|
cell cidx;
|
|
|
|
|
|
|
|
stgget(&index,&cidx); /* mark position in code generator */
|
|
|
|
if (lval1->ident==iCONSTEXPR) { /* constant on left side; it is not yet loaded */
|
|
|
|
if (plnge1(hier,lval2))
|
|
|
|
rvalue(lval2); /* load lvalue now */
|
|
|
|
else if (lval2->ident==iCONSTEXPR)
|
|
|
|
ldconst(lval2->constval<<dbltest(oper,lval2,lval1),sPRI);
|
|
|
|
ldconst(lval1->constval<<dbltest(oper,lval2,lval1),sALT);
|
|
|
|
/* ^ doubling of constants operating on integer addresses */
|
|
|
|
/* is restricted to "add" and "subtract" operators */
|
|
|
|
} else { /* non-constant on left side */
|
|
|
|
pushreg(sPRI);
|
|
|
|
if (plnge1(hier,lval2))
|
|
|
|
rvalue(lval2);
|
|
|
|
if (lval2->ident==iCONSTEXPR) { /* constant on right side */
|
|
|
|
if (commutative(oper)) { /* test for commutative operators */
|
|
|
|
value lvaltmp = {0};
|
|
|
|
stgdel(index,cidx); /* scratch pushreg() and constant fetch (then
|
|
|
|
* fetch the constant again */
|
|
|
|
ldconst(lval2->constval<<dbltest(oper,lval1,lval2),sALT);
|
|
|
|
/* now, the primary register has the left operand and the secondary
|
|
|
|
* register the right operand; swap the "lval" variables so that lval1
|
|
|
|
* is associated with the secondary register and lval2 with the
|
|
|
|
* primary register, as is the "normal" case.
|
|
|
|
*/
|
|
|
|
lvaltmp=*lval1;
|
|
|
|
*lval1=*lval2;
|
|
|
|
*lval2=lvaltmp;
|
|
|
|
} else {
|
|
|
|
ldconst(lval2->constval<<dbltest(oper,lval1,lval2),sPRI);
|
|
|
|
popreg(sALT); /* pop result of left operand into secondary register */
|
|
|
|
} /* if */
|
|
|
|
} else { /* non-constants on both sides */
|
|
|
|
popreg(sALT);
|
|
|
|
if (dbltest(oper,lval1,lval2))
|
|
|
|
cell2addr(); /* double primary register */
|
|
|
|
if (dbltest(oper,lval2,lval1))
|
|
|
|
cell2addr_alt(); /* double secondary register */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
if (oper) {
|
|
|
|
/* If used in an expression, a function should return a value.
|
|
|
|
* If the function has been defined, we can check this. If the
|
|
|
|
* function was not defined, we can set this requirement (so that
|
|
|
|
* a future function definition can check this bit.
|
|
|
|
*/
|
|
|
|
checkfunction(lval1);
|
|
|
|
checkfunction(lval2);
|
|
|
|
if (lval1->ident==iARRAY || lval1->ident==iREFARRAY) {
|
|
|
|
char *ptr=(lval1->sym!=NULL) ? lval1->sym->name : "-unknown-";
|
|
|
|
error(33,ptr); /* array must be indexed */
|
|
|
|
} else if (lval2->ident==iARRAY || lval2->ident==iREFARRAY) {
|
|
|
|
char *ptr=(lval2->sym!=NULL) ? lval2->sym->name : "-unknown-";
|
|
|
|
error(33,ptr); /* array must be indexed */
|
|
|
|
} /* if */
|
|
|
|
/* ??? ^^^ should do same kind of error checking with functions */
|
|
|
|
|
|
|
|
/* check whether an "operator" function is defined for the tag names
|
|
|
|
* (a constant expression cannot be optimized in that case)
|
|
|
|
*/
|
|
|
|
if (check_userop(oper,lval1->tag,lval2->tag,2,NULL,&lval1->tag)) {
|
|
|
|
lval1->ident=iEXPRESSION;
|
|
|
|
lval1->constval=0;
|
|
|
|
} else if (lval1->ident==iCONSTEXPR && lval2->ident==iCONSTEXPR) {
|
|
|
|
/* only constant expression if both constant */
|
|
|
|
stgdel(index,cidx); /* scratch generated code and calculate */
|
|
|
|
if (!matchtag(lval1->tag,lval2->tag,FALSE))
|
|
|
|
error(213); /* tagname mismatch */
|
|
|
|
lval1->constval=calc(lval1->constval,oper,lval2->constval,&lval1->boolresult);
|
|
|
|
} else {
|
|
|
|
if (!matchtag(lval1->tag,lval2->tag,FALSE))
|
|
|
|
error(213); /* tagname mismatch */
|
|
|
|
(*oper)(); /* do the (signed) operation */
|
|
|
|
lval1->ident=iEXPRESSION;
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
}
|
|
|
|
|
|
|
|
static cell truemodulus(cell a,cell b)
|
|
|
|
{
|
|
|
|
return (a % b + b) % b;
|
|
|
|
}
|
|
|
|
|
|
|
|
static cell calc(cell left,void (*oper)(),cell right,char *boolresult)
|
|
|
|
{
|
|
|
|
if (oper==ob_or)
|
|
|
|
return (left | right);
|
|
|
|
else if (oper==ob_xor)
|
|
|
|
return (left ^ right);
|
|
|
|
else if (oper==ob_and)
|
|
|
|
return (left & right);
|
|
|
|
else if (oper==ob_eq)
|
|
|
|
return (left == right);
|
|
|
|
else if (oper==ob_ne)
|
|
|
|
return (left != right);
|
|
|
|
else if (oper==os_le)
|
|
|
|
return *boolresult &= (char)(left <= right), right;
|
|
|
|
else if (oper==os_ge)
|
|
|
|
return *boolresult &= (char)(left >= right), right;
|
|
|
|
else if (oper==os_lt)
|
|
|
|
return *boolresult &= (char)(left < right), right;
|
|
|
|
else if (oper==os_gt)
|
|
|
|
return *boolresult &= (char)(left > right), right;
|
|
|
|
else if (oper==os_sar)
|
|
|
|
return (left >> (int)right);
|
|
|
|
else if (oper==ou_sar)
|
|
|
|
return ((ucell)left >> (ucell)right);
|
|
|
|
else if (oper==ob_sal)
|
|
|
|
return ((ucell)left << (int)right);
|
|
|
|
else if (oper==ob_add)
|
|
|
|
return (left + right);
|
|
|
|
else if (oper==ob_sub)
|
|
|
|
return (left - right);
|
|
|
|
else if (oper==os_mult)
|
|
|
|
return (left * right);
|
|
|
|
else if (oper==os_div)
|
|
|
|
return (left - truemodulus(left,right)) / right;
|
|
|
|
else if (oper==os_mod)
|
|
|
|
return truemodulus(left,right);
|
|
|
|
else
|
|
|
|
error(29); /* invalid expression, assumed 0 (this should never occur) */
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
SC_FUNC int expression(cell *val,int *tag,symbol **symptr,int chkfuncresult)
|
|
|
|
{
|
|
|
|
int locheap=decl_heap;
|
|
|
|
value lval={0};
|
|
|
|
|
|
|
|
if (hier14(&lval))
|
|
|
|
rvalue(&lval);
|
|
|
|
/* scrap any arrays left on the heap */
|
|
|
|
assert(decl_heap>=locheap);
|
|
|
|
modheap((locheap-decl_heap)*sizeof(cell)); /* remove heap space, so negative delta */
|
|
|
|
decl_heap=locheap;
|
|
|
|
|
|
|
|
if (lval.ident==iCONSTEXPR && val!=NULL) /* constant expression */
|
|
|
|
*val=lval.constval;
|
2006-01-07 05:20:54 +03:00
|
|
|
if (lval.ident==iARRAY || lval.ident==iREFARRAY) {
|
|
|
|
error(13, lval.sym ? (lval.sym->name ? lval.sym->name : "-unknown-") : "-unknown-");
|
|
|
|
}
|
2005-07-25 00:00:55 +04:00
|
|
|
if (tag!=NULL)
|
|
|
|
*tag=lval.tag;
|
|
|
|
if (symptr!=NULL)
|
|
|
|
*symptr=lval.sym;
|
|
|
|
if (chkfuncresult)
|
|
|
|
checkfunction(&lval);
|
|
|
|
return lval.ident;
|
|
|
|
}
|
|
|
|
|
|
|
|
static cell array_totalsize(symbol *sym)
|
|
|
|
{
|
|
|
|
cell length;
|
|
|
|
|
|
|
|
assert(sym!=NULL);
|
|
|
|
assert(sym->ident==iARRAY || sym->ident==iREFARRAY);
|
|
|
|
length=sym->dim.array.length;
|
|
|
|
if (sym->dim.array.level > 0) {
|
|
|
|
cell sublength=array_totalsize(finddepend(sym));
|
|
|
|
if (sublength>0)
|
|
|
|
length=length+length*sublength;
|
|
|
|
else
|
|
|
|
length=0;
|
|
|
|
} /* if */
|
|
|
|
return length;
|
|
|
|
}
|
|
|
|
|
|
|
|
static cell array_levelsize(symbol *sym,int level)
|
|
|
|
{
|
|
|
|
assert(sym!=NULL);
|
|
|
|
assert(sym->ident==iARRAY || sym->ident==iREFARRAY);
|
|
|
|
assert(level <= sym->dim.array.level);
|
|
|
|
while (level-- > 0) {
|
|
|
|
sym=finddepend(sym);
|
|
|
|
assert(sym!=NULL);
|
|
|
|
} /* if */
|
|
|
|
return sym->dim.array.length;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* hier14
|
|
|
|
*
|
|
|
|
* Lowest hierarchy level (except for the , operator).
|
|
|
|
*
|
|
|
|
* Global references: sc_intest (reffered to only)
|
|
|
|
* sc_allowproccall (modified)
|
|
|
|
*/
|
|
|
|
static int hier14(value *lval1)
|
|
|
|
{
|
|
|
|
int lvalue;
|
|
|
|
value lval2 = {0},lval3 = {0};
|
|
|
|
void (*oper)(void);
|
|
|
|
int tok,level,i;
|
|
|
|
cell val;
|
|
|
|
char *st;
|
|
|
|
int bwcount,leftarray;
|
|
|
|
cell arrayidx1[sDIMEN_MAX],arrayidx2[sDIMEN_MAX]; /* last used array indices */
|
|
|
|
cell *org_arrayidx;
|
|
|
|
|
|
|
|
bwcount=bitwise_opercount;
|
|
|
|
bitwise_opercount=0;
|
|
|
|
/* initialize the index arrays with unlikely constant indices; note that
|
|
|
|
* these indices will only be changed when the array is indexed with a
|
|
|
|
* constant, and that negative array indices are invalid (so actually, any
|
|
|
|
* negative value would do).
|
|
|
|
*/
|
|
|
|
for (i=0; i<sDIMEN_MAX; i++)
|
|
|
|
arrayidx1[i]=arrayidx2[i]=(cell)(-1L << (sizeof(cell)*8-1));
|
|
|
|
org_arrayidx=lval1->arrayidx; /* save current pointer, to reset later */
|
|
|
|
if (lval1->arrayidx==NULL)
|
|
|
|
lval1->arrayidx=arrayidx1;
|
|
|
|
lvalue=plnge1(hier13,lval1);
|
|
|
|
if (lval1->ident!=iARRAYCELL && lval1->ident!=iARRAYCHAR)
|
|
|
|
lval1->arrayidx=NULL;
|
|
|
|
if (lval1->ident==iCONSTEXPR) /* load constant here */
|
|
|
|
ldconst(lval1->constval,sPRI);
|
|
|
|
tok=lex(&val,&st);
|
|
|
|
switch (tok) {
|
|
|
|
case taOR:
|
|
|
|
oper=ob_or;
|
|
|
|
break;
|
|
|
|
case taXOR:
|
|
|
|
oper=ob_xor;
|
|
|
|
break;
|
|
|
|
case taAND:
|
|
|
|
oper=ob_and;
|
|
|
|
break;
|
|
|
|
case taADD:
|
|
|
|
oper=ob_add;
|
|
|
|
break;
|
|
|
|
case taSUB:
|
|
|
|
oper=ob_sub;
|
|
|
|
break;
|
|
|
|
case taMULT:
|
|
|
|
oper=os_mult;
|
|
|
|
break;
|
|
|
|
case taDIV:
|
|
|
|
oper=os_div;
|
|
|
|
break;
|
|
|
|
case taMOD:
|
|
|
|
oper=os_mod;
|
|
|
|
break;
|
|
|
|
case taSHRU:
|
|
|
|
oper=ou_sar;
|
|
|
|
break;
|
|
|
|
case taSHR:
|
|
|
|
oper=os_sar;
|
|
|
|
break;
|
|
|
|
case taSHL:
|
|
|
|
oper=ob_sal;
|
|
|
|
break;
|
|
|
|
case '=': /* simple assignment */
|
|
|
|
oper=NULL;
|
|
|
|
if (sc_intest)
|
|
|
|
error(211); /* possibly unintended assignment */
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
lexpush();
|
|
|
|
bitwise_opercount=bwcount;
|
|
|
|
lval1->arrayidx=org_arrayidx; /* restore array index pointer */
|
|
|
|
return lvalue;
|
|
|
|
} /* switch */
|
|
|
|
|
|
|
|
/* if we get here, it was an assignment; first check a few special cases
|
|
|
|
* and then the general */
|
|
|
|
if (lval1->ident==iARRAYCHAR) {
|
|
|
|
/* special case, assignment to packed character in a cell is permitted */
|
|
|
|
lvalue=TRUE;
|
|
|
|
} else if (lval1->ident==iARRAY || lval1->ident==iREFARRAY) {
|
|
|
|
/* array assignment is permitted too (with restrictions) */
|
|
|
|
if (oper)
|
|
|
|
return error(23); /* array assignment must be simple assigment */
|
|
|
|
assert(lval1->sym!=NULL);
|
|
|
|
if (array_totalsize(lval1->sym)==0)
|
|
|
|
return error(46,lval1->sym->name); /* unknown array size */
|
|
|
|
lvalue=TRUE;
|
|
|
|
} /* if */
|
|
|
|
|
|
|
|
/* operand on left side of assignment must be lvalue */
|
|
|
|
if (!lvalue)
|
|
|
|
return error(22); /* must be lvalue */
|
|
|
|
/* may not change "constant" parameters */
|
|
|
|
assert(lval1->sym!=NULL);
|
|
|
|
if ((lval1->sym->usage & uCONST)!=0)
|
|
|
|
return error(22); /* assignment to const argument */
|
|
|
|
sc_allowproccall=FALSE; /* may no longer use "procedure call" syntax */
|
|
|
|
|
|
|
|
lval3=*lval1; /* save symbol to enable storage of expresion result */
|
|
|
|
lval1->arrayidx=org_arrayidx; /* restore array index pointer */
|
|
|
|
if (lval1->ident==iARRAYCELL || lval1->ident==iARRAYCHAR
|
|
|
|
|| lval1->ident==iARRAY || lval1->ident==iREFARRAY)
|
|
|
|
{
|
|
|
|
/* if indirect fetch: save PRI (cell address) */
|
|
|
|
if (oper) {
|
|
|
|
pushreg(sPRI);
|
|
|
|
rvalue(lval1);
|
|
|
|
} /* if */
|
|
|
|
lval2.arrayidx=arrayidx2;
|
|
|
|
plnge2(oper,hier14,lval1,&lval2);
|
|
|
|
if (lval2.ident!=iARRAYCELL && lval2.ident!=iARRAYCHAR)
|
|
|
|
lval2.arrayidx=NULL;
|
|
|
|
if (oper)
|
|
|
|
popreg(sALT);
|
|
|
|
if (!oper && lval3.arrayidx!=NULL && lval2.arrayidx!=NULL
|
|
|
|
&& lval3.ident==lval2.ident && lval3.sym==lval2.sym)
|
|
|
|
{
|
|
|
|
int same=TRUE;
|
|
|
|
assert(lval2.arrayidx==arrayidx2);
|
|
|
|
for (i=0; i<sDIMEN_MAX; i++)
|
|
|
|
same=same && (lval3.arrayidx[i]==lval2.arrayidx[i]);
|
|
|
|
if (same)
|
|
|
|
error(226,lval3.sym->name); /* self-assignment */
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
if (oper){
|
|
|
|
rvalue(lval1);
|
|
|
|
plnge2(oper,hier14,lval1,&lval2);
|
|
|
|
} else {
|
|
|
|
/* if direct fetch and simple assignment: no "push"
|
|
|
|
* and "pop" needed -> call hier14() directly, */
|
|
|
|
if (hier14(&lval2))
|
|
|
|
rvalue(&lval2); /* instead of plnge2(). */
|
|
|
|
else if (lval2.ident==iVARIABLE)
|
|
|
|
lval2.ident=iEXPRESSION;/* mark as "rvalue" if it is not an "lvalue" */
|
|
|
|
checkfunction(&lval2);
|
|
|
|
/* check whether lval2 and lval3 (old lval1) refer to the same variable */
|
|
|
|
if (lval2.ident==iVARIABLE && lval3.ident==lval2.ident && lval3.sym==lval2.sym) {
|
|
|
|
assert(lval3.sym!=NULL);
|
|
|
|
error(226,lval3.sym->name); /* self-assignment */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
/* Array elements are sometimes considered as sub-arrays --when the
|
|
|
|
* array index is an enumeration field and the enumeration size is greater
|
|
|
|
* than 1. If the expression on the right side of the assignment is a cell,
|
|
|
|
* or if an operation is in effect, this does not apply.
|
|
|
|
*/
|
|
|
|
leftarray= lval3.ident==iARRAY || lval3.ident==iREFARRAY
|
|
|
|
|| ((lval3.ident==iARRAYCELL || lval3.ident==iARRAYCHAR)
|
|
|
|
&& lval3.constval>1 && lval3.sym->dim.array.level==0
|
|
|
|
&& !oper && (lval2.ident==iARRAY || lval2.ident==iREFARRAY));
|
|
|
|
if (leftarray) {
|
|
|
|
/* Left operand is an array, right operand should be an array variable
|
|
|
|
* of the same size and the same dimension, an array literal (of the
|
|
|
|
* same size) or a literal string. For single-dimensional arrays without
|
|
|
|
* tag for the index, it is permitted to assign a smaller array into a
|
|
|
|
* larger one (without warning). This is to make it easier to work with
|
|
|
|
* strings.
|
|
|
|
*/
|
|
|
|
int exactmatch=TRUE;
|
|
|
|
int idxtag=0;
|
|
|
|
int ltlength=(int)lval3.sym->dim.array.length;
|
|
|
|
if ((lval3.ident==iARRAYCELL || lval3.ident==iARRAYCHAR)
|
|
|
|
&& lval3.constval>0 && lval3.sym->dim.array.level==0)
|
|
|
|
{
|
|
|
|
ltlength=(int)lval3.constval;
|
|
|
|
} /* if */
|
|
|
|
if (lval2.ident!=iARRAY && lval2.ident!=iREFARRAY
|
|
|
|
&& (lval2.sym==NULL || lval2.constval<=0))
|
|
|
|
error(33,lval3.sym->name); /* array must be indexed */
|
|
|
|
if (lval2.sym!=NULL) {
|
|
|
|
if (lval2.constval==0) {
|
|
|
|
val=lval2.sym->dim.array.length;/* array variable */
|
|
|
|
} else {
|
|
|
|
val=lval2.constval;
|
|
|
|
if (lval2.sym->dim.array.level!=0)
|
|
|
|
error(28,lval2.sym->name);
|
|
|
|
} /* if */
|
|
|
|
level=lval2.sym->dim.array.level;
|
|
|
|
idxtag=lval2.sym->x.idxtag;
|
|
|
|
if (level==0 && idxtag==0 && lval3.sym->x.idxtag==0)
|
|
|
|
exactmatch=FALSE;
|
|
|
|
} else {
|
|
|
|
val=lval2.constval; /* literal array */
|
|
|
|
level=0;
|
|
|
|
/* If val is negative, it means that lval2 is a literal string.
|
|
|
|
* The string array size may be smaller than the destination
|
|
|
|
* array, provided that the destination array does not have an
|
|
|
|
* index tag.
|
|
|
|
*/
|
|
|
|
if (val<0) {
|
|
|
|
val=-val;
|
|
|
|
if (lval3.sym->x.idxtag==0)
|
|
|
|
exactmatch=FALSE;
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
if (lval3.sym->dim.array.level!=level)
|
|
|
|
return error(48); /* array dimensions must match */
|
|
|
|
else if (ltlength<val || exactmatch && ltlength>val || val==0)
|
|
|
|
return error(47); /* array sizes must match */
|
|
|
|
else if (lval3.ident!=iARRAYCELL && !matchtag(lval3.sym->x.idxtag,idxtag,TRUE))
|
|
|
|
error(229,(lval2.sym!=NULL) ? lval2.sym->name : lval3.sym->name); /* index tag mismatch */
|
|
|
|
if (level>0) {
|
|
|
|
/* check the sizes of all sublevels too */
|
|
|
|
symbol *sym1 = lval3.sym;
|
|
|
|
symbol *sym2 = lval2.sym;
|
|
|
|
int i;
|
|
|
|
assert(sym1!=NULL && sym2!=NULL);
|
|
|
|
/* ^^^ sym2 must be valid, because only variables can be
|
|
|
|
* multi-dimensional (there are no multi-dimensional literals),
|
|
|
|
* sym1 must be valid because it must be an lvalue
|
|
|
|
*/
|
|
|
|
assert(exactmatch);
|
|
|
|
for (i=0; i<level; i++) {
|
|
|
|
sym1=finddepend(sym1);
|
|
|
|
sym2=finddepend(sym2);
|
|
|
|
assert(sym1!=NULL && sym2!=NULL);
|
|
|
|
/* ^^^ both arrays have the same dimensions (this was checked
|
|
|
|
* earlier) so the dependend should always be found
|
|
|
|
*/
|
|
|
|
if (sym1->dim.array.length!=sym2->dim.array.length)
|
|
|
|
error(47); /* array sizes must match */
|
|
|
|
else if (!matchtag(sym1->x.idxtag,sym2->x.idxtag,TRUE))
|
|
|
|
error(229,sym2->name); /* index tag mismatch */
|
|
|
|
} /* for */
|
|
|
|
/* get the total size in cells of the multi-dimensional array */
|
|
|
|
val=array_totalsize(lval3.sym);
|
|
|
|
assert(val>0); /* already checked */
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
/* left operand is not an array, right operand should then not be either */
|
|
|
|
if (lval2.ident==iARRAY || lval2.ident==iREFARRAY)
|
|
|
|
error(6); /* must be assigned to an array */
|
|
|
|
} /* if */
|
|
|
|
if (leftarray) {
|
|
|
|
memcopy(val*sizeof(cell));
|
|
|
|
} else {
|
|
|
|
check_userop(NULL,lval2.tag,lval3.tag,2,&lval3,&lval2.tag);
|
|
|
|
store(&lval3); /* now, store the expression result */
|
|
|
|
} /* if */
|
2005-09-06 05:55:41 +04:00
|
|
|
if (!oper) { /* tagname mismatch (if "oper", warning already given in plunge2()) */
|
|
|
|
if (lval3.sym && !matchtag(lval3.sym->tag, lval2.tag, TRUE))
|
|
|
|
error(213);
|
|
|
|
else if (!lval3.sym && !matchtag(lval3.tag, lval2.tag, TRUE))
|
|
|
|
error(213);
|
|
|
|
}
|
2005-07-25 00:00:55 +04:00
|
|
|
if (lval3.sym)
|
|
|
|
markusage(lval3.sym,uWRITTEN);
|
|
|
|
sideeffect=TRUE;
|
|
|
|
bitwise_opercount=bwcount;
|
|
|
|
lval1->ident=iEXPRESSION;
|
|
|
|
return FALSE; /* expression result is never an lvalue */
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier13(value *lval)
|
|
|
|
{
|
|
|
|
int lvalue=plnge1(hier12,lval);
|
|
|
|
if (matchtoken('?')) {
|
|
|
|
int flab1=getlabel();
|
|
|
|
int flab2=getlabel();
|
|
|
|
value lval2 = {0};
|
|
|
|
int array1,array2;
|
|
|
|
|
|
|
|
if (lvalue) {
|
|
|
|
rvalue(lval);
|
|
|
|
} else if (lval->ident==iCONSTEXPR) {
|
|
|
|
ldconst(lval->constval,sPRI);
|
|
|
|
error(lval->constval ? 206 : 205); /* redundant test */
|
|
|
|
} /* if */
|
|
|
|
jmp_eq0(flab1); /* go to second expression if primary register==0 */
|
|
|
|
PUSHSTK_I(sc_allowtags);
|
|
|
|
sc_allowtags=FALSE; /* do not allow tagnames here (colon is a special token) */
|
|
|
|
if (hier13(lval))
|
|
|
|
rvalue(lval);
|
|
|
|
if (lval->ident==iCONSTEXPR) /* load constant here */
|
|
|
|
ldconst(lval->constval,sPRI);
|
|
|
|
sc_allowtags=(short)POPSTK_I(); /* restore */
|
|
|
|
jumplabel(flab2);
|
|
|
|
setlabel(flab1);
|
|
|
|
needtoken(':');
|
|
|
|
if (hier13(&lval2))
|
|
|
|
rvalue(&lval2);
|
|
|
|
if (lval2.ident==iCONSTEXPR) /* load constant here */
|
|
|
|
ldconst(lval2.constval,sPRI);
|
|
|
|
array1= (lval->ident==iARRAY || lval->ident==iREFARRAY);
|
|
|
|
array2= (lval2.ident==iARRAY || lval2.ident==iREFARRAY);
|
|
|
|
if (array1 && !array2) {
|
|
|
|
char *ptr=(lval->sym->name!=NULL) ? lval->sym->name : "-unknown-";
|
|
|
|
error(33,ptr); /* array must be indexed */
|
|
|
|
} else if (!array1 && array2) {
|
|
|
|
char *ptr=(lval2.sym->name!=NULL) ? lval2.sym->name : "-unknown-";
|
|
|
|
error(33,ptr); /* array must be indexed */
|
|
|
|
} /* if */
|
|
|
|
/* ??? if both are arrays, should check dimensions */
|
|
|
|
if (!matchtag(lval->tag,lval2.tag,FALSE))
|
|
|
|
error(213); /* tagname mismatch ('true' and 'false' expressions) */
|
|
|
|
setlabel(flab2);
|
|
|
|
if (lval->ident==iARRAY)
|
|
|
|
lval->ident=iREFARRAY; /* iARRAY becomes iREFARRAY */
|
|
|
|
else if (lval->ident!=iREFARRAY)
|
|
|
|
lval->ident=iEXPRESSION; /* iREFARRAY stays iREFARRAY, rest becomes iEXPRESSION */
|
|
|
|
return FALSE; /* conditional expression is no lvalue */
|
|
|
|
} else {
|
|
|
|
return lvalue;
|
|
|
|
} /* if */
|
|
|
|
}
|
|
|
|
|
|
|
|
/* the order of the operators in these lists is important and must be
|
|
|
|
* the same as the order of the operators in the array "op1"
|
|
|
|
*/
|
|
|
|
static int list3[] = {'*','/','%',0};
|
|
|
|
static int list4[] = {'+','-',0};
|
|
|
|
static int list5[] = {tSHL,tSHR,tSHRU,0};
|
|
|
|
static int list6[] = {'&',0};
|
|
|
|
static int list7[] = {'^',0};
|
|
|
|
static int list8[] = {'|',0};
|
|
|
|
static int list9[] = {tlLE,tlGE,'<','>',0};
|
|
|
|
static int list10[] = {tlEQ,tlNE,0};
|
|
|
|
static int list11[] = {tlAND,0};
|
|
|
|
static int list12[] = {tlOR,0};
|
|
|
|
|
|
|
|
static int hier12(value *lval)
|
|
|
|
{
|
|
|
|
return skim(list12,jmp_ne0,1,0,hier11,lval);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier11(value *lval)
|
|
|
|
{
|
|
|
|
return skim(list11,jmp_eq0,0,1,hier10,lval);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier10(value *lval)
|
|
|
|
{ /* ==, != */
|
|
|
|
return plnge(list10,15,hier9,lval,"bool",TRUE);
|
|
|
|
} /* ^ this variable is the starting index in the op1[]
|
|
|
|
* array of the operators of this hierarchy level */
|
|
|
|
|
|
|
|
static int hier9(value *lval)
|
|
|
|
{ /* <=, >=, <, > */
|
|
|
|
return plnge_rel(list9,11,hier8,lval);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier8(value *lval)
|
|
|
|
{ /* | */
|
|
|
|
return plnge(list8,10,hier7,lval,NULL,FALSE);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier7(value *lval)
|
|
|
|
{ /* ^ */
|
|
|
|
return plnge(list7,9,hier6,lval,NULL,FALSE);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier6(value *lval)
|
|
|
|
{ /* & */
|
|
|
|
return plnge(list6,8,hier5,lval,NULL,FALSE);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier5(value *lval)
|
|
|
|
{ /* <<, >>, >>> */
|
|
|
|
return plnge(list5,5,hier4,lval,NULL,FALSE);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier4(value *lval)
|
|
|
|
{ /* +, - */
|
|
|
|
return plnge(list4,3,hier3,lval,NULL,FALSE);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier3(value *lval)
|
|
|
|
{ /* *, /, % */
|
|
|
|
return plnge(list3,0,hier2,lval,NULL,FALSE);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int hier2(value *lval)
|
|
|
|
{
|
|
|
|
int lvalue,tok;
|
|
|
|
int tag,paranthese;
|
|
|
|
cell val;
|
|
|
|
char *st;
|
|
|
|
symbol *sym;
|
|
|
|
int saveresult;
|
|
|
|
|
|
|
|
tok=lex(&val,&st);
|
|
|
|
switch (tok) {
|
|
|
|
case tINC: /* ++lval */
|
|
|
|
if (!hier2(lval))
|
|
|
|
return error(22); /* must be lvalue */
|
|
|
|
assert(lval->sym!=NULL);
|
|
|
|
if ((lval->sym->usage & uCONST)!=0)
|
|
|
|
return error(22); /* assignment to const argument */
|
|
|
|
if (!check_userop(user_inc,lval->tag,0,1,lval,&lval->tag))
|
|
|
|
inc(lval); /* increase variable first */
|
|
|
|
rvalue(lval); /* and read the result into PRI */
|
|
|
|
sideeffect=TRUE;
|
|
|
|
return FALSE; /* result is no longer lvalue */
|
|
|
|
case tDEC: /* --lval */
|
|
|
|
if (!hier2(lval))
|
|
|
|
return error(22); /* must be lvalue */
|
|
|
|
assert(lval->sym!=NULL);
|
|
|
|
if ((lval->sym->usage & uCONST)!=0)
|
|
|
|
return error(22); /* assignment to const argument */
|
|
|
|
if (!check_userop(user_dec,lval->tag,0,1,lval,&lval->tag))
|
|
|
|
dec(lval); /* decrease variable first */
|
|
|
|
rvalue(lval); /* and read the result into PRI */
|
|
|
|
sideeffect=TRUE;
|
|
|
|
return FALSE; /* result is no longer lvalue */
|
|
|
|
case '~': /* ~ (one's complement) */
|
|
|
|
if (hier2(lval))
|
|
|
|
rvalue(lval);
|
|
|
|
invert(); /* bitwise NOT */
|
|
|
|
lval->constval=~lval->constval;
|
|
|
|
return FALSE;
|
|
|
|
case '!': /* ! (logical negate) */
|
|
|
|
if (hier2(lval))
|
|
|
|
rvalue(lval);
|
|
|
|
if (check_userop(lneg,lval->tag,0,1,NULL,&lval->tag)) {
|
|
|
|
lval->ident=iEXPRESSION;
|
|
|
|
lval->constval=0;
|
|
|
|
} else {
|
|
|
|
lneg(); /* 0 -> 1, !0 -> 0 */
|
|
|
|
lval->constval=!lval->constval;
|
|
|
|
lval->tag=pc_addtag("bool");
|
|
|
|
} /* if */
|
|
|
|
return FALSE;
|
|
|
|
case '-': /* unary - (two's complement) */
|
|
|
|
if (hier2(lval))
|
|
|
|
rvalue(lval);
|
|
|
|
/* make a special check for a constant expression with the tag of a
|
|
|
|
* rational number, so that we can simple swap the sign of that constant.
|
|
|
|
*/
|
|
|
|
if (lval->ident==iCONSTEXPR && lval->tag==sc_rationaltag && sc_rationaltag!=0) {
|
|
|
|
if (rational_digits==0) {
|
|
|
|
#if PAWN_CELL_SIZE==32
|
|
|
|
float *f = (float *)&lval->constval;
|
|
|
|
#elif PAWN_CELL_SIZE==64
|
|
|
|
double *f = (double *)&lval->constval;
|
|
|
|
#else
|
|
|
|
#error Unsupported cell size
|
|
|
|
#endif
|
|
|
|
*f= - *f; /* this modifies lval->constval */
|
|
|
|
} else {
|
|
|
|
/* the negation of a fixed point number is just an integer negation */
|
|
|
|
lval->constval=-lval->constval;
|
|
|
|
} /* if */
|
|
|
|
} else if (check_userop(neg,lval->tag,0,1,NULL,&lval->tag)) {
|
|
|
|
lval->ident=iEXPRESSION;
|
|
|
|
lval->constval=0;
|
|
|
|
} else {
|
|
|
|
neg(); /* arithmic negation */
|
|
|
|
lval->constval=-lval->constval;
|
|
|
|
} /* if */
|
|
|
|
return FALSE;
|
|
|
|
case tLABEL: /* tagname override */
|
|
|
|
tag=pc_addtag(st);
|
|
|
|
lvalue=hier2(lval);
|
|
|
|
lval->tag=tag;
|
|
|
|
return lvalue;
|
|
|
|
case tDEFINED:
|
|
|
|
paranthese=0;
|
|
|
|
while (matchtoken('('))
|
|
|
|
paranthese++;
|
|
|
|
tok=lex(&val,&st);
|
|
|
|
if (tok!=tSYMBOL)
|
|
|
|
return error(20,st); /* illegal symbol name */
|
|
|
|
sym=findloc(st);
|
|
|
|
if (sym==NULL)
|
|
|
|
sym=findglb(st);
|
|
|
|
if (sym!=NULL && sym->ident!=iFUNCTN && sym->ident!=iREFFUNC && (sym->usage & uDEFINE)==0)
|
|
|
|
sym=NULL; /* symbol is not a function, it is in the table, but not "defined" */
|
|
|
|
val= (sym!=NULL);
|
|
|
|
if (!val && find_subst(st,strlen(st))!=NULL)
|
|
|
|
val=1;
|
|
|
|
clear_value(lval);
|
|
|
|
lval->ident=iCONSTEXPR;
|
|
|
|
lval->constval= val;
|
|
|
|
ldconst(lval->constval,sPRI);
|
|
|
|
while (paranthese--)
|
|
|
|
needtoken(')');
|
|
|
|
return FALSE;
|
|
|
|
case tSIZEOF:
|
|
|
|
paranthese=0;
|
|
|
|
while (matchtoken('('))
|
|
|
|
paranthese++;
|
|
|
|
tok=lex(&val,&st);
|
|
|
|
if (tok!=tSYMBOL)
|
|
|
|
return error(20,st); /* illegal symbol name */
|
|
|
|
sym=findloc(st);
|
|
|
|
if (sym==NULL)
|
|
|
|
sym=findglb(st);
|
|
|
|
if (sym==NULL)
|
|
|
|
return error(17,st); /* undefined symbol */
|
|
|
|
if (sym->ident==iCONSTEXPR)
|
|
|
|
error(39); /* constant symbol has no size */
|
|
|
|
else if (sym->ident==iFUNCTN || sym->ident==iREFFUNC)
|
|
|
|
error(72); /* "function" symbol has no size */
|
|
|
|
else if ((sym->usage & uDEFINE)==0)
|
|
|
|
return error(17,st); /* undefined symbol (symbol is in the table, but it is "used" only) */
|
|
|
|
clear_value(lval);
|
|
|
|
lval->ident=iCONSTEXPR;
|
|
|
|
lval->constval=1; /* preset */
|
|
|
|
if (sym->ident==iARRAY || sym->ident==iREFARRAY) {
|
|
|
|
int level;
|
|
|
|
symbol *idxsym;
|
|
|
|
for (level=0; matchtoken('['); level++) {
|
|
|
|
idxsym=NULL;
|
|
|
|
if (level==sym->dim.array.level && matchtoken(tSYMBOL)) {
|
|
|
|
char *idxname;
|
|
|
|
tokeninfo(&val,&idxname);
|
|
|
|
if ((idxsym=findconst(idxname))==NULL)
|
|
|
|
error(80,idxname); /* unknown symbol, or non-constant */
|
|
|
|
} /* if */
|
|
|
|
needtoken(']');
|
|
|
|
} /* for */
|
|
|
|
if (level>sym->dim.array.level+1)
|
|
|
|
error(28,sym->name); /* invalid subscript */
|
|
|
|
else if (level==sym->dim.array.level+1)
|
|
|
|
lval->constval= (idxsym!=NULL && idxsym->dim.array.length>0) ? idxsym->dim.array.length : 1;
|
|
|
|
else
|
|
|
|
lval->constval=array_levelsize(sym,level);
|
|
|
|
if (lval->constval==0 && strchr((char *)lptr,PREPROC_TERM)==NULL)
|
|
|
|
error(224,st); /* indeterminate array size in "sizeof" expression */
|
|
|
|
} /* if */
|
|
|
|
ldconst(lval->constval,sPRI);
|
|
|
|
while (paranthese--)
|
|
|
|
needtoken(')');
|
|
|
|
return FALSE;
|
|
|
|
case tTAGOF:
|
|
|
|
paranthese=0;
|
|
|
|
while (matchtoken('('))
|
|
|
|
paranthese++;
|
|
|
|
tok=lex(&val,&st);
|
|
|
|
if (tok!=tSYMBOL && tok!=tLABEL)
|
|
|
|
return error(20,st); /* illegal symbol name */
|
|
|
|
if (tok==tLABEL) {
|
|
|
|
constvalue *tagsym=find_constval(&tagname_tab,st,0);
|
|
|
|
tag=(int)((tagsym!=NULL) ? tagsym->value : 0);
|
|
|
|
} else {
|
|
|
|
sym=findloc(st);
|
|
|
|
if (sym==NULL)
|
|
|
|
sym=findglb(st);
|
|
|
|
if (sym==NULL)
|
|
|
|
return error(17,st); /* undefined symbol */
|
|
|
|
if ((sym->usage & uDEFINE)==0)
|
|
|
|
return error(17,st); /* undefined symbol (symbol is in the table, but it is "used" only) */
|
|
|
|
tag=sym->tag;
|
|
|
|
} /* if */
|
|
|
|
if (sym->ident==iARRAY || sym->ident==iREFARRAY) {
|
|
|
|
int level;
|
|
|
|
symbol *idxsym;
|
|
|
|
for (level=0; matchtoken('['); level++) {
|
|
|
|
idxsym=NULL;
|
|
|
|
if (level==sym->dim.array.level && matchtoken(tSYMBOL)) {
|
|
|
|
char *idxname;
|
|
|
|
tokeninfo(&val,&idxname);
|
|
|
|
if ((idxsym=findconst(idxname))==NULL)
|
|
|
|
error(80,idxname); /* unknown symbol, or non-constant */
|
|
|
|
} /* if */
|
|
|
|
needtoken(']');
|
|
|
|
} /* for */
|
|
|
|
if (level>sym->dim.array.level+1)
|
|
|
|
error(28,sym->name); /* invalid subscript */
|
|
|
|
else if (level==sym->dim.array.level+1 && idxsym!=NULL)
|
|
|
|
tag= idxsym->x.idxtag;
|
|
|
|
} /* if */
|
|
|
|
exporttag(tag);
|
|
|
|
clear_value(lval);
|
|
|
|
lval->ident=iCONSTEXPR;
|
|
|
|
lval->constval=tag;
|
|
|
|
ldconst(lval->constval,sPRI);
|
|
|
|
while (paranthese--)
|
|
|
|
needtoken(')');
|
|
|
|
return FALSE;
|
|
|
|
default:
|
|
|
|
lexpush();
|
|
|
|
lvalue=hier1(lval);
|
|
|
|
/* check for postfix operators */
|
|
|
|
if (matchtoken(';')) {
|
|
|
|
/* Found a ';', do not look further for postfix operators */
|
|
|
|
lexpush(); /* push ';' back after successful match */
|
|
|
|
return lvalue;
|
|
|
|
} else if (matchtoken(tTERM)) {
|
|
|
|
/* Found a newline that ends a statement (this is the case when
|
|
|
|
* semicolons are optional). Note that an explicit semicolon was
|
|
|
|
* handled above. This case is similar, except that the token must
|
|
|
|
* not be pushed back.
|
|
|
|
*/
|
|
|
|
return lvalue;
|
|
|
|
} else {
|
|
|
|
tok=lex(&val,&st);
|
|
|
|
switch (tok) {
|
|
|
|
case tINC: /* lval++ */
|
|
|
|
if (!lvalue)
|
|
|
|
return error(22); /* must be lvalue */
|
|
|
|
assert(lval->sym!=NULL);
|
|
|
|
if ((lval->sym->usage & uCONST)!=0)
|
|
|
|
return error(22); /* assignment to const argument */
|
|
|
|
/* on incrementing array cells, the address in PRI must be saved for
|
|
|
|
* incremening the value, whereas the current value must be in PRI
|
|
|
|
* on exit.
|
|
|
|
*/
|
|
|
|
saveresult= (lval->ident==iARRAYCELL || lval->ident==iARRAYCHAR);
|
|
|
|
if (saveresult)
|
|
|
|
pushreg(sPRI); /* save address in PRI */
|
|
|
|
rvalue(lval); /* read current value into PRI */
|
|
|
|
if (saveresult)
|
|
|
|
swap1(); /* save PRI on the stack, restore address in PRI */
|
|
|
|
if (!check_userop(user_inc,lval->tag,0,1,lval,&lval->tag))
|
|
|
|
inc(lval); /* increase variable afterwards */
|
|
|
|
if (saveresult)
|
|
|
|
popreg(sPRI); /* restore PRI (result of rvalue()) */
|
|
|
|
sideeffect=TRUE;
|
|
|
|
return FALSE; /* result is no longer lvalue */
|
|
|
|
case tDEC: /* lval-- */
|
|
|
|
if (!lvalue)
|
|
|
|
return error(22); /* must be lvalue */
|
|
|
|
assert(lval->sym!=NULL);
|
|
|
|
if ((lval->sym->usage & uCONST)!=0)
|
|
|
|
return error(22); /* assignment to const argument */
|
|
|
|
saveresult= (lval->ident==iARRAYCELL || lval->ident==iARRAYCHAR);
|
|
|
|
if (saveresult)
|
|
|
|
pushreg(sPRI); /* save address in PRI */
|
|
|
|
rvalue(lval); /* read current value into PRI */
|
|
|
|
if (saveresult)
|
|
|
|
swap1(); /* save PRI on the stack, restore address in PRI */
|
|
|
|
if (!check_userop(user_dec,lval->tag,0,1,lval,&lval->tag))
|
|
|
|
dec(lval); /* decrease variable afterwards */
|
|
|
|
if (saveresult)
|
|
|
|
popreg(sPRI); /* restore PRI (result of rvalue()) */
|
|
|
|
sideeffect=TRUE;
|
|
|
|
return FALSE;
|
|
|
|
case tCHAR: /* char (compute required # of cells */
|
|
|
|
if (lval->ident==iCONSTEXPR) {
|
|
|
|
lval->constval *= sCHARBITS/8; /* from char to bytes */
|
|
|
|
lval->constval = (lval->constval + sizeof(cell)-1) / sizeof(cell);
|
|
|
|
} else {
|
|
|
|
if (lvalue)
|
|
|
|
rvalue(lval); /* fetch value if not already in PRI */
|
|
|
|
char2addr(); /* from characters to bytes */
|
|
|
|
addconst(sizeof(cell)-1); /* make sure the value is rounded up */
|
|
|
|
addr2cell(); /* truncate to number of cells */
|
|
|
|
} /* if */
|
|
|
|
return FALSE;
|
|
|
|
default:
|
|
|
|
lexpush();
|
|
|
|
return lvalue;
|
|
|
|
} /* switch */
|
|
|
|
} /* if */
|
|
|
|
} /* switch */
|
|
|
|
}
|
|
|
|
|
|
|
|
/* hier1
|
|
|
|
*
|
|
|
|
* The highest hierarchy level: it looks for pointer and array indices
|
|
|
|
* and function calls.
|
|
|
|
* Generates code to fetch a pointer value if it is indexed and code to
|
|
|
|
* add to the pointer value or the array address (the address is already
|
|
|
|
* read at primary()). It also generates code to fetch a function address
|
|
|
|
* if that hasn't already been done at primary() (check lval[4]) and calls
|
|
|
|
* callfunction() to call the function.
|
|
|
|
*/
|
|
|
|
static int hier1(value *lval1)
|
|
|
|
{
|
|
|
|
int lvalue,index,tok,symtok;
|
|
|
|
cell val,cidx;
|
|
|
|
value lval2 = {0};
|
|
|
|
char *st;
|
|
|
|
char close;
|
|
|
|
symbol *sym;
|
|
|
|
symbol dummysymbol,*cursym; /* for changing the index tags in case of enumerated pseudo-arrays */
|
|
|
|
|
|
|
|
lvalue=primary(lval1);
|
|
|
|
symtok=tokeninfo(&val,&st); /* get token read by primary() */
|
|
|
|
cursym=lval1->sym;
|
|
|
|
restart:
|
|
|
|
sym=cursym;
|
|
|
|
if (matchtoken('[') || matchtoken('{') || matchtoken('(')) {
|
|
|
|
tok=tokeninfo(&val,&st); /* get token read by matchtoken() */
|
|
|
|
if (sym==NULL && symtok!=tSYMBOL) {
|
|
|
|
/* we do not have a valid symbol and we appear not to have read a valid
|
|
|
|
* symbol name (so it is unlikely that we would have read a name of an
|
|
|
|
* undefined symbol) */
|
|
|
|
error(29); /* expression error, assumed 0 */
|
|
|
|
lexpush(); /* analyse '(', '{' or '[' again later */
|
|
|
|
return FALSE;
|
|
|
|
} /* if */
|
|
|
|
if (tok=='[' || tok=='{') { /* subscript */
|
|
|
|
close = (char)((tok=='[') ? ']' : '}');
|
|
|
|
if (sym==NULL) { /* sym==NULL if lval is a constant or a literal */
|
|
|
|
error(28,"<no variable>"); /* cannot subscript */
|
|
|
|
needtoken(close);
|
|
|
|
return FALSE;
|
|
|
|
} else if (sym->ident!=iARRAY && sym->ident!=iREFARRAY){
|
|
|
|
error(28,sym->name); /* cannot subscript, variable is not an array */
|
|
|
|
needtoken(close);
|
|
|
|
return FALSE;
|
|
|
|
} else if (sym->dim.array.level>0 && close!=']') {
|
|
|
|
error(51); /* invalid subscript, must use [ ] */
|
|
|
|
needtoken(close);
|
|
|
|
return FALSE;
|
|
|
|
} /* if */
|
|
|
|
stgget(&index,&cidx); /* mark position in code generator */
|
|
|
|
pushreg(sPRI); /* save base address of the array */
|
|
|
|
if (hier14(&lval2)) /* create expression for the array index */
|
|
|
|
rvalue(&lval2);
|
|
|
|
if (lval2.ident==iARRAY || lval2.ident==iREFARRAY)
|
|
|
|
error(33,lval2.sym->name); /* array must be indexed */
|
|
|
|
needtoken(close);
|
|
|
|
if (!matchtag(sym->x.idxtag,lval2.tag,TRUE))
|
|
|
|
error(213);
|
|
|
|
if (lval2.ident==iCONSTEXPR) { /* constant expression */
|
|
|
|
stgdel(index,cidx); /* scratch generated code */
|
|
|
|
if (lval1->arrayidx!=NULL) { /* keep constant index, for checking */
|
|
|
|
assert(sym->dim.array.level>=0 && sym->dim.array.level<sDIMEN_MAX);
|
|
|
|
lval1->arrayidx[sym->dim.array.level]=lval2.constval;
|
|
|
|
} /* if */
|
|
|
|
if (close==']') {
|
|
|
|
/* normal array index */
|
|
|
|
if (lval2.constval<0 || sym->dim.array.length!=0 && sym->dim.array.length<=lval2.constval)
|
|
|
|
error(32,sym->name); /* array index out of bounds */
|
|
|
|
if (lval2.constval!=0) {
|
|
|
|
/* don't add offsets for zero subscripts */
|
|
|
|
#if PAWN_CELL_SIZE==16
|
|
|
|
ldconst(lval2.constval<<1,sALT);
|
|
|
|
#elif PAWN_CELL_SIZE==32
|
|
|
|
ldconst(lval2.constval<<2,sALT);
|
|
|
|
#elif PAWN_CELL_SIZE==64
|
|
|
|
ldconst(lval2.constval<<3,sALT);
|
|
|
|
#else
|
|
|
|
#error Unsupported cell size
|
|
|
|
#endif
|
|
|
|
ob_add();
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
/* character index */
|
|
|
|
if (lval2.constval<0 || sym->dim.array.length!=0
|
|
|
|
&& sym->dim.array.length*((8*sizeof(cell))/sCHARBITS)<=(ucell)lval2.constval)
|
|
|
|
error(32,sym->name); /* array index out of bounds */
|
|
|
|
if (lval2.constval!=0) {
|
|
|
|
/* don't add offsets for zero subscripts */
|
|
|
|
#if sCHARBITS==16
|
|
|
|
ldconst(lval2.constval<<1,sALT);/* 16-bit character */
|
|
|
|
#else
|
|
|
|
ldconst(lval2.constval,sALT); /* 8-bit character */
|
|
|
|
#endif
|
|
|
|
ob_add();
|
|
|
|
} /* if */
|
|
|
|
charalign(); /* align character index into array */
|
|
|
|
} /* if */
|
|
|
|
/* if the array index is a field from an enumeration, get the tag name
|
|
|
|
* from the field and save the size of the field too.
|
|
|
|
*/
|
|
|
|
assert(lval2.sym==NULL || lval2.sym->dim.array.level==0);
|
|
|
|
if (lval2.sym!=NULL && lval2.sym->dim.array.length>0 && sym->dim.array.level==0) {
|
|
|
|
lval1->tag=lval2.sym->x.idxtag;
|
|
|
|
lval1->constval=lval2.sym->dim.array.length;
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
/* array index is not constant */
|
|
|
|
lval1->arrayidx=NULL; /* reset, so won't be checked */
|
|
|
|
if (close==']') {
|
|
|
|
if (sym->dim.array.length!=0)
|
|
|
|
ffbounds(sym->dim.array.length-1); /* run time check for array bounds */
|
|
|
|
cell2addr(); /* normal array index */
|
|
|
|
} else {
|
|
|
|
if (sym->dim.array.length!=0)
|
|
|
|
ffbounds(sym->dim.array.length*(32/sCHARBITS)-1);
|
|
|
|
char2addr(); /* character array index */
|
|
|
|
} /* if */
|
|
|
|
popreg(sALT);
|
|
|
|
ob_add(); /* base address was popped into secondary register */
|
|
|
|
if (close!=']')
|
|
|
|
charalign(); /* align character index into array */
|
|
|
|
} /* if */
|
|
|
|
/* the indexed item may be another array (multi-dimensional arrays) */
|
|
|
|
assert(cursym==sym && sym!=NULL); /* should still be set */
|
|
|
|
if (sym->dim.array.level>0) {
|
|
|
|
assert(close==']'); /* checked earlier */
|
|
|
|
assert(cursym==lval1->sym);
|
|
|
|
/* read the offset to the subarray and add it to the current address */
|
|
|
|
lval1->ident=iARRAYCELL;
|
|
|
|
pushreg(sPRI); /* the optimizer makes this to a MOVE.alt */
|
|
|
|
rvalue(lval1);
|
|
|
|
popreg(sALT);
|
|
|
|
ob_add();
|
|
|
|
/* adjust the "value" structure and find the referenced array */
|
|
|
|
lval1->ident=iREFARRAY;
|
|
|
|
lval1->sym=finddepend(sym);
|
|
|
|
assert(lval1->sym!=NULL);
|
|
|
|
assert(lval1->sym->dim.array.level==sym->dim.array.level-1);
|
|
|
|
cursym=lval1->sym;
|
|
|
|
/* try to parse subsequent array indices */
|
|
|
|
lvalue=FALSE; /* for now, a iREFARRAY is no lvalue */
|
|
|
|
goto restart;
|
|
|
|
} /* if */
|
|
|
|
assert(sym->dim.array.level==0);
|
|
|
|
/* set type to fetch... INDIRECTLY */
|
|
|
|
lval1->ident= (char)((close==']') ? iARRAYCELL : iARRAYCHAR);
|
|
|
|
/* if the array index is a field from an enumeration, get the tag name
|
|
|
|
* from the field and save the size of the field too. Otherwise, the
|
|
|
|
* tag is the one from the array symbol.
|
|
|
|
*/
|
|
|
|
if (lval2.ident==iCONSTEXPR && lval2.sym!=NULL
|
|
|
|
&& lval2.sym->dim.array.length>0 && sym->dim.array.level==0)
|
|
|
|
{
|
|
|
|
lval1->tag=lval2.sym->x.idxtag;
|
|
|
|
lval1->constval=lval2.sym->dim.array.length;
|
|
|
|
if (lval2.tag==sym->x.idxtag && lval1->constval>1 && matchtoken('[')) {
|
|
|
|
/* an array indexed with an enumeration field may be considered a sub-array */
|
|
|
|
lexpush();
|
|
|
|
lvalue=FALSE; /* for now, a iREFARRAY is no lvalue */
|
|
|
|
lval1->ident=iREFARRAY;
|
|
|
|
/* initialize a dummy symbol, which is a copy of the current symbol,
|
|
|
|
* but with an adjusted index tag
|
|
|
|
*/
|
|
|
|
assert(sym!=NULL);
|
|
|
|
dummysymbol=*sym;
|
|
|
|
/* get the tag of the root of the enumeration */
|
|
|
|
assert(lval2.sym!=NULL);
|
|
|
|
dummysymbol.x.idxtag=lval2.sym->fieldtag;
|
|
|
|
dummysymbol.dim.array.length=lval2.sym->dim.array.length;
|
|
|
|
cursym=&dummysymbol;
|
|
|
|
/* recurse */
|
|
|
|
goto restart;
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
assert(sym!=NULL);
|
|
|
|
if (cursym!=&dummysymbol)
|
|
|
|
lval1->tag=sym->tag;
|
|
|
|
lval1->constval=0;
|
|
|
|
} /* if */
|
|
|
|
/* a cell in an array is an lvalue, a character in an array is not
|
|
|
|
* always a *valid* lvalue */
|
|
|
|
return TRUE;
|
|
|
|
} else { /* tok=='(' -> function(...) */
|
|
|
|
assert(tok=='(');
|
|
|
|
if (sym==NULL
|
|
|
|
|| (sym->ident!=iFUNCTN && sym->ident!=iREFFUNC))
|
|
|
|
{
|
|
|
|
if (sym==NULL && sc_status==statFIRST) {
|
|
|
|
/* could be a "use before declaration"; in that case, create a stub
|
|
|
|
* function so that the usage can be marked.
|
|
|
|
*/
|
|
|
|
sym=fetchfunc(lastsymbol,0);
|
|
|
|
if (sym==NULL)
|
|
|
|
error(103); /* insufficient memory */
|
|
|
|
markusage(sym,uREAD);
|
|
|
|
} else {
|
|
|
|
return error(12); /* invalid function call */
|
|
|
|
} /* if */
|
|
|
|
} else if ((sym->usage & uMISSING)!=0) {
|
|
|
|
char symname[2*sNAMEMAX+16]; /* allow space for user defined operators */
|
|
|
|
funcdisplayname(symname,sym->name);
|
|
|
|
error(4,symname); /* function not defined */
|
|
|
|
} /* if */
|
|
|
|
callfunction(sym,lval1,TRUE);
|
|
|
|
return FALSE; /* result of function call is no lvalue */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
if (sym!=NULL && lval1->ident==iFUNCTN) {
|
|
|
|
assert(sym->ident==iFUNCTN);
|
|
|
|
if (sc_allowproccall) {
|
|
|
|
callfunction(sym,lval1,FALSE);
|
|
|
|
} else {
|
|
|
|
lval1->sym=NULL;
|
|
|
|
lval1->ident=iEXPRESSION;
|
|
|
|
lval1->constval=0;
|
|
|
|
lval1->tag=0;
|
|
|
|
error(76); /* invalid function call, or syntax error */
|
|
|
|
} /* if */
|
|
|
|
return FALSE;
|
2006-01-07 07:43:01 +03:00
|
|
|
}
|
2005-07-25 00:00:55 +04:00
|
|
|
return lvalue;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* primary
|
|
|
|
*
|
|
|
|
* Returns 1 if the operand is an lvalue (everything except arrays, functions
|
|
|
|
* constants and -of course- errors).
|
|
|
|
* Generates code to fetch the address of arrays. Code for constants is
|
|
|
|
* already generated by constant().
|
|
|
|
* This routine first clears the entire lval array (all fields are set to 0).
|
|
|
|
*
|
|
|
|
* Global references: sc_intest (may be altered, but restored upon termination)
|
|
|
|
*/
|
|
|
|
static int primary(value *lval)
|
|
|
|
{
|
|
|
|
char *st;
|
|
|
|
int lvalue,tok;
|
|
|
|
cell val;
|
|
|
|
symbol *sym;
|
|
|
|
|
|
|
|
if (matchtoken('(')){ /* sub-expression - (expression,...) */
|
|
|
|
PUSHSTK_I(sc_intest);
|
|
|
|
PUSHSTK_I(sc_allowtags);
|
|
|
|
|
|
|
|
sc_intest=FALSE; /* no longer in "test" expression */
|
|
|
|
sc_allowtags=TRUE; /* allow tagnames to be used in parenthesized expressions */
|
|
|
|
sc_allowproccall=FALSE;
|
|
|
|
do
|
|
|
|
lvalue=hier14(lval);
|
|
|
|
while (matchtoken(','));
|
|
|
|
needtoken(')');
|
|
|
|
lexclr(FALSE); /* clear lex() push-back, it should have been
|
|
|
|
* cleared already by needtoken() */
|
|
|
|
sc_allowtags=(short)POPSTK_I();
|
|
|
|
sc_intest=(short)POPSTK_I();
|
|
|
|
return lvalue;
|
|
|
|
} /* if */
|
|
|
|
|
|
|
|
clear_value(lval); /* clear lval */
|
|
|
|
tok=lex(&val,&st);
|
|
|
|
if (tok==tSYMBOL) {
|
|
|
|
/* lastsymbol is char[sNAMEMAX+1], lex() should have truncated any symbol
|
|
|
|
* to sNAMEMAX significant characters */
|
|
|
|
assert(strlen(st)<sizeof lastsymbol);
|
|
|
|
strcpy(lastsymbol,st);
|
|
|
|
} /* if */
|
|
|
|
if (tok==tSYMBOL && !findconst(st)) {
|
|
|
|
/* first look for a local variable */
|
|
|
|
if ((sym=findloc(st))!=0) {
|
|
|
|
if (sym->ident==iLABEL) {
|
|
|
|
error(29); /* expression error, assumed 0 */
|
|
|
|
ldconst(0,sPRI); /* load 0 */
|
|
|
|
return FALSE; /* return 0 for labels (expression error) */
|
|
|
|
} /* if */
|
|
|
|
lval->sym=sym;
|
|
|
|
lval->ident=sym->ident;
|
|
|
|
lval->tag=sym->tag;
|
|
|
|
if (sym->ident==iARRAY || sym->ident==iREFARRAY) {
|
|
|
|
address(sym,sPRI); /* get starting address in primary register */
|
|
|
|
return FALSE; /* return 0 for array (not lvalue) */
|
|
|
|
} else {
|
|
|
|
return TRUE; /* return 1 if lvalue (not label or array) */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
/* now try a global variable */
|
|
|
|
if ((sym=findglb(st))!=0) {
|
|
|
|
if (sym->ident==iFUNCTN || sym->ident==iREFFUNC) {
|
|
|
|
/* if the function is only in the table because it was inserted as a
|
|
|
|
* stub in the first pass (i.e. it was "used" but never declared or
|
|
|
|
* implemented, issue an error
|
|
|
|
*/
|
|
|
|
if ((sym->usage & uPROTOTYPED)==0)
|
|
|
|
error(17,st);
|
|
|
|
} else {
|
|
|
|
if ((sym->usage & uDEFINE)==0)
|
|
|
|
error(17,st);
|
|
|
|
lval->sym=sym;
|
|
|
|
lval->ident=sym->ident;
|
|
|
|
lval->tag=sym->tag;
|
|
|
|
if (sym->ident==iARRAY || sym->ident==iREFARRAY) {
|
|
|
|
address(sym,sPRI); /* get starting address in primary register */
|
|
|
|
return FALSE; /* return 0 for array (not lvalue) */
|
|
|
|
} else {
|
|
|
|
return TRUE; /* return 1 if lvalue (not function or array) */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
if (!sc_allowproccall)
|
|
|
|
return error(17,st); /* undefined symbol */
|
|
|
|
/* an unknown symbol, but used in a way compatible with the "procedure
|
|
|
|
* call" syntax. So assume that the symbol refers to a function.
|
|
|
|
*/
|
|
|
|
assert(sc_status==statFIRST);
|
|
|
|
sym=fetchfunc(st,0);
|
|
|
|
if (sym==NULL)
|
|
|
|
error(103); /* insufficient memory */
|
|
|
|
} /* if */
|
|
|
|
assert(sym!=NULL);
|
|
|
|
assert(sym->ident==iFUNCTN || sym->ident==iREFFUNC);
|
|
|
|
lval->sym=sym;
|
|
|
|
lval->ident=sym->ident;
|
|
|
|
lval->tag=sym->tag;
|
|
|
|
return FALSE; /* return 0 for function (not an lvalue) */
|
|
|
|
} /* if */
|
|
|
|
lexpush(); /* push the token, it is analyzed by constant() */
|
|
|
|
if (constant(lval)==0) {
|
|
|
|
error(29); /* expression error, assumed 0 */
|
|
|
|
ldconst(0,sPRI); /* load 0 */
|
|
|
|
} /* if */
|
|
|
|
return FALSE; /* return 0 for constants (or errors) */
|
|
|
|
}
|
|
|
|
|
|
|
|
static void clear_value(value *lval)
|
|
|
|
{
|
|
|
|
lval->sym=NULL;
|
|
|
|
lval->constval=0L;
|
|
|
|
lval->tag=0;
|
|
|
|
lval->ident=0;
|
|
|
|
lval->boolresult=FALSE;
|
|
|
|
/* do not clear lval->arrayidx, it is preset in hier14() */
|
|
|
|
}
|
|
|
|
|
|
|
|
static void setdefarray(cell *string,cell size,cell array_sz,cell *dataaddr,int fconst)
|
|
|
|
{
|
|
|
|
/* The routine must copy the default array data onto the heap, as to avoid
|
|
|
|
* that a function can change the default value. An optimization is that
|
|
|
|
* the default array data is "dumped" into the data segment only once (on the
|
|
|
|
* first use).
|
|
|
|
*/
|
|
|
|
assert(string!=NULL);
|
|
|
|
assert(size>0);
|
|
|
|
/* check whether to dump the default array */
|
|
|
|
assert(dataaddr!=NULL);
|
|
|
|
if (sc_status==statWRITE && *dataaddr<0) {
|
|
|
|
int i;
|
|
|
|
*dataaddr=(litidx+glb_declared)*sizeof(cell);
|
|
|
|
for (i=0; i<size; i++)
|
|
|
|
litadd(*string++);
|
|
|
|
} /* if */
|
|
|
|
|
|
|
|
/* if the function is known not to modify the array (meaning that it also
|
|
|
|
* does not modify the default value), directly pass the address of the
|
|
|
|
* array in the data segment.
|
|
|
|
*/
|
|
|
|
if (fconst) {
|
|
|
|
ldconst(*dataaddr,sPRI);
|
|
|
|
} else {
|
|
|
|
/* Generate the code:
|
|
|
|
* CONST.pri dataaddr ;address of the default array data
|
|
|
|
* HEAP array_sz*sizeof(cell) ;heap address in ALT
|
|
|
|
* MOVS size*sizeof(cell) ;copy data from PRI to ALT
|
|
|
|
* MOVE.PRI ;PRI = address on the heap
|
|
|
|
*/
|
|
|
|
ldconst(*dataaddr,sPRI);
|
|
|
|
/* "array_sz" is the size of the argument (the value between the brackets
|
|
|
|
* in the declaration), "size" is the size of the default array data.
|
|
|
|
*/
|
|
|
|
assert(array_sz>=size);
|
|
|
|
modheap((int)array_sz*sizeof(cell));
|
|
|
|
/* ??? should perhaps fill with zeros first */
|
|
|
|
memcopy(size*sizeof(cell));
|
|
|
|
moveto1();
|
|
|
|
} /* if */
|
|
|
|
}
|
|
|
|
|
|
|
|
static int findnamedarg(arginfo *arg,char *name)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
|
|
|
|
for (i=0; arg[i].ident!=0 && arg[i].ident!=iVARARGS; i++)
|
|
|
|
if (strcmp(arg[i].name,name)==0)
|
|
|
|
return i;
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int checktag(int tags[],int numtags,int exprtag)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
|
|
|
|
assert(tags!=0);
|
|
|
|
assert(numtags>0);
|
|
|
|
for (i=0; i<numtags; i++)
|
|
|
|
if (matchtag(tags[i],exprtag,TRUE))
|
|
|
|
return TRUE; /* matching tag */
|
|
|
|
return FALSE; /* no tag matched */
|
|
|
|
}
|
|
|
|
|
|
|
|
enum {
|
|
|
|
ARG_UNHANDLED,
|
|
|
|
ARG_IGNORED,
|
|
|
|
ARG_DONE,
|
|
|
|
};
|
|
|
|
|
|
|
|
/* callfunction
|
|
|
|
*
|
|
|
|
* Generates code to call a function. This routine handles default arguments
|
|
|
|
* and positional as well as named parameters.
|
|
|
|
*/
|
|
|
|
static void callfunction(symbol *sym,value *lval_result,int matchparanthesis)
|
|
|
|
{
|
|
|
|
static long nest_stkusage=0L;
|
|
|
|
static int nesting=0;
|
|
|
|
int locheap;
|
|
|
|
int close,lvalue;
|
|
|
|
int argpos; /* index in the output stream (argpos==nargs if positional parameters) */
|
|
|
|
int argidx=0; /* index in "arginfo" list */
|
|
|
|
int nargs=0; /* number of arguments */
|
|
|
|
int heapalloc=0;
|
|
|
|
int namedparams=FALSE;
|
|
|
|
value lval = {0};
|
|
|
|
arginfo *arg;
|
|
|
|
char arglist[sMAXARGS];
|
|
|
|
constvalue arrayszlst = { NULL, "", 0, 0}; /* array size list starts empty */
|
|
|
|
symbol *symret;
|
|
|
|
cell lexval;
|
|
|
|
char *lexstr;
|
|
|
|
|
|
|
|
assert(sym!=NULL);
|
|
|
|
lval_result->ident=iEXPRESSION; /* preset, may be changed later */
|
|
|
|
lval_result->constval=0;
|
|
|
|
lval_result->tag=sym->tag;
|
|
|
|
/* check whether this is a function that returns an array */
|
|
|
|
symret=finddepend(sym);
|
|
|
|
assert(symret==NULL || symret->ident==iREFARRAY);
|
|
|
|
if (symret!=NULL) {
|
|
|
|
int retsize;
|
|
|
|
/* allocate space on the heap for the array, and pass the pointer to the
|
|
|
|
* reserved memory block as a hidden parameter
|
|
|
|
*/
|
|
|
|
retsize=(int)array_totalsize(symret);
|
|
|
|
assert(retsize>0);
|
|
|
|
modheap(retsize*sizeof(cell));/* address is in ALT */
|
|
|
|
pushreg(sALT); /* pass ALT as the last (hidden) parameter */
|
|
|
|
decl_heap+=retsize;
|
|
|
|
/* also mark the ident of the result as "array" */
|
|
|
|
lval_result->ident=iREFARRAY;
|
|
|
|
lval_result->sym=symret;
|
|
|
|
} /* if */
|
|
|
|
locheap=decl_heap;
|
|
|
|
|
|
|
|
nesting++;
|
|
|
|
assert(nest_stkusage>=0);
|
|
|
|
#if !defined NDEBUG
|
|
|
|
if (nesting==1)
|
|
|
|
assert(nest_stkusage==0);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/* run through the arguments */
|
|
|
|
arg=sym->dim.arglist;
|
|
|
|
assert(arg!=NULL);
|
|
|
|
stgmark(sSTARTREORDER);
|
|
|
|
memset(arglist,ARG_UNHANDLED,sizeof arglist);
|
|
|
|
if (matchparanthesis) {
|
|
|
|
/* Opening brace was already parsed, if closing brace follows, this
|
|
|
|
* call passes no parameters.
|
|
|
|
*/
|
|
|
|
close=matchtoken(')');
|
|
|
|
} else {
|
|
|
|
/* When we find an end of line here, it may be a function call passing
|
|
|
|
* no parameters, or it may be that the first parameter is on a line
|
|
|
|
* below. But as a parameter can be anything, this is difficult to check.
|
|
|
|
* The only simple check that we have is the use of "named parameters".
|
|
|
|
*/
|
|
|
|
close=matchtoken(tTERM);
|
|
|
|
if (close) {
|
|
|
|
close=!matchtoken('.');
|
|
|
|
if (!close)
|
|
|
|
lexpush(); /* reset the '.' */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
if (!close) {
|
|
|
|
do {
|
|
|
|
if (matchtoken('.')) {
|
|
|
|
namedparams=TRUE;
|
|
|
|
if (needtoken(tSYMBOL))
|
|
|
|
tokeninfo(&lexval,&lexstr);
|
|
|
|
else
|
|
|
|
lexstr="";
|
|
|
|
argpos=findnamedarg(arg,lexstr);
|
|
|
|
if (argpos<0) {
|
|
|
|
error(17,lexstr); /* undefined symbol */
|
|
|
|
break; /* exit loop, argpos is invalid */
|
|
|
|
} /* if */
|
|
|
|
needtoken('=');
|
|
|
|
argidx=argpos;
|
|
|
|
} else {
|
|
|
|
if (namedparams)
|
|
|
|
error(44); /* positional parameters must precede named parameters */
|
|
|
|
argpos=nargs;
|
|
|
|
} /* if */
|
|
|
|
/* the number of arguments this was already checked at the declaration
|
|
|
|
* of the function; check it again for functions with a variable
|
|
|
|
* argument list
|
|
|
|
*/
|
|
|
|
if (argpos>=sMAXARGS)
|
|
|
|
error(45); /* too many function arguments */
|
|
|
|
stgmark((char)(sEXPRSTART+argpos));/* mark beginning of new expression in stage */
|
|
|
|
if (arglist[argpos]!=ARG_UNHANDLED)
|
|
|
|
error(58); /* argument already set */
|
|
|
|
if (matchtoken('_')) {
|
|
|
|
arglist[argpos]=ARG_IGNORED; /* flag argument as "present, but ignored" */
|
|
|
|
if (arg[argidx].ident==0 || arg[argidx].ident==iVARARGS) {
|
2005-11-19 12:07:28 +03:00
|
|
|
error(88); /* argument count mismatch */
|
2005-07-25 00:00:55 +04:00
|
|
|
} else if (!arg[argidx].hasdefault) {
|
|
|
|
error(34,nargs+1); /* argument has no default value */
|
|
|
|
} /* if */
|
|
|
|
if (arg[argidx].ident!=0 && arg[argidx].ident!=iVARARGS)
|
|
|
|
argidx++;
|
|
|
|
/* The rest of the code to handle default values is at the bottom
|
|
|
|
* of this routine where default values for unspecified parameters
|
|
|
|
* are (also) handled. Note that above, the argument is flagged as
|
|
|
|
* ARG_IGNORED.
|
|
|
|
*/
|
|
|
|
} else {
|
|
|
|
arglist[argpos]=ARG_DONE; /* flag argument as "present" */
|
|
|
|
lvalue=hier14(&lval);
|
|
|
|
switch (arg[argidx].ident) {
|
|
|
|
case 0:
|
2005-11-19 12:07:28 +03:00
|
|
|
error(88); /* argument count mismatch */
|
2005-07-25 00:00:55 +04:00
|
|
|
break;
|
|
|
|
case iVARARGS:
|
|
|
|
/* always pass by reference */
|
|
|
|
if (lval.ident==iVARIABLE || lval.ident==iREFERENCE) {
|
|
|
|
assert(lval.sym!=NULL);
|
|
|
|
if ((lval.sym->usage & uCONST)!=0 && (arg[argidx].usage & uCONST)==0) {
|
|
|
|
/* treat a "const" variable passed to a function with a non-const
|
2005-11-19 12:16:27 +03:00
|
|
|
* "variable argument flist" as a constant here */
|
2005-07-25 00:00:55 +04:00
|
|
|
assert(lvalue);
|
|
|
|
rvalue(&lval); /* get value in PRI */
|
|
|
|
setheap_pri(); /* address of the value on the heap in PRI */
|
|
|
|
heapalloc++;
|
|
|
|
nest_stkusage++;
|
|
|
|
} else if (lvalue) {
|
|
|
|
address(lval.sym,sPRI);
|
|
|
|
} else {
|
|
|
|
setheap_pri(); /* address of the value on the heap in PRI */
|
|
|
|
heapalloc++;
|
|
|
|
nest_stkusage++;
|
|
|
|
} /* if */
|
|
|
|
} else if (lval.ident==iCONSTEXPR || lval.ident==iEXPRESSION
|
|
|
|
|| lval.ident==iARRAYCHAR)
|
|
|
|
{
|
|
|
|
/* fetch value if needed */
|
|
|
|
if (lval.ident==iARRAYCHAR)
|
|
|
|
rvalue(&lval);
|
|
|
|
/* allocate a cell on the heap and store the
|
|
|
|
* value (already in PRI) there */
|
|
|
|
setheap_pri(); /* address of the value on the heap in PRI */
|
|
|
|
heapalloc++;
|
|
|
|
nest_stkusage++;
|
|
|
|
} /* if */
|
|
|
|
/* ??? handle const array passed by reference */
|
|
|
|
/* otherwise, the address is already in PRI */
|
|
|
|
if (lval.sym!=NULL)
|
|
|
|
markusage(lval.sym,uWRITTEN);
|
|
|
|
if (!checktag(arg[argidx].tags,arg[argidx].numtags,lval.tag))
|
|
|
|
error(213);
|
|
|
|
break;
|
|
|
|
case iVARIABLE:
|
|
|
|
if (lval.ident==iLABEL || lval.ident==iFUNCTN || lval.ident==iREFFUNC
|
|
|
|
|| lval.ident==iARRAY || lval.ident==iREFARRAY)
|
|
|
|
error(35,argidx+1); /* argument type mismatch */
|
|
|
|
if (lvalue)
|
|
|
|
rvalue(&lval); /* get value (direct or indirect) */
|
|
|
|
/* otherwise, the expression result is already in PRI */
|
|
|
|
assert(arg[argidx].numtags>0);
|
|
|
|
check_userop(NULL,lval.tag,arg[argidx].tags[0],2,NULL,&lval.tag);
|
|
|
|
if (!checktag(arg[argidx].tags,arg[argidx].numtags,lval.tag))
|
|
|
|
error(213);
|
|
|
|
argidx++; /* argument done */
|
|
|
|
break;
|
|
|
|
case iREFERENCE:
|
|
|
|
if (!lvalue || lval.ident==iARRAYCHAR)
|
|
|
|
error(35,argidx+1); /* argument type mismatch */
|
|
|
|
if (lval.sym!=NULL && (lval.sym->usage & uCONST)!=0 && (arg[argidx].usage & uCONST)==0)
|
|
|
|
error(35,argidx+1); /* argument type mismatch */
|
|
|
|
if (lval.ident==iVARIABLE || lval.ident==iREFERENCE) {
|
|
|
|
if (lvalue) {
|
|
|
|
assert(lval.sym!=NULL);
|
|
|
|
address(lval.sym,sPRI);
|
|
|
|
} else {
|
|
|
|
setheap_pri(); /* address of the value on the heap in PRI */
|
|
|
|
heapalloc++;
|
|
|
|
nest_stkusage++;
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
/* otherwise, the address is already in PRI */
|
|
|
|
if (!checktag(arg[argidx].tags,arg[argidx].numtags,lval.tag))
|
|
|
|
error(213);
|
|
|
|
argidx++; /* argument done */
|
|
|
|
if (lval.sym!=NULL)
|
|
|
|
markusage(lval.sym,uWRITTEN);
|
|
|
|
break;
|
|
|
|
case iREFARRAY:
|
|
|
|
if (lval.ident!=iARRAY && lval.ident!=iREFARRAY
|
|
|
|
&& lval.ident!=iARRAYCELL)
|
|
|
|
{
|
|
|
|
error(35,argidx+1); /* argument type mismatch */
|
|
|
|
break;
|
|
|
|
} /* if */
|
|
|
|
if (lval.sym!=NULL && (lval.sym->usage & uCONST)!=0 && (arg[argidx].usage & uCONST)==0)
|
|
|
|
error(35,argidx+1); /* argument type mismatch */
|
|
|
|
/* Verify that the dimensions match with those in arg[argidx].
|
|
|
|
* A literal array always has a single dimension.
|
|
|
|
* An iARRAYCELL parameter is also assumed to have a single dimension.
|
|
|
|
*/
|
|
|
|
if (lval.sym==NULL || lval.ident==iARRAYCELL) {
|
|
|
|
if (arg[argidx].numdim!=1) {
|
|
|
|
error(48); /* array dimensions must match */
|
|
|
|
} else if (arg[argidx].dim[0]!=0) {
|
|
|
|
assert(arg[argidx].dim[0]>0);
|
|
|
|
if (lval.ident==iARRAYCELL) {
|
|
|
|
error(47); /* array sizes must match */
|
|
|
|
} else {
|
|
|
|
assert(lval.constval!=0); /* literal array must have a size */
|
|
|
|
/* A literal array must have exactly the same size as the
|
|
|
|
* function argument; a literal string may be smaller than
|
|
|
|
* the function argument.
|
|
|
|
*/
|
|
|
|
if (lval.constval>0 && arg[argidx].dim[0]!=lval.constval
|
|
|
|
|| lval.constval<0 && arg[argidx].dim[0] < -lval.constval)
|
|
|
|
error(47); /* array sizes must match */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
if (lval.ident!=iARRAYCELL) {
|
|
|
|
/* save array size, for default values with uSIZEOF flag */
|
|
|
|
cell array_sz=lval.constval;
|
|
|
|
assert(array_sz!=0);/* literal array must have a size */
|
|
|
|
if (array_sz<0)
|
|
|
|
array_sz= -array_sz;
|
|
|
|
append_constval(&arrayszlst,arg[argidx].name,array_sz,0);
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
symbol *sym=lval.sym;
|
|
|
|
short level=0;
|
|
|
|
assert(sym!=NULL);
|
|
|
|
if (sym->dim.array.level+1!=arg[argidx].numdim)
|
|
|
|
error(48); /* array dimensions must match */
|
|
|
|
/* the lengths for all dimensions must match, unless the dimension
|
|
|
|
* length was defined at zero (which means "undefined")
|
|
|
|
*/
|
|
|
|
while (sym->dim.array.level>0) {
|
|
|
|
assert(level<sDIMEN_MAX);
|
|
|
|
if (arg[argidx].dim[level]!=0 && sym->dim.array.length!=arg[argidx].dim[level])
|
|
|
|
error(47); /* array sizes must match */
|
|
|
|
else if (!matchtag(arg[argidx].idxtag[level],sym->x.idxtag,TRUE))
|
|
|
|
error(229,sym->name); /* index tag mismatch */
|
|
|
|
append_constval(&arrayszlst,arg[argidx].name,sym->dim.array.length,level);
|
|
|
|
sym=finddepend(sym);
|
|
|
|
assert(sym!=NULL);
|
|
|
|
level++;
|
|
|
|
} /* if */
|
|
|
|
/* the last dimension is checked too, again, unless it is zero */
|
|
|
|
assert(level<sDIMEN_MAX);
|
|
|
|
assert(sym!=NULL);
|
|
|
|
if (arg[argidx].dim[level]!=0 && sym->dim.array.length!=arg[argidx].dim[level])
|
|
|
|
error(47); /* array sizes must match */
|
|
|
|
else if (!matchtag(arg[argidx].idxtag[level],sym->x.idxtag,TRUE))
|
|
|
|
error(229,sym->name); /* index tag mismatch */
|
|
|
|
append_constval(&arrayszlst,arg[argidx].name,sym->dim.array.length,level);
|
|
|
|
} /* if */
|
|
|
|
/* address already in PRI */
|
|
|
|
if (!checktag(arg[argidx].tags,arg[argidx].numtags,lval.tag))
|
|
|
|
error(213);
|
|
|
|
// ??? set uWRITTEN?
|
|
|
|
argidx++; /* argument done */
|
|
|
|
break;
|
|
|
|
} /* switch */
|
|
|
|
pushreg(sPRI); /* store the function argument on the stack */
|
|
|
|
markexpr(sPARM,NULL,0); /* mark the end of a sub-expression */
|
|
|
|
nest_stkusage++;
|
|
|
|
} /* if */
|
|
|
|
assert(arglist[argpos]!=ARG_UNHANDLED);
|
|
|
|
nargs++;
|
|
|
|
if (matchparanthesis) {
|
|
|
|
close=matchtoken(')');
|
|
|
|
if (!close) /* if not paranthese... */
|
|
|
|
if (!needtoken(',')) /* ...should be comma... */
|
|
|
|
break; /* ...but abort loop if neither */
|
|
|
|
} else {
|
|
|
|
close=!matchtoken(',');
|
|
|
|
if (close) { /* if not comma... */
|
|
|
|
if (needtoken(tTERM)==1)/* ...must be end of statement */
|
|
|
|
lexpush(); /* push again, because end of statement is analised later */
|
|
|
|
} /* if */
|
|
|
|
} /* if */
|
|
|
|
} while (!close && freading && !matchtoken(tENDEXPR)); /* do */
|
|
|
|
} /* if */
|
|
|
|
/* check remaining function arguments (they may have default values) */
|
|
|
|
for (argidx=0; arg[argidx].ident!=0 && arg[argidx].ident!=iVARARGS; argidx++) {
|
|
|
|
if (arglist[argidx]==ARG_DONE)
|
|
|
|
continue; /* already seen and handled this argument */
|
|
|
|
/* in this first stage, we also skip the arguments with uSIZEOF and uTAGOF;
|
|
|
|
* these are handled last
|
|
|
|
*/
|
|
|
|
if ((arg[argidx].hasdefault & uSIZEOF)!=0 || (arg[argidx].hasdefault & uTAGOF)!=0) {
|
|
|
|
assert(arg[argidx].ident==iVARIABLE);
|
|
|
|
continue;
|
|
|
|
} /* if */
|
|
|
|
stgmark((char)(sEXPRSTART+argidx));/* mark beginning of new expression in stage */
|
|
|
|
if (arg[argidx].hasdefault) {
|
|
|
|
if (arg[argidx].ident==iREFARRAY) {
|
|
|
|
short level;
|
|
|
|
setdefarray(arg[argidx].defvalue.array.data,
|
|
|
|
arg[argidx].defvalue.array.size,
|
|
|
|
arg[argidx].defvalue.array.arraysize,
|
|
|
|
&arg[argidx].defvalue.array.addr,
|
|
|
|
(arg[argidx].usage & uCONST)!=0);
|
|
|
|
if ((arg[argidx].usage & uCONST)==0) {
|
|
|
|
heapalloc+=arg[argidx].defvalue.array.arraysize;
|
|
|
|
nest_stkusage+=arg[argidx].defvalue.array.arraysize;
|
|
|
|
} /* if */
|
|
|
|
/* keep the lengths of all dimensions of a multi-dimensional default array */
|
|
|
|
assert(arg[argidx].numdim>0);
|
|
|
|
if (arg[argidx].numdim==1) {
|
|
|
|
append_constval(&arrayszlst,arg[argidx].name,arg[argidx].defvalue.array.arraysize,0);
|
|
|
|
} else {
|
|
|
|
for (level=0; level<arg[argidx].numdim; level++) {
|
|
|
|
assert(level<sDIMEN_MAX);
|
|
|
|
append_constval(&arrayszlst,arg[argidx].name,arg[argidx].dim[level],level);
|
|
|
|
} /* for */
|
|
|
|
} /* if */
|
|
|
|
} else if (arg[argidx].ident==iREFERENCE) {
|
|
|
|
setheap(arg[argidx].defvalue.val);
|
|
|
|
/* address of the value on the heap in PRI */
|
|
|
|
heapalloc++;
|
|
|
|
nest_stkusage++;
|
|
|
|
} else {
|
|
|
|
int dummytag=arg[argidx].tags[0];
|
|
|
|
ldconst(arg[argidx].defvalue.val,sPRI);
|
|
|
|
assert(arg[argidx].numtags>0);
|
|
|
|
check_userop(NULL,arg[argidx].defvalue_tag,arg[argidx].tags[0],2,NULL,&dummytag);
|
|
|
|
assert(dummytag==arg[argidx].tags[0]);
|
|
|
|
} /* if */
|
|
|
|
pushreg(sPRI); /* store the function argument on the stack */
|
|
|
|
markexpr(sPARM,NULL,0); /* mark the end of a sub-expression */
|
|
|
|
nest_stkusage++;
|
|
|
|
} else {
|
2005-11-19 12:16:27 +03:00
|
|
|
error(88,argidx); /* argument count mismatch */
|
2005-07-25 00:00:55 +04:00
|
|
|
} /* if */
|
|
|
|
if (arglist[argidx]==ARG_UNHANDLED)
|
|
|
|
nargs++;
|
|
|
|
arglist[argidx]=ARG_DONE;
|
|
|
|
} /* for */
|
|
|
|
/* now a second loop to catch the arguments with default values that are
|
|
|
|
* the "sizeof" or "tagof" of other arguments
|
|
|
|
*/
|
|
|
|
for (argidx=0; arg[argidx].ident!=0 && arg[argidx].ident!=iVARARGS; argidx++) {
|
|
|
|
constvalue *asz;
|
|
|
|
cell array_sz;
|
|
|
|
if (arglist[argidx]==ARG_DONE)
|
|
|
|
continue; /* already seen and handled this argument */
|
|
|
|
stgmark((char)(sEXPRSTART+argidx));/* mark beginning of new expression in stage */
|
|
|
|
assert(arg[argidx].ident==iVARIABLE); /* if "sizeof", must be single cell */
|
|
|
|
/* if unseen, must be "sizeof" or "tagof" */
|
|
|
|
assert((arg[argidx].hasdefault & uSIZEOF)!=0 || (arg[argidx].hasdefault & uTAGOF)!=0);
|
|
|
|
if ((arg[argidx].hasdefault & uSIZEOF)!=0) {
|
|
|
|
/* find the argument; if it isn't found, the argument's default value
|
|
|
|
* was a "sizeof" of a non-array (a warning for this was already given
|
|
|
|
* when declaring the function)
|
|
|
|
*/
|
|
|
|
asz=find_constval(&arrayszlst,arg[argidx].defvalue.size.symname,
|
|
|
|
arg[argidx].defvalue.size.level);
|
|
|
|
if (asz!=NULL) {
|
|
|
|
array_sz=asz->value;
|
|
|
|
if (array_sz==0)
|
|
|
|
error(224,arg[argidx].name); /* indeterminate array size in "sizeof" expression */
|
|
|
|
} else {
|
|
|
|
array_sz=1;
|
|
|
|
} /* if */
|
|
|
|
} else {
|
|
|
|
symbol *sym;
|
|
|
|
assert((arg[argidx].hasdefault & uTAGOF)!=0);
|
|
|
|
sym=findloc(arg[argidx].defvalue.size.symname);
|
|
|
|
if (sym==NULL)
|
|
|
|
sym=findglb(arg[argidx].defvalue.size.symname);
|
|
|
|
array_sz=(sym!=NULL) ? sym->tag : 0;
|
|
|
|
exporttag((int)array_sz);
|
|
|
|
} /* if */
|
|
|
|
ldconst(array_sz,sPRI);
|
|
|
|
pushreg(sPRI); /* store the function argument on the stack */
|
|
|
|
markexpr(sPARM,NULL,0);
|
|
|
|
nest_stkusage++;
|
|
|
|
if (arglist[argidx]==ARG_UNHANDLED)
|
|
|
|
nargs++;
|
|
|
|
arglist[argidx]=ARG_DONE;
|
|
|
|
} /* for */
|
|
|
|
stgmark(sENDREORDER); /* mark end of reversed evaluation */
|
|
|
|
pushval((cell)nargs*sizeof(cell));
|
|
|
|
nest_stkusage++;
|
|
|
|
ffcall(sym,NULL,nargs);
|
|
|
|
if (sc_status!=statSKIP)
|
|
|
|
markusage(sym,uREAD); /* do not mark as "used" when this call itself is skipped */
|
|
|
|
if ((sym->usage & uNATIVE)!=0 &&sym->x.lib!=NULL)
|
|
|
|
sym->x.lib->value += 1; /* increment "usage count" of the library */
|
|
|
|
modheap(-heapalloc*sizeof(cell));
|
|
|
|
if (symret!=NULL)
|
|
|
|
popreg(sPRI); /* pop hidden parameter as function result */
|
|
|
|
sideeffect=TRUE; /* assume functions carry out a side-effect */
|
|
|
|
sc_allowproccall=FALSE;
|
|
|
|
delete_consttable(&arrayszlst); /* clear list of array sizes */
|
|
|
|
|
|
|
|
/* maintain max. amount of memory used */
|
|
|
|
{
|
|
|
|
long totalsize;
|
|
|
|
totalsize=declared+decl_heap+1; /* local variables & return value size,
|
|
|
|
* +1 for PROC opcode */
|
|
|
|
if (lval_result->ident==iREFARRAY)
|
|
|
|
totalsize++; /* add hidden parameter (on the stack) */
|
|
|
|
if ((sym->usage & uNATIVE)==0)
|
|
|
|
totalsize++; /* add "call" opcode */
|
|
|
|
totalsize+=nest_stkusage;
|
2005-09-13 11:32:07 +04:00
|
|
|
if (!curfunc) /* if we got here, the function is invalid! */
|
|
|
|
return;
|
2005-07-25 00:00:55 +04:00
|
|
|
if (curfunc->x.stacksize<totalsize)
|
|
|
|
curfunc->x.stacksize=totalsize;
|
|
|
|
nest_stkusage-=nargs+heapalloc+1; /* stack/heap space, +1 for argcount param */
|
|
|
|
/* if there is a syntax error in the script, the stack calculation is
|
|
|
|
* probably incorrect; but we may not allow it to drop below zero
|
|
|
|
*/
|
|
|
|
if (nest_stkusage<0)
|
|
|
|
nest_stkusage=0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* scrap any arrays left on the heap, with the exception of the array that
|
|
|
|
* this function has as a result (in other words, scrap all arrays on the
|
|
|
|
* heap that caused by expressions in the function arguments)
|
|
|
|
*/
|
|
|
|
assert(decl_heap>=locheap);
|
|
|
|
modheap((locheap-decl_heap)*sizeof(cell)); /* remove heap space, so negative delta */
|
|
|
|
decl_heap=locheap;
|
|
|
|
nesting--;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* dbltest
|
|
|
|
*
|
|
|
|
* Returns a non-zero value if lval1 an array and lval2 is not an array and
|
|
|
|
* the operation is addition or subtraction.
|
|
|
|
*
|
|
|
|
* Returns the "shift" count (1 for 16-bit, 2 for 32-bit) to align a cell
|
|
|
|
* to an array offset.
|
|
|
|
*/
|
|
|
|
static int dbltest(void (*oper)(),value *lval1,value *lval2)
|
|
|
|
{
|
|
|
|
if ((oper!=ob_add) && (oper!=ob_sub))
|
|
|
|
return 0;
|
|
|
|
if (lval1->ident!=iARRAY)
|
|
|
|
return 0;
|
|
|
|
if (lval2->ident==iARRAY)
|
|
|
|
return 0;
|
|
|
|
return sizeof(cell)/2; /* 1 for 16-bit, 2 for 32-bit */
|
|
|
|
}
|
|
|
|
|
|
|
|
/* commutative
|
|
|
|
*
|
|
|
|
* Test whether an operator is commutative, i.e. x oper y == y oper x.
|
|
|
|
* Commutative operators are: + (addition)
|
|
|
|
* * (multiplication)
|
|
|
|
* == (equality)
|
|
|
|
* != (inequality)
|
|
|
|
* & (bitwise and)
|
|
|
|
* ^ (bitwise xor)
|
|
|
|
* | (bitwise or)
|
|
|
|
*
|
|
|
|
* If in an expression, code for the left operand has been generated and
|
|
|
|
* the right operand is a constant and the operator is commutative, the
|
|
|
|
* precautionary "push" of the primary register is scrapped and the constant
|
|
|
|
* is read into the secondary register immediately.
|
|
|
|
*/
|
|
|
|
static int commutative(void (*oper)())
|
|
|
|
{
|
|
|
|
return oper==ob_add || oper==os_mult
|
|
|
|
|| oper==ob_eq || oper==ob_ne
|
|
|
|
|| oper==ob_and || oper==ob_xor || oper==ob_or;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* constant
|
|
|
|
*
|
|
|
|
* Generates code to fetch a number, a literal character (which is returned
|
|
|
|
* by lex() as a number as well) or a literal string (lex() stores the
|
|
|
|
* strings in the literal queue). If the operand was a number, it is stored
|
|
|
|
* in lval->constval.
|
|
|
|
*
|
|
|
|
* The function returns 1 if the token was a constant or a string, 0
|
|
|
|
* otherwise.
|
|
|
|
*/
|
|
|
|
static int constant(value *lval)
|
|
|
|
{
|
|
|
|
int tok,index,ident;
|
|
|
|
cell val,item,cidx;
|
|
|
|
char *st;
|
|
|
|
symbol *sym;
|
|
|
|
|
|
|
|
tok=lex(&val,&st);
|
|
|
|
if (tok==tSYMBOL && (sym=findconst(st))!=0){
|
|
|
|
lval->constval=sym->addr;
|
|
|
|
ldconst(lval->constval,sPRI);
|
|
|
|
lval->ident=iCONSTEXPR;
|
|
|
|
lval->tag=sym->tag;
|
|
|
|
lval->sym=sym;
|
|
|
|
markusage(sym,uREAD);
|
|
|
|
} else if (tok==tNUMBER) {
|
|
|
|
lval->constval=val;
|
|
|
|
ldconst(lval->constval,sPRI);
|
|
|
|
lval->ident=iCONSTEXPR;
|
|
|
|
} else if (tok==tRATIONAL) {
|
|
|
|
lval->constval=val;
|
|
|
|
ldconst(lval->constval,sPRI);
|
|
|
|
lval->ident=iCONSTEXPR;
|
|
|
|
lval->tag=sc_rationaltag;
|
|
|
|
} else if (tok==tSTRING) {
|
|
|
|
/* lex() stores starting index of string in the literal table in 'val' */
|
|
|
|
ldconst((val+glb_declared)*sizeof(cell),sPRI);
|
|
|
|
lval->ident=iARRAY; /* pretend this is a global array */
|
|
|
|
lval->constval=val-litidx; /* constval == the negative value of the
|
|
|
|
* size of the literal array; using a negative
|
|
|
|
* value distinguishes between literal arrays
|
|
|
|
* and literal strings (this was done for
|
|
|
|
* array assignment). */
|
|
|
|
} else if (tok=='{') {
|
|
|
|
int tag,lasttag=-1;
|
|
|
|
val=litidx;
|
|
|
|
do {
|
|
|
|
/* cannot call constexpr() here, because "staging" is already turned
|
|
|
|
* on at this point */
|
|
|
|
assert(staging);
|
|
|
|
stgget(&index,&cidx); /* mark position in code generator */
|
|
|
|
ident=expression(&item,&tag,NULL,FALSE);
|
|
|
|
stgdel(index,cidx); /* scratch generated code */
|
|
|
|
if (ident!=iCONSTEXPR)
|
|
|
|
error(8); /* must be constant expression */
|
|
|
|
if (lasttag<0)
|
|
|
|
lasttag=tag;
|
|
|
|
else if (!matchtag(lasttag,tag,FALSE))
|
|
|
|
error(213); /* tagname mismatch */
|
|
|
|
litadd(item); /* store expression result in literal table */
|
|
|
|
} while (matchtoken(','));
|
|
|
|
needtoken('}');
|
|
|
|
ldconst((val+glb_declared)*sizeof(cell),sPRI);
|
|
|
|
lval->ident=iARRAY; /* pretend this is a global array */
|
|
|
|
lval->constval=litidx-val; /* constval == the size of the literal array */
|
|
|
|
} else {
|
|
|
|
return FALSE; /* no, it cannot be interpreted as a constant */
|
|
|
|
} /* if */
|
|
|
|
return TRUE; /* yes, it was a constant value */
|
|
|
|
}
|
|
|
|
|