void DoAddr( void )
{
mad_type_info mti;
LValue( ExprSP );
if( (ExprSP->flags & SF_LOCATION)
&& ExprSP->v.loc.num == 1
&& ExprSP->v.loc.e[0].type == LT_ADDR ) {
ExprSP->v.addr = ExprSP->v.loc.e[0].u.addr;
ExprSetAddrInfo( ExprSP, false );
if( ExprSP->th != NULL ) {
GetMADTypeDefaultAt( ExprSP->v.addr, MTK_ADDRESS, &mti );
DIPTypePointer( ExprSP->th, TM_FAR, BITS2BYTES( mti.b.bits ), ExprSP->th );
ExprSP->info.kind = TK_POINTER;
} else {
ExprSP->info.kind = TK_ADDRESS;
}
ExprSP->flags &= ~SF_FORM_MASK;
} else {
Error( ERR_NONE, LIT_ENG( ERR_NEED_ADDRESS ) );
}
}
void LRValue( stack_entry *entry )
{
location_list ll;
item_mach tmp;
bool extend;
mad_type_info mti;
DIPHDL( type, th );
ExprResolve( entry );
if( entry->flags & SF_LOCATION ) {
if( entry->info.kind == TK_FUNCTION || entry->info.kind == TK_CODE ) {
/* rvalue of procedure is its address */
entry->v.addr = entry->v.loc.e[0].u.addr;
ExprSetAddrInfo( entry, false );
entry->info.kind = TK_ADDRESS;
} else if( !AddressExpression( entry ) ) {
extend = false;
switch( entry->info.kind ) {
case TK_ARRAY:
/* rvalue of array is its address */
entry->v.addr = entry->v.loc.e[0].u.addr;
if( entry->th != NULL ) {
/* change typing from "array of..." to "pointer to..." */
GetMADTypeDefaultAt( entry->v.addr, MTK_ADDRESS, &mti );
DIPTypeBase( entry->th, th, NULL, NULL );
DIPTypePointer( th, TM_FAR, BITS2BYTES( mti.b.bits ), entry->th );
DIPTypeInfo( entry->th, entry->lc, &entry->info );
} else {
ExprSetAddrInfo( entry, false );
}
break;
case TK_STRING:
_ChkAlloc( entry->v.string.allocated, entry->info.size,
LIT_ENG( ERR_NO_MEMORY_FOR_EXPR ) );
LocationCreate( &ll, LT_INTERNAL, entry->v.string.allocated );
if( LocationAssign( &ll, &entry->v.loc, entry->info.size, false ) != DS_OK ) {
_Free( entry->v.string.allocated );
Error( ERR_NONE, LIT_ENG( ERR_NO_ACCESS ) );
}
entry->v.string.loc = ll;
break;
case TK_BOOL:
case TK_CHAR:
case TK_ENUM:
case TK_INTEGER:
if( (entry->info.modifier & TM_MOD_MASK) == TM_SIGNED ) extend = true;
/* fall through */
default:
LocationCreate( &ll, LT_INTERNAL, &tmp );
if( LocationAssign( &ll, &entry->v.loc, entry->info.size, extend ) != DS_OK ) {
Error( ERR_NONE, LIT_ENG( ERR_NO_ACCESS ) );
}
FromItem( &tmp, entry );
break;
}
}
entry->flags &= ~(SF_LOCATION | SF_IMP_ADDR);
}
if( entry->info.kind == TK_POINTER
&& (entry->info.modifier & TM_MOD_MASK) == TM_NEAR ) {
NearToFar( entry );
}
}
static ssl_value MechDo( unsigned select, ssl_value parm )
{
unsigned long size;
ssl_value result;
DIPHDL( type, th );
dig_type_info ti;
mad_type_info mti;
result = 0;
switch( select ) {
case 0:
DoAssign();
break;
case 1:
DoMul();
break;
case 2:
DoDiv();
break;
case 3:
DoMod();
break;
case 4:
DoMinus();
break;
case 5:
DoShift();
break;
case 6:
DoAnd();
break;
case 7:
DoXor();
break;
case 8:
DoOr();
break;
case 9:
DoAddr();
break;
case 10:
ClassToTypeInfo( parm, &ti );
DoPoints( ti.kind );
break;
case 11:
DoField();
break;
case 12:
DoCall( Num, SSL2BOOL( parm ) );
break;
case 13:
DoConvert();
break;
case 14:
DoPlus();
break;
case 15:
MakeAddr();
break;
case 16:
result = ( TstEQ( SSL2INT( parm ) ) != 0 );
break;
case 17:
result = ( TstLT( SSL2INT( parm ) ) != 0 );
break;
case 18:
result = ( TstTrue( SSL2INT( parm ) ) != 0 );
break;
case 19:
result = ( TstExist( SSL2INT( parm ) ) != 0 );
break;
case 20:
size = ExprSP->ti.size;
PopEntry();
PushNum( size );
break;
case 21:
DIPTypeBase( ExprSP->th, th, NULL, NULL );
PopEntry();
PushType( th );
break;
case 22:
GetMADTypeDefault( MTK_ADDRESS, &mti );
size = BITS2BYTES( mti.b.bits - mti.a.seg.bits );
if( parm ) {
size += sizeof( addr_seg );
DIPTypePointer( ExprSP->th, TM_FAR, size, th );
} else {
DIPTypePointer( ExprSP->th, TM_NEAR, size, th );
}
PopEntry();
PushType( th );
break;
case 23:
result = UserType( th );
if( result ) {
PopEntry();
PushType( th );
}
break;
case 24:
DoMakeComplex();
break;
case 25:
DoStringConcat();
break;
case 26:
DoLConvert();
break;
case 27:
DoPlusScaled();
break;
case 28:
DoMinusScaled();
break;
case 29:
DoPoints( TI_KIND_EXTRACT( parm ) );
break;
case 30:
ti.kind = TK_POINTER;
ti.size = TI_SIZE_EXTRACT( parm );
ti.modifier = TI_MOD_EXTRACT( parm );
ti.deref = false;
FillInDefaults( &ti );
DIPTypePointer( ExprSP->th, ti.modifier, ti.size, th );
PopEntry();
PushType( th );
break;
case 31:
if( SSL2BOOL( parm ) ) {
/* file scope */
if( ExprSP->flags & SF_NAME ) {
ExprSP->v.li.file_scope = true;
} else {
Error( ERR_LOC, LIT_ENG( ERR_WANT_NAME ) );
}
} else {
/* in a namespace */
DoScope();
}
break;
}
return( result );
}
