Search
lxdream.org :: lxdream/src/sh4/sh4trans.c
lxdream 0.9.1
released Jun 29
Download Now
filename src/sh4/sh4trans.c
changeset 600:3b0f94d0faed
prev596:dfc0c93d882e
next617:476a717a54f3
author nkeynes
date Tue Jan 22 11:30:37 2008 +0000 (16 years ago)
permissions -rw-r--r--
last change Fix backpatching when the block moves during translation
file annotate diff log raw
nkeynes@359
     1
/**
nkeynes@586
     2
 * $Id$
nkeynes@359
     3
 * 
nkeynes@359
     4
 * SH4 translation core module. This part handles the non-target-specific
nkeynes@359
     5
 * section of the translation.
nkeynes@359
     6
 *
nkeynes@359
     7
 * Copyright (c) 2005 Nathan Keynes.
nkeynes@359
     8
 *
nkeynes@359
     9
 * This program is free software; you can redistribute it and/or modify
nkeynes@359
    10
 * it under the terms of the GNU General Public License as published by
nkeynes@359
    11
 * the Free Software Foundation; either version 2 of the License, or
nkeynes@359
    12
 * (at your option) any later version.
nkeynes@359
    13
 *
nkeynes@359
    14
 * This program is distributed in the hope that it will be useful,
nkeynes@359
    15
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
nkeynes@359
    16
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
nkeynes@359
    17
 * GNU General Public License for more details.
nkeynes@359
    18
 */
nkeynes@398
    19
#include <assert.h>
nkeynes@586
    20
#include <setjmp.h>
nkeynes@430
    21
#include "eventq.h"
nkeynes@430
    22
#include "syscall.h"
nkeynes@586
    23
#include "clock.h"
nkeynes@430
    24
#include "sh4/sh4core.h"
nkeynes@430
    25
#include "sh4/sh4trans.h"
nkeynes@430
    26
#include "sh4/xltcache.h"
nkeynes@359
    27
nkeynes@586
    28
nkeynes@586
    29
static jmp_buf xlat_jmp_buf;
nkeynes@586
    30
static gboolean xlat_running = FALSE;
nkeynes@586
    31
nkeynes@586
    32
gboolean sh4_xlat_is_running()
nkeynes@586
    33
{
nkeynes@586
    34
    return xlat_running;
nkeynes@586
    35
}
nkeynes@586
    36
nkeynes@359
    37
/**
nkeynes@359
    38
 * Execute a timeslice using translated code only (ie translate/execute loop)
nkeynes@359
    39
 */
nkeynes@359
    40
uint32_t sh4_xlat_run_slice( uint32_t nanosecs ) 
nkeynes@359
    41
{
nkeynes@359
    42
    sh4r.slice_cycle = 0;
nkeynes@359
    43
nkeynes@359
    44
    if( sh4r.sh4_state != SH4_STATE_RUNNING ) {
nkeynes@359
    45
	if( sh4r.event_pending < nanosecs ) {
nkeynes@359
    46
	    sh4r.sh4_state = SH4_STATE_RUNNING;
nkeynes@359
    47
	    sh4r.slice_cycle = sh4r.event_pending;
nkeynes@359
    48
	}
nkeynes@359
    49
    }
nkeynes@359
    50
nkeynes@586
    51
    switch( setjmp(xlat_jmp_buf) ) {
nkeynes@586
    52
    case XLAT_EXIT_BREAKPOINT:
nkeynes@586
    53
	sh4_clear_breakpoint( sh4r.pc, BREAK_ONESHOT );
nkeynes@586
    54
	/* fallthrough */
nkeynes@586
    55
    case XLAT_EXIT_HALT:
nkeynes@586
    56
	if( sh4r.sh4_state != SH4_STATE_STANDBY ) {
nkeynes@586
    57
	    TMU_run_slice( sh4r.slice_cycle );
nkeynes@586
    58
	    SCIF_run_slice( sh4r.slice_cycle );
nkeynes@586
    59
	    dreamcast_stop();
nkeynes@586
    60
	    return sh4r.slice_cycle;
nkeynes@586
    61
	}
nkeynes@586
    62
    case XLAT_EXIT_SYSRESET:
nkeynes@586
    63
	dreamcast_reset();
nkeynes@586
    64
	break;
nkeynes@586
    65
    }
nkeynes@586
    66
    
nkeynes@586
    67
    xlat_running = TRUE;
nkeynes@408
    68
    void * (*code)() = NULL;
nkeynes@368
    69
    while( sh4r.slice_cycle < nanosecs ) {
nkeynes@408
    70
	if( sh4r.event_pending <= sh4r.slice_cycle ) {
nkeynes@359
    71
	    if( sh4r.event_types & PENDING_EVENT ) {
nkeynes@359
    72
		event_execute();
nkeynes@359
    73
	    }
nkeynes@359
    74
	    /* Eventq execute may (quite likely) deliver an immediate IRQ */
nkeynes@359
    75
	    if( sh4r.event_types & PENDING_IRQ ) {
nkeynes@359
    76
		sh4_accept_interrupt();
nkeynes@408
    77
		code = NULL;
nkeynes@359
    78
	    }
nkeynes@359
    79
	}
nkeynes@408
    80
	
nkeynes@417
    81
	if( code == NULL ) {
nkeynes@408
    82
	    if( sh4r.pc > 0xFFFFFF00 ) {
nkeynes@408
    83
		syscall_invoke( sh4r.pc );
nkeynes@408
    84
		sh4r.in_delay_slot = 0;
nkeynes@408
    85
		sh4r.pc = sh4r.pr;
nkeynes@408
    86
	    }
nkeynes@359
    87
nkeynes@586
    88
	    code = xlat_get_code_by_vma( sh4r.pc );
nkeynes@408
    89
	    if( code == NULL ) {
nkeynes@408
    90
		code = sh4_translate_basic_block( sh4r.pc );
nkeynes@408
    91
	    }
nkeynes@390
    92
	}
nkeynes@596
    93
	uint32_t oldpc = sh4r.pc;
nkeynes@417
    94
	code = code();
nkeynes@359
    95
    }
nkeynes@359
    96
nkeynes@586
    97
    xlat_running = FALSE;
nkeynes@591
    98
    sh4_starting = FALSE;
nkeynes@586
    99
nkeynes@359
   100
    if( sh4r.sh4_state != SH4_STATE_STANDBY ) {
nkeynes@359
   101
	TMU_run_slice( nanosecs );
nkeynes@359
   102
	SCIF_run_slice( nanosecs );
nkeynes@359
   103
    }
nkeynes@359
   104
    return nanosecs;
nkeynes@359
   105
}
nkeynes@359
   106
