unsigned DefaultSize( default_kind dk )
{
dip_type_info info;
mad_type_info mti;
if( DIPModDefault( CodeAddrMod, dk, &info ) != 0 ) {
info.kind = TK_NONE;
info.size = 0;
}
mti.b.kind = MTK_BASIC;
if( info.size == 0 ) {
GetMADTypeDefaultAt( GetCodeDot(),
( dk == DK_INT ) ? MTK_INTEGER : MTK_ADDRESS, &mti );
info.size = BITS2BYTES( mti.b.bits );
if( mti.b.kind == MTK_ADDRESS ) {
info.size -= BITS2BYTES( mti.a.seg.bits );
}
}
if( info.kind == TK_POINTER && info.modifier == TM_FAR ) {
if( mti.b.kind == MTK_BASIC ) {
/* haven't gotten the info yet */
GetMADTypeDefaultAt( GetCodeDot(), MTK_ADDRESS, &mti );
}
info.size -= BITS2BYTES( mti.a.seg.bits );
}
return( info.size );
}
bool PerformExplicitCall( address start, mad_string ctype, unsigned num_parms )
{
bool ret;
stack_entry *src;
address stack;
unsigned align;
unsigned long amount;
mad_type_info mti;
stack = GetRegSP();
GetMADTypeDefaultAt( stack, MTK_INTEGER, &mti );
align = mti.b.bits / BITS_PER_BYTE;
for( ; num_parms != 0; --num_parms ) {
if( ExprSP->v.loc.e[0].type!=LT_ADDR && ExprSP->v.loc.e[0].u.p==NULL ) {
/* push item */
src = StkEntry( 1 );
amount = (src->info.size + (align-1)) & -align;
if( _IsOff( SW_STACK_GROWS_UP ) ) {
stack.mach.offset -= amount;
}
LocationCreate( &ExprSP->v.loc, LT_ADDR, &stack );
if( _IsOn( SW_STACK_GROWS_UP ) ) {
stack.mach.offset += amount;
}
ExprSP->info = src->info;
ExprSP->flags |= SF_LOCATION;
ExprSP->th = NULL;
}
SwapStack( 1 );
DoAssign();
PopEntry();
}
AddrFix( &start );
SetRegSP( stack );
MADCallBuildFrame( ctype, start, start, &DbgRegs->mr, &DbgRegs->mr );
DbgTmpBrk.loc.addr = start;
NullStatus( &DbgTmpBrk );
DbgTmpBrk.status.b.active = TRUE;
ret = CallRoutine();
NullStatus( &DbgTmpBrk );
return( ret );
}
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 GetMADTypeDefault( mad_type_kind mtk, mad_type_info *mti )
{
GetMADTypeDefaultAt( GetRegIP(), mtk, mti );
}
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 );
TypeBase( entry->th, th, NULL, NULL );
TypePointer( th, TM_FAR, mti.b.bits / BITS_PER_BYTE, entry->th );
TypeInfo( entry->th, entry->lc, &entry->info );
} else {
ExprSetAddrInfo( entry, FALSE );
}
break;
case TK_STRING:
_ChkAlloc( entry->v.string.allocated, entry->info.size,
LIT( 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( 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( 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 );
}
}
