filename | src/xlat/xltcache.h |
changeset | 1091:186558374345 |
prev | 991:60c7fab9c880 |
next | 1149:da6124fceec6 |
author | nkeynes |
date | Tue Dec 15 08:46:37 2009 +1000 (13 years ago) |
permissions | -rw-r--r-- |
last change | Add side-by-side x86+sh4 disassembly output Print SH4 state information and disassembly of the current block when crashing. Fix delay slot instruction in conditional branch not being marked as a delay-slot instruction in the branch-not-taken path. Rename REG_* defines in cpu.h to avoid conflict with translation defs |
file | annotate | diff | log | raw |
nkeynes@991 | 1 | /** |
nkeynes@991 | 2 | * $Id$ |
nkeynes@991 | 3 | * |
nkeynes@991 | 4 | * Translation cache support (architecture independent) |
nkeynes@991 | 5 | * |
nkeynes@991 | 6 | * Copyright (c) 2005 Nathan Keynes. |
nkeynes@991 | 7 | * |
nkeynes@991 | 8 | * This program is free software; you can redistribute it and/or modify |
nkeynes@991 | 9 | * it under the terms of the GNU General Public License as published by |
nkeynes@991 | 10 | * the Free Software Foundation; either version 2 of the License, or |
nkeynes@991 | 11 | * (at your option) any later version. |
nkeynes@991 | 12 | * |
nkeynes@991 | 13 | * This program is distributed in the hope that it will be useful, |
nkeynes@991 | 14 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
nkeynes@991 | 15 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
nkeynes@991 | 16 | * GNU General Public License for more details. |
nkeynes@991 | 17 | */ |
nkeynes@991 | 18 | |
nkeynes@991 | 19 | #include "dream.h" |
nkeynes@991 | 20 | #include "mem.h" |
nkeynes@991 | 21 | |
nkeynes@991 | 22 | #ifndef lxdream_xltcache_H |
nkeynes@991 | 23 | #define lxdream_xltcache_H 1 |
nkeynes@991 | 24 | |
nkeynes@991 | 25 | /** |
nkeynes@991 | 26 | * For now, recovery is purely a matter of mapping native pc => sh4 pc, |
nkeynes@991 | 27 | * and updating sh4r.pc & sh4r.slice_cycles accordingly. In future more |
nkeynes@991 | 28 | * detailed recovery may be required if the translator optimizes more |
nkeynes@991 | 29 | * agressively. |
nkeynes@991 | 30 | * |
nkeynes@991 | 31 | * The recovery table contains (at least) one entry per abortable instruction, |
nkeynes@991 | 32 | * |
nkeynes@991 | 33 | */ |
nkeynes@991 | 34 | typedef struct xlat_recovery_record { |
nkeynes@991 | 35 | uint32_t xlat_offset; // native (translated) pc |
nkeynes@991 | 36 | uint32_t sh4_icount; // instruction number of the corresponding SH4 instruction |
nkeynes@991 | 37 | // (0 = first instruction, 1 = second instruction, ... ) |
nkeynes@991 | 38 | } *xlat_recovery_record_t; |
nkeynes@991 | 39 | |
nkeynes@991 | 40 | struct xlat_cache_block { |
nkeynes@991 | 41 | int active; /* 0 = deleted, 1 = normal. 2 = accessed (temp-space only) */ |
nkeynes@991 | 42 | uint32_t size; |
nkeynes@991 | 43 | void **lut_entry; /* For deletion */ |
nkeynes@991 | 44 | uint32_t xlat_sh4_mode; /* comparison with sh4r.xlat_sh4_mode */ |
nkeynes@991 | 45 | uint32_t recover_table_offset; // Offset from code[0] of the recovery table; |
nkeynes@991 | 46 | uint32_t recover_table_size; |
nkeynes@991 | 47 | unsigned char code[0]; |
nkeynes@991 | 48 | } __attribute__((packed)); |
nkeynes@991 | 49 | |
nkeynes@991 | 50 | typedef struct xlat_cache_block *xlat_cache_block_t; |
nkeynes@991 | 51 | |
nkeynes@991 | 52 | #define XLAT_BLOCK_FOR_CODE(code) (((xlat_cache_block_t)code)-1) |
nkeynes@991 | 53 | |
nkeynes@1091 | 54 | #define XLAT_BLOCK_MODE(code) (XLAT_BLOCK_FOR_CODE(code)->xlat_sh4_mode) |
nkeynes@1091 | 55 | #define XLAT_RECOVERY_TABLE(code) ((xlat_recovery_record_t)(((char *)code) + XLAT_BLOCK_FOR_CODE(code)->recover_table_offset)) |
nkeynes@991 | 56 | |
nkeynes@991 | 57 | /** |
nkeynes@991 | 58 | * Initialize the translation cache |
nkeynes@991 | 59 | */ |
nkeynes@991 | 60 | void xlat_cache_init(void); |
nkeynes@991 | 61 | |
nkeynes@991 | 62 | /** |
nkeynes@991 | 63 | * Returns the next block in the new cache list that can be written to by the |
nkeynes@991 | 64 | * translator. |
nkeynes@991 | 65 | */ |
nkeynes@991 | 66 | xlat_cache_block_t xlat_start_block(sh4addr_t address); |
nkeynes@991 | 67 | |
nkeynes@991 | 68 | /** |
nkeynes@991 | 69 | * Increases the current block size (only valid between calls to xlat_start_block() |
nkeynes@991 | 70 | * and xlat_commit_block()). |
nkeynes@991 | 71 | * @return the new block, which may be different from the old block. |
nkeynes@991 | 72 | */ |
nkeynes@991 | 73 | xlat_cache_block_t xlat_extend_block( uint32_t newSize ); |
nkeynes@991 | 74 | |
nkeynes@991 | 75 | /** |
nkeynes@991 | 76 | * Commit the current translation block |
nkeynes@991 | 77 | * @param addr target address (for the lookup table) |
nkeynes@991 | 78 | * @param destsize final size of the translation in bytes. |
nkeynes@991 | 79 | * @param srcsize size of the original data that was translated in bytes |
nkeynes@991 | 80 | */ |
nkeynes@991 | 81 | void xlat_commit_block( uint32_t destsize, uint32_t srcsize ); |
nkeynes@991 | 82 | |
nkeynes@991 | 83 | /** |
nkeynes@991 | 84 | * Dump the disassembly of the specified code block to a stream |
nkeynes@991 | 85 | * (primarily for debugging purposes) |
nkeynes@991 | 86 | * @param out The stream to write the output to |
nkeynes@991 | 87 | * @param code a translated block |
nkeynes@991 | 88 | */ |
nkeynes@991 | 89 | void xlat_disasm_block( FILE *out, void *code ); |
nkeynes@991 | 90 | |
nkeynes@991 | 91 | |
nkeynes@991 | 92 | /** |
nkeynes@991 | 93 | * Delete (deactivate) the specified block from the cache. Caller is responsible |
nkeynes@991 | 94 | * for ensuring that there really is a block there. |
nkeynes@991 | 95 | */ |
nkeynes@991 | 96 | void xlat_delete_block( xlat_cache_block_t block ); |
nkeynes@991 | 97 | |
nkeynes@991 | 98 | /** |
nkeynes@991 | 99 | * Retrieve the entry point for the translated code corresponding to the given |
nkeynes@991 | 100 | * SH4 address, or NULL if there is no code for that address. |
nkeynes@991 | 101 | */ |
nkeynes@991 | 102 | void * FASTCALL xlat_get_code( sh4addr_t address ); |
nkeynes@991 | 103 | |
nkeynes@991 | 104 | /** |
nkeynes@991 | 105 | * Retrieve the pre-instruction recovery record corresponding to the given |
nkeynes@991 | 106 | * native address, or NULL if there is no recovery code for the address. |
nkeynes@991 | 107 | * @param code The code block containing the recovery table. |
nkeynes@991 | 108 | * @param native_pc A pointer that must be within the currently executing |
nkeynes@991 | 109 | * return the first record before or equal to the given pc. |
nkeynes@991 | 110 | * translation block. |
nkeynes@991 | 111 | */ |
nkeynes@991 | 112 | struct xlat_recovery_record *xlat_get_pre_recovery( void *code, void *native_pc ); |
nkeynes@991 | 113 | |
nkeynes@991 | 114 | |
nkeynes@991 | 115 | /** |
nkeynes@991 | 116 | * Retrieve the entry point for the translated code corresponding to the given |
nkeynes@991 | 117 | * SH4 virtual address, or NULL if there is no code for the address. |
nkeynes@991 | 118 | * If the virtual address cannot be resolved, this method will raise a TLB miss |
nkeynes@991 | 119 | * exception, and return NULL. |
nkeynes@991 | 120 | */ |
nkeynes@991 | 121 | void * FASTCALL xlat_get_code_by_vma( sh4vma_t address ); |
nkeynes@991 | 122 | |
nkeynes@991 | 123 | /** |
nkeynes@991 | 124 | * Retrieve the address of the lookup table entry corresponding to the |
nkeynes@991 | 125 | * given SH4 address. |
nkeynes@991 | 126 | */ |
nkeynes@991 | 127 | void ** FASTCALL xlat_get_lut_entry( sh4addr_t address ); |
nkeynes@991 | 128 | |
nkeynes@991 | 129 | /** |
nkeynes@991 | 130 | * Retrieve the current host address of the running translated code block. |
nkeynes@991 | 131 | * @return the host PC, or null if there is no currently executing translated |
nkeynes@991 | 132 | * block (or the stack is corrupted) |
nkeynes@991 | 133 | * Note: the implementation of this method is host (and calling-convention) specific. |
nkeynes@991 | 134 | * @param block_start start of the block the PC should be in |
nkeynes@991 | 135 | * @param block_size size of the code block in bytes. |
nkeynes@991 | 136 | */ |
nkeynes@991 | 137 | void *xlat_get_native_pc( void *block_start, uint32_t block_size ); |
nkeynes@991 | 138 | |
nkeynes@991 | 139 | /** |
nkeynes@991 | 140 | * Retrieve the size of the block starting at the specified pointer. If the |
nkeynes@991 | 141 | * pointer is not a valid code block, the return value is undefined. |
nkeynes@991 | 142 | */ |
nkeynes@991 | 143 | uint32_t FASTCALL xlat_get_block_size( void *ptr ); |
nkeynes@991 | 144 | |
nkeynes@991 | 145 | /** |
nkeynes@991 | 146 | * Retrieve the size of the code in the block starting at the specified |
nkeynes@991 | 147 | * pointer. Effectively this is xlat_get_block_size() minus the size of |
nkeynes@991 | 148 | * the recovery table. If the pointer is not a valid code block, the |
nkeynes@991 | 149 | * return value is undefined. |
nkeynes@991 | 150 | */ |
nkeynes@991 | 151 | uint32_t FASTCALL xlat_get_code_size( void *ptr ); |
nkeynes@991 | 152 | |
nkeynes@991 | 153 | /** |
nkeynes@991 | 154 | * Flush the code cache for the page containing the given address |
nkeynes@991 | 155 | */ |
nkeynes@991 | 156 | void FASTCALL xlat_flush_page( sh4addr_t address ); |
nkeynes@991 | 157 | |
nkeynes@991 | 158 | void FASTCALL xlat_invalidate_word( sh4addr_t address ); |
nkeynes@991 | 159 | void FASTCALL xlat_invalidate_long( sh4addr_t address ); |
nkeynes@991 | 160 | |
nkeynes@991 | 161 | |
nkeynes@991 | 162 | /** |
nkeynes@991 | 163 | * Invalidate the code cache for a memory region |
nkeynes@991 | 164 | */ |
nkeynes@991 | 165 | void FASTCALL xlat_invalidate_block( sh4addr_t address, size_t bytes ); |
nkeynes@991 | 166 | |
nkeynes@991 | 167 | /** |
nkeynes@991 | 168 | * Flush the entire code cache. This isn't as cheap as one might like |
nkeynes@991 | 169 | */ |
nkeynes@991 | 170 | void xlat_flush_cache(); |
nkeynes@991 | 171 | |
nkeynes@991 | 172 | /** |
nkeynes@1091 | 173 | * Test if the given pointer is within the translation cache, and (is likely) |
nkeynes@1091 | 174 | * the start of a code block |
nkeynes@1091 | 175 | */ |
nkeynes@1091 | 176 | gboolean xlat_is_code_pointer( void *p ); |
nkeynes@1091 | 177 | |
nkeynes@1091 | 178 | /** |
nkeynes@991 | 179 | * Check the internal integrity of the cache |
nkeynes@991 | 180 | */ |
nkeynes@991 | 181 | void xlat_check_integrity(); |
nkeynes@991 | 182 | |
nkeynes@991 | 183 | #endif /* lxdream_xltcache_H */ |
.