Statistics
| Branch: | Revision:

root / target-i386 / op.c @ 2c0262af

History | View | Annotate | Download (36.5 kB)

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.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
void OPPROTO op_set_inhibit_irq(void)
461
{
462
    env->hflags |= HF_INHIBIT_IRQ_MASK;
463
}
464

    
465
void OPPROTO op_reset_inhibit_irq(void)
466
{
467
    env->hflags &= ~HF_INHIBIT_IRQ_MASK;
468
}
469

    
470
#if 0
471
/* vm86plus instructions */
472
void OPPROTO op_cli_vm(void)
473
{
474
    env->eflags &= ~VIF_MASK;
475
}
476

477
void OPPROTO op_sti_vm(void)
478
{
479
    env->eflags |= VIF_MASK;
480
    if (env->eflags & VIP_MASK) {
481
        EIP = PARAM1;
482
        raise_exception(EXCP0D_GPF);
483
    }
484
    FORCE_RET();
485
}
486
#endif
487

    
488
void OPPROTO op_boundw(void)
489
{
490
    int low, high, v;
491
    low = ldsw((uint8_t *)A0);
492
    high = ldsw((uint8_t *)A0 + 2);
493
    v = (int16_t)T0;
494
    if (v < low || v > high) {
495
        EIP = PARAM1;
496
        raise_exception(EXCP05_BOUND);
497
    }
498
    FORCE_RET();
499
}
500

    
501
void OPPROTO op_boundl(void)
502
{
503
    int low, high, v;
504
    low = ldl((uint8_t *)A0);
505
    high = ldl((uint8_t *)A0 + 4);
506
    v = T0;
507
    if (v < low || v > high) {
508
        EIP = PARAM1;
509
        raise_exception(EXCP05_BOUND);
510
    }
511
    FORCE_RET();
512
}
513

    
514
void OPPROTO op_cmpxchg8b(void)
515
{
516
    helper_cmpxchg8b();
517
}
518

    
519
void OPPROTO op_jmp(void)
520
{
521
    JUMP_TB(op_jmp, PARAM1, 0, PARAM2);
522
}
523

    
524
void OPPROTO op_movl_T0_0(void)
525
{
526
    T0 = 0;
527
}
528

    
529
void OPPROTO op_exit_tb(void)
530
{
531
    EXIT_TB();
532
}
533

    
534
/* multiple size ops */
535

    
536
#define ldul ldl
537

    
538
#define SHIFT 0
539
#include "ops_template.h"
540
#undef SHIFT
541

    
542
#define SHIFT 1
543
#include "ops_template.h"
544
#undef SHIFT
545

    
546
#define SHIFT 2
547
#include "ops_template.h"
548
#undef SHIFT
549

    
550
/* sign extend */
551

    
552
void OPPROTO op_movsbl_T0_T0(void)
553
{
554
    T0 = (int8_t)T0;
555
}
556

    
557
void OPPROTO op_movzbl_T0_T0(void)
558
{
559
    T0 = (uint8_t)T0;
560
}
561

    
562
void OPPROTO op_movswl_T0_T0(void)
563
{
564
    T0 = (int16_t)T0;
565
}
566

    
567
void OPPROTO op_movzwl_T0_T0(void)
568
{
569
    T0 = (uint16_t)T0;
570
}
571

    
572
void OPPROTO op_movswl_EAX_AX(void)
573
{
574
    EAX = (int16_t)EAX;
575
}
576

    
577
void OPPROTO op_movsbw_AX_AL(void)
578
{
579
    EAX = (EAX & 0xffff0000) | ((int8_t)EAX & 0xffff);
580
}
581

    
582
void OPPROTO op_movslq_EDX_EAX(void)
583
{
584
    EDX = (int32_t)EAX >> 31;
585
}
586

    
587
void OPPROTO op_movswl_DX_AX(void)
588
{
589
    EDX = (EDX & 0xffff0000) | (((int16_t)EAX >> 15) & 0xffff);
590
}
591

    
592
/* string ops helpers */
593

    
594
void OPPROTO op_addl_ESI_T0(void)
595
{
596
    ESI += T0;
597
}
598

    
599
void OPPROTO op_addw_ESI_T0(void)
600
{
601
    ESI = (ESI & ~0xffff) | ((ESI + T0) & 0xffff);
602
}
603

    
604
void OPPROTO op_addl_EDI_T0(void)
605
{
606
    EDI += T0;
607
}
608

    
609
void OPPROTO op_addw_EDI_T0(void)
610
{
611
    EDI = (EDI & ~0xffff) | ((EDI + T0) & 0xffff);
612
}
613

    
614
void OPPROTO op_decl_ECX(void)
615
{
616
    ECX--;
617
}
618

    
619
void OPPROTO op_decw_ECX(void)
620
{
621
    ECX = (ECX & ~0xffff) | ((ECX - 1) & 0xffff);
622
}
623

    
624
/* push/pop */
625

    
626
void op_pushl_T0(void)
627
{
628
    uint32_t offset;
629
    offset = ESP - 4;
630
    stl((void *)offset, T0);
631
    /* modify ESP after to handle exceptions correctly */
632
    ESP = offset;
633
}
634

    
635
void op_pushw_T0(void)
636
{
637
    uint32_t offset;
638
    offset = ESP - 2;
639
    stw((void *)offset, T0);
640
    /* modify ESP after to handle exceptions correctly */
641
    ESP = offset;
642
}
643

    
644
void op_pushl_ss32_T0(void)
645
{
646
    uint32_t offset;
647
    offset = ESP - 4;
648
    stl(env->segs[R_SS].base + offset, T0);
649
    /* modify ESP after to handle exceptions correctly */
650
    ESP = offset;
651
}
652

    
653
void op_pushw_ss32_T0(void)
654
{
655
    uint32_t offset;
656
    offset = ESP - 2;
657
    stw(env->segs[R_SS].base + offset, T0);
658
    /* modify ESP after to handle exceptions correctly */
659
    ESP = offset;
660
}
661

    
662
void op_pushl_ss16_T0(void)
663
{
664
    uint32_t offset;
665
    offset = (ESP - 4) & 0xffff;
666
    stl(env->segs[R_SS].base + offset, T0);
667
    /* modify ESP after to handle exceptions correctly */
668
    ESP = (ESP & ~0xffff) | offset;
669
}
670

    
671
void op_pushw_ss16_T0(void)
672
{
673
    uint32_t offset;
674
    offset = (ESP - 2) & 0xffff;
675
    stw(env->segs[R_SS].base + offset, T0);
676
    /* modify ESP after to handle exceptions correctly */
677
    ESP = (ESP & ~0xffff) | offset;
678
}
679

    
680
/* NOTE: ESP update is done after */
681
void op_popl_T0(void)
682
{
683
    T0 = ldl((void *)ESP);
684
}
685

    
686
void op_popw_T0(void)
687
{
688
    T0 = lduw((void *)ESP);
689
}
690

    
691
void op_popl_ss32_T0(void)
692
{
693
    T0 = ldl(env->segs[R_SS].base + ESP);
694
}
695

    
696
void op_popw_ss32_T0(void)
697
{
698
    T0 = lduw(env->segs[R_SS].base + ESP);
699
}
700

    
701
void op_popl_ss16_T0(void)
702
{
703
    T0 = ldl(env->segs[R_SS].base + (ESP & 0xffff));
704
}
705

    
706
void op_popw_ss16_T0(void)
707
{
708
    T0 = lduw(env->segs[R_SS].base + (ESP & 0xffff));
709
}
710

    
711
void op_addl_ESP_4(void)
712
{
713
    ESP += 4;
714
}
715

    
716
void op_addl_ESP_2(void)
717
{
718
    ESP += 2;
719
}
720

    
721
void op_addw_ESP_4(void)
722
{
723
    ESP = (ESP & ~0xffff) | ((ESP + 4) & 0xffff);
724
}
725

    
726
void op_addw_ESP_2(void)
727
{
728
    ESP = (ESP & ~0xffff) | ((ESP + 2) & 0xffff);
729
}
730

    
731
void op_addl_ESP_im(void)
732
{
733
    ESP += PARAM1;
734
}
735

    
736
void op_addw_ESP_im(void)
737
{
738
    ESP = (ESP & ~0xffff) | ((ESP + PARAM1) & 0xffff);
739
}
740

    
741
void OPPROTO op_rdtsc(void)
742
{
743
    helper_rdtsc();
744
}
745

    
746
void OPPROTO op_cpuid(void)
747
{
748
    helper_cpuid();
749
}
750

    
751
void OPPROTO op_rdmsr(void)
752
{
753
    helper_rdmsr();
754
}
755

    
756
void OPPROTO op_wrmsr(void)
757
{
758
    helper_wrmsr();
759
}
760

    
761
/* bcd */
762

    
763
/* XXX: exception */
764
void OPPROTO op_aam(void)
765
{
766
    int base = PARAM1;
767
    int al, ah;
768
    al = EAX & 0xff;
769
    ah = al / base;
770
    al = al % base;
771
    EAX = (EAX & ~0xffff) | al | (ah << 8);
772
    CC_DST = al;
773
}
774

    
775
void OPPROTO op_aad(void)
776
{
777
    int base = PARAM1;
778
    int al, ah;
779
    al = EAX & 0xff;
780
    ah = (EAX >> 8) & 0xff;
781
    al = ((ah * base) + al) & 0xff;
782
    EAX = (EAX & ~0xffff) | al;
783
    CC_DST = al;
784
}
785

    
786
void OPPROTO op_aaa(void)
787
{
788
    int icarry;
789
    int al, ah, af;
790
    int eflags;
791

    
792
    eflags = cc_table[CC_OP].compute_all();
793
    af = eflags & CC_A;
794
    al = EAX & 0xff;
795
    ah = (EAX >> 8) & 0xff;
796

    
797
    icarry = (al > 0xf9);
798
    if (((al & 0x0f) > 9 ) || af) {
799
        al = (al + 6) & 0x0f;
800
        ah = (ah + 1 + icarry) & 0xff;
801
        eflags |= CC_C | CC_A;
802
    } else {
803
        eflags &= ~(CC_C | CC_A);
804
        al &= 0x0f;
805
    }
806
    EAX = (EAX & ~0xffff) | al | (ah << 8);
807
    CC_SRC = eflags;
808
}
809

    
810
void OPPROTO op_aas(void)
811
{
812
    int icarry;
813
    int al, ah, af;
814
    int eflags;
815

    
816
    eflags = cc_table[CC_OP].compute_all();
817
    af = eflags & CC_A;
818
    al = EAX & 0xff;
819
    ah = (EAX >> 8) & 0xff;
820

    
821
    icarry = (al < 6);
822
    if (((al & 0x0f) > 9 ) || af) {
823
        al = (al - 6) & 0x0f;
824
        ah = (ah - 1 - icarry) & 0xff;
825
        eflags |= CC_C | CC_A;
826
    } else {
827
        eflags &= ~(CC_C | CC_A);
828
        al &= 0x0f;
829
    }
830
    EAX = (EAX & ~0xffff) | al | (ah << 8);
831
    CC_SRC = eflags;
832
}
833

    
834
void OPPROTO op_daa(void)
835
{
836
    int al, af, cf;
837
    int eflags;
838

    
839
    eflags = cc_table[CC_OP].compute_all();
840
    cf = eflags & CC_C;
841
    af = eflags & CC_A;
842
    al = EAX & 0xff;
843

    
844
    eflags = 0;
845
    if (((al & 0x0f) > 9 ) || af) {
846
        al = (al + 6) & 0xff;
847
        eflags |= CC_A;
848
    }
849
    if ((al > 0x9f) || cf) {
850
        al = (al + 0x60) & 0xff;
851
        eflags |= CC_C;
852
    }
853
    EAX = (EAX & ~0xff) | al;
854
    /* well, speed is not an issue here, so we compute the flags by hand */
855
    eflags |= (al == 0) << 6; /* zf */
856
    eflags |= parity_table[al]; /* pf */
857
    eflags |= (al & 0x80); /* sf */
858
    CC_SRC = eflags;
859
}
860

    
861
void OPPROTO op_das(void)
862
{
863
    int al, al1, af, cf;
864
    int eflags;
865

    
866
    eflags = cc_table[CC_OP].compute_all();
867
    cf = eflags & CC_C;
868
    af = eflags & CC_A;
869
    al = EAX & 0xff;
870

    
871
    eflags = 0;
872
    al1 = al;
873
    if (((al & 0x0f) > 9 ) || af) {
874
        eflags |= CC_A;
875
        if (al < 6 || cf)
876
            eflags |= CC_C;
877
        al = (al - 6) & 0xff;
878
    }
879
    if ((al1 > 0x99) || cf) {
880
        al = (al - 0x60) & 0xff;
881
        eflags |= CC_C;
882
    }
883
    EAX = (EAX & ~0xff) | al;
884
    /* well, speed is not an issue here, so we compute the flags by hand */
885
    eflags |= (al == 0) << 6; /* zf */
886
    eflags |= parity_table[al]; /* pf */
887
    eflags |= (al & 0x80); /* sf */
888
    CC_SRC = eflags;
889
}
890

    
891
/* segment handling */
892

    
893
/* never use it with R_CS */
894
void OPPROTO op_movl_seg_T0(void)
895
{
896
    load_seg(PARAM1, T0 & 0xffff, PARAM2);
897
}
898

    
899
/* faster VM86 version */
900
void OPPROTO op_movl_seg_T0_vm(void)
901
{
902
    int selector;
903
    SegmentCache *sc;
904
    
905
    selector = T0 & 0xffff;
906
    /* env->segs[] access */
907
    sc = (SegmentCache *)((char *)env + PARAM1);
908
    sc->selector = selector;
909
    sc->base = (void *)(selector << 4);
910
}
911

    
912
void OPPROTO op_movl_T0_seg(void)
913
{
914
    T0 = env->segs[PARAM1].selector;
915
}
916

    
917
void OPPROTO op_movl_A0_seg(void)
918
{
919
    A0 = *(unsigned long *)((char *)env + PARAM1);
920
}
921

    
922
void OPPROTO op_addl_A0_seg(void)
923
{
924
    A0 += *(unsigned long *)((char *)env + PARAM1);
925
}
926

    
927
void OPPROTO op_lsl(void)
928
{
929
    helper_lsl();
930
}
931

    
932
void OPPROTO op_lar(void)
933
{
934
    helper_lar();
935
}
936

    
937
/* T0: segment, T1:eip */
938
void OPPROTO op_ljmp_protected_T0_T1(void)
939
{
940
    helper_ljmp_protected_T0_T1();
941
}
942

    
943
void OPPROTO op_lcall_real_T0_T1(void)
944
{
945
    helper_lcall_real_T0_T1(PARAM1, PARAM2);
946
}
947

    
948
void OPPROTO op_lcall_protected_T0_T1(void)
949
{
950
    helper_lcall_protected_T0_T1(PARAM1, PARAM2);
951
}
952

    
953
void OPPROTO op_iret_real(void)
954
{
955
    helper_iret_real(PARAM1);
956
}
957

    
958
void OPPROTO op_iret_protected(void)
959
{
960
    helper_iret_protected(PARAM1);
961
}
962

    
963
void OPPROTO op_lret_protected(void)
964
{
965
    helper_lret_protected(PARAM1, PARAM2);
966
}
967

    
968
void OPPROTO op_lldt_T0(void)
969
{
970
    helper_lldt_T0();
971
}
972

    
973
void OPPROTO op_ltr_T0(void)
974
{
975
    helper_ltr_T0();
976
}
977

    
978
/* CR registers access */
979
void OPPROTO op_movl_crN_T0(void)
980
{
981
    helper_movl_crN_T0(PARAM1);
982
}
983

    
984
/* DR registers access */
985
void OPPROTO op_movl_drN_T0(void)
986
{
987
    helper_movl_drN_T0(PARAM1);
988
}
989

    
990
void OPPROTO op_lmsw_T0(void)
991
{
992
    /* only 4 lower bits of CR0 are modified */
993
    T0 = (env->cr[0] & ~0xf) | (T0 & 0xf);
994
    helper_movl_crN_T0(0);
995
}
996

    
997
void OPPROTO op_invlpg_A0(void)
998
{
999
    helper_invlpg(A0);
1000
}
1001

    
1002
void OPPROTO op_movl_T0_env(void)
1003
{
1004
    T0 = *(uint32_t *)((char *)env + PARAM1);
1005
}
1006

    
1007
void OPPROTO op_movl_env_T0(void)
1008
{
1009
    *(uint32_t *)((char *)env + PARAM1) = T0;
1010
}
1011

    
1012
void OPPROTO op_movl_env_T1(void)
1013
{
1014
    *(uint32_t *)((char *)env + PARAM1) = T1;
1015
}
1016

    
1017
void OPPROTO op_clts(void)
1018
{
1019
    env->cr[0] &= ~CR0_TS_MASK;
1020
}
1021

    
1022
/* flags handling */
1023

    
1024
/* slow jumps cases : in order to avoid calling a function with a
1025
   pointer (which can generate a stack frame on PowerPC), we use
1026
   op_setcc to set T0 and then call op_jcc. */
