]> git.proxmox.com Git - mirror_qemu.git/blame - target-i386/translate.c
projects / mirror_qemu.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
added ffree
[mirror_qemu.git] / target-i386 / translate.c
CommitLineData
2c0262af
FB		 1/*
2 * 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 <stdarg.h>
21#include <stdlib.h>
22#include <stdio.h>
23#include <string.h>
24#include <inttypes.h>
25#include <signal.h>
26#include <assert.h>
2c0262af
FB		 27
28#include "cpu.h"
29#include "exec-all.h"
30#include "disas.h"
31
32/* XXX: move that elsewhere */
33static uint16_t *gen_opc_ptr;
34static uint32_t *gen_opparam_ptr;
35
36#define PREFIX_REPZ 0x01
37#define PREFIX_REPNZ 0x02
38#define PREFIX_LOCK 0x04
39#define PREFIX_DATA 0x08
40#define PREFIX_ADR 0x10
41
42typedef struct DisasContext {
43 /* current insn context */
44 int override; /* -1 if no override */
45 int prefix;
46 int aflag, dflag;
47 uint8_t *pc; /* pc = eip + cs_base */
48 int is_jmp; /* 1 = means jump (stop translation), 2 means CPU
49 static state change (stop translation) */
50 /* current block context */
51 uint8_t *cs_base; /* base of CS segment */
52 int pe; /* protected mode */
53 int code32; /* 32 bit code segment */
54 int ss32; /* 32 bit stack segment */
55 int cc_op; /* current CC operation */
56 int addseg; /* non zero if either DS/ES/SS have a non zero base */
57 int f_st; /* currently unused */
58 int vm86; /* vm86 mode */
59 int cpl;
60 int iopl;
61 int tf; /* TF cpu flag */
34865134 62 int singlestep_enabled; /* "hardware" single step enabled */
2c0262af
FB		 63 int jmp_opt; /* use direct block chaining for direct jumps */
64 int mem_index; /* select memory access functions */
7eee2a50 65 int flags; /* all execution flags */
2c0262af
FB		 66 struct TranslationBlock *tb;
67 int popl_esp_hack; /* for correct popl with esp base handling */
68} DisasContext;
69
70static void gen_eob(DisasContext *s);
71static void gen_jmp(DisasContext *s, unsigned int eip);
72
73/* i386 arith/logic operations */
74enum {
75 OP_ADDL,
76 OP_ORL,
77 OP_ADCL,
78 OP_SBBL,
79 OP_ANDL,
80 OP_SUBL,
81 OP_XORL,
82 OP_CMPL,
83};
84
85/* i386 shift ops */
86enum {
87 OP_ROL,
88 OP_ROR,
89 OP_RCL,
90 OP_RCR,
91 OP_SHL,
92 OP_SHR,
93 OP_SHL1, /* undocumented */
94 OP_SAR = 7,
95};
96
97enum {
98#define DEF(s, n, copy_size) INDEX_op_ ## s,
99#include "opc.h"
100#undef DEF
101 NB_OPS,
102};
103
104#include "gen-op.h"
105
106/* operand size */
107enum {
108 OT_BYTE = 0,
109 OT_WORD,
110 OT_LONG,
111 OT_QUAD,
112};
113
114enum {
115 /* I386 int registers */
116 OR_EAX, /* MUST be even numbered */
117 OR_ECX,
118 OR_EDX,
119 OR_EBX,
120 OR_ESP,
121 OR_EBP,
122 OR_ESI,
123 OR_EDI,
124 OR_TMP0, /* temporary operand register */
125 OR_TMP1,
126 OR_A0, /* temporary register used when doing address evaluation */
127 OR_ZERO, /* fixed zero register */
128 NB_OREGS,
129};
130
2c0262af
FB		 131static GenOpFunc *gen_op_mov_reg_T0[3][8] = {
132 [OT_BYTE] = {
133 gen_op_movb_EAX_T0,
134 gen_op_movb_ECX_T0,
135 gen_op_movb_EDX_T0,
136 gen_op_movb_EBX_T0,
137 gen_op_movh_EAX_T0,
138 gen_op_movh_ECX_T0,
139 gen_op_movh_EDX_T0,
140 gen_op_movh_EBX_T0,
141 },
142 [OT_WORD] = {
143 gen_op_movw_EAX_T0,
144 gen_op_movw_ECX_T0,
145 gen_op_movw_EDX_T0,
146 gen_op_movw_EBX_T0,
147 gen_op_movw_ESP_T0,
148 gen_op_movw_EBP_T0,
149 gen_op_movw_ESI_T0,
150 gen_op_movw_EDI_T0,
151 },
152 [OT_LONG] = {
153 gen_op_movl_EAX_T0,
154 gen_op_movl_ECX_T0,
155 gen_op_movl_EDX_T0,
156 gen_op_movl_EBX_T0,
157 gen_op_movl_ESP_T0,
158 gen_op_movl_EBP_T0,
159 gen_op_movl_ESI_T0,
160 gen_op_movl_EDI_T0,
161 },
162};
163
164static GenOpFunc *gen_op_mov_reg_T1[3][8] = {
165 [OT_BYTE] = {
166 gen_op_movb_EAX_T1,
167 gen_op_movb_ECX_T1,
168 gen_op_movb_EDX_T1,
169 gen_op_movb_EBX_T1,
170 gen_op_movh_EAX_T1,
171 gen_op_movh_ECX_T1,
172 gen_op_movh_EDX_T1,
173 gen_op_movh_EBX_T1,
174 },
175 [OT_WORD] = {
176 gen_op_movw_EAX_T1,
177 gen_op_movw_ECX_T1,
178 gen_op_movw_EDX_T1,
179 gen_op_movw_EBX_T1,
180 gen_op_movw_ESP_T1,
181 gen_op_movw_EBP_T1,
182 gen_op_movw_ESI_T1,
183 gen_op_movw_EDI_T1,
184 },
185 [OT_LONG] = {
186 gen_op_movl_EAX_T1,
187 gen_op_movl_ECX_T1,
188 gen_op_movl_EDX_T1,
189 gen_op_movl_EBX_T1,
190 gen_op_movl_ESP_T1,
191 gen_op_movl_EBP_T1,
192 gen_op_movl_ESI_T1,
193 gen_op_movl_EDI_T1,
194 },
195};
196
197static GenOpFunc *gen_op_mov_reg_A0[2][8] = {
198 [0] = {
199 gen_op_movw_EAX_A0,
200 gen_op_movw_ECX_A0,
201 gen_op_movw_EDX_A0,
202 gen_op_movw_EBX_A0,
203 gen_op_movw_ESP_A0,
204 gen_op_movw_EBP_A0,
205 gen_op_movw_ESI_A0,
206 gen_op_movw_EDI_A0,
207 },
208 [1] = {
209 gen_op_movl_EAX_A0,
210 gen_op_movl_ECX_A0,
211 gen_op_movl_EDX_A0,
212 gen_op_movl_EBX_A0,
213 gen_op_movl_ESP_A0,
214 gen_op_movl_EBP_A0,
215 gen_op_movl_ESI_A0,
216 gen_op_movl_EDI_A0,
217 },
218};
219
220static GenOpFunc *gen_op_mov_TN_reg[3][2][8] =
221{
222 [OT_BYTE] = {
223 {
224 gen_op_movl_T0_EAX,
225 gen_op_movl_T0_ECX,
226 gen_op_movl_T0_EDX,
227 gen_op_movl_T0_EBX,
228 gen_op_movh_T0_EAX,
229 gen_op_movh_T0_ECX,
230 gen_op_movh_T0_EDX,
231 gen_op_movh_T0_EBX,
232 },
233 {
234 gen_op_movl_T1_EAX,
235 gen_op_movl_T1_ECX,
236 gen_op_movl_T1_EDX,
237 gen_op_movl_T1_EBX,
238 gen_op_movh_T1_EAX,
239 gen_op_movh_T1_ECX,
240 gen_op_movh_T1_EDX,
241 gen_op_movh_T1_EBX,
242 },
243 },
244 [OT_WORD] = {
245 {
246 gen_op_movl_T0_EAX,
247 gen_op_movl_T0_ECX,
248 gen_op_movl_T0_EDX,
249 gen_op_movl_T0_EBX,
250 gen_op_movl_T0_ESP,
251 gen_op_movl_T0_EBP,
252 gen_op_movl_T0_ESI,
253 gen_op_movl_T0_EDI,
254 },
255 {
256 gen_op_movl_T1_EAX,
257 gen_op_movl_T1_ECX,
258 gen_op_movl_T1_EDX,
259 gen_op_movl_T1_EBX,
260 gen_op_movl_T1_ESP,
261 gen_op_movl_T1_EBP,
262 gen_op_movl_T1_ESI,
263 gen_op_movl_T1_EDI,
264 },
265 },
266 [OT_LONG] = {
267 {
268 gen_op_movl_T0_EAX,
269 gen_op_movl_T0_ECX,
270 gen_op_movl_T0_EDX,
271 gen_op_movl_T0_EBX,
272 gen_op_movl_T0_ESP,
273 gen_op_movl_T0_EBP,
274 gen_op_movl_T0_ESI,
275 gen_op_movl_T0_EDI,
276 },
277 {
278 gen_op_movl_T1_EAX,
279 gen_op_movl_T1_ECX,
280 gen_op_movl_T1_EDX,
281 gen_op_movl_T1_EBX,
282 gen_op_movl_T1_ESP,
283 gen_op_movl_T1_EBP,
284 gen_op_movl_T1_ESI,
285 gen_op_movl_T1_EDI,
286 },
287 },
288};
289
290static GenOpFunc *gen_op_movl_A0_reg[8] = {
291 gen_op_movl_A0_EAX,
292 gen_op_movl_A0_ECX,
293 gen_op_movl_A0_EDX,
294 gen_op_movl_A0_EBX,
295 gen_op_movl_A0_ESP,
296 gen_op_movl_A0_EBP,
297 gen_op_movl_A0_ESI,
298 gen_op_movl_A0_EDI,
299};
300
301static GenOpFunc *gen_op_addl_A0_reg_sN[4][8] = {
302 [0] = {
303 gen_op_addl_A0_EAX,
304 gen_op_addl_A0_ECX,
305 gen_op_addl_A0_EDX,
306 gen_op_addl_A0_EBX,
307 gen_op_addl_A0_ESP,
308 gen_op_addl_A0_EBP,
309 gen_op_addl_A0_ESI,
310 gen_op_addl_A0_EDI,
311 },
312 [1] = {
313 gen_op_addl_A0_EAX_s1,
314 gen_op_addl_A0_ECX_s1,
315 gen_op_addl_A0_EDX_s1,
316 gen_op_addl_A0_EBX_s1,
317 gen_op_addl_A0_ESP_s1,
318 gen_op_addl_A0_EBP_s1,
319 gen_op_addl_A0_ESI_s1,
320 gen_op_addl_A0_EDI_s1,
321 },
322 [2] = {
323 gen_op_addl_A0_EAX_s2,
324 gen_op_addl_A0_ECX_s2,
325 gen_op_addl_A0_EDX_s2,
326 gen_op_addl_A0_EBX_s2,
327 gen_op_addl_A0_ESP_s2,
328 gen_op_addl_A0_EBP_s2,
329 gen_op_addl_A0_ESI_s2,
330 gen_op_addl_A0_EDI_s2,
331 },
332 [3] = {
333 gen_op_addl_A0_EAX_s3,
334 gen_op_addl_A0_ECX_s3,
335 gen_op_addl_A0_EDX_s3,
336 gen_op_addl_A0_EBX_s3,
337 gen_op_addl_A0_ESP_s3,
338 gen_op_addl_A0_EBP_s3,
339 gen_op_addl_A0_ESI_s3,
340 gen_op_addl_A0_EDI_s3,
341 },
342};
343
344static GenOpFunc *gen_op_cmov_reg_T1_T0[2][8] = {
345 [0] = {
346 gen_op_cmovw_EAX_T1_T0,
347 gen_op_cmovw_ECX_T1_T0,
348 gen_op_cmovw_EDX_T1_T0,
349 gen_op_cmovw_EBX_T1_T0,
350 gen_op_cmovw_ESP_T1_T0,
351 gen_op_cmovw_EBP_T1_T0,
352 gen_op_cmovw_ESI_T1_T0,
353 gen_op_cmovw_EDI_T1_T0,
354 },
355 [1] = {
356 gen_op_cmovl_EAX_T1_T0,
357 gen_op_cmovl_ECX_T1_T0,
358 gen_op_cmovl_EDX_T1_T0,
359 gen_op_cmovl_EBX_T1_T0,
360 gen_op_cmovl_ESP_T1_T0,
361 gen_op_cmovl_EBP_T1_T0,
362 gen_op_cmovl_ESI_T1_T0,
363 gen_op_cmovl_EDI_T1_T0,
364 },
365};
366
367static GenOpFunc *gen_op_arith_T0_T1_cc[8] = {
368 NULL,
369 gen_op_orl_T0_T1,
370 NULL,
371 NULL,
372 gen_op_andl_T0_T1,
373 NULL,
374 gen_op_xorl_T0_T1,
375 NULL,
376};
377
4f31916f
FB		 378#define DEF_ARITHC(SUFFIX)\
379 {\
380 gen_op_adcb ## SUFFIX ## _T0_T1_cc,\
381 gen_op_sbbb ## SUFFIX ## _T0_T1_cc,\
382 },\
383 {\
384 gen_op_adcw ## SUFFIX ## _T0_T1_cc,\
385 gen_op_sbbw ## SUFFIX ## _T0_T1_cc,\
386 },\
387 {\
388 gen_op_adcl ## SUFFIX ## _T0_T1_cc,\
389 gen_op_sbbl ## SUFFIX ## _T0_T1_cc,\
2c0262af 390 },
4f31916f
FB		 391
392static GenOpFunc *gen_op_arithc_T0_T1_cc[3][2] = {
4bb2fcc7 393 DEF_ARITHC( )
2c0262af
FB		 394};
395
4f31916f
FB		 396static GenOpFunc *gen_op_arithc_mem_T0_T1_cc[9][2] = {
397 DEF_ARITHC(_raw)
398#ifndef CONFIG_USER_ONLY
399 DEF_ARITHC(_kernel)
400 DEF_ARITHC(_user)
401#endif
2c0262af
FB		 402};
403
404static const int cc_op_arithb[8] = {
405 CC_OP_ADDB,
406 CC_OP_LOGICB,
407 CC_OP_ADDB,
408 CC_OP_SUBB,
409 CC_OP_LOGICB,
410 CC_OP_SUBB,
411 CC_OP_LOGICB,
412 CC_OP_SUBB,
413};
414
4f31916f
FB		 415#define DEF_CMPXCHG(SUFFIX)\
416 gen_op_cmpxchgb ## SUFFIX ## _T0_T1_EAX_cc,\
417 gen_op_cmpxchgw ## SUFFIX ## _T0_T1_EAX_cc,\
418 gen_op_cmpxchgl ## SUFFIX ## _T0_T1_EAX_cc,
419
420
2c0262af 421static GenOpFunc *gen_op_cmpxchg_T0_T1_EAX_cc[3] = {
4bb2fcc7 422 DEF_CMPXCHG( )
2c0262af
FB		 423};
424
4f31916f
FB		 425static GenOpFunc *gen_op_cmpxchg_mem_T0_T1_EAX_cc[9] = {
426 DEF_CMPXCHG(_raw)
427#ifndef CONFIG_USER_ONLY
428 DEF_CMPXCHG(_kernel)
429 DEF_CMPXCHG(_user)
430#endif
2c0262af
FB		 431};
432
4f31916f
FB		 433#define DEF_SHIFT(SUFFIX)\
434 {\
435 gen_op_rolb ## SUFFIX ## _T0_T1_cc,\
436 gen_op_rorb ## SUFFIX ## _T0_T1_cc,\
437 gen_op_rclb ## SUFFIX ## _T0_T1_cc,\
438 gen_op_rcrb ## SUFFIX ## _T0_T1_cc,\
439 gen_op_shlb ## SUFFIX ## _T0_T1_cc,\
440 gen_op_shrb ## SUFFIX ## _T0_T1_cc,\
441 gen_op_shlb ## SUFFIX ## _T0_T1_cc,\
442 gen_op_sarb ## SUFFIX ## _T0_T1_cc,\
443 },\
444 {\
445 gen_op_rolw ## SUFFIX ## _T0_T1_cc,\
446 gen_op_rorw ## SUFFIX ## _T0_T1_cc,\
447 gen_op_rclw ## SUFFIX ## _T0_T1_cc,\
448 gen_op_rcrw ## SUFFIX ## _T0_T1_cc,\
449 gen_op_shlw ## SUFFIX ## _T0_T1_cc,\
450 gen_op_shrw ## SUFFIX ## _T0_T1_cc,\
451 gen_op_shlw ## SUFFIX ## _T0_T1_cc,\
452 gen_op_sarw ## SUFFIX ## _T0_T1_cc,\
453 },\
454 {\
455 gen_op_roll ## SUFFIX ## _T0_T1_cc,\
456 gen_op_rorl ## SUFFIX ## _T0_T1_cc,\
457 gen_op_rcll ## SUFFIX ## _T0_T1_cc,\
458 gen_op_rcrl ## SUFFIX ## _T0_T1_cc,\
459 gen_op_shll ## SUFFIX ## _T0_T1_cc,\
460 gen_op_shrl ## SUFFIX ## _T0_T1_cc,\
461 gen_op_shll ## SUFFIX ## _T0_T1_cc,\
462 gen_op_sarl ## SUFFIX ## _T0_T1_cc,\
2c0262af 463 },
4f31916f
FB		 464
465static GenOpFunc *gen_op_shift_T0_T1_cc[3][8] = {
4bb2fcc7 466 DEF_SHIFT( )
2c0262af
FB		 467};
468
4f31916f
FB		 469static GenOpFunc *gen_op_shift_mem_T0_T1_cc[9][8] = {
470 DEF_SHIFT(_raw)
471#ifndef CONFIG_USER_ONLY
472 DEF_SHIFT(_kernel)
473 DEF_SHIFT(_user)
474#endif
2c0262af
FB		 475};
476
4f31916f
FB		 477#define DEF_SHIFTD(SUFFIX, op)\
478 {\
479 NULL,\
480 NULL,\
481 },\
482 {\
483 gen_op_shldw ## SUFFIX ## _T0_T1_ ## op ## _cc,\
484 gen_op_shrdw ## SUFFIX ## _T0_T1_ ## op ## _cc,\
485 },\
486 {\
487 gen_op_shldl ## SUFFIX ## _T0_T1_ ## op ## _cc,\
488 gen_op_shrdl ## SUFFIX ## _T0_T1_ ## op ## _cc,\
2c0262af 489 },
4f31916f
FB		 490
491
492static GenOpFunc1 *gen_op_shiftd_T0_T1_im_cc[3][2] = {
493 DEF_SHIFTD(, im)
2c0262af
FB		 494};
495
4f31916f
FB		 496static GenOpFunc *gen_op_shiftd_T0_T1_ECX_cc[3][2] = {
497 DEF_SHIFTD(, ECX)
2c0262af
FB		 498};
499
4f31916f
FB		 500static GenOpFunc1 *gen_op_shiftd_mem_T0_T1_im_cc[9][2] = {
501 DEF_SHIFTD(_raw, im)
502#ifndef CONFIG_USER_ONLY
503 DEF_SHIFTD(_kernel, im)
504 DEF_SHIFTD(_user, im)
505#endif
2c0262af
FB		 506};
507
4f31916f
FB		 508static GenOpFunc *gen_op_shiftd_mem_T0_T1_ECX_cc[9][2] = {
509 DEF_SHIFTD(_raw, ECX)
510#ifndef CONFIG_USER_ONLY
511 DEF_SHIFTD(_kernel, ECX)
512 DEF_SHIFTD(_user, ECX)
513#endif
2c0262af
FB		 514};
515
516static GenOpFunc *gen_op_btx_T0_T1_cc[2][4] = {
517 [0] = {
518 gen_op_btw_T0_T1_cc,
519 gen_op_btsw_T0_T1_cc,
520 gen_op_btrw_T0_T1_cc,
521 gen_op_btcw_T0_T1_cc,
522 },
523 [1] = {
524 gen_op_btl_T0_T1_cc,
525 gen_op_btsl_T0_T1_cc,
526 gen_op_btrl_T0_T1_cc,
527 gen_op_btcl_T0_T1_cc,
528 },
529};
530
531static GenOpFunc *gen_op_bsx_T0_cc[2][2] = {
532 [0] = {
533 gen_op_bsfw_T0_cc,
534 gen_op_bsrw_T0_cc,
535 },
536 [1] = {
537 gen_op_bsfl_T0_cc,
538 gen_op_bsrl_T0_cc,
539 },
540};
541
542static GenOpFunc *gen_op_lds_T0_A0[3 * 3] = {
61382a50
FB		 543 gen_op_ldsb_raw_T0_A0,
544 gen_op_ldsw_raw_T0_A0,
2c0262af 545 NULL,
61382a50 546#ifndef CONFIG_USER_ONLY
2c0262af
FB		 547 gen_op_ldsb_kernel_T0_A0,
548 gen_op_ldsw_kernel_T0_A0,
549 NULL,
550
551 gen_op_ldsb_user_T0_A0,
552 gen_op_ldsw_user_T0_A0,
553 NULL,
61382a50 554#endif
2c0262af
FB		 555};
556
557static GenOpFunc *gen_op_ldu_T0_A0[3 * 3] = {
61382a50
FB		 558 gen_op_ldub_raw_T0_A0,
559 gen_op_lduw_raw_T0_A0,
2c0262af
FB		 560 NULL,
561
61382a50 562#ifndef CONFIG_USER_ONLY
2c0262af
FB		 563 gen_op_ldub_kernel_T0_A0,
564 gen_op_lduw_kernel_T0_A0,
565 NULL,
566
567 gen_op_ldub_user_T0_A0,
568 gen_op_lduw_user_T0_A0,
569 NULL,
61382a50 570#endif
2c0262af
FB		 571};
572
573/* sign does not matter, except for lidt/lgdt call (TODO: fix it) */
574static GenOpFunc *gen_op_ld_T0_A0[3 * 3] = {
61382a50
FB		 575 gen_op_ldub_raw_T0_A0,
576 gen_op_lduw_raw_T0_A0,
577 gen_op_ldl_raw_T0_A0,
2c0262af 578
61382a50 579#ifndef CONFIG_USER_ONLY
2c0262af
FB		 580 gen_op_ldub_kernel_T0_A0,
581 gen_op_lduw_kernel_T0_A0,
582 gen_op_ldl_kernel_T0_A0,
583
584 gen_op_ldub_user_T0_A0,
585 gen_op_lduw_user_T0_A0,
586 gen_op_ldl_user_T0_A0,
61382a50 587#endif
2c0262af
FB		 588};
589
590static GenOpFunc *gen_op_ld_T1_A0[3 * 3] = {
61382a50
FB		 591 gen_op_ldub_raw_T1_A0,
592 gen_op_lduw_raw_T1_A0,
593 gen_op_ldl_raw_T1_A0,
2c0262af 594
61382a50 595#ifndef CONFIG_USER_ONLY
2c0262af
FB		 596 gen_op_ldub_kernel_T1_A0,
597 gen_op_lduw_kernel_T1_A0,
598 gen_op_ldl_kernel_T1_A0,
599
600 gen_op_ldub_user_T1_A0,
601 gen_op_lduw_user_T1_A0,
602 gen_op_ldl_user_T1_A0,
61382a50 603#endif
2c0262af
FB		 604};
605
606static GenOpFunc *gen_op_st_T0_A0[3 * 3] = {
61382a50
FB		 607 gen_op_stb_raw_T0_A0,
608 gen_op_stw_raw_T0_A0,
609 gen_op_stl_raw_T0_A0,
2c0262af 610
61382a50 611#ifndef CONFIG_USER_ONLY
2c0262af
FB		 612 gen_op_stb_kernel_T0_A0,
613 gen_op_stw_kernel_T0_A0,
614 gen_op_stl_kernel_T0_A0,
615
616 gen_op_stb_user_T0_A0,
617 gen_op_stw_user_T0_A0,
618 gen_op_stl_user_T0_A0,
61382a50 619#endif
2c0262af
FB		 620};
621
4f31916f
FB		 622static GenOpFunc *gen_op_st_T1_A0[3 * 3] = {
623 NULL,
624 gen_op_stw_raw_T1_A0,
625 gen_op_stl_raw_T1_A0,
626
627#ifndef CONFIG_USER_ONLY
628 NULL,
629 gen_op_stw_kernel_T1_A0,
630 gen_op_stl_kernel_T1_A0,
631
632 NULL,
633 gen_op_stw_user_T1_A0,
634 gen_op_stl_user_T1_A0,
635#endif
636};
637
2c0262af
FB		 638static inline void gen_string_movl_A0_ESI(DisasContext *s)
639{
640 int override;
641
642 override = s->override;
643 if (s->aflag) {
644 /* 32 bit address */
645 if (s->addseg && override < 0)
646 override = R_DS;
647 if (override >= 0) {
648 gen_op_movl_A0_seg(offsetof(CPUX86State,segs[override].base));
649 gen_op_addl_A0_reg_sN[0][R_ESI]();
650 } else {
651 gen_op_movl_A0_reg[R_ESI]();
652 }
653 } else {
654 /* 16 address, always override */
655 if (override < 0)
656 override = R_DS;
657 gen_op_movl_A0_reg[R_ESI]();
658 gen_op_andl_A0_ffff();
659 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[override].base));
660 }
661}
662
663static inline void gen_string_movl_A0_EDI(DisasContext *s)
664{
665 if (s->aflag) {
666 if (s->addseg) {
667 gen_op_movl_A0_seg(offsetof(CPUX86State,segs[R_ES].base));
668 gen_op_addl_A0_reg_sN[0][R_EDI]();
669 } else {
670 gen_op_movl_A0_reg[R_EDI]();
671 }
672 } else {
673 gen_op_movl_A0_reg[R_EDI]();
674 gen_op_andl_A0_ffff();
675 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[R_ES].base));
676 }
677}
678
679static GenOpFunc *gen_op_movl_T0_Dshift[3] = {
680 gen_op_movl_T0_Dshiftb,
681 gen_op_movl_T0_Dshiftw,
682 gen_op_movl_T0_Dshiftl,
683};
684
685static GenOpFunc2 *gen_op_jz_ecx[2] = {
686 gen_op_jz_ecxw,
687 gen_op_jz_ecxl,
688};
689
690static GenOpFunc1 *gen_op_jz_ecx_im[2] = {
691 gen_op_jz_ecxw_im,
692 gen_op_jz_ecxl_im,
693};
694
695static GenOpFunc *gen_op_dec_ECX[2] = {
696 gen_op_decw_ECX,
697 gen_op_decl_ECX,
698};
699
7399c5a9
FB		 700#ifdef USE_DIRECT_JUMP
701typedef GenOpFunc GenOpFuncTB2;
702#define gen_op_string_jnz_sub(nz, ot, tb) gen_op_string_jnz_sub2[nz][ot]()
703#else
704typedef GenOpFunc1 GenOpFuncTB2;
705#define gen_op_string_jnz_sub(nz, ot, tb) gen_op_string_jnz_sub2[nz][ot](tb)
706#endif
707
708static GenOpFuncTB2 *gen_op_string_jnz_sub2[2][3] = {
2c0262af
FB		 709 {
710 gen_op_string_jnz_subb,
711 gen_op_string_jnz_subw,
712 gen_op_string_jnz_subl,
713 },
714 {
715 gen_op_string_jz_subb,
716 gen_op_string_jz_subw,
717 gen_op_string_jz_subl,
718 },
719};
720
721static GenOpFunc1 *gen_op_string_jnz_sub_im[2][3] = {
722 {
723 gen_op_string_jnz_subb_im,
724 gen_op_string_jnz_subw_im,
725 gen_op_string_jnz_subl_im,
726 },
727 {
728 gen_op_string_jz_subb_im,
729 gen_op_string_jz_subw_im,
730 gen_op_string_jz_subl_im,
731 },
732};
733
734static GenOpFunc *gen_op_in_DX_T0[3] = {
735 gen_op_inb_DX_T0,
736 gen_op_inw_DX_T0,
737 gen_op_inl_DX_T0,
738};
739
740static GenOpFunc *gen_op_out_DX_T0[3] = {
741 gen_op_outb_DX_T0,
742 gen_op_outw_DX_T0,
743 gen_op_outl_DX_T0,
744};
745
f115e911
FB		 746static GenOpFunc *gen_op_in[3] = {
747 gen_op_inb_T0_T1,
748 gen_op_inw_T0_T1,
749 gen_op_inl_T0_T1,
750};
751
752static GenOpFunc *gen_op_out[3] = {
753 gen_op_outb_T0_T1,
754 gen_op_outw_T0_T1,
755 gen_op_outl_T0_T1,
756};
757
758static GenOpFunc *gen_check_io_T0[3] = {
759 gen_op_check_iob_T0,
760 gen_op_check_iow_T0,
761 gen_op_check_iol_T0,
762};
763
764static GenOpFunc *gen_check_io_DX[3] = {
765 gen_op_check_iob_DX,
766 gen_op_check_iow_DX,
767 gen_op_check_iol_DX,
768};
769
770static void gen_check_io(DisasContext *s, int ot, int use_dx, int cur_eip)
771{
772 if (s->pe && (s->cpl > s->iopl || s->vm86)) {
773 if (s->cc_op != CC_OP_DYNAMIC)
774 gen_op_set_cc_op(s->cc_op);
775 gen_op_jmp_im(cur_eip);
776 if (use_dx)
777 gen_check_io_DX[ot]();
778 else
779 gen_check_io_T0[ot]();
780 }
781}
782
2c0262af
FB		 783static inline void gen_movs(DisasContext *s, int ot)
784{
785 gen_string_movl_A0_ESI(s);
786 gen_op_ld_T0_A0[ot + s->mem_index]();
787 gen_string_movl_A0_EDI(s);
788 gen_op_st_T0_A0[ot + s->mem_index]();
789 gen_op_movl_T0_Dshift[ot]();
790 if (s->aflag) {
791 gen_op_addl_ESI_T0();
792 gen_op_addl_EDI_T0();
793 } else {
794 gen_op_addw_ESI_T0();
795 gen_op_addw_EDI_T0();
796 }
797}
798
799static inline void gen_update_cc_op(DisasContext *s)
800{
801 if (s->cc_op != CC_OP_DYNAMIC) {
802 gen_op_set_cc_op(s->cc_op);
803 s->cc_op = CC_OP_DYNAMIC;
804 }
805}
806
807static inline void gen_jz_ecx_string(DisasContext *s, unsigned int next_eip)
808{
809 if (s->jmp_opt) {
810 gen_op_jz_ecx[s->aflag]((long)s->tb, next_eip);
811 } else {
812 /* XXX: does not work with gdbstub "ice" single step - not a
813 serious problem */
814 gen_op_jz_ecx_im[s->aflag](next_eip);
815 }
816}
817
818static inline void gen_stos(DisasContext *s, int ot)
819{
820 gen_op_mov_TN_reg[OT_LONG][0][R_EAX]();
821 gen_string_movl_A0_EDI(s);
822 gen_op_st_T0_A0[ot + s->mem_index]();
823 gen_op_movl_T0_Dshift[ot]();
824 if (s->aflag) {
825 gen_op_addl_EDI_T0();
826 } else {
827 gen_op_addw_EDI_T0();
828 }
829}
830
831static inline void gen_lods(DisasContext *s, int ot)
832{
833 gen_string_movl_A0_ESI(s);
834 gen_op_ld_T0_A0[ot + s->mem_index]();
835 gen_op_mov_reg_T0[ot][R_EAX]();
836 gen_op_movl_T0_Dshift[ot]();
837 if (s->aflag) {
838 gen_op_addl_ESI_T0();
839 } else {
840 gen_op_addw_ESI_T0();
841 }
842}
843
844static inline void gen_scas(DisasContext *s, int ot)
845{
846 gen_op_mov_TN_reg[OT_LONG][0][R_EAX]();
847 gen_string_movl_A0_EDI(s);
848 gen_op_ld_T1_A0[ot + s->mem_index]();
849 gen_op_cmpl_T0_T1_cc();
850 gen_op_movl_T0_Dshift[ot]();
851 if (s->aflag) {
852 gen_op_addl_EDI_T0();
853 } else {
854 gen_op_addw_EDI_T0();
855 }
856}
857
858static inline void gen_cmps(DisasContext *s, int ot)
859{
860 gen_string_movl_A0_ESI(s);
861 gen_op_ld_T0_A0[ot + s->mem_index]();
862 gen_string_movl_A0_EDI(s);
863 gen_op_ld_T1_A0[ot + s->mem_index]();
864 gen_op_cmpl_T0_T1_cc();
865 gen_op_movl_T0_Dshift[ot]();
866 if (s->aflag) {
867 gen_op_addl_ESI_T0();
868 gen_op_addl_EDI_T0();
869 } else {
870 gen_op_addw_ESI_T0();
871 gen_op_addw_EDI_T0();
872 }
873}
874
875static inline void gen_ins(DisasContext *s, int ot)
876{
877 gen_op_in_DX_T0[ot]();
878 gen_string_movl_A0_EDI(s);
879 gen_op_st_T0_A0[ot + s->mem_index]();
880 gen_op_movl_T0_Dshift[ot]();
881 if (s->aflag) {
882 gen_op_addl_EDI_T0();
883 } else {
884 gen_op_addw_EDI_T0();
885 }
886}
887
888static inline void gen_outs(DisasContext *s, int ot)
889{
890 gen_string_movl_A0_ESI(s);
891 gen_op_ld_T0_A0[ot + s->mem_index]();
892 gen_op_out_DX_T0[ot]();
893 gen_op_movl_T0_Dshift[ot]();
894 if (s->aflag) {
895 gen_op_addl_ESI_T0();
896 } else {
897 gen_op_addw_ESI_T0();
898 }
899}
900
901/* same method as Valgrind : we generate jumps to current or next
902 instruction */
903#define GEN_REPZ(op) \
904static inline void gen_repz_ ## op(DisasContext *s, int ot, \
905 unsigned int cur_eip, unsigned int next_eip) \
906{ \
907 gen_update_cc_op(s); \
908 gen_jz_ecx_string(s, next_eip); \
909 gen_ ## op(s, ot); \
910 gen_op_dec_ECX[s->aflag](); \
911 /* a loop would cause two single step exceptions if ECX = 1 \
912 before rep string_insn */ \
913 if (!s->jmp_opt) \
914 gen_op_jz_ecx_im[s->aflag](next_eip); \
915 gen_jmp(s, cur_eip); \
916}
917
918#define GEN_REPZ2(op) \
919static inline void gen_repz_ ## op(DisasContext *s, int ot, \
920 unsigned int cur_eip, \
921 unsigned int next_eip, \
922 int nz) \
923{ \
924 gen_update_cc_op(s); \
925 gen_jz_ecx_string(s, next_eip); \
926 gen_ ## op(s, ot); \
927 gen_op_dec_ECX[s->aflag](); \
928 gen_op_set_cc_op(CC_OP_SUBB + ot); \
929 if (!s->jmp_opt) \
930 gen_op_string_jnz_sub_im[nz][ot](next_eip); \
931 else \
7399c5a9 932 gen_op_string_jnz_sub(nz, ot, (long)s->tb); \
2c0262af
FB		 933 if (!s->jmp_opt) \
934 gen_op_jz_ecx_im[s->aflag](next_eip); \
935 gen_jmp(s, cur_eip); \
936}
937
938GEN_REPZ(movs)
939GEN_REPZ(stos)
940GEN_REPZ(lods)
941GEN_REPZ(ins)
942GEN_REPZ(outs)
943GEN_REPZ2(scas)
944GEN_REPZ2(cmps)
945
2c0262af
FB		 946enum {
947 JCC_O,
948 JCC_B,
949 JCC_Z,
950 JCC_BE,
951 JCC_S,
952 JCC_P,
953 JCC_L,
954 JCC_LE,
955};
956
957static GenOpFunc3 *gen_jcc_sub[3][8] = {
958 [OT_BYTE] = {
959 NULL,
960 gen_op_jb_subb,
961 gen_op_jz_subb,
962 gen_op_jbe_subb,
963 gen_op_js_subb,
964 NULL,
965 gen_op_jl_subb,
966 gen_op_jle_subb,
967 },
968 [OT_WORD] = {
969 NULL,
970 gen_op_jb_subw,
971 gen_op_jz_subw,
972 gen_op_jbe_subw,
973 gen_op_js_subw,
974 NULL,
975 gen_op_jl_subw,
976 gen_op_jle_subw,
977 },
978 [OT_LONG] = {
979 NULL,
980 gen_op_jb_subl,
981 gen_op_jz_subl,
982 gen_op_jbe_subl,
983 gen_op_js_subl,
984 NULL,
985 gen_op_jl_subl,
986 gen_op_jle_subl,
987 },
988};
989static GenOpFunc2 *gen_op_loop[2][4] = {
990 [0] = {
991 gen_op_loopnzw,
992 gen_op_loopzw,
993 gen_op_loopw,
994 gen_op_jecxzw,
995 },
996 [1] = {
997 gen_op_loopnzl,
998 gen_op_loopzl,
999 gen_op_loopl,
1000 gen_op_jecxzl,
1001 },
1002};
1003
1004static GenOpFunc *gen_setcc_slow[8] = {
1005 gen_op_seto_T0_cc,
1006 gen_op_setb_T0_cc,
1007 gen_op_setz_T0_cc,
1008 gen_op_setbe_T0_cc,
1009 gen_op_sets_T0_cc,
1010 gen_op_setp_T0_cc,
1011 gen_op_setl_T0_cc,
1012 gen_op_setle_T0_cc,
1013};
1014
1015static GenOpFunc *gen_setcc_sub[3][8] = {
1016 [OT_BYTE] = {
1017 NULL,
1018 gen_op_setb_T0_subb,
1019 gen_op_setz_T0_subb,
1020 gen_op_setbe_T0_subb,
1021 gen_op_sets_T0_subb,
1022 NULL,
1023 gen_op_setl_T0_subb,
1024 gen_op_setle_T0_subb,
1025 },
1026 [OT_WORD] = {
1027 NULL,
1028 gen_op_setb_T0_subw,
1029 gen_op_setz_T0_subw,
1030 gen_op_setbe_T0_subw,
1031 gen_op_sets_T0_subw,
1032 NULL,
1033 gen_op_setl_T0_subw,
1034 gen_op_setle_T0_subw,
1035 },
1036 [OT_LONG] = {
1037 NULL,
1038 gen_op_setb_T0_subl,
1039 gen_op_setz_T0_subl,
1040 gen_op_setbe_T0_subl,
1041 gen_op_sets_T0_subl,
1042 NULL,
1043 gen_op_setl_T0_subl,
1044 gen_op_setle_T0_subl,
1045 },
1046};
1047
1048static GenOpFunc *gen_op_fp_arith_ST0_FT0[8] = {
1049 gen_op_fadd_ST0_FT0,
1050 gen_op_fmul_ST0_FT0,
1051 gen_op_fcom_ST0_FT0,
1052 gen_op_fcom_ST0_FT0,
1053 gen_op_fsub_ST0_FT0,
1054 gen_op_fsubr_ST0_FT0,
1055 gen_op_fdiv_ST0_FT0,
1056 gen_op_fdivr_ST0_FT0,
1057};
1058
1059/* NOTE the exception in "r" op ordering */
1060static GenOpFunc1 *gen_op_fp_arith_STN_ST0[8] = {
1061 gen_op_fadd_STN_ST0,
1062 gen_op_fmul_STN_ST0,
1063 NULL,
1064 NULL,
1065 gen_op_fsubr_STN_ST0,
1066 gen_op_fsub_STN_ST0,
1067 gen_op_fdivr_STN_ST0,
1068 gen_op_fdiv_STN_ST0,
1069};
1070
1071/* if d == OR_TMP0, it means memory operand (address in A0) */
1072static void gen_op(DisasContext *s1, int op, int ot, int d)
1073{
1074 GenOpFunc *gen_update_cc;
1075
1076 if (d != OR_TMP0) {
1077 gen_op_mov_TN_reg[ot][0][d]();
1078 } else {
1079 gen_op_ld_T0_A0[ot + s1->mem_index]();
1080 }
1081 switch(op) {
1082 case OP_ADCL:
1083 case OP_SBBL:
1084 if (s1->cc_op != CC_OP_DYNAMIC)
1085 gen_op_set_cc_op(s1->cc_op);
1086 if (d != OR_TMP0) {
1087 gen_op_arithc_T0_T1_cc[ot][op - OP_ADCL]();
1088 gen_op_mov_reg_T0[ot][d]();
1089 } else {
4f31916f 1090 gen_op_arithc_mem_T0_T1_cc[ot + s1->mem_index][op - OP_ADCL]();
2c0262af
FB		 1091 }
1092 s1->cc_op = CC_OP_DYNAMIC;
1093 goto the_end;
1094 case OP_ADDL:
1095 gen_op_addl_T0_T1();
1096 s1->cc_op = CC_OP_ADDB + ot;
1097 gen_update_cc = gen_op_update2_cc;
1098 break;
1099 case OP_SUBL:
1100 gen_op_subl_T0_T1();
1101 s1->cc_op = CC_OP_SUBB + ot;
1102 gen_update_cc = gen_op_update2_cc;
1103 break;
1104 default:
1105 case OP_ANDL:
1106 case OP_ORL:
1107 case OP_XORL:
1108 gen_op_arith_T0_T1_cc[op]();
1109 s1->cc_op = CC_OP_LOGICB + ot;
1110 gen_update_cc = gen_op_update1_cc;
1111 break;
1112 case OP_CMPL:
1113 gen_op_cmpl_T0_T1_cc();
1114 s1->cc_op = CC_OP_SUBB + ot;
1115 gen_update_cc = NULL;
1116 break;
1117 }
1118 if (op != OP_CMPL) {
1119 if (d != OR_TMP0)
1120 gen_op_mov_reg_T0[ot][d]();
1121 else
1122 gen_op_st_T0_A0[ot + s1->mem_index]();
1123 }
1124 /* the flags update must happen after the memory write (precise
1125 exception support) */
1126 if (gen_update_cc)
1127 gen_update_cc();
1128 the_end: ;
1129}
1130
1131/* if d == OR_TMP0, it means memory operand (address in A0) */
1132static void gen_inc(DisasContext *s1, int ot, int d, int c)
1133{
1134 if (d != OR_TMP0)
1135 gen_op_mov_TN_reg[ot][0][d]();
1136 else
1137 gen_op_ld_T0_A0[ot + s1->mem_index]();
1138 if (s1->cc_op != CC_OP_DYNAMIC)
1139 gen_op_set_cc_op(s1->cc_op);
1140 if (c > 0) {
1141 gen_op_incl_T0();
1142 s1->cc_op = CC_OP_INCB + ot;
1143 } else {
1144 gen_op_decl_T0();
1145 s1->cc_op = CC_OP_DECB + ot;
1146 }
1147 if (d != OR_TMP0)
1148 gen_op_mov_reg_T0[ot][d]();
1149 else
1150 gen_op_st_T0_A0[ot + s1->mem_index]();
1151 gen_op_update_inc_cc();
1152}
1153
1154static void gen_shift(DisasContext *s1, int op, int ot, int d, int s)
1155{
1156 if (d != OR_TMP0)
1157 gen_op_mov_TN_reg[ot][0][d]();
1158 else
1159 gen_op_ld_T0_A0[ot + s1->mem_index]();
1160 if (s != OR_TMP1)
1161 gen_op_mov_TN_reg[ot][1][s]();
1162 /* for zero counts, flags are not updated, so must do it dynamically */
1163 if (s1->cc_op != CC_OP_DYNAMIC)
1164 gen_op_set_cc_op(s1->cc_op);
1165
1166 if (d != OR_TMP0)
1167 gen_op_shift_T0_T1_cc[ot][op]();
1168 else
4f31916f 1169 gen_op_shift_mem_T0_T1_cc[ot + s1->mem_index][op]();
2c0262af
FB		 1170 if (d != OR_TMP0)
1171 gen_op_mov_reg_T0[ot][d]();
1172 s1->cc_op = CC_OP_DYNAMIC; /* cannot predict flags after */
1173}
1174
1175static void gen_shifti(DisasContext *s1, int op, int ot, int d, int c)
1176{
1177 /* currently not optimized */
1178 gen_op_movl_T1_im(c);
1179 gen_shift(s1, op, ot, d, OR_TMP1);
1180}
1181
1182static void gen_lea_modrm(DisasContext *s, int modrm, int *reg_ptr, int *offset_ptr)
1183{
1184 int havesib;
1185 int base, disp;
1186 int index;
1187 int scale;
1188 int opreg;
1189 int mod, rm, code, override, must_add_seg;
1190
1191 override = s->override;
1192 must_add_seg = s->addseg;
1193 if (override >= 0)
1194 must_add_seg = 1;
1195 mod = (modrm >> 6) & 3;
1196 rm = modrm & 7;
1197
1198 if (s->aflag) {
1199
1200 havesib = 0;
1201 base = rm;
1202 index = 0;
1203 scale = 0;
1204
1205 if (base == 4) {
1206 havesib = 1;
61382a50 1207 code = ldub_code(s->pc++);
2c0262af
FB		 1208 scale = (code >> 6) & 3;
1209 index = (code >> 3) & 7;
1210 base = code & 7;
1211 }
1212
1213 switch (mod) {
1214 case 0:
1215 if (base == 5) {
1216 base = -1;
61382a50 1217 disp = ldl_code(s->pc);
2c0262af
FB		 1218 s->pc += 4;
1219 } else {
1220 disp = 0;
1221 }
1222 break;
1223 case 1:
61382a50 1224 disp = (int8_t)ldub_code(s->pc++);
2c0262af
FB		 1225 break;
1226 default:
1227 case 2:
61382a50 1228 disp = ldl_code(s->pc);
2c0262af
FB		 1229 s->pc += 4;
1230 break;
1231 }
1232
1233 if (base >= 0) {
1234 /* for correct popl handling with esp */
1235 if (base == 4 && s->popl_esp_hack)
1236 disp += s->popl_esp_hack;
1237 gen_op_movl_A0_reg[base]();
1238 if (disp != 0)
1239 gen_op_addl_A0_im(disp);
1240 } else {
1241 gen_op_movl_A0_im(disp);
1242 }
1243 /* XXX: index == 4 is always invalid */
1244 if (havesib && (index != 4 || scale != 0)) {
1245 gen_op_addl_A0_reg_sN[scale][index]();
1246 }
1247 if (must_add_seg) {
1248 if (override < 0) {
1249 if (base == R_EBP || base == R_ESP)
1250 override = R_SS;
1251 else
1252 override = R_DS;
1253 }
1254 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[override].base));
1255 }
1256 } else {
1257 switch (mod) {
1258 case 0:
1259 if (rm == 6) {
61382a50 1260 disp = lduw_code(s->pc);
2c0262af
FB		 1261 s->pc += 2;
1262 gen_op_movl_A0_im(disp);
1263 rm = 0; /* avoid SS override */
1264 goto no_rm;
1265 } else {
1266 disp = 0;
1267 }
1268 break;
1269 case 1:
61382a50 1270 disp = (int8_t)ldub_code(s->pc++);
2c0262af
FB		 1271 break;
1272 default:
1273 case 2:
61382a50 1274 disp = lduw_code(s->pc);
2c0262af
FB		 1275 s->pc += 2;
1276 break;
1277 }
1278 switch(rm) {
1279 case 0:
1280 gen_op_movl_A0_reg[R_EBX]();
1281 gen_op_addl_A0_reg_sN[0][R_ESI]();
1282 break;
1283 case 1:
1284 gen_op_movl_A0_reg[R_EBX]();
1285 gen_op_addl_A0_reg_sN[0][R_EDI]();
1286 break;
1287 case 2:
1288 gen_op_movl_A0_reg[R_EBP]();
1289 gen_op_addl_A0_reg_sN[0][R_ESI]();
1290 break;
1291 case 3:
1292 gen_op_movl_A0_reg[R_EBP]();
1293 gen_op_addl_A0_reg_sN[0][R_EDI]();
1294 break;
1295 case 4:
1296 gen_op_movl_A0_reg[R_ESI]();
1297 break;
1298 case 5:
1299 gen_op_movl_A0_reg[R_EDI]();
1300 break;
1301 case 6:
1302 gen_op_movl_A0_reg[R_EBP]();
1303 break;
1304 default:
1305 case 7:
1306 gen_op_movl_A0_reg[R_EBX]();
1307 break;
1308 }
1309 if (disp != 0)
1310 gen_op_addl_A0_im(disp);
1311 gen_op_andl_A0_ffff();
1312 no_rm:
1313 if (must_add_seg) {
1314 if (override < 0) {
1315 if (rm == 2 || rm == 3 || rm == 6)
1316 override = R_SS;
1317 else
1318 override = R_DS;
1319 }
1320 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[override].base));
1321 }
1322 }
1323
1324 opreg = OR_A0;
1325 disp = 0;
1326 *reg_ptr = opreg;
1327 *offset_ptr = disp;
1328}
1329
1330/* generate modrm memory load or store of 'reg'. TMP0 is used if reg !=
1331 OR_TMP0 */
1332static void gen_ldst_modrm(DisasContext *s, int modrm, int ot, int reg, int is_store)
1333{
1334 int mod, rm, opreg, disp;
1335
1336 mod = (modrm >> 6) & 3;
1337 rm = modrm & 7;
1338 if (mod == 3) {
1339 if (is_store) {
1340 if (reg != OR_TMP0)
1341 gen_op_mov_TN_reg[ot][0][reg]();
1342 gen_op_mov_reg_T0[ot][rm]();
1343 } else {
1344 gen_op_mov_TN_reg[ot][0][rm]();
1345 if (reg != OR_TMP0)
1346 gen_op_mov_reg_T0[ot][reg]();
1347 }
1348 } else {
1349 gen_lea_modrm(s, modrm, &opreg, &disp);
1350 if (is_store) {
1351 if (reg != OR_TMP0)
1352 gen_op_mov_TN_reg[ot][0][reg]();
1353 gen_op_st_T0_A0[ot + s->mem_index]();
1354 } else {
1355 gen_op_ld_T0_A0[ot + s->mem_index]();
1356 if (reg != OR_TMP0)
1357 gen_op_mov_reg_T0[ot][reg]();
1358 }
1359 }
1360}
1361
1362static inline uint32_t insn_get(DisasContext *s, int ot)
1363{
1364 uint32_t ret;
1365
1366 switch(ot) {
1367 case OT_BYTE:
61382a50 1368 ret = ldub_code(s->pc);
2c0262af
FB		 1369 s->pc++;
1370 break;
1371 case OT_WORD:
61382a50 1372 ret = lduw_code(s->pc);
2c0262af
FB		 1373 s->pc += 2;
1374 break;
1375 default:
1376 case OT_LONG:
61382a50 1377 ret = ldl_code(s->pc);
2c0262af
FB		 1378 s->pc += 4;
1379 break;
1380 }
1381 return ret;
1382}
1383
1384static inline void gen_jcc(DisasContext *s, int b, int val, int next_eip)
1385{
1386 TranslationBlock *tb;
1387 int inv, jcc_op;
1388 GenOpFunc3 *func;
1389
1390 inv = b & 1;
1391 jcc_op = (b >> 1) & 7;
1392
1393 if (s->jmp_opt) {
1394 switch(s->cc_op) {
1395 /* we optimize the cmp/jcc case */
1396 case CC_OP_SUBB:
1397 case CC_OP_SUBW:
1398 case CC_OP_SUBL:
1399 func = gen_jcc_sub[s->cc_op - CC_OP_SUBB][jcc_op];
1400 break;
1401
1402 /* some jumps are easy to compute */
1403 case CC_OP_ADDB:
1404 case CC_OP_ADDW:
1405 case CC_OP_ADDL:
1406 case CC_OP_ADCB:
1407 case CC_OP_ADCW:
1408 case CC_OP_ADCL:
1409 case CC_OP_SBBB:
1410 case CC_OP_SBBW:
1411 case CC_OP_SBBL:
1412 case CC_OP_LOGICB:
1413 case CC_OP_LOGICW:
1414 case CC_OP_LOGICL:
1415 case CC_OP_INCB:
1416 case CC_OP_INCW:
1417 case CC_OP_INCL:
1418 case CC_OP_DECB:
1419 case CC_OP_DECW:
1420 case CC_OP_DECL:
1421 case CC_OP_SHLB:
1422 case CC_OP_SHLW:
1423 case CC_OP_SHLL:
1424 case CC_OP_SARB:
1425 case CC_OP_SARW:
1426 case CC_OP_SARL:
1427 switch(jcc_op) {
1428 case JCC_Z:
1429 func = gen_jcc_sub[(s->cc_op - CC_OP_ADDB) % 3][jcc_op];
1430 break;
1431 case JCC_S:
1432 func = gen_jcc_sub[(s->cc_op - CC_OP_ADDB) % 3][jcc_op];
1433 break;
1434 default:
1435 func = NULL;
1436 break;
1437 }
1438 break;
1439 default:
1440 func = NULL;
1441 break;
1442 }
1443
1444 if (s->cc_op != CC_OP_DYNAMIC)
1445 gen_op_set_cc_op(s->cc_op);
1446
1447 if (!func) {
1448 gen_setcc_slow[jcc_op]();
1449 func = gen_op_jcc;
1450 }
1451
1452 tb = s->tb;
1453 if (!inv) {
1454 func((long)tb, val, next_eip);
1455 } else {
1456 func((long)tb, next_eip, val);
1457 }
1458 s->is_jmp = 3;
1459 } else {
1460 if (s->cc_op != CC_OP_DYNAMIC) {
1461 gen_op_set_cc_op(s->cc_op);
1462 s->cc_op = CC_OP_DYNAMIC;
1463 }
1464 gen_setcc_slow[jcc_op]();
1465 if (!inv) {
1466 gen_op_jcc_im(val, next_eip);
1467 } else {
1468 gen_op_jcc_im(next_eip, val);
1469 }
1470 gen_eob(s);
1471 }
1472}
1473
1474static void gen_setcc(DisasContext *s, int b)
1475{
1476 int inv, jcc_op;
1477 GenOpFunc *func;
1478
1479 inv = b & 1;
1480 jcc_op = (b >> 1) & 7;
1481 switch(s->cc_op) {
1482 /* we optimize the cmp/jcc case */
1483 case CC_OP_SUBB:
1484 case CC_OP_SUBW:
1485 case CC_OP_SUBL:
1486 func = gen_setcc_sub[s->cc_op - CC_OP_SUBB][jcc_op];
1487 if (!func)
1488 goto slow_jcc;
1489 break;
1490
1491 /* some jumps are easy to compute */
1492 case CC_OP_ADDB:
1493 case CC_OP_ADDW:
1494 case CC_OP_ADDL:
1495 case CC_OP_LOGICB:
1496 case CC_OP_LOGICW:
1497 case CC_OP_LOGICL:
1498 case CC_OP_INCB:
1499 case CC_OP_INCW:
1500 case CC_OP_INCL:
1501 case CC_OP_DECB:
1502 case CC_OP_DECW:
1503 case CC_OP_DECL:
1504 case CC_OP_SHLB:
1505 case CC_OP_SHLW:
1506 case CC_OP_SHLL:
1507 switch(jcc_op) {
1508 case JCC_Z:
1509 func = gen_setcc_sub[(s->cc_op - CC_OP_ADDB) % 3][jcc_op];
1510 break;
1511 case JCC_S:
1512 func = gen_setcc_sub[(s->cc_op - CC_OP_ADDB) % 3][jcc_op];
1513 break;
1514 default:
1515 goto slow_jcc;
1516 }
1517 break;
1518 default:
1519 slow_jcc:
1520 if (s->cc_op != CC_OP_DYNAMIC)
1521 gen_op_set_cc_op(s->cc_op);
1522 func = gen_setcc_slow[jcc_op];
1523 break;
1524 }
1525 func();
1526 if (inv) {
1527 gen_op_xor_T0_1();
1528 }
1529}
1530
1531/* move T0 to seg_reg and compute if the CPU state may change. Never
1532 call this function with seg_reg == R_CS */
1533static void gen_movl_seg_T0(DisasContext *s, int seg_reg, unsigned int cur_eip)
1534{
3415a4dd
FB		 1535 if (s->pe && !s->vm86) {
1536 /* XXX: optimize by finding processor state dynamically */
1537 if (s->cc_op != CC_OP_DYNAMIC)
1538 gen_op_set_cc_op(s->cc_op);
1539 gen_op_jmp_im(cur_eip);
1540 gen_op_movl_seg_T0(seg_reg);
1541 } else {
2c0262af 1542 gen_op_movl_seg_T0_vm(offsetof(CPUX86State,segs[seg_reg]));
3415a4dd 1543 }
2c0262af
FB		 1544 /* abort translation because the register may have a non zero base
1545 or because ss32 may change. For R_SS, translation must always
1546 stop as a special handling must be done to disable hardware
1547 interrupts for the next instruction */
1548 if (seg_reg == R_SS || (!s->addseg && seg_reg < R_FS))
1549 s->is_jmp = 3;
1550}
1551
4f31916f
FB		 1552static inline void gen_stack_update(DisasContext *s, int addend)
1553{
1554 if (s->ss32) {
1555 if (addend == 2)
1556 gen_op_addl_ESP_2();
1557 else if (addend == 4)
1558 gen_op_addl_ESP_4();
1559 else
1560 gen_op_addl_ESP_im(addend);
1561 } else {
1562 if (addend == 2)
1563 gen_op_addw_ESP_2();
1564 else if (addend == 4)
1565 gen_op_addw_ESP_4();
1566 else
1567 gen_op_addw_ESP_im(addend);
1568 }
1569}
1570
2c0262af
FB		 1571/* generate a push. It depends on ss32, addseg and dflag */
1572static void gen_push_T0(DisasContext *s)
1573{
4f31916f
FB		 1574 gen_op_movl_A0_reg[R_ESP]();
1575 if (!s->dflag)
1576 gen_op_subl_A0_2();
1577 else
1578 gen_op_subl_A0_4();
2c0262af 1579 if (s->ss32) {
4f31916f
FB		 1580 if (s->addseg) {
1581 gen_op_movl_T1_A0();
1582 gen_op_addl_A0_SS();
2c0262af
FB		 1583 }
1584 } else {
4f31916f
FB		 1585 gen_op_andl_A0_ffff();
1586 gen_op_movl_T1_A0();
1587 gen_op_addl_A0_SS();
2c0262af 1588 }
4f31916f
FB		 1589 gen_op_st_T0_A0[s->dflag + 1 + s->mem_index]();
1590 if (s->ss32 && !s->addseg)
1591 gen_op_movl_ESP_A0();
1592 else
1593 gen_op_mov_reg_T1[s->ss32 + 1][R_ESP]();
2c0262af
FB		 1594}
1595
4f31916f
FB		 1596/* generate a push. It depends on ss32, addseg and dflag */
1597/* slower version for T1, only used for call Ev */
1598static void gen_push_T1(DisasContext *s)
2c0262af 1599{
4f31916f
FB		 1600 gen_op_movl_A0_reg[R_ESP]();
1601 if (!s->dflag)
1602 gen_op_subl_A0_2();
1603 else
1604 gen_op_subl_A0_4();
2c0262af 1605 if (s->ss32) {
4f31916f
FB		 1606 if (s->addseg) {
1607 gen_op_addl_A0_SS();
2c0262af
FB		 1608 }
1609 } else {
4f31916f
FB		 1610 gen_op_andl_A0_ffff();
1611 gen_op_addl_A0_SS();
2c0262af 1612 }
4f31916f
FB		 1613 gen_op_st_T1_A0[s->dflag + 1 + s->mem_index]();
1614
1615 if (s->ss32 && !s->addseg)
1616 gen_op_movl_ESP_A0();
1617 else
1618 gen_stack_update(s, (-2) << s->dflag);
2c0262af
FB		 1619}
1620
4f31916f
FB		 1621/* two step pop is necessary for precise exceptions */
1622static void gen_pop_T0(DisasContext *s)
2c0262af 1623{
4f31916f 1624 gen_op_movl_A0_reg[R_ESP]();
2c0262af 1625 if (s->ss32) {
4f31916f
FB		 1626 if (s->addseg)
1627 gen_op_addl_A0_SS();
2c0262af 1628 } else {
4f31916f
FB		 1629 gen_op_andl_A0_ffff();
1630 gen_op_addl_A0_SS();
2c0262af 1631 }
4f31916f 1632 gen_op_ld_T0_A0[s->dflag + 1 + s->mem_index]();
2c0262af
FB		 1633}
1634
1635static void gen_pop_update(DisasContext *s)
1636{
1637 gen_stack_update(s, 2 << s->dflag);
1638}
1639
1640static void gen_stack_A0(DisasContext *s)
1641{
1642 gen_op_movl_A0_ESP();
1643 if (!s->ss32)
1644 gen_op_andl_A0_ffff();
1645 gen_op_movl_T1_A0();
1646 if (s->addseg)
1647 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[R_SS].base));
1648}
1649
1650/* NOTE: wrap around in 16 bit not fully handled */
1651static void gen_pusha(DisasContext *s)
1652{
1653 int i;
1654 gen_op_movl_A0_ESP();
1655 gen_op_addl_A0_im(-16 << s->dflag);
1656 if (!s->ss32)
1657 gen_op_andl_A0_ffff();
1658 gen_op_movl_T1_A0();
1659 if (s->addseg)
1660 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[R_SS].base));
1661 for(i = 0;i < 8; i++) {
1662 gen_op_mov_TN_reg[OT_LONG][0][7 - i]();
1663 gen_op_st_T0_A0[OT_WORD + s->dflag + s->mem_index]();
1664 gen_op_addl_A0_im(2 << s->dflag);
1665 }
1666 gen_op_mov_reg_T1[OT_WORD + s->dflag][R_ESP]();
1667}
1668
1669/* NOTE: wrap around in 16 bit not fully handled */
1670static void gen_popa(DisasContext *s)
1671{
1672 int i;
1673 gen_op_movl_A0_ESP();
1674 if (!s->ss32)
1675 gen_op_andl_A0_ffff();
1676 gen_op_movl_T1_A0();
1677 gen_op_addl_T1_im(16 << s->dflag);
1678 if (s->addseg)
1679 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[R_SS].base));
1680 for(i = 0;i < 8; i++) {
1681 /* ESP is not reloaded */
1682 if (i != 3) {
1683 gen_op_ld_T0_A0[OT_WORD + s->dflag + s->mem_index]();
1684 gen_op_mov_reg_T0[OT_WORD + s->dflag][7 - i]();
1685 }
1686 gen_op_addl_A0_im(2 << s->dflag);
1687 }
1688 gen_op_mov_reg_T1[OT_WORD + s->dflag][R_ESP]();
1689}
1690
1691/* NOTE: wrap around in 16 bit not fully handled */
1692/* XXX: check this */
1693static void gen_enter(DisasContext *s, int esp_addend, int level)
1694{
1695 int ot, level1, addend, opsize;
1696
1697 ot = s->dflag + OT_WORD;
1698 level &= 0x1f;
1699 level1 = level;
1700 opsize = 2 << s->dflag;
1701
1702 gen_op_movl_A0_ESP();
1703 gen_op_addl_A0_im(-opsize);
1704 if (!s->ss32)
1705 gen_op_andl_A0_ffff();
1706 gen_op_movl_T1_A0();
1707 if (s->addseg)
1708 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[R_SS].base));
1709 /* push bp */
1710 gen_op_mov_TN_reg[OT_LONG][0][R_EBP]();
1711 gen_op_st_T0_A0[ot + s->mem_index]();
1712 if (level) {
1713 while (level--) {
1714 gen_op_addl_A0_im(-opsize);
1715 gen_op_addl_T0_im(-opsize);
1716 gen_op_st_T0_A0[ot + s->mem_index]();
1717 }
1718 gen_op_addl_A0_im(-opsize);
4f31916f 1719 gen_op_st_T1_A0[ot + s->mem_index]();
2c0262af
FB		 1720 }
1721 gen_op_mov_reg_T1[ot][R_EBP]();
1722 addend = -esp_addend;
1723 if (level1)
1724 addend -= opsize * (level1 + 1);
1725 gen_op_addl_T1_im(addend);
1726 gen_op_mov_reg_T1[ot][R_ESP]();
1727}
1728
1729static void gen_exception(DisasContext *s, int trapno, unsigned int cur_eip)
1730{
1731 if (s->cc_op != CC_OP_DYNAMIC)
1732 gen_op_set_cc_op(s->cc_op);
1733 gen_op_jmp_im(cur_eip);
1734 gen_op_raise_exception(trapno);
1735 s->is_jmp = 3;
1736}
1737
1738/* an interrupt is different from an exception because of the
1739 priviledge checks */
1740static void gen_interrupt(DisasContext *s, int intno,
1741 unsigned int cur_eip, unsigned int next_eip)
1742{
1743 if (s->cc_op != CC_OP_DYNAMIC)
1744 gen_op_set_cc_op(s->cc_op);
1745 gen_op_jmp_im(cur_eip);
1746 gen_op_raise_interrupt(intno, next_eip);
1747 s->is_jmp = 3;
1748}
1749
1750static void gen_debug(DisasContext *s, unsigned int cur_eip)
1751{
1752 if (s->cc_op != CC_OP_DYNAMIC)
1753 gen_op_set_cc_op(s->cc_op);
1754 gen_op_jmp_im(cur_eip);
1755 gen_op_debug();
1756 s->is_jmp = 3;
1757}
1758
1759/* generate a generic end of block. Trace exception is also generated
1760 if needed */
1761static void gen_eob(DisasContext *s)
1762{
1763 if (s->cc_op != CC_OP_DYNAMIC)
1764 gen_op_set_cc_op(s->cc_op);
a2cc3b24
FB		 1765 if (s->tb->flags & HF_INHIBIT_IRQ_MASK) {
1766 gen_op_reset_inhibit_irq();
1767 }
34865134
FB		 1768 if (s->singlestep_enabled) {
1769 gen_op_debug();
1770 } else if (s->tf) {
2c0262af
FB		 1771 gen_op_raise_exception(EXCP01_SSTP);
1772 } else {
1773 gen_op_movl_T0_0();
1774 gen_op_exit_tb();
1775 }
1776 s->is_jmp = 3;
1777}
1778
1779/* generate a jump to eip. No segment change must happen before as a
1780 direct call to the next block may occur */
1781static void gen_jmp(DisasContext *s, unsigned int eip)
1782{
1783 TranslationBlock *tb = s->tb;
1784
1785 if (s->jmp_opt) {
1786 if (s->cc_op != CC_OP_DYNAMIC)
1787 gen_op_set_cc_op(s->cc_op);
1788 gen_op_jmp((long)tb, eip);
1789 s->is_jmp = 3;
1790 } else {
1791 gen_op_jmp_im(eip);
1792 gen_eob(s);
1793 }
1794}
1795
1796/* convert one instruction. s->is_jmp is set if the translation must
1797 be stopped. Return the next pc value */
1798static uint8_t *disas_insn(DisasContext *s, uint8_t *pc_start)
1799{
1800 int b, prefixes, aflag, dflag;
1801 int shift, ot;
1802 int modrm, reg, rm, mod, reg_addr, op, opreg, offset_addr, val;
1803 unsigned int next_eip;
1804
1805 s->pc = pc_start;
1806 prefixes = 0;
1807 aflag = s->code32;
1808 dflag = s->code32;
1809 s->override = -1;
1810 next_byte:
61382a50 1811 b = ldub_code(s->pc);
2c0262af
FB		 1812 s->pc++;
1813 /* check prefixes */
1814 switch (b) {
1815 case 0xf3:
1816 prefixes |= PREFIX_REPZ;
1817 goto next_byte;
1818 case 0xf2:
1819 prefixes |= PREFIX_REPNZ;
1820 goto next_byte;
1821 case 0xf0:
1822 prefixes |= PREFIX_LOCK;
1823 goto next_byte;
1824 case 0x2e:
1825 s->override = R_CS;
1826 goto next_byte;
1827 case 0x36:
1828 s->override = R_SS;
1829 goto next_byte;
1830 case 0x3e:
1831 s->override = R_DS;
1832 goto next_byte;
1833 case 0x26:
1834 s->override = R_ES;
1835 goto next_byte;
1836 case 0x64:
1837 s->override = R_FS;
1838 goto next_byte;
1839 case 0x65:
1840 s->override = R_GS;
1841 goto next_byte;
1842 case 0x66:
1843 prefixes |= PREFIX_DATA;
1844 goto next_byte;
1845 case 0x67:
1846 prefixes |= PREFIX_ADR;
1847 goto next_byte;
1848 }
1849
1850 if (prefixes & PREFIX_DATA)
1851 dflag ^= 1;
1852 if (prefixes & PREFIX_ADR)
1853 aflag ^= 1;
1854
1855 s->prefix = prefixes;
1856 s->aflag = aflag;
1857 s->dflag = dflag;
1858
1859 /* lock generation */
1860 if (prefixes & PREFIX_LOCK)
1861 gen_op_lock();
1862
1863 /* now check op code */
1864 reswitch:
1865 switch(b) {
1866 case 0x0f:
1867 /**************************/
1868 /* extended op code */
61382a50 1869 b = ldub_code(s->pc++) | 0x100;
2c0262af
FB		 1870 goto reswitch;
1871
1872 /**************************/
1873 /* arith & logic */
1874 case 0x00 ... 0x05:
1875 case 0x08 ... 0x0d:
1876 case 0x10 ... 0x15:
1877 case 0x18 ... 0x1d:
1878 case 0x20 ... 0x25:
1879 case 0x28 ... 0x2d:
1880 case 0x30 ... 0x35:
1881 case 0x38 ... 0x3d:
1882 {
1883 int op, f, val;
1884 op = (b >> 3) & 7;
1885 f = (b >> 1) & 3;
1886
1887 if ((b & 1) == 0)
1888 ot = OT_BYTE;
1889 else
1890 ot = dflag ? OT_LONG : OT_WORD;
1891
1892 switch(f) {
1893 case 0: /* OP Ev, Gv */
61382a50 1894 modrm = ldub_code(s->pc++);
2c0262af
FB		 1895 reg = ((modrm >> 3) & 7);
1896 mod = (modrm >> 6) & 3;
1897 rm = modrm & 7;
1898 if (mod != 3) {
1899 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
1900 opreg = OR_TMP0;
1901 } else if (op == OP_XORL && rm == reg) {
1902 xor_zero:
1903 /* xor reg, reg optimisation */
1904 gen_op_movl_T0_0();
1905 s->cc_op = CC_OP_LOGICB + ot;
1906 gen_op_mov_reg_T0[ot][reg]();
1907 gen_op_update1_cc();
1908 break;
1909 } else {
1910 opreg = rm;
1911 }
1912 gen_op_mov_TN_reg[ot][1][reg]();
1913 gen_op(s, op, ot, opreg);
1914 break;
1915 case 1: /* OP Gv, Ev */
61382a50 1916 modrm = ldub_code(s->pc++);
2c0262af
FB		 1917 mod = (modrm >> 6) & 3;
1918 reg = ((modrm >> 3) & 7);
1919 rm = modrm & 7;
1920 if (mod != 3) {
1921 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
1922 gen_op_ld_T1_A0[ot + s->mem_index]();
1923 } else if (op == OP_XORL && rm == reg) {
1924 goto xor_zero;
1925 } else {
1926 gen_op_mov_TN_reg[ot][1][rm]();
1927 }
1928 gen_op(s, op, ot, reg);
1929 break;
1930 case 2: /* OP A, Iv */
1931 val = insn_get(s, ot);
1932 gen_op_movl_T1_im(val);
1933 gen_op(s, op, ot, OR_EAX);
1934 break;
1935 }
1936 }
1937 break;
1938
1939 case 0x80: /* GRP1 */
1940 case 0x81:
d64477af 1941 case 0x82:
2c0262af
FB		 1942 case 0x83:
1943 {
1944 int val;
1945
1946 if ((b & 1) == 0)
1947 ot = OT_BYTE;
1948 else
1949 ot = dflag ? OT_LONG : OT_WORD;
1950
61382a50 1951 modrm = ldub_code(s->pc++);
2c0262af
FB		 1952 mod = (modrm >> 6) & 3;
1953 rm = modrm & 7;
1954 op = (modrm >> 3) & 7;
1955
1956 if (mod != 3) {
1957 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
1958 opreg = OR_TMP0;
1959 } else {
1960 opreg = rm + OR_EAX;
1961 }
1962
1963 switch(b) {
1964 default:
1965 case 0x80:
1966 case 0x81:
d64477af 1967 case 0x82:
2c0262af
FB		 1968 val = insn_get(s, ot);
1969 break;
1970 case 0x83:
1971 val = (int8_t)insn_get(s, OT_BYTE);
1972 break;
1973 }
1974 gen_op_movl_T1_im(val);
1975 gen_op(s, op, ot, opreg);
1976 }
1977 break;
1978
1979 /**************************/
1980 /* inc, dec, and other misc arith */
1981 case 0x40 ... 0x47: /* inc Gv */
1982 ot = dflag ? OT_LONG : OT_WORD;
1983 gen_inc(s, ot, OR_EAX + (b & 7), 1);
1984 break;
1985 case 0x48 ... 0x4f: /* dec Gv */
1986 ot = dflag ? OT_LONG : OT_WORD;
1987 gen_inc(s, ot, OR_EAX + (b & 7), -1);
1988 break;
1989 case 0xf6: /* GRP3 */
1990 case 0xf7:
1991 if ((b & 1) == 0)
1992 ot = OT_BYTE;
1993 else
1994 ot = dflag ? OT_LONG : OT_WORD;
1995
61382a50 1996 modrm = ldub_code(s->pc++);
2c0262af
FB		 1997 mod = (modrm >> 6) & 3;
1998 rm = modrm & 7;
1999 op = (modrm >> 3) & 7;
2000 if (mod != 3) {
2001 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2002 gen_op_ld_T0_A0[ot + s->mem_index]();
2003 } else {
2004 gen_op_mov_TN_reg[ot][0][rm]();
2005 }
2006
2007 switch(op) {
2008 case 0: /* test */
2009 val = insn_get(s, ot);
2010 gen_op_movl_T1_im(val);
2011 gen_op_testl_T0_T1_cc();
2012 s->cc_op = CC_OP_LOGICB + ot;
2013 break;
2014 case 2: /* not */
2015 gen_op_notl_T0();
2016 if (mod != 3) {
2017 gen_op_st_T0_A0[ot + s->mem_index]();
2018 } else {
2019 gen_op_mov_reg_T0[ot][rm]();
2020 }
2021 break;
2022 case 3: /* neg */
2023 gen_op_negl_T0();
2024 if (mod != 3) {
2025 gen_op_st_T0_A0[ot + s->mem_index]();
2026 } else {
2027 gen_op_mov_reg_T0[ot][rm]();
2028 }
2029 gen_op_update_neg_cc();
2030 s->cc_op = CC_OP_SUBB + ot;
2031 break;
2032 case 4: /* mul */
2033 switch(ot) {
2034 case OT_BYTE:
2035 gen_op_mulb_AL_T0();
d36cd60e 2036 s->cc_op = CC_OP_MULB;
2c0262af
FB		 2037 break;
2038 case OT_WORD:
2039 gen_op_mulw_AX_T0();
d36cd60e 2040 s->cc_op = CC_OP_MULW;
2c0262af
FB		 2041 break;
2042 default:
2043 case OT_LONG:
2044 gen_op_mull_EAX_T0();
d36cd60e 2045 s->cc_op = CC_OP_MULL;
2c0262af
FB		 2046 break;
2047 }
2c0262af
FB		 2048 break;
2049 case 5: /* imul */
2050 switch(ot) {
2051 case OT_BYTE:
2052 gen_op_imulb_AL_T0();
d36cd60e 2053 s->cc_op = CC_OP_MULB;
2c0262af
FB		 2054 break;
2055 case OT_WORD:
2056 gen_op_imulw_AX_T0();
d36cd60e 2057 s->cc_op = CC_OP_MULW;
2c0262af
FB		 2058 break;
2059 default:
2060 case OT_LONG:
2061 gen_op_imull_EAX_T0();
d36cd60e 2062 s->cc_op = CC_OP_MULL;
2c0262af
FB		 2063 break;
2064 }
2c0262af
FB		 2065 break;
2066 case 6: /* div */
2067 switch(ot) {
2068 case OT_BYTE:
2069 gen_op_divb_AL_T0(pc_start - s->cs_base);
2070 break;
2071 case OT_WORD:
2072 gen_op_divw_AX_T0(pc_start - s->cs_base);
2073 break;
2074 default:
2075 case OT_LONG:
2076 gen_op_divl_EAX_T0(pc_start - s->cs_base);
2077 break;
2078 }
2079 break;
2080 case 7: /* idiv */
2081 switch(ot) {
2082 case OT_BYTE:
2083 gen_op_idivb_AL_T0(pc_start - s->cs_base);
2084 break;
2085 case OT_WORD:
2086 gen_op_idivw_AX_T0(pc_start - s->cs_base);
2087 break;
2088 default:
2089 case OT_LONG:
2090 gen_op_idivl_EAX_T0(pc_start - s->cs_base);
2091 break;
2092 }
2093 break;
2094 default:
2095 goto illegal_op;
2096 }
2097 break;
2098
2099 case 0xfe: /* GRP4 */
2100 case 0xff: /* GRP5 */
2101 if ((b & 1) == 0)
2102 ot = OT_BYTE;
2103 else
2104 ot = dflag ? OT_LONG : OT_WORD;
2105
61382a50 2106 modrm = ldub_code(s->pc++);
2c0262af
FB		 2107 mod = (modrm >> 6) & 3;
2108 rm = modrm & 7;
2109 op = (modrm >> 3) & 7;
2110 if (op >= 2 && b == 0xfe) {
2111 goto illegal_op;
2112 }
2113 if (mod != 3) {
2114 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2115 if (op >= 2 && op != 3 && op != 5)
2116 gen_op_ld_T0_A0[ot + s->mem_index]();
2117 } else {
2118 gen_op_mov_TN_reg[ot][0][rm]();
2119 }
2120
2121 switch(op) {
2122 case 0: /* inc Ev */
2123 if (mod != 3)
2124 opreg = OR_TMP0;
2125 else
2126 opreg = rm;
2127 gen_inc(s, ot, opreg, 1);
2128 break;
2129 case 1: /* dec Ev */
2130 if (mod != 3)
2131 opreg = OR_TMP0;
2132 else
2133 opreg = rm;
2134 gen_inc(s, ot, opreg, -1);
2135 break;
2136 case 2: /* call Ev */
4f31916f 2137 /* XXX: optimize if memory (no 'and' is necessary) */
2c0262af
FB		 2138 if (s->dflag == 0)
2139 gen_op_andl_T0_ffff();
2c0262af 2140 next_eip = s->pc - s->cs_base;
4f31916f
FB		 2141 gen_op_movl_T1_im(next_eip);
2142 gen_push_T1(s);
2143 gen_op_jmp_T0();
2c0262af
FB		 2144 gen_eob(s);
2145 break;
61382a50 2146 case 3: /* lcall Ev */
2c0262af
FB		 2147 gen_op_ld_T1_A0[ot + s->mem_index]();
2148 gen_op_addl_A0_im(1 << (ot - OT_WORD + 1));
61382a50 2149 gen_op_ldu_T0_A0[OT_WORD + s->mem_index]();
2c0262af
FB		 2150 do_lcall:
2151 if (s->pe && !s->vm86) {
2152 if (s->cc_op != CC_OP_DYNAMIC)
2153 gen_op_set_cc_op(s->cc_op);
2154 gen_op_jmp_im(pc_start - s->cs_base);
2155 gen_op_lcall_protected_T0_T1(dflag, s->pc - s->cs_base);
2156 } else {
2157 gen_op_lcall_real_T0_T1(dflag, s->pc - s->cs_base);
2158 }
2159 gen_eob(s);
2160 break;
2161 case 4: /* jmp Ev */
2162 if (s->dflag == 0)
2163 gen_op_andl_T0_ffff();
2164 gen_op_jmp_T0();
2165 gen_eob(s);
2166 break;
2167 case 5: /* ljmp Ev */
2168 gen_op_ld_T1_A0[ot + s->mem_index]();
2169 gen_op_addl_A0_im(1 << (ot - OT_WORD + 1));
61382a50 2170 gen_op_ldu_T0_A0[OT_WORD + s->mem_index]();
2c0262af
FB		 2171 do_ljmp:
2172 if (s->pe && !s->vm86) {
2173 if (s->cc_op != CC_OP_DYNAMIC)
2174 gen_op_set_cc_op(s->cc_op);
2175 gen_op_jmp_im(pc_start - s->cs_base);
08cea4ee 2176 gen_op_ljmp_protected_T0_T1(s->pc - s->cs_base);
2c0262af
FB		 2177 } else {
2178 gen_op_movl_seg_T0_vm(offsetof(CPUX86State,segs[R_CS]));
2179 gen_op_movl_T0_T1();
2180 gen_op_jmp_T0();
2181 }
2182 gen_eob(s);
2183 break;
2184 case 6: /* push Ev */
2185 gen_push_T0(s);
2186 break;
2187 default:
2188 goto illegal_op;
2189 }
2190 break;
2191
2192 case 0x84: /* test Ev, Gv */
2193 case 0x85:
2194 if ((b & 1) == 0)
2195 ot = OT_BYTE;
2196 else
2197 ot = dflag ? OT_LONG : OT_WORD;
2198
61382a50 2199 modrm = ldub_code(s->pc++);
2c0262af
FB		 2200 mod = (modrm >> 6) & 3;
2201 rm = modrm & 7;
2202 reg = (modrm >> 3) & 7;
2203
2204 gen_ldst_modrm(s, modrm, ot, OR_TMP0, 0);
2205 gen_op_mov_TN_reg[ot][1][reg + OR_EAX]();
2206 gen_op_testl_T0_T1_cc();
2207 s->cc_op = CC_OP_LOGICB + ot;
2208 break;
2209
2210 case 0xa8: /* test eAX, Iv */
2211 case 0xa9:
2212 if ((b & 1) == 0)
2213 ot = OT_BYTE;
2214 else
2215 ot = dflag ? OT_LONG : OT_WORD;
2216 val = insn_get(s, ot);
2217
2218 gen_op_mov_TN_reg[ot][0][OR_EAX]();
2219 gen_op_movl_T1_im(val);
2220 gen_op_testl_T0_T1_cc();
2221 s->cc_op = CC_OP_LOGICB + ot;
2222 break;
2223
2224 case 0x98: /* CWDE/CBW */
2225 if (dflag)
2226 gen_op_movswl_EAX_AX();
2227 else
2228 gen_op_movsbw_AX_AL();
2229 break;
2230 case 0x99: /* CDQ/CWD */
2231 if (dflag)
2232 gen_op_movslq_EDX_EAX();
2233 else
2234 gen_op_movswl_DX_AX();
2235 break;
2236 case 0x1af: /* imul Gv, Ev */
2237 case 0x69: /* imul Gv, Ev, I */
2238 case 0x6b:
2239 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2240 modrm = ldub_code(s->pc++);
2c0262af
FB		 2241 reg = ((modrm >> 3) & 7) + OR_EAX;
2242 gen_ldst_modrm(s, modrm, ot, OR_TMP0, 0);
2243 if (b == 0x69) {
2244 val = insn_get(s, ot);
2245 gen_op_movl_T1_im(val);
2246 } else if (b == 0x6b) {
d64477af 2247 val = (int8_t)insn_get(s, OT_BYTE);
2c0262af
FB		 2248 gen_op_movl_T1_im(val);
2249 } else {
2250 gen_op_mov_TN_reg[ot][1][reg]();
2251 }
2252
2253 if (ot == OT_LONG) {
2254 gen_op_imull_T0_T1();
2255 } else {
2256 gen_op_imulw_T0_T1();
2257 }
2258 gen_op_mov_reg_T0[ot][reg]();
d36cd60e 2259 s->cc_op = CC_OP_MULB + ot;
2c0262af
FB		 2260 break;
2261 case 0x1c0:
2262 case 0x1c1: /* xadd Ev, Gv */
2263 if ((b & 1) == 0)
2264 ot = OT_BYTE;
2265 else
2266 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2267 modrm = ldub_code(s->pc++);
2c0262af
FB		 2268 reg = (modrm >> 3) & 7;
2269 mod = (modrm >> 6) & 3;
2270 if (mod == 3) {
2271 rm = modrm & 7;
2272 gen_op_mov_TN_reg[ot][0][reg]();
2273 gen_op_mov_TN_reg[ot][1][rm]();
2274 gen_op_addl_T0_T1();
2c0262af 2275 gen_op_mov_reg_T1[ot][reg]();
5a1388b6 2276 gen_op_mov_reg_T0[ot][rm]();
2c0262af
FB		 2277 } else {
2278 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2279 gen_op_mov_TN_reg[ot][0][reg]();
2280 gen_op_ld_T1_A0[ot + s->mem_index]();
2281 gen_op_addl_T0_T1();
2282 gen_op_st_T0_A0[ot + s->mem_index]();
2283 gen_op_mov_reg_T1[ot][reg]();
2284 }
2285 gen_op_update2_cc();
2286 s->cc_op = CC_OP_ADDB + ot;
2287 break;
2288 case 0x1b0:
2289 case 0x1b1: /* cmpxchg Ev, Gv */
2290 if ((b & 1) == 0)
2291 ot = OT_BYTE;
2292 else
2293 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2294 modrm = ldub_code(s->pc++);
2c0262af
FB		 2295 reg = (modrm >> 3) & 7;
2296 mod = (modrm >> 6) & 3;
2297 gen_op_mov_TN_reg[ot][1][reg]();
2298 if (mod == 3) {
2299 rm = modrm & 7;
2300 gen_op_mov_TN_reg[ot][0][rm]();
2301 gen_op_cmpxchg_T0_T1_EAX_cc[ot]();
2302 gen_op_mov_reg_T0[ot][rm]();
2303 } else {
2304 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2305 gen_op_ld_T0_A0[ot + s->mem_index]();
4f31916f 2306 gen_op_cmpxchg_mem_T0_T1_EAX_cc[ot + s->mem_index]();
2c0262af
FB		 2307 }
2308 s->cc_op = CC_OP_SUBB + ot;
2309 break;
2310 case 0x1c7: /* cmpxchg8b */
61382a50 2311 modrm = ldub_code(s->pc++);
2c0262af
FB		 2312 mod = (modrm >> 6) & 3;
2313 if (mod == 3)
2314 goto illegal_op;
2315 if (s->cc_op != CC_OP_DYNAMIC)
2316 gen_op_set_cc_op(s->cc_op);
2317 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2318 gen_op_cmpxchg8b();
2319 s->cc_op = CC_OP_EFLAGS;
2320 break;
2321
2322 /**************************/
2323 /* push/pop */
2324 case 0x50 ... 0x57: /* push */
2325 gen_op_mov_TN_reg[OT_LONG][0][b & 7]();
2326 gen_push_T0(s);
2327 break;
2328 case 0x58 ... 0x5f: /* pop */
2329 ot = dflag ? OT_LONG : OT_WORD;
2330 gen_pop_T0(s);
77729c24 2331 /* NOTE: order is important for pop %sp */
2c0262af 2332 gen_pop_update(s);
77729c24 2333 gen_op_mov_reg_T0[ot][b & 7]();
2c0262af
FB		 2334 break;
2335 case 0x60: /* pusha */
2336 gen_pusha(s);
2337 break;
2338 case 0x61: /* popa */
2339 gen_popa(s);
2340 break;
2341 case 0x68: /* push Iv */
2342 case 0x6a:
2343 ot = dflag ? OT_LONG : OT_WORD;
2344 if (b == 0x68)
2345 val = insn_get(s, ot);
2346 else
2347 val = (int8_t)insn_get(s, OT_BYTE);
2348 gen_op_movl_T0_im(val);
2349 gen_push_T0(s);
2350 break;
2351 case 0x8f: /* pop Ev */
2352 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2353 modrm = ldub_code(s->pc++);
77729c24 2354 mod = (modrm >> 6) & 3;
2c0262af 2355 gen_pop_T0(s);
77729c24
FB		 2356 if (mod == 3) {
2357 /* NOTE: order is important for pop %sp */
2358 gen_pop_update(s);
2359 rm = modrm & 7;
2360 gen_op_mov_reg_T0[ot][rm]();
2361 } else {
2362 /* NOTE: order is important too for MMU exceptions */
2363 s->popl_esp_hack = 2 << dflag;
2364 gen_ldst_modrm(s, modrm, ot, OR_TMP0, 1);
2365 s->popl_esp_hack = 0;
2366 gen_pop_update(s);
2367 }
2c0262af
FB		 2368 break;
2369 case 0xc8: /* enter */
2370 {
2371 int level;
61382a50 2372 val = lduw_code(s->pc);
2c0262af 2373 s->pc += 2;
61382a50 2374 level = ldub_code(s->pc++);
2c0262af
FB		 2375 gen_enter(s, val, level);
2376 }
2377 break;
2378 case 0xc9: /* leave */
2379 /* XXX: exception not precise (ESP is updated before potential exception) */
2380 if (s->ss32) {
2381 gen_op_mov_TN_reg[OT_LONG][0][R_EBP]();
2382 gen_op_mov_reg_T0[OT_LONG][R_ESP]();
2383 } else {
2384 gen_op_mov_TN_reg[OT_WORD][0][R_EBP]();
2385 gen_op_mov_reg_T0[OT_WORD][R_ESP]();
2386 }
2387 gen_pop_T0(s);
2388 ot = dflag ? OT_LONG : OT_WORD;
2389 gen_op_mov_reg_T0[ot][R_EBP]();
2390 gen_pop_update(s);
2391 break;
2392 case 0x06: /* push es */
2393 case 0x0e: /* push cs */
2394 case 0x16: /* push ss */
2395 case 0x1e: /* push ds */
2396 gen_op_movl_T0_seg(b >> 3);
2397 gen_push_T0(s);
2398 break;
2399 case 0x1a0: /* push fs */
2400 case 0x1a8: /* push gs */
2401 gen_op_movl_T0_seg((b >> 3) & 7);
2402 gen_push_T0(s);
2403 break;
2404 case 0x07: /* pop es */
2405 case 0x17: /* pop ss */
2406 case 0x1f: /* pop ds */
2407 reg = b >> 3;
2408 gen_pop_T0(s);
2409 gen_movl_seg_T0(s, reg, pc_start - s->cs_base);
2410 gen_pop_update(s);
2411 if (reg == R_SS) {
a2cc3b24
FB		 2412 /* if reg == SS, inhibit interrupts/trace. */
2413 /* If several instructions disable interrupts, only the
2414 _first_ does it */
2415 if (!(s->tb->flags & HF_INHIBIT_IRQ_MASK))
2416 gen_op_set_inhibit_irq();
2c0262af
FB		 2417 s->tf = 0;
2418 }
2419 if (s->is_jmp) {
2420 gen_op_jmp_im(s->pc - s->cs_base);
2421 gen_eob(s);
2422 }
2423 break;
2424 case 0x1a1: /* pop fs */
2425 case 0x1a9: /* pop gs */
2426 gen_pop_T0(s);
2427 gen_movl_seg_T0(s, (b >> 3) & 7, pc_start - s->cs_base);
2428 gen_pop_update(s);
2429 if (s->is_jmp) {
2430 gen_op_jmp_im(s->pc - s->cs_base);
2431 gen_eob(s);
2432 }
2433 break;
2434
2435 /**************************/
2436 /* mov */
2437 case 0x88:
2438 case 0x89: /* mov Gv, Ev */
2439 if ((b & 1) == 0)
2440 ot = OT_BYTE;
2441 else
2442 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2443 modrm = ldub_code(s->pc++);
2c0262af
FB		 2444 reg = (modrm >> 3) & 7;
2445
2446 /* generate a generic store */
2447 gen_ldst_modrm(s, modrm, ot, OR_EAX + reg, 1);
2448 break;
2449 case 0xc6:
2450 case 0xc7: /* mov Ev, Iv */
2451 if ((b & 1) == 0)
2452 ot = OT_BYTE;
2453 else
2454 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2455 modrm = ldub_code(s->pc++);
2c0262af
FB		 2456 mod = (modrm >> 6) & 3;
2457 if (mod != 3)
2458 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2459 val = insn_get(s, ot);
2460 gen_op_movl_T0_im(val);
2461 if (mod != 3)
2462 gen_op_st_T0_A0[ot + s->mem_index]();
2463 else
2464 gen_op_mov_reg_T0[ot][modrm & 7]();
2465 break;
2466 case 0x8a:
2467 case 0x8b: /* mov Ev, Gv */
2468 if ((b & 1) == 0)
2469 ot = OT_BYTE;
2470 else
2471 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2472 modrm = ldub_code(s->pc++);
2c0262af
FB		 2473 reg = (modrm >> 3) & 7;
2474
2475 gen_ldst_modrm(s, modrm, ot, OR_TMP0, 0);
2476 gen_op_mov_reg_T0[ot][reg]();
2477 break;
2478 case 0x8e: /* mov seg, Gv */
61382a50 2479 modrm = ldub_code(s->pc++);
2c0262af
FB		 2480 reg = (modrm >> 3) & 7;
2481 if (reg >= 6 || reg == R_CS)
2482 goto illegal_op;
2483 gen_ldst_modrm(s, modrm, OT_WORD, OR_TMP0, 0);
2484 gen_movl_seg_T0(s, reg, pc_start - s->cs_base);
2485 if (reg == R_SS) {
2486 /* if reg == SS, inhibit interrupts/trace */
a2cc3b24
FB		 2487 /* If several instructions disable interrupts, only the
2488 _first_ does it */
2489 if (!(s->tb->flags & HF_INHIBIT_IRQ_MASK))
2490 gen_op_set_inhibit_irq();
2c0262af
FB		 2491 s->tf = 0;
2492 }
2493 if (s->is_jmp) {
2494 gen_op_jmp_im(s->pc - s->cs_base);
2495 gen_eob(s);
2496 }
2497 break;
2498 case 0x8c: /* mov Gv, seg */
61382a50 2499 modrm = ldub_code(s->pc++);
2c0262af
FB		 2500 reg = (modrm >> 3) & 7;
2501 mod = (modrm >> 6) & 3;
2502 if (reg >= 6)
2503 goto illegal_op;
2504 gen_op_movl_T0_seg(reg);
2505 ot = OT_WORD;
2506 if (mod == 3 && dflag)
2507 ot = OT_LONG;
2508 gen_ldst_modrm(s, modrm, ot, OR_TMP0, 1);
2509 break;
2510
2511 case 0x1b6: /* movzbS Gv, Eb */
2512 case 0x1b7: /* movzwS Gv, Eb */
2513 case 0x1be: /* movsbS Gv, Eb */
2514 case 0x1bf: /* movswS Gv, Eb */
2515 {
2516 int d_ot;
2517 /* d_ot is the size of destination */
2518 d_ot = dflag + OT_WORD;
2519 /* ot is the size of source */
2520 ot = (b & 1) + OT_BYTE;
61382a50 2521 modrm = ldub_code(s->pc++);
2c0262af
FB		 2522 reg = ((modrm >> 3) & 7) + OR_EAX;
2523 mod = (modrm >> 6) & 3;
2524 rm = modrm & 7;
2525
2526 if (mod == 3) {
2527 gen_op_mov_TN_reg[ot][0][rm]();
2528 switch(ot | (b & 8)) {
2529 case OT_BYTE:
2530 gen_op_movzbl_T0_T0();
2531 break;
2532 case OT_BYTE | 8:
2533 gen_op_movsbl_T0_T0();
2534 break;
2535 case OT_WORD:
2536 gen_op_movzwl_T0_T0();
2537 break;
2538 default:
2539 case OT_WORD | 8:
2540 gen_op_movswl_T0_T0();
2541 break;
2542 }
2543 gen_op_mov_reg_T0[d_ot][reg]();
2544 } else {
2545 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2546 if (b & 8) {
2547 gen_op_lds_T0_A0[ot + s->mem_index]();
2548 } else {
2549 gen_op_ldu_T0_A0[ot + s->mem_index]();
2550 }
2551 gen_op_mov_reg_T0[d_ot][reg]();
2552 }
2553 }
2554 break;
2555
2556 case 0x8d: /* lea */
2557 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2558 modrm = ldub_code(s->pc++);
3a1d9b8b
FB		 2559 mod = (modrm >> 6) & 3;
2560 if (mod == 3)
2561 goto illegal_op;
2c0262af
FB		 2562 reg = (modrm >> 3) & 7;
2563 /* we must ensure that no segment is added */
2564 s->override = -1;
2565 val = s->addseg;
2566 s->addseg = 0;
2567 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2568 s->addseg = val;
2569 gen_op_mov_reg_A0[ot - OT_WORD][reg]();
2570 break;
2571
2572 case 0xa0: /* mov EAX, Ov */
2573 case 0xa1:
2574 case 0xa2: /* mov Ov, EAX */
2575 case 0xa3:
2576 if ((b & 1) == 0)
2577 ot = OT_BYTE;
2578 else
2579 ot = dflag ? OT_LONG : OT_WORD;
2580 if (s->aflag)
2581 offset_addr = insn_get(s, OT_LONG);
2582 else
2583 offset_addr = insn_get(s, OT_WORD);
2584 gen_op_movl_A0_im(offset_addr);
2585 /* handle override */
2586 {
2587 int override, must_add_seg;
2588 must_add_seg = s->addseg;
2589 if (s->override >= 0) {
2590 override = s->override;
2591 must_add_seg = 1;
2592 } else {
2593 override = R_DS;
2594 }
2595 if (must_add_seg) {
2596 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[override].base));
2597 }
2598 }
2599 if ((b & 2) == 0) {
2600 gen_op_ld_T0_A0[ot + s->mem_index]();
2601 gen_op_mov_reg_T0[ot][R_EAX]();
2602 } else {
2603 gen_op_mov_TN_reg[ot][0][R_EAX]();
2604 gen_op_st_T0_A0[ot + s->mem_index]();
2605 }
2606 break;
2607 case 0xd7: /* xlat */
2608 gen_op_movl_A0_reg[R_EBX]();
2609 gen_op_addl_A0_AL();
2610 if (s->aflag == 0)
2611 gen_op_andl_A0_ffff();
2612 /* handle override */
2613 {
2614 int override, must_add_seg;
2615 must_add_seg = s->addseg;
2616 override = R_DS;
2617 if (s->override >= 0) {
2618 override = s->override;
2619 must_add_seg = 1;
2620 } else {
2621 override = R_DS;
2622 }
2623 if (must_add_seg) {
2624 gen_op_addl_A0_seg(offsetof(CPUX86State,segs[override].base));
2625 }
2626 }
2627 gen_op_ldu_T0_A0[OT_BYTE + s->mem_index]();
2628 gen_op_mov_reg_T0[OT_BYTE][R_EAX]();
2629 break;
2630 case 0xb0 ... 0xb7: /* mov R, Ib */
2631 val = insn_get(s, OT_BYTE);
2632 gen_op_movl_T0_im(val);
2633 gen_op_mov_reg_T0[OT_BYTE][b & 7]();
2634 break;
2635 case 0xb8 ... 0xbf: /* mov R, Iv */
2636 ot = dflag ? OT_LONG : OT_WORD;
2637 val = insn_get(s, ot);
2638 reg = OR_EAX + (b & 7);
2639 gen_op_movl_T0_im(val);
2640 gen_op_mov_reg_T0[ot][reg]();
2641 break;
2642
2643 case 0x91 ... 0x97: /* xchg R, EAX */
2644 ot = dflag ? OT_LONG : OT_WORD;
2645 reg = b & 7;
2646 rm = R_EAX;
2647 goto do_xchg_reg;
2648 case 0x86:
2649 case 0x87: /* xchg Ev, Gv */
2650 if ((b & 1) == 0)
2651 ot = OT_BYTE;
2652 else
2653 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2654 modrm = ldub_code(s->pc++);
2c0262af
FB		 2655 reg = (modrm >> 3) & 7;
2656 mod = (modrm >> 6) & 3;
2657 if (mod == 3) {
2658 rm = modrm & 7;
2659 do_xchg_reg:
2660 gen_op_mov_TN_reg[ot][0][reg]();
2661 gen_op_mov_TN_reg[ot][1][rm]();
2662 gen_op_mov_reg_T0[ot][rm]();
2663 gen_op_mov_reg_T1[ot][reg]();
2664 } else {
2665 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2666 gen_op_mov_TN_reg[ot][0][reg]();
2667 /* for xchg, lock is implicit */
2668 if (!(prefixes & PREFIX_LOCK))
2669 gen_op_lock();
2670 gen_op_ld_T1_A0[ot + s->mem_index]();
2671 gen_op_st_T0_A0[ot + s->mem_index]();
2672 if (!(prefixes & PREFIX_LOCK))
2673 gen_op_unlock();
2674 gen_op_mov_reg_T1[ot][reg]();
2675 }
2676 break;
2677 case 0xc4: /* les Gv */
2678 op = R_ES;
2679 goto do_lxx;
2680 case 0xc5: /* lds Gv */
2681 op = R_DS;
2682 goto do_lxx;
2683 case 0x1b2: /* lss Gv */
2684 op = R_SS;
2685 goto do_lxx;
2686 case 0x1b4: /* lfs Gv */
2687 op = R_FS;
2688 goto do_lxx;
2689 case 0x1b5: /* lgs Gv */
2690 op = R_GS;
2691 do_lxx:
2692 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2693 modrm = ldub_code(s->pc++);
2c0262af
FB		 2694 reg = (modrm >> 3) & 7;
2695 mod = (modrm >> 6) & 3;
2696 if (mod == 3)
2697 goto illegal_op;
2698 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2699 gen_op_ld_T1_A0[ot + s->mem_index]();
2700 gen_op_addl_A0_im(1 << (ot - OT_WORD + 1));
2701 /* load the segment first to handle exceptions properly */
61382a50 2702 gen_op_ldu_T0_A0[OT_WORD + s->mem_index]();
2c0262af
FB		 2703 gen_movl_seg_T0(s, op, pc_start - s->cs_base);
2704 /* then put the data */
2705 gen_op_mov_reg_T1[ot][reg]();
2706 if (s->is_jmp) {
2707 gen_op_jmp_im(s->pc - s->cs_base);
2708 gen_eob(s);
2709 }
2710 break;
2711
2712 /************************/
2713 /* shifts */
2714 case 0xc0:
2715 case 0xc1:
2716 /* shift Ev,Ib */
2717 shift = 2;
2718 grp2:
2719 {
2720 if ((b & 1) == 0)
2721 ot = OT_BYTE;
2722 else
2723 ot = dflag ? OT_LONG : OT_WORD;
2724
61382a50 2725 modrm = ldub_code(s->pc++);
2c0262af
FB		 2726 mod = (modrm >> 6) & 3;
2727 rm = modrm & 7;
2728 op = (modrm >> 3) & 7;
2729
2730 if (mod != 3) {
2731 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2732 opreg = OR_TMP0;
2733 } else {
2734 opreg = rm + OR_EAX;
2735 }
2736
2737 /* simpler op */
2738 if (shift == 0) {
2739 gen_shift(s, op, ot, opreg, OR_ECX);
2740 } else {
2741 if (shift == 2) {
61382a50 2742 shift = ldub_code(s->pc++);
2c0262af
FB		 2743 }
2744 gen_shifti(s, op, ot, opreg, shift);
2745 }
2746 }
2747 break;
2748 case 0xd0:
2749 case 0xd1:
2750 /* shift Ev,1 */
2751 shift = 1;
2752 goto grp2;
2753 case 0xd2:
2754 case 0xd3:
2755 /* shift Ev,cl */
2756 shift = 0;
2757 goto grp2;
2758
2759 case 0x1a4: /* shld imm */
2760 op = 0;
2761 shift = 1;
2762 goto do_shiftd;
2763 case 0x1a5: /* shld cl */
2764 op = 0;
2765 shift = 0;
2766 goto do_shiftd;
2767 case 0x1ac: /* shrd imm */
2768 op = 1;
2769 shift = 1;
2770 goto do_shiftd;
2771 case 0x1ad: /* shrd cl */
2772 op = 1;
2773 shift = 0;
2774 do_shiftd:
2775 ot = dflag ? OT_LONG : OT_WORD;
61382a50 2776 modrm = ldub_code(s->pc++);
2c0262af
FB		 2777 mod = (modrm >> 6) & 3;
2778 rm = modrm & 7;
2779 reg = (modrm >> 3) & 7;
2780
2781 if (mod != 3) {
2782 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2783 gen_op_ld_T0_A0[ot + s->mem_index]();
2784 } else {
2785 gen_op_mov_TN_reg[ot][0][rm]();
2786 }
2787 gen_op_mov_TN_reg[ot][1][reg]();
2788
2789 if (shift) {
61382a50 2790 val = ldub_code(s->pc++);
2c0262af
FB		 2791 val &= 0x1f;
2792 if (val) {
2793 if (mod == 3)
4f31916f 2794 gen_op_shiftd_T0_T1_im_cc[ot][op](val);
2c0262af 2795 else
4f31916f 2796 gen_op_shiftd_mem_T0_T1_im_cc[ot + s->mem_index][op](val);
2c0262af
FB		 2797 if (op == 0 && ot != OT_WORD)
2798 s->cc_op = CC_OP_SHLB + ot;
2799 else
2800 s->cc_op = CC_OP_SARB + ot;
2801 }
2802 } else {
2803 if (s->cc_op != CC_OP_DYNAMIC)
2804 gen_op_set_cc_op(s->cc_op);
2805 if (mod == 3)
4f31916f 2806 gen_op_shiftd_T0_T1_ECX_cc[ot][op]();
2c0262af 2807 else
4f31916f 2808 gen_op_shiftd_mem_T0_T1_ECX_cc[ot + s->mem_index][op]();
2c0262af
FB		 2809 s->cc_op = CC_OP_DYNAMIC; /* cannot predict flags after */
2810 }
2811 if (mod == 3) {
2812 gen_op_mov_reg_T0[ot][rm]();
2813 }
2814 break;
2815
2816 /************************/
2817 /* floats */
2818 case 0xd8 ... 0xdf:
7eee2a50
FB		 2819 if (s->flags & (HF_EM_MASK | HF_TS_MASK)) {
2820 /* if CR0.EM or CR0.TS are set, generate an FPU exception */
2821 /* XXX: what to do if illegal op ? */
2822 gen_exception(s, EXCP07_PREX, pc_start - s->cs_base);
2823 break;
2824 }
61382a50 2825 modrm = ldub_code(s->pc++);
2c0262af
FB		 2826 mod = (modrm >> 6) & 3;
2827 rm = modrm & 7;
2828 op = ((b & 7) << 3) | ((modrm >> 3) & 7);
2c0262af
FB		 2829 if (mod != 3) {
2830 /* memory op */
2831 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
2832 switch(op) {
2833 case 0x00 ... 0x07: /* fxxxs */
2834 case 0x10 ... 0x17: /* fixxxl */
2835 case 0x20 ... 0x27: /* fxxxl */
2836 case 0x30 ... 0x37: /* fixxx */
2837 {
2838 int op1;
2839 op1 = op & 7;
2840
2841 switch(op >> 4) {
2842 case 0:
2843 gen_op_flds_FT0_A0();
2844 break;
2845 case 1:
2846 gen_op_fildl_FT0_A0();
2847 break;
2848 case 2:
2849 gen_op_fldl_FT0_A0();
2850 break;
2851 case 3:
2852 default:
2853 gen_op_fild_FT0_A0();
2854 break;
2855 }
2856
2857 gen_op_fp_arith_ST0_FT0[op1]();
2858 if (op1 == 3) {
2859 /* fcomp needs pop */
2860 gen_op_fpop();
2861 }
2862 }
2863 break;
2864 case 0x08: /* flds */
2865 case 0x0a: /* fsts */
2866 case 0x0b: /* fstps */
2867 case 0x18: /* fildl */
2868 case 0x1a: /* fistl */
2869 case 0x1b: /* fistpl */
2870 case 0x28: /* fldl */
2871 case 0x2a: /* fstl */
2872 case 0x2b: /* fstpl */
2873 case 0x38: /* filds */
2874 case 0x3a: /* fists */
2875 case 0x3b: /* fistps */
2876
2877 switch(op & 7) {
2878 case 0:
2879 switch(op >> 4) {
2880 case 0:
2881 gen_op_flds_ST0_A0();
2882 break;
2883 case 1:
2884 gen_op_fildl_ST0_A0();
2885 break;
2886 case 2:
2887 gen_op_fldl_ST0_A0();
2888 break;
2889 case 3:
2890 default:
2891 gen_op_fild_ST0_A0();
2892 break;
2893 }
2894 break;
2895 default:
2896 switch(op >> 4) {
2897 case 0:
2898 gen_op_fsts_ST0_A0();
2899 break;
2900 case 1:
2901 gen_op_fistl_ST0_A0();
2902 break;
2903 case 2:
2904 gen_op_fstl_ST0_A0();
2905 break;
2906 case 3:
2907 default:
2908 gen_op_fist_ST0_A0();
2909 break;
2910 }
2911 if ((op & 7) == 3)
2912 gen_op_fpop();
2913 break;
2914 }
2915 break;
2916 case 0x0c: /* fldenv mem */
2917 gen_op_fldenv_A0(s->dflag);
2918 break;
2919 case 0x0d: /* fldcw mem */
2920 gen_op_fldcw_A0();
2921 break;
2922 case 0x0e: /* fnstenv mem */
2923 gen_op_fnstenv_A0(s->dflag);
2924 break;
2925 case 0x0f: /* fnstcw mem */
2926 gen_op_fnstcw_A0();
2927 break;
2928 case 0x1d: /* fldt mem */
2929 gen_op_fldt_ST0_A0();
2930 break;
2931 case 0x1f: /* fstpt mem */
2932 gen_op_fstt_ST0_A0();
2933 gen_op_fpop();
2934 break;
2935 case 0x2c: /* frstor mem */
2936 gen_op_frstor_A0(s->dflag);
2937 break;
2938 case 0x2e: /* fnsave mem */
2939 gen_op_fnsave_A0(s->dflag);
2940 break;
2941 case 0x2f: /* fnstsw mem */
2942 gen_op_fnstsw_A0();
2943 break;
2944 case 0x3c: /* fbld */
2945 gen_op_fbld_ST0_A0();
2946 break;
2947 case 0x3e: /* fbstp */
2948 gen_op_fbst_ST0_A0();
2949 gen_op_fpop();
2950 break;
2951 case 0x3d: /* fildll */
2952 gen_op_fildll_ST0_A0();
2953 break;
2954 case 0x3f: /* fistpll */
2955 gen_op_fistll_ST0_A0();
2956 gen_op_fpop();
2957 break;
2958 default:
2959 goto illegal_op;
2960 }
2961 } else {
2962 /* register float ops */
2963 opreg = rm;
2964
2965 switch(op) {
2966 case 0x08: /* fld sti */
2967 gen_op_fpush();
2968 gen_op_fmov_ST0_STN((opreg + 1) & 7);
2969 break;
2970 case 0x09: /* fxchg sti */
2971 gen_op_fxchg_ST0_STN(opreg);
2972 break;
2973 case 0x0a: /* grp d9/2 */
2974 switch(rm) {
2975 case 0: /* fnop */
023fe10d
FB		 2976 /* check exceptions (FreeBSD FPU probe) */
2977 if (s->cc_op != CC_OP_DYNAMIC)
2978 gen_op_set_cc_op(s->cc_op);
2979 gen_op_jmp_im(pc_start - s->cs_base);
2980 gen_op_fwait();
2c0262af
FB		 2981 break;
2982 default:
2983 goto illegal_op;
2984 }
2985 break;
2986 case 0x0c: /* grp d9/4 */
2987 switch(rm) {
2988 case 0: /* fchs */
2989 gen_op_fchs_ST0();
2990 break;
2991 case 1: /* fabs */
2992 gen_op_fabs_ST0();
2993 break;
2994 case 4: /* ftst */
2995 gen_op_fldz_FT0();
2996 gen_op_fcom_ST0_FT0();
2997 break;
2998 case 5: /* fxam */
2999 gen_op_fxam_ST0();
3000 break;
3001 default:
3002 goto illegal_op;
3003 }
3004 break;
3005 case 0x0d: /* grp d9/5 */
3006 {
3007 switch(rm) {
3008 case 0:
3009 gen_op_fpush();
3010 gen_op_fld1_ST0();
3011 break;
3012 case 1:
3013 gen_op_fpush();
3014 gen_op_fldl2t_ST0();
3015 break;
3016 case 2:
3017 gen_op_fpush();
3018 gen_op_fldl2e_ST0();
3019 break;
3020 case 3:
3021 gen_op_fpush();
3022 gen_op_fldpi_ST0();
3023 break;
3024 case 4:
3025 gen_op_fpush();
3026 gen_op_fldlg2_ST0();
3027 break;
3028 case 5:
3029 gen_op_fpush();
3030 gen_op_fldln2_ST0();
3031 break;
3032 case 6:
3033 gen_op_fpush();
3034 gen_op_fldz_ST0();
3035 break;
3036 default:
3037 goto illegal_op;
3038 }
3039 }
3040 break;
3041 case 0x0e: /* grp d9/6 */
3042 switch(rm) {
3043 case 0: /* f2xm1 */
3044 gen_op_f2xm1();
3045 break;
3046 case 1: /* fyl2x */
3047 gen_op_fyl2x();
3048 break;
3049 case 2: /* fptan */
3050 gen_op_fptan();
3051 break;
3052 case 3: /* fpatan */
3053 gen_op_fpatan();
3054 break;
3055 case 4: /* fxtract */
3056 gen_op_fxtract();
3057 break;
3058 case 5: /* fprem1 */
3059 gen_op_fprem1();
3060 break;
3061 case 6: /* fdecstp */
3062 gen_op_fdecstp();
3063 break;
3064 default:
3065 case 7: /* fincstp */
3066 gen_op_fincstp();
3067 break;
3068 }
3069 break;
3070 case 0x0f: /* grp d9/7 */
3071 switch(rm) {
3072 case 0: /* fprem */
3073 gen_op_fprem();
3074 break;
3075 case 1: /* fyl2xp1 */
3076 gen_op_fyl2xp1();
3077 break;
3078 case 2: /* fsqrt */
3079 gen_op_fsqrt();
3080 break;
3081 case 3: /* fsincos */
3082 gen_op_fsincos();
3083 break;
3084 case 5: /* fscale */
3085 gen_op_fscale();
3086 break;
3087 case 4: /* frndint */
3088 gen_op_frndint();
3089 break;
3090 case 6: /* fsin */
3091 gen_op_fsin();
3092 break;
3093 default:
3094 case 7: /* fcos */
3095 gen_op_fcos();
3096 break;
3097 }
3098 break;
3099 case 0x00: case 0x01: case 0x04 ... 0x07: /* fxxx st, sti */
3100 case 0x20: case 0x21: case 0x24 ... 0x27: /* fxxx sti, st */
3101 case 0x30: case 0x31: case 0x34 ... 0x37: /* fxxxp sti, st */
3102 {
3103 int op1;
3104
3105 op1 = op & 7;
3106 if (op >= 0x20) {
3107 gen_op_fp_arith_STN_ST0[op1](opreg);
3108 if (op >= 0x30)
3109 gen_op_fpop();
3110 } else {
3111 gen_op_fmov_FT0_STN(opreg);
3112 gen_op_fp_arith_ST0_FT0[op1]();
3113 }
3114 }
3115 break;
3116 case 0x02: /* fcom */
3117 gen_op_fmov_FT0_STN(opreg);
3118 gen_op_fcom_ST0_FT0();
3119 break;
3120 case 0x03: /* fcomp */
3121 gen_op_fmov_FT0_STN(opreg);
3122 gen_op_fcom_ST0_FT0();
3123 gen_op_fpop();
3124 break;
3125 case 0x15: /* da/5 */
3126 switch(rm) {
3127 case 1: /* fucompp */
3128 gen_op_fmov_FT0_STN(1);
3129 gen_op_fucom_ST0_FT0();
3130 gen_op_fpop();
3131 gen_op_fpop();
3132 break;
3133 default:
3134 goto illegal_op;
3135 }
3136 break;
3137 case 0x1c:
3138 switch(rm) {
3139 case 0: /* feni (287 only, just do nop here) */
3140 break;
3141 case 1: /* fdisi (287 only, just do nop here) */
3142 break;
3143 case 2: /* fclex */
3144 gen_op_fclex();
3145 break;
3146 case 3: /* fninit */
3147 gen_op_fninit();
3148 break;
3149 case 4: /* fsetpm (287 only, just do nop here) */
3150 break;
3151 default:
3152 goto illegal_op;
3153 }
3154 break;
3155 case 0x1d: /* fucomi */
3156 if (s->cc_op != CC_OP_DYNAMIC)
3157 gen_op_set_cc_op(s->cc_op);
3158 gen_op_fmov_FT0_STN(opreg);
3159 gen_op_fucomi_ST0_FT0();
3160 s->cc_op = CC_OP_EFLAGS;
3161 break;
3162 case 0x1e: /* fcomi */
3163 if (s->cc_op != CC_OP_DYNAMIC)
3164 gen_op_set_cc_op(s->cc_op);
3165 gen_op_fmov_FT0_STN(opreg);
3166 gen_op_fcomi_ST0_FT0();
3167 s->cc_op = CC_OP_EFLAGS;
3168 break;
3169 case 0x2a: /* fst sti */
3170 gen_op_fmov_STN_ST0(opreg);
3171 break;
3172 case 0x2b: /* fstp sti */
3173 gen_op_fmov_STN_ST0(opreg);
3174 gen_op_fpop();
3175 break;
3176 case 0x2c: /* fucom st(i) */
3177 gen_op_fmov_FT0_STN(opreg);
3178 gen_op_fucom_ST0_FT0();
3179 break;
3180 case 0x2d: /* fucomp st(i) */
3181 gen_op_fmov_FT0_STN(opreg);
3182 gen_op_fucom_ST0_FT0();
3183 gen_op_fpop();
3184 break;
3185 case 0x33: /* de/3 */
3186 switch(rm) {
3187 case 1: /* fcompp */
3188 gen_op_fmov_FT0_STN(1);
3189 gen_op_fcom_ST0_FT0();
3190 gen_op_fpop();
3191 gen_op_fpop();
3192 break;
3193 default:
3194 goto illegal_op;
3195 }
3196 break;
3197 case 0x3c: /* df/4 */
3198 switch(rm) {
3199 case 0:
3200 gen_op_fnstsw_EAX();
3201 break;
3202 default:
3203 goto illegal_op;
3204 }
3205 break;
3206 case 0x3d: /* fucomip */
3207 if (s->cc_op != CC_OP_DYNAMIC)
3208 gen_op_set_cc_op(s->cc_op);
3209 gen_op_fmov_FT0_STN(opreg);
3210 gen_op_fucomi_ST0_FT0();
3211 gen_op_fpop();
3212 s->cc_op = CC_OP_EFLAGS;
3213 break;
3214 case 0x3e: /* fcomip */
3215 if (s->cc_op != CC_OP_DYNAMIC)
3216 gen_op_set_cc_op(s->cc_op);
3217 gen_op_fmov_FT0_STN(opreg);
3218 gen_op_fcomi_ST0_FT0();
3219 gen_op_fpop();
3220 s->cc_op = CC_OP_EFLAGS;
3221 break;
a2cc3b24
FB		 3222 case 0x10 ... 0x13: /* fcmovxx */
3223 case 0x18 ... 0x1b:
3224 {
3225 int op1;
3226 const static uint8_t fcmov_cc[8] = {
3227 (JCC_B << 1),
3228 (JCC_Z << 1),
3229 (JCC_BE << 1),
3230 (JCC_P << 1),
3231 };
3232 op1 = fcmov_cc[op & 3] | ((op >> 3) & 1);
3233 gen_setcc(s, op1);
3234 gen_op_fcmov_ST0_STN_T0(opreg);
3235 }
3236 break;
2c0262af
FB		 3237 default:
3238 goto illegal_op;
3239 }
3240 }
7eee2a50
FB		 3241#ifdef USE_CODE_COPY
3242 s->tb->cflags |= CF_TB_FP_USED;
3243#endif
2c0262af
FB		 3244 break;
3245 /************************/
3246 /* string ops */
3247
3248 case 0xa4: /* movsS */
3249 case 0xa5:
3250 if ((b & 1) == 0)
3251 ot = OT_BYTE;
3252 else
3253 ot = dflag ? OT_LONG : OT_WORD;
3254
3255 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ)) {
3256 gen_repz_movs(s, ot, pc_start - s->cs_base, s->pc - s->cs_base);
3257 } else {
3258 gen_movs(s, ot);
3259 }
3260 break;
3261
3262 case 0xaa: /* stosS */
3263 case 0xab:
3264 if ((b & 1) == 0)
3265 ot = OT_BYTE;
3266 else
3267 ot = dflag ? OT_LONG : OT_WORD;
3268
3269 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ)) {
3270 gen_repz_stos(s, ot, pc_start - s->cs_base, s->pc - s->cs_base);
3271 } else {
3272 gen_stos(s, ot);
3273 }
3274 break;
3275 case 0xac: /* lodsS */
3276 case 0xad:
3277 if ((b & 1) == 0)
3278 ot = OT_BYTE;
3279 else
3280 ot = dflag ? OT_LONG : OT_WORD;
3281 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ)) {
3282 gen_repz_lods(s, ot, pc_start - s->cs_base, s->pc - s->cs_base);
3283 } else {
3284 gen_lods(s, ot);
3285 }
3286 break;
3287 case 0xae: /* scasS */
3288 case 0xaf:
3289 if ((b & 1) == 0)
3290 ot = OT_BYTE;
3291 else
3292 ot = dflag ? OT_LONG : OT_WORD;
3293 if (prefixes & PREFIX_REPNZ) {
3294 gen_repz_scas(s, ot, pc_start - s->cs_base, s->pc - s->cs_base, 1);
3295 } else if (prefixes & PREFIX_REPZ) {
3296 gen_repz_scas(s, ot, pc_start - s->cs_base, s->pc - s->cs_base, 0);
3297 } else {
3298 gen_scas(s, ot);
3299 s->cc_op = CC_OP_SUBB + ot;
3300 }
3301 break;
3302
3303 case 0xa6: /* cmpsS */
3304 case 0xa7:
3305 if ((b & 1) == 0)
3306 ot = OT_BYTE;
3307 else
3308 ot = dflag ? OT_LONG : OT_WORD;
3309 if (prefixes & PREFIX_REPNZ) {
3310 gen_repz_cmps(s, ot, pc_start - s->cs_base, s->pc - s->cs_base, 1);
3311 } else if (prefixes & PREFIX_REPZ) {
3312 gen_repz_cmps(s, ot, pc_start - s->cs_base, s->pc - s->cs_base, 0);
3313 } else {
3314 gen_cmps(s, ot);
3315 s->cc_op = CC_OP_SUBB + ot;
3316 }
3317 break;
3318 case 0x6c: /* insS */
3319 case 0x6d:
f115e911
FB		 3320 if ((b & 1) == 0)
3321 ot = OT_BYTE;
3322 else
3323 ot = dflag ? OT_LONG : OT_WORD;
3324 gen_check_io(s, ot, 1, pc_start - s->cs_base);
3325 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ)) {
3326 gen_repz_ins(s, ot, pc_start - s->cs_base, s->pc - s->cs_base);
2c0262af 3327 } else {
f115e911 3328 gen_ins(s, ot);
2c0262af
FB		 3329 }
3330 break;
3331 case 0x6e: /* outsS */
3332 case 0x6f:
f115e911
FB		 3333 if ((b & 1) == 0)
3334 ot = OT_BYTE;
3335 else
3336 ot = dflag ? OT_LONG : OT_WORD;
3337 gen_check_io(s, ot, 1, pc_start - s->cs_base);
3338 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ)) {
3339 gen_repz_outs(s, ot, pc_start - s->cs_base, s->pc - s->cs_base);
2c0262af 3340 } else {
f115e911 3341 gen_outs(s, ot);
2c0262af
FB		 3342 }
3343 break;
3344
3345 /************************/
3346 /* port I/O */
3347 case 0xe4:
3348 case 0xe5:
f115e911
FB		 3349 if ((b & 1) == 0)
3350 ot = OT_BYTE;
3351 else
3352 ot = dflag ? OT_LONG : OT_WORD;
3353 val = ldub_code(s->pc++);
3354 gen_op_movl_T0_im(val);
3355 gen_check_io(s, ot, 0, pc_start - s->cs_base);
3356 gen_op_in[ot]();
3357 gen_op_mov_reg_T1[ot][R_EAX]();
2c0262af
FB		 3358 break;
3359 case 0xe6:
3360 case 0xe7:
f115e911
FB		 3361 if ((b & 1) == 0)
3362 ot = OT_BYTE;
3363 else
3364 ot = dflag ? OT_LONG : OT_WORD;
3365 val = ldub_code(s->pc++);
3366 gen_op_movl_T0_im(val);
3367 gen_check_io(s, ot, 0, pc_start - s->cs_base);
3368 gen_op_mov_TN_reg[ot][1][R_EAX]();
3369 gen_op_out[ot]();
2c0262af
FB		 3370 break;
3371 case 0xec:
3372 case 0xed:
f115e911
FB		 3373 if ((b & 1) == 0)
3374 ot = OT_BYTE;
3375 else
3376 ot = dflag ? OT_LONG : OT_WORD;
3377 gen_op_mov_TN_reg[OT_WORD][0][R_EDX]();
4f31916f 3378 gen_op_andl_T0_ffff();
f115e911
FB		 3379 gen_check_io(s, ot, 0, pc_start - s->cs_base);
3380 gen_op_in[ot]();
3381 gen_op_mov_reg_T1[ot][R_EAX]();
2c0262af
FB		 3382 break;
3383 case 0xee:
3384 case 0xef:
f115e911
FB		 3385 if ((b & 1) == 0)
3386 ot = OT_BYTE;
3387 else
3388 ot = dflag ? OT_LONG : OT_WORD;
3389 gen_op_mov_TN_reg[OT_WORD][0][R_EDX]();
4f31916f 3390 gen_op_andl_T0_ffff();
f115e911
FB		 3391 gen_check_io(s, ot, 0, pc_start - s->cs_base);
3392 gen_op_mov_TN_reg[ot][1][R_EAX]();
3393 gen_op_out[ot]();
2c0262af
FB		 3394 break;
3395
3396 /************************/
3397 /* control */
3398 case 0xc2: /* ret im */
61382a50 3399 val = ldsw_code(s->pc);
2c0262af
FB		 3400 s->pc += 2;
3401 gen_pop_T0(s);
3402 gen_stack_update(s, val + (2 << s->dflag));
3403 if (s->dflag == 0)
3404 gen_op_andl_T0_ffff();
3405 gen_op_jmp_T0();
3406 gen_eob(s);
3407 break;
3408 case 0xc3: /* ret */
3409 gen_pop_T0(s);
3410 gen_pop_update(s);
3411 if (s->dflag == 0)
3412 gen_op_andl_T0_ffff();
3413 gen_op_jmp_T0();
3414 gen_eob(s);
3415 break;
3416 case 0xca: /* lret im */
61382a50 3417 val = ldsw_code(s->pc);
2c0262af
FB		 3418 s->pc += 2;
3419 do_lret:
3420 if (s->pe && !s->vm86) {
3421 if (s->cc_op != CC_OP_DYNAMIC)
3422 gen_op_set_cc_op(s->cc_op);
3423 gen_op_jmp_im(pc_start - s->cs_base);
3424 gen_op_lret_protected(s->dflag, val);
3425 } else {
3426 gen_stack_A0(s);
3427 /* pop offset */
3428 gen_op_ld_T0_A0[1 + s->dflag + s->mem_index]();
3429 if (s->dflag == 0)
3430 gen_op_andl_T0_ffff();
3431 /* NOTE: keeping EIP updated is not a problem in case of
3432 exception */
3433 gen_op_jmp_T0();
3434 /* pop selector */
3435 gen_op_addl_A0_im(2 << s->dflag);
3436 gen_op_ld_T0_A0[1 + s->dflag + s->mem_index]();
3437 gen_op_movl_seg_T0_vm(offsetof(CPUX86State,segs[R_CS]));
3438 /* add stack offset */
3439 gen_stack_update(s, val + (4 << s->dflag));
3440 }
3441 gen_eob(s);
3442 break;
3443 case 0xcb: /* lret */
3444 val = 0;
3445 goto do_lret;
3446 case 0xcf: /* iret */
3447 if (!s->pe) {
3448 /* real mode */
3449 gen_op_iret_real(s->dflag);
3450 s->cc_op = CC_OP_EFLAGS;
f115e911
FB		 3451 } else if (s->vm86) {
3452 if (s->iopl != 3) {
3453 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3454 } else {
3455 gen_op_iret_real(s->dflag);
3456 s->cc_op = CC_OP_EFLAGS;
3457 }
2c0262af
FB		 3458 } else {
3459 if (s->cc_op != CC_OP_DYNAMIC)
3460 gen_op_set_cc_op(s->cc_op);
3461 gen_op_jmp_im(pc_start - s->cs_base);
08cea4ee 3462 gen_op_iret_protected(s->dflag, s->pc - s->cs_base);
2c0262af
FB		 3463 s->cc_op = CC_OP_EFLAGS;
3464 }
3465 gen_eob(s);
3466 break;
3467 case 0xe8: /* call im */
3468 {
3469 unsigned int next_eip;
3470 ot = dflag ? OT_LONG : OT_WORD;
3471 val = insn_get(s, ot);
3472 next_eip = s->pc - s->cs_base;
3473 val += next_eip;
3474 if (s->dflag == 0)
3475 val &= 0xffff;
3476 gen_op_movl_T0_im(next_eip);
3477 gen_push_T0(s);
3478 gen_jmp(s, val);
3479 }
3480 break;
3481 case 0x9a: /* lcall im */
3482 {
3483 unsigned int selector, offset;
3484
3485 ot = dflag ? OT_LONG : OT_WORD;
3486 offset = insn_get(s, ot);
3487 selector = insn_get(s, OT_WORD);
3488
3489 gen_op_movl_T0_im(selector);
3490 gen_op_movl_T1_im(offset);
3491 }
3492 goto do_lcall;
3493 case 0xe9: /* jmp */
3494 ot = dflag ? OT_LONG : OT_WORD;
3495 val = insn_get(s, ot);
3496 val += s->pc - s->cs_base;
3497 if (s->dflag == 0)
3498 val = val & 0xffff;
3499 gen_jmp(s, val);
3500 break;
3501 case 0xea: /* ljmp im */
3502 {
3503 unsigned int selector, offset;
3504
3505 ot = dflag ? OT_LONG : OT_WORD;
3506 offset = insn_get(s, ot);
3507 selector = insn_get(s, OT_WORD);
3508
3509 gen_op_movl_T0_im(selector);
3510 gen_op_movl_T1_im(offset);
3511 }
3512 goto do_ljmp;
3513 case 0xeb: /* jmp Jb */
3514 val = (int8_t)insn_get(s, OT_BYTE);
3515 val += s->pc - s->cs_base;
3516 if (s->dflag == 0)
3517 val = val & 0xffff;
3518 gen_jmp(s, val);
3519 break;
3520 case 0x70 ... 0x7f: /* jcc Jb */
3521 val = (int8_t)insn_get(s, OT_BYTE);
3522 goto do_jcc;
3523 case 0x180 ... 0x18f: /* jcc Jv */
3524 if (dflag) {
3525 val = insn_get(s, OT_LONG);
3526 } else {
3527 val = (int16_t)insn_get(s, OT_WORD);
3528 }
3529 do_jcc:
3530 next_eip = s->pc - s->cs_base;
3531 val += next_eip;
3532 if (s->dflag == 0)
3533 val &= 0xffff;
3534 gen_jcc(s, b, val, next_eip);
3535 break;
3536
3537 case 0x190 ... 0x19f: /* setcc Gv */
61382a50 3538 modrm = ldub_code(s->pc++);
2c0262af
FB		 3539 gen_setcc(s, b);
3540 gen_ldst_modrm(s, modrm, OT_BYTE, OR_TMP0, 1);
3541 break;
3542 case 0x140 ... 0x14f: /* cmov Gv, Ev */
3543 ot = dflag ? OT_LONG : OT_WORD;
61382a50 3544 modrm = ldub_code(s->pc++);
2c0262af
FB		 3545 reg = (modrm >> 3) & 7;
3546 mod = (modrm >> 6) & 3;
3547 gen_setcc(s, b);
3548 if (mod != 3) {
3549 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
3550 gen_op_ld_T1_A0[ot + s->mem_index]();
3551 } else {
3552 rm = modrm & 7;
3553 gen_op_mov_TN_reg[ot][1][rm]();
3554 }
3555 gen_op_cmov_reg_T1_T0[ot - OT_WORD][reg]();
3556 break;
3557
3558 /************************/
3559 /* flags */
3560 case 0x9c: /* pushf */
3561 if (s->vm86 && s->iopl != 3) {
3562 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3563 } else {
3564 if (s->cc_op != CC_OP_DYNAMIC)
3565 gen_op_set_cc_op(s->cc_op);
3566 gen_op_movl_T0_eflags();
3567 gen_push_T0(s);
3568 }
3569 break;
3570 case 0x9d: /* popf */
3571 if (s->vm86 && s->iopl != 3) {
3572 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3573 } else {
3574 gen_pop_T0(s);
3575 if (s->cpl == 0) {
3576 if (s->dflag) {
3577 gen_op_movl_eflags_T0_cpl0();
3578 } else {
3579 gen_op_movw_eflags_T0_cpl0();
3580 }
3581 } else {
4136f33c
FB		 3582 if (s->cpl <= s->iopl) {
3583 if (s->dflag) {
3584 gen_op_movl_eflags_T0_io();
3585 } else {
3586 gen_op_movw_eflags_T0_io();
3587 }
2c0262af 3588 } else {
4136f33c
FB		 3589 if (s->dflag) {
3590 gen_op_movl_eflags_T0();
3591 } else {
3592 gen_op_movw_eflags_T0();
3593 }
2c0262af
FB		 3594 }
3595 }
3596 gen_pop_update(s);
3597 s->cc_op = CC_OP_EFLAGS;
3598 /* abort translation because TF flag may change */
3599 gen_op_jmp_im(s->pc - s->cs_base);
3600 gen_eob(s);
3601 }
3602 break;
3603 case 0x9e: /* sahf */
3604 gen_op_mov_TN_reg[OT_BYTE][0][R_AH]();
3605 if (s->cc_op != CC_OP_DYNAMIC)
3606 gen_op_set_cc_op(s->cc_op);
3607 gen_op_movb_eflags_T0();
3608 s->cc_op = CC_OP_EFLAGS;
3609 break;
3610 case 0x9f: /* lahf */
3611 if (s->cc_op != CC_OP_DYNAMIC)
3612 gen_op_set_cc_op(s->cc_op);
3613 gen_op_movl_T0_eflags();
3614 gen_op_mov_reg_T0[OT_BYTE][R_AH]();
3615 break;
3616 case 0xf5: /* cmc */
3617 if (s->cc_op != CC_OP_DYNAMIC)
3618 gen_op_set_cc_op(s->cc_op);
3619 gen_op_cmc();
3620 s->cc_op = CC_OP_EFLAGS;
3621 break;
3622 case 0xf8: /* clc */
3623 if (s->cc_op != CC_OP_DYNAMIC)
3624 gen_op_set_cc_op(s->cc_op);
3625 gen_op_clc();
3626 s->cc_op = CC_OP_EFLAGS;
3627 break;
3628 case 0xf9: /* stc */
3629 if (s->cc_op != CC_OP_DYNAMIC)
3630 gen_op_set_cc_op(s->cc_op);
3631 gen_op_stc();
3632 s->cc_op = CC_OP_EFLAGS;
3633 break;
3634 case 0xfc: /* cld */
3635 gen_op_cld();
3636 break;
3637 case 0xfd: /* std */
3638 gen_op_std();
3639 break;
3640
3641 /************************/
3642 /* bit operations */
3643 case 0x1ba: /* bt/bts/btr/btc Gv, im */
3644 ot = dflag ? OT_LONG : OT_WORD;
61382a50 3645 modrm = ldub_code(s->pc++);
2c0262af
FB		 3646 op = (modrm >> 3) & 7;
3647 mod = (modrm >> 6) & 3;
3648 rm = modrm & 7;
3649 if (mod != 3) {
3650 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
3651 gen_op_ld_T0_A0[ot + s->mem_index]();
3652 } else {
3653 gen_op_mov_TN_reg[ot][0][rm]();
3654 }
3655 /* load shift */
61382a50 3656 val = ldub_code(s->pc++);
2c0262af
FB		 3657 gen_op_movl_T1_im(val);
3658 if (op < 4)
3659 goto illegal_op;
3660 op -= 4;
3661 gen_op_btx_T0_T1_cc[ot - OT_WORD][op]();
3662 s->cc_op = CC_OP_SARB + ot;
3663 if (op != 0) {
3664 if (mod != 3)
3665 gen_op_st_T0_A0[ot + s->mem_index]();
3666 else
3667 gen_op_mov_reg_T0[ot][rm]();
3668 gen_op_update_bt_cc();
3669 }
3670 break;
3671 case 0x1a3: /* bt Gv, Ev */
3672 op = 0;
3673 goto do_btx;
3674 case 0x1ab: /* bts */
3675 op = 1;
3676 goto do_btx;
3677 case 0x1b3: /* btr */
3678 op = 2;
3679 goto do_btx;
3680 case 0x1bb: /* btc */
3681 op = 3;
3682 do_btx:
3683 ot = dflag ? OT_LONG : OT_WORD;
61382a50 3684 modrm = ldub_code(s->pc++);
2c0262af
FB		 3685 reg = (modrm >> 3) & 7;
3686 mod = (modrm >> 6) & 3;
3687 rm = modrm & 7;
3688 gen_op_mov_TN_reg[OT_LONG][1][reg]();
3689 if (mod != 3) {
3690 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
3691 /* specific case: we need to add a displacement */
3692 if (ot == OT_WORD)
3693 gen_op_add_bitw_A0_T1();
3694 else
3695 gen_op_add_bitl_A0_T1();
3696 gen_op_ld_T0_A0[ot + s->mem_index]();
3697 } else {
3698 gen_op_mov_TN_reg[ot][0][rm]();
3699 }
3700 gen_op_btx_T0_T1_cc[ot - OT_WORD][op]();
3701 s->cc_op = CC_OP_SARB + ot;
3702 if (op != 0) {
3703 if (mod != 3)
3704 gen_op_st_T0_A0[ot + s->mem_index]();
3705 else
3706 gen_op_mov_reg_T0[ot][rm]();
3707 gen_op_update_bt_cc();
3708 }
3709 break;
3710 case 0x1bc: /* bsf */
3711 case 0x1bd: /* bsr */
3712 ot = dflag ? OT_LONG : OT_WORD;
61382a50 3713 modrm = ldub_code(s->pc++);
2c0262af
FB		 3714 reg = (modrm >> 3) & 7;
3715 gen_ldst_modrm(s, modrm, ot, OR_TMP0, 0);
686f3f26
FB		 3716 /* NOTE: in order to handle the 0 case, we must load the
3717 result. It could be optimized with a generated jump */
3718 gen_op_mov_TN_reg[ot][1][reg]();
2c0262af 3719 gen_op_bsx_T0_cc[ot - OT_WORD][b & 1]();
686f3f26 3720 gen_op_mov_reg_T1[ot][reg]();
2c0262af
FB		 3721 s->cc_op = CC_OP_LOGICB + ot;
3722 break;
3723 /************************/
3724 /* bcd */
3725 case 0x27: /* daa */
3726 if (s->cc_op != CC_OP_DYNAMIC)
3727 gen_op_set_cc_op(s->cc_op);
3728 gen_op_daa();
3729 s->cc_op = CC_OP_EFLAGS;
3730 break;
3731 case 0x2f: /* das */
3732 if (s->cc_op != CC_OP_DYNAMIC)
3733 gen_op_set_cc_op(s->cc_op);
3734 gen_op_das();
3735 s->cc_op = CC_OP_EFLAGS;
3736 break;
3737 case 0x37: /* aaa */
3738 if (s->cc_op != CC_OP_DYNAMIC)
3739 gen_op_set_cc_op(s->cc_op);
3740 gen_op_aaa();
3741 s->cc_op = CC_OP_EFLAGS;
3742 break;
3743 case 0x3f: /* aas */
3744 if (s->cc_op != CC_OP_DYNAMIC)
3745 gen_op_set_cc_op(s->cc_op);
3746 gen_op_aas();
3747 s->cc_op = CC_OP_EFLAGS;
3748 break;
3749 case 0xd4: /* aam */
61382a50 3750 val = ldub_code(s->pc++);
2c0262af
FB		 3751 gen_op_aam(val);
3752 s->cc_op = CC_OP_LOGICB;
3753 break;
3754 case 0xd5: /* aad */
61382a50 3755 val = ldub_code(s->pc++);
2c0262af
FB		 3756 gen_op_aad(val);
3757 s->cc_op = CC_OP_LOGICB;
3758 break;
3759 /************************/
3760 /* misc */
3761 case 0x90: /* nop */
ab1f142b
FB		 3762 /* XXX: correct lock test for all insn */
3763 if (prefixes & PREFIX_LOCK)
3764 goto illegal_op;
2c0262af
FB		 3765 break;
3766 case 0x9b: /* fwait */
7eee2a50
FB		 3767 if ((s->flags & (HF_MP_MASK | HF_TS_MASK)) ==
3768 (HF_MP_MASK | HF_TS_MASK)) {
3769 gen_exception(s, EXCP07_PREX, pc_start - s->cs_base);
2ee73ac3
FB		 3770 } else {
3771 if (s->cc_op != CC_OP_DYNAMIC)
3772 gen_op_set_cc_op(s->cc_op);
3773 gen_op_jmp_im(pc_start - s->cs_base);
3774 gen_op_fwait();
7eee2a50 3775 }
2c0262af
FB		 3776 break;
3777 case 0xcc: /* int3 */
3778 gen_interrupt(s, EXCP03_INT3, pc_start - s->cs_base, s->pc - s->cs_base);
3779 break;
3780 case 0xcd: /* int N */
61382a50 3781 val = ldub_code(s->pc++);
f115e911 3782 if (s->vm86 && s->iopl != 3) {
2c0262af 3783 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
f115e911
FB		 3784 } else {
3785 gen_interrupt(s, val, pc_start - s->cs_base, s->pc - s->cs_base);
3786 }
2c0262af
FB		 3787 break;
3788 case 0xce: /* into */
3789 if (s->cc_op != CC_OP_DYNAMIC)
3790 gen_op_set_cc_op(s->cc_op);
3791 gen_op_into(s->pc - s->cs_base);
3792 break;
3793 case 0xf1: /* icebp (undocumented, exits to external debugger) */
3794 gen_debug(s, pc_start - s->cs_base);
3795 break;
3796 case 0xfa: /* cli */
3797 if (!s->vm86) {
3798 if (s->cpl <= s->iopl) {
3799 gen_op_cli();
3800 } else {
3801 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3802 }
3803 } else {
3804 if (s->iopl == 3) {
3805 gen_op_cli();
3806 } else {
3807 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3808 }
3809 }
3810 break;
3811 case 0xfb: /* sti */
3812 if (!s->vm86) {
3813 if (s->cpl <= s->iopl) {
3814 gen_sti:
3815 gen_op_sti();
3816 /* interruptions are enabled only the first insn after sti */
a2cc3b24
FB		 3817 /* If several instructions disable interrupts, only the
3818 _first_ does it */
3819 if (!(s->tb->flags & HF_INHIBIT_IRQ_MASK))
3820 gen_op_set_inhibit_irq();
2c0262af
FB		 3821 /* give a chance to handle pending irqs */
3822 gen_op_jmp_im(s->pc - s->cs_base);
3823 gen_eob(s);
3824 } else {
3825 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3826 }
3827 } else {
3828 if (s->iopl == 3) {
3829 goto gen_sti;
3830 } else {
3831 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3832 }
3833 }
3834 break;
3835 case 0x62: /* bound */
3836 ot = dflag ? OT_LONG : OT_WORD;
61382a50 3837 modrm = ldub_code(s->pc++);
2c0262af
FB		 3838 reg = (modrm >> 3) & 7;
3839 mod = (modrm >> 6) & 3;
3840 if (mod == 3)
3841 goto illegal_op;
3842 gen_op_mov_reg_T0[ot][reg]();
3843 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
3844 if (ot == OT_WORD)
3845 gen_op_boundw(pc_start - s->cs_base);
3846 else
3847 gen_op_boundl(pc_start - s->cs_base);
3848 break;
3849 case 0x1c8 ... 0x1cf: /* bswap reg */
3850 reg = b & 7;
3851 gen_op_mov_TN_reg[OT_LONG][0][reg]();
3852 gen_op_bswapl_T0();
3853 gen_op_mov_reg_T0[OT_LONG][reg]();
3854 break;
3855 case 0xd6: /* salc */
3856 if (s->cc_op != CC_OP_DYNAMIC)
3857 gen_op_set_cc_op(s->cc_op);
3858 gen_op_salc();
3859 break;
3860 case 0xe0: /* loopnz */
3861 case 0xe1: /* loopz */
3862 if (s->cc_op != CC_OP_DYNAMIC)
3863 gen_op_set_cc_op(s->cc_op);
3864 /* FALL THRU */
3865 case 0xe2: /* loop */
3866 case 0xe3: /* jecxz */
3867 val = (int8_t)insn_get(s, OT_BYTE);
3868 next_eip = s->pc - s->cs_base;
3869 val += next_eip;
3870 if (s->dflag == 0)
3871 val &= 0xffff;
3872 gen_op_loop[s->aflag][b & 3](val, next_eip);
3873 gen_eob(s);
3874 break;
3875 case 0x130: /* wrmsr */
3876 case 0x132: /* rdmsr */
3877 if (s->cpl != 0) {
3878 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3879 } else {
3880 if (b & 2)
3881 gen_op_rdmsr();
3882 else
3883 gen_op_wrmsr();
3884 }
3885 break;
3886 case 0x131: /* rdtsc */
3887 gen_op_rdtsc();
3888 break;
023fe10d
FB		 3889 case 0x134: /* sysenter */
3890 if (!s->pe) {
3891 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3892 } else {
3893 if (s->cc_op != CC_OP_DYNAMIC) {
3894 gen_op_set_cc_op(s->cc_op);
3895 s->cc_op = CC_OP_DYNAMIC;
3896 }
3897 gen_op_jmp_im(pc_start - s->cs_base);
3898 gen_op_sysenter();
3899 gen_eob(s);
3900 }
3901 break;
3902 case 0x135: /* sysexit */
3903 if (!s->pe) {
3904 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3905 } else {
3906 if (s->cc_op != CC_OP_DYNAMIC) {
3907 gen_op_set_cc_op(s->cc_op);
3908 s->cc_op = CC_OP_DYNAMIC;
3909 }
3910 gen_op_jmp_im(pc_start - s->cs_base);
3911 gen_op_sysexit();
3912 gen_eob(s);
3913 }
3914 break;
2c0262af
FB		 3915 case 0x1a2: /* cpuid */
3916 gen_op_cpuid();
3917 break;
3918 case 0xf4: /* hlt */
3919 if (s->cpl != 0) {
3920 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3921 } else {
3922 if (s->cc_op != CC_OP_DYNAMIC)
3923 gen_op_set_cc_op(s->cc_op);
3924 gen_op_jmp_im(s->pc - s->cs_base);
3925 gen_op_hlt();
3926 s->is_jmp = 3;
3927 }
3928 break;
3929 case 0x100:
61382a50 3930 modrm = ldub_code(s->pc++);
2c0262af
FB		 3931 mod = (modrm >> 6) & 3;
3932 op = (modrm >> 3) & 7;
3933 switch(op) {
3934 case 0: /* sldt */
f115e911
FB		 3935 if (!s->pe || s->vm86)
3936 goto illegal_op;
2c0262af
FB		 3937 gen_op_movl_T0_env(offsetof(CPUX86State,ldt.selector));
3938 ot = OT_WORD;
3939 if (mod == 3)
3940 ot += s->dflag;
3941 gen_ldst_modrm(s, modrm, ot, OR_TMP0, 1);
3942 break;
3943 case 2: /* lldt */
f115e911
FB		 3944 if (!s->pe || s->vm86)
3945 goto illegal_op;
2c0262af
FB		 3946 if (s->cpl != 0) {
3947 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3948 } else {
3949 gen_ldst_modrm(s, modrm, OT_WORD, OR_TMP0, 0);
3950 gen_op_jmp_im(pc_start - s->cs_base);
3951 gen_op_lldt_T0();
3952 }
3953 break;
3954 case 1: /* str */
f115e911
FB		 3955 if (!s->pe || s->vm86)
3956 goto illegal_op;
2c0262af
FB		 3957 gen_op_movl_T0_env(offsetof(CPUX86State,tr.selector));
3958 ot = OT_WORD;
3959 if (mod == 3)
3960 ot += s->dflag;
3961 gen_ldst_modrm(s, modrm, ot, OR_TMP0, 1);
3962 break;
3963 case 3: /* ltr */
f115e911
FB		 3964 if (!s->pe || s->vm86)
3965 goto illegal_op;
2c0262af
FB		 3966 if (s->cpl != 0) {
3967 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
3968 } else {
3969 gen_ldst_modrm(s, modrm, OT_WORD, OR_TMP0, 0);
3970 gen_op_jmp_im(pc_start - s->cs_base);
3971 gen_op_ltr_T0();
3972 }
3973 break;
3974 case 4: /* verr */
3975 case 5: /* verw */
f115e911
FB		 3976 if (!s->pe || s->vm86)
3977 goto illegal_op;
3978 gen_ldst_modrm(s, modrm, OT_WORD, OR_TMP0, 0);
3979 if (s->cc_op != CC_OP_DYNAMIC)
3980 gen_op_set_cc_op(s->cc_op);
3981 if (op == 4)
3982 gen_op_verr();
3983 else
3984 gen_op_verw();
3985 s->cc_op = CC_OP_EFLAGS;
3986 break;
2c0262af
FB		 3987 default:
3988 goto illegal_op;
3989 }
3990 break;
3991 case 0x101:
61382a50 3992 modrm = ldub_code(s->pc++);
2c0262af
FB		 3993 mod = (modrm >> 6) & 3;
3994 op = (modrm >> 3) & 7;
3995 switch(op) {
3996 case 0: /* sgdt */
3997 case 1: /* sidt */
3998 if (mod == 3)
3999 goto illegal_op;
4000 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
4001 if (op == 0)
4002 gen_op_movl_T0_env(offsetof(CPUX86State,gdt.limit));
4003 else
4004 gen_op_movl_T0_env(offsetof(CPUX86State,idt.limit));
4005 gen_op_st_T0_A0[OT_WORD + s->mem_index]();
4006 gen_op_addl_A0_im(2);
4007 if (op == 0)
4008 gen_op_movl_T0_env(offsetof(CPUX86State,gdt.base));
4009 else
4010 gen_op_movl_T0_env(offsetof(CPUX86State,idt.base));
4011 if (!s->dflag)
4012 gen_op_andl_T0_im(0xffffff);
4013 gen_op_st_T0_A0[OT_LONG + s->mem_index]();
4014 break;
4015 case 2: /* lgdt */
4016 case 3: /* lidt */
4017 if (mod == 3)
4018 goto illegal_op;
4019 if (s->cpl != 0) {
4020 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
4021 } else {
4022 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
4023 gen_op_ld_T1_A0[OT_WORD + s->mem_index]();
4024 gen_op_addl_A0_im(2);
4025 gen_op_ld_T0_A0[OT_LONG + s->mem_index]();
4026 if (!s->dflag)
4027 gen_op_andl_T0_im(0xffffff);
4028 if (op == 2) {
4029 gen_op_movl_env_T0(offsetof(CPUX86State,gdt.base));
4030 gen_op_movl_env_T1(offsetof(CPUX86State,gdt.limit));
4031 } else {
4032 gen_op_movl_env_T0(offsetof(CPUX86State,idt.base));
4033 gen_op_movl_env_T1(offsetof(CPUX86State,idt.limit));
4034 }
4035 }
4036 break;
4037 case 4: /* smsw */
4038 gen_op_movl_T0_env(offsetof(CPUX86State,cr[0]));
4039 gen_ldst_modrm(s, modrm, OT_WORD, OR_TMP0, 1);
4040 break;
4041 case 6: /* lmsw */
4042 if (s->cpl != 0) {
4043 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
4044 } else {
4045 gen_ldst_modrm(s, modrm, OT_WORD, OR_TMP0, 0);
4046 gen_op_lmsw_T0();
d71b9a8b
FB		 4047 gen_op_jmp_im(s->pc - s->cs_base);
4048 gen_eob(s);
2c0262af
FB		 4049 }
4050 break;
4051 case 7: /* invlpg */
4052 if (s->cpl != 0) {
4053 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
4054 } else {
4055 if (mod == 3)
4056 goto illegal_op;
4057 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
4058 gen_op_invlpg_A0();
3415a4dd
FB		 4059 gen_op_jmp_im(s->pc - s->cs_base);
4060 gen_eob(s);
2c0262af
FB		 4061 }
4062 break;
4063 default:
4064 goto illegal_op;
4065 }
4066 break;
3415a4dd
FB		 4067 case 0x108: /* invd */
4068 case 0x109: /* wbinvd */
4069 if (s->cpl != 0) {
4070 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
4071 } else {
4072 /* nothing to do */
4073 }
4074 break;
f115e911
FB		 4075 case 0x63: /* arpl */
4076 if (!s->pe || s->vm86)
4077 goto illegal_op;
4078 ot = dflag ? OT_LONG : OT_WORD;
4079 modrm = ldub_code(s->pc++);
4080 reg = (modrm >> 3) & 7;
4081 mod = (modrm >> 6) & 3;
4082 rm = modrm & 7;
4083 if (mod != 3) {
4084 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
4085 gen_op_ld_T0_A0[ot + s->mem_index]();
4086 } else {
4087 gen_op_mov_TN_reg[ot][0][rm]();
4088 }
4089 if (s->cc_op != CC_OP_DYNAMIC)
4090 gen_op_set_cc_op(s->cc_op);
4091 gen_op_arpl();
4092 s->cc_op = CC_OP_EFLAGS;
4093 if (mod != 3) {
4094 gen_op_st_T0_A0[ot + s->mem_index]();
4095 } else {
4096 gen_op_mov_reg_T0[ot][rm]();
4097 }
4098 gen_op_arpl_update();
4099 break;
2c0262af
FB		 4100 case 0x102: /* lar */
4101 case 0x103: /* lsl */
4102 if (!s->pe || s->vm86)
4103 goto illegal_op;
4104 ot = dflag ? OT_LONG : OT_WORD;
61382a50 4105 modrm = ldub_code(s->pc++);
2c0262af
FB		 4106 reg = (modrm >> 3) & 7;
4107 gen_ldst_modrm(s, modrm, ot, OR_TMP0, 0);
4108 gen_op_mov_TN_reg[ot][1][reg]();
4109 if (s->cc_op != CC_OP_DYNAMIC)
4110 gen_op_set_cc_op(s->cc_op);
4111 if (b == 0x102)
4112 gen_op_lar();
4113 else
4114 gen_op_lsl();
4115 s->cc_op = CC_OP_EFLAGS;
4116 gen_op_mov_reg_T1[ot][reg]();
4117 break;
4118 case 0x118:
61382a50 4119 modrm = ldub_code(s->pc++);
2c0262af
FB		 4120 mod = (modrm >> 6) & 3;
4121 op = (modrm >> 3) & 7;
4122 switch(op) {
4123 case 0: /* prefetchnta */
4124 case 1: /* prefetchnt0 */
4125 case 2: /* prefetchnt0 */
4126 case 3: /* prefetchnt0 */
4127 if (mod == 3)
4128 goto illegal_op;
4129 gen_lea_modrm(s, modrm, &reg_addr, &offset_addr);
4130 /* nothing more to do */
4131 break;
4132 default:
4133 goto illegal_op;
4134 }
4135 break;
4136 case 0x120: /* mov reg, crN */
4137 case 0x122: /* mov crN, reg */
4138 if (s->cpl != 0) {
4139 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
4140 } else {
61382a50 4141 modrm = ldub_code(s->pc++);
2c0262af
FB		 4142 if ((modrm & 0xc0) != 0xc0)
4143 goto illegal_op;
4144 rm = modrm & 7;
4145 reg = (modrm >> 3) & 7;
4146 switch(reg) {
4147 case 0:
4148 case 2:
4149 case 3:
4150 case 4:
4151 if (b & 2) {
4152 gen_op_mov_TN_reg[OT_LONG][0][rm]();
4153 gen_op_movl_crN_T0(reg);
4154 gen_op_jmp_im(s->pc - s->cs_base);
4155 gen_eob(s);
4156 } else {
4157 gen_op_movl_T0_env(offsetof(CPUX86State,cr[reg]));
4158 gen_op_mov_reg_T0[OT_LONG][rm]();
4159 }
4160 break;
4161 default:
4162 goto illegal_op;
4163 }
4164 }
4165 break;
4166 case 0x121: /* mov reg, drN */
4167 case 0x123: /* mov drN, reg */
4168 if (s->cpl != 0) {
4169 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
4170 } else {
61382a50 4171 modrm = ldub_code(s->pc++);
2c0262af
FB		 4172 if ((modrm & 0xc0) != 0xc0)
4173 goto illegal_op;
4174 rm = modrm & 7;
4175 reg = (modrm >> 3) & 7;
4176 /* XXX: do it dynamically with CR4.DE bit */
4177 if (reg == 4 || reg == 5)
4178 goto illegal_op;
4179 if (b & 2) {
4180 gen_op_mov_TN_reg[OT_LONG][0][rm]();
4181 gen_op_movl_drN_T0(reg);
4182 gen_op_jmp_im(s->pc - s->cs_base);
4183 gen_eob(s);
4184 } else {
4185 gen_op_movl_T0_env(offsetof(CPUX86State,dr[reg]));
4186 gen_op_mov_reg_T0[OT_LONG][rm]();
4187 }
4188 }
4189 break;
4190 case 0x106: /* clts */
4191 if (s->cpl != 0) {
4192 gen_exception(s, EXCP0D_GPF, pc_start - s->cs_base);
4193 } else {
4194 gen_op_clts();
7eee2a50
FB		 4195 /* abort block because static cpu state changed */
4196 gen_op_jmp_im(s->pc - s->cs_base);
4197 gen_eob(s);
2c0262af
FB		 4198 }
4199 break;
4200 default:
4201 goto illegal_op;
4202 }
4203 /* lock generation */
4204 if (s->prefix & PREFIX_LOCK)
4205 gen_op_unlock();
4206 return s->pc;
4207 illegal_op:
ab1f142b
FB		 4208 if (s->prefix & PREFIX_LOCK)
4209 gen_op_unlock();
2c0262af
FB		 4210 /* XXX: ensure that no lock was generated */
4211 gen_exception(s, EXCP06_ILLOP, pc_start - s->cs_base);
4212 return s->pc;
4213}
4214
4215#define CC_OSZAPC (CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C)
4216#define CC_OSZAP (CC_O | CC_S | CC_Z | CC_A | CC_P)
4217
4218/* flags read by an operation */
4219static uint16_t opc_read_flags[NB_OPS] = {
4220 [INDEX_op_aas] = CC_A,
4221 [INDEX_op_aaa] = CC_A,
4222 [INDEX_op_das] = CC_A | CC_C,
4223 [INDEX_op_daa] = CC_A | CC_C,
4224
2c0262af
FB		 4225 /* subtle: due to the incl/decl implementation, C is used */
4226 [INDEX_op_update_inc_cc] = CC_C,
4227
4228 [INDEX_op_into] = CC_O,
4229
4230 [INDEX_op_jb_subb] = CC_C,
4231 [INDEX_op_jb_subw] = CC_C,
4232 [INDEX_op_jb_subl] = CC_C,
4233
4234 [INDEX_op_jz_subb] = CC_Z,
4235 [INDEX_op_jz_subw] = CC_Z,
4236 [INDEX_op_jz_subl] = CC_Z,
4237
4238 [INDEX_op_jbe_subb] = CC_Z | CC_C,
4239 [INDEX_op_jbe_subw] = CC_Z | CC_C,
4240 [INDEX_op_jbe_subl] = CC_Z | CC_C,
4241
4242 [INDEX_op_js_subb] = CC_S,
4243 [INDEX_op_js_subw] = CC_S,
4244 [INDEX_op_js_subl] = CC_S,
4245
4246 [INDEX_op_jl_subb] = CC_O | CC_S,
4247 [INDEX_op_jl_subw] = CC_O | CC_S,
4248 [INDEX_op_jl_subl] = CC_O | CC_S,
4249
4250 [INDEX_op_jle_subb] = CC_O | CC_S | CC_Z,
4251 [INDEX_op_jle_subw] = CC_O | CC_S | CC_Z,
4252 [INDEX_op_jle_subl] = CC_O | CC_S | CC_Z,
4253
4254 [INDEX_op_loopnzw] = CC_Z,
4255 [INDEX_op_loopnzl] = CC_Z,
4256 [INDEX_op_loopzw] = CC_Z,
4257 [INDEX_op_loopzl] = CC_Z,
4258
4259 [INDEX_op_seto_T0_cc] = CC_O,
4260 [INDEX_op_setb_T0_cc] = CC_C,
4261 [INDEX_op_setz_T0_cc] = CC_Z,
4262 [INDEX_op_setbe_T0_cc] = CC_Z | CC_C,
4263 [INDEX_op_sets_T0_cc] = CC_S,
4264 [INDEX_op_setp_T0_cc] = CC_P,
4265 [INDEX_op_setl_T0_cc] = CC_O | CC_S,
4266 [INDEX_op_setle_T0_cc] = CC_O | CC_S | CC_Z,
4267
4268 [INDEX_op_setb_T0_subb] = CC_C,
4269 [INDEX_op_setb_T0_subw] = CC_C,
4270 [INDEX_op_setb_T0_subl] = CC_C,
4271
4272 [INDEX_op_setz_T0_subb] = CC_Z,
4273 [INDEX_op_setz_T0_subw] = CC_Z,
4274 [INDEX_op_setz_T0_subl] = CC_Z,
4275
4276 [INDEX_op_setbe_T0_subb] = CC_Z | CC_C,
4277 [INDEX_op_setbe_T0_subw] = CC_Z | CC_C,
4278 [INDEX_op_setbe_T0_subl] = CC_Z | CC_C,
4279
4280 [INDEX_op_sets_T0_subb] = CC_S,
4281 [INDEX_op_sets_T0_subw] = CC_S,
4282 [INDEX_op_sets_T0_subl] = CC_S,
4283
4284 [INDEX_op_setl_T0_subb] = CC_O | CC_S,
4285 [INDEX_op_setl_T0_subw] = CC_O | CC_S,
4286 [INDEX_op_setl_T0_subl] = CC_O | CC_S,
4287
4288 [INDEX_op_setle_T0_subb] = CC_O | CC_S | CC_Z,
4289 [INDEX_op_setle_T0_subw] = CC_O | CC_S | CC_Z,
4290 [INDEX_op_setle_T0_subl] = CC_O | CC_S | CC_Z,
4291
4292 [INDEX_op_movl_T0_eflags] = CC_OSZAPC,
4293 [INDEX_op_cmc] = CC_C,
4294 [INDEX_op_salc] = CC_C,
4295
7399c5a9
FB		 4296 /* needed for correct flag optimisation before string ops */
4297 [INDEX_op_jz_ecxw] = CC_OSZAPC,
4298 [INDEX_op_jz_ecxl] = CC_OSZAPC,
4299 [INDEX_op_jz_ecxw_im] = CC_OSZAPC,
4300 [INDEX_op_jz_ecxl_im] = CC_OSZAPC,
4301
4f31916f
FB		 4302#define DEF_READF(SUFFIX)\
4303 [INDEX_op_adcb ## SUFFIX ## _T0_T1_cc] = CC_C,\
4304 [INDEX_op_adcw ## SUFFIX ## _T0_T1_cc] = CC_C,\
4305 [INDEX_op_adcl ## SUFFIX ## _T0_T1_cc] = CC_C,\
4306 [INDEX_op_sbbb ## SUFFIX ## _T0_T1_cc] = CC_C,\
4307 [INDEX_op_sbbw ## SUFFIX ## _T0_T1_cc] = CC_C,\
4308 [INDEX_op_sbbl ## SUFFIX ## _T0_T1_cc] = CC_C,\
4309\
4310 [INDEX_op_rclb ## SUFFIX ## _T0_T1_cc] = CC_C,\
4311 [INDEX_op_rclw ## SUFFIX ## _T0_T1_cc] = CC_C,\
4312 [INDEX_op_rcll ## SUFFIX ## _T0_T1_cc] = CC_C,\
4313 [INDEX_op_rcrb ## SUFFIX ## _T0_T1_cc] = CC_C,\
4314 [INDEX_op_rcrw ## SUFFIX ## _T0_T1_cc] = CC_C,\
4315 [INDEX_op_rcrl ## SUFFIX ## _T0_T1_cc] = CC_C,
4316
4317
4bb2fcc7 4318 DEF_READF( )
4f31916f
FB		 4319 DEF_READF(_raw)
4320#ifndef CONFIG_USER_ONLY
4321 DEF_READF(_kernel)
4322 DEF_READF(_user)
4323#endif
2c0262af
FB		 4324};
4325
4326/* flags written by an operation */
4327static uint16_t opc_write_flags[NB_OPS] = {
4328 [INDEX_op_update2_cc] = CC_OSZAPC,
4329 [INDEX_op_update1_cc] = CC_OSZAPC,
4330 [INDEX_op_cmpl_T0_T1_cc] = CC_OSZAPC,
4331 [INDEX_op_update_neg_cc] = CC_OSZAPC,
4332 /* subtle: due to the incl/decl implementation, C is used */
4333 [INDEX_op_update_inc_cc] = CC_OSZAPC,
4334 [INDEX_op_testl_T0_T1_cc] = CC_OSZAPC,
4335
2c0262af
FB		 4336 [INDEX_op_mulb_AL_T0] = CC_OSZAPC,
4337 [INDEX_op_imulb_AL_T0] = CC_OSZAPC,
4338 [INDEX_op_mulw_AX_T0] = CC_OSZAPC,
4339 [INDEX_op_imulw_AX_T0] = CC_OSZAPC,
4340 [INDEX_op_mull_EAX_T0] = CC_OSZAPC,
4341 [INDEX_op_imull_EAX_T0] = CC_OSZAPC,
4342 [INDEX_op_imulw_T0_T1] = CC_OSZAPC,
4343 [INDEX_op_imull_T0_T1] = CC_OSZAPC,
4344
4345 /* bcd */
4346 [INDEX_op_aam] = CC_OSZAPC,
4347 [INDEX_op_aad] = CC_OSZAPC,
4348 [INDEX_op_aas] = CC_OSZAPC,
4349 [INDEX_op_aaa] = CC_OSZAPC,
4350 [INDEX_op_das] = CC_OSZAPC,
4351 [INDEX_op_daa] = CC_OSZAPC,
4352
4353 [INDEX_op_movb_eflags_T0] = CC_S | CC_Z | CC_A | CC_P | CC_C,
4354 [INDEX_op_movw_eflags_T0] = CC_OSZAPC,
4355 [INDEX_op_movl_eflags_T0] = CC_OSZAPC,
4136f33c
FB		 4356 [INDEX_op_movw_eflags_T0_io] = CC_OSZAPC,
4357 [INDEX_op_movl_eflags_T0_io] = CC_OSZAPC,
4358 [INDEX_op_movw_eflags_T0_cpl0] = CC_OSZAPC,
4359 [INDEX_op_movl_eflags_T0_cpl0] = CC_OSZAPC,
2c0262af
FB		 4360 [INDEX_op_clc] = CC_C,
4361 [INDEX_op_stc] = CC_C,
4362 [INDEX_op_cmc] = CC_C,
4363
2c0262af
FB		 4364 [INDEX_op_btw_T0_T1_cc] = CC_OSZAPC,
4365 [INDEX_op_btl_T0_T1_cc] = CC_OSZAPC,
4366 [INDEX_op_btsw_T0_T1_cc] = CC_OSZAPC,
4367 [INDEX_op_btsl_T0_T1_cc] = CC_OSZAPC,
4368 [INDEX_op_btrw_T0_T1_cc] = CC_OSZAPC,
4369 [INDEX_op_btrl_T0_T1_cc] = CC_OSZAPC,
4370 [INDEX_op_btcw_T0_T1_cc] = CC_OSZAPC,
4371 [INDEX_op_btcl_T0_T1_cc] = CC_OSZAPC,
4372
4373 [INDEX_op_bsfw_T0_cc] = CC_OSZAPC,
4374 [INDEX_op_bsfl_T0_cc] = CC_OSZAPC,
4375 [INDEX_op_bsrw_T0_cc] = CC_OSZAPC,
4376 [INDEX_op_bsrl_T0_cc] = CC_OSZAPC,
4377
4378 [INDEX_op_cmpxchgb_T0_T1_EAX_cc] = CC_OSZAPC,
4379 [INDEX_op_cmpxchgw_T0_T1_EAX_cc] = CC_OSZAPC,
4380 [INDEX_op_cmpxchgl_T0_T1_EAX_cc] = CC_OSZAPC,
4381
2c0262af
FB		 4382 [INDEX_op_cmpxchg8b] = CC_Z,
4383 [INDEX_op_lar] = CC_Z,
4384 [INDEX_op_lsl] = CC_Z,
4385 [INDEX_op_fcomi_ST0_FT0] = CC_Z | CC_P | CC_C,
4386 [INDEX_op_fucomi_ST0_FT0] = CC_Z | CC_P | CC_C,
4f31916f
FB		 4387
4388#define DEF_WRITEF(SUFFIX)\
4389 [INDEX_op_adcb ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4390 [INDEX_op_adcw ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4391 [INDEX_op_adcl ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4392 [INDEX_op_sbbb ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4393 [INDEX_op_sbbw ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4394 [INDEX_op_sbbl ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4395\
4396 [INDEX_op_rolb ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4397 [INDEX_op_rolw ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4398 [INDEX_op_roll ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4399 [INDEX_op_rorb ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4400 [INDEX_op_rorw ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4401 [INDEX_op_rorl ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4402\
4403 [INDEX_op_rclb ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4404 [INDEX_op_rclw ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4405 [INDEX_op_rcll ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4406 [INDEX_op_rcrb ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4407 [INDEX_op_rcrw ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4408 [INDEX_op_rcrl ## SUFFIX ## _T0_T1_cc] = CC_O | CC_C,\
4409\
4410 [INDEX_op_shlb ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4411 [INDEX_op_shlw ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4412 [INDEX_op_shll ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4413\
4414 [INDEX_op_shrb ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4415 [INDEX_op_shrw ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4416 [INDEX_op_shrl ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4417\
4418 [INDEX_op_sarb ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4419 [INDEX_op_sarw ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4420 [INDEX_op_sarl ## SUFFIX ## _T0_T1_cc] = CC_OSZAPC,\
4421\
4422 [INDEX_op_shldw ## SUFFIX ## _T0_T1_ECX_cc] = CC_OSZAPC,\
4423 [INDEX_op_shldl ## SUFFIX ## _T0_T1_ECX_cc] = CC_OSZAPC,\
4424 [INDEX_op_shldw ## SUFFIX ## _T0_T1_im_cc] = CC_OSZAPC,\
4425 [INDEX_op_shldl ## SUFFIX ## _T0_T1_im_cc] = CC_OSZAPC,\
4426\
4427 [INDEX_op_shrdw ## SUFFIX ## _T0_T1_ECX_cc] = CC_OSZAPC,\
4428 [INDEX_op_shrdl ## SUFFIX ## _T0_T1_ECX_cc] = CC_OSZAPC,\
4429 [INDEX_op_shrdw ## SUFFIX ## _T0_T1_im_cc] = CC_OSZAPC,\
4430 [INDEX_op_shrdl ## SUFFIX ## _T0_T1_im_cc] = CC_OSZAPC,\
4431\
4432 [INDEX_op_cmpxchgb ## SUFFIX ## _T0_T1_EAX_cc] = CC_OSZAPC,\
4433 [INDEX_op_cmpxchgw ## SUFFIX ## _T0_T1_EAX_cc] = CC_OSZAPC,\
4434 [INDEX_op_cmpxchgl ## SUFFIX ## _T0_T1_EAX_cc] = CC_OSZAPC,
4435
4436
4bb2fcc7 4437 DEF_WRITEF( )
4f31916f
FB		 4438 DEF_WRITEF(_raw)
4439#ifndef CONFIG_USER_ONLY
4440 DEF_WRITEF(_kernel)
4441 DEF_WRITEF(_user)
4442#endif
2c0262af
FB		 4443};
4444
4445/* simpler form of an operation if no flags need to be generated */
4446static uint16_t opc_simpler[NB_OPS] = {
4447 [INDEX_op_update2_cc] = INDEX_op_nop,
4448 [INDEX_op_update1_cc] = INDEX_op_nop,
4449 [INDEX_op_update_neg_cc] = INDEX_op_nop,
4450#if 0
4451 /* broken: CC_OP logic must be rewritten */
4452 [INDEX_op_update_inc_cc] = INDEX_op_nop,
4453#endif
2c0262af
FB		 4454
4455 [INDEX_op_shlb_T0_T1_cc] = INDEX_op_shlb_T0_T1,
4456 [INDEX_op_shlw_T0_T1_cc] = INDEX_op_shlw_T0_T1,
4457 [INDEX_op_shll_T0_T1_cc] = INDEX_op_shll_T0_T1,
4458
4459 [INDEX_op_shrb_T0_T1_cc] = INDEX_op_shrb_T0_T1,
4460 [INDEX_op_shrw_T0_T1_cc] = INDEX_op_shrw_T0_T1,
4461 [INDEX_op_shrl_T0_T1_cc] = INDEX_op_shrl_T0_T1,
4462
4463 [INDEX_op_sarb_T0_T1_cc] = INDEX_op_sarb_T0_T1,
4464 [INDEX_op_sarw_T0_T1_cc] = INDEX_op_sarw_T0_T1,
4465 [INDEX_op_sarl_T0_T1_cc] = INDEX_op_sarl_T0_T1,
4f31916f
FB		 4466
4467#define DEF_SIMPLER(SUFFIX)\
4468 [INDEX_op_rolb ## SUFFIX ## _T0_T1_cc] = INDEX_op_rolb ## SUFFIX ## _T0_T1,\
4469 [INDEX_op_rolw ## SUFFIX ## _T0_T1_cc] = INDEX_op_rolw ## SUFFIX ## _T0_T1,\
4470 [INDEX_op_roll ## SUFFIX ## _T0_T1_cc] = INDEX_op_roll ## SUFFIX ## _T0_T1,\
4471\
4472 [INDEX_op_rorb ## SUFFIX ## _T0_T1_cc] = INDEX_op_rorb ## SUFFIX ## _T0_T1,\
4473 [INDEX_op_rorw ## SUFFIX ## _T0_T1_cc] = INDEX_op_rorw ## SUFFIX ## _T0_T1,\
4474 [INDEX_op_rorl ## SUFFIX ## _T0_T1_cc] = INDEX_op_rorl ## SUFFIX ## _T0_T1,
4475
4bb2fcc7 4476 DEF_SIMPLER( )
4f31916f
FB		 4477 DEF_SIMPLER(_raw)
4478#ifndef CONFIG_USER_ONLY
4479 DEF_SIMPLER(_kernel)
4480 DEF_SIMPLER(_user)
4481#endif
2c0262af
FB		 4482};
4483
4484void optimize_flags_init(void)
4485{
4486 int i;
4487 /* put default values in arrays */
4488 for(i = 0; i < NB_OPS; i++) {
4489 if (opc_simpler[i] == 0)
4490 opc_simpler[i] = i;
4491 }
4492}
4493
4494/* CPU flags computation optimization: we move backward thru the
4495 generated code to see which flags are needed. The operation is
4496 modified if suitable */
4497static void optimize_flags(uint16_t *opc_buf, int opc_buf_len)
4498{
4499 uint16_t *opc_ptr;
4500 int live_flags, write_flags, op;
4501
4502 opc_ptr = opc_buf + opc_buf_len;
4503 /* live_flags contains the flags needed by the next instructions
4504 in the code. At the end of the bloc, we consider that all the
4505 flags are live. */
4506 live_flags = CC_OSZAPC;
4507 while (opc_ptr > opc_buf) {
4508 op = *--opc_ptr;
4509 /* if none of the flags written by the instruction is used,
4510 then we can try to find a simpler instruction */
4511 write_flags = opc_write_flags[op];
4512 if ((live_flags & write_flags) == 0) {
4513 *opc_ptr = opc_simpler[op];
4514 }
4515 /* compute the live flags before the instruction */
4516 live_flags &= ~write_flags;
4517 live_flags |= opc_read_flags[op];
4518 }
4519}
4520
4521/* generate intermediate code in gen_opc_buf and gen_opparam_buf for
4522 basic block 'tb'. If search_pc is TRUE, also generate PC
4523 information for each intermediate instruction. */
4524static inline int gen_intermediate_code_internal(CPUState *env,
4525 TranslationBlock *tb,
4526 int search_pc)
4527{
4528 DisasContext dc1, *dc = &dc1;
4529 uint8_t *pc_ptr;
4530 uint16_t *gen_opc_end;
d720b93d 4531 int flags, j, lj, cflags;
2c0262af
FB		 4532 uint8_t *pc_start;
4533 uint8_t *cs_base;
4534
4535 /* generate intermediate code */
4536 pc_start = (uint8_t *)tb->pc;
4537 cs_base = (uint8_t *)tb->cs_base;
4538 flags = tb->flags;
d720b93d 4539 cflags = tb->cflags;
3a1d9b8b 4540
4f31916f 4541 dc->pe = (flags >> HF_PE_SHIFT) & 1;
2c0262af
FB		 4542 dc->code32 = (flags >> HF_CS32_SHIFT) & 1;
4543 dc->ss32 = (flags >> HF_SS32_SHIFT) & 1;
4544 dc->addseg = (flags >> HF_ADDSEG_SHIFT) & 1;
4545 dc->f_st = 0;
4546 dc->vm86 = (flags >> VM_SHIFT) & 1;
4547 dc->cpl = (flags >> HF_CPL_SHIFT) & 3;
4548 dc->iopl = (flags >> IOPL_SHIFT) & 3;
4549 dc->tf = (flags >> TF_SHIFT) & 1;
34865134 4550 dc->singlestep_enabled = env->singlestep_enabled;
2c0262af
FB		 4551 dc->cc_op = CC_OP_DYNAMIC;
4552 dc->cs_base = cs_base;
4553 dc->tb = tb;
4554 dc->popl_esp_hack = 0;
4555 /* select memory access functions */
4556 dc->mem_index = 0;
4557 if (flags & HF_SOFTMMU_MASK) {
4558 if (dc->cpl == 3)
4559 dc->mem_index = 6;
4560 else
4561 dc->mem_index = 3;
4562 }
7eee2a50 4563 dc->flags = flags;
a2cc3b24
FB		 4564 dc->jmp_opt = !(dc->tf || env->singlestep_enabled ||
4565 (flags & HF_INHIBIT_IRQ_MASK)
415fa2ea 4566#ifndef CONFIG_SOFTMMU
2c0262af
FB		 4567 || (flags & HF_SOFTMMU_MASK)
4568#endif
4569 );
4f31916f
FB		 4570#if 0
4571 /* check addseg logic */
4572 if (!dc->addseg && (dc->vm86 || !dc->pe))
4573 printf("ERROR addseg\n");
4574#endif
4575
2c0262af
FB		 4576 gen_opc_ptr = gen_opc_buf;
4577 gen_opc_end = gen_opc_buf + OPC_MAX_SIZE;
4578 gen_opparam_ptr = gen_opparam_buf;
4579
4580 dc->is_jmp = DISAS_NEXT;
4581 pc_ptr = pc_start;
4582 lj = -1;
4583
2c0262af
FB		 4584 for(;;) {
4585 if (env->nb_breakpoints > 0) {
4586 for(j = 0; j < env->nb_breakpoints; j++) {
4587 if (env->breakpoints[j] == (unsigned long)pc_ptr) {
4588 gen_debug(dc, pc_ptr - dc->cs_base);
4589 break;
4590 }
4591 }
4592 }
4593 if (search_pc) {
4594 j = gen_opc_ptr - gen_opc_buf;
4595 if (lj < j) {
4596 lj++;
4597 while (lj < j)
4598 gen_opc_instr_start[lj++] = 0;
4599 }
4600 gen_opc_pc[lj] = (uint32_t)pc_ptr;
4601 gen_opc_cc_op[lj] = dc->cc_op;
4602 gen_opc_instr_start[lj] = 1;
4603 }
4604 pc_ptr = disas_insn(dc, pc_ptr);
4605 /* stop translation if indicated */
4606 if (dc->is_jmp)
4607 break;
4608 /* if single step mode, we generate only one instruction and
4609 generate an exception */
a2cc3b24
FB		 4610 /* if irq were inhibited with HF_INHIBIT_IRQ_MASK, we clear
4611 the flag and abort the translation to give the irqs a
4612 change to be happen */
4613 if (dc->tf || dc->singlestep_enabled ||
d720b93d
FB		 4614 (flags & HF_INHIBIT_IRQ_MASK) ||
4615 (cflags & CF_SINGLE_INSN)) {
2c0262af
FB		 4616 gen_op_jmp_im(pc_ptr - dc->cs_base);
4617 gen_eob(dc);
4618 break;
4619 }
4620 /* if too long translation, stop generation too */
4621 if (gen_opc_ptr >= gen_opc_end ||
4622 (pc_ptr - pc_start) >= (TARGET_PAGE_SIZE - 32)) {
4623 gen_op_jmp_im(pc_ptr - dc->cs_base);
4624 gen_eob(dc);
4625 break;
4626 }
4627 }
4628 *gen_opc_ptr = INDEX_op_end;
4629 /* we don't forget to fill the last values */
4630 if (search_pc) {
4631 j = gen_opc_ptr - gen_opc_buf;
4632 lj++;
4633 while (lj <= j)
4634 gen_opc_instr_start[lj++] = 0;
4635 }
4636
4637#ifdef DEBUG_DISAS
e19e89a5 4638 if (loglevel & CPU_LOG_TB_IN_ASM) {
2c0262af
FB		 4639 fprintf(logfile, "----------------\n");
4640 fprintf(logfile, "IN: %s\n", lookup_symbol(pc_start));
4641 disas(logfile, pc_start, pc_ptr - pc_start, 0, !dc->code32);
4642 fprintf(logfile, "\n");
e19e89a5
FB		 4643 if (loglevel & CPU_LOG_TB_OP) {
4644 fprintf(logfile, "OP:\n");
4645 dump_ops(gen_opc_buf, gen_opparam_buf);
4646 fprintf(logfile, "\n");
4647 }
2c0262af
FB		 4648 }
4649#endif
4650
4651 /* optimize flag computations */
4652 optimize_flags(gen_opc_buf, gen_opc_ptr - gen_opc_buf);
4653
4654#ifdef DEBUG_DISAS
e19e89a5 4655 if (loglevel & CPU_LOG_TB_OP_OPT) {
2c0262af
FB		 4656 fprintf(logfile, "AFTER FLAGS OPT:\n");
4657 dump_ops(gen_opc_buf, gen_opparam_buf);
4658 fprintf(logfile, "\n");
4659 }
4660#endif
4661 if (!search_pc)
4662 tb->size = pc_ptr - pc_start;
4663 return 0;
4664}
4665
4666int gen_intermediate_code(CPUState *env, TranslationBlock *tb)
4667{
4668 return gen_intermediate_code_internal(env, tb, 0);
4669}
4670
4671int gen_intermediate_code_pc(CPUState *env, TranslationBlock *tb)
4672{
4673 return gen_intermediate_code_internal(env, tb, 1);
4674}
4675
QEMU mirror