_var.c

Go to the documentation of this file.

/*****************************************************************************
 * ugBASIC - an isomorphic BASIC language compiler for retrocomputers        *
 *****************************************************************************
 * Copyright 2021-2026 Marco Spedaletti (asimov@mclink.it)
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *----------------------------------------------------------------------------
 * Concesso in licenza secondo i termini della Licenza Apache, versione 2.0
 * (la "Licenza"); è proibito usare questo file se non in conformità alla
 * Licenza. Una copia della Licenza è disponibile all'indirizzo:
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Se non richiesto dalla legislazione vigente o concordato per iscritto,
 * il software distribuito nei termini della Licenza è distribuito
 * "COSÌ COM'È", SENZA GARANZIE O CONDIZIONI DI ALCUN TIPO, esplicite o
 * implicite. Consultare la Licenza per il testo specifico che regola le
 * autorizzazioni e le limitazioni previste dalla medesima.
 ****************************************************************************/
 
/****************************************************************************
 * INCLUDE SECTION 
 ****************************************************************************/
 
#include "../../ugbc.h"
 
/****************************************************************************
 * CODE SECTION 
 ****************************************************************************/
 
extern char BANK_TYPE_AS_STRING[][16];
extern char DATATYPE_AS_STRING[][16];
 
static void variable_cleanup_entry( Environment * _environment, Variable * _first ) {
 
    Variable * variable = _first;
 
    while( variable ) {
 
        if ( ( !variable->assigned || ( variable->assigned && !variable->temporary ) ) ) {
            switch( variable->type ) {
                case VT_CHAR:
                case VT_BYTE:
                case VT_SBYTE:
                case VT_COLOR:
                case VT_THREAD:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        vars_emit_byte( _environment, variable->realName, variable->initialValue );
                    }
                    break;
                case VT_DOJOKA:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        outhead1("%s: times 4 db 0", variable->realName);
                    }
                    break;
                case VT_IMAGEREF:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        outhead1("%s: times 14 db 0", variable->realName);
                    }
                    break;
                case VT_PATH:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        outhead1("%s: times 16 db 0", variable->realName);
                    }
                    break;
                case VT_VECTOR2:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        outhead1("%s: times 4 db 0", variable->realName);
                    }
                    break;
                case VT_WORD:
                case VT_SWORD:
                case VT_POSITION:
                case VT_ADDRESS:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        vars_emit_word( _environment, variable->realName, variable->initialValue );
                    }
                    break;
                case VT_DWORD:
                case VT_SDWORD:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        vars_emit_dword( _environment, variable->realName, variable->initialValue );
                    }
                    break;
                case VT_NUMBER:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        vars_emit_number( _environment, variable->realName, variable->initialValue );
                    }
                    break;
                case VT_FLOAT:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        outhead2("%s: dd %f", variable->realName, variable->valueFloating );
                    }
                    break;
                case VT_STRING:
                    outhead2("%s: EQU cstring%d", variable->realName, variable->valueString->id );
                    break;
                case VT_DSTRING:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        outhead1("%s: db 0", variable->realName);
                    }
                    break;
                case VT_TILE:
                case VT_TILESET:
                case VT_MSPRITE:
                case VT_SPRITE:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        outhead1("%s: db 0", variable->realName);
                    }
                    break;
                case VT_TILES:
                    if ( variable->memoryArea ) {
                        outhead2("%s: EQU 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        outhead1("%s: db 0,0,0,0", variable->realName);
                    }
                    break;
                case VT_BLIT:
                    break;                
                case VT_IMAGE:
                case VT_IMAGES:
                case VT_SEQUENCE:
                case VT_MUSIC:
                case VT_BUFFER:
                case VT_TYPE:
                    if ( ! variable->absoluteAddress ) {
                        if ( variable->readonly ) {
 
                        } else {
 
                        }
                        if ( variable->valueBuffer ) {
                            if ( variable->printable ) {
                                char * string = malloc( variable->size + 1 );
                                memset( string, 0, variable->size + 1 );
                                memcpy( string, variable->valueBuffer, variable->size );
                                outhead2("%s: db %s", variable->realName, escape_newlines( string ) );
                            } else {
                                out1("%s: db ", variable->realName);
                                int i=0;
                                for (i=0; i<(variable->size-1); ++i ) {
                                    if ( ( ( i + 1 ) % 16 ) == 0 ) {
                                        outline1("0x%2.2x", (unsigned char)(variable->valueBuffer[i] & 0xff ) );
                                        out0("  db ");
                                    } else {
                                        out1("0x%2.2x,", (unsigned char)(variable->valueBuffer[i] & 0xff ) );
                                    }
                                }
                                outline1("0x%2.2x", (unsigned char)(variable->valueBuffer[(variable->size-1)] & 0xff ) );
                            }
                        } else {
                            outhead2("%s: times %d db 0", variable->realName, variable->size);
                        }
                        if ( variable->readonly ) {
 
                        } else {
 
                        }
                    } else {
                        outline2("%s = 0x%4.4x", variable->realName, variable->absoluteAddress);
                        if ( variable->valueBuffer ) {
                            if ( variable->printable ) {
                                char * string = malloc( variable->size + 1 );
                                memset( string, 0, variable->size + 1 );
                                memcpy( string, variable->valueBuffer, variable->size );
                                outline2("%scopy: db %s", variable->realName, escape_newlines( string ) );
                            } else {
                                out1("%scopy: db ", variable->realName);
                                int i=0;
                                for (i=0; i<(variable->size-1); ++i ) {
                                    out1("0x%2.2x,", (unsigned char)(variable->valueBuffer[i] & 0xff ) );
                                }
                                outline1("0x%2.2x", (unsigned char)(variable->valueBuffer[(variable->size-1)] & 0xff ) );
                            }
                        }
                    }
                    break;
                case VT_TILEMAP:
                case VT_TARRAY: {
                    if ( variable->bankAssigned != -1 ) {
 
                        outhead4("; relocated on bank %d (at %4.4x) for %d bytes (uncompressed: %d)", variable->bankAssigned, variable->absoluteAddress, variable->size, variable->uncompressedSize );
                        if ( variable->type == VT_TARRAY ) {
                            if (VT_BITWIDTH( variable->arrayType ) == 0 ) {
                                CRITICAL_DATATYPE_UNSUPPORTED( "BANKED", DATATYPE_AS_STRING[ variable->arrayType ] );
                            }
                            // force +1 byte if size is odd
                            outhead2("%s: times %d db 0", variable->realName, (VT_BITWIDTH( variable->arrayType )>>3) );
                        } else {
                            if (VT_BITWIDTH( variable->type ) == 0 ) {
                                CRITICAL_DATATYPE_UNSUPPORTED( "BANKED", DATATYPE_AS_STRING[ variable->type ] );
                            }
                            // force +1 byte if size is odd
                            outhead2("%s: times %d db 0", variable->realName, (VT_BITWIDTH( variable->type )>>3) );
                        }
 
                    } else {
 
                        if ( variable->readonly ) {
 
                        } else {
 
                        }
                        if ( variable->valueBuffer ) {
                            out1("%s: db ", variable->realName);
                            int i=0;
                            for (i=0; i<(variable->size-1); ++i ) {
                                out1("0x%2.2x,", (unsigned char)(variable->valueBuffer[i] & 0xff ) );
                            }
                            outline1("0x%2.2x", (unsigned char)(variable->valueBuffer[(variable->size-1)] & 0xff ) );
                        } else if ( variable->value ) {
 
                            switch( VT_BITWIDTH( variable->arrayType ) ) {
                                case 32: {
                                    out1("%s: db ", variable->realName );
                                    for( int i=0; i<(variable->size/4)-1; ++i ) {
                                        out4("0x%2.2x, 0x%2.2x, 0x%2.2x, 0x%2.2x, ", (unsigned int)( variable->value & 0xff ), (unsigned int)( ( variable->value >> 8 ) & 0xff ), (unsigned int)( ( variable->value >> 16 ) & 0xff ), (unsigned int)( ( variable->value >> 24 ) & 0xff ) );
                                    }
                                    out4("0x%2.2x, 0x%2.2x, 0x%2.2x, 0x%2.2x", (unsigned int)( variable->value & 0xff ), (unsigned int)( ( variable->value >> 8 ) & 0xff ), (unsigned int)( ( variable->value >> 16 ) & 0xff ), (unsigned int)( ( variable->value >> 24 ) & 0xff ) );
                                    outline0("");
                                    break;
                                }
                                case 16: {
                                    out1("%s: db ", variable->realName );
                                    for( int i=0; i<(variable->size/2)-1; ++i ) {
                                        out2("0x%2.2x, 0x%2.2x,", (unsigned int)( variable->value & 0xff ), (unsigned int)( ( variable->value >> 8 ) & 0xff ) );
                                    }
                                    out2("0x%2.2x, 0x%2.2x", (unsigned int)( variable->value & 0xff ), (unsigned int)( ( variable->value >> 8 ) & 0xff ) );
                                    outline0("");
                                    break;
                                }
                                case 8:
                                    outline3("%s: times %d db 0x%2.2x", variable->realName, variable->size, (unsigned char)(variable->value&0xff) );
                                    break;
                                case 1:
                                    outline3("%s: times %d db 0x%2.2x", variable->realName, variable->size, (unsigned char)(variable->value?0xff:0x00));
                                    break;
                            }                             
                        } else {
                            outhead2("%s: times %d db 0", variable->realName, variable->size);
                        }
                        if ( variable->readonly ) {
 
                        } else {
 
                        }
 
                    }
 
                    break;
                }
            }
 
            if( variable->type == VT_IMAGES ) {
                if ( variable->strips ) {
                    Strip * actual = variable->strips;
                    int i = 0;
                    while( actual ) {
                        outhead2("%sstrip%d:", variable->realName, i );
                        for( int j=0; j<actual->count; ++j ) {
                            outline1( "db 0x%2.2x", actual->frames[j] );
                        }
                        actual = actual->next;
                        ++i;
                    }
                    actual = variable->strips;
                    i = 0;
                    outhead1("%sstrip:", variable->realName );
                    while( actual ) {
                        outline2("dw %sstrip%d", variable->realName, i );
                        actual = actual->next;
                        ++i;
                    }
                }
            }
 
        }
        variable = variable->next;
    }
 
}
 