1027
void OPPROTO op_jcc(void)
1028
{
1029
    if (T0)
1030
        JUMP_TB(op_jcc, PARAM1, 0, PARAM2);
1031
    else
1032
        JUMP_TB(op_jcc, PARAM1, 1, PARAM3);
1033
    FORCE_RET();
1034
}
1035

    
1036
void OPPROTO op_jcc_im(void)
1037
{
1038
    if (T0)
1039
        EIP = PARAM1;
1040
    else
1041
        EIP = PARAM2;
1042
    FORCE_RET();
1043
}
1044

    
1045
/* slow set cases (compute x86 flags) */
1046
void OPPROTO op_seto_T0_cc(void)
1047
{
1048
    int eflags;
1049
    eflags = cc_table[CC_OP].compute_all();
1050
    T0 = (eflags >> 11) & 1;
1051
}
1052

    
1053
void OPPROTO op_setb_T0_cc(void)
1054
{
1055
    T0 = cc_table[CC_OP].compute_c();
1056
}
1057

    
1058
void OPPROTO op_setz_T0_cc(void)
1059
{
1060
    int eflags;
1061
    eflags = cc_table[CC_OP].compute_all();
1062
    T0 = (eflags >> 6) & 1;
1063
}
1064

    
1065
void OPPROTO op_setbe_T0_cc(void)
1066
{
1067
    int eflags;
1068
    eflags = cc_table[CC_OP].compute_all();
1069
    T0 = (eflags & (CC_Z | CC_C)) != 0;
1070
}
1071

    
1072
void OPPROTO op_sets_T0_cc(void)
1073
{
1074
    int eflags;
1075
    eflags = cc_table[CC_OP].compute_all();
1076
    T0 = (eflags >> 7) & 1;
1077
}
1078

    
1079
void OPPROTO op_setp_T0_cc(void)
1080
{
1081
    int eflags;
1082
    eflags = cc_table[CC_OP].compute_all();
1083
    T0 = (eflags >> 2) & 1;
1084
}
1085

    
1086
void OPPROTO op_setl_T0_cc(void)
1087
{
1088
    int eflags;
1089
    eflags = cc_table[CC_OP].compute_all();
1090
    T0 = ((eflags ^ (eflags >> 4)) >> 7) & 1;
1091
}
1092

    
1093
void OPPROTO op_setle_T0_cc(void)
1094
{
1095
    int eflags;
1096
    eflags = cc_table[CC_OP].compute_all();
1097
    T0 = (((eflags ^ (eflags >> 4)) & 0x80) || (eflags & CC_Z)) != 0;
1098
}
1099

    
1100
void OPPROTO op_xor_T0_1(void)
1101
{
1102
    T0 ^= 1;
1103
}
1104

    
1105
void OPPROTO op_set_cc_op(void)
1106
{
1107
    CC_OP = PARAM1;
1108
}
1109

    
1110
#define FL_UPDATE_MASK16 (FL_UPDATE_MASK32 & 0xffff)
1111

    
1112
void OPPROTO op_movl_eflags_T0(void)
1113
{
1114
    int eflags;
1115
    eflags = T0;
1116
    CC_SRC = eflags & (CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C);
1117
    DF = 1 - (2 * ((eflags >> 10) & 1));
1118
    /* we also update some system flags as in user mode */
1119
    env->eflags = (env->eflags & ~FL_UPDATE_MASK32) | 
1120
        (eflags & FL_UPDATE_MASK32);
1121
}
1122

    
1123
void OPPROTO op_movw_eflags_T0(void)
1124
{
1125
    int eflags;
1126
    eflags = T0;
1127
    CC_SRC = eflags & (CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C);
1128
    DF = 1 - (2 * ((eflags >> 10) & 1));
1129
    /* we also update some system flags as in user mode */
1130
    env->eflags = (env->eflags & ~FL_UPDATE_MASK16) | 
1131
        (eflags & FL_UPDATE_MASK16);
1132
}
1133

    
1134
void OPPROTO op_movl_eflags_T0_cpl0(void)
1135
{
1136
    load_eflags(T0, FL_UPDATE_CPL0_MASK);
1137
}
1138

    
1139
void OPPROTO op_movw_eflags_T0_cpl0(void)
1140
{
1141
    load_eflags(T0, FL_UPDATE_CPL0_MASK & 0xffff);
1142
}
1143

    
1144
#if 0
1145
/* vm86plus version */
1146
void OPPROTO op_movw_eflags_T0_vm(void)
1147
{
1148
    int eflags;
1149
    eflags = T0;
1150
    CC_SRC = eflags & (CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C);
1151
    DF = 1 - (2 * ((eflags >> 10) & 1));
1152
    /* we also update some system flags as in user mode */
1153
    env->eflags = (env->eflags & ~(FL_UPDATE_MASK16 | VIF_MASK)) |
1154
        (eflags & FL_UPDATE_MASK16);
1155
    if (eflags & IF_MASK) {
1156
        env->eflags |= VIF_MASK;
1157
        if (env->eflags & VIP_MASK) {
1158
            EIP = PARAM1;
1159
            raise_exception(EXCP0D_GPF);
1160
        }
1161
    }
1162
    FORCE_RET();
1163
}
1164

