translate-copy.c@ 1

Last change on this file since 1 was 1, checked in by vboxsync, 55 years ago
import
Property svn:eol-style set to `native`
File size: 33.8 KB

Line
1	/*
2	* i386 on i386 translation
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	#include "config.h"
21
22	#include <stdarg.h>
23	#include <stdlib.h>
24	#include <stdio.h>
25	#include <string.h>
26	#include <inttypes.h>
27	#include <assert.h>
28
29	#include "cpu.h"
30	#include "exec-all.h"
31	#include "disas.h"
32
33	#ifdef USE_CODE_COPY
34
35	#include <signal.h>
36	#include <sys/mman.h>
37	#include <sys/ucontext.h>
38
39	extern char exec_loop;
40
41	/* operand size */
42	enum {
43	OT_BYTE = 0,
44	OT_WORD,
45	OT_LONG,
46	OT_QUAD,
47	};
48
49	#define PREFIX_REPZ 0x01
50	#define PREFIX_REPNZ 0x02
51	#define PREFIX_LOCK 0x04
52	#define PREFIX_DATA 0x08
53	#define PREFIX_ADR 0x10
54
55	typedef struct DisasContext {
56	/* current insn context */
57	int override; /* -1 if no override */
58	int prefix;
59	int aflag, dflag;
60	target_ulong pc; /* pc = eip + cs_base */
61	int is_jmp; /* 1 = means jump (stop translation), 2 means CPU
62	static state change (stop translation) */
63	/* code output */
64	uint8_t *gen_code_ptr;
65	uint8_t *gen_code_start;
66
67	/* current block context */
68	target_ulong cs_base; /* base of CS segment */
69	int pe; /* protected mode */
70	int code32; /* 32 bit code segment */
71	int f_st; /* currently unused */
72	int vm86; /* vm86 mode */
73	int cpl;
74	int iopl;
75	int flags;
76	struct TranslationBlock *tb;
77	} DisasContext;
78
79	#define CPU_FIELD_OFFSET(field) offsetof(CPUState, field)
80
81	#define CPU_SEG 0x64 /* fs override */
82
83	static inline void gb(DisasContext *s, uint32_t val)
84	{
85	*s->gen_code_ptr++ = val;
86	}
87
88	static inline void gw(DisasContext *s, uint32_t val)
89	{
90	*s->gen_code_ptr++ = val;
91	*s->gen_code_ptr++ = val >> 8;
92	}
93
94	static inline void gl(DisasContext *s, uint32_t val)
95	{
96	*s->gen_code_ptr++ = val;
97	*s->gen_code_ptr++ = val >> 8;
98	*s->gen_code_ptr++ = val >> 16;
99	*s->gen_code_ptr++ = val >> 24;
100	}
101
102	static inline void gjmp(DisasContext *s, long val)
103	{
104	gb(s, 0xe9); /* jmp */
105	gl(s, val - (long)(s->gen_code_ptr + 4));
106	}
107
108	static inline void gen_movl_addr_im(DisasContext *s,
109	uint32_t addr, uint32_t val)
110	{
111	gb(s, CPU_SEG); /* seg movl im, addr */
112	gb(s, 0xc7);
113	gb(s, 0x05);
114	gl(s, addr);
115	gl(s, val);
116	}
117
118	static inline void gen_movw_addr_im(DisasContext *s,
119	uint32_t addr, uint32_t val)
120	{
121	gb(s, CPU_SEG); /* seg movl im, addr */
122	gb(s, 0x66);
123	gb(s, 0xc7);
124	gb(s, 0x05);
125	gl(s, addr);
126	gw(s, val);
127	}
128
129
130	static void gen_jmp(DisasContext *s, uint32_t target_eip)
131	{
132	TranslationBlock *tb = s->tb;
133
134	gb(s, 0xe9); /* jmp */
135	tb->tb_jmp_offset[0] = s->gen_code_ptr - s->gen_code_start;
136	gl(s, 0);
137
138	tb->tb_next_offset[0] = s->gen_code_ptr - s->gen_code_start;
139	gen_movl_addr_im(s, CPU_FIELD_OFFSET(eip), target_eip);
140	gen_movl_addr_im(s, CPU_FIELD_OFFSET(tmp0), (uint32_t)tb);
141	gjmp(s, (long)&exec_loop);
142
143	s->is_jmp = 1;
144	}
145
146	static void gen_jcc(DisasContext *s, int op,
147	uint32_t target_eip, uint32_t next_eip)
148	{
149	TranslationBlock *tb = s->tb;
150
151	gb(s, 0x0f); /* jcc */
152	gb(s, 0x80 + op);
153	tb->tb_jmp_offset[0] = s->gen_code_ptr - s->gen_code_start;
154	gl(s, 0);
155	gb(s, 0xe9); /* jmp */
156	tb->tb_jmp_offset[1] = s->gen_code_ptr - s->gen_code_start;
157	gl(s, 0);
158
159	tb->tb_next_offset[0] = s->gen_code_ptr - s->gen_code_start;
160	gen_movl_addr_im(s, CPU_FIELD_OFFSET(eip), target_eip);
161	gen_movl_addr_im(s, CPU_FIELD_OFFSET(tmp0), (uint32_t)tb);
162	gjmp(s, (long)&exec_loop);
163
164	tb->tb_next_offset[1] = s->gen_code_ptr - s->gen_code_start;
165	gen_movl_addr_im(s, CPU_FIELD_OFFSET(eip), next_eip);
166	gen_movl_addr_im(s, CPU_FIELD_OFFSET(tmp0), (uint32_t)tb \| 1);
167	gjmp(s, (long)&exec_loop);
168
169	s->is_jmp = 1;
170	}
171
172	static void gen_eob(DisasContext *s)
173	{
174	gen_movl_addr_im(s, CPU_FIELD_OFFSET(tmp0), 0);
175	gjmp(s, (long)&exec_loop);
176
177	s->is_jmp = 1;
178	}
179
180	static inline void gen_lea_modrm(DisasContext *s, int modrm)
181	{
182	int havesib;
183	int base, disp;
184	int index;
185	int scale;
186	int mod, rm, code;
187
188	mod = (modrm >> 6) & 3;
189	rm = modrm & 7;
190
191	if (s->aflag) {
192
193	havesib = 0;
194	base = rm;
195	index = 0;
196	scale = 0;
197
198	if (base == 4) {
199	havesib = 1;
200	code = ldub_code(s->pc++);
201	scale = (code >> 6) & 3;
202	index = (code >> 3) & 7;
203	base = code & 7;
204	}
205
206	switch (mod) {
207	case 0:
208	if (base == 5) {
209	base = -1;
210	disp = ldl_code(s->pc);
211	s->pc += 4;
212	} else {
213	disp = 0;
214	}
215	break;
216	case 1:
217	disp = (int8_t)ldub_code(s->pc++);
218	break;
219	default:
220	case 2:
221	disp = ldl_code(s->pc);
222	s->pc += 4;
223	break;
224	}
225
226	} else {
227	switch (mod) {
228	case 0:
229	if (rm == 6) {
230	disp = lduw_code(s->pc);
231	s->pc += 2;
232	} else {
233	disp = 0;
234	}
235	break;
236	case 1:
237	disp = (int8_t)ldub_code(s->pc++);
238	break;
239	default:
240	case 2:
241	disp = lduw_code(s->pc);
242	s->pc += 2;
243	break;
244	}
245	}
246	}
247
248	static inline void parse_modrm(DisasContext *s, int modrm)
249	{
250	if ((modrm & 0xc0) != 0xc0)
251	gen_lea_modrm(s, modrm);
252	}
253
254	static inline uint32_t insn_get(DisasContext *s, int ot)
255	{
256	uint32_t ret;
257
258	switch(ot) {
259	case OT_BYTE:
260	ret = ldub_code(s->pc);
261	s->pc++;
262	break;
263	case OT_WORD:
264	ret = lduw_code(s->pc);
265	s->pc += 2;
266	break;
267	default:
268	case OT_LONG:
269	ret = ldl_code(s->pc);
270	s->pc += 4;
271	break;
272	}
273	return ret;
274	}
275
276	/* convert one instruction. s->is_jmp is set if the translation must
277	be stopped. */
278	static int disas_insn(DisasContext *s)
279	{
280	target_ulong pc_start, pc_tmp, pc_start_insn;
281	int b, prefixes, aflag, dflag, next_eip, val;
282	int ot;
283	int modrm, mod, op, rm;
284
285	pc_start = s->pc;
286	prefixes = 0;
287	aflag = s->code32;
288	dflag = s->code32;
289	s->override = -1;
290	next_byte:
291	b = ldub_code(s->pc);
292	s->pc++;
293	/* check prefixes */
294	switch (b) {
295	case 0xf3:
296	prefixes \|= PREFIX_REPZ;
297	goto next_byte;
298	case 0xf2:
299	prefixes \|= PREFIX_REPNZ;
300	goto next_byte;
301	case 0xf0:
302	prefixes \|= PREFIX_LOCK;
303	goto next_byte;
304	case 0x2e:
305	s->override = R_CS;
306	goto next_byte;
307	case 0x36:
308	s->override = R_SS;
309	goto next_byte;
310	case 0x3e:
311	s->override = R_DS;
312	goto next_byte;
313	case 0x26:
314	s->override = R_ES;
315	goto next_byte;
316	case 0x64:
317	s->override = R_FS;
318	goto next_byte;
319	case 0x65:
320	s->override = R_GS;
321	goto next_byte;
322	case 0x66:
323	prefixes \|= PREFIX_DATA;
324	goto next_byte;
325	case 0x67:
326	prefixes \|= PREFIX_ADR;
327	goto next_byte;
328	}
329
330	if (prefixes & PREFIX_DATA)
331	dflag ^= 1;
332	if (prefixes & PREFIX_ADR)
333	aflag ^= 1;
334
335	s->prefix = prefixes;
336	s->aflag = aflag;
337	s->dflag = dflag;
338
339	/* lock generation */
340	if (prefixes & PREFIX_LOCK)
341	goto unsupported_op;
342	if (s->override == R_FS \|\| s->override == R_GS \|\| s->override == R_CS)
343	goto unsupported_op;
344
345	pc_start_insn = s->pc - 1;
346	/* now check op code */
347	reswitch:
348	switch(b) {
349	case 0x0f:
350	/**************************/
351	/* extended op code */
352	b = ldub_code(s->pc++) \| 0x100;
353	goto reswitch;
354
355	/**************************/
356	/* arith & logic */
357	case 0x00 ... 0x05:
358	case 0x08 ... 0x0d:
359	case 0x10 ... 0x15:
360	case 0x18 ... 0x1d:
361	case 0x20 ... 0x25:
362	case 0x28 ... 0x2d:
363	case 0x30 ... 0x35:
364	case 0x38 ... 0x3d:
365	{
366	int f;
367	f = (b >> 1) & 3;
368
369	if ((b & 1) == 0)
370	ot = OT_BYTE;
371	else
372	ot = dflag ? OT_LONG : OT_WORD;
373
374	switch(f) {
375	case 0: /* OP Ev, Gv */
376	modrm = ldub_code(s->pc++);
377	parse_modrm(s, modrm);
378	break;
379	case 1: /* OP Gv, Ev */
380	modrm = ldub_code(s->pc++);
381	parse_modrm(s, modrm);
382	break;
383	case 2: /* OP A, Iv */
384	insn_get(s, ot);
385	break;
386	}
387	}
388	break;
389
390	case 0x80: /* GRP1 */
391	case 0x81:
392	case 0x82:
393	case 0x83:
394	{
395	if ((b & 1) == 0)
396	ot = OT_BYTE;
397	else
398	ot = dflag ? OT_LONG : OT_WORD;
399
400	modrm = ldub_code(s->pc++);
401	parse_modrm(s, modrm);
402
403	switch(b) {
404	default:
405	case 0x80:
406	case 0x81:
407	case 0x82:
408	insn_get(s, ot);
409	break;
410	case 0x83:
411	insn_get(s, OT_BYTE);
412	break;
413	}
414	}
415	break;
416
417	/**************************/
418	/* inc, dec, and other misc arith */
419	case 0x40 ... 0x47: /* inc Gv */
420	break;
421	case 0x48 ... 0x4f: /* dec Gv */
422	break;
423	case 0xf6: /* GRP3 */
424	case 0xf7:
425	if ((b & 1) == 0)
426	ot = OT_BYTE;
427	else
428	ot = dflag ? OT_LONG : OT_WORD;
429
430	modrm = ldub_code(s->pc++);
431	op = (modrm >> 3) & 7;
432	parse_modrm(s, modrm);
433
434	switch(op) {
435	case 0: /* test */
436	insn_get(s, ot);
437	break;
438	case 2: /* not */
439	break;
440	case 3: /* neg */
441	break;
442	case 4: /* mul */
443	break;
444	case 5: /* imul */
445	break;
446	case 6: /* div */
447	break;
448	case 7: /* idiv */
449	break;
450	default:
451	goto illegal_op;
452	}
453	break;
454
455	case 0xfe: /* GRP4 */
456	case 0xff: /* GRP5 */
457	if ((b & 1) == 0)
458	ot = OT_BYTE;
459	else
460	ot = dflag ? OT_LONG : OT_WORD;
461
462	modrm = ldub_code(s->pc++);
463	mod = (modrm >> 6) & 3;
464	op = (modrm >> 3) & 7;
465	if (op >= 2 && b == 0xfe) {
466	goto illegal_op;
467	}
468	pc_tmp = s->pc;
469	parse_modrm(s, modrm);
470
471	switch(op) {
472	case 0: /* inc Ev */
473	break;
474	case 1: /* dec Ev */
475	break;
476	case 2: /* call Ev */
477	/* XXX: optimize and handle MEM exceptions specifically
478	fs movl %eax, regs[0]
479	movl Ev, %eax
480	pushl next_eip
481	fs movl %eax, eip
482	*/
483	goto unsupported_op;
484	case 3: /* lcall Ev */
485	goto unsupported_op;
486	case 4: /* jmp Ev */
487	/* XXX: optimize and handle MEM exceptions specifically
488	fs movl %eax, regs[0]
489	movl Ev, %eax
490	fs movl %eax, eip
491	*/
492	goto unsupported_op;
493	case 5: /* ljmp Ev */
494	goto unsupported_op;
495	case 6: /* push Ev */
496	break;
497	default:
498	goto illegal_op;
499	}
500	break;
501	case 0xa8: /* test eAX, Iv */
502	case 0xa9:
503	if ((b & 1) == 0)
504	ot = OT_BYTE;
505	else
506	ot = dflag ? OT_LONG : OT_WORD;
507	insn_get(s, ot);
508	break;
509
510	case 0x98: /* CWDE/CBW */
511	break;
512	case 0x99: /* CDQ/CWD */
513	break;
514	case 0x1af: /* imul Gv, Ev */
515	case 0x69: /* imul Gv, Ev, I */
516	case 0x6b:
517	ot = dflag ? OT_LONG : OT_WORD;
518	modrm = ldub_code(s->pc++);
519	parse_modrm(s, modrm);
520	if (b == 0x69) {
521	insn_get(s, ot);
522	} else if (b == 0x6b) {
523	insn_get(s, OT_BYTE);
524	} else {
525	}
526	break;
527
528	case 0x84: /* test Ev, Gv */
529	case 0x85:
530
531	case 0x1c0:
532	case 0x1c1: /* xadd Ev, Gv */
533
534	case 0x1b0:
535	case 0x1b1: /* cmpxchg Ev, Gv */
536
537	case 0x8f: /* pop Ev */
538
539	case 0x88:
540	case 0x89: /* mov Gv, Ev */
541
542	case 0x8a:
543	case 0x8b: /* mov Ev, Gv */
544
545	case 0x1b6: /* movzbS Gv, Eb */
546	case 0x1b7: /* movzwS Gv, Eb */
547	case 0x1be: /* movsbS Gv, Eb */
548	case 0x1bf: /* movswS Gv, Eb */
549
550	case 0x86:
551	case 0x87: /* xchg Ev, Gv */
552
553	case 0xd0:
554	case 0xd1: /* shift Ev,1 */
555
556	case 0xd2:
557	case 0xd3: /* shift Ev,cl */
558
559	case 0x1a5: /* shld cl */
560	case 0x1ad: /* shrd cl */
561
562	case 0x190 ... 0x19f: /* setcc Gv */
563
564	/* XXX: emulate cmov if not available ? */
565	case 0x140 ... 0x14f: /* cmov Gv, Ev */
566
567	case 0x1a3: /* bt Gv, Ev */
568	case 0x1ab: /* bts */
569	case 0x1b3: /* btr */
570	case 0x1bb: /* btc */
571
572	case 0x1bc: /* bsf */
573	case 0x1bd: /* bsr */
574
575	modrm = ldub_code(s->pc++);
576	parse_modrm(s, modrm);
577	break;
578
579	case 0x1c7: /* cmpxchg8b */
580	modrm = ldub_code(s->pc++);
581	mod = (modrm >> 6) & 3;
582	if (mod == 3)
583	goto illegal_op;
584	parse_modrm(s, modrm);
585	break;
586
587	/**************************/
588	/* push/pop */
589	case 0x50 ... 0x57: /* push */
590	case 0x58 ... 0x5f: /* pop */
591	case 0x60: /* pusha */
592	case 0x61: /* popa */
593	break;
594
595	case 0x68: /* push Iv */
596	case 0x6a:
597	ot = dflag ? OT_LONG : OT_WORD;
598	if (b == 0x68)
599	insn_get(s, ot);
600	else
601	insn_get(s, OT_BYTE);
602	break;
603	case 0xc8: /* enter */
604	lduw_code(s->pc);
605	s->pc += 2;
606	ldub_code(s->pc++);
607	break;
608	case 0xc9: /* leave */
609	break;
610
611	case 0x06: /* push es */
612	case 0x0e: /* push cs */
613	case 0x16: /* push ss */
614	case 0x1e: /* push ds */
615	/* XXX: optimize:
616	push segs[n].selector
617	*/
618	goto unsupported_op;
619	case 0x1a0: /* push fs */
620	case 0x1a8: /* push gs */
621	goto unsupported_op;
622	case 0x07: /* pop es */
623	case 0x17: /* pop ss */
624	case 0x1f: /* pop ds */
625	goto unsupported_op;
626	case 0x1a1: /* pop fs */
627	case 0x1a9: /* pop gs */
628	goto unsupported_op;
629	case 0x8e: /* mov seg, Gv */
630	/* XXX: optimize:
631	fs movl r, regs[]
632	movl segs[].selector, r
633	mov r, Gv
634	fs movl regs[], r
635	*/
636	goto unsupported_op;
637	case 0x8c: /* mov Gv, seg */
638	goto unsupported_op;
639	case 0xc4: /* les Gv */
640	op = R_ES;
641	goto do_lxx;
642	case 0xc5: /* lds Gv */
643	op = R_DS;
644	goto do_lxx;
645	case 0x1b2: /* lss Gv */
646	op = R_SS;
647	goto do_lxx;
648	case 0x1b4: /* lfs Gv */
649	op = R_FS;
650	goto do_lxx;
651	case 0x1b5: /* lgs Gv */
652	op = R_GS;
653	do_lxx:
654	goto unsupported_op;
655	/************************/
656	/* floats */
657	case 0xd8 ... 0xdf:
658	#if 1
659	/* currently not stable enough */
660	goto unsupported_op;
661	#else
662	if (s->flags & (HF_EM_MASK \| HF_TS_MASK))
663	goto unsupported_op;
664	#endif
665	#if 0
666	/* for testing FPU context switch */
667	{
668	static int count;
669	count = (count + 1) % 3;
670	if (count != 0)
671	goto unsupported_op;
672	}
673	#endif
674	modrm = ldub_code(s->pc++);
675	mod = (modrm >> 6) & 3;
676	rm = modrm & 7;
677	op = ((b & 7) << 3) \| ((modrm >> 3) & 7);
678	if (mod != 3) {
679	/* memory op */
680	parse_modrm(s, modrm);
681	switch(op) {
682	case 0x00 ... 0x07: /* fxxxs */
683	case 0x10 ... 0x17: /* fixxxl */
684	case 0x20 ... 0x27: /* fxxxl */
685	case 0x30 ... 0x37: /* fixxx */
686	break;
687	case 0x08: /* flds */
688	case 0x0a: /* fsts */
689	case 0x0b: /* fstps */
690	case 0x18: /* fildl */
691	case 0x1a: /* fistl */
692	case 0x1b: /* fistpl */
693	case 0x28: /* fldl */
694	case 0x2a: /* fstl */
695	case 0x2b: /* fstpl */
696	case 0x38: /* filds */
697	case 0x3a: /* fists */
698	case 0x3b: /* fistps */
699	case 0x0c: /* fldenv mem */
700	case 0x0d: /* fldcw mem */
701	case 0x0e: /* fnstenv mem */
702	case 0x0f: /* fnstcw mem */
703	case 0x1d: /* fldt mem */
704	case 0x1f: /* fstpt mem */
705	case 0x2c: /* frstor mem */
706	case 0x2e: /* fnsave mem */
707	case 0x2f: /* fnstsw mem */
708	case 0x3c: /* fbld */
709	case 0x3e: /* fbstp */
710	case 0x3d: /* fildll */
711	case 0x3f: /* fistpll */
712	break;
713	default:
714	goto illegal_op;
715	}
716	} else {
717	/* register float ops */
718	switch(op) {
719	case 0x08: /* fld sti */
720	case 0x09: /* fxchg sti */
721	break;
722	case 0x0a: /* grp d9/2 */
723	switch(rm) {
724	case 0: /* fnop */
725	break;
726	default:
727	goto illegal_op;
728	}
729	break;
730	case 0x0c: /* grp d9/4 */
731	switch(rm) {
732	case 0: /* fchs */
733	case 1: /* fabs */
734	case 4: /* ftst */
735	case 5: /* fxam */
736	break;
737	default:
738	goto illegal_op;
739	}
740	break;
741	case 0x0d: /* grp d9/5 */
742	switch(rm) {
743	case 0:
744	case 1:
745	case 2:
746	case 3:
747	case 4:
748	case 5:
749	case 6:
750	break;
751	default:
752	goto illegal_op;
753	}
754	break;
755	case 0x0e: /* grp d9/6 */
756	break;
757	case 0x0f: /* grp d9/7 */
758	break;
759	case 0x00: case 0x01: case 0x04 ... 0x07: /* fxxx st, sti */
760	case 0x20: case 0x21: case 0x24 ... 0x27: /* fxxx sti, st */
761	case 0x30: case 0x31: case 0x34 ... 0x37: /* fxxxp sti, st */
762	break;
763	case 0x02: /* fcom */
764	break;
765	case 0x03: /* fcomp */
766	break;
767	case 0x15: /* da/5 */
768	switch(rm) {
769	case 1: /* fucompp */
770	break;
771	default:
772	goto illegal_op;
773	}
774	break;
775	case 0x1c:
776	switch(rm) {
777	case 0: /* feni (287 only, just do nop here) */
778	case 1: /* fdisi (287 only, just do nop here) */
779	goto unsupported_op;
780	case 2: /* fclex */
781	case 3: /* fninit */
782	case 4: /* fsetpm (287 only, just do nop here) */
783	break;
784	default:
785	goto illegal_op;
786	}
787	break;
788	case 0x1d: /* fucomi */
789	break;
790	case 0x1e: /* fcomi */
791	break;
792	case 0x28: /* ffree sti */
793	break;
794	case 0x2a: /* fst sti */
795	break;
796	case 0x2b: /* fstp sti */
797	break;
798	case 0x2c: /* fucom st(i) */
799	break;
800	case 0x2d: /* fucomp st(i) */
801	break;
802	case 0x33: /* de/3 */
803	switch(rm) {
804	case 1: /* fcompp */
805	break;
806	default:
807	goto illegal_op;
808	}
809	break;
810	case 0x3c: /* df/4 */
811	switch(rm) {
812	case 0:
813	break;
814	default:
815	goto illegal_op;
816	}
817	break;
818	case 0x3d: /* fucomip */
819	break;
820	case 0x3e: /* fcomip */
821	break;
822	case 0x10 ... 0x13: /* fcmovxx */
823	case 0x18 ... 0x1b:
824	break;
825	default:
826	goto illegal_op;
827	}
828	}
829	s->tb->cflags \|= CF_TB_FP_USED;
830	break;
831
832	/**************************/
833	/* mov */
834	case 0xc6:
835	case 0xc7: /* mov Ev, Iv */
836	if ((b & 1) == 0)
837	ot = OT_BYTE;
838	else
839	ot = dflag ? OT_LONG : OT_WORD;
840	modrm = ldub_code(s->pc++);
841	parse_modrm(s, modrm);
842	insn_get(s, ot);
843	break;
844
845	case 0x8d: /* lea */
846	ot = dflag ? OT_LONG : OT_WORD;
847	modrm = ldub_code(s->pc++);
848	mod = (modrm >> 6) & 3;
849	if (mod == 3)
850	goto illegal_op;
851	parse_modrm(s, modrm);
852	break;
853
854	case 0xa0: /* mov EAX, Ov */
855	case 0xa1:
856	case 0xa2: /* mov Ov, EAX */
857	case 0xa3:
858	if ((b & 1) == 0)
859	ot = OT_BYTE;
860	else
861	ot = dflag ? OT_LONG : OT_WORD;
862	if (s->aflag)
863	insn_get(s, OT_LONG);
864	else
865	insn_get(s, OT_WORD);
866	break;
867	case 0xd7: /* xlat */
868	break;
869	case 0xb0 ... 0xb7: /* mov R, Ib */
870	insn_get(s, OT_BYTE);
871	break;
872	case 0xb8 ... 0xbf: /* mov R, Iv */
873	ot = dflag ? OT_LONG : OT_WORD;
874	insn_get(s, ot);
875	break;
876
877	case 0x91 ... 0x97: /* xchg R, EAX */
878	break;
879
880	/************************/
881	/* shifts */
882	case 0xc0:
883	case 0xc1: /* shift Ev,imm */
884
885	case 0x1a4: /* shld imm */
886	case 0x1ac: /* shrd imm */
887	modrm = ldub_code(s->pc++);
888	parse_modrm(s, modrm);
889	ldub_code(s->pc++);
890	break;
891
892	/************************/
893	/* string ops */
894
895	case 0xa4: /* movsS */
896	case 0xa5:
897	break;
898
899	case 0xaa: /* stosS */
900	case 0xab:
901	break;
902
903	case 0xac: /* lodsS */
904	case 0xad:
905	break;
906
907	case 0xae: /* scasS */
908	case 0xaf:
909	break;
910
911	case 0xa6: /* cmpsS */
912	case 0xa7:
913	break;
914
915	case 0x6c: /* insS */
916	case 0x6d:
917	goto unsupported_op;
918
919	case 0x6e: /* outsS */
920	case 0x6f:
921	goto unsupported_op;
922
923	/************************/
924	/* port I/O */
925	case 0xe4:
926	case 0xe5:
927	goto unsupported_op;
928
929	case 0xe6:
930	case 0xe7:
931	goto unsupported_op;
932
933	case 0xec:
934	case 0xed:
935	goto unsupported_op;
936
937	case 0xee:
938	case 0xef:
939	goto unsupported_op;
940
941	/************************/
942	/* control */
943	#if 0
944	case 0xc2: /* ret im */
945	val = ldsw_code(s->pc);
946	s->pc += 2;
947	gen_pop_T0(s);
948	gen_stack_update(s, val + (2 << s->dflag));
949	if (s->dflag == 0)
950	gen_op_andl_T0_ffff();
951	gen_op_jmp_T0();
952	gen_eob(s);
953	break;
954	#endif
955
956	case 0xc3: /* ret */
957	gb(s, CPU_SEG);
958	if (!s->dflag)
959	gb(s, 0x66); /* d16 */
960	gb(s, 0x8f); /* pop addr */
961	gb(s, 0x05);
962	gl(s, CPU_FIELD_OFFSET(eip));
963	if (!s->dflag) {
964	/* reset high bits of EIP */
965	gen_movw_addr_im(s, CPU_FIELD_OFFSET(eip) + 2, 0);
966	}
967	gen_eob(s);
968	goto no_copy;
969	case 0xca: /* lret im */
970	case 0xcb: /* lret */
971	case 0xcf: /* iret */
972	case 0x9a: /* lcall im */
973	case 0xea: /* ljmp im */
974	goto unsupported_op;
975
976	case 0xe8: /* call im */
977	ot = dflag ? OT_LONG : OT_WORD;
978	val = insn_get(s, ot);
979	next_eip = s->pc - s->cs_base;
980	val += next_eip;
981	if (s->dflag) {
982	gb(s, 0x68); /* pushl imm */
983	gl(s, next_eip);
984	} else {
985	gb(s, 0x66); /* pushw imm */
986	gb(s, 0x68);
987	gw(s, next_eip);
988	val &= 0xffff;
989	}
990	gen_jmp(s, val);
991	goto no_copy;
992	case 0xe9: /* jmp */
993	ot = dflag ? OT_LONG : OT_WORD;
994	val = insn_get(s, ot);
995	val += s->pc - s->cs_base;
996	if (s->dflag == 0)
997	val = val & 0xffff;
998	gen_jmp(s, val);
999	goto no_copy;
1000	case 0xeb: /* jmp Jb */
1001	val = (int8_t)insn_get(s, OT_BYTE);
1002	val += s->pc - s->cs_base;
1003	if (s->dflag == 0)
1004	val = val & 0xffff;
1005	gen_jmp(s, val);
1006	goto no_copy;
1007	case 0x70 ... 0x7f: /* jcc Jb */
1008	val = (int8_t)insn_get(s, OT_BYTE);
1009	goto do_jcc;
1010	case 0x180 ... 0x18f: /* jcc Jv */
1011	if (dflag) {
1012	val = insn_get(s, OT_LONG);
1013	} else {
1014	val = (int16_t)insn_get(s, OT_WORD);
1015	}
1016	do_jcc:
1017	next_eip = s->pc - s->cs_base;
1018	val += next_eip;
1019	if (s->dflag == 0)
1020	val &= 0xffff;
1021	gen_jcc(s, b & 0xf, val, next_eip);
1022	goto no_copy;
1023
1024	/************************/
1025	/* flags */
1026	case 0x9c: /* pushf */
1027	/* XXX: put specific code ? */
1028	goto unsupported_op;
1029	case 0x9d: /* popf */
1030	goto unsupported_op;
1031
1032	case 0x9e: /* sahf */
1033	case 0x9f: /* lahf */
1034	case 0xf5: /* cmc */
1035	case 0xf8: /* clc */
1036	case 0xf9: /* stc */
1037	case 0xfc: /* cld */
1038	case 0xfd: /* std */
1039	break;
1040
1041	/************************/
1042	/* bit operations */
1043	case 0x1ba: /* bt/bts/btr/btc Gv, im */
1044	ot = dflag ? OT_LONG : OT_WORD;
1045	modrm = ldub_code(s->pc++);
1046	op = (modrm >> 3) & 7;
1047	parse_modrm(s, modrm);
1048	/* load shift */
1049	ldub_code(s->pc++);
1050	if (op < 4)
1051	goto illegal_op;
1052	break;
1053	/************************/
1054	/* bcd */
1055	case 0x27: /* daa */
1056	break;
1057	case 0x2f: /* das */
1058	break;
1059	case 0x37: /* aaa */
1060	break;
1061	case 0x3f: /* aas */
1062	break;
1063	case 0xd4: /* aam */
1064	ldub_code(s->pc++);
1065	break;
1066	case 0xd5: /* aad */
1067	ldub_code(s->pc++);
1068	break;
1069	/************************/
1070	/* misc */
1071	case 0x90: /* nop */
1072	break;
1073	case 0x9b: /* fwait */
1074	if ((s->flags & (HF_MP_MASK \| HF_TS_MASK)) ==
1075	(HF_MP_MASK \| HF_TS_MASK)) {
1076	goto unsupported_op;
1077	}
1078	break;
1079	case 0xcc: /* int3 */
1080	goto unsupported_op;
1081	case 0xcd: /* int N */
1082	goto unsupported_op;
1083	case 0xce: /* into */
1084	goto unsupported_op;
1085	case 0xf1: /* icebp (undocumented, exits to external debugger) */
1086	goto unsupported_op;
1087	case 0xfa: /* cli */
1088	goto unsupported_op;
1089	case 0xfb: /* sti */
1090	goto unsupported_op;
1091	case 0x62: /* bound */
1092	modrm = ldub_code(s->pc++);
1093	mod = (modrm >> 6) & 3;
1094	if (mod == 3)
1095	goto illegal_op;
1096	parse_modrm(s, modrm);
1097	break;
1098	case 0x1c8 ... 0x1cf: /* bswap reg */
1099	break;
1100	case 0xd6: /* salc */
1101	break;
1102	case 0xe0: /* loopnz */
1103	case 0xe1: /* loopz */
1104	case 0xe2: /* loop */
1105	case 0xe3: /* jecxz */
1106	goto unsupported_op;
1107
1108	case 0x130: /* wrmsr */
1109	case 0x132: /* rdmsr */
1110	goto unsupported_op;
1111	case 0x131: /* rdtsc */
1112	goto unsupported_op;
1113	case 0x1a2: /* cpuid */
1114	goto unsupported_op;
1115	case 0xf4: /* hlt */
1116	goto unsupported_op;
1117	case 0x100:
1118	goto unsupported_op;
1119	case 0x101:
1120	goto unsupported_op;
1121	case 0x108: /* invd */
1122	case 0x109: /* wbinvd */
1123	goto unsupported_op;
1124	case 0x63: /* arpl */
1125	goto unsupported_op;
1126	case 0x102: /* lar */
1127	case 0x103: /* lsl */
1128	goto unsupported_op;
1129	case 0x118:
1130	goto unsupported_op;
1131	case 0x120: /* mov reg, crN */
1132	case 0x122: /* mov crN, reg */
1133	goto unsupported_op;
1134	case 0x121: /* mov reg, drN */
1135	case 0x123: /* mov drN, reg */
1136	goto unsupported_op;
1137	case 0x106: /* clts */
1138	goto unsupported_op;
1139	default:
1140	goto illegal_op;
1141	}
1142
1143	/* just copy the code */
1144
1145	/* no override yet */
1146	if (!s->dflag)
1147	gb(s, 0x66);
1148	if (!s->aflag)
1149	gb(s, 0x67);
1150	if (prefixes & PREFIX_REPZ)
1151	gb(s, 0xf3);
1152	else if (prefixes & PREFIX_REPNZ)
1153	gb(s, 0xf2);
1154	{
1155	int len, i;
1156	len = s->pc - pc_start_insn;
1157	for(i = 0; i < len; i++) {
1158	*s->gen_code_ptr++ = ldub_code(pc_start_insn + i);
1159	}
1160	}
1161	no_copy:
1162	return 0;
1163	illegal_op:
1164	unsupported_op:
1165	/* fall back to slower code gen necessary */
1166	s->pc = pc_start;
1167	return -1;
1168	}
1169
1170	#define GEN_CODE_MAX_SIZE 8192
1171	#define GEN_CODE_MAX_INSN_SIZE 512
1172
1173	static inline int gen_intermediate_code_internal(CPUState *env,
1174	TranslationBlock *tb,
1175	uint8_t *gen_code_ptr,
1176	int *gen_code_size_ptr,
1177	int search_pc,
1178	uint8_t *tc_ptr)
1179	{
1180	DisasContext dc1, *dc = &dc1;
1181	target_ulong pc_insn, pc_start, cs_base;
1182	uint8_t *gen_code_end;
1183	int flags, ret;
1184
1185	if (env->nb_breakpoints > 0 \|\|
1186	env->singlestep_enabled)
1187	return -1;
1188	flags = tb->flags;
1189	if (flags & (HF_TF_MASK \| HF_ADDSEG_MASK \|
1190	HF_SOFTMMU_MASK \| HF_INHIBIT_IRQ_MASK))
1191	return -1;
1192	if (!(flags & HF_SS32_MASK))
1193	return -1;
1194	if (tb->cflags & CF_SINGLE_INSN)
1195	return -1;
1196	gen_code_end = gen_code_ptr +
1197	GEN_CODE_MAX_SIZE - GEN_CODE_MAX_INSN_SIZE;
1198	dc->gen_code_ptr = gen_code_ptr;
1199	dc->gen_code_start = gen_code_ptr;
1200
1201	/* generate intermediate code */
1202	pc_start = tb->pc;
1203	cs_base = tb->cs_base;
1204	dc->pc = pc_start;
1205	dc->cs_base = cs_base;
1206	dc->pe = (flags >> HF_PE_SHIFT) & 1;
1207	dc->code32 = (flags >> HF_CS32_SHIFT) & 1;
1208	dc->f_st = 0;
1209	dc->vm86 = (flags >> VM_SHIFT) & 1;
1210	dc->cpl = (flags >> HF_CPL_SHIFT) & 3;
1211	dc->iopl = (flags >> IOPL_SHIFT) & 3;
1212	dc->tb = tb;
1213	dc->flags = flags;
1214
1215	dc->is_jmp = 0;
1216
1217	for(;;) {
1218	pc_insn = dc->pc;
1219	ret = disas_insn(dc);
1220	if (ret < 0) {
1221	/* unsupported insn */
1222	if (dc->pc == pc_start) {
1223	/* if first instruction, signal that no copying was done */
1224	return -1;
1225	} else {
1226	gen_jmp(dc, dc->pc - dc->cs_base);
1227	dc->is_jmp = 1;
1228	}
1229	}
1230	if (search_pc) {
1231	/* search pc mode */
1232	if (tc_ptr < dc->gen_code_ptr) {
1233	env->eip = pc_insn - cs_base;
1234	return 0;
1235	}
1236	}
1237	/* stop translation if indicated */
1238	if (dc->is_jmp)
1239	break;
1240	/* if too long translation, stop generation */
1241	if (dc->gen_code_ptr >= gen_code_end \|\|
1242	(dc->pc - pc_start) >= (TARGET_PAGE_SIZE - 32)) {
1243	gen_jmp(dc, dc->pc - dc->cs_base);
1244	break;
1245	}
1246	}
1247
1248	#ifdef DEBUG_DISAS
1249	if (loglevel & CPU_LOG_TB_IN_ASM) {
1250	fprintf(logfile, "----------------\n");
1251	fprintf(logfile, "IN: COPY: %s fpu=%d\n",
1252	lookup_symbol(pc_start),
1253	tb->cflags & CF_TB_FP_USED ? 1 : 0);
1254	target_disas(logfile, pc_start, dc->pc - pc_start, !dc->code32);
1255	fprintf(logfile, "\n");
1256	}
1257	#endif
1258
1259	if (!search_pc) {
1260	*gen_code_size_ptr = dc->gen_code_ptr - dc->gen_code_start;
1261	tb->size = dc->pc - pc_start;
1262	tb->cflags \|= CF_CODE_COPY;
1263	return 0;
1264	} else {
1265	return -1;
1266	}
1267	}
1268
1269	/* generate code by just copying data. Return -1 if cannot generate
1270	any code. Return 0 if code was generated */
1271	int cpu_gen_code_copy(CPUState env, TranslationBlock tb,
1272	int max_code_size, int *gen_code_size_ptr)
1273	{
1274	/* generate machine code */
1275	tb->tb_next_offset[0] = 0xffff;
1276	tb->tb_next_offset[1] = 0xffff;
1277	#ifdef USE_DIRECT_JUMP
1278	/* the following two entries are optional (only used for string ops) */
1279	tb->tb_jmp_offset[2] = 0xffff;
1280	tb->tb_jmp_offset[3] = 0xffff;
1281	#endif
1282	return gen_intermediate_code_internal(env, tb,
1283	tb->tc_ptr, gen_code_size_ptr,
1284	0, NULL);
1285	}
1286
1287	static uint8_t dummy_gen_code_buf[GEN_CODE_MAX_SIZE];
1288
1289	int cpu_restore_state_copy(TranslationBlock *tb,
1290	CPUState *env, unsigned long searched_pc,
1291	void *puc)
1292	{
1293	struct ucontext *uc = puc;
1294	int ret, eflags;
1295
1296	/* find opc index corresponding to search_pc */
1297	if (searched_pc < (unsigned long)tb->tc_ptr)
1298	return -1;
1299	searched_pc = searched_pc - (long)tb->tc_ptr + (long)dummy_gen_code_buf;
1300	ret = gen_intermediate_code_internal(env, tb,
1301	dummy_gen_code_buf, NULL,
1302	1, (uint8_t *)searched_pc);
1303	if (ret < 0)
1304	return ret;
1305	/* restore all the CPU state from the CPU context from the
1306	signal. The FPU context stays in the host CPU. */
1307
1308	env->regs[R_EAX] = uc->uc_mcontext.gregs[REG_EAX];
1309	env->regs[R_ECX] = uc->uc_mcontext.gregs[REG_ECX];
1310	env->regs[R_EDX] = uc->uc_mcontext.gregs[REG_EDX];
1311	env->regs[R_EBX] = uc->uc_mcontext.gregs[REG_EBX];
1312	env->regs[R_ESP] = uc->uc_mcontext.gregs[REG_ESP];
1313	env->regs[R_EBP] = uc->uc_mcontext.gregs[REG_EBP];
1314	env->regs[R_ESI] = uc->uc_mcontext.gregs[REG_ESI];
1315	env->regs[R_EDI] = uc->uc_mcontext.gregs[REG_EDI];
1316	eflags = uc->uc_mcontext.gregs[REG_EFL];
1317	env->df = 1 - (2 * ((eflags >> 10) & 1));
1318	env->cc_src = eflags & (CC_O \| CC_S \| CC_Z \| CC_A \| CC_P \| CC_C);
1319	env->cc_op = CC_OP_EFLAGS;
1320	return 0;
1321	}
1322
1323	#endif /* USE_CODE_COPY */

Note: See TracBrowser for help on using the repository browser.

source: vbox/trunk/src/recompiler/target-i386/translate-copy.c@ 1

Download in other formats: