]> git.proxmox.com Git - qemu.git/blob - target-i386/op.c
ppc bios
[qemu.git] / target-i386 / op.c
1 /*
2 * i386 micro operations
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
21 /* XXX: must use this define because the soft mmu macros have huge
22 register constraints so they cannot be used in any C code. gcc 3.3
23 does not seem to be able to handle some constraints in rol
24 operations, so we disable it. */
25 #if !(__GNUC__ == 3 && __GNUC_MINOR__ == 3)
26 #define ASM_SOFTMMU
27 #endif
28 #include "exec.h"
29
30 /* n must be a constant to be efficient */
31 static inline int lshift(int x, int n)
32 {
33 if (n >= 0)
34 return x << n;
35 else
36 return x >> (-n);
37 }
38
39 /* we define the various pieces of code used by the JIT */
40
41 #define REG EAX
42 #define REGNAME _EAX
43 #include "opreg_template.h"
44 #undef REG
45 #undef REGNAME
46
47 #define REG ECX
48 #define REGNAME _ECX
49 #include "opreg_template.h"
50 #undef REG
51 #undef REGNAME
52
53 #define REG EDX
54 #define REGNAME _EDX
55 #include "opreg_template.h"
56 #undef REG
57 #undef REGNAME
58
59 #define REG EBX
60 #define REGNAME _EBX
61 #include "opreg_template.h"
62 #undef REG
63 #undef REGNAME
64
65 #define REG ESP
66 #define REGNAME _ESP
67 #include "opreg_template.h"
68 #undef REG
69 #undef REGNAME
70
71 #define REG EBP
72 #define REGNAME _EBP
73 #include "opreg_template.h"
74 #undef REG
75 #undef REGNAME
76
77 #define REG ESI
78 #define REGNAME _ESI
79 #include "opreg_template.h"
80 #undef REG
81 #undef REGNAME
82
83 #define REG EDI
84 #define REGNAME _EDI
85 #include "opreg_template.h"
86 #undef REG
87 #undef REGNAME
88
89 /* operations with flags */
90
91 /* update flags with T0 and T1 (add/sub case) */
92 void OPPROTO op_update2_cc(void)
93 {
94 CC_SRC = T1;
95 CC_DST = T0;
96 }
97
98 /* update flags with T0 (logic operation case) */
99 void OPPROTO op_update1_cc(void)
100 {
101 CC_DST = T0;
102 }
103
104 void OPPROTO op_update_neg_cc(void)
105 {
106 CC_SRC = -T0;
107 CC_DST = T0;
108 }
109
110 void OPPROTO op_cmpl_T0_T1_cc(void)
111 {
112 CC_SRC = T1;
113 CC_DST = T0 - T1;
114 }
115
116 void OPPROTO op_update_inc_cc(void)
117 {
118 CC_SRC = cc_table[CC_OP].compute_c();
119 CC_DST = T0;
120 }
121
122 void OPPROTO op_testl_T0_T1_cc(void)
123 {
124 CC_DST = T0 & T1;
125 }
126
127 /* operations without flags */
128
129 void OPPROTO op_addl_T0_T1(void)
130 {
131 T0 += T1;
132 }
133
134 void OPPROTO op_orl_T0_T1(void)
135 {
136 T0 |= T1;
137 }
138
139 void OPPROTO op_andl_T0_T1(void)
140 {
141 T0 &= T1;
142 }
143
144 void OPPROTO op_subl_T0_T1(void)
145 {
146 T0 -= T1;
147 }
148
149 void OPPROTO op_xorl_T0_T1(void)
150 {
151 T0 ^= T1;
152 }
153
154 void OPPROTO op_negl_T0(void)
155 {
156 T0 = -T0;
157 }
158
159 void OPPROTO op_incl_T0(void)
160 {
161 T0++;
162 }
163
164 void OPPROTO op_decl_T0(void)
165 {
166 T0--;
167 }
168
169 void OPPROTO op_notl_T0(void)
170 {
171 T0 = ~T0;
172 }
173
174 void OPPROTO op_bswapl_T0(void)
175 {
176 T0 = bswap32(T0);
177 }
178
179 /* multiply/divide */
180
181 /* XXX: add eflags optimizations */
182 /* XXX: add non P4 style flags */
183
184 void OPPROTO op_mulb_AL_T0(void)
185 {
186 unsigned int res;
187 res = (uint8_t)EAX * (uint8_t)T0;
188 EAX = (EAX & 0xffff0000) | res;
189 CC_DST = res;
190 CC_SRC = (res & 0xff00);
191 }
192
193 void OPPROTO op_imulb_AL_T0(void)
194 {
195 int res;
196 res = (int8_t)EAX * (int8_t)T0;
197 EAX = (EAX & 0xffff0000) | (res & 0xffff);
198 CC_DST = res;
199 CC_SRC = (res != (int8_t)res);
200 }
201
202 void OPPROTO op_mulw_AX_T0(void)
203 {
204 unsigned int res;
205 res = (uint16_t)EAX * (uint16_t)T0;
206 EAX = (EAX & 0xffff0000) | (res & 0xffff);
207 EDX = (EDX & 0xffff0000) | ((res >> 16) & 0xffff);
208 CC_DST = res;
209 CC_SRC = res >> 16;
210 }
211
212 void OPPROTO op_imulw_AX_T0(void)
213 {
214 int res;
215 res = (int16_t)EAX * (int16_t)T0;
216 EAX = (EAX & 0xffff0000) | (res & 0xffff);
217 EDX = (EDX & 0xffff0000) | ((res >> 16) & 0xffff);
218 CC_DST = res;
219 CC_SRC = (res != (int16_t)res);
220 }
221
222 void OPPROTO op_mull_EAX_T0(void)
223 {
224 uint64_t res;
225 res = (uint64_t)((uint32_t)EAX) * (uint64_t)((uint32_t)T0);
226 EAX = res;
227 EDX = res >> 32;
228 CC_DST = res;
229 CC_SRC = res >> 32;
230 }
231
232 void OPPROTO op_imull_EAX_T0(void)
233 {
234 int64_t res;
235 res = (int64_t)((int32_t)EAX) * (int64_t)((int32_t)T0);
236 EAX = res;
237 EDX = res >> 32;
238 CC_DST = res;
239 CC_SRC = (res != (int32_t)res);
240 }
241
242 void OPPROTO op_imulw_T0_T1(void)
243 {
244 int res;
245 res = (int16_t)T0 * (int16_t)T1;
246 T0 = res;
247 CC_DST = res;
248 CC_SRC = (res != (int16_t)res);
249 }
250
251 void OPPROTO op_imull_T0_T1(void)
252 {
253 int64_t res;
254 res = (int64_t)((int32_t)T0) * (int64_t)((int32_t)T1);
255 T0 = res;
256 CC_DST = res;
257 CC_SRC = (res != (int32_t)res);
258 }
259
260 /* division, flags are undefined */
261 /* XXX: add exceptions for overflow */
262
263 void OPPROTO op_divb_AL_T0(void)
264 {
265 unsigned int num, den, q, r;
266
267 num = (EAX & 0xffff);
268 den = (T0 & 0xff);
269 if (den == 0) {
270 EIP = PARAM1;
271 raise_exception(EXCP00_DIVZ);
272 }
273 q = (num / den) & 0xff;
274 r = (num % den) & 0xff;
275 EAX = (EAX & 0xffff0000) | (r << 8) | q;
276 }
277
278 void OPPROTO op_idivb_AL_T0(void)
279 {
280 int num, den, q, r;
281
282 num = (int16_t)EAX;
283 den = (int8_t)T0;
284 if (den == 0) {
285 EIP = PARAM1;
286 raise_exception(EXCP00_DIVZ);
287 }
288 q = (num / den) & 0xff;
289 r = (num % den) & 0xff;
290 EAX = (EAX & 0xffff0000) | (r << 8) | q;
291 }
292
293 void OPPROTO op_divw_AX_T0(void)
294 {
295 unsigned int num, den, q, r;
296
297 num = (EAX & 0xffff) | ((EDX & 0xffff) << 16);
298 den = (T0 & 0xffff);
299 if (den == 0) {
300 EIP = PARAM1;
301 raise_exception(EXCP00_DIVZ);
302 }
303 q = (num / den) & 0xffff;
304 r = (num % den) & 0xffff;
305 EAX = (EAX & 0xffff0000) | q;
306 EDX = (EDX & 0xffff0000) | r;
307 }
308
309 void OPPROTO op_idivw_AX_T0(void)
310 {
311 int num, den, q, r;
312
313 num = (EAX & 0xffff) | ((EDX & 0xffff) << 16);
314 den = (int16_t)T0;
315 if (den == 0) {
316 EIP = PARAM1;
317 raise_exception(EXCP00_DIVZ);
318 }
319 q = (num / den) & 0xffff;
320 r = (num % den) & 0xffff;
321 EAX = (EAX & 0xffff0000) | q;
322 EDX = (EDX & 0xffff0000) | r;
323 }
324
325 void OPPROTO op_divl_EAX_T0(void)
326 {
327 helper_divl_EAX_T0(PARAM1);
328 }
329
330 void OPPROTO op_idivl_EAX_T0(void)
331 {
332 helper_idivl_EAX_T0(PARAM1);
333 }
334
335 /* constant load & misc op */
336
337 void OPPROTO op_movl_T0_im(void)
338 {
339 T0 = PARAM1;
340 }
341
342 void OPPROTO op_addl_T0_im(void)
343 {
344 T0 += PARAM1;
345 }
346
347 void OPPROTO op_andl_T0_ffff(void)
348 {
349 T0 = T0 & 0xffff;
350 }
351
352 void OPPROTO op_andl_T0_im(void)
353 {
354 T0 = T0 & PARAM1;
355 }
356
357 void OPPROTO op_movl_T0_T1(void)
358 {
359 T0 = T1;
360 }
361
362 void OPPROTO op_movl_T1_im(void)
363 {
364 T1 = PARAM1;
365 }
366
367 void OPPROTO op_addl_T1_im(void)
368 {
369 T1 += PARAM1;
370 }
371
372 void OPPROTO op_movl_T1_A0(void)
373 {
374 T1 = A0;
375 }
376
377 void OPPROTO op_movl_A0_im(void)
378 {
379 A0 = PARAM1;
380 }
381
382 void OPPROTO op_addl_A0_im(void)
383 {
384 A0 += PARAM1;
385 }
386
387 void OPPROTO op_addl_A0_AL(void)
388 {
389 A0 += (EAX & 0xff);
390 }
391
392 void OPPROTO op_andl_A0_ffff(void)
393 {
394 A0 = A0 & 0xffff;
395 }
396
397 /* memory access */
398
399 #define MEMSUFFIX _raw
400 #include "ops_mem.h"
401
402 #if !defined(CONFIG_USER_ONLY)
403 #define MEMSUFFIX _kernel
404 #include "ops_mem.h"
405
406 #define MEMSUFFIX _user
407 #include "ops_mem.h"
408 #endif
409
410 /* used for bit operations */
411
412 void OPPROTO op_add_bitw_A0_T1(void)
413 {
414 A0 += ((int16_t)T1 >> 4) << 1;
415 }
416
417 void OPPROTO op_add_bitl_A0_T1(void)
418 {
419 A0 += ((int32_t)T1 >> 5) << 2;
420 }
421
422 /* indirect jump */
423
424 void OPPROTO op_jmp_T0(void)
425 {
426 EIP = T0;
427 }
428
429 void OPPROTO op_jmp_im(void)
430 {
431 EIP = PARAM1;
432 }
433
434 void OPPROTO op_hlt(void)
435 {
436 env->exception_index = EXCP_HLT;
437 cpu_loop_exit();
438 }
439
440 void OPPROTO op_debug(void)
441 {
442 env->exception_index = EXCP_DEBUG;
443 cpu_loop_exit();
444 }
445
446 void OPPROTO op_raise_interrupt(void)
447 {
448 int intno;
449 unsigned int next_eip;
450 intno = PARAM1;
451 next_eip = PARAM2;
452 raise_interrupt(intno, 1, 0, next_eip);
453 }
454
455 void OPPROTO op_raise_exception(void)
456 {
457 int exception_index;
458 exception_index = PARAM1;
459 raise_exception(exception_index);
460 }
461
462 void OPPROTO op_into(void)
463 {
464 int eflags;
465 eflags = cc_table[CC_OP].compute_all();
466 if (eflags & CC_O) {
467 raise_interrupt(EXCP04_INTO, 1, 0, PARAM1);
468 }
469 FORCE_RET();
470 }
471
472 void OPPROTO op_cli(void)
473 {
474 env->eflags &= ~IF_MASK;
475 }
476
477 void OPPROTO op_sti(void)
478 {
479 env->eflags |= IF_MASK;
480 }
481
482 void OPPROTO op_set_inhibit_irq(void)
483 {
484 env->hflags |= HF_INHIBIT_IRQ_MASK;
485 }
486
487 void OPPROTO op_reset_inhibit_irq(void)
488 {
489 env->hflags &= ~HF_INHIBIT_IRQ_MASK;
490 }
491
492 #if 0
493 /* vm86plus instructions */
494 void OPPROTO op_cli_vm(void)
495 {
496 env->eflags &= ~VIF_MASK;
497 }
498
499 void OPPROTO op_sti_vm(void)
500 {
501 env->eflags |= VIF_MASK;
502 if (env->eflags & VIP_MASK) {
503 EIP = PARAM1;
504 raise_exception(EXCP0D_GPF);
505 }
506 FORCE_RET();
507 }
508 #endif
509
510 void OPPROTO op_boundw(void)
511 {
512 int low, high, v;
513 low = ldsw((uint8_t *)A0);
514 high = ldsw((uint8_t *)A0 + 2);
515 v = (int16_t)T0;
516 if (v < low || v > high) {
517 EIP = PARAM1;
518 raise_exception(EXCP05_BOUND);
519 }
520 FORCE_RET();
521 }
522
523 void OPPROTO op_boundl(void)
524 {
525 int low, high, v;
526 low = ldl((uint8_t *)A0);
527 high = ldl((uint8_t *)A0 + 4);
528 v = T0;
529 if (v < low || v > high) {
530 EIP = PARAM1;
531 raise_exception(EXCP05_BOUND);
532 }
533 FORCE_RET();
534 }
535
536 void OPPROTO op_cmpxchg8b(void)
537 {
538 helper_cmpxchg8b();
539 }
540
541 void OPPROTO op_jmp(void)
542 {
543 JUMP_TB(op_jmp, PARAM1, 0, PARAM2);
544 }
545
546 void OPPROTO op_movl_T0_0(void)
547 {
548 T0 = 0;
549 }
550
551 void OPPROTO op_exit_tb(void)
552 {
553 EXIT_TB();
554 }
555
556 /* multiple size ops */
557
558 #define ldul ldl
559
560 #define SHIFT 0
561 #include "ops_template.h"
562 #undef SHIFT
563
564 #define SHIFT 1
565 #include "ops_template.h"
566 #undef SHIFT
567
568 #define SHIFT 2
569 #include "ops_template.h"
570 #undef SHIFT
571
572 /* sign extend */
573
574 void OPPROTO op_movsbl_T0_T0(void)
575 {
576 T0 = (int8_t)T0;
577 }
578
579 void OPPROTO op_movzbl_T0_T0(void)
580 {
581 T0 = (uint8_t)T0;
582 }
583
584 void OPPROTO op_movswl_T0_T0(void)
585 {
586 T0 = (int16_t)T0;
587 }
588
589 void OPPROTO op_movzwl_T0_T0(void)
590 {
591 T0 = (uint16_t)T0;
592 }
593
594 void OPPROTO op_movswl_EAX_AX(void)
595 {
596 EAX = (int16_t)EAX;
597 }
598
599 void OPPROTO op_movsbw_AX_AL(void)
600 {
601 EAX = (EAX & 0xffff0000) | ((int8_t)EAX & 0xffff);
602 }
603
604 void OPPROTO op_movslq_EDX_EAX(void)
605 {
606 EDX = (int32_t)EAX >> 31;
607 }
608
609 void OPPROTO op_movswl_DX_AX(void)
610 {
611 EDX = (EDX & 0xffff0000) | (((int16_t)EAX >> 15) & 0xffff);
612 }
613
614 /* string ops helpers */
615
616 void OPPROTO op_addl_ESI_T0(void)
617 {
618 ESI += T0;
619 }
620
621 void OPPROTO op_addw_ESI_T0(void)
622 {
623 ESI = (ESI & ~0xffff) | ((ESI + T0) & 0xffff);
624 }
625
626 void OPPROTO op_addl_EDI_T0(void)
627 {
628 EDI += T0;
629 }
630
631 void OPPROTO op_addw_EDI_T0(void)
632 {
633 EDI = (EDI & ~0xffff) | ((EDI + T0) & 0xffff);
634 }
635
636 void OPPROTO op_decl_ECX(void)
637 {
638 ECX--;
639 }
640
641 void OPPROTO op_decw_ECX(void)
642 {
643 ECX = (ECX & ~0xffff) | ((ECX - 1) & 0xffff);
644 }
645
646 /* push/pop utils */
647
648 void op_addl_A0_SS(void)
649 {
650 A0 += (long)env->segs[R_SS].base;
651 }
652
653 void op_subl_A0_2(void)
654 {
655 A0 -= 2;
656 }
657
658 void op_subl_A0_4(void)
659 {
660 A0 -= 4;
661 }
662
663 void op_addl_ESP_4(void)
664 {
665 ESP += 4;
666 }
667
668 void op_addl_ESP_2(void)
669 {
670 ESP += 2;
671 }
672
673 void op_addw_ESP_4(void)
674 {
675 ESP = (ESP & ~0xffff) | ((ESP + 4) & 0xffff);
676 }
677
678 void op_addw_ESP_2(void)
679 {
680 ESP = (ESP & ~0xffff) | ((ESP + 2) & 0xffff);
681 }
682
683 void op_addl_ESP_im(void)
684 {
685 ESP += PARAM1;
686 }
687
688 void op_addw_ESP_im(void)
689 {
690 ESP = (ESP & ~0xffff) | ((ESP + PARAM1) & 0xffff);
691 }
692
693 void OPPROTO op_rdtsc(void)
694 {
695 helper_rdtsc();
696 }
697
698 void OPPROTO op_cpuid(void)
699 {
700 helper_cpuid();
701 }
702
703 void OPPROTO op_sysenter(void)
704 {
705 helper_sysenter();
706 }
707
708 void OPPROTO op_sysexit(void)
709 {
710 helper_sysexit();
711 }
712
713 void OPPROTO op_rdmsr(void)
714 {
715 helper_rdmsr();
716 }
717
718 void OPPROTO op_wrmsr(void)
719 {
720 helper_wrmsr();
721 }
722
723 /* bcd */
724
725 /* XXX: exception */
726 void OPPROTO op_aam(void)
727 {
728 int base = PARAM1;
729 int al, ah;
730 al = EAX & 0xff;
731 ah = al / base;
732 al = al % base;
733 EAX = (EAX & ~0xffff) | al | (ah << 8);
734 CC_DST = al;
735 }
736
737 void OPPROTO op_aad(void)
738 {
739 int base = PARAM1;
740 int al, ah;
741 al = EAX & 0xff;
742 ah = (EAX >> 8) & 0xff;
743 al = ((ah * base) + al) & 0xff;
744 EAX = (EAX & ~0xffff) | al;
745 CC_DST = al;
746 }
747
748 void OPPROTO op_aaa(void)
749 {
750 int icarry;
751 int al, ah, af;
752 int eflags;
753
754 eflags = cc_table[CC_OP].compute_all();
755 af = eflags & CC_A;
756 al = EAX & 0xff;
757 ah = (EAX >> 8) & 0xff;
758
759 icarry = (al > 0xf9);
760 if (((al & 0x0f) > 9 ) || af) {
761 al = (al + 6) & 0x0f;
762 ah = (ah + 1 + icarry) & 0xff;
763 eflags |= CC_C | CC_A;
764 } else {
765 eflags &= ~(CC_C | CC_A);
766 al &= 0x0f;
767 }
768 EAX = (EAX & ~0xffff) | al | (ah << 8);
769 CC_SRC = eflags;
770 }
771
772 void OPPROTO op_aas(void)
773 {
774 int icarry;
775 int al, ah, af;
776 int eflags;
777
778 eflags = cc_table[CC_OP].compute_all();
779 af = eflags & CC_A;
780 al = EAX & 0xff;
781 ah = (EAX >> 8) & 0xff;
782
783 icarry = (al < 6);
784 if (((al & 0x0f) > 9 ) || af) {
785 al = (al - 6) & 0x0f;
786 ah = (ah - 1 - icarry) & 0xff;
787 eflags |= CC_C | CC_A;
788 } else {
789 eflags &= ~(CC_C | CC_A);
790 al &= 0x0f;
791 }
792 EAX = (EAX & ~0xffff) | al | (ah << 8);
793 CC_SRC = eflags;
794 }
795
796 void OPPROTO op_daa(void)
797 {
798 int al, af, cf;
799 int eflags;
800
801 eflags = cc_table[CC_OP].compute_all();
802 cf = eflags & CC_C;
803 af = eflags & CC_A;
804 al = EAX & 0xff;
805
806 eflags = 0;
807 if (((al & 0x0f) > 9 ) || af) {
808 al = (al + 6) & 0xff;
809 eflags |= CC_A;
810 }
811 if ((al > 0x9f) || cf) {
812 al = (al + 0x60) & 0xff;
813 eflags |= CC_C;
814 }
815 EAX = (EAX & ~0xff) | al;
816 /* well, speed is not an issue here, so we compute the flags by hand */
817 eflags |= (al == 0) << 6; /* zf */
818 eflags |= parity_table[al]; /* pf */
819 eflags |= (al & 0x80); /* sf */
820 CC_SRC = eflags;
821 }
822
823 void OPPROTO op_das(void)
824 {
825 int al, al1, af, cf;
826 int eflags;
827
828 eflags = cc_table[CC_OP].compute_all();
829 cf = eflags & CC_C;
830 af = eflags & CC_A;
831 al = EAX & 0xff;
832
833 eflags = 0;
834 al1 = al;
835 if (((al & 0x0f) > 9 ) || af) {
836 eflags |= CC_A;
837 if (al < 6 || cf)
838 eflags |= CC_C;
839 al = (al - 6) & 0xff;
840 }
841 if ((al1 > 0x99) || cf) {
842 al = (al - 0x60) & 0xff;
843 eflags |= CC_C;
844 }
845 EAX = (EAX & ~0xff) | al;
846 /* well, speed is not an issue here, so we compute the flags by hand */
847 eflags |= (al == 0) << 6; /* zf */
848 eflags |= parity_table[al]; /* pf */
849 eflags |= (al & 0x80); /* sf */
850 CC_SRC = eflags;
851 }
852
853 /* segment handling */
854
855 /* never use it with R_CS */
856 void OPPROTO op_movl_seg_T0(void)
857 {
858 load_seg(PARAM1, T0);
859 }
860
861 /* faster VM86 version */
862 void OPPROTO op_movl_seg_T0_vm(void)
863 {
864 int selector;
865 SegmentCache *sc;
866
867 selector = T0 & 0xffff;
868 /* env->segs[] access */
869 sc = (SegmentCache *)((char *)env + PARAM1);
870 sc->selector = selector;
871 sc->base = (void *)(selector << 4);
872 }
873
874 void OPPROTO op_movl_T0_seg(void)
875 {
876 T0 = env->segs[PARAM1].selector;
877 }
878
879 void OPPROTO op_movl_A0_seg(void)
880 {
881 A0 = *(unsigned long *)((char *)env + PARAM1);
882 }
883
884 void OPPROTO op_addl_A0_seg(void)
885 {
886 A0 += *(unsigned long *)((char *)env + PARAM1);
887 }
888
889 void OPPROTO op_lsl(void)
890 {
891 helper_lsl();
892 }
893
894 void OPPROTO op_lar(void)
895 {
896 helper_lar();
897 }
898
899 void OPPROTO op_verr(void)
900 {
901 helper_verr();
902 }
903
904 void OPPROTO op_verw(void)
905 {
906 helper_verw();
907 }
908
909 void OPPROTO op_arpl(void)
910 {
911 if ((T0 & 3) < (T1 & 3)) {
912 /* XXX: emulate bug or 0xff3f0000 oring as in bochs ? */
913 T0 = (T0 & ~3) | (T1 & 3);
914 T1 = CC_Z;
915 } else {
916 T1 = 0;
917 }
918 FORCE_RET();
919 }
920
921 void OPPROTO op_arpl_update(void)
922 {
923 int eflags;
924 eflags = cc_table[CC_OP].compute_all();
925 CC_SRC = (eflags & ~CC_Z) | T1;
926 }
927
928 /* T0: segment, T1:eip */
929 void OPPROTO op_ljmp_protected_T0_T1(void)
930 {
931 helper_ljmp_protected_T0_T1(PARAM1);
932 }
933
934 void OPPROTO op_lcall_real_T0_T1(void)
935 {
936 helper_lcall_real_T0_T1(PARAM1, PARAM2);
937 }
938
939 void OPPROTO op_lcall_protected_T0_T1(void)
940 {
941 helper_lcall_protected_T0_T1(PARAM1, PARAM2);
942 }
943
944 void OPPROTO op_iret_real(void)
945 {
946 helper_iret_real(PARAM1);
947 }
948
949 void OPPROTO op_iret_protected(void)
950 {
951 helper_iret_protected(PARAM1, PARAM2);
952 }
953
954 void OPPROTO op_lret_protected(void)
955 {
956 helper_lret_protected(PARAM1, PARAM2);
957 }
958
959 void OPPROTO op_lldt_T0(void)
960 {
961 helper_lldt_T0();
962 }
963
964 void OPPROTO op_ltr_T0(void)
965 {
966 helper_ltr_T0();
967 }
968
969 /* CR registers access */
970 void OPPROTO op_movl_crN_T0(void)
971 {
972 helper_movl_crN_T0(PARAM1);
973 }
974
975 /* DR registers access */
976 void OPPROTO op_movl_drN_T0(void)
977 {
978 helper_movl_drN_T0(PARAM1);
979 }
980
981 void OPPROTO op_lmsw_T0(void)
982 {
983 /* only 4 lower bits of CR0 are modified. PE cannot be set to zero
984 if already set to one. */
985 T0 = (env->cr[0] & ~0xe) | (T0 & 0xf);
986 helper_movl_crN_T0(0);
987 }
988
989 void OPPROTO op_invlpg_A0(void)
990 {
991 helper_invlpg(A0);
992 }
993
994 void OPPROTO op_movl_T0_env(void)
995 {
996 T0 = *(uint32_t *)((char *)env + PARAM1);
997 }
998
999 void OPPROTO op_movl_env_T0(void)
1000 {
1001 *(uint32_t *)((char *)env + PARAM1) = T0;
1002 }
1003
1004 void OPPROTO op_movl_env_T1(void)
1005 {
1006 *(uint32_t *)((char *)env + PARAM1) = T1;
1007 }
1008
1009 void OPPROTO op_clts(void)
1010 {
1011 env->cr[0] &= ~CR0_TS_MASK;
1012 env->hflags &= ~HF_TS_MASK;
1013 }
1014
1015 /* flags handling */
1016
1017 /* slow jumps cases : in order to avoid calling a function with a
1018 pointer (which can generate a stack frame on PowerPC), we use
1019 op_setcc to set T0 and then call op_jcc. */
1020 void OPPROTO op_jcc(void)
1021 {
1022 if (T0)
1023 JUMP_TB(op_jcc, PARAM1, 0, PARAM2);
1024 else
1025 JUMP_TB(op_jcc, PARAM1, 1, PARAM3);
1026 FORCE_RET();
1027 }
1028
1029 void OPPROTO op_jcc_im(void)
1030 {
1031 if (T0)
1032 EIP = PARAM1;
1033 else
1034 EIP = PARAM2;
1035 FORCE_RET();
1036 }
1037
1038 /* slow set cases (compute x86 flags) */
1039 void OPPROTO op_seto_T0_cc(void)
1040 {
1041 int eflags;
1042 eflags = cc_table[CC_OP].compute_all();
1043 T0 = (eflags >> 11) & 1;
1044 }
1045
1046 void OPPROTO op_setb_T0_cc(void)
1047 {
1048 T0 = cc_table[CC_OP].compute_c();
1049 }
1050
1051 void OPPROTO op_setz_T0_cc(void)
1052 {
1053 int eflags;
1054 eflags = cc_table[CC_OP].compute_all();
1055 T0 = (eflags >> 6) & 1;
1056 }
1057
1058 void OPPROTO op_setbe_T0_cc(void)
1059 {
1060 int eflags;
1061 eflags = cc_table[CC_OP].compute_all();
1062 T0 = (eflags & (CC_Z | CC_C)) != 0;
1063 }
1064
1065 void OPPROTO op_sets_T0_cc(void)
1066 {
1067 int eflags;
1068 eflags = cc_table[CC_OP].compute_all();
1069 T0 = (eflags >> 7) & 1;
1070 }
1071
1072 void OPPROTO op_setp_T0_cc(void)
1073 {
1074 int eflags;
1075 eflags = cc_table[CC_OP].compute_all();
1076 T0 = (eflags >> 2) & 1;
1077 }
1078
1079 void OPPROTO op_setl_T0_cc(void)
1080 {
1081 int eflags;
1082 eflags = cc_table[CC_OP].compute_all();
1083 T0 = ((eflags ^ (eflags >> 4)) >> 7) & 1;
1084 }
1085
1086 void OPPROTO op_setle_T0_cc(void)
1087 {
1088 int eflags;
1089 eflags = cc_table[CC_OP].compute_all();
1090 T0 = (((eflags ^ (eflags >> 4)) & 0x80) || (eflags & CC_Z)) != 0;
1091 }
1092
1093 void OPPROTO op_xor_T0_1(void)
1094 {
1095 T0 ^= 1;
1096 }
1097
1098 void OPPROTO op_set_cc_op(void)
1099 {
1100 CC_OP = PARAM1;
1101 }
1102
1103 /* XXX: clear VIF/VIP in all ops ? */
1104
1105 void OPPROTO op_movl_eflags_T0(void)
1106 {
1107 load_eflags(T0, (TF_MASK | AC_MASK | ID_MASK | NT_MASK));
1108 }
1109
1110 void OPPROTO op_movw_eflags_T0(void)
1111 {
1112 load_eflags(T0, (TF_MASK | AC_MASK | ID_MASK | NT_MASK) & 0xffff);
1113 }
1114
1115 void OPPROTO op_movl_eflags_T0_io(void)
1116 {
1117 load_eflags(T0, (TF_MASK | AC_MASK | ID_MASK | NT_MASK | IF_MASK));
1118 }
1119
1120 void OPPROTO op_movw_eflags_T0_io(void)
1121 {
1122 load_eflags(T0, (TF_MASK | AC_MASK | ID_MASK | NT_MASK | IF_MASK) & 0xffff);
1123 }
1124
1125 void OPPROTO op_movl_eflags_T0_cpl0(void)
1126 {
1127 load_eflags(T0, (TF_MASK | AC_MASK | ID_MASK | NT_MASK | IF_MASK | IOPL_MASK));
1128 }
1129
1130 void OPPROTO op_movw_eflags_T0_cpl0(void)
1131 {
1132 load_eflags(T0, (TF_MASK | AC_MASK | ID_MASK | NT_MASK | IF_MASK | IOPL_MASK) & 0xffff);
1133 }
1134
1135 #if 0
1136 /* vm86plus version */
1137 void OPPROTO op_movw_eflags_T0_vm(void)
1138 {
1139 int eflags;
1140 eflags = T0;
1141 CC_SRC = eflags & (CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C);
1142 DF = 1 - (2 * ((eflags >> 10) & 1));
1143 /* we also update some system flags as in user mode */
1144 env->eflags = (env->eflags & ~(FL_UPDATE_MASK16 | VIF_MASK)) |
1145 (eflags & FL_UPDATE_MASK16);
1146 if (eflags & IF_MASK) {
1147 env->eflags |= VIF_MASK;
1148 if (env->eflags & VIP_MASK) {
1149 EIP = PARAM1;
1150 raise_exception(EXCP0D_GPF);
1151 }
1152 }
1153 FORCE_RET();
1154 }
1155
1156 void OPPROTO op_movl_eflags_T0_vm(void)
1157 {
1158 int eflags;
1159 eflags = T0;
1160 CC_SRC = eflags & (CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C);
1161 DF = 1 - (2 * ((eflags >> 10) & 1));
1162 /* we also update some system flags as in user mode */
1163 env->eflags = (env->eflags & ~(FL_UPDATE_MASK32 | VIF_MASK)) |
1164 (eflags & FL_UPDATE_MASK32);
1165 if (eflags & IF_MASK) {
1166 env->eflags |= VIF_MASK;
1167 if (env->eflags & VIP_MASK) {
1168 EIP = PARAM1;
1169 raise_exception(EXCP0D_GPF);
1170 }
1171 }
1172 FORCE_RET();
1173 }
1174 #endif
1175
1176 /* XXX: compute only O flag */
1177 void OPPROTO op_movb_eflags_T0(void)
1178 {
1179 int of;
1180 of = cc_table[CC_OP].compute_all() & CC_O;
1181 CC_SRC = (T0 & (CC_S | CC_Z | CC_A | CC_P | CC_C)) | of;
1182 }
1183
1184 void OPPROTO op_movl_T0_eflags(void)
1185 {
1186 int eflags;
1187 eflags = cc_table[CC_OP].compute_all();
1188 eflags |= (DF & DF_MASK);
1189 eflags |= env->eflags & ~(VM_MASK | RF_MASK);
1190 T0 = eflags;
1191 }
1192
1193 /* vm86plus version */
1194 #if 0
1195 void OPPROTO op_movl_T0_eflags_vm(void)
1196 {
1197 int eflags;
1198 eflags = cc_table[CC_OP].compute_all();
1199 eflags |= (DF & DF_MASK);
1200 eflags |= env->eflags & ~(VM_MASK | RF_MASK | IF_MASK);
1201 if (env->eflags & VIF_MASK)
1202 eflags |= IF_MASK;
1203 T0 = eflags;
1204 }
1205 #endif
1206
1207 void OPPROTO op_cld(void)
1208 {
1209 DF = 1;
1210 }
1211
1212 void OPPROTO op_std(void)
1213 {
1214 DF = -1;
1215 }
1216
1217 void OPPROTO op_clc(void)
1218 {
1219 int eflags;
1220 eflags = cc_table[CC_OP].compute_all();
1221 eflags &= ~CC_C;
1222 CC_SRC = eflags;
1223 }
1224
1225 void OPPROTO op_stc(void)
1226 {
1227 int eflags;
1228 eflags = cc_table[CC_OP].compute_all();
1229 eflags |= CC_C;
1230 CC_SRC = eflags;
1231 }
1232
1233 void OPPROTO op_cmc(void)
1234 {
1235 int eflags;
1236 eflags = cc_table[CC_OP].compute_all();
1237 eflags ^= CC_C;
1238 CC_SRC = eflags;
1239 }
1240
1241 void OPPROTO op_salc(void)
1242 {
1243 int cf;
1244 cf = cc_table[CC_OP].compute_c();
1245 EAX = (EAX & ~0xff) | ((-cf) & 0xff);
1246 }
1247
1248 static int compute_all_eflags(void)
1249 {
1250 return CC_SRC;
1251 }
1252
1253 static int compute_c_eflags(void)
1254 {
1255 return CC_SRC & CC_C;
1256 }
1257
1258 CCTable cc_table[CC_OP_NB] = {
1259 [CC_OP_DYNAMIC] = { /* should never happen */ },
1260
1261 [CC_OP_EFLAGS] = { compute_all_eflags, compute_c_eflags },
1262
1263 [CC_OP_MULB] = { compute_all_mulb, compute_c_mull },
1264 [CC_OP_MULW] = { compute_all_mulw, compute_c_mull },
1265 [CC_OP_MULL] = { compute_all_mull, compute_c_mull },
1266
1267 [CC_OP_ADDB] = { compute_all_addb, compute_c_addb },
1268 [CC_OP_ADDW] = { compute_all_addw, compute_c_addw },
1269 [CC_OP_ADDL] = { compute_all_addl, compute_c_addl },
1270
1271 [CC_OP_ADCB] = { compute_all_adcb, compute_c_adcb },
1272 [CC_OP_ADCW] = { compute_all_adcw, compute_c_adcw },
1273 [CC_OP_ADCL] = { compute_all_adcl, compute_c_adcl },
1274
1275 [CC_OP_SUBB] = { compute_all_subb, compute_c_subb },
1276 [CC_OP_SUBW] = { compute_all_subw, compute_c_subw },
1277 [CC_OP_SUBL] = { compute_all_subl, compute_c_subl },
1278
1279 [CC_OP_SBBB] = { compute_all_sbbb, compute_c_sbbb },
1280 [CC_OP_SBBW] = { compute_all_sbbw, compute_c_sbbw },
1281 [CC_OP_SBBL] = { compute_all_sbbl, compute_c_sbbl },
1282
1283 [CC_OP_LOGICB] = { compute_all_logicb, compute_c_logicb },
1284 [CC_OP_LOGICW] = { compute_all_logicw, compute_c_logicw },
1285 [CC_OP_LOGICL] = { compute_all_logicl, compute_c_logicl },
1286
1287 [CC_OP_INCB] = { compute_all_incb, compute_c_incl },
1288 [CC_OP_INCW] = { compute_all_incw, compute_c_incl },
1289 [CC_OP_INCL] = { compute_all_incl, compute_c_incl },
1290
1291 [CC_OP_DECB] = { compute_all_decb, compute_c_incl },
1292 [CC_OP_DECW] = { compute_all_decw, compute_c_incl },
1293 [CC_OP_DECL] = { compute_all_decl, compute_c_incl },
1294
1295 [CC_OP_SHLB] = { compute_all_shlb, compute_c_shlb },
1296 [CC_OP_SHLW] = { compute_all_shlw, compute_c_shlw },
1297 [CC_OP_SHLL] = { compute_all_shll, compute_c_shll },
1298
1299 [CC_OP_SARB] = { compute_all_sarb, compute_c_sarl },
1300 [CC_OP_SARW] = { compute_all_sarw, compute_c_sarl },
1301 [CC_OP_SARL] = { compute_all_sarl, compute_c_sarl },
1302 };
1303
1304 /* floating point support. Some of the code for complicated x87
1305 functions comes from the LGPL'ed x86 emulator found in the Willows
1306 TWIN windows emulator. */
1307
1308 #if defined(__powerpc__)
1309 extern CPU86_LDouble copysign(CPU86_LDouble, CPU86_LDouble);
1310
1311 /* correct (but slow) PowerPC rint() (glibc version is incorrect) */
1312 double qemu_rint(double x)
1313 {
1314 double y = 4503599627370496.0;
1315 if (fabs(x) >= y)
1316 return x;
1317 if (x < 0)
1318 y = -y;
1319 y = (x + y) - y;
1320 if (y == 0.0)
1321 y = copysign(y, x);
1322 return y;
1323 }
1324
1325 #define rint qemu_rint
1326 #endif
1327
1328 /* fp load FT0 */
1329
1330 void OPPROTO op_flds_FT0_A0(void)
1331 {
1332 #ifdef USE_FP_CONVERT
1333 FP_CONVERT.i32 = ldl((void *)A0);
1334 FT0 = FP_CONVERT.f;
1335 #else
1336 FT0 = ldfl((void *)A0);
1337 #endif
1338 }
1339
1340 void OPPROTO op_fldl_FT0_A0(void)
1341 {
1342 #ifdef USE_FP_CONVERT
1343 FP_CONVERT.i64 = ldq((void *)A0);
1344 FT0 = FP_CONVERT.d;
1345 #else
1346 FT0 = ldfq((void *)A0);
1347 #endif
1348 }
1349
1350 /* helpers are needed to avoid static constant reference. XXX: find a better way */
1351 #ifdef USE_INT_TO_FLOAT_HELPERS
1352
1353 void helper_fild_FT0_A0(void)
1354 {
1355 FT0 = (CPU86_LDouble)ldsw((void *)A0);
1356 }
1357
1358 void helper_fildl_FT0_A0(void)
1359 {
1360 FT0 = (CPU86_LDouble)((int32_t)ldl((void *)A0));
1361 }
1362
1363 void helper_fildll_FT0_A0(void)
1364 {
1365 FT0 = (CPU86_LDouble)((int64_t)ldq((void *)A0));
1366 }
1367
1368 void OPPROTO op_fild_FT0_A0(void)
1369 {
1370 helper_fild_FT0_A0();
1371 }
1372
1373 void OPPROTO op_fildl_FT0_A0(void)
1374 {
1375 helper_fildl_FT0_A0();
1376 }
1377
1378 void OPPROTO op_fildll_FT0_A0(void)
1379 {
1380 helper_fildll_FT0_A0();
1381 }
1382
1383 #else
1384
1385 void OPPROTO op_fild_FT0_A0(void)
1386 {
1387 #ifdef USE_FP_CONVERT
1388 FP_CONVERT.i32 = ldsw((void *)A0);
1389 FT0 = (CPU86_LDouble)FP_CONVERT.i32;
1390 #else
1391 FT0 = (CPU86_LDouble)ldsw((void *)A0);
1392 #endif
1393 }
1394
1395 void OPPROTO op_fildl_FT0_A0(void)
1396 {
1397 #ifdef USE_FP_CONVERT
1398 FP_CONVERT.i32 = (int32_t) ldl((void *)A0);
1399 FT0 = (CPU86_LDouble)FP_CONVERT.i32;
1400 #else
1401 FT0 = (CPU86_LDouble)((int32_t)ldl((void *)A0));
1402 #endif
1403 }
1404
1405 void OPPROTO op_fildll_FT0_A0(void)
1406 {
1407 #ifdef USE_FP_CONVERT
1408 FP_CONVERT.i64 = (int64_t) ldq((void *)A0);
1409 FT0 = (CPU86_LDouble)FP_CONVERT.i64;
1410 #else
1411 FT0 = (CPU86_LDouble)((int64_t)ldq((void *)A0));
1412 #endif
1413 }
1414 #endif
1415
1416 /* fp load ST0 */
1417
1418 void OPPROTO op_flds_ST0_A0(void)
1419 {
1420 int new_fpstt;
1421 new_fpstt = (env->fpstt - 1) & 7;
1422 #ifdef USE_FP_CONVERT
1423 FP_CONVERT.i32 = ldl((void *)A0);
1424 env->fpregs[new_fpstt] = FP_CONVERT.f;
1425 #else
1426 env->fpregs[new_fpstt] = ldfl((void *)A0);
1427 #endif
1428 env->fpstt = new_fpstt;
1429 env->fptags[new_fpstt] = 0; /* validate stack entry */
1430 }
1431
1432 void OPPROTO op_fldl_ST0_A0(void)
1433 {
1434 int new_fpstt;
1435 new_fpstt = (env->fpstt - 1) & 7;
1436 #ifdef USE_FP_CONVERT
1437 FP_CONVERT.i64 = ldq((void *)A0);
1438 env->fpregs[new_fpstt] = FP_CONVERT.d;
1439 #else
1440 env->fpregs[new_fpstt] = ldfq((void *)A0);
1441 #endif
1442 env->fpstt = new_fpstt;
1443 env->fptags[new_fpstt] = 0; /* validate stack entry */
1444 }
1445
1446 void OPPROTO op_fldt_ST0_A0(void)
1447 {
1448 helper_fldt_ST0_A0();
1449 }
1450
1451 /* helpers are needed to avoid static constant reference. XXX: find a better way */
1452 #ifdef USE_INT_TO_FLOAT_HELPERS
1453
1454 void helper_fild_ST0_A0(void)
1455 {
1456 int new_fpstt;
1457 new_fpstt = (env->fpstt - 1) & 7;
1458 env->fpregs[new_fpstt] = (CPU86_LDouble)ldsw((void *)A0);
1459 env->fpstt = new_fpstt;
1460 env->fptags[new_fpstt] = 0; /* validate stack entry */
1461 }
1462
1463 void helper_fildl_ST0_A0(void)
1464 {
1465 int new_fpstt;
1466 new_fpstt = (env->fpstt - 1) & 7;
1467 env->fpregs[new_fpstt] = (CPU86_LDouble)((int32_t)ldl((void *)A0));
1468 env->fpstt = new_fpstt;
1469 env->fptags[new_fpstt] = 0; /* validate stack entry */
1470 }
1471
1472 void helper_fildll_ST0_A0(void)
1473 {
1474 int new_fpstt;
1475 new_fpstt = (env->fpstt - 1) & 7;
1476 env->fpregs[new_fpstt] = (CPU86_LDouble)((int64_t)ldq((void *)A0));
1477 env->fpstt = new_fpstt;
1478 env->fptags[new_fpstt] = 0; /* validate stack entry */
1479 }
1480
1481 void OPPROTO op_fild_ST0_A0(void)
1482 {
1483 helper_fild_ST0_A0();
1484 }
1485
1486 void OPPROTO op_fildl_ST0_A0(void)
1487 {
1488 helper_fildl_ST0_A0();
1489 }
1490
1491 void OPPROTO op_fildll_ST0_A0(void)
1492 {
1493 helper_fildll_ST0_A0();
1494 }
1495
1496 #else
1497
1498 void OPPROTO op_fild_ST0_A0(void)
1499 {
1500 int new_fpstt;
1501 new_fpstt = (env->fpstt - 1) & 7;
1502 #ifdef USE_FP_CONVERT
1503 FP_CONVERT.i32 = ldsw((void *)A0);
1504 env->fpregs[new_fpstt] = (CPU86_LDouble)FP_CONVERT.i32;
1505 #else
1506 env->fpregs[new_fpstt] = (CPU86_LDouble)ldsw((void *)A0);
1507 #endif
1508 env->fpstt = new_fpstt;
1509 env->fptags[new_fpstt] = 0; /* validate stack entry */
1510 }
1511
1512 void OPPROTO op_fildl_ST0_A0(void)
1513 {
1514 int new_fpstt;
1515 new_fpstt = (env->fpstt - 1) & 7;
1516 #ifdef USE_FP_CONVERT
1517 FP_CONVERT.i32 = (int32_t) ldl((void *)A0);
1518 env->fpregs[new_fpstt] = (CPU86_LDouble)FP_CONVERT.i32;
1519 #else
1520 env->fpregs[new_fpstt] = (CPU86_LDouble)((int32_t)ldl((void *)A0));
1521 #endif
1522 env->fpstt = new_fpstt;
1523 env->fptags[new_fpstt] = 0; /* validate stack entry */
1524 }
1525
1526 void OPPROTO op_fildll_ST0_A0(void)
1527 {
1528 int new_fpstt;
1529 new_fpstt = (env->fpstt - 1) & 7;
1530 #ifdef USE_FP_CONVERT
1531 FP_CONVERT.i64 = (int64_t) ldq((void *)A0);
1532 env->fpregs[new_fpstt] = (CPU86_LDouble)FP_CONVERT.i64;
1533 #else
1534 env->fpregs[new_fpstt] = (CPU86_LDouble)((int64_t)ldq((void *)A0));
1535 #endif
1536 env->fpstt = new_fpstt;
1537 env->fptags[new_fpstt] = 0; /* validate stack entry */
1538 }
1539
1540 #endif
1541
1542 /* fp store */
1543
1544 void OPPROTO op_fsts_ST0_A0(void)
1545 {
1546 #ifdef USE_FP_CONVERT
1547 FP_CONVERT.f = (float)ST0;
1548 stfl((void *)A0, FP_CONVERT.f);
1549 #else
1550 stfl((void *)A0, (float)ST0);
1551 #endif
1552 }
1553
1554 void OPPROTO op_fstl_ST0_A0(void)
1555 {
1556 stfq((void *)A0, (double)ST0);
1557 }
1558
1559 void OPPROTO op_fstt_ST0_A0(void)
1560 {
1561 helper_fstt_ST0_A0();
1562 }
1563
1564 void OPPROTO op_fist_ST0_A0(void)
1565 {
1566 #if defined(__sparc__) && !defined(__sparc_v9__)
1567 register CPU86_LDouble d asm("o0");
1568 #else
1569 CPU86_LDouble d;
1570 #endif
1571 int val;
1572
1573 d = ST0;
1574 val = lrint(d);
1575 if (val != (int16_t)val)
1576 val = -32768;
1577 stw((void *)A0, val);
1578 }
1579
1580 void OPPROTO op_fistl_ST0_A0(void)
1581 {
1582 #if defined(__sparc__) && !defined(__sparc_v9__)
1583 register CPU86_LDouble d asm("o0");
1584 #else
1585 CPU86_LDouble d;
1586 #endif
1587 int val;
1588
1589 d = ST0;
1590 val = lrint(d);
1591 stl((void *)A0, val);
1592 }
1593
1594 void OPPROTO op_fistll_ST0_A0(void)
1595 {
1596 #if defined(__sparc__) && !defined(__sparc_v9__)
1597 register CPU86_LDouble d asm("o0");
1598 #else
1599 CPU86_LDouble d;
1600 #endif
1601 int64_t val;
1602
1603 d = ST0;
1604 val = llrint(d);
1605 stq((void *)A0, val);
1606 }
1607
1608 void OPPROTO op_fbld_ST0_A0(void)
1609 {
1610 helper_fbld_ST0_A0();
1611 }
1612
1613 void OPPROTO op_fbst_ST0_A0(void)
1614 {
1615 helper_fbst_ST0_A0();
1616 }
1617
1618 /* FPU move */
1619
1620 void OPPROTO op_fpush(void)
1621 {
1622 fpush();
1623 }
1624
1625 void OPPROTO op_fpop(void)
1626 {
1627 fpop();
1628 }
1629
1630 void OPPROTO op_fdecstp(void)
1631 {
1632 env->fpstt = (env->fpstt - 1) & 7;
1633 env->fpus &= (~0x4700);
1634 }
1635
1636 void OPPROTO op_fincstp(void)
1637 {
1638 env->fpstt = (env->fpstt + 1) & 7;
1639 env->fpus &= (~0x4700);
1640 }
1641
1642 void OPPROTO op_ffree_STN(void)
1643 {
1644 env->fptags[(env->fpstt + PARAM1) & 7] = 1;
1645 }
1646
1647 void OPPROTO op_fmov_ST0_FT0(void)
1648 {
1649 ST0 = FT0;
1650 }
1651
1652 void OPPROTO op_fmov_FT0_STN(void)
1653 {
1654 FT0 = ST(PARAM1);
1655 }
1656
1657 void OPPROTO op_fmov_ST0_STN(void)
1658 {
1659 ST0 = ST(PARAM1);
1660 }
1661
1662 void OPPROTO op_fmov_STN_ST0(void)
1663 {
1664 ST(PARAM1) = ST0;
1665 }
1666
1667 void OPPROTO op_fxchg_ST0_STN(void)
1668 {
1669 CPU86_LDouble tmp;
1670 tmp = ST(PARAM1);
1671 ST(PARAM1) = ST0;
1672 ST0 = tmp;
1673 }
1674
1675 /* FPU operations */
1676
1677 /* XXX: handle nans */
1678 void OPPROTO op_fcom_ST0_FT0(void)
1679 {
1680 env->fpus &= (~0x4500); /* (C3,C2,C0) <-- 000 */
1681 if (ST0 < FT0)
1682 env->fpus |= 0x100; /* (C3,C2,C0) <-- 001 */
1683 else if (ST0 == FT0)
1684 env->fpus |= 0x4000; /* (C3,C2,C0) <-- 100 */
1685 FORCE_RET();
1686 }
1687
1688 /* XXX: handle nans */
1689 void OPPROTO op_fucom_ST0_FT0(void)
1690 {
1691 env->fpus &= (~0x4500); /* (C3,C2,C0) <-- 000 */
1692 if (ST0 < FT0)
1693 env->fpus |= 0x100; /* (C3,C2,C0) <-- 001 */
1694 else if (ST0 == FT0)
1695 env->fpus |= 0x4000; /* (C3,C2,C0) <-- 100 */
1696 FORCE_RET();
1697 }
1698
1699 /* XXX: handle nans */
1700 void OPPROTO op_fcomi_ST0_FT0(void)
1701 {
1702 int eflags;
1703 eflags = cc_table[CC_OP].compute_all();
1704 eflags &= ~(CC_Z | CC_P | CC_C);
1705 if (ST0 < FT0)
1706 eflags |= CC_C;
1707 else if (ST0 == FT0)
1708 eflags |= CC_Z;
1709 CC_SRC = eflags;
1710 FORCE_RET();
1711 }
1712
1713 /* XXX: handle nans */
1714 void OPPROTO op_fucomi_ST0_FT0(void)
1715 {
1716 int eflags;
1717 eflags = cc_table[CC_OP].compute_all();
1718 eflags &= ~(CC_Z | CC_P | CC_C);
1719 if (ST0 < FT0)
1720 eflags |= CC_C;
1721 else if (ST0 == FT0)
1722 eflags |= CC_Z;
1723 CC_SRC = eflags;
1724 FORCE_RET();
1725 }
1726
1727 void OPPROTO op_fcmov_ST0_STN_T0(void)
1728 {
1729 if (T0) {
1730 ST0 = ST(PARAM1);
1731 }
1732 FORCE_RET();
1733 }
1734
1735 void OPPROTO op_fadd_ST0_FT0(void)
1736 {
1737 ST0 += FT0;
1738 }
1739
1740 void OPPROTO op_fmul_ST0_FT0(void)
1741 {
1742 ST0 *= FT0;
1743 }
1744
1745 void OPPROTO op_fsub_ST0_FT0(void)
1746 {
1747 ST0 -= FT0;
1748 }
1749
1750 void OPPROTO op_fsubr_ST0_FT0(void)
1751 {
1752 ST0 = FT0 - ST0;
1753 }
1754
1755 void OPPROTO op_fdiv_ST0_FT0(void)
1756 {
1757 ST0 = helper_fdiv(ST0, FT0);
1758 }
1759
1760 void OPPROTO op_fdivr_ST0_FT0(void)
1761 {
1762 ST0 = helper_fdiv(FT0, ST0);
1763 }
1764
1765 /* fp operations between STN and ST0 */
1766
1767 void OPPROTO op_fadd_STN_ST0(void)
1768 {
1769 ST(PARAM1) += ST0;
1770 }
1771
1772 void OPPROTO op_fmul_STN_ST0(void)
1773 {
1774 ST(PARAM1) *= ST0;
1775 }
1776
1777 void OPPROTO op_fsub_STN_ST0(void)
1778 {
1779 ST(PARAM1) -= ST0;
1780 }
1781
1782 void OPPROTO op_fsubr_STN_ST0(void)
1783 {
1784 CPU86_LDouble *p;
1785 p = &ST(PARAM1);
1786 *p = ST0 - *p;
1787 }
1788
1789 void OPPROTO op_fdiv_STN_ST0(void)
1790 {
1791 CPU86_LDouble *p;
1792 p = &ST(PARAM1);
1793 *p = helper_fdiv(*p, ST0);
1794 }
1795
1796 void OPPROTO op_fdivr_STN_ST0(void)
1797 {
1798 CPU86_LDouble *p;
1799 p = &ST(PARAM1);
1800 *p = helper_fdiv(ST0, *p);
1801 }
1802
1803 /* misc FPU operations */
1804 void OPPROTO op_fchs_ST0(void)
1805 {
1806 ST0 = -ST0;
1807 }
1808
1809 void OPPROTO op_fabs_ST0(void)
1810 {
1811 ST0 = fabs(ST0);
1812 }
1813
1814 void OPPROTO op_fxam_ST0(void)
1815 {
1816 helper_fxam_ST0();
1817 }
1818
1819 void OPPROTO op_fld1_ST0(void)
1820 {
1821 ST0 = f15rk[1];
1822 }
1823
1824 void OPPROTO op_fldl2t_ST0(void)
1825 {
1826 ST0 = f15rk[6];
1827 }
1828
1829 void OPPROTO op_fldl2e_ST0(void)
1830 {
1831 ST0 = f15rk[5];
1832 }
1833
1834 void OPPROTO op_fldpi_ST0(void)
1835 {
1836 ST0 = f15rk[2];
1837 }
1838
1839 void OPPROTO op_fldlg2_ST0(void)
1840 {
1841 ST0 = f15rk[3];
1842 }
1843
1844 void OPPROTO op_fldln2_ST0(void)
1845 {
1846 ST0 = f15rk[4];
1847 }
1848
1849 void OPPROTO op_fldz_ST0(void)
1850 {
1851 ST0 = f15rk[0];
1852 }
1853
1854 void OPPROTO op_fldz_FT0(void)
1855 {
1856 FT0 = f15rk[0];
1857 }
1858
1859 /* associated heplers to reduce generated code length and to simplify
1860 relocation (FP constants are usually stored in .rodata section) */
1861
1862 void OPPROTO op_f2xm1(void)
1863 {
1864 helper_f2xm1();
1865 }
1866
1867 void OPPROTO op_fyl2x(void)
1868 {
1869 helper_fyl2x();
1870 }
1871
1872 void OPPROTO op_fptan(void)
1873 {
1874 helper_fptan();
1875 }
1876
1877 void OPPROTO op_fpatan(void)
1878 {
1879 helper_fpatan();
1880 }
1881
1882 void OPPROTO op_fxtract(void)
1883 {
1884 helper_fxtract();
1885 }
1886
1887 void OPPROTO op_fprem1(void)
1888 {
1889 helper_fprem1();
1890 }
1891
1892
1893 void OPPROTO op_fprem(void)
1894 {
1895 helper_fprem();
1896 }
1897
1898 void OPPROTO op_fyl2xp1(void)
1899 {
1900 helper_fyl2xp1();
1901 }
1902
1903 void OPPROTO op_fsqrt(void)
1904 {
1905 helper_fsqrt();
1906 }
1907
1908 void OPPROTO op_fsincos(void)
1909 {
1910 helper_fsincos();
1911 }
1912
1913 void OPPROTO op_frndint(void)
1914 {
1915 helper_frndint();
1916 }
1917
1918 void OPPROTO op_fscale(void)
1919 {
1920 helper_fscale();
1921 }
1922
1923 void OPPROTO op_fsin(void)
1924 {
1925 helper_fsin();
1926 }
1927
1928 void OPPROTO op_fcos(void)
1929 {
1930 helper_fcos();
1931 }
1932
1933 void OPPROTO op_fnstsw_A0(void)
1934 {
1935 int fpus;
1936 fpus = (env->fpus & ~0x3800) | (env->fpstt & 0x7) << 11;
1937 stw((void *)A0, fpus);
1938 }
1939
1940 void OPPROTO op_fnstsw_EAX(void)
1941 {
1942 int fpus;
1943 fpus = (env->fpus & ~0x3800) | (env->fpstt & 0x7) << 11;
1944 EAX = (EAX & 0xffff0000) | fpus;
1945 }
1946
1947 void OPPROTO op_fnstcw_A0(void)
1948 {
1949 stw((void *)A0, env->fpuc);
1950 }
1951
1952 void OPPROTO op_fldcw_A0(void)
1953 {
1954 int rnd_type;
1955 env->fpuc = lduw((void *)A0);
1956 /* set rounding mode */
1957 #ifdef _BSD
1958 switch(env->fpuc & RC_MASK) {
1959 default:
1960 case RC_NEAR:
1961 rnd_type = FP_RN;
1962 break;
1963 case RC_DOWN:
1964 rnd_type = FP_RM;
1965 break;
1966 case RC_UP:
1967 rnd_type = FP_RP;
1968 break;
1969 case RC_CHOP:
1970 rnd_type = FP_RZ;
1971 break;
1972 }
1973 fpsetround(rnd_type);
1974 #else
1975 switch(env->fpuc & RC_MASK) {
1976 default:
1977 case RC_NEAR:
1978 rnd_type = FE_TONEAREST;
1979 break;
1980 case RC_DOWN:
1981 rnd_type = FE_DOWNWARD;
1982 break;
1983 case RC_UP:
1984 rnd_type = FE_UPWARD;
1985 break;
1986 case RC_CHOP:
1987 rnd_type = FE_TOWARDZERO;
1988 break;
1989 }
1990 fesetround(rnd_type);
1991 #endif
1992 }
1993
1994 void OPPROTO op_fclex(void)
1995 {
1996 env->fpus &= 0x7f00;
1997 }
1998
1999 void OPPROTO op_fwait(void)
2000 {
2001 if (env->fpus & FPUS_SE)
2002 fpu_raise_exception();
2003 FORCE_RET();
2004 }
2005
2006 void OPPROTO op_fninit(void)
2007 {
2008 env->fpus = 0;
2009 env->fpstt = 0;
2010 env->fpuc = 0x37f;
2011 env->fptags[0] = 1;
2012 env->fptags[1] = 1;
2013 env->fptags[2] = 1;
2014 env->fptags[3] = 1;
2015 env->fptags[4] = 1;
2016 env->fptags[5] = 1;
2017 env->fptags[6] = 1;
2018 env->fptags[7] = 1;
2019 }
2020
2021 void OPPROTO op_fnstenv_A0(void)
2022 {
2023 helper_fstenv((uint8_t *)A0, PARAM1);
2024 }
2025
2026 void OPPROTO op_fldenv_A0(void)
2027 {
2028 helper_fldenv((uint8_t *)A0, PARAM1);
2029 }
2030
2031 void OPPROTO op_fnsave_A0(void)
2032 {
2033 helper_fsave((uint8_t *)A0, PARAM1);
2034 }
2035
2036 void OPPROTO op_frstor_A0(void)
2037 {
2038 helper_frstor((uint8_t *)A0, PARAM1);
2039 }
2040
2041 /* threading support */
2042 void OPPROTO op_lock(void)
2043 {
2044 cpu_lock();
2045 }
2046
2047 void OPPROTO op_unlock(void)
2048 {
2049 cpu_unlock();
2050 }
2051