1165
void OPPROTO op_movl_eflags_T0_vm(void)
1166
{
1167
    int eflags;
1168
    eflags = T0;
1169
    CC_SRC = eflags & (CC_O | CC_S | CC_Z | CC_A | CC_P | CC_C);
1170
    DF = 1 - (2 * ((eflags >> 10) & 1));
1171
    /* we also update some system flags as in user mode */
1172
    env->eflags = (env->eflags & ~(FL_UPDATE_MASK32 | VIF_MASK)) |
1173
        (eflags & FL_UPDATE_MASK32);
1174
    if (eflags & IF_MASK) {
1175
        env->eflags |= VIF_MASK;
1176
        if (env->eflags & VIP_MASK) {
1177
            EIP = PARAM1;
1178
            raise_exception(EXCP0D_GPF);
1179
        }
1180
    }
1181
    FORCE_RET();
1182
}
1183
#endif
1184

    
1185
/* XXX: compute only O flag */
1186
void OPPROTO op_movb_eflags_T0(void)
1187
{
1188
    int of;
1189
    of = cc_table[CC_OP].compute_all() & CC_O;
1190
    CC_SRC = (T0 & (CC_S | CC_Z | CC_A | CC_P | CC_C)) | of;
1191
}
1192

    
1193
void OPPROTO op_movl_T0_eflags(void)
1194
{
1195
    int eflags;
1196
    eflags = cc_table[CC_OP].compute_all();
1197
    eflags |= (DF & DF_MASK);
1198
    eflags |= env->eflags & ~(VM_MASK | RF_MASK);
1199
    T0 = eflags;
1200
}
1201

    
1202
/* vm86plus version */
1203
#if 0
1204
void OPPROTO op_movl_T0_eflags_vm(void)
1205
{
1206
    int eflags;
1207
    eflags = cc_table[CC_OP].compute_all();
1208
    eflags |= (DF & DF_MASK);
1209
    eflags |= env->eflags & ~(VM_MASK | RF_MASK | IF_MASK);
1210
    if (env->eflags & VIF_MASK)
1211
        eflags |= IF_MASK;
1212
    T0 = eflags;
1213
}
1214
#endif
1215

    
1216
void OPPROTO op_cld(void)
1217
{
1218
    DF = 1;
1219
}
1220

    
1221
void OPPROTO op_std(void)
1222
{
1223
    DF = -1;
1224
}
1225

    
1226
void OPPROTO op_clc(void)
1227
{
1228
    int eflags;
1229
    eflags = cc_table[CC_OP].compute_all();
1230
    eflags &= ~CC_C;
1231
    CC_SRC = eflags;
1232
}
1233

    
1234
void OPPROTO op_stc(void)
1235
{
1236
    int eflags;
1237
    eflags = cc_table[CC_OP].compute_all();
1238
    eflags |= CC_C;
1239
    CC_SRC = eflags;
1240
}
1241

    
1242
void OPPROTO op_cmc(void)
1243
{
1244
    int eflags;
1245
    eflags = cc_table[CC_OP].compute_all();
1246
    eflags ^= CC_C;
1247
    CC_SRC = eflags;
1248
}
1249

    
1250
void OPPROTO op_salc(void)
1251
{
1252
    int cf;
1253
    cf = cc_table[CC_OP].compute_c();
1254
    EAX = (EAX & ~0xff) | ((-cf) & 0xff);
1255
}
1256

    
1257
static int compute_all_eflags(void)
1258
{
1259
    return CC_SRC;
1260
}
1261

    
1262
static int compute_c_eflags(void)
1263
{
1264
    return CC_SRC & CC_C;
1265
}
1266

    
1267
static int compute_c_mul(void)
1268
{
1269
    int cf;
1270
    cf = (CC_SRC != 0);
1271
    return cf;
1272
}
1273

    
1274
static int compute_all_mul(void)
1275
{
1276
    int cf, pf, af, zf, sf, of;
1277
    cf = (CC_SRC != 0);
1278
    pf = 0; /* undefined */
1279
    af = 0; /* undefined */
1280
    zf = 0; /* undefined */
1281
    sf = 0; /* undefined */
1282
    of = cf << 11;
1283
    return cf | pf | af | zf | sf | of;
1284
}
1285
    
1286
CCTable cc_table[CC_OP_NB] = {
1287
    [CC_OP_DYNAMIC] = { /* should never happen */ },
1288

    
1289
    [CC_OP_EFLAGS] = { compute_all_eflags, compute_c_eflags },
1290

    
1291
    [CC_OP_MUL] = { compute_all_mul, compute_c_mul },
1292

    
1293
    [CC_OP_ADDB] = { compute_all_addb, compute_c_addb },
1294
    [CC_OP_ADDW] = { compute_all_addw, compute_c_addw  },
1295
    [CC_OP_ADDL] = { compute_all_addl, compute_c_addl  },
1296

    
1297
    [CC_OP_ADCB] = { compute_all_adcb, compute_c_adcb },
1298
    [CC_OP_ADCW] = { compute_all_adcw, compute_c_adcw  },
1299
    [CC_OP_ADCL] = { compute_all_adcl, compute_c_adcl  },
1300

    
1301
    [CC_OP_SUBB] = { compute_all_subb, compute_c_subb  },
1302
    [CC_OP_SUBW] = { compute_all_subw, compute_c_subw  },
1303
    [CC_OP_SUBL] = { compute_all_subl, compute_c_subl  },
1304
    
1305
    [CC_OP_SBBB] = { compute_all_sbbb, compute_c_sbbb  },
1306
    [CC_OP_SBBW] = { compute_all_sbbw, compute_c_sbbw  },
1307
    [CC_OP_SBBL] = { compute_all_sbbl, compute_c_sbbl  },
1308
    
1309
    [CC_OP_LOGICB] = { compute_all_logicb, compute_c_logicb },
1310
    [CC_OP_LOGICW] = { compute_all_logicw, compute_c_logicw },
1311
    [CC_OP_LOGICL] = { compute_all_logicl, compute_c_logicl },
1312
    
1313
    [CC_OP_INCB] = { compute_all_incb, compute_c_incl },
1314
    [CC_OP_INCW] = { compute_all_incw, compute_c_incl },
1315
    [CC_OP_INCL] = { compute_all_incl, compute_c_incl },
1316
    
1317
    [CC_OP_DECB] = { compute_all_decb, compute_c_incl },
1318
    [CC_OP_DECW] = { compute_all_decw, compute_c_incl },
1319
    [CC_OP_DECL] = { compute_all_decl, compute_c_incl },
1320
    
1321
    [CC_OP_SHLB] = { compute_all_shlb, compute_c_shlb },
1322
    [CC_OP_SHLW] = { compute_all_shlw, compute_c_shlw },
1323
    [CC_OP_SHLL] = { compute_all_shll, compute_c_shll },
1324

    
1325
    [CC_OP_SARB] = { compute_all_sarb, compute_c_sarl },
1326
    [CC_OP_SARW] = { compute_all_sarw, compute_c_sarl },
1327
    [CC_OP_SARL] = { compute_all_sarl, compute_c_sarl },
1328
};
1329

    
1330
/* floating point support. Some of the code for complicated x87
1331
   functions comes from the LGPL'ed x86 emulator found in the Willows
1332
   TWIN windows emulator. */
1333

    
1334
#if defined(__powerpc__)
1335
extern CPU86_LDouble copysign(CPU86_LDouble, CPU86_LDouble);
1336

    
1337
/* correct (but slow) PowerPC rint() (glibc version is incorrect) */
1338
double qemu_rint(double x)
1339
{
1340
    double y = 4503599627370496.0;
1341
    if (fabs(x) >= y)
1342
        return x;
1343
    if (x < 0) 
1344
        y = -y;
1345
    y = (x + y) - y;
1346
    if (y == 0.0)
1347
        y = copysign(y, x);
1348
    return y;
1349
}
1350

    
1351
#define rint qemu_rint
1352
#endif
1353

    
1354
/* fp load FT0 */
1355

    
1356
void OPPROTO op_flds_FT0_A0(void)
1357
{
1358
#ifdef USE_FP_CONVERT
1359
    FP_CONVERT.i32 = ldl((void *)A0);
1360
    FT0 = FP_CONVERT.f;
1361
#else
1362
    FT0 = ldfl((void *)A0);
1363
#endif
1364
}
1365

    
1366
void OPPROTO op_fldl_FT0_A0(void)
1367
{
1368
#ifdef USE_FP_CONVERT
1369
    FP_CONVERT.i64 = ldq((void *)A0);
1370
    FT0 = FP_CONVERT.d;
1371
#else
1372
    FT0 = ldfq((void *)A0);
1373
#endif
1374
}
1375

    
1376
/* helpers are needed to avoid static constant reference. XXX: find a better way */
1377
#ifdef USE_INT_TO_FLOAT_HELPERS
1378

    
1379
void helper_fild_FT0_A0(void)
1380
{
1381
    FT0 = (CPU86_LDouble)ldsw((void *)A0);
1382
}
1383

    
1384
void helper_fildl_FT0_A0(void)
1385
{
1386
    FT0 = (CPU86_LDouble)((int32_t)ldl((void *)A0));
1387
}
1388

    
1389
void helper_fildll_FT0_A0(void)
1390
{
1391
    FT0 = (CPU86_LDouble)((int64_t)ldq((void *)A0));
1392
}
1393

    
1394
void OPPROTO op_fild_FT0_A0(void)
1395
{
1396
    helper_fild_FT0_A0();
1397
}
1398

    
1399
void OPPROTO op_fildl_FT0_A0(void)
1400
{
1401
    helper_fildl_FT0_A0();
1402
}
1403

    
1404
void OPPROTO op_fildll_FT0_A0(void)
1405
{
1406
    helper_fildll_FT0_A0();
1407
}
1408

    
1409
#else
1410

    
1411
void OPPROTO op_fild_FT0_A0(void)
1412
{
1413
#ifdef USE_FP_CONVERT
1414
    FP_CONVERT.i32 = ldsw((void *)A0);
1415
    FT0 = (CPU86_LDouble)FP_CONVERT.i32;
1416
#else
1417
    FT0 = (CPU86_LDouble)ldsw((void *)A0);
1418
#endif
1419
}
1420

    
1421
void OPPROTO op_fildl_FT0_A0(void)
1422
{
1423
#ifdef USE_FP_CONVERT
1424
    FP_CONVERT.i32 = (int32_t) ldl((void *)A0);
1425
    FT0 = (CPU86_LDouble)FP_CONVERT.i32;
1426
#else
1427
    FT0 = (CPU86_LDouble)((int32_t)ldl((void *)A0));
1428
#endif
1429
}
1430

    
1431
void OPPROTO op_fildll_FT0_A0(void)
1432
{
1433
#ifdef USE_FP_CONVERT
1434
    FP_CONVERT.i64 = (int64_t) ldq((void *)A0);
1435
    FT0 = (CPU86_LDouble)FP_CONVERT.i64;
1436
#else
1437
    FT0 = (CPU86_LDouble)((int64_t)ldq((void *)A0));
1438
#endif
1439
}
1440
#endif
1441

    
1442
/* fp load ST0 */
1443

    
1444
void OPPROTO op_flds_ST0_A0(void)
1445
{
1446
    int new_fpstt;
1447
    new_fpstt = (env->fpstt - 1) & 7;
1448
#ifdef USE_FP_CONVERT
1449
    FP_CONVERT.i32 = ldl((void *)A0);
1450
    env->fpregs[new_fpstt] = FP_CONVERT.f;
1451
#else
1452
    env->fpregs[new_fpstt] = ldfl((void *)A0);
1453
#endif
1454
    env->fpstt = new_fpstt;
1455
    env->fptags[new_fpstt] = 0; /* validate stack entry */
1456
}
1457

    
1458
void OPPROTO op_fldl_ST0_A0(void)
1459
{
1460
    int new_fpstt;
1461
    new_fpstt = (env->fpstt - 1) & 7;
1462
#ifdef USE_FP_CONVERT
1463
    FP_CONVERT.i64 = ldq((void *)A0);
1464
    env->fpregs[new_fpstt] = FP_CONVERT.d;
1465
#else
1466
    env->fpregs[new_fpstt] = ldfq((void *)A0);
1467
#endif
1468
    env->fpstt = new_fpstt;
1469
    env->fptags[new_fpstt] = 0; /* validate stack entry */
1470
}
1471

    
1472
#ifdef USE_X86LDOUBLE
1473
void OPPROTO op_fldt_ST0_A0(void)
1474
{
1475
    int new_fpstt;
1476
    new_fpstt = (env->fpstt - 1) & 7;
1477
    env->fpregs[new_fpstt] = *(long double *)A0;
1478
    env->fpstt = new_fpstt;
1479
    env->fptags[new_fpstt] = 0; /* validate stack entry */
1480
}
1481
#else
1482
void OPPROTO op_fldt_ST0_A0(void)
1483
{
1484
    helper_fldt_ST0_A0();
1485
}
1486
#endif
1487

    
1488
/* helpers are needed to avoid static constant reference. XXX: find a better way */
1489
#ifdef USE_INT_TO_FLOAT_HELPERS
1490

    
1491
void helper_fild_ST0_A0(void)
1492
{
1493
    int new_fpstt;
1494
    new_fpstt = (env->fpstt - 1) & 7;
1495
    env->fpregs[new_fpstt] = (CPU86_LDouble)ldsw((void *)A0);
1496
    env->fpstt = new_fpstt;
1497
    env->fptags[new_fpstt] = 0; /* validate stack entry */
1498
}
1499

    
1500
void helper_fildl_ST0_A0(void)
1501
{
1502
    int new_fpstt;
1503
    new_fpstt = (env->fpstt - 1) & 7;
1504
    env->fpregs[new_fpstt] = (CPU86_LDouble)((int32_t)ldl((void *)A0));
1505
    env->fpstt = new_fpstt;
1506
    env->fptags[new_fpstt] = 0; /* validate stack entry */
1507
}
1508

    
1509
void helper_fildll_ST0_A0(void)
1510
{
1511
    int new_fpstt;
1512
    new_fpstt = (env->fpstt - 1) & 7;
1513
    env->fpregs[new_fpstt] = (CPU86_LDouble)((int64_t)ldq((void *)A0));
1514
    env->fpstt = new_fpstt;
1515
    env->fptags[new_fpstt] = 0; /* validate stack entry */
1516
}
1517

    
1518
void OPPROTO op_fild_ST0_A0(void)
1519
{
1520
    helper_fild_ST0_A0();
1521
}
1522

    
1523
void OPPROTO op_fildl_ST0_A0(void)
1524
{
1525
    helper_fildl_ST0_A0();
1526
}
1527

    
1528
void OPPROTO op_fildll_ST0_A0(void)
1529
{
1530
    helper_fildll_ST0_A0();
1531
}
1532

    
1533
#else
1534

    
1535
void OPPROTO op_fild_ST0_A0(void)
1536
{
1537
    int new_fpstt;
1538
    new_fpstt = (env->fpstt - 1) & 7;
1539
#ifdef USE_FP_CONVERT
1540
    FP_CONVERT.i32 = ldsw((void *)A0);
1541
    env->fpregs[new_fpstt] = (CPU86_LDouble)FP_CONVERT.i32;
1542
#else
1543
    env->fpregs[new_fpstt] = (CPU86_LDouble)ldsw((void *)A0);
1544
#endif
1545
    env->fpstt = new_fpstt;
1546
    env->fptags[new_fpstt] = 0; /* validate stack entry */
1547
}
1548

    
1549
void OPPROTO op_fildl_ST0_A0(void)
1550
{
1551
    int new_fpstt;
1552
    new_fpstt = (env->fpstt - 1) & 7;
1553
#ifdef USE_FP_CONVERT
1554
    FP_CONVERT.i32 = (int32_t) ldl((void *)A0);
1555
    env->fpregs[new_fpstt] = (CPU86_LDouble)FP_CONVERT.i32;
1556
#else
1557
    env->fpregs[new_fpstt] = (CPU86_LDouble)((int32_t)ldl((void *)A0));
1558
#endif
1559
    env->fpstt = new_fpstt;
1560
    env->fptags[new_fpstt] = 0; /* validate stack entry */
1561
}
1562

    
1563
void OPPROTO op_fildll_ST0_A0(void)
1564
{
1565
    int new_fpstt;
1566
    new_fpstt = (env->fpstt - 1) & 7;
1567
#ifdef USE_FP_CONVERT
1568
    FP_CONVERT.i64 = (int64_t) ldq((void *)A0);
1569
    env->fpregs[new_fpstt] = (CPU86_LDouble)FP_CONVERT.i64;
1570
#else
1571
    env->fpregs[new_fpstt] = (CPU86_LDouble)((int64_t)ldq((void *)A0));
1572
#endif
1573
    env->fpstt = new_fpstt;
1574
    env->fptags[new_fpstt] = 0; /* validate stack entry */
1575
}
1576

    
1577
#endif
1578

    
1579
/* fp store */
1580

    
1581
void OPPROTO op_fsts_ST0_A0(void)
1582
{
1583
#ifdef USE_FP_CONVERT
1584
    FP_CONVERT.f = (float)ST0;
1585
    stfl((void *)A0, FP_CONVERT.f);
1586
#else
1587
    stfl((void *)A0, (float)ST0);
1588
#endif
1589
}
1590

    
1591
void OPPROTO op_fstl_ST0_A0(void)
1592
{
1593
    stfq((void *)A0, (double)ST0);
1594
}
1595

    
1596
#ifdef USE_X86LDOUBLE
1597
void OPPROTO op_fstt_ST0_A0(void)
1598
{
1599
    *(long double *)A0 = ST0;
1600
}
1601
#else
1602
void OPPROTO op_fstt_ST0_A0(void)
1603
{
1604
    helper_fstt_ST0_A0();
1605
}
1606
#endif
1607

    
1608
void OPPROTO op_fist_ST0_A0(void)
1609
{
1610
#if defined(__sparc__) && !defined(__sparc_v9__)
1611
    register CPU86_LDouble d asm("o0");
1612
#else
1613
    CPU86_LDouble d;
1614
#endif
1615
    int val;
1616

    
1617
    d = ST0;
1618
    val = lrint(d);
1619
    if (val != (int16_t)val)
1620
        val = -32768;
1621
    stw((void *)A0, val);
1622
}
1623

    
1624
void OPPROTO op_fistl_ST0_A0(void)
1625
{
1626
#if defined(__sparc__) && !defined(__sparc_v9__)
1627
    register CPU86_LDouble d asm("o0");
1628
#else
1629
    CPU86_LDouble d;
1630
#endif
1631
    int val;
1632

    
1633
    d = ST0;
1634
    val = lrint(d);
1635
    stl((void *)A0, val);
1636
}
1637

    
1638
void OPPROTO op_fistll_ST0_A0(void)
1639
{
1640
#if defined(__sparc__) && !defined(__sparc_v9__)
1641
    register CPU86_LDouble d asm("o0");
1642
#else
1643
    CPU86_LDouble d;
1644
#endif
1645
    int64_t val;
1646

    
1647
    d = ST0;
1648
    val = llrint(d);
1649
    stq((void *)A0, val);
1650
}
1651

    
1652
void OPPROTO op_fbld_ST0_A0(void)
1653
{
1654
    helper_fbld_ST0_A0();
1655
}
1656

    
1657
void OPPROTO op_fbst_ST0_A0(void)
1658
{
1659
    helper_fbst_ST0_A0();
1660
}
1661

    
1662
/* FPU move */
1663

    
1664
void OPPROTO op_fpush(void)
1665
{
1666
    fpush();
1667
}
1668

    
1669
void OPPROTO op_fpop(void)
1670
{
1671
    fpop();
1672
}
1673

    
1674
void OPPROTO op_fdecstp(void)
1675
{
1676
    env->fpstt = (env->fpstt - 1) & 7;
1677
    env->fpus &= (~0x4700);
1678
}
1679

    
1680
void OPPROTO op_fincstp(void)
1681
{
1682
    env->fpstt = (env->fpstt + 1) & 7;
1683
    env->fpus &= (~0x4700);
1684
}
1685

    
1686
void OPPROTO op_fmov_ST0_FT0(void)
1687
{
1688
    ST0 = FT0;
1689
}
1690

    
1691
void OPPROTO op_fmov_FT0_STN(void)
1692
{
1693
    FT0 = ST(PARAM1);
1694
}
1695

    
1696
void OPPROTO op_fmov_ST0_STN(void)
1697
{
1698
    ST0 = ST(PARAM1);
1699
}
1700

    
1701
void OPPROTO op_fmov_STN_ST0(void)
1702
{
1703
    ST(PARAM1) = ST0;
1704
}
1705

    
1706
void OPPROTO op_fxchg_ST0_STN(void)
1707
{
1708
    CPU86_LDouble tmp;
1709
    tmp = ST(PARAM1);
1710
    ST(PARAM1) = ST0;
1711
    ST0 = tmp;
1712
}
1713

    
1714
/* FPU operations */
1715

    
1716
/* XXX: handle nans */
1717
void OPPROTO op_fcom_ST0_FT0(void)
1718
{
1719
    env->fpus &= (~0x4500);        /* (C3,C2,C0) <-- 000 */
1720
    if (ST0 < FT0)
1721
        env->fpus |= 0x100;        /* (C3,C2,C0) <-- 001 */
1722
    else if (ST0 == FT0)
1723
        env->fpus |= 0x4000; /* (C3,C2,C0) <-- 100 */
1724
    FORCE_RET();
1725
}
1726

    
1727
/* XXX: handle nans */
1728
void OPPROTO op_fucom_ST0_FT0(void)
1729
{
1730
    env->fpus &= (~0x4500);        /* (C3,C2,C0) <-- 000 */
1731
    if (ST0 < FT0)
1732
        env->fpus |= 0x100;        /* (C3,C2,C0) <-- 001 */
1733
    else if (ST0 == FT0)
1734
        env->fpus |= 0x4000; /* (C3,C2,C0) <-- 100 */
1735
    FORCE_RET();
1736
}
1737

    
1738
/* XXX: handle nans */
1739
void OPPROTO op_fcomi_ST0_FT0(void)
1740
{
1741
    int eflags;
1742
    eflags = cc_table[CC_OP].compute_all();
1743
    eflags &= ~(CC_Z | CC_P | CC_C);
1744
    if (ST0 < FT0)
1745
        eflags |= CC_C;
1746
    else if (ST0 == FT0)
1747
        eflags |= CC_Z;
1748
    CC_SRC = eflags;
1749
    FORCE_RET();
1750
}
1751

    
1752
/* XXX: handle nans */
1753
void OPPROTO op_fucomi_ST0_FT0(void)
1754
{
1755
    int eflags;
1756
    eflags = cc_table[CC_OP].compute_all();
1757
    eflags &= ~(CC_Z | CC_P | CC_C);
1758
    if (ST0 < FT0)
1759
        eflags |= CC_C;
1760
    else if (ST0 == FT0)
1761
        eflags |= CC_Z;
1762
    CC_SRC = eflags;
1763
    FORCE_RET();
1764
}
1765

    
1766
void OPPROTO op_fadd_ST0_FT0(void)
1767
{
1768
    ST0 += FT0;
1769
}
1770

    
1771
void OPPROTO op_fmul_ST0_FT0(void)
1772
{
1773
    ST0 *= FT0;
1774
}
1775

    
1776
void OPPROTO op_fsub_ST0_FT0(void)
1777
{
1778
    ST0 -= FT0;
1779
}
1780

    
1781
void OPPROTO op_fsubr_ST0_FT0(void)
1782
{
1783
    ST0 = FT0 - ST0;
1784
}
1785

    
1786
void OPPROTO op_fdiv_ST0_FT0(void)
1787
{
1788
    ST0 /= FT0;
1789
}
1790

    
1791
void OPPROTO op_fdivr_ST0_FT0(void)
1792
{
1793
    ST0 = FT0 / ST0;
1794
}
1795

    
1796
/* fp operations between STN and ST0 */
1797

    
1798
void OPPROTO op_fadd_STN_ST0(void)
1799
{
1800
    ST(PARAM1) += ST0;
1801
}
1802

    
1803
void OPPROTO op_fmul_STN_ST0(void)
1804
{
1805
    ST(PARAM1) *= ST0;
1806
}
1807

    
1808
void OPPROTO op_fsub_STN_ST0(void)
1809
{
1810
    ST(PARAM1) -= ST0;
1811
}
1812

    
1813
void OPPROTO op_fsubr_STN_ST0(void)
1814
{
1815
    CPU86_LDouble *p;
1816
    p = &ST(PARAM1);
1817
    *p = ST0 - *p;
1818
}
1819

    
1820
void OPPROTO op_fdiv_STN_ST0(void)
1821
{
1822
    ST(PARAM1) /= ST0;
1823
}
1824

    
1825
void OPPROTO op_fdivr_STN_ST0(void)
1826
{
1827
    CPU86_LDouble *p;
1828
    p = &ST(PARAM1);
1829
    *p = ST0 / *p;
1830
}
1831

    
1832
/* misc FPU operations */
1833
void OPPROTO op_fchs_ST0(void)
1834
{
1835
    ST0 = -ST0;
1836
}
1837

    
1838
void OPPROTO op_fabs_ST0(void)
1839
{
1840
    ST0 = fabs(ST0);
1841
}
1842

    
1843
void OPPROTO op_fxam_ST0(void)
1844
{
1845
    helper_fxam_ST0();
1846
}
1847

    
1848
void OPPROTO op_fld1_ST0(void)
1849
{
1850
    ST0 = f15rk[1];
1851
}
1852

    
1853
void OPPROTO op_fldl2t_ST0(void)
1854
{
1855
    ST0 = f15rk[6];
1856
}
1857

    
1858
void OPPROTO op_fldl2e_ST0(void)
1859
{
1860
    ST0 = f15rk[5];
1861
}
1862

    
1863
void OPPROTO op_fldpi_ST0(void)
1864
{
1865
    ST0 = f15rk[2];
1866
}
1867

    
1868
void OPPROTO op_fldlg2_ST0(void)
1869
{
1870
    ST0 = f15rk[3];
1871
}
1872

    
1873
void OPPROTO op_fldln2_ST0(void)
1874
{
1875
    ST0 = f15rk[4];
1876
}
1877

    
1878
void OPPROTO op_fldz_ST0(void)
1879
{
1880
    ST0 = f15rk[0];
1881
}
1882

    
1883
void OPPROTO op_fldz_FT0(void)
1884
{
1885
    ST0 = f15rk[0];
1886
}
1887

    
1888
/* associated heplers to reduce generated code length and to simplify
1889
   relocation (FP constants are usually stored in .rodata section) */
