bdb38dde43
* harbour/include/hbapi.h
* harbour/include/hbcomp.h
* harbour/include/hbcompdf.h
* harbour/include/hbdefs.h
* harbour/include/hberrors.h
* harbour/include/hbexpra.c
* harbour/include/hbexprb.c
* harbour/include/hbexprc.c
* harbour/include/hbpcode.h
* harbour/include/hbxvm.h
* harbour/source/common/expropt1.c
* harbour/source/common/expropt2.c
* harbour/source/common/hbstr.c
* harbour/source/compiler/cmdcheck.c
* harbour/source/compiler/genc.c
* harbour/source/compiler/gencc.c
* harbour/source/compiler/gencobj.c
* harbour/source/compiler/harbour.c
* harbour/source/compiler/harbour.y
* harbour/source/compiler/harbour.yyc
* harbour/source/compiler/hbdead.c
* harbour/source/compiler/hbfix.c
* harbour/source/compiler/hbgenerr.c
* harbour/source/compiler/hblbl.c
* harbour/source/compiler/hbpcode.c
* harbour/source/compiler/hbstripl.c
* harbour/source/macro/macro.y
* harbour/source/macro/macro.yyc
* harbour/source/rtl/console.c
* harbour/source/rtl/isprint.c
* harbour/source/rtl/left.c
* harbour/source/rtl/right.c
* harbour/source/rtl/strtran.c
* harbour/source/vm/codebloc.c
* harbour/source/vm/hvm.c
* harbour/source/vm/macro.c
* general PCODE cleanup and address most of TODO/TOFIX notes in
source code:
! fixed GPF traps when too long string or codeblock is generatd
+ added support for 16MB codeblocks and strings
! removed macrocompiler limitation for jumps range
! fixed GPF when more then 255 local variables is used and added
support for 2^15 locals
! removed all strtok() functions
% added optimization for all +=, -=, *=, %=, ^=, **= operations
when left side of expression is variable or array item
% added optimization for all +=, -=, *=, %=, ^=, **= operations
when left side of expression is object method and updated ++, --
for new code. It's still disabled until we will not add support
for late evaluated reference items to HVM
! fixed a[++i]++ and similar operations (a[++i]*=2, ...). Now ++i is
executed only once. It's not Clipper compatible but it was in
TODO note in source code. It can be disabled by -kc option
* finished support to xHarbour like #pragma TEXTHIDDEN(1)
! fixed local add int optimization when PARAMETERS used after
optimization changed local variable number over 255
! fixed GPF trap when in HB_P_<op>EQ PCODEs when executed for
direct values
* others
! fixed problems reported by Chen
* optimized strtran(), left(), right() to not create new string copy
when the same value is returned
802 lines
28 KiB
C
802 lines
28 KiB
C
/*
|
|
* $Id$
|
|
*/
|
|
|
|
/*
|
|
* Harbour Project source code:
|
|
* Compiler Expression Optimizer - utilities
|
|
*
|
|
* Copyright 1999 Ryszard Glab
|
|
* www - http://www.harbour-project.org
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 2, or (at your option)
|
|
* any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with this software; see the file COPYING. If not, write to
|
|
* the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
|
|
* Boston, MA 02111-1307 USA (or visit the web site http://www.gnu.org/).
|
|
*
|
|
* As a special exception, the Harbour Project gives permission for
|
|
* additional uses of the text contained in its release of Harbour.
|
|
*
|
|
* The exception is that, if you link the Harbour libraries with other
|
|
* files to produce an executable, this does not by itself cause the
|
|
* resulting executable to be covered by the GNU General Public License.
|
|
* Your use of that executable is in no way restricted on account of
|
|
* linking the Harbour library code into it.
|
|
*
|
|
* This exception does not however invalidate any other reasons why
|
|
* the executable file might be covered by the GNU General Public License.
|
|
*
|
|
* This exception applies only to the code released by the Harbour
|
|
* Project under the name Harbour. If you copy code from other
|
|
* Harbour Project or Free Software Foundation releases into a copy of
|
|
* Harbour, as the General Public License permits, the exception does
|
|
* not apply to the code that you add in this way. To avoid misleading
|
|
* anyone as to the status of such modified files, you must delete
|
|
* this exception notice from them.
|
|
*
|
|
* If you write modifications of your own for Harbour, it is your choice
|
|
* whether to permit this exception to apply to your modifications.
|
|
* If you do not wish that, delete this exception notice.
|
|
*
|
|
*/
|
|
|
|
#include <math.h>
|
|
#include "hbcomp.h"
|
|
#include "hbmacro.ch"
|
|
|
|
#define HB_USE_ARRAYAT_REF
|
|
/* #define HB_USE_OBJMSG_REF */
|
|
|
|
#ifdef __WATCOMC__
|
|
/* disable warnings for 'no reference to symbol' */
|
|
#pragma warning 14 9
|
|
#endif
|
|
|
|
/* ************************************************************************* */
|
|
|
|
static void hb_compExprSendPopPush( HB_EXPR_PTR pObj, HB_COMP_DECL )
|
|
{
|
|
if( pObj->value.asMessage.pObject )
|
|
{
|
|
/* Push _message for later use */
|
|
if( pObj->value.asMessage.szMessage )
|
|
{
|
|
HB_EXPR_PCODE2( hb_compGenMessageData, pObj->value.asMessage.szMessage, TRUE );
|
|
}
|
|
else
|
|
{
|
|
HB_EXPR_USE( pObj->value.asMessage.pMessage, HB_EA_PUSH_PCODE );
|
|
}
|
|
/* Push object */
|
|
HB_EXPR_USE( pObj->value.asMessage.pObject, HB_EA_PUSH_PCODE );
|
|
#ifndef HB_USE_OBJMSG_REF
|
|
/* Now push current value of variable */
|
|
if( pObj->value.asMessage.szMessage )
|
|
{
|
|
HB_EXPR_PCODE2( hb_compGenMessage, pObj->value.asMessage.szMessage, TRUE );
|
|
}
|
|
else
|
|
{
|
|
HB_EXPR_USE( pObj->value.asMessage.pMessage, HB_EA_PUSH_PCODE );
|
|
}
|
|
/* Push object */
|
|
HB_EXPR_USE( pObj->value.asMessage.pObject, HB_EA_PUSH_PCODE );
|
|
#endif
|
|
}
|
|
else
|
|
{
|
|
/* Push _message for later use */
|
|
if( pObj->value.asMessage.szMessage )
|
|
{
|
|
HB_EXPR_PCODE2( hb_compGenMessageData, pObj->value.asMessage.szMessage, FALSE );
|
|
}
|
|
else
|
|
{
|
|
HB_EXPR_USE( pObj->value.asMessage.pMessage, HB_EA_PUSH_PCODE );
|
|
/* Push WITHOBJECTMESSAGE pcode */
|
|
HB_EXPR_PCODE2( hb_compGenMessage, NULL, FALSE );
|
|
}
|
|
#ifndef HB_USE_OBJMSG_REF
|
|
/* Now push current value of variable */
|
|
if( pObj->value.asMessage.szMessage )
|
|
{
|
|
HB_EXPR_PCODE2( hb_compGenMessage, pObj->value.asMessage.szMessage, FALSE );
|
|
}
|
|
else
|
|
{
|
|
HB_EXPR_USE( pObj->value.asMessage.pMessage, HB_EA_PUSH_PCODE );
|
|
/* Push WITHOBJECTMESSAGE pcode */
|
|
HB_EXPR_PCODE2( hb_compGenMessage, NULL, FALSE );
|
|
}
|
|
#endif
|
|
}
|
|
}
|
|
|
|
void hb_compExprDelOperator( HB_EXPR_PTR pExpr, HB_COMP_DECL )
|
|
{
|
|
if( pExpr->value.asOperator.pLeft )
|
|
HB_EXPR_PCODE1( hb_compExprDelete, pExpr->value.asOperator.pLeft );
|
|
if( pExpr->value.asOperator.pRight )
|
|
HB_EXPR_PCODE1( hb_compExprDelete, pExpr->value.asOperator.pRight );
|
|
}
|
|
|
|
|
|
/* Generates pcodes for compound operators += -= *= /= %= ^=
|
|
*
|
|
* pExpr is an expression created by hb_compExprNew<operator>Eq functions
|
|
*/
|
|
void hb_compExprPushOperEq( HB_EXPR_PTR pSelf, BYTE bOpEq, HB_COMP_DECL )
|
|
{
|
|
#if ! defined( HB_MACRO_SUPPORT )
|
|
BYTE bNewOp;
|
|
|
|
switch( bOpEq )
|
|
{
|
|
case HB_P_PLUS:
|
|
bNewOp = HB_P_PLUSEQ;
|
|
break;
|
|
case HB_P_MINUS:
|
|
bNewOp = HB_P_MINUSEQ;
|
|
break;
|
|
case HB_P_MULT:
|
|
bNewOp = HB_P_MULTEQ;
|
|
break;
|
|
case HB_P_DIVIDE:
|
|
bNewOp = HB_P_DIVEQ;
|
|
break;
|
|
case HB_P_MODULUS:
|
|
bNewOp = HB_P_MODEQ;
|
|
break;
|
|
case HB_P_POWER:
|
|
bNewOp = HB_P_EXPEQ;
|
|
break;
|
|
default:
|
|
bNewOp = bOpEq;
|
|
break;
|
|
}
|
|
#endif
|
|
|
|
/* NOTE: an object instance variable needs special handling
|
|
*/
|
|
if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_SEND )
|
|
{
|
|
|
|
/* NOTE: COMPATIBILITY ISSUE:
|
|
* The above HB_C52_STRICT setting determines
|
|
* the way the chained send messages are handled.
|
|
* For example, the following code:
|
|
*
|
|
* a:b( COUNT() ):c += 1
|
|
*
|
|
* will be handled as:
|
|
*
|
|
* a:b( COUNT() ):c := a:b( COUNT() ):c + 1
|
|
*
|
|
* in strict Clipper compatibility mode and
|
|
*
|
|
* temp := a:b( COUNT() ), temp:c += 1
|
|
*
|
|
* in non-strict mode.
|
|
* In practice in Clipper it will call COUNT() function two times: the
|
|
* first time before addition and the second one after addition - in Harbour,
|
|
* COUNT() function will be called only once, before addition.
|
|
* The Harbour (non-strict) method is:
|
|
* 1) faster
|
|
* 2) it guarantees that the same instance variable of the same object will
|
|
* be changed
|
|
*/
|
|
|
|
HB_EXPR_PCODE1( hb_compExprSendPopPush, pSelf->value.asOperator.pLeft );
|
|
/* Do it. */
|
|
|
|
/* Temporary disabled optimization with references to object variables
|
|
untill we will not have extended reference items in our HVM [druzus] */
|
|
#ifdef HB_USE_OBJMSG_REF
|
|
if( bOpEq != bNewOp )
|
|
{
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_PUSHOVARREF );
|
|
/* push increment value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bNewOp );
|
|
}
|
|
else
|
|
#endif
|
|
{
|
|
HB_EXPR_PCODE2( hb_compGenPCode2, HB_P_SENDSHORT, 0 );
|
|
/* push increment value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
/* increase operation */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOpEq );
|
|
/* call pop message with one argument */
|
|
HB_EXPR_PCODE2( hb_compGenPCode2, HB_P_SENDSHORT, 1 );
|
|
}
|
|
return;
|
|
}
|
|
#if ! defined( HB_MACRO_SUPPORT )
|
|
else if( bOpEq != bNewOp )
|
|
{
|
|
#ifdef HB_USE_ARRAYAT_REF
|
|
/* NOTE: code for arrays is differ to correctly handle a[ i++ ]++ */
|
|
if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_ARRAYAT )
|
|
{
|
|
if( HB_SUPPORT_HARBOUR )
|
|
{
|
|
/* Note: change type to array reference */
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = TRUE;
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = FALSE;
|
|
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bNewOp );
|
|
return;
|
|
}
|
|
}
|
|
else
|
|
#endif
|
|
if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_VARIABLE )
|
|
{
|
|
int iScope = hb_compVariableScope( HB_COMP_PARAM, pSelf->value.asOperator.pLeft->value.asSymbol );
|
|
|
|
if( iScope != HB_VS_LOCAL_FIELD && iScope != HB_VS_GLOBAL_FIELD &&
|
|
iScope != HB_VS_UNDECLARED )
|
|
{
|
|
if( iScope == HB_VS_LOCAL_VAR &&
|
|
pSelf->value.asOperator.pRight->ExprType == HB_ET_NUMERIC &&
|
|
( bOpEq == HB_P_PLUS || bOpEq == HB_P_MINUS ) )
|
|
{
|
|
if( hb_compExprIsInteger( pSelf->value.asOperator.pRight ) )
|
|
{
|
|
short iIncrement = ( short ) pSelf->value.asOperator.pRight->value.asNum.val.l;
|
|
|
|
if( bOpEq != HB_P_MINUS || iIncrement >= -INT16_MAX )
|
|
{
|
|
int iLocal = hb_compLocalGetPos( HB_COMP_PARAM, pSelf->value.asOperator.pLeft->value.asSymbol );
|
|
BYTE buffer[ 5 ];
|
|
|
|
if( bOpEq == HB_P_MINUS )
|
|
iIncrement = -iIncrement;
|
|
|
|
buffer[ 0 ] = HB_P_LOCALADDINT;
|
|
buffer[ 1 ] = HB_LOBYTE( iLocal );
|
|
buffer[ 2 ] = HB_HIBYTE( iLocal );
|
|
buffer[ 3 ] = HB_LOBYTE( iIncrement );
|
|
buffer[ 4 ] = HB_HIBYTE( iIncrement );
|
|
hb_compGenPCodeN( buffer, 5, HB_COMP_PARAM );
|
|
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
/* NOTE: direct type change */
|
|
pSelf->value.asOperator.pLeft->ExprType = HB_ET_VARREF;
|
|
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bNewOp );
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
#endif
|
|
/* push old value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
/* push increment value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
/* perform operation and duplicate the new value */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOpEq );
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_DUPLICATE );
|
|
/* pop the new value into variable and leave the copy on the stack */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_POP_PCODE );
|
|
}
|
|
|
|
/* Generates pcodes for <operator>= syntax
|
|
* used standalone as a statement (it cannot leave the value on the stack)
|
|
*/
|
|
void hb_compExprUseOperEq( HB_EXPR_PTR pSelf, BYTE bOpEq, HB_COMP_DECL )
|
|
{
|
|
#if ! defined( HB_MACRO_SUPPORT )
|
|
BYTE bNewOp;
|
|
|
|
switch( bOpEq )
|
|
{
|
|
case HB_P_PLUS:
|
|
bNewOp = HB_P_PLUSEQPOP;
|
|
break;
|
|
case HB_P_MINUS:
|
|
bNewOp = HB_P_MINUSEQPOP;
|
|
break;
|
|
case HB_P_MULT:
|
|
bNewOp = HB_P_MULTEQPOP;
|
|
break;
|
|
case HB_P_DIVIDE:
|
|
bNewOp = HB_P_DIVEQPOP;
|
|
break;
|
|
case HB_P_MODULUS:
|
|
bNewOp = HB_P_MODEQPOP;
|
|
break;
|
|
case HB_P_POWER:
|
|
bNewOp = HB_P_EXPEQPOP;
|
|
break;
|
|
default:
|
|
bNewOp = bOpEq;
|
|
break;
|
|
}
|
|
#endif
|
|
|
|
/* NOTE: an object instance variable needs special handling
|
|
*/
|
|
if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_SEND )
|
|
{
|
|
HB_EXPR_PCODE1( hb_compExprSendPopPush, pSelf->value.asOperator.pLeft );
|
|
/* Do it.*/
|
|
|
|
/* Temporary disabled optimization with references to object variables
|
|
untill we will not have extended reference items in our HVM [druzus] */
|
|
#ifdef HB_USE_OBJMSG_REF
|
|
if( bOpEq != bNewOp )
|
|
{
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_PUSHOVARREF );
|
|
/* push increment value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bNewOp );
|
|
}
|
|
else
|
|
#endif
|
|
{
|
|
HB_EXPR_PCODE2( hb_compGenPCode2, HB_P_SENDSHORT, 0 );
|
|
/* push increment value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
/* increase operation */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOpEq );
|
|
/* Now do the assignment - call pop message with one argument */
|
|
HB_EXPR_PCODE2( hb_compGenPCode2, HB_P_SENDSHORT, 1 );
|
|
/* pop the unneeded value from the stack */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_POP );
|
|
}
|
|
return;
|
|
}
|
|
#if ! defined( HB_MACRO_SUPPORT )
|
|
else if( bOpEq != bNewOp )
|
|
{
|
|
#ifdef HB_USE_ARRAYAT_REF
|
|
/* NOTE: code for arrays is differ to correctly handle a[ i++ ]++ */
|
|
if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_ARRAYAT )
|
|
{
|
|
if( HB_SUPPORT_HARBOUR )
|
|
{
|
|
/* Note: change type to array reference */
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = TRUE;
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = FALSE;
|
|
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bNewOp );
|
|
return;
|
|
}
|
|
}
|
|
else
|
|
#endif
|
|
if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_VARIABLE )
|
|
{
|
|
int iScope = hb_compVariableScope( HB_COMP_PARAM, pSelf->value.asOperator.pLeft->value.asSymbol );
|
|
|
|
if( iScope != HB_VS_LOCAL_FIELD && iScope != HB_VS_GLOBAL_FIELD &&
|
|
iScope != HB_VS_UNDECLARED )
|
|
{
|
|
HB_EXPRTYPE iOldType;
|
|
|
|
if( iScope == HB_VS_LOCAL_VAR &&
|
|
pSelf->value.asOperator.pRight->ExprType == HB_ET_NUMERIC &&
|
|
( bOpEq == HB_P_PLUS || bOpEq == HB_P_MINUS ) )
|
|
{
|
|
if( hb_compExprIsInteger( pSelf->value.asOperator.pRight ) )
|
|
{
|
|
short iIncrement = ( short ) pSelf->value.asOperator.pRight->value.asNum.val.l;
|
|
|
|
if( bOpEq != HB_P_MINUS || iIncrement >= -INT16_MAX )
|
|
{
|
|
int iLocal = hb_compLocalGetPos( HB_COMP_PARAM, pSelf->value.asOperator.pLeft->value.asSymbol );
|
|
BYTE buffer[ 5 ];
|
|
|
|
if( bOpEq == HB_P_MINUS )
|
|
iIncrement = -iIncrement;
|
|
|
|
buffer[ 0 ] = HB_P_LOCALADDINT;
|
|
buffer[ 1 ] = HB_LOBYTE( iLocal );
|
|
buffer[ 2 ] = HB_HIBYTE( iLocal );
|
|
buffer[ 3 ] = HB_LOBYTE( iIncrement );
|
|
buffer[ 4 ] = HB_HIBYTE( iIncrement );
|
|
hb_compGenPCodeN( buffer, 5, HB_COMP_PARAM );
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
/* NOTE: direct type change */
|
|
iOldType = pSelf->value.asOperator.pLeft->ExprType;
|
|
pSelf->value.asOperator.pLeft->ExprType = HB_ET_VARREF;
|
|
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bNewOp );
|
|
pSelf->value.asOperator.pLeft->ExprType = iOldType;
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
#endif
|
|
/* push old value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
/* push increment value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pRight, HB_EA_PUSH_PCODE );
|
|
/* add */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOpEq );
|
|
/* pop the new value into variable and remove it from the stack */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_POP_PCODE );
|
|
}
|
|
|
|
/* Generates the pcodes for pre- increment/decrement expressions
|
|
*/
|
|
void hb_compExprPushPreOp( HB_EXPR_PTR pSelf, BYTE bOper, HB_COMP_DECL )
|
|
{
|
|
/* NOTE: an object instance variable needs special handling
|
|
*/
|
|
if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_SEND )
|
|
{
|
|
HB_EXPR_PCODE1( hb_compExprSendPopPush, pSelf->value.asOperator.pLeft );
|
|
/* Do it. */
|
|
|
|
/* Temporary disabled optimization with references to object variables
|
|
untill we will not have extended reference items in our HVM [druzus] */
|
|
#ifdef HB_USE_OBJMSG_REF
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_PUSHOVARREF );
|
|
|
|
/* increase/decrease operation, leave unreferenced value on stack */
|
|
/* We have to unreference the item on the stack, because we do not have
|
|
such PCODE(s) then I'll trnaslate HB_P_INC/HB_P_DEC into
|
|
HB_P_[PLUS|MINUS]EQ, Maybe in the future we will make it
|
|
in differ way [druzus] */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_ONE );
|
|
bOper = ( bOper == HB_P_INC ) ? HB_P_PLUSEQ : HB_P_MINUSEQ;
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
#else
|
|
HB_EXPR_PCODE2( hb_compGenPCode2, HB_P_SENDSHORT, 0 );
|
|
/* increase/decrease operation */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
/* Now, do the assignment - call pop message with one argument - it leaves the value on the stack */
|
|
HB_EXPR_PCODE2( hb_compGenPCode2, HB_P_SENDSHORT, 1 );
|
|
#endif
|
|
}
|
|
#ifdef HB_USE_ARRAYAT_REF
|
|
/* NOTE: code for arrays is differ to correctly handle a[ i++ ]++ */
|
|
else if( HB_SUPPORT_HARBOUR &&
|
|
pSelf->value.asOperator.pLeft->ExprType == HB_ET_ARRAYAT )
|
|
{
|
|
/* push reference to current value */
|
|
/* Note: change type to array reference */
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = TRUE;
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = FALSE;
|
|
|
|
/* increase/decrease operation, leave unreferenced value on stack */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_ONE );
|
|
bOper = ( bOper == HB_P_INC ) ? HB_P_PLUSEQ : HB_P_MINUSEQ;
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
}
|
|
#endif
|
|
else
|
|
{
|
|
/* Push current value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
/* Increment */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
/* duplicate a value */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_DUPLICATE );
|
|
/* pop new value and leave the duplicated copy of it on the stack */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_POP_PCODE );
|
|
}
|
|
}
|
|
|
|
/* Generates the pcodes for post- increment/decrement expressions
|
|
*/
|
|
void hb_compExprPushPostOp( HB_EXPR_PTR pSelf, BYTE bOper, HB_COMP_DECL )
|
|
{
|
|
/* NOTE: an object instance variable needs special handling
|
|
*/
|
|
if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_SEND )
|
|
{
|
|
#ifdef HB_USE_OBJMSG_REF
|
|
/* push reference to current value */
|
|
HB_EXPR_PCODE1( hb_compExprSendPopPush, pSelf->value.asOperator.pLeft );
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_PUSHOVARREF );
|
|
/* Duplicate the reference and unref the original one -
|
|
* it will be the result of whole expression
|
|
*/
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_DUPLUNREF );
|
|
/* increment/decrement the value */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_ONE );
|
|
bOper = ( bOper == HB_P_INC ) ? HB_P_PLUSEQPOP : HB_P_MINUSEQPOP;
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
#else
|
|
/* push current value - it will be a result of whole expression */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
/* now increment the value */
|
|
HB_EXPR_PCODE2( hb_compExprPushPreOp, pSelf, bOper );
|
|
/* pop the value from the stack */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_POP );
|
|
#endif
|
|
}
|
|
#ifdef HB_USE_ARRAYAT_REF
|
|
/* NOTE: code for arrays is differ to correctly handle a[ i++ ]++ */
|
|
else if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_ARRAYAT )
|
|
{
|
|
/* push reference to current value */
|
|
/* Note: change type to array reference */
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = TRUE;
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = FALSE;
|
|
|
|
/* Duplicate the reference and unref the original one -
|
|
* it will be the result of whole expression
|
|
*/
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_DUPLUNREF );
|
|
/* increase/decrease operation */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_ONE );
|
|
bOper = ( bOper == HB_P_INC ) ? HB_P_PLUSEQPOP : HB_P_MINUSEQPOP;
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
}
|
|
#endif
|
|
else
|
|
{
|
|
/* Push current value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
/* Duplicate value */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_DUPLICATE );
|
|
/* Increment */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
/* pop new value from the stack */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_POP_PCODE );
|
|
}
|
|
}
|
|
|
|
/* Generates the pcodes for increment/decrement operations
|
|
* used standalone as a statement
|
|
*/
|
|
void hb_compExprUsePreOp( HB_EXPR_PTR pSelf, BYTE bOper, HB_COMP_DECL )
|
|
{
|
|
/* NOTE: an object instance variable needs special handling
|
|
*/
|
|
if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_SEND )
|
|
{
|
|
/* Temporary disabled optimization with references to object variables
|
|
untill we will not have extended reference items in our HVM [druzus] */
|
|
#ifdef HB_USE_OBJMSG_REF
|
|
/* push reference to current value */
|
|
HB_EXPR_PCODE1( hb_compExprSendPopPush, pSelf->value.asOperator.pLeft );
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_PUSHOVARREF );
|
|
/* increment/decrement the value */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_ONE );
|
|
bOper = ( bOper == HB_P_INC ) ? HB_P_PLUSEQPOP : HB_P_MINUSEQPOP;
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
#else
|
|
HB_EXPR_PCODE2( hb_compExprPushPreOp, pSelf, bOper );
|
|
/* pop the value from the stack */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_POP );
|
|
#endif
|
|
}
|
|
#ifdef HB_USE_ARRAYAT_REF
|
|
/* NOTE: code for arrays is differ to correctly handle a[ i++ ]++ */
|
|
else if( pSelf->value.asOperator.pLeft->ExprType == HB_ET_ARRAYAT )
|
|
{
|
|
/* push reference to current value */
|
|
/* Note: change type to array reference */
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = TRUE;
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
pSelf->value.asOperator.pLeft->value.asList.reference = FALSE;
|
|
/* increase/decrease operation */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_ONE );
|
|
bOper = ( bOper == HB_P_INC ) ? HB_P_PLUSEQPOP : HB_P_MINUSEQPOP;
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
}
|
|
#endif
|
|
else
|
|
{
|
|
/* Push current value */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_PUSH_PCODE );
|
|
/* Increment */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, bOper );
|
|
/* pop new value from the stack */
|
|
HB_EXPR_USE( pSelf->value.asOperator.pLeft, HB_EA_POP_PCODE );
|
|
}
|
|
}
|
|
|
|
/* Generate pcode for aliased expression which contains macro operator on
|
|
* the left or right side of the alias operator
|
|
* expression->¯o or ¯o->expression or ¯o->¯o
|
|
*/
|
|
void hb_compExprUseAliasMacro( HB_EXPR_PTR pAliasedVar, BYTE bAction, HB_COMP_DECL )
|
|
{
|
|
HB_EXPR_PTR pAlias, pVar;
|
|
|
|
/* Alias->Var
|
|
*/
|
|
pAlias = pAliasedVar->value.asAlias.pAlias;
|
|
pVar = pAliasedVar->value.asAlias.pVar;
|
|
if( pAlias->ExprType == HB_ET_ALIAS )
|
|
{
|
|
/* database alias */
|
|
/* Push alias identifier as string so it can be joined with
|
|
* variable at runtime
|
|
* NOTE:
|
|
* ALIAS->&var is the same as &( "ALIAS->" + var )
|
|
*
|
|
*/
|
|
HB_EXPR_PCODE2( hb_compGenPushString, pAlias->value.asSymbol, strlen( pAlias->value.asSymbol ) + 1 );
|
|
HB_EXPR_USE( pVar, HB_EA_PUSH_PCODE );
|
|
if( bAction == HB_EA_PUSH_PCODE )
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_MACROPUSHALIASED );
|
|
else
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_MACROPOPALIASED );
|
|
}
|
|
else if( pVar->ExprType == HB_ET_VARIABLE )
|
|
{
|
|
/* NOTE:
|
|
* ¯o->var is the same as: &( macro + "->var" )
|
|
*/
|
|
HB_EXPR_USE( pAlias, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_PCODE2( hb_compGenPushString, pVar->value.asSymbol, strlen( pVar->value.asSymbol ) + 1 );
|
|
if( bAction == HB_EA_PUSH_PCODE )
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_MACROPUSHALIASED );
|
|
else
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_MACROPOPALIASED );
|
|
}
|
|
else
|
|
{
|
|
HB_EXPR_USE( pAlias, HB_EA_PUSH_PCODE );
|
|
HB_EXPR_USE( pVar, HB_EA_PUSH_PCODE );
|
|
if( bAction == HB_EA_PUSH_PCODE )
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_MACROPUSHALIASED );
|
|
else
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_P_MACROPOPALIASED );
|
|
}
|
|
|
|
/* Always add byte to pcode indicating requested macro compiler flag. */
|
|
HB_EXPR_PCODE1( hb_compGenPCode1, HB_MACRO_GENFLAGS );
|
|
}
|
|
|
|
|
|
/* Reduces the list of expressions
|
|
*
|
|
* pExpr is the first expression on the list
|
|
*/
|
|
ULONG hb_compExprReduceList( HB_EXPR_PTR pExpr, HB_COMP_DECL )
|
|
{
|
|
HB_EXPR_PTR pNext;
|
|
HB_EXPR_PTR * pPrev;
|
|
ULONG ulCnt = 0;
|
|
|
|
/* NOTE: During optimalization an expression on the list can be
|
|
* replaced by the new one
|
|
*/
|
|
|
|
pPrev = &pExpr->value.asList.pExprList;
|
|
pExpr = pExpr->value.asList.pExprList;
|
|
while( pExpr )
|
|
{
|
|
pNext = pExpr->pNext; /* store next expression in case the current will be reduced */
|
|
pExpr = HB_EXPR_USE( pExpr, HB_EA_REDUCE );
|
|
*pPrev = pExpr; /* store a new expression into the previous one */
|
|
pExpr->pNext = pNext; /* restore the link to next expression */
|
|
pPrev = &pExpr->pNext;
|
|
pExpr = pNext;
|
|
++ulCnt;
|
|
}
|
|
return ulCnt;
|
|
}
|
|
|
|
BOOL hb_compExprIsValidMacro( char * szText, ULONG ulLen, BOOL *pfUseTextSubst, HB_COMP_DECL )
|
|
{
|
|
BOOL fValid = TRUE;
|
|
|
|
*pfUseTextSubst = FALSE; /* no valid macro expression */
|
|
|
|
while( ulLen-- && fValid )
|
|
{
|
|
if( *szText++ == '&' && ulLen )
|
|
{
|
|
char ch = *szText;
|
|
/* Check if macro operator is used inside a string
|
|
* Macro operator is ignored if it is the last char or
|
|
* next char is '(' e.g. "this is &(ignored)"
|
|
* (except if strict Clipper compatibility mode is enabled)
|
|
*
|
|
* NOTE: This uses _a-zA-Z pattern to check for
|
|
* beginning of a variable name
|
|
*/
|
|
|
|
if( ch == '_' || ( ch >= 'A' && ch <= 'Z' ) || ( ch >= 'a' && ch <= 'z' ) )
|
|
#if defined( HB_MACRO_SUPPORT )
|
|
{
|
|
HB_SYMBOL_UNUSED( HB_COMP_PARAM );
|
|
*pfUseTextSubst = TRUE; /* valid macro expression */
|
|
return TRUE; /*there is no need to check all '&' occurences */
|
|
}
|
|
#else
|
|
{
|
|
char szSymName[ HB_SYMBOL_NAME_LEN + 1 ];
|
|
int iSize = 0;
|
|
do
|
|
{
|
|
if( ch >= 'a' && ch <= 'z' )
|
|
szSymName[ iSize++ ] = ch - ( 'a' - 'A' );
|
|
else if( ch == '_' || ( ch >= 'A' && ch <= 'Z' ) ||
|
|
( ch >= '0' && ch <= '9' ) )
|
|
szSymName[ iSize++ ] = ch;
|
|
else
|
|
break;
|
|
ch = *(++szText);
|
|
}
|
|
while( --ulLen && iSize < HB_SYMBOL_NAME_LEN );
|
|
szSymName[ iSize ] = '\0';
|
|
|
|
/* NOTE: All variables are assumed memvars in macro compiler -
|
|
* there is no need to check for a valid name but to be Clipper
|
|
* compatible we should check if local, static or field name
|
|
* is not use and generate error in such case
|
|
*/
|
|
*pfUseTextSubst = TRUE;
|
|
fValid = hb_compIsValidMacroVar( szSymName, HB_COMP_PARAM );
|
|
}
|
|
else if( ! HB_SUPPORT_HARBOUR )
|
|
*pfUseTextSubst = TRUE; /* always macro substitution in Clipper */
|
|
#endif
|
|
}
|
|
}
|
|
|
|
return fValid;
|
|
}
|
|
|
|
/* Reduces the list of expressions
|
|
*
|
|
* pExpr is the first expression on the list
|
|
*/
|
|
HB_EXPR_PTR hb_compExprReducePlusStrings( HB_EXPR_PTR pLeft, HB_EXPR_PTR pRight, HB_COMP_DECL )
|
|
{
|
|
if( pLeft->value.asString.dealloc )
|
|
{
|
|
pLeft->value.asString.string = (char *) hb_xrealloc( pLeft->value.asString.string, pLeft->ulLength + pRight->ulLength + 1 );
|
|
memcpy( pLeft->value.asString.string + pLeft->ulLength,
|
|
pRight->value.asString.string, pRight->ulLength );
|
|
pLeft->ulLength += pRight->ulLength;
|
|
pLeft->value.asString.string[ pLeft->ulLength ] = '\0';
|
|
}
|
|
else
|
|
{
|
|
char *szString;
|
|
szString = (char *) hb_xgrab( pLeft->ulLength + pRight->ulLength + 1 );
|
|
memcpy( szString, pLeft->value.asString.string, pLeft->ulLength );
|
|
memcpy( szString + pLeft->ulLength, pRight->value.asString.string, pRight->ulLength );
|
|
pLeft->ulLength += pRight->ulLength;
|
|
szString[ pLeft->ulLength ] = '\0';
|
|
pLeft->value.asString.string = szString;
|
|
pLeft->value.asString.dealloc = TRUE;
|
|
}
|
|
hb_compExprFree( pRight, HB_COMP_PARAM );
|
|
return pLeft;
|
|
}
|
|
|
|
#ifdef __WATCOMC__
|
|
/* enable warnings for unreferenced symbols */
|
|
#pragma warning 14 2
|
|
#endif
|