nkeynes@359
   107
uint8_t *xlat_output;
nkeynes@596
   108
xlat_cache_block_t xlat_current_block;
nkeynes@586
   109
struct xlat_recovery_record xlat_recovery[MAX_RECOVERY_SIZE];
nkeynes@586
   110
uint32_t xlat_recovery_posn;
nkeynes@359
   111
nkeynes@596
   112
void sh4_translate_add_recovery( uint32_t icount )
nkeynes@596
   113
{
nkeynes@596
   114
    xlat_recovery[xlat_recovery_posn].xlat_offset = 
nkeynes@596
   115
	((uintptr_t)xlat_output) - ((uintptr_t)xlat_current_block->code);
nkeynes@596
   116
    xlat_recovery[xlat_recovery_posn].sh4_icount = icount;
nkeynes@596
   117
    xlat_recovery_posn++;
nkeynes@596
   118
}
nkeynes@596
   119
nkeynes@359
   120
/**
nkeynes@359
   121
 * Translate a linear basic block, ie all instructions from the start address
nkeynes@359
   122
 * (inclusive) until the next branch/jump instruction or the end of the page
nkeynes@359
   123
 * is reached.
nkeynes@359
   124
 * @return the address of the translated block
nkeynes@359
   125
 * eg due to lack of buffer space.
nkeynes@359
   126
 */
nkeynes@359
   127