1890

    
1891
void OPPROTO op_f2xm1(void)
1892
{
1893
    helper_f2xm1();
1894
}
1895

    
1896
void OPPROTO op_fyl2x(void)
1897
{
1898
    helper_fyl2x();
1899
}
1900

    
1901
void OPPROTO op_fptan(void)
1902
{
1903
    helper_fptan();
1904
}
1905

    
1906
void OPPROTO op_fpatan(void)
1907
{
1908
    helper_fpatan();
1909
}
1910

    
1911
void OPPROTO op_fxtract(void)
1912
{
1913
    helper_fxtract();
1914
}
1915

    
1916
void OPPROTO op_fprem1(void)
1917
{
1918
    helper_fprem1();
1919
}
1920

    
1921

    
1922
void OPPROTO op_fprem(void)
1923
{
1924
    helper_fprem();
1925
}
1926

    
1927
void OPPROTO op_fyl2xp1(void)
1928
{
1929
    helper_fyl2xp1();
1930
}
1931

    
1932
void OPPROTO op_fsqrt(void)
1933
{
1934
    helper_fsqrt();
1935
}
1936

    
1937
void OPPROTO op_fsincos(void)
1938
{
1939
    helper_fsincos();
1940
}
1941

    
1942
void OPPROTO op_frndint(void)
1943
{
1944
    helper_frndint();
1945
}
1946

    
1947
void OPPROTO op_fscale(void)
1948
{
1949
    helper_fscale();
1950
}
1951

    
1952
void OPPROTO op_fsin(void)
1953
{
1954
    helper_fsin();
1955
}
1956

    
1957
void OPPROTO op_fcos(void)
1958
{
1959
    helper_fcos();
1960
}
1961

    
1962
void OPPROTO op_fnstsw_A0(void)
1963
{
1964
    int fpus;
1965
    fpus = (env->fpus & ~0x3800) | (env->fpstt & 0x7) << 11;
1966
    stw((void *)A0, fpus);
1967
}
1968

    
1969
void OPPROTO op_fnstsw_EAX(void)
1970
{
1971
    int fpus;
1972
    fpus = (env->fpus & ~0x3800) | (env->fpstt & 0x7) << 11;
1973
    EAX = (EAX & 0xffff0000) | fpus;
1974
}
1975

    
1976
void OPPROTO op_fnstcw_A0(void)
1977
{
1978
    stw((void *)A0, env->fpuc);
1979
}
1980

    
1981
void OPPROTO op_fldcw_A0(void)
1982
{
1983
    int rnd_type;
1984
    env->fpuc = lduw((void *)A0);
1985
    /* set rounding mode */
1986
    switch(env->fpuc & RC_MASK) {
1987
    default:
1988
    case RC_NEAR:
1989
        rnd_type = FE_TONEAREST;
1990
        break;
1991
    case RC_DOWN:
1992
        rnd_type = FE_DOWNWARD;
1993
        break;
1994
    case RC_UP:
1995
        rnd_type = FE_UPWARD;
1996
        break;
1997
    case RC_CHOP:
1998
        rnd_type = FE_TOWARDZERO;
1999
        break;
2000
    }
2001
    fesetround(rnd_type);
2002
}
2003

    
2004
void OPPROTO op_fclex(void)
2005
{
2006
    env->fpus &= 0x7f00;
2007
}
2008

    
2009
void OPPROTO op_fninit(void)
2010
{
2011
    env->fpus = 0;
2012
    env->fpstt = 0;
2013
    env->fpuc = 0x37f;
2014
    env->fptags[0] = 1;
2015
    env->fptags[1] = 1;
2016
    env->fptags[2] = 1;
2017
    env->fptags[3] = 1;
2018
    env->fptags[4] = 1;
2019
    env->fptags[5] = 1;
2020
    env->fptags[6] = 1;
2021
    env->fptags[7] = 1;
2022
}
2023

    
2024
void OPPROTO op_fnstenv_A0(void)
2025
{
2026
    helper_fstenv((uint8_t *)A0, PARAM1);
2027
}
2028

    
2029
void OPPROTO op_fldenv_A0(void)
2030
{
2031
    helper_fldenv((uint8_t *)A0, PARAM1);
2032
}
2033

    
2034
void OPPROTO op_fnsave_A0(void)
2035
{
2036
    helper_fsave((uint8_t *)A0, PARAM1);
2037
}
2038

    
2039
void OPPROTO op_frstor_A0(void)
2040
{
2041
    helper_frstor((uint8_t *)A0, PARAM1);
2042
}
2043

    
2044
/* threading support */
2045
void OPPROTO op_lock(void)
2046
{
2047
    cpu_lock();
2048
}
2049

    
2050
void OPPROTO op_unlock(void)
2051
{
2052
    cpu_unlock();
2053
}
2054