static void variable_cleanup_entry_bit( Environment * _environment, Variable * _first ) {
 
    Variable * variable = _first;
 
    int bitCount = 0;
 
    while( variable ) {
 
        if ( ( !variable->assigned || ( variable->assigned && !variable->temporary ) ) && !variable->imported && !variable->memoryArea ) {
 
            if ( variable->memoryArea && _environment->debuggerLabelsFile ) {
                fprintf( _environment->debuggerLabelsFile, "%4.4x %s\r\n", variable->absoluteAddress, variable->realName );
            }
 
            switch( variable->type ) {
                case VT_BIT:
                    if ( variable->memoryArea ) {
                        // outline2("%s = 0x%4.4x", variable->realName, variable->absoluteAddress);
                    } else {
                        outhead1("%s:", variable->realName);
                    }
                    ++bitCount;
                    if ( bitCount == 8 ) {
                        outline0("   db 1");
                    }        
                    break;
            }
 
        }
 
        variable = variable->next;
 
    }
 
    if ( bitCount > 0 ) {
        outline0("   db 1");
    }
 
}
 

void variable_cleanup( Environment * _environment ) {
 
    int i=0;
 
    vars_emit_constants( _environment );
 
    if ( _environment->dataSegment ) {
        outhead1("DATAFIRSTSEGMENT EQU %s", _environment->dataSegment->realName );
        if ( _environment->readDataUsed && _environment->restoreDynamic ) {
            outhead0("DATASEGMENTNUMERIC:" );
            DataSegment * actual = _environment->dataSegment;
            while( actual ) {
                if ( actual->isNumeric ) {
                    outline2( "dw 0x%4.4x, %s", actual->lineNumber, actual->realName );
                }
                actual = actual->next;
            }
            outline0( "dw 0xffff, DATAPTRE" );
        }
    }   
 
    if ( _environment->offsetting ) {
        Offsetting * actual = _environment->offsetting;
        while( actual ) {
            out1("OFFSETS%4.4x: dw ", actual->size );
            for( i=0; i<actual->count; ++i ) {
                out1("0x%4.4x", i * actual->size );
                if ( i < ( actual->count - 1 ) ) {
                    out0(",");
                } else {
                    outline0("");
                }
            }
            if ( actual->variables ) {
                OffsettingVariable * actualVariable = actual->variables;
                while( actualVariable ) {
                    if ( actualVariable->sequence ) {
                        outhead1("%soffsetsequence:", actualVariable->variable->realName );
                    } else {
                        outhead1("%soffsetframe:", actualVariable->variable->realName );
                    }
                    actualVariable = actualVariable->next;
                }
                outhead1("fs%4.4xoffsetsequence:", actual->size );
                outhead1("fs%4.4xoffsetframe:", actual->size );                
                outline0("LD L, A" );
                outline0("LD H, 0" );
                outline0("ADD HL, HL" );
                outline0("LD DE, HL" );
                outline1("LD HL, OFFSETS%4.4x", actual->size );
                outline0("ADD HL, DE" );
                outline0("LD A, (HL)" );
                outline0("LD E, A" );
                outline0("INC HL" );
                outline0("LD A, (HL)" );
                outline0("LD D, A" );
                outline0("PUSH IX" );
                outline0("POP HL" );
                outline0("ADD HL, DE" );
                outline0("RET" );
            }
            actual = actual->next;
        }
 
        int values[MAX_TEMPORARY_STORAGE];
        char * address[MAX_TEMPORARY_STORAGE];
 
        actual = _environment->offsetting;
        int count = 0;
        while( actual ) {
            values[count] = actual->size;
            address[count] = malloc( MAX_TEMPORARY_STORAGE );
            sprintf( address[count], "fs%4.4xoffsetframe", actual->size );
            actual = actual->next;
            ++count;
        }
 
        cpu_address_table_build( _environment, "EXECOFFSETS", values, address, count );
 
        cpu_address_table_lookup( _environment, "EXECOFFSETS", count );        
        
    }
 
    Constant * c = _environment->constants;
    while( c ) {
        if ( c->valueString ) {
            int len = strlen( c->valueString->value );
            out2("%s: db %d,", c->realName, len);
            int i=0;
            for (i=0; i<(len-1); ++i ) {
                out1("0x%2.2x,", (unsigned char)c->valueString->value[i]);
            }
            outline1("0x%2.2x", (unsigned char)c->valueString->value[(len-1)]);
        }
        c = c->next;
    }
    
    for(i=0; i<BANK_TYPE_COUNT; ++i) {
        Bank * actual = _environment->banks[i];
        while( actual ) {
            if ( actual->type == BT_VARIABLES ) {
                Variable * variable = _environment->variables;
                variable_cleanup_entry( _environment, variable );
                variable_cleanup_entry_bit( _environment, variable );
            } else if ( actual->type == BT_TEMPORARY ) {
                if ( _environment->bitmaskNeeded ) {
                    outhead0("BITMASK: db 0x01,0x02,0x04,0x08,0x10,0x20,0x40,0x80");
                    outhead0("BITMASKN: db 0xfe,0xfd,0xfb,0xf7,0xef,0xdf,0xbf,0x7f");
                }
                if ( _environment->deployed.dstring ) {
                    outhead1("max_free_string EQU 0x%4.4x", _environment->dstring.space == 0 ? DSTRING_DEFAULT_SPACE : _environment->dstring.space );
                }
 
                for( int j=0; j< (_environment->currentProcedure+1); ++j ) {
                    Variable * variable = _environment->tempVariables[j];
                    variable_cleanup_entry( _environment, variable );
                    variable_cleanup_entry_bit( _environment, variable );
                } 
 
                Variable * variable = _environment->tempResidentVariables;
 
                variable_cleanup_entry( _environment, variable );
                variable_cleanup_entry_bit( _environment, variable );
 
            } else {
 
            }
           actual = actual->next;
        }
    }    
 
    generate_cgoto_address_table( _environment );
 
    variable_on_memory_init( _environment, 1 );
 
    buffered_push_output( _environment );
 
    outline0("ORG 0x100");
    outline0("JMP CODESTART");
 
    // outhead0("SECTION code_user");
    // outhead0("ORG 0x8000");
    // outhead0("SECTION data_user");
    // outhead0("ORG 0x7030");
    // outhead0("SECTION code_user");
 
    // // DB       0AAh,055h       ;Cartridge present:  Colecovision logo
    // // outline0("DEFB 0xaa, 0x55");
    // // ;DB       055h,0AAh       ;Cartridge present:  skip logo, Colecovision logo
    // outline0("DEFB 0x55, 0xaa");
    // // DW       0000           ;Pointer to the sprite name table
    // outline0("DEFW 0x0000");
    // // DW       0000           ;Pointer to the sprite order table
    // outline0("DEFW 0x0000");
    // // DW       0000           ;Pointer to the working buffer for WR_SPR_NM_TBL
    // outline0("DEFW 0x0000");
    // // DW       CONTROLLER_BUFFER ;Pointer to the hand controller input areas
    // outline0("DEFW CONTROLLER_BUFFER");
    // // DW       START      ;Entry point to the user program
    // outline0("DEFW CODESTART");
 
    deploy_inplace_preferred( startup, src_hw_pccga_startup_asm);
    // deploy_inplace_preferred( startup2, src_hw_pccga_startup2_asm);
    // deploy_inplace_preferred( sn76489startup, src_hw_sn76489z_startup_asm );
    deploy_inplace_preferred( cgastartup, src_hw_cga_startup_asm);
 
    buffered_prepend_output( _environment );
 
    DataSegment * dataSegment = _environment->dataSegment;
    while( dataSegment ) {
        int i=0;
        if ( dataSegment->data ) {
            out1("%s: db ", dataSegment->realName );
        } else {
            outhead1("%s ", dataSegment->realName );
        }
        DataDataSegment * dataDataSegment = dataSegment->data;
        while( dataDataSegment ) {
            if ( dataSegment->type ) {
                if ( dataDataSegment->type == VT_STRING || dataDataSegment->type == VT_DSTRING ) {
                    out1("0x%2.2x,", (unsigned char)(dataDataSegment->size) );
                    out1("\"%s\"", dataDataSegment->data );
                } else {
                    for( i=0; i<(dataDataSegment->size-1); ++i ) {
                        out1("0x%2.2x,", (unsigned char)(dataDataSegment->data[i]&0xff) );
                    }
                    out1("0x%2.2x", (unsigned char)(dataDataSegment->data[i]&0xff) );
                }
            } else {
                if ( dataDataSegment->type == VT_STRING || dataDataSegment->type == VT_DSTRING ) {
                    out1("0x%2.2x,", (unsigned char)(dataDataSegment->type) );
                    out1("0x%2.2x,", (unsigned char)(dataDataSegment->size) );
                    out1("\"%s\"", dataDataSegment->data );
                } else {
                    out1("0x%2.2x,", (unsigned char)(dataDataSegment->type) );
                    for( i=0; i<(dataDataSegment->size-1); ++i ) {
                        out1("0x%2.2x,", (unsigned char)(dataDataSegment->data[i]&0xff) );
                    }
                    out1("0x%2.2x", (unsigned char)(dataDataSegment->data[i]&0xff) );
                }
            }
            dataDataSegment = dataDataSegment->next;
            if ( dataDataSegment ) {
                out0(",");
            }
        }
        outline0("");
        dataSegment = dataSegment->next;
    }
 
    if ( _environment->dataNeeded || _environment->dataSegment || _environment->deployed.read_data_unsafe ) {
        outhead0("DATAPTRE:");
    }
    
    StaticString * staticStrings = _environment->strings;
    while( staticStrings ) {
        outline3("cstring%d: db %d, %s", staticStrings->id, (int)strlen(staticStrings->value), escape_newlines( staticStrings->value ) );
        staticStrings = staticStrings->next;
    }
 
    if ( _environment->descriptors ) {
        outhead0("UDCCHAR:" );
        int i=0,j=0;
        for(i=_environment->descriptors->first;i<(_environment->descriptors->first+_environment->descriptors->count);++i) {
            outline1("; 0x%2.2x ", i);
            out0("   db " );
            for(j=0;j<7;++j) {
                out1("0x%2.2x,", ((unsigned char)_environment->descriptors->data[i].data[j]) );
            }
            outline1("0x%2.2x", ((unsigned char)_environment->descriptors->data[i].data[j]) );
        }
    } else {
        outhead0("UDCCHAR EQU $E000");
    }
 
}