void * sh4_translate_basic_block( sh4addr_t start )
nkeynes@359
   128
{
nkeynes@408
   129
    sh4addr_t pc = start;
nkeynes@410
   130
    sh4addr_t lastpc = (pc&0xFFFFF000)+0x1000;
nkeynes@586
   131
    int done, i;
nkeynes@596
   132
    xlat_current_block = xlat_start_block( start );
nkeynes@596
   133
    xlat_output = (uint8_t *)xlat_current_block->code;
nkeynes@586
   134
    xlat_recovery_posn = 0;
nkeynes@596
   135
    uint8_t *eob = xlat_output + xlat_current_block->size;
nkeynes@588
   136
nkeynes@588
   137
    if( GET_ICACHE_END() < lastpc ) {
nkeynes@588
   138
	lastpc = GET_ICACHE_END();
nkeynes@588
   139
    }
nkeynes@588
   140
nkeynes@408
   141
    sh4_translate_begin_block(pc);
nkeynes@359
   142
nkeynes@408
   143
    do {
nkeynes@586
   144
	/* check for breakpoints at this pc */
nkeynes@586
   145
	for( i=0; i<sh4_breakpoint_count; i++ ) {
nkeynes@586
   146
	    if( sh4_breakpoints[i].address == pc ) {
nkeynes@586
   147
		sh4_translate_emit_breakpoint(pc);
nkeynes@586
   148
		break;
nkeynes@586
   149
	    }
nkeynes@586
   150
	}
nkeynes@359
   151
	if( eob - xlat_output < MAX_INSTRUCTION_SIZE ) {
nkeynes@596
   152
	    uint8_t *oldstart = xlat_current_block->code;
nkeynes@596
   153
	    xlat_current_block = xlat_extend_block( xlat_output - oldstart + MAX_INSTRUCTION_SIZE );
nkeynes@596
   154
	    xlat_output = xlat_current_block->code + (xlat_output - oldstart);
nkeynes@596
   155
	    eob = xlat_current_block->code + xlat_current_block->size;
nkeynes@359
   156
	}
nkeynes@527
   157
	done = sh4_translate_instruction( pc ); 
nkeynes@410
   158
	assert( xlat_output <= eob );
nkeynes@359
   159
	pc += 2;
nkeynes@410
   160
	if ( pc >= lastpc ) {
nkeynes@410
   161
	    done = 2;
nkeynes@410
   162
	}
nkeynes@408
   163
    } while( !done );
nkeynes@408
   164
    pc += (done - 2);
nkeynes@593
   165
    int epilogue_size = sh4_translate_end_block_size();
nkeynes@593
   166
    uint32_t recovery_size = sizeof(struct xlat_recovery_record)*xlat_recovery_posn;
nkeynes@596
   167
    uint32_t finalsize = xlat_output - xlat_current_block->code + epilogue_size + recovery_size;
nkeynes@593
   168
    if( eob - xlat_output < finalsize ) {
nkeynes@596
   169
	uint8_t *oldstart = xlat_current_block->code;
nkeynes@596
   170
	xlat_current_block = xlat_extend_block( finalsize );
nkeynes@596
   171
	xlat_output = xlat_current_block->code + (xlat_output - oldstart);
nkeynes@410
   172
    }	
nkeynes@368
   173
    sh4_translate_end_block(pc);
nkeynes@586
   174
nkeynes@586
   175
    /* Write the recovery records onto the end of the code block */
nkeynes@586
   176
    memcpy( xlat_output, xlat_recovery, recovery_size);
nkeynes@596
   177
    xlat_current_block->recover_table_offset = xlat_output - (uint8_t *)xlat_current_block->code;
nkeynes@596
   178
    xlat_current_block->recover_table_size = xlat_recovery_posn;
nkeynes@586
   179
    xlat_commit_block( finalsize, pc-start );
nkeynes@596
   180
    return xlat_current_block->code;
nkeynes@359
   181
}
nkeynes@359
   182
nkeynes@398
   183
/**
nkeynes@586
   184
 * "Execute" the supplied recovery record. Currently this only updates
nkeynes@586
   185
 * sh4r.pc and sh4r.slice_cycle according to the currently executing
nkeynes@586
   186
 * instruction. In future this may be more sophisticated (ie will
nkeynes@586
   187
 * call into generated code).
nkeynes@398
   188
 */
nkeynes@586
   189
void sh4_translate_run_recovery( xlat_recovery_record_t recovery )
nkeynes@398
   190
{
nkeynes@586
   191
    sh4r.slice_cycle += (recovery->sh4_icount * sh4_cpu_period);
nkeynes@586
   192
    sh4r.pc += (recovery->sh4_icount<<1);
nkeynes@586
   193
}
nkeynes@359
   194
nkeynes@586
   195
void sh4_translate_unwind_stack( gboolean abort_after, unwind_thunk_t thunk )
nkeynes@586
   196
{
nkeynes@586
   197
    void *pc = xlat_get_native_pc();
nkeynes@398
   198
nkeynes@586
   199
    assert( pc != NULL );
nkeynes@586
   200
    void *code = xlat_get_code( sh4r.pc );
nkeynes@586
   201
    xlat_recovery_record_t recover = xlat_get_recovery(code, pc, TRUE);
nkeynes@586
   202
    if( recover != NULL ) {
nkeynes@586
   203
	// Can be null if there is no recovery necessary
nkeynes@586
   204
	sh4_translate_run_recovery(recover);
nkeynes@586
   205
    }
nkeynes@586
   206
    if( thunk != NULL ) {
nkeynes@586
   207
	thunk();
nkeynes@586
   208
    }
nkeynes@586
   209
    // finally longjmp back into sh4_xlat_run_slice
nkeynes@586
   210
    xlat_running = FALSE;
nkeynes@586
   211
    longjmp(xlat_jmp_buf, XLAT_EXIT_CONTINUE);
nkeynes@586
   212
} 
nkeynes@398
   213
nkeynes@586
   214
