Files
libreoffice/basic/source/comp/exprgen.cxx
Rüdiger Timm 278155dc90 INTEGRATION: CWS ab24 (1.12.48); FILE MERGED
2006/02/02 16:43:17 ab 1.12.48.1: #i59791# Fixed compiler expression optimization
2006-02-09 11:46:49 +00:00

282 lines
8.6 KiB
C++
Raw Blame History

/*************************************************************************
*
* OpenOffice.org - a multi-platform office productivity suite
*
* $RCSfile: exprgen.cxx,v $
*
* $Revision: 1.13 $
*
* last change: $Author: rt $ $Date: 2006-02-09 12:46:49 $
*
* The Contents of this file are made available subject to
* the terms of GNU Lesser General Public License Version 2.1.
*
*
* GNU Lesser General Public License Version 2.1
* =============================================
* Copyright 2005 by Sun Microsystems, Inc.
* 901 San Antonio Road, Palo Alto, CA 94303, USA
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License version 2.1, as published by the Free Software Foundation.
*
* This library 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
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston,
* MA 02111-1307 USA
*
************************************************************************/
#include "sbcomp.hxx"
#pragma hdrstop
#include "expr.hxx"
// Umsetztabelle fuer Token-Operatoren und Opcodes
typedef struct {
SbiToken eTok; // Token
SbiOpcode eOp; // Opcode
} OpTable;
static OpTable aOpTable [] = {
{ EXPON,_EXP },
{ MUL, _MUL },
{ DIV, _DIV },
{ IDIV, _IDIV },
{ MOD, _MOD },
{ PLUS, _PLUS },
{ MINUS,_MINUS },
{ EQ, _EQ },
{ NE, _NE },
{ LE, _LE },
{ GE, _GE },
{ LT, _LT },
{ GT, _GT },
{ AND, _AND },
{ OR, _OR },
{ XOR, _XOR },
{ EQV, _EQV },
{ IMP, _IMP },
{ NOT, _NOT },
{ NEG, _NEG },
{ CAT, _CAT },
{ LIKE, _LIKE },
{ IS, _IS },
{ NIL, _NOP }};
// Ausgabe eines Elements
void SbiExprNode::Gen( RecursiveMode eRecMode )
{
if( IsConstant() )
{
switch( GetType() )
{
case SbxEMPTY: pGen->Gen( _EMPTY ); break;
case SbxINTEGER: pGen->Gen( _CONST, (short) nVal ); break;
case SbxSTRING:
{
USHORT nStringId = pGen->GetParser()->aGblStrings.Add( aStrVal, TRUE );
pGen->Gen( _SCONST, nStringId ); break;
}
default:
{
USHORT nStringId = pGen->GetParser()->aGblStrings.Add( nVal, eType );
pGen->Gen( _NUMBER, nStringId );
}
}
}
else if( IsOperand() )
{
SbiExprNode* pWithParent = NULL;
SbiOpcode eOp;
if( aVar.pDef->GetScope() == SbPARAM )
{
eOp = _PARAM;
if( 0 == aVar.pDef->GetPos() )
{
bool bTreatFunctionAsParam = true;
if( eRecMode == FORCE_CALL )
{
bTreatFunctionAsParam = false;
}
else if( eRecMode == UNDEFINED )
{
if( aVar.pPar && aVar.pPar->IsBracket() )
bTreatFunctionAsParam = false;
}
if( !bTreatFunctionAsParam )
eOp = aVar.pDef->IsGlobal() ? _FIND_G : _FIND;
}
}
// AB: 17.12.1995, Spezialbehandlung fuer WITH
else if( (pWithParent = GetWithParent()) != NULL )
{
eOp = _ELEM; // .-Ausdruck in WITH
}
else
{
SbiProcDef* pProc = aVar.pDef->GetProcDef();
// per DECLARE definiert?
if( pProc && pProc->GetLib().Len() )
eOp = pProc->IsCdecl() ? _CALLC : _CALL;
else
eOp = ( aVar.pDef->GetScope() == SbRTL ) ? _RTL :
(aVar.pDef->IsGlobal() ? _FIND_G : _FIND);
}
if( eOp == _FIND && pGen->GetParser()->bClassModule )
eOp = _FIND_CM;
for( SbiExprNode* p = this; p; p = p->aVar.pNext )
{
if( p == this && pWithParent != NULL )
pWithParent->Gen();
p->GenElement( eOp );
eOp = _ELEM;
}
}
else if( IsTypeOf() )
{
pLeft->Gen();
pGen->Gen( _TESTCLASS, nTypeStrId );
}
else
{
pLeft->Gen();
if( pRight )
pRight->Gen();
for( OpTable* p = aOpTable; p->eTok != NIL; p++ )
{
if( p->eTok == eTok )
{
pGen->Gen( p->eOp ); break;
}
}
}
}
// Ausgabe eines Operanden-Elements
void SbiExprNode::GenElement( SbiOpcode eOp )
{
#ifndef PRODUCT
if( (eOp < _RTL || eOp > _CALLC) && eOp != _FIND_G && eOp != _FIND_CM )
pGen->GetParser()->Error( SbERR_INTERNAL_ERROR, "Opcode" );
#endif
SbiSymDef* pDef = aVar.pDef;
// Das ID ist entweder die Position oder das String-ID
// Falls das Bit 0x8000 gesetzt ist, hat die Variable
// eine Parameterliste.
USHORT nId = ( eOp == _PARAM ) ? pDef->GetPos() : pDef->GetId();
// Parameterliste aufbauen
if( aVar.pPar && aVar.pPar->GetSize() )
{
nId |= 0x8000;
aVar.pPar->Gen();
}
SbiProcDef* pProc = aVar.pDef->GetProcDef();
// per DECLARE definiert?
if( pProc )
{
// Dann evtl. einen LIB-Befehl erzeugen
if( pProc->GetLib().Len() )
pGen->Gen( _LIB, pGen->GetParser()->aGblStrings.Add( pProc->GetLib() ) );
// und den Aliasnamen nehmen
if( pProc->GetAlias().Len() )
nId = ( nId & 0x8000 ) | pGen->GetParser()->aGblStrings.Add( pProc->GetAlias() );
}
pGen->Gen( eOp, nId, GetType() );
}
// Erzeugen einer Argv-Tabelle
// Das erste Element bleibt immer frei fuer Returnwerte etc.
// Siehe auch SbiProcDef::SbiProcDef() in symtbl.cxx
void SbiExprList::Gen()
{
if( pFirst )
{
pParser->aGen.Gen( _ARGC );
// AB 10.1.96: Typ-Anpassung bei DECLARE
USHORT nCount = 1, nParAnz = 0;
SbiSymPool* pPool;
if( pProc )
{
pPool = &pProc->GetParams();
nParAnz = pPool->GetSize();
}
for( SbiExpression* pExpr = pFirst; pExpr; pExpr = pExpr->pNext,nCount++ )
{
pExpr->Gen();
if( pExpr->GetName().Len() )
{
// named arg
USHORT nSid = pParser->aGblStrings.Add( pExpr->GetName() );
pParser->aGen.Gen( _ARGN, nSid );
// AB 10.1.96: Typanpassung bei named -> passenden Parameter suchen
if( pProc )
{
// Vorerst: Error ausloesen
pParser->Error( SbERR_NO_NAMED_ARGS );
// Spaeter, wenn Named Args bei DECLARE moeglich
/*
for( USHORT i = 1 ; i < nParAnz ; i++ )
{
SbiSymDef* pDef = pPool->Get( i );
const String& rName = pDef->GetName();
if( rName.Len() )
{
if( pExpr->GetName().ICompare( rName )
== COMPARE_EQUAL )
{
pParser->aGen.Gen( _ARGTYP, pDef->GetType() );
break;
}
}
}
*/
}
}
else
{
pParser->aGen.Gen( _ARGV );
// Funktion mit DECLARE -> Typ-Anpassung
if( pProc && nCount < nParAnz )
{
SbiSymDef* pDef = pPool->Get( nCount );
USHORT nTyp = pDef->GetType();
// Zus<75>tzliches Flag f<>r BYVAL einbauen
if( pDef->IsByVal() )
nTyp |= 0x8000;
pParser->aGen.Gen( _ARGTYP, nTyp );
}
}
}
}
}
void SbiExpression::Gen( RecursiveMode eRecMode )
{
// AB: 17.12.1995, Spezialbehandlung fuer WITH
// Wenn pExpr == .-Ausdruck in With, zunaechst Gen fuer Basis-Objekt
pExpr->Gen( eRecMode );
if( bBased )
{
USHORT uBase = pParser->nBase;
if( pParser->IsCompatible() )
uBase |= 0x8000; // #109275 Flag compatiblity
pParser->aGen.Gen( _BASED, uBase );
pParser->aGen.Gen( _ARGV );
}
}