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@617 | 45 | sh4_sleep_run_slice(nanosecs);
|
nkeynes@359 | 46 | }
|
nkeynes@359 | 47 |
|
nkeynes@586 | 48 | switch( setjmp(xlat_jmp_buf) ) {
|
nkeynes@586 | 49 | case XLAT_EXIT_BREAKPOINT:
|
nkeynes@586 | 50 | sh4_clear_breakpoint( sh4r.pc, BREAK_ONESHOT );
|
nkeynes@586 | 51 | /* fallthrough */
|
nkeynes@586 | 52 | case XLAT_EXIT_HALT:
|
nkeynes@586 | 53 | if( sh4r.sh4_state != SH4_STATE_STANDBY ) {
|
nkeynes@586 | 54 | TMU_run_slice( sh4r.slice_cycle );
|
nkeynes@586 | 55 | SCIF_run_slice( sh4r.slice_cycle );
|
nkeynes@586 | 56 | dreamcast_stop();
|
nkeynes@586 | 57 | return sh4r.slice_cycle;
|
nkeynes@586 | 58 | }
|
nkeynes@586 | 59 | case XLAT_EXIT_SYSRESET:
|
nkeynes@586 | 60 | dreamcast_reset();
|
nkeynes@586 | 61 | break;
|
nkeynes@617 | 62 | case XLAT_EXIT_SLEEP:
|
nkeynes@617 | 63 | sh4_sleep_run_slice(nanosecs);
|
nkeynes@617 | 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@617 | 165 |
|
nkeynes@617 | 166 | // Add end-of-block recovery for post-instruction checks
|
nkeynes@617 | 167 | sh4_translate_add_recovery( (pc - start)>>1 );
|
nkeynes@617 | 168 |
|
nkeynes@593 | 169 | int epilogue_size = sh4_translate_end_block_size();
|
nkeynes@593 | 170 | uint32_t recovery_size = sizeof(struct xlat_recovery_record)*xlat_recovery_posn;
|
nkeynes@596 | 171 | uint32_t finalsize = xlat_output - xlat_current_block->code + epilogue_size + recovery_size;
|
nkeynes@593 | 172 | if( eob - xlat_output < finalsize ) {
|
nkeynes@596 | 173 | uint8_t *oldstart = xlat_current_block->code;
|
nkeynes@596 | 174 | xlat_current_block = xlat_extend_block( finalsize );
|
nkeynes@596 | 175 | xlat_output = xlat_current_block->code + (xlat_output - oldstart);
|
nkeynes@410 | 176 | }
|
nkeynes@368 | 177 | sh4_translate_end_block(pc);
|
nkeynes@586 | 178 |
|
nkeynes@586 | 179 | /* Write the recovery records onto the end of the code block */
|
nkeynes@586 | 180 | memcpy( xlat_output, xlat_recovery, recovery_size);
|
nkeynes@596 | 181 | xlat_current_block->recover_table_offset = xlat_output - (uint8_t *)xlat_current_block->code;
|
nkeynes@596 | 182 | xlat_current_block->recover_table_size = xlat_recovery_posn;
|
nkeynes@586 | 183 | xlat_commit_block( finalsize, pc-start );
|
nkeynes@596 | 184 | return xlat_current_block->code;
|
nkeynes@359 | 185 | }
|
nkeynes@359 | 186 |
|
nkeynes@398 | 187 | /**
|
nkeynes@586 | 188 | * "Execute" the supplied recovery record. Currently this only updates
|
nkeynes@586 | 189 | * sh4r.pc and sh4r.slice_cycle according to the currently executing
|
nkeynes@586 | 190 | * instruction. In future this may be more sophisticated (ie will
|
nkeynes@586 | 191 | * call into generated code).
|
nkeynes@398 | 192 | */
|
nkeynes@586 | 193 | void sh4_translate_run_recovery( xlat_recovery_record_t recovery )
|
nkeynes@398 | 194 | {
|
nkeynes@586 | 195 | sh4r.slice_cycle += (recovery->sh4_icount * sh4_cpu_period);
|
nkeynes@586 | 196 | sh4r.pc += (recovery->sh4_icount<<1);
|
nkeynes@586 | 197 | }
|
nkeynes@359 | 198 |
|
nkeynes@586 | 199 | void sh4_translate_unwind_stack( gboolean abort_after, unwind_thunk_t thunk )
|
nkeynes@586 | 200 | {
|
nkeynes@586 | 201 | void *pc = xlat_get_native_pc();
|
nkeynes@398 | 202 |
|
nkeynes@586 | 203 | assert( pc != NULL );
|
nkeynes@586 | 204 | void *code = xlat_get_code( sh4r.pc );
|
nkeynes@586 | 205 | xlat_recovery_record_t recover = xlat_get_recovery(code, pc, TRUE);
|
nkeynes@586 | 206 | if( recover != NULL ) {
|
nkeynes@586 | 207 | // Can be null if there is no recovery necessary
|
nkeynes@586 | 208 | sh4_translate_run_recovery(recover);
|
nkeynes@586 | 209 | }
|
nkeynes@586 | 210 | if( thunk != NULL ) {
|
nkeynes@586 | 211 | thunk();
|
nkeynes@586 | 212 | }
|
nkeynes@586 | 213 | // finally longjmp back into sh4_xlat_run_slice
|
nkeynes@586 | 214 | xlat_running = FALSE;
|
nkeynes@586 | 215 | longjmp(xlat_jmp_buf, XLAT_EXIT_CONTINUE);
|
nkeynes@586 | 216 | }
|
nkeynes@398 | 217 |
|
nkeynes@586 | 218 | void sh4_translate_exit( int exit_code )
|
nkeynes@586 | 219 | {
|
nkeynes@586 | 220 | void *pc = xlat_get_native_pc();
|
nkeynes@586 | 221 | if( pc != NULL ) {
|
nkeynes@586 | 222 | // could be null if we're not actually running inside the translator
|
nkeynes@586 | 223 | void *code = xlat_get_code( sh4r.pc );
|
nkeynes@586 | 224 | xlat_recovery_record_t recover = xlat_get_recovery(code, pc, TRUE);
|
nkeynes@586 | 225 | if( recover != NULL ) {
|
nkeynes@586 | 226 | // Can be null if there is no recovery necessary
|
nkeynes@586 | 227 | sh4_translate_run_recovery(recover);
|
nkeynes@586 | 228 | }
|
nkeynes@398 | 229 | }
|
nkeynes@586 | 230 | // finally longjmp back into sh4_xlat_run_slice
|
nkeynes@586 | 231 | xlat_running = FALSE;
|
nkeynes@586 | 232 | longjmp(xlat_jmp_buf, exit_code);
|
nkeynes@586 | 233 | }
|
nkeynes@398 | 234 |
|
nkeynes@591 | 235 | void sh4_translate_breakpoint_hit(uint32_t pc)
|
nkeynes@591 | 236 | {
|
nkeynes@591 | 237 | if( sh4_starting && sh4r.slice_cycle == 0 && pc == sh4r.pc ) {
|
nkeynes@591 | 238 | return;
|
nkeynes@591 | 239 | }
|
nkeynes@591 | 240 | sh4_translate_exit( XLAT_EXIT_BREAKPOINT );
|
nkeynes@591 | 241 | }
|
nkeynes@591 | 242 |
|
nkeynes@586 | 243 | /**
|
nkeynes@586 | 244 | * Exit the current block at the end of the current instruction, flush the
|
nkeynes@586 | 245 | * translation cache (completely) and return control to sh4_xlat_run_slice.
|
nkeynes@586 | 246 | *
|
nkeynes@586 | 247 | * As a special case, if the current instruction is actually the last
|
nkeynes@586 | 248 | * instruction in the block (ie it's in a delay slot), this function
|
nkeynes@586 | 249 | * returns to allow normal completion of the translation block. Otherwise
|
nkeynes@586 | 250 | * this function never returns.
|
nkeynes@586 | 251 | *
|
nkeynes@586 | 252 | * Must only be invoked (indirectly) from within translated code.
|
nkeynes@586 | 253 | */
|
nkeynes@586 | 254 | void sh4_translate_flush_cache()
|
nkeynes@586 | 255 | {
|
nkeynes@586 | 256 | void *pc = xlat_get_native_pc();
|
nkeynes@586 | 257 | assert( pc != NULL );
|
nkeynes@586 | 258 |
|
nkeynes@586 | 259 | void *code = xlat_get_code( sh4r.pc );
|
nkeynes@586 | 260 | xlat_recovery_record_t recover = xlat_get_recovery(code, pc, TRUE);
|
nkeynes@586 | 261 | if( recover != NULL ) {
|
nkeynes@586 | 262 | // Can be null if there is no recovery necessary
|
nkeynes@586 | 263 | sh4_translate_run_recovery(recover);
|
nkeynes@586 | 264 | xlat_flush_cache();
|
nkeynes@586 | 265 | xlat_running = FALSE;
|
nkeynes@586 | 266 | longjmp(xlat_jmp_buf, XLAT_EXIT_CONTINUE);
|
nkeynes@586 | 267 | } else {
|
nkeynes@586 | 268 | xlat_flush_cache();
|
nkeynes@586 | 269 | return;
|
nkeynes@586 | 270 | }
|
nkeynes@398 | 271 | }
|
nkeynes@586 | 272 |
|
nkeynes@586 | 273 | void *xlat_get_code_by_vma( sh4vma_t vma )
|
nkeynes@586 | 274 | {
|
nkeynes@586 | 275 | void *result = NULL;
|
nkeynes@586 | 276 |
|
nkeynes@588 | 277 | if( IS_IN_ICACHE(vma) ) {
|
nkeynes@600 | 278 | return xlat_get_code( GET_ICACHE_PHYS(vma) );
|
nkeynes@586 | 279 | }
|
nkeynes@586 | 280 |
|
nkeynes@588 | 281 | if( vma > 0xFFFFFF00 ) {
|
nkeynes@588 | 282 | // lxdream hook
|
nkeynes@588 | 283 | return NULL;
|
nkeynes@588 | 284 | }
|
nkeynes@588 | 285 |
|
nkeynes@588 | 286 | if( !mmu_update_icache(vma) ) {
|
nkeynes@588 | 287 | // fault - off to the fault handler
|
nkeynes@588 | 288 | if( !mmu_update_icache(sh4r.pc) ) {
|
nkeynes@588 | 289 | // double fault - halt
|
nkeynes@588 | 290 | ERROR( "Double fault - halting" );
|
nkeynes@588 | 291 | dreamcast_stop();
|
nkeynes@588 | 292 | return NULL;
|
nkeynes@588 | 293 | }
|
nkeynes@588 | 294 | }
|
nkeynes@588 | 295 |
|
nkeynes@588 | 296 | assert( IS_IN_ICACHE(sh4r.pc) );
|
nkeynes@588 | 297 | result = xlat_get_code( GET_ICACHE_PHYS(sh4r.pc) );
|
nkeynes@586 | 298 | return result;
|
nkeynes@586 | 299 | }
|
nkeynes@586 | 300 |
|