void sh4_translate_exit( int exit_code )
nkeynes@586
   215
{
nkeynes@586
   216
    void *pc = xlat_get_native_pc();
nkeynes@586
   217
    if( pc != NULL ) {
nkeynes@586
   218
	// could be null if we're not actually running inside the translator
nkeynes@586
   219
	void *code = xlat_get_code( sh4r.pc );
nkeynes@586
   220
	xlat_recovery_record_t recover = xlat_get_recovery(code, pc, TRUE);
nkeynes@586
   221
	if( recover != NULL ) {
nkeynes@586
   222
	    // Can be null if there is no recovery necessary
nkeynes@586
   223
	    sh4_translate_run_recovery(recover);
nkeynes@586
   224
	}
nkeynes@398
   225
    }
nkeynes@586
   226
    // finally longjmp back into sh4_xlat_run_slice
nkeynes@586
   227
    xlat_running = FALSE;
nkeynes@586
   228
    longjmp(xlat_jmp_buf, exit_code);
nkeynes@586
   229
}
nkeynes@398
   230
nkeynes@591
   231
void sh4_translate_breakpoint_hit(uint32_t pc)
nkeynes@591
   232
{
nkeynes@591
   233
    if( sh4_starting && sh4r.slice_cycle == 0 && pc == sh4r.pc ) {
nkeynes@591
   234
	return;
nkeynes@591
   235
    }
nkeynes@591
   236
    sh4_translate_exit( XLAT_EXIT_BREAKPOINT );
nkeynes@591
   237
}
nkeynes@591
   238
nkeynes@586
   239
/**
nkeynes@586
   240
 * Exit the current block at the end of the current instruction, flush the
nkeynes@586
   241
 * translation cache (completely) and return control to sh4_xlat_run_slice.
nkeynes@586
   242
 *
nkeynes@586
   243
 * As a special case, if the current instruction is actually the last 
nkeynes@586
   244
 * instruction in the block (ie it's in a delay slot), this function 
nkeynes@586
   245
 * returns to allow normal completion of the translation block. Otherwise
nkeynes@586
   246
 * this function never returns.
nkeynes@586
   247
 *
nkeynes@586
   248
 * Must only be invoked (indirectly) from within translated code.
nkeynes@586
   249
 */
nkeynes@586
   250
void sh4_translate_flush_cache()
nkeynes@586
   251
{
nkeynes@586
   252
    void *pc = xlat_get_native_pc();
nkeynes@586
   253
    assert( pc != NULL );
nkeynes@586
   254
nkeynes@586
   255
    void *code = xlat_get_code( sh4r.pc );
nkeynes@586
   256
    xlat_recovery_record_t recover = xlat_get_recovery(code, pc, TRUE);
nkeynes@586
   257
    if( recover != NULL ) {
nkeynes@586
   258
	// Can be null if there is no recovery necessary
nkeynes@586
   259
	sh4_translate_run_recovery(recover);
nkeynes@586
   260
	xlat_flush_cache();
nkeynes@586
   261
	xlat_running = FALSE;
nkeynes@586
   262
	longjmp(xlat_jmp_buf, XLAT_EXIT_CONTINUE);
nkeynes@586
   263
    } else {
nkeynes@586
   264
	xlat_flush_cache();
nkeynes@586
   265
	return;
nkeynes@586
   266
    }
nkeynes@398
   267
}
nkeynes@586
   268
nkeynes@586
   269
void *xlat_get_code_by_vma( sh4vma_t vma )
nkeynes@586
   270
{
nkeynes@586
   271
    void *result = NULL;
nkeynes@586
   272
nkeynes@588
   273
    if( IS_IN_ICACHE(vma) ) {
nkeynes@600
   274
	return xlat_get_code( GET_ICACHE_PHYS(vma) );
nkeynes@586
   275
    }
nkeynes@586
   276
nkeynes@588
   277
    if( vma > 0xFFFFFF00 ) {
nkeynes@588
   278
	// lxdream hook
nkeynes@588
   279
	return NULL;
nkeynes@588
   280
    }
nkeynes@588
   281
nkeynes@588
   282
    if( !mmu_update_icache(vma) ) {
nkeynes@588
   283
	// fault - off to the fault handler
nkeynes@588
   284
	if( !mmu_update_icache(sh4r.pc) ) {
nkeynes@588
   285
	    // double fault - halt
nkeynes@588
   286
	    ERROR( "Double fault - halting" );
nkeynes@588
   287
	    dreamcast_stop();
nkeynes@588
   288
	    return NULL;
nkeynes@588
   289
	}
nkeynes@588
   290
    }
nkeynes@588
   291
nkeynes@588
   292
    assert( IS_IN_ICACHE(sh4r.pc) );
nkeynes@588
   293
    result = xlat_get_code( GET_ICACHE_PHYS(sh4r.pc) );
nkeynes@586
   294
    return result;
nkeynes@586
   295
}
nkeynes@586
   296
.