blob: 8a20718e256ce65fc187d29594c537ae7313a2cb [file] [log] [blame]
bellard7d132992003-03-06 23:23:54 +00001/*
2 * i386 emulator main execution loop
3 *
4 * Copyright (c) 2003 Fabrice Bellard
5 *
bellard3ef693a2003-03-23 20:17:16 +00006 * 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.
bellard7d132992003-03-06 23:23:54 +000010 *
bellard3ef693a2003-03-23 20:17:16 +000011 * 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.
bellard7d132992003-03-06 23:23:54 +000015 *
bellard3ef693a2003-03-23 20:17:16 +000016 * 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
bellard7d132992003-03-06 23:23:54 +000019 */
20#include "exec-i386.h"
bellard956034d2003-04-29 20:40:53 +000021#include "disas.h"
bellard7d132992003-03-06 23:23:54 +000022
bellarddc990652003-03-19 00:00:28 +000023//#define DEBUG_EXEC
bellard7d132992003-03-06 23:23:54 +000024#define DEBUG_FLUSH
bellard9de5e442003-03-23 16:49:39 +000025//#define DEBUG_SIGNAL
bellard7d132992003-03-06 23:23:54 +000026
27/* main execution loop */
28
29/* maximum total translate dcode allocated */
30#define CODE_GEN_BUFFER_SIZE (2048 * 1024)
31//#define CODE_GEN_BUFFER_SIZE (128 * 1024)
32#define CODE_GEN_MAX_SIZE 65536
33#define CODE_GEN_ALIGN 16 /* must be >= of the size of a icache line */
34
35/* threshold to flush the translated code buffer */
36#define CODE_GEN_BUFFER_MAX_SIZE (CODE_GEN_BUFFER_SIZE - CODE_GEN_MAX_SIZE)
37
38#define CODE_GEN_MAX_BLOCKS (CODE_GEN_BUFFER_SIZE / 64)
39#define CODE_GEN_HASH_BITS 15
40#define CODE_GEN_HASH_SIZE (1 << CODE_GEN_HASH_BITS)
bellard6dbad632003-03-16 18:05:05 +000041
bellard7d132992003-03-06 23:23:54 +000042typedef struct TranslationBlock {
bellarddab2ed92003-03-22 15:23:14 +000043 unsigned long pc; /* simulated PC corresponding to this block (EIP + CS base) */
44 unsigned long cs_base; /* CS base for this block */
bellard6dbad632003-03-16 18:05:05 +000045 unsigned int flags; /* flags defining in which context the code was generated */
bellard7d132992003-03-06 23:23:54 +000046 uint8_t *tc_ptr; /* pointer to the translated code */
47 struct TranslationBlock *hash_next; /* next matching block */
48} TranslationBlock;
49
50TranslationBlock tbs[CODE_GEN_MAX_BLOCKS];
51TranslationBlock *tb_hash[CODE_GEN_HASH_SIZE];
52int nb_tbs;
53
54uint8_t code_gen_buffer[CODE_GEN_BUFFER_SIZE];
55uint8_t *code_gen_ptr;
56
bellard1b6b0292003-03-22 17:31:38 +000057/* thread support */
58
59#ifdef __powerpc__
60static inline int testandset (int *p)
61{
62 int ret;
63 __asm__ __volatile__ (
64 "0: lwarx %0,0,%1 ;"
65 " xor. %0,%3,%0;"
66 " bne 1f;"
67 " stwcx. %2,0,%1;"
68 " bne- 0b;"
69 "1: "
70 : "=&r" (ret)
71 : "r" (p), "r" (1), "r" (0)
72 : "cr0", "memory");
73 return ret;
74}
75#endif
76
77#ifdef __i386__
78static inline int testandset (int *p)
79{
80 char ret;
81 long int readval;
82
83 __asm__ __volatile__ ("lock; cmpxchgl %3, %1; sete %0"
84 : "=q" (ret), "=m" (*p), "=a" (readval)
85 : "r" (1), "m" (*p), "a" (0)
86 : "memory");
87 return ret;
88}
89#endif
90
bellardfb3e5842003-03-29 17:32:36 +000091#ifdef __s390__
92static inline int testandset (int *p)
93{
94 int ret;
95
96 __asm__ __volatile__ ("0: cs %0,%1,0(%2)\n"
97 " jl 0b"
98 : "=&d" (ret)
99 : "r" (1), "a" (p), "0" (*p)
100 : "cc", "memory" );
101 return ret;
102}
103#endif
104
bellarde026db52003-04-29 21:07:28 +0000105#ifdef __alpha__
106int testandset (int *p)
107{
108 int ret;
109 unsigned long one;
110
111 __asm__ __volatile__ ("0: mov 1,%2\n"
112 " ldl_l %0,%1\n"
113 " stl_c %2,%1\n"
114 " beq %2,1f\n"
115 ".subsection 2\n"
116 "1: br 0b\n"
117 ".previous"
118 : "=r" (ret), "=m" (*p), "=r" (one)
119 : "m" (*p));
120 return ret;
121}
122#endif
123
bellardd014c982003-04-29 21:26:53 +0000124#ifdef __sparc__
125static inline int testandset (int *p)
126{
127 int ret;
128
129 __asm__ __volatile__("ldstub [%1], %0"
130 : "=r" (ret)
131 : "r" (p)
132 : "memory");
133
134 return (ret ? 1 : 0);
135}
136#endif
137
bellard1b6b0292003-03-22 17:31:38 +0000138int global_cpu_lock = 0;
139
140void cpu_lock(void)
141{
142 while (testandset(&global_cpu_lock));
143}
144
145void cpu_unlock(void)
146{
147 global_cpu_lock = 0;
148}
149
bellard9de5e442003-03-23 16:49:39 +0000150/* exception support */
151/* NOTE: not static to force relocation generation by GCC */
bellardb56dad12003-05-08 15:38:04 +0000152void raise_exception_err(int exception_index, int error_code)
bellard9de5e442003-03-23 16:49:39 +0000153{
154 /* NOTE: the register at this point must be saved by hand because
155 longjmp restore them */
bellardae228532003-05-13 18:59:59 +0000156#ifdef __sparc__
157 /* We have to stay in the same register window as our caller,
158 * thus this trick.
159 */
160 __asm__ __volatile__("restore\n\t"
161 "mov\t%o0, %i0");
162#endif
bellard9de5e442003-03-23 16:49:39 +0000163#ifdef reg_EAX
164 env->regs[R_EAX] = EAX;
165#endif
166#ifdef reg_ECX
167 env->regs[R_ECX] = ECX;
168#endif
169#ifdef reg_EDX
170 env->regs[R_EDX] = EDX;
171#endif
172#ifdef reg_EBX
173 env->regs[R_EBX] = EBX;
174#endif
175#ifdef reg_ESP
176 env->regs[R_ESP] = ESP;
177#endif
178#ifdef reg_EBP
179 env->regs[R_EBP] = EBP;
180#endif
181#ifdef reg_ESI
182 env->regs[R_ESI] = ESI;
183#endif
184#ifdef reg_EDI
185 env->regs[R_EDI] = EDI;
186#endif
187 env->exception_index = exception_index;
bellardb56dad12003-05-08 15:38:04 +0000188 env->error_code = error_code;
bellard9de5e442003-03-23 16:49:39 +0000189 longjmp(env->jmp_env, 1);
190}
191
bellardb56dad12003-05-08 15:38:04 +0000192/* short cut if error_code is 0 or not present */
193void raise_exception(int exception_index)
194{
195 raise_exception_err(exception_index, 0);
196}
197
bellard7d132992003-03-06 23:23:54 +0000198void cpu_x86_tblocks_init(void)
199{
200 if (!code_gen_ptr) {
201 code_gen_ptr = code_gen_buffer;
202 }
203}
204
205/* flush all the translation blocks */
206static void tb_flush(void)
207{
208 int i;
209#ifdef DEBUG_FLUSH
210 printf("gemu: flush code_size=%d nb_tbs=%d avg_tb_size=%d\n",
211 code_gen_ptr - code_gen_buffer,
212 nb_tbs,
213 (code_gen_ptr - code_gen_buffer) / nb_tbs);
214#endif
215 nb_tbs = 0;
216 for(i = 0;i < CODE_GEN_HASH_SIZE; i++)
217 tb_hash[i] = NULL;
218 code_gen_ptr = code_gen_buffer;
219 /* XXX: flush processor icache at this point */
220}
221
222/* find a translation block in the translation cache. If not found,
bellard9de5e442003-03-23 16:49:39 +0000223 return NULL and the pointer to the last element of the list in pptb */
224static inline TranslationBlock *tb_find(TranslationBlock ***pptb,
225 unsigned long pc,
226 unsigned long cs_base,
227 unsigned int flags)
bellard7d132992003-03-06 23:23:54 +0000228{
229 TranslationBlock **ptb, *tb;
230 unsigned int h;
231
232 h = pc & (CODE_GEN_HASH_SIZE - 1);
233 ptb = &tb_hash[h];
bellardb56dad12003-05-08 15:38:04 +0000234#if 0
235 /* XXX: hack to handle 16 bit modyfing code */
236 if (flags & (1 << GEN_FLAG_CODE32_SHIFT))
237#endif
238 for(;;) {
239 tb = *ptb;
240 if (!tb)
241 break;
242 if (tb->pc == pc && tb->cs_base == cs_base && tb->flags == flags)
bellard7d132992003-03-06 23:23:54 +0000243 return tb;
bellardb56dad12003-05-08 15:38:04 +0000244 ptb = &tb->hash_next;
245 }
bellard9de5e442003-03-23 16:49:39 +0000246 *pptb = ptb;
247 return NULL;
248}
249
250/* allocate a new translation block. flush the translation buffer if
251 too many translation blocks or too much generated code */
252static inline TranslationBlock *tb_alloc(void)
253{
254 TranslationBlock *tb;
bellard7d132992003-03-06 23:23:54 +0000255 if (nb_tbs >= CODE_GEN_MAX_BLOCKS ||
256 (code_gen_ptr - code_gen_buffer) >= CODE_GEN_BUFFER_MAX_SIZE)
257 tb_flush();
258 tb = &tbs[nb_tbs++];
bellard7d132992003-03-06 23:23:54 +0000259 return tb;
260}
261
262int cpu_x86_exec(CPUX86State *env1)
263{
264 int saved_T0, saved_T1, saved_A0;
265 CPUX86State *saved_env;
bellard04369ff2003-03-20 22:33:23 +0000266#ifdef reg_EAX
267 int saved_EAX;
268#endif
269#ifdef reg_ECX
270 int saved_ECX;
271#endif
272#ifdef reg_EDX
273 int saved_EDX;
274#endif
275#ifdef reg_EBX
276 int saved_EBX;
277#endif
278#ifdef reg_ESP
279 int saved_ESP;
280#endif
281#ifdef reg_EBP
282 int saved_EBP;
283#endif
284#ifdef reg_ESI
285 int saved_ESI;
286#endif
287#ifdef reg_EDI
288 int saved_EDI;
289#endif
bellard7d132992003-03-06 23:23:54 +0000290 int code_gen_size, ret;
291 void (*gen_func)(void);
bellard9de5e442003-03-23 16:49:39 +0000292 TranslationBlock *tb, **ptb;
bellarddab2ed92003-03-22 15:23:14 +0000293 uint8_t *tc_ptr, *cs_base, *pc;
bellard6dbad632003-03-16 18:05:05 +0000294 unsigned int flags;
295
bellard7d132992003-03-06 23:23:54 +0000296 /* first we save global registers */
297 saved_T0 = T0;
298 saved_T1 = T1;
299 saved_A0 = A0;
300 saved_env = env;
301 env = env1;
bellard04369ff2003-03-20 22:33:23 +0000302#ifdef reg_EAX
303 saved_EAX = EAX;
304 EAX = env->regs[R_EAX];
305#endif
306#ifdef reg_ECX
307 saved_ECX = ECX;
308 ECX = env->regs[R_ECX];
309#endif
310#ifdef reg_EDX
311 saved_EDX = EDX;
312 EDX = env->regs[R_EDX];
313#endif
314#ifdef reg_EBX
315 saved_EBX = EBX;
316 EBX = env->regs[R_EBX];
317#endif
318#ifdef reg_ESP
319 saved_ESP = ESP;
320 ESP = env->regs[R_ESP];
321#endif
322#ifdef reg_EBP
323 saved_EBP = EBP;
324 EBP = env->regs[R_EBP];
325#endif
326#ifdef reg_ESI
327 saved_ESI = ESI;
328 ESI = env->regs[R_ESI];
329#endif
330#ifdef reg_EDI
331 saved_EDI = EDI;
332 EDI = env->regs[R_EDI];
333#endif
bellard7d132992003-03-06 23:23:54 +0000334
bellard9de5e442003-03-23 16:49:39 +0000335 /* put eflags in CPU temporary format */
bellardfc2b4c42003-03-29 16:52:44 +0000336 CC_SRC = env->eflags & (CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C);
337 DF = 1 - (2 * ((env->eflags >> 10) & 1));
bellard9de5e442003-03-23 16:49:39 +0000338 CC_OP = CC_OP_EFLAGS;
bellardfc2b4c42003-03-29 16:52:44 +0000339 env->eflags &= ~(DF_MASK | CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C);
bellard9de5e442003-03-23 16:49:39 +0000340 env->interrupt_request = 0;
bellard9d27abd2003-05-10 13:13:54 +0000341
bellard7d132992003-03-06 23:23:54 +0000342 /* prepare setjmp context for exception handling */
343 if (setjmp(env->jmp_env) == 0) {
344 for(;;) {
bellard9de5e442003-03-23 16:49:39 +0000345 if (env->interrupt_request) {
346 raise_exception(EXCP_INTERRUPT);
347 }
bellard7d132992003-03-06 23:23:54 +0000348#ifdef DEBUG_EXEC
349 if (loglevel) {
bellard9d27abd2003-05-10 13:13:54 +0000350 /* XXX: save all volatile state in cpu state */
351 /* restore flags in standard format */
352 env->regs[R_EAX] = EAX;
353 env->regs[R_EBX] = EBX;
354 env->regs[R_ECX] = ECX;
355 env->regs[R_EDX] = EDX;
356 env->regs[R_ESI] = ESI;
357 env->regs[R_EDI] = EDI;
358 env->regs[R_EBP] = EBP;
359 env->regs[R_ESP] = ESP;
360 env->eflags = env->eflags | cc_table[CC_OP].compute_all() | (DF & DF_MASK);
361 cpu_x86_dump_state(env, logfile, 0);
362 env->eflags &= ~(DF_MASK | CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C);
bellard7d132992003-03-06 23:23:54 +0000363 }
364#endif
bellard6dbad632003-03-16 18:05:05 +0000365 /* we compute the CPU state. We assume it will not
366 change during the whole generated block. */
367 flags = env->seg_cache[R_CS].seg_32bit << GEN_FLAG_CODE32_SHIFT;
bellarddab2ed92003-03-22 15:23:14 +0000368 flags |= env->seg_cache[R_SS].seg_32bit << GEN_FLAG_SS32_SHIFT;
bellard6dbad632003-03-16 18:05:05 +0000369 flags |= (((unsigned long)env->seg_cache[R_DS].base |
370 (unsigned long)env->seg_cache[R_ES].base |
371 (unsigned long)env->seg_cache[R_SS].base) != 0) <<
372 GEN_FLAG_ADDSEG_SHIFT;
bellard9d27abd2003-05-10 13:13:54 +0000373 if (!(env->eflags & VM_MASK)) {
374 flags |= (env->segs[R_CS] & 3) << GEN_FLAG_CPL_SHIFT;
375 } else {
376 /* NOTE: a dummy CPL is kept */
377 flags |= (1 << GEN_FLAG_VM_SHIFT);
378 flags |= (3 << GEN_FLAG_CPL_SHIFT);
379 }
bellardb56dad12003-05-08 15:38:04 +0000380 flags |= (env->eflags & IOPL_MASK) >> (12 - GEN_FLAG_IOPL_SHIFT);
bellardcabb4d62003-05-10 15:07:00 +0000381 flags |= (env->eflags & TF_MASK) << (GEN_FLAG_TF_SHIFT - 8);
bellarddab2ed92003-03-22 15:23:14 +0000382 cs_base = env->seg_cache[R_CS].base;
383 pc = cs_base + env->eip;
bellard9de5e442003-03-23 16:49:39 +0000384 tb = tb_find(&ptb, (unsigned long)pc, (unsigned long)cs_base,
385 flags);
386 if (!tb) {
bellard7d132992003-03-06 23:23:54 +0000387 /* if no translated code available, then translate it now */
bellard1b6b0292003-03-22 17:31:38 +0000388 /* XXX: very inefficient: we lock all the cpus when
389 generating code */
390 cpu_lock();
bellard7d132992003-03-06 23:23:54 +0000391 tc_ptr = code_gen_ptr;
bellard9de5e442003-03-23 16:49:39 +0000392 ret = cpu_x86_gen_code(code_gen_ptr, CODE_GEN_MAX_SIZE,
393 &code_gen_size, pc, cs_base, flags);
394 /* if invalid instruction, signal it */
395 if (ret != 0) {
396 cpu_unlock();
397 raise_exception(EXCP06_ILLOP);
398 }
399 tb = tb_alloc();
400 *ptb = tb;
401 tb->pc = (unsigned long)pc;
402 tb->cs_base = (unsigned long)cs_base;
403 tb->flags = flags;
bellard7d132992003-03-06 23:23:54 +0000404 tb->tc_ptr = tc_ptr;
bellard9de5e442003-03-23 16:49:39 +0000405 tb->hash_next = NULL;
bellard7d132992003-03-06 23:23:54 +0000406 code_gen_ptr = (void *)(((unsigned long)code_gen_ptr + code_gen_size + CODE_GEN_ALIGN - 1) & ~(CODE_GEN_ALIGN - 1));
bellard1b6b0292003-03-22 17:31:38 +0000407 cpu_unlock();
bellard7d132992003-03-06 23:23:54 +0000408 }
bellard9d27abd2003-05-10 13:13:54 +0000409#ifdef DEBUG_EXEC
bellard956034d2003-04-29 20:40:53 +0000410 if (loglevel) {
411 fprintf(logfile, "Trace 0x%08lx [0x%08lx] %s\n",
412 (long)tb->tc_ptr, (long)tb->pc,
413 lookup_symbol((void *)tb->pc));
bellard956034d2003-04-29 20:40:53 +0000414 }
bellard9d27abd2003-05-10 13:13:54 +0000415#endif
bellard7d132992003-03-06 23:23:54 +0000416 /* execute the generated code */
bellard9de5e442003-03-23 16:49:39 +0000417 tc_ptr = tb->tc_ptr;
bellard7d132992003-03-06 23:23:54 +0000418 gen_func = (void *)tc_ptr;
bellardae228532003-05-13 18:59:59 +0000419#ifdef __sparc__
420 __asm__ __volatile__("call %0\n\t"
421 " mov %%o7,%%i0"
422 : /* no outputs */
423 : "r" (gen_func)
424 : "i0", "i1", "i2", "i3", "i4", "i5");
425#else
bellard7d132992003-03-06 23:23:54 +0000426 gen_func();
bellardae228532003-05-13 18:59:59 +0000427#endif
bellard7d132992003-03-06 23:23:54 +0000428 }
429 }
430 ret = env->exception_index;
431
bellard9de5e442003-03-23 16:49:39 +0000432 /* restore flags in standard format */
bellardfc2b4c42003-03-29 16:52:44 +0000433 env->eflags = env->eflags | cc_table[CC_OP].compute_all() | (DF & DF_MASK);
bellard9de5e442003-03-23 16:49:39 +0000434
bellard7d132992003-03-06 23:23:54 +0000435 /* restore global registers */
bellard04369ff2003-03-20 22:33:23 +0000436#ifdef reg_EAX
437 EAX = saved_EAX;
438#endif
439#ifdef reg_ECX
440 ECX = saved_ECX;
441#endif
442#ifdef reg_EDX
443 EDX = saved_EDX;
444#endif
445#ifdef reg_EBX
446 EBX = saved_EBX;
447#endif
448#ifdef reg_ESP
449 ESP = saved_ESP;
450#endif
451#ifdef reg_EBP
452 EBP = saved_EBP;
453#endif
454#ifdef reg_ESI
455 ESI = saved_ESI;
456#endif
457#ifdef reg_EDI
458 EDI = saved_EDI;
459#endif
bellard7d132992003-03-06 23:23:54 +0000460 T0 = saved_T0;
461 T1 = saved_T1;
462 A0 = saved_A0;
463 env = saved_env;
464 return ret;
465}
bellard6dbad632003-03-16 18:05:05 +0000466
bellard9de5e442003-03-23 16:49:39 +0000467void cpu_x86_interrupt(CPUX86State *s)
468{
469 s->interrupt_request = 1;
470}
471
472
bellard6dbad632003-03-16 18:05:05 +0000473void cpu_x86_load_seg(CPUX86State *s, int seg_reg, int selector)
474{
475 CPUX86State *saved_env;
476
477 saved_env = env;
478 env = s;
479 load_seg(seg_reg, selector);
480 env = saved_env;
481}
bellard9de5e442003-03-23 16:49:39 +0000482
483#undef EAX
484#undef ECX
485#undef EDX
486#undef EBX
487#undef ESP
488#undef EBP
489#undef ESI
490#undef EDI
491#undef EIP
492#include <signal.h>
493#include <sys/ucontext.h>
494
bellardb56dad12003-05-08 15:38:04 +0000495/* 'pc' is the host PC at which the exception was raised. 'address' is
496 the effective address of the memory exception */
bellard9de5e442003-03-23 16:49:39 +0000497static inline int handle_cpu_signal(unsigned long pc,
bellardb56dad12003-05-08 15:38:04 +0000498 unsigned long address,
bellard9de5e442003-03-23 16:49:39 +0000499 sigset_t *old_set)
500{
501#ifdef DEBUG_SIGNAL
502 printf("gemu: SIGSEGV pc=0x%08lx oldset=0x%08lx\n",
503 pc, *(unsigned long *)old_set);
504#endif
505 if (pc >= (unsigned long)code_gen_buffer &&
506 pc < (unsigned long)code_gen_buffer + CODE_GEN_BUFFER_SIZE) {
507 /* the PC is inside the translated code. It means that we have
508 a virtual CPU fault */
509 /* we restore the process signal mask as the sigreturn should
510 do it */
511 sigprocmask(SIG_SETMASK, old_set, NULL);
512 /* XXX: need to compute virtual pc position by retranslating
513 code. The rest of the CPU state should be correct. */
bellardb56dad12003-05-08 15:38:04 +0000514 env->cr2 = address;
515 /* XXX: more precise exception code */
516 raise_exception_err(EXCP0E_PAGE, 4);
bellard9de5e442003-03-23 16:49:39 +0000517 /* never comes here */
518 return 1;
519 } else {
520 return 0;
521 }
522}
523
524int cpu_x86_signal_handler(int host_signum, struct siginfo *info,
525 void *puc)
526{
527#if defined(__i386__)
528 struct ucontext *uc = puc;
529 unsigned long pc;
530 sigset_t *pold_set;
531
bellardd691f662003-03-24 21:58:34 +0000532#ifndef REG_EIP
533/* for glibc 2.1 */
534#define REG_EIP EIP
535#endif
bellardfc2b4c42003-03-29 16:52:44 +0000536 pc = uc->uc_mcontext.gregs[REG_EIP];
bellard9de5e442003-03-23 16:49:39 +0000537 pold_set = &uc->uc_sigmask;
bellardb56dad12003-05-08 15:38:04 +0000538 return handle_cpu_signal(pc, (unsigned long)info->si_addr, pold_set);
bellard9de5e442003-03-23 16:49:39 +0000539#else
540#warning No CPU specific signal handler: cannot handle target SIGSEGV events
541 return 0;
542#endif
543}