bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 1 | /* |
| 2 | * internal execution defines for qemu |
| 3 | * |
| 4 | * Copyright (c) 2003 Fabrice Bellard |
| 5 | * |
| 6 | * This library is free software; you can redistribute it and/or |
| 7 | * modify it under the terms of the GNU Lesser General Public |
| 8 | * License as published by the Free Software Foundation; either |
| 9 | * version 2 of the License, or (at your option) any later version. |
| 10 | * |
| 11 | * This library is distributed in the hope that it will be useful, |
| 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 14 | * Lesser General Public License for more details. |
| 15 | * |
| 16 | * You should have received a copy of the GNU Lesser General Public |
| 17 | * License along with this library; if not, write to the Free Software |
| 18 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| 19 | */ |
| 20 | |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 21 | /* allow to see translation results - the slowdown should be negligible, so we leave it */ |
| 22 | #define DEBUG_DISAS |
| 23 | |
bellard | 33417e7 | 2003-08-10 21:47:01 +0000 | [diff] [blame] | 24 | #ifndef glue |
| 25 | #define xglue(x, y) x ## y |
| 26 | #define glue(x, y) xglue(x, y) |
| 27 | #define stringify(s) tostring(s) |
| 28 | #define tostring(s) #s |
| 29 | #endif |
| 30 | |
| 31 | #if GCC_MAJOR < 3 |
| 32 | #define __builtin_expect(x, n) (x) |
| 33 | #endif |
| 34 | |
bellard | e2222c3 | 2003-08-10 23:39:03 +0000 | [diff] [blame] | 35 | #ifdef __i386__ |
| 36 | #define REGPARM(n) __attribute((regparm(n))) |
| 37 | #else |
| 38 | #define REGPARM(n) |
| 39 | #endif |
| 40 | |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 41 | /* is_jmp field values */ |
| 42 | #define DISAS_NEXT 0 /* next instruction can be analyzed */ |
| 43 | #define DISAS_JUMP 1 /* only pc was modified dynamically */ |
| 44 | #define DISAS_UPDATE 2 /* cpu state was modified dynamically */ |
| 45 | #define DISAS_TB_JUMP 3 /* only pc was modified statically */ |
| 46 | |
| 47 | struct TranslationBlock; |
| 48 | |
| 49 | /* XXX: make safe guess about sizes */ |
| 50 | #define MAX_OP_PER_INSTR 32 |
| 51 | #define OPC_BUF_SIZE 512 |
| 52 | #define OPC_MAX_SIZE (OPC_BUF_SIZE - MAX_OP_PER_INSTR) |
| 53 | |
| 54 | #define OPPARAM_BUF_SIZE (OPC_BUF_SIZE * 3) |
| 55 | |
| 56 | extern uint16_t gen_opc_buf[OPC_BUF_SIZE]; |
| 57 | extern uint32_t gen_opparam_buf[OPPARAM_BUF_SIZE]; |
bellard | c27004e | 2005-01-03 23:35:10 +0000 | [diff] [blame] | 58 | extern long gen_labels[OPC_BUF_SIZE]; |
| 59 | extern int nb_gen_labels; |
| 60 | extern target_ulong gen_opc_pc[OPC_BUF_SIZE]; |
| 61 | extern target_ulong gen_opc_npc[OPC_BUF_SIZE]; |
bellard | 66e85a2 | 2003-06-24 13:28:12 +0000 | [diff] [blame] | 62 | extern uint8_t gen_opc_cc_op[OPC_BUF_SIZE]; |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 63 | extern uint8_t gen_opc_instr_start[OPC_BUF_SIZE]; |
| 64 | |
bellard | 9886cc1 | 2004-01-04 23:53:54 +0000 | [diff] [blame] | 65 | typedef void (GenOpFunc)(void); |
| 66 | typedef void (GenOpFunc1)(long); |
| 67 | typedef void (GenOpFunc2)(long, long); |
| 68 | typedef void (GenOpFunc3)(long, long, long); |
| 69 | |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 70 | #if defined(TARGET_I386) |
| 71 | |
bellard | 33417e7 | 2003-08-10 21:47:01 +0000 | [diff] [blame] | 72 | void optimize_flags_init(void); |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 73 | |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 74 | #endif |
| 75 | |
| 76 | extern FILE *logfile; |
| 77 | extern int loglevel; |
| 78 | |
bellard | 4c3a88a | 2003-07-26 12:06:08 +0000 | [diff] [blame] | 79 | int gen_intermediate_code(CPUState *env, struct TranslationBlock *tb); |
| 80 | int gen_intermediate_code_pc(CPUState *env, struct TranslationBlock *tb); |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 81 | void dump_ops(const uint16_t *opc_buf, const uint32_t *opparam_buf); |
bellard | 4c3a88a | 2003-07-26 12:06:08 +0000 | [diff] [blame] | 82 | int cpu_gen_code(CPUState *env, struct TranslationBlock *tb, |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 83 | int max_code_size, int *gen_code_size_ptr); |
bellard | 66e85a2 | 2003-06-24 13:28:12 +0000 | [diff] [blame] | 84 | int cpu_restore_state(struct TranslationBlock *tb, |
bellard | 58fe2f1 | 2004-02-16 22:11:32 +0000 | [diff] [blame] | 85 | CPUState *env, unsigned long searched_pc, |
| 86 | void *puc); |
| 87 | int cpu_gen_code_copy(CPUState *env, struct TranslationBlock *tb, |
| 88 | int max_code_size, int *gen_code_size_ptr); |
| 89 | int cpu_restore_state_copy(struct TranslationBlock *tb, |
| 90 | CPUState *env, unsigned long searched_pc, |
| 91 | void *puc); |
bellard | 2e12669 | 2004-04-25 21:28:44 +0000 | [diff] [blame] | 92 | void cpu_resume_from_signal(CPUState *env1, void *puc); |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 93 | void cpu_exec_init(void); |
bellard | 2e12669 | 2004-04-25 21:28:44 +0000 | [diff] [blame] | 94 | int page_unprotect(unsigned long address, unsigned long pc, void *puc); |
| 95 | void tb_invalidate_phys_page_range(target_ulong start, target_ulong end, |
| 96 | int is_cpu_write_access); |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 97 | void tb_invalidate_page_range(target_ulong start, target_ulong end); |
bellard | 2e12669 | 2004-04-25 21:28:44 +0000 | [diff] [blame] | 98 | void tlb_flush_page(CPUState *env, target_ulong addr); |
bellard | ee8b702 | 2004-02-03 23:35:10 +0000 | [diff] [blame] | 99 | void tlb_flush(CPUState *env, int flush_global); |
bellard | 2e12669 | 2004-04-25 21:28:44 +0000 | [diff] [blame] | 100 | int tlb_set_page(CPUState *env, target_ulong vaddr, |
| 101 | target_phys_addr_t paddr, int prot, |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 102 | int is_user, int is_softmmu); |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 103 | |
| 104 | #define CODE_GEN_MAX_SIZE 65536 |
| 105 | #define CODE_GEN_ALIGN 16 /* must be >= of the size of a icache line */ |
| 106 | |
| 107 | #define CODE_GEN_HASH_BITS 15 |
| 108 | #define CODE_GEN_HASH_SIZE (1 << CODE_GEN_HASH_BITS) |
| 109 | |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 110 | #define CODE_GEN_PHYS_HASH_BITS 15 |
| 111 | #define CODE_GEN_PHYS_HASH_SIZE (1 << CODE_GEN_PHYS_HASH_BITS) |
| 112 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 113 | /* maximum total translate dcode allocated */ |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 114 | |
| 115 | /* NOTE: the translated code area cannot be too big because on some |
bellard | c4c7e3e | 2004-01-18 21:50:28 +0000 | [diff] [blame] | 116 | archs the range of "fast" function calls is limited. Here is a |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 117 | summary of the ranges: |
| 118 | |
| 119 | i386 : signed 32 bits |
| 120 | arm : signed 26 bits |
| 121 | ppc : signed 24 bits |
| 122 | sparc : signed 32 bits |
| 123 | alpha : signed 23 bits |
| 124 | */ |
| 125 | |
| 126 | #if defined(__alpha__) |
| 127 | #define CODE_GEN_BUFFER_SIZE (2 * 1024 * 1024) |
| 128 | #elif defined(__powerpc__) |
bellard | c4c7e3e | 2004-01-18 21:50:28 +0000 | [diff] [blame] | 129 | #define CODE_GEN_BUFFER_SIZE (6 * 1024 * 1024) |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 130 | #else |
| 131 | #define CODE_GEN_BUFFER_SIZE (8 * 1024 * 1024) |
| 132 | #endif |
| 133 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 134 | //#define CODE_GEN_BUFFER_SIZE (128 * 1024) |
| 135 | |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 136 | /* estimated block size for TB allocation */ |
| 137 | /* XXX: use a per code average code fragment size and modulate it |
| 138 | according to the host CPU */ |
| 139 | #if defined(CONFIG_SOFTMMU) |
| 140 | #define CODE_GEN_AVG_BLOCK_SIZE 128 |
| 141 | #else |
| 142 | #define CODE_GEN_AVG_BLOCK_SIZE 64 |
| 143 | #endif |
| 144 | |
| 145 | #define CODE_GEN_MAX_BLOCKS (CODE_GEN_BUFFER_SIZE / CODE_GEN_AVG_BLOCK_SIZE) |
| 146 | |
| 147 | #if defined(__powerpc__) |
| 148 | #define USE_DIRECT_JUMP |
| 149 | #endif |
bellard | 67b915a | 2004-03-31 23:37:16 +0000 | [diff] [blame] | 150 | #if defined(__i386__) && !defined(_WIN32) |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 151 | #define USE_DIRECT_JUMP |
| 152 | #endif |
| 153 | |
| 154 | typedef struct TranslationBlock { |
bellard | 2e12669 | 2004-04-25 21:28:44 +0000 | [diff] [blame] | 155 | target_ulong pc; /* simulated PC corresponding to this block (EIP + CS base) */ |
| 156 | target_ulong cs_base; /* CS base for this block */ |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 157 | unsigned int flags; /* flags defining in which context the code was generated */ |
| 158 | uint16_t size; /* size of target code for this block (1 <= |
| 159 | size <= TARGET_PAGE_SIZE) */ |
bellard | 58fe2f1 | 2004-02-16 22:11:32 +0000 | [diff] [blame] | 160 | uint16_t cflags; /* compile flags */ |
bellard | bf08806 | 2004-02-25 23:33:36 +0000 | [diff] [blame] | 161 | #define CF_CODE_COPY 0x0001 /* block was generated in code copy mode */ |
| 162 | #define CF_TB_FP_USED 0x0002 /* fp ops are used in the TB */ |
| 163 | #define CF_FP_USED 0x0004 /* fp ops are used in the TB or in a chained TB */ |
bellard | 2e12669 | 2004-04-25 21:28:44 +0000 | [diff] [blame] | 164 | #define CF_SINGLE_INSN 0x0008 /* compile only a single instruction */ |
bellard | 58fe2f1 | 2004-02-16 22:11:32 +0000 | [diff] [blame] | 165 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 166 | uint8_t *tc_ptr; /* pointer to the translated code */ |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 167 | struct TranslationBlock *hash_next; /* next matching tb for virtual address */ |
| 168 | /* next matching tb for physical address. */ |
| 169 | struct TranslationBlock *phys_hash_next; |
| 170 | /* first and second physical page containing code. The lower bit |
| 171 | of the pointer tells the index in page_next[] */ |
| 172 | struct TranslationBlock *page_next[2]; |
| 173 | target_ulong page_addr[2]; |
| 174 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 175 | /* the following data are used to directly call another TB from |
| 176 | the code of this one. */ |
| 177 | uint16_t tb_next_offset[2]; /* offset of original jump target */ |
| 178 | #ifdef USE_DIRECT_JUMP |
bellard | 4cbb86e | 2003-09-17 22:53:29 +0000 | [diff] [blame] | 179 | uint16_t tb_jmp_offset[4]; /* offset of jump instruction */ |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 180 | #else |
bellard | 95f7652 | 2003-06-05 00:54:44 +0000 | [diff] [blame] | 181 | uint32_t tb_next[2]; /* address of jump generated code */ |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 182 | #endif |
| 183 | /* list of TBs jumping to this one. This is a circular list using |
| 184 | the two least significant bits of the pointers to tell what is |
| 185 | the next pointer: 0 = jmp_next[0], 1 = jmp_next[1], 2 = |
| 186 | jmp_first */ |
| 187 | struct TranslationBlock *jmp_next[2]; |
| 188 | struct TranslationBlock *jmp_first; |
| 189 | } TranslationBlock; |
| 190 | |
bellard | c27004e | 2005-01-03 23:35:10 +0000 | [diff] [blame] | 191 | static inline unsigned int tb_hash_func(target_ulong pc) |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 192 | { |
| 193 | return pc & (CODE_GEN_HASH_SIZE - 1); |
| 194 | } |
| 195 | |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 196 | static inline unsigned int tb_phys_hash_func(unsigned long pc) |
| 197 | { |
| 198 | return pc & (CODE_GEN_PHYS_HASH_SIZE - 1); |
| 199 | } |
| 200 | |
bellard | c27004e | 2005-01-03 23:35:10 +0000 | [diff] [blame] | 201 | TranslationBlock *tb_alloc(target_ulong pc); |
bellard | 0124311 | 2004-01-04 15:48:17 +0000 | [diff] [blame] | 202 | void tb_flush(CPUState *env); |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 203 | void tb_link(TranslationBlock *tb); |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 204 | void tb_link_phys(TranslationBlock *tb, |
| 205 | target_ulong phys_pc, target_ulong phys_page2); |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 206 | |
| 207 | extern TranslationBlock *tb_hash[CODE_GEN_HASH_SIZE]; |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 208 | extern TranslationBlock *tb_phys_hash[CODE_GEN_PHYS_HASH_SIZE]; |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 209 | |
| 210 | extern uint8_t code_gen_buffer[CODE_GEN_BUFFER_SIZE]; |
| 211 | extern uint8_t *code_gen_ptr; |
| 212 | |
| 213 | /* find a translation block in the translation cache. If not found, |
| 214 | return NULL and the pointer to the last element of the list in pptb */ |
| 215 | static inline TranslationBlock *tb_find(TranslationBlock ***pptb, |
bellard | 2e12669 | 2004-04-25 21:28:44 +0000 | [diff] [blame] | 216 | target_ulong pc, |
| 217 | target_ulong cs_base, |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 218 | unsigned int flags) |
| 219 | { |
| 220 | TranslationBlock **ptb, *tb; |
| 221 | unsigned int h; |
| 222 | |
| 223 | h = tb_hash_func(pc); |
| 224 | ptb = &tb_hash[h]; |
| 225 | for(;;) { |
| 226 | tb = *ptb; |
| 227 | if (!tb) |
| 228 | break; |
| 229 | if (tb->pc == pc && tb->cs_base == cs_base && tb->flags == flags) |
| 230 | return tb; |
| 231 | ptb = &tb->hash_next; |
| 232 | } |
| 233 | *pptb = ptb; |
| 234 | return NULL; |
| 235 | } |
| 236 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 237 | |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 238 | #if defined(USE_DIRECT_JUMP) |
| 239 | |
| 240 | #if defined(__powerpc__) |
bellard | 4cbb86e | 2003-09-17 22:53:29 +0000 | [diff] [blame] | 241 | static inline void tb_set_jmp_target1(unsigned long jmp_addr, unsigned long addr) |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 242 | { |
| 243 | uint32_t val, *ptr; |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 244 | |
| 245 | /* patch the branch destination */ |
bellard | 4cbb86e | 2003-09-17 22:53:29 +0000 | [diff] [blame] | 246 | ptr = (uint32_t *)jmp_addr; |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 247 | val = *ptr; |
bellard | 4cbb86e | 2003-09-17 22:53:29 +0000 | [diff] [blame] | 248 | val = (val & ~0x03fffffc) | ((addr - jmp_addr) & 0x03fffffc); |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 249 | *ptr = val; |
| 250 | /* flush icache */ |
| 251 | asm volatile ("dcbst 0,%0" : : "r"(ptr) : "memory"); |
| 252 | asm volatile ("sync" : : : "memory"); |
| 253 | asm volatile ("icbi 0,%0" : : "r"(ptr) : "memory"); |
| 254 | asm volatile ("sync" : : : "memory"); |
| 255 | asm volatile ("isync" : : : "memory"); |
| 256 | } |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 257 | #elif defined(__i386__) |
| 258 | static inline void tb_set_jmp_target1(unsigned long jmp_addr, unsigned long addr) |
| 259 | { |
| 260 | /* patch the branch destination */ |
| 261 | *(uint32_t *)jmp_addr = addr - (jmp_addr + 4); |
| 262 | /* no need to flush icache explicitely */ |
| 263 | } |
| 264 | #endif |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 265 | |
bellard | 4cbb86e | 2003-09-17 22:53:29 +0000 | [diff] [blame] | 266 | static inline void tb_set_jmp_target(TranslationBlock *tb, |
| 267 | int n, unsigned long addr) |
| 268 | { |
| 269 | unsigned long offset; |
| 270 | |
| 271 | offset = tb->tb_jmp_offset[n]; |
| 272 | tb_set_jmp_target1((unsigned long)(tb->tc_ptr + offset), addr); |
| 273 | offset = tb->tb_jmp_offset[n + 2]; |
| 274 | if (offset != 0xffff) |
| 275 | tb_set_jmp_target1((unsigned long)(tb->tc_ptr + offset), addr); |
| 276 | } |
| 277 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 278 | #else |
| 279 | |
| 280 | /* set the jump target */ |
| 281 | static inline void tb_set_jmp_target(TranslationBlock *tb, |
| 282 | int n, unsigned long addr) |
| 283 | { |
bellard | 95f7652 | 2003-06-05 00:54:44 +0000 | [diff] [blame] | 284 | tb->tb_next[n] = addr; |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 285 | } |
| 286 | |
| 287 | #endif |
| 288 | |
| 289 | static inline void tb_add_jump(TranslationBlock *tb, int n, |
| 290 | TranslationBlock *tb_next) |
| 291 | { |
bellard | cf25629 | 2003-05-25 19:20:31 +0000 | [diff] [blame] | 292 | /* NOTE: this test is only needed for thread safety */ |
| 293 | if (!tb->jmp_next[n]) { |
| 294 | /* patch the native jump address */ |
| 295 | tb_set_jmp_target(tb, n, (unsigned long)tb_next->tc_ptr); |
| 296 | |
| 297 | /* add in TB jmp circular list */ |
| 298 | tb->jmp_next[n] = tb_next->jmp_first; |
| 299 | tb_next->jmp_first = (TranslationBlock *)((long)(tb) | (n)); |
| 300 | } |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 301 | } |
| 302 | |
bellard | a513fe1 | 2003-05-27 23:29:48 +0000 | [diff] [blame] | 303 | TranslationBlock *tb_find_pc(unsigned long pc_ptr); |
| 304 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 305 | #ifndef offsetof |
| 306 | #define offsetof(type, field) ((size_t) &((type *)0)->field) |
| 307 | #endif |
| 308 | |
bellard | d549f7d | 2004-07-05 21:47:44 +0000 | [diff] [blame] | 309 | #if defined(_WIN32) |
| 310 | #define ASM_DATA_SECTION ".section \".data\"\n" |
| 311 | #define ASM_PREVIOUS_SECTION ".section .text\n" |
| 312 | #elif defined(__APPLE__) |
| 313 | #define ASM_DATA_SECTION ".data\n" |
| 314 | #define ASM_PREVIOUS_SECTION ".text\n" |
bellard | d549f7d | 2004-07-05 21:47:44 +0000 | [diff] [blame] | 315 | #else |
| 316 | #define ASM_DATA_SECTION ".section \".data\"\n" |
| 317 | #define ASM_PREVIOUS_SECTION ".previous\n" |
bellard | d549f7d | 2004-07-05 21:47:44 +0000 | [diff] [blame] | 318 | #endif |
| 319 | |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 320 | #if defined(__powerpc__) |
| 321 | |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 322 | /* we patch the jump instruction directly */ |
bellard | ae063a6 | 2005-01-09 00:07:04 +0000 | [diff] [blame] | 323 | #define GOTO_TB(opname, tbparam, n)\ |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 324 | do {\ |
bellard | d549f7d | 2004-07-05 21:47:44 +0000 | [diff] [blame] | 325 | asm volatile (ASM_DATA_SECTION\ |
| 326 | ASM_NAME(__op_label) #n "." ASM_NAME(opname) ":\n"\ |
bellard | 9257a9e | 2003-08-11 22:21:18 +0000 | [diff] [blame] | 327 | ".long 1f\n"\ |
bellard | d549f7d | 2004-07-05 21:47:44 +0000 | [diff] [blame] | 328 | ASM_PREVIOUS_SECTION \ |
| 329 | "b " ASM_NAME(__op_jmp) #n "\n"\ |
bellard | 9257a9e | 2003-08-11 22:21:18 +0000 | [diff] [blame] | 330 | "1:\n");\ |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 331 | } while (0) |
| 332 | |
| 333 | #elif defined(__i386__) && defined(USE_DIRECT_JUMP) |
| 334 | |
| 335 | /* we patch the jump instruction directly */ |
bellard | ae063a6 | 2005-01-09 00:07:04 +0000 | [diff] [blame] | 336 | #define GOTO_TB(opname, tbparam, n)\ |
bellard | c27004e | 2005-01-03 23:35:10 +0000 | [diff] [blame] | 337 | do {\ |
| 338 | asm volatile (".section .data\n"\ |
| 339 | ASM_NAME(__op_label) #n "." ASM_NAME(opname) ":\n"\ |
| 340 | ".long 1f\n"\ |
| 341 | ASM_PREVIOUS_SECTION \ |
| 342 | "jmp " ASM_NAME(__op_jmp) #n "\n"\ |
| 343 | "1:\n");\ |
| 344 | } while (0) |
| 345 | |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 346 | #else |
| 347 | |
| 348 | /* jump to next block operations (more portable code, does not need |
| 349 | cache flushing, but slower because of indirect jump) */ |
bellard | ae063a6 | 2005-01-09 00:07:04 +0000 | [diff] [blame] | 350 | #define GOTO_TB(opname, tbparam, n)\ |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 351 | do {\ |
bellard | 2f62b39 | 2003-06-30 23:18:59 +0000 | [diff] [blame] | 352 | static void __attribute__((unused)) *dummy ## n = &&dummy_label ## n;\ |
bellard | ae063a6 | 2005-01-09 00:07:04 +0000 | [diff] [blame] | 353 | static void __attribute__((unused)) *__op_label ## n = &&label ## n;\ |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 354 | goto *(void *)(((TranslationBlock *)tbparam)->tb_next[n]);\ |
bellard | ae063a6 | 2005-01-09 00:07:04 +0000 | [diff] [blame] | 355 | label ## n: ;\ |
| 356 | dummy_label ## n: ;\ |
bellard | 4cbb86e | 2003-09-17 22:53:29 +0000 | [diff] [blame] | 357 | } while (0) |
| 358 | |
bellard | b346ff4 | 2003-06-15 20:05:50 +0000 | [diff] [blame] | 359 | #endif |
| 360 | |
bellard | ae063a6 | 2005-01-09 00:07:04 +0000 | [diff] [blame] | 361 | /* XXX: will be suppressed */ |
| 362 | #define JUMP_TB(opname, tbparam, n, eip)\ |
| 363 | do {\ |
| 364 | GOTO_TB(opname, tbparam, n);\ |
| 365 | T0 = (long)(tbparam) + (n);\ |
| 366 | EIP = (int32_t)eip;\ |
| 367 | EXIT_TB();\ |
| 368 | } while (0) |
| 369 | |
bellard | 33417e7 | 2003-08-10 21:47:01 +0000 | [diff] [blame] | 370 | extern CPUWriteMemoryFunc *io_mem_write[IO_MEM_NB_ENTRIES][4]; |
| 371 | extern CPUReadMemoryFunc *io_mem_read[IO_MEM_NB_ENTRIES][4]; |
bellard | a4193c8 | 2004-06-03 14:01:43 +0000 | [diff] [blame] | 372 | extern void *io_mem_opaque[IO_MEM_NB_ENTRIES]; |
bellard | 33417e7 | 2003-08-10 21:47:01 +0000 | [diff] [blame] | 373 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 374 | #ifdef __powerpc__ |
| 375 | static inline int testandset (int *p) |
| 376 | { |
| 377 | int ret; |
| 378 | __asm__ __volatile__ ( |
bellard | 02e1ec9 | 2004-07-10 15:15:39 +0000 | [diff] [blame] | 379 | "0: lwarx %0,0,%1\n" |
| 380 | " xor. %0,%3,%0\n" |
| 381 | " bne 1f\n" |
| 382 | " stwcx. %2,0,%1\n" |
| 383 | " bne- 0b\n" |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 384 | "1: " |
| 385 | : "=&r" (ret) |
| 386 | : "r" (p), "r" (1), "r" (0) |
| 387 | : "cr0", "memory"); |
| 388 | return ret; |
| 389 | } |
| 390 | #endif |
| 391 | |
| 392 | #ifdef __i386__ |
| 393 | static inline int testandset (int *p) |
| 394 | { |
bellard | 4955a2c | 2005-02-07 14:09:05 +0000 | [diff] [blame] | 395 | long int readval = 0; |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 396 | |
bellard | 4955a2c | 2005-02-07 14:09:05 +0000 | [diff] [blame] | 397 | __asm__ __volatile__ ("lock; cmpxchgl %2, %0" |
| 398 | : "+m" (*p), "+a" (readval) |
| 399 | : "r" (1) |
| 400 | : "cc"); |
| 401 | return readval; |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 402 | } |
| 403 | #endif |
| 404 | |
bellard | bc51c5c | 2004-03-17 23:46:04 +0000 | [diff] [blame] | 405 | #ifdef __x86_64__ |
| 406 | static inline int testandset (int *p) |
| 407 | { |
bellard | 4955a2c | 2005-02-07 14:09:05 +0000 | [diff] [blame] | 408 | long int readval = 0; |
bellard | bc51c5c | 2004-03-17 23:46:04 +0000 | [diff] [blame] | 409 | |
bellard | 4955a2c | 2005-02-07 14:09:05 +0000 | [diff] [blame] | 410 | __asm__ __volatile__ ("lock; cmpxchgl %2, %0" |
| 411 | : "+m" (*p), "+a" (readval) |
| 412 | : "r" (1) |
| 413 | : "cc"); |
| 414 | return readval; |
bellard | bc51c5c | 2004-03-17 23:46:04 +0000 | [diff] [blame] | 415 | } |
| 416 | #endif |
| 417 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 418 | #ifdef __s390__ |
| 419 | static inline int testandset (int *p) |
| 420 | { |
| 421 | int ret; |
| 422 | |
| 423 | __asm__ __volatile__ ("0: cs %0,%1,0(%2)\n" |
| 424 | " jl 0b" |
| 425 | : "=&d" (ret) |
| 426 | : "r" (1), "a" (p), "0" (*p) |
| 427 | : "cc", "memory" ); |
| 428 | return ret; |
| 429 | } |
| 430 | #endif |
| 431 | |
| 432 | #ifdef __alpha__ |
bellard | 2f87c60 | 2003-06-02 20:38:09 +0000 | [diff] [blame] | 433 | static inline int testandset (int *p) |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 434 | { |
| 435 | int ret; |
| 436 | unsigned long one; |
| 437 | |
| 438 | __asm__ __volatile__ ("0: mov 1,%2\n" |
| 439 | " ldl_l %0,%1\n" |
| 440 | " stl_c %2,%1\n" |
| 441 | " beq %2,1f\n" |
| 442 | ".subsection 2\n" |
| 443 | "1: br 0b\n" |
| 444 | ".previous" |
| 445 | : "=r" (ret), "=m" (*p), "=r" (one) |
| 446 | : "m" (*p)); |
| 447 | return ret; |
| 448 | } |
| 449 | #endif |
| 450 | |
| 451 | #ifdef __sparc__ |
| 452 | static inline int testandset (int *p) |
| 453 | { |
| 454 | int ret; |
| 455 | |
| 456 | __asm__ __volatile__("ldstub [%1], %0" |
| 457 | : "=r" (ret) |
| 458 | : "r" (p) |
| 459 | : "memory"); |
| 460 | |
| 461 | return (ret ? 1 : 0); |
| 462 | } |
| 463 | #endif |
| 464 | |
bellard | a95c679 | 2003-06-09 15:29:55 +0000 | [diff] [blame] | 465 | #ifdef __arm__ |
| 466 | static inline int testandset (int *spinlock) |
| 467 | { |
| 468 | register unsigned int ret; |
| 469 | __asm__ __volatile__("swp %0, %1, [%2]" |
| 470 | : "=r"(ret) |
| 471 | : "0"(1), "r"(spinlock)); |
| 472 | |
| 473 | return ret; |
| 474 | } |
| 475 | #endif |
| 476 | |
bellard | 38e584a | 2003-08-10 22:14:22 +0000 | [diff] [blame] | 477 | #ifdef __mc68000 |
| 478 | static inline int testandset (int *p) |
| 479 | { |
| 480 | char ret; |
| 481 | __asm__ __volatile__("tas %1; sne %0" |
| 482 | : "=r" (ret) |
| 483 | : "m" (p) |
| 484 | : "cc","memory"); |
bellard | 4955a2c | 2005-02-07 14:09:05 +0000 | [diff] [blame] | 485 | return ret; |
bellard | 38e584a | 2003-08-10 22:14:22 +0000 | [diff] [blame] | 486 | } |
| 487 | #endif |
| 488 | |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 489 | typedef int spinlock_t; |
| 490 | |
| 491 | #define SPIN_LOCK_UNLOCKED 0 |
| 492 | |
bellard | aebcb60 | 2003-10-30 01:08:17 +0000 | [diff] [blame] | 493 | #if defined(CONFIG_USER_ONLY) |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 494 | static inline void spin_lock(spinlock_t *lock) |
| 495 | { |
| 496 | while (testandset(lock)); |
| 497 | } |
| 498 | |
| 499 | static inline void spin_unlock(spinlock_t *lock) |
| 500 | { |
| 501 | *lock = 0; |
| 502 | } |
| 503 | |
| 504 | static inline int spin_trylock(spinlock_t *lock) |
| 505 | { |
| 506 | return !testandset(lock); |
| 507 | } |
bellard | 3c1cf9f | 2003-07-07 11:30:47 +0000 | [diff] [blame] | 508 | #else |
| 509 | static inline void spin_lock(spinlock_t *lock) |
| 510 | { |
| 511 | } |
| 512 | |
| 513 | static inline void spin_unlock(spinlock_t *lock) |
| 514 | { |
| 515 | } |
| 516 | |
| 517 | static inline int spin_trylock(spinlock_t *lock) |
| 518 | { |
| 519 | return 1; |
| 520 | } |
| 521 | #endif |
bellard | d4e8164 | 2003-05-25 16:46:15 +0000 | [diff] [blame] | 522 | |
| 523 | extern spinlock_t tb_lock; |
| 524 | |
bellard | 36bdbe5 | 2003-11-19 22:12:02 +0000 | [diff] [blame] | 525 | extern int tb_invalidated_flag; |
bellard | 6e59c1d | 2003-10-27 21:24:54 +0000 | [diff] [blame] | 526 | |
bellard | e95c8d5 | 2004-09-30 22:22:08 +0000 | [diff] [blame] | 527 | #if !defined(CONFIG_USER_ONLY) |
bellard | 6e59c1d | 2003-10-27 21:24:54 +0000 | [diff] [blame] | 528 | |
bellard | c27004e | 2005-01-03 23:35:10 +0000 | [diff] [blame] | 529 | void tlb_fill(target_ulong addr, int is_write, int is_user, |
bellard | 6e59c1d | 2003-10-27 21:24:54 +0000 | [diff] [blame] | 530 | void *retaddr); |
| 531 | |
| 532 | #define ACCESS_TYPE 3 |
| 533 | #define MEMSUFFIX _code |
| 534 | #define env cpu_single_env |
| 535 | |
| 536 | #define DATA_SIZE 1 |
| 537 | #include "softmmu_header.h" |
| 538 | |
| 539 | #define DATA_SIZE 2 |
| 540 | #include "softmmu_header.h" |
| 541 | |
| 542 | #define DATA_SIZE 4 |
| 543 | #include "softmmu_header.h" |
| 544 | |
bellard | c27004e | 2005-01-03 23:35:10 +0000 | [diff] [blame] | 545 | #define DATA_SIZE 8 |
| 546 | #include "softmmu_header.h" |
| 547 | |
bellard | 6e59c1d | 2003-10-27 21:24:54 +0000 | [diff] [blame] | 548 | #undef ACCESS_TYPE |
| 549 | #undef MEMSUFFIX |
| 550 | #undef env |
| 551 | |
| 552 | #endif |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 553 | |
| 554 | #if defined(CONFIG_USER_ONLY) |
| 555 | static inline target_ulong get_phys_addr_code(CPUState *env, target_ulong addr) |
| 556 | { |
| 557 | return addr; |
| 558 | } |
| 559 | #else |
| 560 | /* NOTE: this function can trigger an exception */ |
bellard | 1ccde1c | 2004-02-06 19:46:14 +0000 | [diff] [blame] | 561 | /* NOTE2: the returned address is not exactly the physical address: it |
| 562 | is the offset relative to phys_ram_base */ |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 563 | /* XXX: i386 target specific */ |
| 564 | static inline target_ulong get_phys_addr_code(CPUState *env, target_ulong addr) |
| 565 | { |
bellard | c27004e | 2005-01-03 23:35:10 +0000 | [diff] [blame] | 566 | int is_user, index, pd; |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 567 | |
| 568 | index = (addr >> TARGET_PAGE_BITS) & (CPU_TLB_SIZE - 1); |
bellard | 3f5dcc3 | 2004-01-18 22:44:01 +0000 | [diff] [blame] | 569 | #if defined(TARGET_I386) |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 570 | is_user = ((env->hflags & HF_CPL_MASK) == 3); |
bellard | 3f5dcc3 | 2004-01-18 22:44:01 +0000 | [diff] [blame] | 571 | #elif defined (TARGET_PPC) |
| 572 | is_user = msr_pr; |
bellard | e95c8d5 | 2004-09-30 22:22:08 +0000 | [diff] [blame] | 573 | #elif defined (TARGET_SPARC) |
| 574 | is_user = (env->psrs == 0); |
bellard | 3f5dcc3 | 2004-01-18 22:44:01 +0000 | [diff] [blame] | 575 | #else |
| 576 | #error "Unimplemented !" |
| 577 | #endif |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 578 | if (__builtin_expect(env->tlb_read[is_user][index].address != |
| 579 | (addr & TARGET_PAGE_MASK), 0)) { |
bellard | c27004e | 2005-01-03 23:35:10 +0000 | [diff] [blame] | 580 | ldub_code(addr); |
| 581 | } |
| 582 | pd = env->tlb_read[is_user][index].address & ~TARGET_PAGE_MASK; |
| 583 | if (pd > IO_MEM_ROM) { |
| 584 | cpu_abort(env, "Trying to execute code outside RAM or ROM at 0x%08lx\n", addr); |
bellard | 4390df5 | 2004-01-04 18:03:10 +0000 | [diff] [blame] | 585 | } |
| 586 | return addr + env->tlb_read[is_user][index].addend - (unsigned long)phys_ram_base; |
| 587 | } |
| 588 | #endif |
bellard | 9df217a | 2005-02-10 22:05:51 +0000 | [diff] [blame^] | 589 | |
| 590 | |
| 591 | #ifdef USE_KQEMU |
| 592 | extern int kqemu_fd; |
| 593 | extern int kqemu_flushed; |
| 594 | |
| 595 | int kqemu_init(CPUState *env); |
| 596 | int kqemu_cpu_exec(CPUState *env); |
| 597 | void kqemu_flush_page(CPUState *env, target_ulong addr); |
| 598 | void kqemu_flush(CPUState *env, int global); |
| 599 | |
| 600 | static inline int kqemu_is_ok(CPUState *env) |
| 601 | { |
| 602 | return(env->kqemu_enabled && |
| 603 | (env->hflags & HF_CPL_MASK) == 3 && |
| 604 | (env->eflags & IOPL_MASK) != IOPL_MASK && |
| 605 | (env->cr[0] & CR0_PE_MASK) && |
| 606 | (env->eflags & IF_MASK) && |
| 607 | !(env->eflags & VM_MASK)); |
| 608 | } |
| 609 | |
| 610 | #endif |