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