Statistics
| Branch: | Revision:

root / target-ppc / op.c @ a73666f6

History | View | Annotate | Download (50.7 kB)

1
/*
2
 *  PowerPC emulation micro-operations for qemu.
3
 *
4
 *  Copyright (c) 2003-2007 Jocelyn Mayer
5
 *
6
 * This library is free software; you can redistribute it and/or
7
 * modify it under the terms of the GNU Lesser General Public
8
 * License as published by the Free Software Foundation; either
9
 * version 2 of the License, or (at your option) any later version.
10
 *
11
 * This library is distributed in the hope that it will be useful,
12
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14
 * Lesser General Public License for more details.
15
 *
16
 * You should have received a copy of the GNU Lesser General Public
17
 * License along with this library; if not, write to the Free Software
18
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19
 */
20

    
21
//#define DEBUG_OP
22

    
23
#include "config.h"
24
#include "exec.h"
25
#include "host-utils.h"
26
#include "helper_regs.h"
27
#include "op_helper.h"
28

    
29
#define REG 0
30
#include "op_template.h"
31

    
32
#define REG 1
33
#include "op_template.h"
34

    
35
#define REG 2
36
#include "op_template.h"
37

    
38
#define REG 3
39
#include "op_template.h"
40

    
41
#define REG 4
42
#include "op_template.h"
43

    
44
#define REG 5
45
#include "op_template.h"
46

    
47
#define REG 6
48
#include "op_template.h"
49

    
50
#define REG 7
51
#include "op_template.h"
52

    
53
#define REG 8
54
#include "op_template.h"
55

    
56
#define REG 9
57
#include "op_template.h"
58

    
59
#define REG 10
60
#include "op_template.h"
61

    
62
#define REG 11
63
#include "op_template.h"
64

    
65
#define REG 12
66
#include "op_template.h"
67

    
68
#define REG 13
69
#include "op_template.h"
70

    
71
#define REG 14
72
#include "op_template.h"
73

    
74
#define REG 15
75
#include "op_template.h"
76

    
77
#define REG 16
78
#include "op_template.h"
79

    
80
#define REG 17
81
#include "op_template.h"
82

    
83
#define REG 18
84
#include "op_template.h"
85

    
86
#define REG 19
87
#include "op_template.h"
88

    
89
#define REG 20
90
#include "op_template.h"
91

    
92
#define REG 21
93
#include "op_template.h"
94

    
95
#define REG 22
96
#include "op_template.h"
97

    
98
#define REG 23
99
#include "op_template.h"
100

    
101
#define REG 24
102
#include "op_template.h"
103

    
104
#define REG 25
105
#include "op_template.h"
106

    
107
#define REG 26
108
#include "op_template.h"
109

    
110
#define REG 27
111
#include "op_template.h"
112

    
113
#define REG 28
114
#include "op_template.h"
115

    
116
#define REG 29
117
#include "op_template.h"
118

    
119
#define REG 30
120
#include "op_template.h"
121

    
122
#define REG 31
123
#include "op_template.h"
124

    
125
void OPPROTO op_print_mem_EA (void)
126
{
127
    do_print_mem_EA(T0);
128
    RETURN();
129
}
130

    
131
/* PowerPC state maintenance operations */
132
/* set_Rc0 */
133
void OPPROTO op_set_Rc0 (void)
134
{
135
    env->crf[0] = T0 | xer_so;
136
    RETURN();
137
}
138

    
139
/* Constants load */
140
void OPPROTO op_reset_T0 (void)
141
{
142
    T0 = 0;
143
    RETURN();
144
}
145

    
146
void OPPROTO op_set_T0 (void)
147
{
148
    T0 = (uint32_t)PARAM1;
149
    RETURN();
150
}
151

    
152
#if defined(TARGET_PPC64)
153
void OPPROTO op_set_T0_64 (void)
154
{
155
    T0 = ((uint64_t)PARAM1 << 32) | (uint64_t)PARAM2;
156
    RETURN();
157
}
158
#endif
159

    
160
void OPPROTO op_set_T1 (void)
161
{
162
    T1 = (uint32_t)PARAM1;
163
    RETURN();
164
}
165

    
166
#if defined(TARGET_PPC64)
167
void OPPROTO op_set_T1_64 (void)
168
{
169
    T1 = ((uint64_t)PARAM1 << 32) | (uint64_t)PARAM2;
170
    RETURN();
171
}
172
#endif
173

    
174
#if 0 // unused
175
void OPPROTO op_set_T2 (void)
176
{
177
    T2 = (uint32_t)PARAM1;
178
    RETURN();
179
}
180
#endif
181

    
182
void OPPROTO op_move_T1_T0 (void)
183
{
184
    T1 = T0;
185
    RETURN();
186
}
187

    
188
void OPPROTO op_move_T2_T0 (void)
189
{
190
    T2 = T0;
191
    RETURN();
192
}
193

    
194
void OPPROTO op_moven_T2_T0 (void)
195
{
196
    T2 = ~T0;
197
    RETURN();
198
}
199

    
200
/* Generate exceptions */
201
void OPPROTO op_raise_exception_err (void)
202
{
203
    do_raise_exception_err(PARAM1, PARAM2);
204
}
205

    
206
void OPPROTO op_update_nip (void)
207
{
208
    env->nip = (uint32_t)PARAM1;
209
    RETURN();
210
}
211

    
212
#if defined(TARGET_PPC64)
213
void OPPROTO op_update_nip_64 (void)
214
{
215
    env->nip = ((uint64_t)PARAM1 << 32) | (uint64_t)PARAM2;
216
    RETURN();
217
}
218
#endif
219

    
220
void OPPROTO op_debug (void)
221
{
222
    do_raise_exception(EXCP_DEBUG);
223
}
224

    
225
void OPPROTO op_exit_tb (void)
226
{
227
    EXIT_TB();
228
}
229

    
230
/* Load/store special registers */
231
void OPPROTO op_load_cr (void)
232
{
233
    do_load_cr();
234
    RETURN();
235
}
236

    
237
void OPPROTO op_store_cr (void)
238
{
239
    do_store_cr(PARAM1);
240
    RETURN();
241
}
242

    
243
void OPPROTO op_load_cro (void)
244
{
245
    T0 = env->crf[PARAM1];
246
    RETURN();
247
}
248

    
249
void OPPROTO op_store_cro (void)
250
{
251
    env->crf[PARAM1] = T0;
252
    RETURN();
253
}
254

    
255
void OPPROTO op_load_xer_cr (void)
256
{
257
    T0 = (xer_so << 3) | (xer_ov << 2) | (xer_ca << 1);
258
    RETURN();
259
}
260

    
261
void OPPROTO op_clear_xer_ov (void)
262
{
263
    xer_so = 0;
264
    xer_ov = 0;
265
    RETURN();
266
}
267

    
268
void OPPROTO op_clear_xer_ca (void)
269
{
270
    xer_ca = 0;
271
    RETURN();
272
}
273

    
274
void OPPROTO op_load_xer_bc (void)
275
{
276
    T1 = xer_bc;
277
    RETURN();
278
}
279

    
280
void OPPROTO op_store_xer_bc (void)
281
{
282
    xer_bc = T0;
283
    RETURN();
284
}
285

    
286
void OPPROTO op_load_xer (void)
287
{
288
    T0 = hreg_load_xer(env);
289
    RETURN();
290
}
291

    
292
void OPPROTO op_store_xer (void)
293
{
294
    hreg_store_xer(env, T0);
295
    RETURN();
296
}
297

    
298
#if defined(TARGET_PPC64)
299
void OPPROTO op_store_pri (void)
300
{
301
    do_store_pri(PARAM1);
302
    RETURN();
303
}
304
#endif
305

    
306
#if !defined(CONFIG_USER_ONLY)
307
/* Segment registers load and store */
308
void OPPROTO op_load_sr (void)
309
{
310
    T0 = env->sr[T1];
311
    RETURN();
312
}
313

    
314
void OPPROTO op_store_sr (void)
315
{
316
    do_store_sr(env, T1, T0);
317
    RETURN();
318
}
319

    
320
#if defined(TARGET_PPC64)
321
void OPPROTO op_load_slb (void)
322
{
323
    T0 = ppc_load_slb(env, T1);
324
    RETURN();
325
}
326

    
327
void OPPROTO op_store_slb (void)
328
{
329
    ppc_store_slb(env, T1, T0);
330
    RETURN();
331
}
332
#endif /* defined(TARGET_PPC64) */
333

    
334
void OPPROTO op_load_sdr1 (void)
335
{
336
    T0 = env->sdr1;
337
    RETURN();
338
}
339

    
340
void OPPROTO op_store_sdr1 (void)
341
{
342
    do_store_sdr1(env, T0);
343
    RETURN();
344
}
345

    
346
#if defined (TARGET_PPC64)
347
void OPPROTO op_load_asr (void)
348
{
349
    T0 = env->asr;
350
    RETURN();
351
}
352

    
353
void OPPROTO op_store_asr (void)
354
{
355
    ppc_store_asr(env, T0);
356
    RETURN();
357
}
358
#endif
359

    
360
void OPPROTO op_load_msr (void)
361
{
362
    T0 = env->msr;
363
    RETURN();
364
}
365

    
366
void OPPROTO op_store_msr (void)
367
{
368
    do_store_msr();
369
    RETURN();
370
}
371

    
372
#if defined (TARGET_PPC64)
373
void OPPROTO op_store_msr_32 (void)
374
{
375
    T0 = (env->msr & ~0xFFFFFFFFULL) | (T0 & 0xFFFFFFFF);
376
    do_store_msr();
377
    RETURN();
378
}
379
#endif
380

    
381
void OPPROTO op_update_riee (void)
382
{
383
    /* We don't call do_store_msr here as we won't trigger
384
     * any special case nor change hflags
385
     */
386
    T0 &= (1 << MSR_RI) | (1 << MSR_EE);
387
    env->msr &= ~(1 << MSR_RI) | (1 << MSR_EE);
388
    env->msr |= T0;
389
    RETURN();
390
}
391
#endif
392

    
393
/* SPR */
394
void OPPROTO op_load_spr (void)
395
{
396
    T0 = env->spr[PARAM1];
397
    RETURN();
398
}
399

    
400
void OPPROTO op_store_spr (void)
401
{
402
    env->spr[PARAM1] = T0;
403
    RETURN();
404
}
405

    
406
void OPPROTO op_load_dump_spr (void)
407
{
408
    T0 = ppc_load_dump_spr(PARAM1);
409
    RETURN();
410
}
411

    
412
void OPPROTO op_store_dump_spr (void)
413
{
414
    ppc_store_dump_spr(PARAM1, T0);
415
    RETURN();
416
}
417

    
418
void OPPROTO op_mask_spr (void)
419
{
420
    env->spr[PARAM1] &= ~T0;
421
    RETURN();
422
}
423

    
424
void OPPROTO op_load_lr (void)
425
{
426
    T0 = env->lr;
427
    RETURN();
428
}
429

    
430
void OPPROTO op_store_lr (void)
431
{
432
    env->lr = T0;
433
    RETURN();
434
}
435

    
436
void OPPROTO op_load_ctr (void)
437
{
438
    T0 = env->ctr;
439
    RETURN();
440
}
441

    
442
void OPPROTO op_store_ctr (void)
443
{
444
    env->ctr = T0;
445
    RETURN();
446
}
447

    
448
void OPPROTO op_load_tbl (void)
449
{
450
    T0 = cpu_ppc_load_tbl(env);
451
    RETURN();
452
}
453

    
454
void OPPROTO op_load_tbu (void)
455
{
456
    T0 = cpu_ppc_load_tbu(env);
457
    RETURN();
458
}
459

    
460
void OPPROTO op_load_atbl (void)
461
{
462
    T0 = cpu_ppc_load_atbl(env);
463
    RETURN();
464
}
465

    
466
void OPPROTO op_load_atbu (void)
467
{
468
    T0 = cpu_ppc_load_atbu(env);
469
    RETURN();
470
}
471

    
472
#if !defined(CONFIG_USER_ONLY)
473
void OPPROTO op_store_tbl (void)
474
{
475
    cpu_ppc_store_tbl(env, T0);
476
    RETURN();
477
}
478

    
479
void OPPROTO op_store_tbu (void)
480
{
481
    cpu_ppc_store_tbu(env, T0);
482
    RETURN();
483
}
484

    
485
void OPPROTO op_store_atbl (void)
486
{
487
    cpu_ppc_store_atbl(env, T0);
488
    RETURN();
489
}
490

    
491
void OPPROTO op_store_atbu (void)
492
{
493
    cpu_ppc_store_atbu(env, T0);
494
    RETURN();
495
}
496

    
497
void OPPROTO op_load_decr (void)
498
{
499
    T0 = cpu_ppc_load_decr(env);
500
    RETURN();
501
}
502

    
503
void OPPROTO op_store_decr (void)
504
{
505
    cpu_ppc_store_decr(env, T0);
506
    RETURN();
507
}
508

    
509
void OPPROTO op_load_ibat (void)
510
{
511
    T0 = env->IBAT[PARAM1][PARAM2];
512
    RETURN();
513
}
514

    
515
void OPPROTO op_store_ibatu (void)
516
{
517
    do_store_ibatu(env, PARAM1, T0);
518
    RETURN();
519
}
520

    
521
void OPPROTO op_store_ibatl (void)
522
{
523
#if 1
524
    env->IBAT[1][PARAM1] = T0;
525
#else
526
    do_store_ibatl(env, PARAM1, T0);
527
#endif
528
    RETURN();
529
}
530

    
531
void OPPROTO op_load_dbat (void)
532
{
533
    T0 = env->DBAT[PARAM1][PARAM2];
534
    RETURN();
535
}
536

    
537
void OPPROTO op_store_dbatu (void)
538
{
539
    do_store_dbatu(env, PARAM1, T0);
540
    RETURN();
541
}
542

    
543
void OPPROTO op_store_dbatl (void)
544
{
545
#if 1
546
    env->DBAT[1][PARAM1] = T0;
547
#else
548
    do_store_dbatl(env, PARAM1, T0);
549
#endif
550
    RETURN();
551
}
552
#endif /* !defined(CONFIG_USER_ONLY) */
553

    
554
/* FPSCR */
555
#ifdef CONFIG_SOFTFLOAT
556
void OPPROTO op_reset_fpstatus (void)
557
{
558
    env->fp_status.float_exception_flags = 0;
559
    RETURN();
560
}
561
#endif
562

    
563
void OPPROTO op_compute_fprf (void)
564
{
565
    do_compute_fprf(PARAM1);
566
    RETURN();
567
}
568

    
569
#ifdef CONFIG_SOFTFLOAT
570
void OPPROTO op_float_check_status (void)
571
{
572
    do_float_check_status();
573
    RETURN();
574
}
575
#else
576
void OPPROTO op_float_check_status (void)
577
{
578
    if (env->exception_index == POWERPC_EXCP_PROGRAM &&
579
        (env->error_code & POWERPC_EXCP_FP)) {
580
        /* Differred floating-point exception after target FPR update */
581
        if (msr_fe0 != 0 || msr_fe1 != 0)
582
            do_raise_exception_err(env->exception_index, env->error_code);
583
    }
584
    RETURN();
585
}
586
#endif
587

    
588
#if defined(WORDS_BIGENDIAN)
589
#define WORD0 0
590
#define WORD1 1
591
#else
592
#define WORD0 1
593
#define WORD1 0
594
#endif
595
void OPPROTO op_load_fpscr_FT0 (void)
596
{
597
    /* The 32 MSB of the target fpr are undefined.
598
     * They'll be zero...
599
     */
600
    union {
601
        float64 d;
602
        struct {
603
            uint32_t u[2];
604
        } s;
605
    } u;
606

    
607
    u.s.u[WORD0] = 0;
608
    u.s.u[WORD1] = env->fpscr;
609
    FT0 = u.d;
610
    RETURN();
611
}
612

    
613
void OPPROTO op_set_FT0 (void)
614
{
615
    union {
616
        float64 d;
617
        struct {
618
            uint32_t u[2];
619
        } s;
620
    } u;
621

    
622
    u.s.u[WORD0] = 0;
623
    u.s.u[WORD1] = PARAM1;
624
    FT0 = u.d;
625
    RETURN();
626
}
627
#undef WORD0
628
#undef WORD1
629

    
630
void OPPROTO op_load_fpscr_T0 (void)
631
{
632
    T0 = (env->fpscr >> PARAM1) & 0xF;
633
    RETURN();
634
}
635

    
636
void OPPROTO op_load_fpcc (void)
637
{
638
    T0 = fpscr_fpcc;
639
    RETURN();
640
}
641

    
642
void OPPROTO op_fpscr_resetbit (void)
643
{
644
    env->fpscr &= PARAM1;
645
    RETURN();
646
}
647

    
648
void OPPROTO op_fpscr_setbit (void)
649
{
650
    do_fpscr_setbit(PARAM1);
651
    RETURN();
652
}
653

    
654
void OPPROTO op_store_fpscr (void)
655
{
656
    do_store_fpscr(PARAM1);
657
    RETURN();
658
}
659

    
660
/* Branch */
661
#define EIP env->nip
662

    
663
void OPPROTO op_setlr (void)
664
{
665
    env->lr = (uint32_t)PARAM1;
666
    RETURN();
667
}
668

    
669
#if defined (TARGET_PPC64)
670
void OPPROTO op_setlr_64 (void)
671
{
672
    env->lr = ((uint64_t)PARAM1 << 32) | (uint64_t)PARAM2;
673
    RETURN();
674
}
675
#endif
676

    
677
void OPPROTO op_goto_tb0 (void)
678
{
679
    GOTO_TB(op_goto_tb0, PARAM1, 0);
680
}
681

    
682
void OPPROTO op_goto_tb1 (void)
683
{
684
    GOTO_TB(op_goto_tb1, PARAM1, 1);
685
}
686

    
687
void OPPROTO op_b_T1 (void)
688
{
689
    env->nip = (uint32_t)(T1 & ~3);
690
    RETURN();
691
}
692

    
693
#if defined (TARGET_PPC64)
694
void OPPROTO op_b_T1_64 (void)
695
{
696
    env->nip = (uint64_t)(T1 & ~3);
697
    RETURN();
698
}
699
#endif
700

    
701
void OPPROTO op_jz_T0 (void)
702
{
703
    if (!T0)
704
        GOTO_LABEL_PARAM(1);
705
    RETURN();
706
}
707

    
708
void OPPROTO op_btest_T1 (void)
709
{
710
    if (T0) {
711
        env->nip = (uint32_t)(T1 & ~3);
712
    } else {
713
        env->nip = (uint32_t)PARAM1;
714
    }
715
    RETURN();
716
}
717

    
718
#if defined (TARGET_PPC64)
719
void OPPROTO op_btest_T1_64 (void)
720
{
721
    if (T0) {
722
        env->nip = (uint64_t)(T1 & ~3);
723
    } else {
724
        env->nip = ((uint64_t)PARAM1 << 32) | (uint64_t)PARAM2;
725
    }
726
    RETURN();
727
}
728
#endif
729

    
730
void OPPROTO op_movl_T1_ctr (void)
731
{
732
    T1 = env->ctr;
733
    RETURN();
734
}
735

    
736
void OPPROTO op_movl_T1_lr (void)
737
{
738
    T1 = env->lr;
739
    RETURN();
740
}
741

    
742
/* tests with result in T0 */
743
void OPPROTO op_test_ctr (void)
744
{
745
    T0 = (uint32_t)env->ctr;
746
    RETURN();
747
}
748

    
749
#if defined(TARGET_PPC64)
750
void OPPROTO op_test_ctr_64 (void)
751
{
752
    T0 = (uint64_t)env->ctr;
753
    RETURN();
754
}
755
#endif
756

    
757
void OPPROTO op_test_ctr_true (void)
758
{
759
    T0 = ((uint32_t)env->ctr != 0 && (T0 & PARAM1) != 0);
760
    RETURN();
761
}
762

    
763
#if defined(TARGET_PPC64)
764
void OPPROTO op_test_ctr_true_64 (void)
765
{
766
    T0 = ((uint64_t)env->ctr != 0 && (T0 & PARAM1) != 0);
767
    RETURN();
768
}
769
#endif
770

    
771
void OPPROTO op_test_ctr_false (void)
772
{
773
    T0 = ((uint32_t)env->ctr != 0 && (T0 & PARAM1) == 0);
774
    RETURN();
775
}
776

    
777
#if defined(TARGET_PPC64)
778
void OPPROTO op_test_ctr_false_64 (void)
779
{
780
    T0 = ((uint64_t)env->ctr != 0 && (T0 & PARAM1) == 0);
781
    RETURN();
782
}
783
#endif
784

    
785
void OPPROTO op_test_ctrz (void)
786
{
787
    T0 = ((uint32_t)env->ctr == 0);
788
    RETURN();
789
}
790

    
791
#if defined(TARGET_PPC64)
792
void OPPROTO op_test_ctrz_64 (void)
793
{
794
    T0 = ((uint64_t)env->ctr == 0);
795
    RETURN();
796
}
797
#endif
798

    
799
void OPPROTO op_test_ctrz_true (void)
800
{
801
    T0 = ((uint32_t)env->ctr == 0 && (T0 & PARAM1) != 0);
802
    RETURN();
803
}
804

    
805
#if defined(TARGET_PPC64)
806
void OPPROTO op_test_ctrz_true_64 (void)
807
{
808
    T0 = ((uint64_t)env->ctr == 0 && (T0 & PARAM1) != 0);
809
    RETURN();
810
}
811
#endif
812

    
813
void OPPROTO op_test_ctrz_false (void)
814
{
815
    T0 = ((uint32_t)env->ctr == 0 && (T0 & PARAM1) == 0);
816
    RETURN();
817
}
818

    
819
#if defined(TARGET_PPC64)
820
void OPPROTO op_test_ctrz_false_64 (void)
821
{
822
    T0 = ((uint64_t)env->ctr == 0 && (T0 & PARAM1) == 0);
823
    RETURN();
824
}
825
#endif
826

    
827
void OPPROTO op_test_true (void)
828
{
829
    T0 = (T0 & PARAM1);
830
    RETURN();
831
}
832

    
833
void OPPROTO op_test_false (void)
834
{
835
    T0 = ((T0 & PARAM1) == 0);
836
    RETURN();
837
}
838

    
839
/* CTR maintenance */
840
void OPPROTO op_dec_ctr (void)
841
{
842
    env->ctr--;
843
    RETURN();
844
}
845

    
846
/***                           Integer arithmetic                          ***/
847
/* add */
848
void OPPROTO op_add (void)
849
{
850
    T0 += T1;
851
    RETURN();
852
}
853

    
854
void OPPROTO op_check_addo (void)
855
{
856
    xer_ov = (((uint32_t)T2 ^ (uint32_t)T1 ^ UINT32_MAX) &
857
              ((uint32_t)T2 ^ (uint32_t)T0)) >> 31;
858
    xer_so |= xer_ov;
859
    RETURN();
860
}
861

    
862
#if defined(TARGET_PPC64)
863
void OPPROTO op_check_addo_64 (void)
864
{
865
    xer_ov = (((uint64_t)T2 ^ (uint64_t)T1 ^ UINT64_MAX) &
866
              ((uint64_t)T2 ^ (uint64_t)T0)) >> 63;
867
    xer_so |= xer_ov;
868
    RETURN();
869
}
870
#endif
871

    
872
/* add carrying */
873
void OPPROTO op_check_addc (void)
874
{
875
    if (likely((uint32_t)T0 >= (uint32_t)T2)) {
876
        xer_ca = 0;
877
    } else {
878
        xer_ca = 1;
879
    }
880
    RETURN();
881
}
882

    
883
#if defined(TARGET_PPC64)
884
void OPPROTO op_check_addc_64 (void)
885
{
886
    if (likely((uint64_t)T0 >= (uint64_t)T2)) {
887
        xer_ca = 0;
888
    } else {
889
        xer_ca = 1;
890
    }
891
    RETURN();
892
}
893
#endif
894

    
895
/* add extended */
896
void OPPROTO op_adde (void)
897
{
898
    do_adde();
899
    RETURN();
900
}
901

    
902
#if defined(TARGET_PPC64)
903
void OPPROTO op_adde_64 (void)
904
{
905
    do_adde_64();
906
    RETURN();
907
}
908
#endif
909

    
910
/* add immediate */
911
void OPPROTO op_addi (void)
912
{
913
    T0 += (int32_t)PARAM1;
914
    RETURN();
915
}
916

    
917
/* add to minus one extended */
918
void OPPROTO op_add_me (void)
919
{
920
    T0 += xer_ca + (-1);
921
    if (likely((uint32_t)T1 != 0))
922
        xer_ca = 1;
923
    else
924
        xer_ca = 0;
925
    RETURN();
926
}
927

    
928
#if defined(TARGET_PPC64)
929
void OPPROTO op_add_me_64 (void)
930
{
931
    T0 += xer_ca + (-1);
932
    if (likely((uint64_t)T1 != 0))
933
        xer_ca = 1;
934
    else
935
        xer_ca = 0;
936
    RETURN();
937
}
938
#endif
939

    
940
void OPPROTO op_addmeo (void)
941
{
942
    do_addmeo();
943
    RETURN();
944
}
945

    
946
void OPPROTO op_addmeo_64 (void)
947
{
948
    do_addmeo();
949
    RETURN();
950
}
951

    
952
/* add to zero extended */
953
void OPPROTO op_add_ze (void)
954
{
955
    T0 += xer_ca;
956
    RETURN();
957
}
958

    
959
/* divide word */
960
void OPPROTO op_divw (void)
961
{
962
    if (unlikely(((int32_t)T0 == INT32_MIN && (int32_t)T1 == (int32_t)-1) ||
963
                 (int32_t)T1 == 0)) {
964
        T0 = (int32_t)(UINT32_MAX * ((uint32_t)T0 >> 31));
965
    } else {
966
        T0 = (int32_t)T0 / (int32_t)T1;
967
    }
968
    RETURN();
969
}
970

    
971
#if defined(TARGET_PPC64)
972
void OPPROTO op_divd (void)
973
{
974
    if (unlikely(((int64_t)T0 == INT64_MIN && (int64_t)T1 == (int64_t)-1LL) ||
975
                 (int64_t)T1 == 0)) {
976
        T0 = (int64_t)(UINT64_MAX * ((uint64_t)T0 >> 63));
977
    } else {
978
        T0 = (int64_t)T0 / (int64_t)T1;
979
    }
980
    RETURN();
981
}
982
#endif
983

    
984
void OPPROTO op_divwo (void)
985
{
986
    do_divwo();
987
    RETURN();
988
}
989

    
990
#if defined(TARGET_PPC64)
991
void OPPROTO op_divdo (void)
992
{
993
    do_divdo();
994
    RETURN();
995
}
996
#endif
997

    
998
/* divide word unsigned */
999
void OPPROTO op_divwu (void)
1000
{
1001
    if (unlikely(T1 == 0)) {
1002
        T0 = 0;
1003
    } else {
1004
        T0 = (uint32_t)T0 / (uint32_t)T1;
1005
    }
1006
    RETURN();
1007
}
1008

    
1009
#if defined(TARGET_PPC64)
1010
void OPPROTO op_divdu (void)
1011
{
1012
    if (unlikely(T1 == 0)) {
1013
        T0 = 0;
1014
    } else {
1015
        T0 /= T1;
1016
    }
1017
    RETURN();
1018
}
1019
#endif
1020

    
1021
void OPPROTO op_divwuo (void)
1022
{
1023
    do_divwuo();
1024
    RETURN();
1025
}
1026

    
1027
#if defined(TARGET_PPC64)
1028
void OPPROTO op_divduo (void)
1029
{
1030
    do_divduo();
1031
    RETURN();
1032
}
1033
#endif
1034

    
1035
/* multiply high word */
1036
void OPPROTO op_mulhw (void)
1037
{
1038
    T0 = ((int64_t)((int32_t)T0) * (int64_t)((int32_t)T1)) >> 32;
1039
    RETURN();
1040
}
1041

    
1042
#if defined(TARGET_PPC64)
1043
void OPPROTO op_mulhd (void)
1044
{
1045
    uint64_t tl, th;
1046

    
1047
    muls64(&tl, &th, T0, T1);
1048
    T0 = th;
1049
    RETURN();
1050
}
1051
#endif
1052

    
1053
/* multiply high word unsigned */
1054
void OPPROTO op_mulhwu (void)
1055
{
1056
    T0 = ((uint64_t)(uint32_t)T0 * (uint64_t)(uint32_t)T1) >> 32;
1057
    RETURN();
1058
}
1059

    
1060
#if defined(TARGET_PPC64)
1061
void OPPROTO op_mulhdu (void)
1062
{
1063
    uint64_t tl, th;
1064

    
1065
    mulu64(&tl, &th, T0, T1);
1066
    T0 = th;
1067
    RETURN();
1068
}
1069
#endif
1070

    
1071
/* multiply low immediate */
1072
void OPPROTO op_mulli (void)
1073
{
1074
    T0 = ((int32_t)T0 * (int32_t)PARAM1);
1075
    RETURN();
1076
}
1077

    
1078
/* multiply low word */
1079
void OPPROTO op_mullw (void)
1080
{
1081
    T0 = (int32_t)(T0 * T1);
1082
    RETURN();
1083
}
1084

    
1085
#if defined(TARGET_PPC64)
1086
void OPPROTO op_mulld (void)
1087
{
1088
    T0 *= T1;
1089
    RETURN();
1090
}
1091
#endif
1092

    
1093
void OPPROTO op_mullwo (void)
1094
{
1095
    do_mullwo();
1096
    RETURN();
1097
}
1098

    
1099
#if defined(TARGET_PPC64)
1100
void OPPROTO op_mulldo (void)
1101
{
1102
    do_mulldo();
1103
    RETURN();
1104
}
1105
#endif
1106

    
1107
/* negate */
1108
void OPPROTO op_neg (void)
1109
{
1110
    if (likely(T0 != INT32_MIN)) {
1111
        T0 = -(int32_t)T0;
1112
    }
1113
    RETURN();
1114
}
1115

    
1116
#if defined(TARGET_PPC64)
1117
void OPPROTO op_neg_64 (void)
1118
{
1119
    if (likely(T0 != INT64_MIN)) {
1120
        T0 = -(int64_t)T0;
1121
    }
1122
    RETURN();
1123
}
1124
#endif
1125

    
1126
void OPPROTO op_nego (void)
1127
{
1128
    do_nego();
1129
    RETURN();
1130
}
1131

    
1132
#if defined(TARGET_PPC64)
1133
void OPPROTO op_nego_64 (void)
1134
{
1135
    do_nego_64();
1136
    RETURN();
1137
}
1138
#endif
1139

    
1140
/* subtract from */
1141
void OPPROTO op_subf (void)
1142
{
1143
    T0 = T1 - T0;
1144
    RETURN();
1145
}
1146

    
1147
/* subtract from carrying */
1148
void OPPROTO op_check_subfc (void)
1149
{
1150
    if (likely((uint32_t)T0 > (uint32_t)T1)) {
1151
        xer_ca = 0;
1152
    } else {
1153
        xer_ca = 1;
1154
    }
1155
    RETURN();
1156
}
1157

    
1158
#if defined(TARGET_PPC64)
1159
void OPPROTO op_check_subfc_64 (void)
1160
{
1161
    if (likely((uint64_t)T0 > (uint64_t)T1)) {
1162
        xer_ca = 0;
1163
    } else {
1164
        xer_ca = 1;
1165
    }
1166
    RETURN();
1167
}
1168
#endif
1169

    
1170
/* subtract from extended */
1171
void OPPROTO op_subfe (void)
1172
{
1173
    do_subfe();
1174
    RETURN();
1175
}
1176

    
1177
#if defined(TARGET_PPC64)
1178
void OPPROTO op_subfe_64 (void)
1179
{
1180
    do_subfe_64();
1181
    RETURN();
1182
}
1183
#endif
1184

    
1185
/* subtract from immediate carrying */
1186
void OPPROTO op_subfic (void)
1187
{
1188
    T0 = (int32_t)PARAM1 + ~T0 + 1;
1189
    if ((uint32_t)T0 <= (uint32_t)PARAM1) {
1190
        xer_ca = 1;
1191
    } else {
1192
        xer_ca = 0;
1193
    }
1194
    RETURN();
1195
}
1196

    
1197
#if defined(TARGET_PPC64)
1198
void OPPROTO op_subfic_64 (void)
1199
{
1200
    T0 = (int64_t)PARAM1 + ~T0 + 1;
1201
    if ((uint64_t)T0 <= (uint64_t)PARAM1) {
1202
        xer_ca = 1;
1203
    } else {
1204
        xer_ca = 0;
1205
    }
1206
    RETURN();
1207
}
1208
#endif
1209

    
1210
/* subtract from minus one extended */
1211
void OPPROTO op_subfme (void)
1212
{
1213
    T0 = ~T0 + xer_ca - 1;
1214
    if (likely((uint32_t)T0 != UINT32_MAX))
1215
        xer_ca = 1;
1216
    else
1217
        xer_ca = 0;
1218
    RETURN();
1219
}
1220

    
1221
#if defined(TARGET_PPC64)
1222
void OPPROTO op_subfme_64 (void)
1223
{
1224
    T0 = ~T0 + xer_ca - 1;
1225
    if (likely((uint64_t)T0 != UINT64_MAX))
1226
        xer_ca = 1;
1227
    else
1228
        xer_ca = 0;
1229
    RETURN();
1230
}
1231
#endif
1232

    
1233
void OPPROTO op_subfmeo (void)
1234
{
1235
    do_subfmeo();
1236
    RETURN();
1237
}
1238

    
1239
#if defined(TARGET_PPC64)
1240
void OPPROTO op_subfmeo_64 (void)
1241
{
1242
    do_subfmeo_64();
1243
    RETURN();
1244
}
1245
#endif
1246

    
1247
/* subtract from zero extended */
1248
void OPPROTO op_subfze (void)
1249
{
1250
    T1 = ~T0;
1251
    T0 = T1 + xer_ca;
1252
    if ((uint32_t)T0 < (uint32_t)T1) {
1253
        xer_ca = 1;
1254
    } else {
1255
        xer_ca = 0;
1256
    }
1257
    RETURN();
1258
}
1259

    
1260
#if defined(TARGET_PPC64)
1261
void OPPROTO op_subfze_64 (void)
1262
{
1263
    T1 = ~T0;
1264
    T0 = T1 + xer_ca;
1265
    if ((uint64_t)T0 < (uint64_t)T1) {
1266
        xer_ca = 1;
1267
    } else {
1268
        xer_ca = 0;
1269
    }
1270
    RETURN();
1271
}
1272
#endif
1273

    
1274
void OPPROTO op_subfzeo (void)
1275
{
1276
    do_subfzeo();
1277
    RETURN();
1278
}
1279

    
1280
#if defined(TARGET_PPC64)
1281
void OPPROTO op_subfzeo_64 (void)
1282
{
1283
    do_subfzeo_64();
1284
    RETURN();
1285
}
1286
#endif
1287

    
1288
/***                           Integer comparison                          ***/
1289
/* compare */
1290
void OPPROTO op_cmp (void)
1291
{
1292
    if ((int32_t)T0 < (int32_t)T1) {
1293
        T0 = 0x08;
1294
    } else if ((int32_t)T0 > (int32_t)T1) {
1295
        T0 = 0x04;
1296
    } else {
1297
        T0 = 0x02;
1298
    }
1299
    T0 |= xer_so;
1300
    RETURN();
1301
}
1302

    
1303
#if defined(TARGET_PPC64)
1304
void OPPROTO op_cmp_64 (void)
1305
{
1306
    if ((int64_t)T0 < (int64_t)T1) {
1307
        T0 = 0x08;
1308
    } else if ((int64_t)T0 > (int64_t)T1) {
1309
        T0 = 0x04;
1310
    } else {
1311
        T0 = 0x02;
1312
    }
1313
    T0 |= xer_so;
1314
    RETURN();
1315
}
1316
#endif
1317

    
1318
/* compare immediate */
1319
void OPPROTO op_cmpi (void)
1320
{
1321
    if ((int32_t)T0 < (int32_t)PARAM1) {
1322
        T0 = 0x08;
1323
    } else if ((int32_t)T0 > (int32_t)PARAM1) {
1324
        T0 = 0x04;
1325
    } else {
1326
        T0 = 0x02;
1327
    }
1328
    T0 |= xer_so;
1329
    RETURN();
1330
}
1331

    
1332
#if defined(TARGET_PPC64)
1333
void OPPROTO op_cmpi_64 (void)
1334
{
1335
    if ((int64_t)T0 < (int64_t)((int32_t)PARAM1)) {
1336
        T0 = 0x08;
1337
    } else if ((int64_t)T0 > (int64_t)((int32_t)PARAM1)) {
1338
        T0 = 0x04;
1339
    } else {
1340
        T0 = 0x02;
1341
    }
1342
    T0 |= xer_so;
1343
    RETURN();
1344
}
1345
#endif
1346

    
1347
/* compare logical */
1348
void OPPROTO op_cmpl (void)
1349
{
1350
    if ((uint32_t)T0 < (uint32_t)T1) {
1351
        T0 = 0x08;
1352
    } else if ((uint32_t)T0 > (uint32_t)T1) {
1353
        T0 = 0x04;
1354
    } else {
1355
        T0 = 0x02;
1356
    }
1357
    T0 |= xer_so;
1358
    RETURN();
1359
}
1360

    
1361
#if defined(TARGET_PPC64)
1362
void OPPROTO op_cmpl_64 (void)
1363
{
1364
    if ((uint64_t)T0 < (uint64_t)T1) {
1365
        T0 = 0x08;
1366
    } else if ((uint64_t)T0 > (uint64_t)T1) {
1367
        T0 = 0x04;
1368
    } else {
1369
        T0 = 0x02;
1370
    }
1371
    T0 |= xer_so;
1372
    RETURN();
1373
}
1374
#endif
1375

    
1376
/* compare logical immediate */
1377
void OPPROTO op_cmpli (void)
1378
{
1379
    if ((uint32_t)T0 < (uint32_t)PARAM1) {
1380
        T0 = 0x08;
1381
    } else if ((uint32_t)T0 > (uint32_t)PARAM1) {
1382
        T0 = 0x04;
1383
    } else {
1384
        T0 = 0x02;
1385
    }
1386
    T0 |= xer_so;
1387
    RETURN();
1388
}
1389

    
1390
#if defined(TARGET_PPC64)
1391
void OPPROTO op_cmpli_64 (void)
1392
{
1393
    if ((uint64_t)T0 < (uint64_t)PARAM1) {
1394
        T0 = 0x08;
1395
    } else if ((uint64_t)T0 > (uint64_t)PARAM1) {
1396
        T0 = 0x04;
1397
    } else {
1398
        T0 = 0x02;
1399
    }
1400
    T0 |= xer_so;
1401
    RETURN();
1402
}
1403
#endif
1404

    
1405
void OPPROTO op_isel (void)
1406
{
1407
    if (T0)
1408
        T0 = T1;
1409
    else
1410
        T0 = T2;
1411
    RETURN();
1412
}
1413

    
1414
void OPPROTO op_popcntb (void)
1415
{
1416
    do_popcntb();
1417
    RETURN();
1418
}
1419

    
1420
#if defined(TARGET_PPC64)
1421
void OPPROTO op_popcntb_64 (void)
1422
{
1423
    do_popcntb_64();
1424
    RETURN();
1425
}
1426
#endif
1427

    
1428
/***                            Integer logical                            ***/
1429
/* and */
1430
void OPPROTO op_and (void)
1431
{
1432
    T0 &= T1;
1433
    RETURN();
1434
}
1435

    
1436
/* andc */
1437
void OPPROTO op_andc (void)
1438
{
1439
    T0 &= ~T1;
1440
    RETURN();
1441
}
1442

    
1443
/* andi. */
1444
void OPPROTO op_andi_T0 (void)
1445
{
1446
    T0 &= (uint32_t)PARAM1;
1447
    RETURN();
1448
}
1449

    
1450
void OPPROTO op_andi_T1 (void)
1451
{
1452
    T1 &= (uint32_t)PARAM1;
1453
    RETURN();
1454
}
1455

    
1456
#if defined(TARGET_PPC64)
1457
void OPPROTO op_andi_T0_64 (void)
1458
{
1459
    T0 &= ((uint64_t)PARAM1 << 32) | (uint64_t)PARAM2;
1460
    RETURN();
1461
}
1462

    
1463
void OPPROTO op_andi_T1_64 (void)
1464
{
1465
    T1 &= ((uint64_t)PARAM1 << 32) | (uint64_t)PARAM2;
1466
    RETURN();
1467
}
1468
#endif
1469

    
1470
/* count leading zero */
1471
void OPPROTO op_cntlzw (void)
1472
{
1473
    do_cntlzw();
1474
    RETURN();
1475
}
1476

    
1477
#if defined(TARGET_PPC64)
1478
void OPPROTO op_cntlzd (void)
1479
{
1480
    do_cntlzd();
1481
    RETURN();
1482
}
1483
#endif
1484

    
1485
/* eqv */
1486
void OPPROTO op_eqv (void)
1487
{
1488
    T0 = ~(T0 ^ T1);
1489
    RETURN();
1490
}
1491

    
1492
/* extend sign byte */
1493
void OPPROTO op_extsb (void)
1494
{
1495
#if defined (TARGET_PPC64)
1496
    T0 = (int64_t)((int8_t)T0);
1497
#else
1498
    T0 = (int32_t)((int8_t)T0);
1499
#endif
1500
    RETURN();
1501
}
1502

    
1503
/* extend sign half word */
1504
void OPPROTO op_extsh (void)
1505
{
1506
#if defined (TARGET_PPC64)
1507
    T0 = (int64_t)((int16_t)T0);
1508
#else
1509
    T0 = (int32_t)((int16_t)T0);
1510
#endif
1511
    RETURN();
1512
}
1513

    
1514
#if defined (TARGET_PPC64)
1515
void OPPROTO op_extsw (void)
1516
{
1517
    T0 = (int64_t)((int32_t)T0);
1518
    RETURN();
1519
}
1520
#endif
1521

    
1522
/* nand */
1523
void OPPROTO op_nand (void)
1524
{
1525
    T0 = ~(T0 & T1);
1526
    RETURN();
1527
}
1528

    
1529
/* nor */
1530
void OPPROTO op_nor (void)
1531
{
1532
    T0 = ~(T0 | T1);
1533
    RETURN();
1534
}
1535

    
1536
/* or */
1537
void OPPROTO op_or (void)
1538
{
1539
    T0 |= T1;
1540
    RETURN();
1541
}
1542

    
1543
/* orc */
1544
void OPPROTO op_orc (void)
1545
{
1546
    T0 |= ~T1;
1547
    RETURN();
1548
}
1549

    
1550
/* ori */
1551
void OPPROTO op_ori (void)
1552
{
1553
    T0 |= (uint32_t)PARAM1;
1554
    RETURN();
1555
}
1556

    
1557
/* xor */
1558
void OPPROTO op_xor (void)
1559
{
1560
    T0 ^= T1;
1561
    RETURN();
1562
}
1563

    
1564
/* xori */
1565
void OPPROTO op_xori (void)
1566
{
1567
    T0 ^= (uint32_t)PARAM1;
1568
    RETURN();
1569
}
1570

    
1571
/***                             Integer rotate                            ***/
1572
void OPPROTO op_rotl32_T0_T1 (void)
1573
{
1574
    T0 = rotl32(T0, T1 & 0x1F);
1575
    RETURN();
1576
}
1577

    
1578
void OPPROTO op_rotli32_T0 (void)
1579
{
1580
    T0 = rotl32(T0, PARAM1);
1581
    RETURN();
1582
}
1583

    
1584
#if defined(TARGET_PPC64)
1585
void OPPROTO op_rotl64_T0_T1 (void)
1586
{
1587
    T0 = rotl64(T0, T1 & 0x3F);
1588
    RETURN();
1589
}
1590

    
1591
void OPPROTO op_rotli64_T0 (void)
1592
{
1593
    T0 = rotl64(T0, PARAM1);
1594
    RETURN();
1595
}
1596
#endif
1597

    
1598
/***                             Integer shift                             ***/
1599
/* shift left word */
1600
void OPPROTO op_slw (void)
1601
{
1602
    if (T1 & 0x20) {
1603
        T0 = 0;
1604
    } else {
1605
        T0 = (uint32_t)(T0 << T1);
1606
    }
1607
    RETURN();
1608
}
1609

    
1610
#if defined(TARGET_PPC64)
1611
void OPPROTO op_sld (void)
1612
{
1613
    if (T1 & 0x40) {
1614
        T0 = 0;
1615
    } else {
1616
        T0 = T0 << T1;
1617
    }
1618
    RETURN();
1619
}
1620
#endif
1621

    
1622
/* shift right algebraic word */
1623
void OPPROTO op_sraw (void)
1624
{
1625
    do_sraw();
1626
    RETURN();
1627
}
1628

    
1629
#if defined(TARGET_PPC64)
1630
void OPPROTO op_srad (void)
1631
{
1632
    do_srad();
1633
    RETURN();
1634
}
1635
#endif
1636

    
1637
/* shift right algebraic word immediate */
1638
void OPPROTO op_srawi (void)
1639
{
1640
    uint32_t mask = (uint32_t)PARAM2;
1641

    
1642
    T0 = (int32_t)T0 >> PARAM1;
1643
    if ((int32_t)T1 < 0 && (T1 & mask) != 0) {
1644
        xer_ca = 1;
1645
    } else {
1646
        xer_ca = 0;
1647
    }
1648
    RETURN();
1649
}
1650

    
1651
#if defined(TARGET_PPC64)
1652
void OPPROTO op_sradi (void)
1653
{
1654
    uint64_t mask = ((uint64_t)PARAM2 << 32) | (uint64_t)PARAM3;
1655

    
1656
    T0 = (int64_t)T0 >> PARAM1;
1657
    if ((int64_t)T1 < 0 && ((uint64_t)T1 & mask) != 0) {
1658
        xer_ca = 1;
1659
    } else {
1660
        xer_ca = 0;
1661
    }
1662
    RETURN();
1663
}
1664
#endif
1665

    
1666
/* shift right word */
1667
void OPPROTO op_srw (void)
1668
{
1669
    if (T1 & 0x20) {
1670
        T0 = 0;
1671
    } else {
1672
        T0 = (uint32_t)T0 >> T1;
1673
    }
1674
    RETURN();
1675
}
1676

    
1677
#if defined(TARGET_PPC64)
1678
void OPPROTO op_srd (void)
1679
{
1680
    if (T1 & 0x40) {
1681
        T0 = 0;
1682
    } else {
1683
        T0 = (uint64_t)T0 >> T1;
1684
    }
1685
    RETURN();
1686
}
1687
#endif
1688

    
1689
void OPPROTO op_sl_T0_T1 (void)
1690
{
1691
    T0 = T0 << T1;
1692
    RETURN();
1693
}
1694

    
1695
void OPPROTO op_sli_T0 (void)
1696
{
1697
    T0 = T0 << PARAM1;
1698
    RETURN();
1699
}
1700

    
1701
void OPPROTO op_sli_T1 (void)
1702
{
1703
    T1 = T1 << PARAM1;
1704
    RETURN();
1705
}
1706

    
1707
void OPPROTO op_srl_T0_T1 (void)
1708
{
1709
    T0 = (uint32_t)T0 >> T1;
1710
    RETURN();
1711
}
1712

    
1713
#if defined(TARGET_PPC64)
1714
void OPPROTO op_srl_T0_T1_64 (void)
1715
{
1716
    T0 = (uint32_t)T0 >> T1;
1717
    RETURN();
1718
}
1719
#endif
1720

    
1721
void OPPROTO op_srli_T0 (void)
1722
{
1723
    T0 = (uint32_t)T0 >> PARAM1;
1724
    RETURN();
1725
}
1726

    
1727
#if defined(TARGET_PPC64)
1728
void OPPROTO op_srli_T0_64 (void)
1729
{
1730
    T0 = (uint64_t)T0 >> PARAM1;
1731
    RETURN();
1732
}
1733
#endif
1734

    
1735
void OPPROTO op_srli_T1 (void)
1736
{
1737
    T1 = (uint32_t)T1 >> PARAM1;
1738
    RETURN();
1739
}
1740

    
1741
#if defined(TARGET_PPC64)
1742
void OPPROTO op_srli_T1_64 (void)
1743
{
1744
    T1 = (uint64_t)T1 >> PARAM1;
1745
    RETURN();
1746
}
1747
#endif
1748

    
1749
/***                       Floating-Point arithmetic                       ***/
1750
/* fadd - fadd. */
1751
void OPPROTO op_fadd (void)
1752
{
1753
#if USE_PRECISE_EMULATION
1754
    do_fadd();
1755
#else
1756
    FT0 = float64_add(FT0, FT1, &env->fp_status);
1757
#endif
1758
    RETURN();
1759
}
1760

    
1761
/* fsub - fsub. */
1762
void OPPROTO op_fsub (void)
1763
{
1764
#if USE_PRECISE_EMULATION
1765
    do_fsub();
1766
#else
1767
    FT0 = float64_sub(FT0, FT1, &env->fp_status);
1768
#endif
1769
    RETURN();
1770
}
1771

    
1772
/* fmul - fmul. */
1773
void OPPROTO op_fmul (void)
1774
{
1775
#if USE_PRECISE_EMULATION
1776
    do_fmul();
1777
#else
1778
    FT0 = float64_mul(FT0, FT1, &env->fp_status);
1779
#endif
1780
    RETURN();
1781
}
1782

    
1783
/* fdiv - fdiv. */
1784
void OPPROTO op_fdiv (void)
1785
{
1786
#if USE_PRECISE_EMULATION
1787
    do_fdiv();
1788
#else
1789
    FT0 = float64_div(FT0, FT1, &env->fp_status);
1790
#endif
1791
    RETURN();
1792
}
1793

    
1794
/* fsqrt - fsqrt. */
1795
void OPPROTO op_fsqrt (void)
1796
{
1797
    do_fsqrt();
1798
    RETURN();
1799
}
1800

    
1801
/* fre - fre. */
1802
void OPPROTO op_fre (void)
1803
{
1804
    do_fre();
1805
    RETURN();
1806
}
1807

    
1808
/* fres - fres. */
1809
void OPPROTO op_fres (void)
1810
{
1811
    do_fres();
1812
    RETURN();
1813
}
1814

    
1815
/* frsqrte  - frsqrte. */
1816
void OPPROTO op_frsqrte (void)
1817
{
1818
    do_frsqrte();
1819
    RETURN();
1820
}
1821

    
1822
/* fsel - fsel. */
1823
void OPPROTO op_fsel (void)
1824
{
1825
    do_fsel();
1826
    RETURN();
1827
}
1828

    
1829
/***                     Floating-Point multiply-and-add                   ***/
1830
/* fmadd - fmadd. */
1831
void OPPROTO op_fmadd (void)
1832
{
1833
#if USE_PRECISE_EMULATION
1834
    do_fmadd();
1835
#else
1836
    FT0 = float64_mul(FT0, FT1, &env->fp_status);
1837
    FT0 = float64_add(FT0, FT2, &env->fp_status);
1838
#endif
1839
    RETURN();
1840
}
1841

    
1842
/* fmsub - fmsub. */
1843
void OPPROTO op_fmsub (void)
1844
{
1845
#if USE_PRECISE_EMULATION
1846
    do_fmsub();
1847
#else
1848
    FT0 = float64_mul(FT0, FT1, &env->fp_status);
1849
    FT0 = float64_sub(FT0, FT2, &env->fp_status);
1850
#endif
1851
    RETURN();
1852
}
1853

    
1854
/* fnmadd - fnmadd. - fnmadds - fnmadds. */
1855
void OPPROTO op_fnmadd (void)
1856
{
1857
    do_fnmadd();
1858
    RETURN();
1859
}
1860

    
1861
/* fnmsub - fnmsub. */
1862
void OPPROTO op_fnmsub (void)
1863
{
1864
    do_fnmsub();
1865
    RETURN();
1866
}
1867

    
1868
/***                     Floating-Point round & convert                    ***/
1869
/* frsp - frsp. */
1870
void OPPROTO op_frsp (void)
1871
{
1872
#if USE_PRECISE_EMULATION
1873
    do_frsp();
1874
#else
1875
    FT0 = float64_to_float32(FT0, &env->fp_status);
1876
#endif
1877
    RETURN();
1878
}
1879

    
1880
/* fctiw - fctiw. */
1881
void OPPROTO op_fctiw (void)
1882
{
1883
    do_fctiw();
1884
    RETURN();
1885
}
1886

    
1887
/* fctiwz - fctiwz. */
1888
void OPPROTO op_fctiwz (void)
1889
{
1890
    do_fctiwz();
1891
    RETURN();
1892
}
1893

    
1894
#if defined(TARGET_PPC64)
1895
/* fcfid - fcfid. */
1896
void OPPROTO op_fcfid (void)
1897
{
1898
    do_fcfid();
1899
    RETURN();
1900
}
1901

    
1902
/* fctid - fctid. */
1903
void OPPROTO op_fctid (void)
1904
{
1905
    do_fctid();
1906
    RETURN();
1907
}
1908

    
1909
/* fctidz - fctidz. */
1910
void OPPROTO op_fctidz (void)
1911
{
1912
    do_fctidz();
1913
    RETURN();
1914
}
1915
#endif
1916

    
1917
void OPPROTO op_frin (void)
1918
{
1919
    do_frin();
1920
    RETURN();
1921
}
1922

    
1923
void OPPROTO op_friz (void)
1924
{
1925
    do_friz();
1926
    RETURN();
1927
}
1928

    
1929
void OPPROTO op_frip (void)
1930
{
1931
    do_frip();
1932
    RETURN();
1933
}
1934

    
1935
void OPPROTO op_frim (void)
1936
{
1937
    do_frim();
1938
    RETURN();
1939
}
1940

    
1941
/***                         Floating-Point compare                        ***/
1942
/* fcmpu */
1943
void OPPROTO op_fcmpu (void)
1944
{
1945
    do_fcmpu();
1946
    RETURN();
1947
}
1948

    
1949
/* fcmpo */
1950
void OPPROTO op_fcmpo (void)
1951
{
1952
    do_fcmpo();
1953
    RETURN();
1954
}
1955

    
1956
/***                         Floating-point move                           ***/
1957
/* fabs */
1958
void OPPROTO op_fabs (void)
1959
{
1960
    FT0 = float64_abs(FT0);
1961
    RETURN();
1962
}
1963

    
1964
/* fnabs */
1965
void OPPROTO op_fnabs (void)
1966
{
1967
    FT0 = float64_abs(FT0);
1968
    FT0 = float64_chs(FT0);
1969
    RETURN();
1970
}
1971

    
1972
/* fneg */
1973
void OPPROTO op_fneg (void)
1974
{
1975
    FT0 = float64_chs(FT0);
1976
    RETURN();
1977
}
1978

    
1979
/* Load and store */
1980
#define MEMSUFFIX _raw
1981
#include "op_helper.h"
1982
#include "op_mem.h"
1983
#if !defined(CONFIG_USER_ONLY)
1984
#define MEMSUFFIX _user
1985
#include "op_helper.h"
1986
#include "op_mem.h"
1987
#define MEMSUFFIX _kernel
1988
#include "op_helper.h"
1989
#include "op_mem.h"
1990
#if defined(TARGET_PPC64H)
1991
#define MEMSUFFIX _hypv
1992
#include "op_helper.h"
1993
#include "op_mem.h"
1994
#endif
1995
#endif
1996

    
1997
/* Special op to check and maybe clear reservation */
1998
void OPPROTO op_check_reservation (void)
1999
{
2000
    if ((uint32_t)env->reserve == (uint32_t)(T0 & ~0x00000003))
2001
        env->reserve = (target_ulong)-1ULL;
2002
    RETURN();
2003
}
2004

    
2005
#if defined(TARGET_PPC64)
2006
void OPPROTO op_check_reservation_64 (void)
2007
{
2008
    if ((uint64_t)env->reserve == (uint64_t)(T0 & ~0x00000003))
2009
        env->reserve = (target_ulong)-1ULL;
2010
    RETURN();
2011
}
2012
#endif
2013

    
2014
void OPPROTO op_wait (void)
2015
{
2016
    env->halted = 1;
2017
    RETURN();
2018
}
2019

    
2020
/* Return from interrupt */
2021
#if !defined(CONFIG_USER_ONLY)
2022
void OPPROTO op_rfi (void)
2023
{
2024
    do_rfi();
2025
    RETURN();
2026
}
2027

    
2028
#if defined(TARGET_PPC64)
2029
void OPPROTO op_rfid (void)
2030
{
2031
    do_rfid();
2032
    RETURN();
2033
}
2034
#endif
2035

    
2036
#if defined(TARGET_PPC64H)
2037
void OPPROTO op_hrfid (void)
2038
{
2039
    do_hrfid();
2040
    RETURN();
2041
}
2042
#endif
2043

    
2044
/* Exception vectors */
2045
void OPPROTO op_store_excp_prefix (void)
2046
{
2047
    T0 &= env->ivpr_mask;
2048
    env->excp_prefix = T0;
2049
    RETURN();
2050
}
2051

    
2052
void OPPROTO op_store_excp_vector (void)
2053
{
2054
    T0 &= env->ivor_mask;
2055
    env->excp_vectors[PARAM1] = T0;
2056
    RETURN();
2057
}
2058
#endif
2059

    
2060
/* Trap word */
2061
void OPPROTO op_tw (void)
2062
{
2063
    do_tw(PARAM1);
2064
    RETURN();
2065
}
2066

    
2067
#if defined(TARGET_PPC64)
2068
void OPPROTO op_td (void)
2069
{
2070
    do_td(PARAM1);
2071
    RETURN();
2072
}
2073
#endif
2074

    
2075
#if !defined(CONFIG_USER_ONLY)
2076
/* tlbia */
2077
void OPPROTO op_tlbia (void)
2078
{
2079
    ppc_tlb_invalidate_all(env);
2080
    RETURN();
2081
}
2082

    
2083
/* tlbie */
2084
void OPPROTO op_tlbie (void)
2085
{
2086
    ppc_tlb_invalidate_one(env, (uint32_t)T0);
2087
    RETURN();
2088
}
2089

    
2090
#if defined(TARGET_PPC64)
2091
void OPPROTO op_tlbie_64 (void)
2092
{
2093
    ppc_tlb_invalidate_one(env, T0);
2094
    RETURN();
2095
}
2096
#endif
2097

    
2098
#if defined(TARGET_PPC64)
2099
void OPPROTO op_slbia (void)
2100
{
2101
    ppc_slb_invalidate_all(env);
2102
    RETURN();
2103
}
2104

    
2105
void OPPROTO op_slbie (void)
2106
{
2107
    ppc_slb_invalidate_one(env, (uint32_t)T0);
2108
    RETURN();
2109
}
2110

    
2111
void OPPROTO op_slbie_64 (void)
2112
{
2113
    ppc_slb_invalidate_one(env, T0);
2114
    RETURN();
2115
}
2116
#endif
2117
#endif
2118

    
2119
#if !defined(CONFIG_USER_ONLY)
2120
/* PowerPC 602/603/755 software TLB load instructions */
2121
void OPPROTO op_6xx_tlbld (void)
2122
{
2123
    do_load_6xx_tlb(0);
2124
    RETURN();
2125
}
2126

    
2127
void OPPROTO op_6xx_tlbli (void)
2128
{
2129
    do_load_6xx_tlb(1);
2130
    RETURN();
2131
}
2132

    
2133
/* PowerPC 74xx software TLB load instructions */
2134
void OPPROTO op_74xx_tlbld (void)
2135
{
2136
    do_load_74xx_tlb(0);
2137
    RETURN();
2138
}
2139

    
2140
void OPPROTO op_74xx_tlbli (void)
2141
{
2142
    do_load_74xx_tlb(1);
2143
    RETURN();
2144
}
2145
#endif
2146

    
2147
/* 601 specific */
2148
void OPPROTO op_load_601_rtcl (void)
2149
{
2150
    T0 = cpu_ppc601_load_rtcl(env);
2151
    RETURN();
2152
}
2153

    
2154
void OPPROTO op_load_601_rtcu (void)
2155
{
2156
    T0 = cpu_ppc601_load_rtcu(env);
2157
    RETURN();
2158
}
2159

    
2160
#if !defined(CONFIG_USER_ONLY)
2161
void OPPROTO op_store_601_rtcl (void)
2162
{
2163
    cpu_ppc601_store_rtcl(env, T0);
2164
    RETURN();
2165
}
2166

    
2167
void OPPROTO op_store_601_rtcu (void)
2168
{
2169
    cpu_ppc601_store_rtcu(env, T0);
2170
    RETURN();
2171
}
2172

    
2173
void OPPROTO op_store_hid0_601 (void)
2174
{
2175
    do_store_hid0_601();
2176
    RETURN();
2177
}
2178

    
2179
void OPPROTO op_load_601_bat (void)
2180
{
2181
    T0 = env->IBAT[PARAM1][PARAM2];
2182
    RETURN();
2183
}
2184

    
2185
void OPPROTO op_store_601_batl (void)
2186
{
2187
    do_store_ibatl_601(env, PARAM1, T0);
2188
    RETURN();
2189
}
2190

    
2191
void OPPROTO op_store_601_batu (void)
2192
{
2193
    do_store_ibatu_601(env, PARAM1, T0);
2194
    RETURN();
2195
}
2196
#endif /* !defined(CONFIG_USER_ONLY) */
2197

    
2198
/* PowerPC 601 specific instructions (POWER bridge) */
2199
/* XXX: those micro-ops need tests ! */
2200
void OPPROTO op_POWER_abs (void)
2201
{
2202
    if ((int32_t)T0 == INT32_MIN)
2203
        T0 = INT32_MAX;
2204
    else if ((int32_t)T0 < 0)
2205
        T0 = -T0;
2206
    RETURN();
2207
}
2208

    
2209
void OPPROTO op_POWER_abso (void)
2210
{
2211
    do_POWER_abso();
2212
    RETURN();
2213
}
2214

    
2215
void OPPROTO op_POWER_clcs (void)
2216
{
2217
    do_POWER_clcs();
2218
    RETURN();
2219
}
2220

    
2221
void OPPROTO op_POWER_div (void)
2222
{
2223
    do_POWER_div();
2224
    RETURN();
2225
}
2226

    
2227
void OPPROTO op_POWER_divo (void)
2228
{
2229
    do_POWER_divo();
2230
    RETURN();
2231
}
2232

    
2233
void OPPROTO op_POWER_divs (void)
2234
{
2235
    do_POWER_divs();
2236
    RETURN();
2237
}
2238

    
2239
void OPPROTO op_POWER_divso (void)
2240
{
2241
    do_POWER_divso();
2242
    RETURN();
2243
}
2244

    
2245
void OPPROTO op_POWER_doz (void)
2246
{
2247
    if ((int32_t)T1 > (int32_t)T0)
2248
        T0 = T1 - T0;
2249
    else
2250
        T0 = 0;
2251
    RETURN();
2252
}
2253

    
2254
void OPPROTO op_POWER_dozo (void)
2255
{
2256
    do_POWER_dozo();
2257
    RETURN();
2258
}
2259

    
2260
void OPPROTO op_load_xer_cmp (void)
2261
{
2262
    T2 = xer_cmp;
2263
    RETURN();
2264
}
2265

    
2266
void OPPROTO op_POWER_maskg (void)
2267
{
2268
    do_POWER_maskg();
2269
    RETURN();
2270
}
2271

    
2272
void OPPROTO op_POWER_maskir (void)
2273
{
2274
    T0 = (T0 & ~T2) | (T1 & T2);
2275
    RETURN();
2276
}
2277

    
2278
void OPPROTO op_POWER_mul (void)
2279
{
2280
    uint64_t tmp;
2281

    
2282
    tmp = (uint64_t)T0 * (uint64_t)T1;
2283
    env->spr[SPR_MQ] = tmp >> 32;
2284
    T0 = tmp;
2285
    RETURN();
2286
}
2287

    
2288
void OPPROTO op_POWER_mulo (void)
2289
{
2290
    do_POWER_mulo();
2291
    RETURN();
2292
}
2293

    
2294
void OPPROTO op_POWER_nabs (void)
2295
{
2296
    if (T0 > 0)
2297
        T0 = -T0;
2298
    RETURN();
2299
}
2300

    
2301
void OPPROTO op_POWER_nabso (void)
2302
{
2303
    /* nabs never overflows */
2304
    if (T0 > 0)
2305
        T0 = -T0;
2306
    xer_ov = 0;
2307
    RETURN();
2308
}
2309

    
2310
/* XXX: factorise POWER rotates... */
2311
void OPPROTO op_POWER_rlmi (void)
2312
{
2313
    T0 = rotl32(T0, T2) & PARAM1;
2314
    T0 |= T1 & (uint32_t)PARAM2;
2315
    RETURN();
2316
}
2317

    
2318
void OPPROTO op_POWER_rrib (void)
2319
{
2320
    T2 &= 0x1FUL;
2321
    T0 = rotl32(T0 & INT32_MIN, T2);
2322
    T0 |= T1 & ~rotl32(INT32_MIN, T2);
2323
    RETURN();
2324
}
2325

    
2326
void OPPROTO op_POWER_sle (void)
2327
{
2328
    T1 &= 0x1FUL;
2329
    env->spr[SPR_MQ] = rotl32(T0, T1);
2330
    T0 = T0 << T1;
2331
    RETURN();
2332
}
2333

    
2334
void OPPROTO op_POWER_sleq (void)
2335
{
2336
    uint32_t tmp = env->spr[SPR_MQ];
2337

    
2338
    T1 &= 0x1FUL;
2339
    env->spr[SPR_MQ] = rotl32(T0, T1);
2340
    T0 = T0 << T1;
2341
    T0 |= tmp >> (32 - T1);
2342
    RETURN();
2343
}
2344

    
2345
void OPPROTO op_POWER_sllq (void)
2346
{
2347
    uint32_t msk = UINT32_MAX;
2348

    
2349
    msk = msk << (T1 & 0x1FUL);
2350
    if (T1 & 0x20UL)
2351
        msk = ~msk;
2352
    T1 &= 0x1FUL;
2353
    T0 = (T0 << T1) & msk;
2354
    T0 |= env->spr[SPR_MQ] & ~msk;
2355
    RETURN();
2356
}
2357

    
2358
void OPPROTO op_POWER_slq (void)
2359
{
2360
    uint32_t msk = UINT32_MAX, tmp;
2361

    
2362
    msk = msk << (T1 & 0x1FUL);
2363
    if (T1 & 0x20UL)
2364
        msk = ~msk;
2365
    T1 &= 0x1FUL;
2366
    tmp = rotl32(T0, T1);
2367
    T0 = tmp & msk;
2368
    env->spr[SPR_MQ] = tmp;
2369
    RETURN();
2370
}
2371

    
2372
void OPPROTO op_POWER_sraq (void)
2373
{
2374
    env->spr[SPR_MQ] = rotl32(T0, 32 - (T1 & 0x1FUL));
2375
    if (T1 & 0x20UL)
2376
        T0 = UINT32_MAX;
2377
    else
2378
        T0 = (int32_t)T0 >> T1;
2379
    RETURN();
2380
}
2381

    
2382
void OPPROTO op_POWER_sre (void)
2383
{
2384
    T1 &= 0x1FUL;
2385
    env->spr[SPR_MQ] = rotl32(T0, 32 - T1);
2386
    T0 = (int32_t)T0 >> T1;
2387
    RETURN();
2388
}
2389

    
2390
void OPPROTO op_POWER_srea (void)
2391
{
2392
    T1 &= 0x1FUL;
2393
    env->spr[SPR_MQ] = T0 >> T1;
2394
    T0 = (int32_t)T0 >> T1;
2395
    RETURN();
2396
}
2397

    
2398
void OPPROTO op_POWER_sreq (void)
2399
{
2400
    uint32_t tmp;
2401
    int32_t msk;
2402

    
2403
    T1 &= 0x1FUL;
2404
    msk = INT32_MIN >> T1;
2405
    tmp = env->spr[SPR_MQ];
2406
    env->spr[SPR_MQ] = rotl32(T0, 32 - T1);
2407
    T0 = T0 >> T1;
2408
    T0 |= tmp & msk;
2409
    RETURN();
2410
}
2411

    
2412
void OPPROTO op_POWER_srlq (void)
2413
{
2414
    uint32_t tmp;
2415
    int32_t msk;
2416

    
2417
    msk = INT32_MIN >> (T1 & 0x1FUL);
2418
    if (T1 & 0x20UL)
2419
        msk = ~msk;
2420
    T1 &= 0x1FUL;
2421
    tmp = env->spr[SPR_MQ];
2422
    env->spr[SPR_MQ] = rotl32(T0, 32 - T1);
2423
    T0 = T0 >> T1;
2424
    T0 &= msk;
2425
    T0 |= tmp & ~msk;
2426
    RETURN();
2427
}
2428

    
2429
void OPPROTO op_POWER_srq (void)
2430
{
2431
    T1 &= 0x1FUL;
2432
    env->spr[SPR_MQ] = rotl32(T0, 32 - T1);
2433
    T0 = T0 >> T1;
2434
    RETURN();
2435
}
2436

    
2437
/* POWER instructions not implemented in PowerPC 601 */
2438
#if !defined(CONFIG_USER_ONLY)
2439
void OPPROTO op_POWER_mfsri (void)
2440
{
2441
    T1 = T0 >> 28;
2442
    T0 = env->sr[T1];
2443
    RETURN();
2444
}
2445

    
2446
void OPPROTO op_POWER_rac (void)
2447
{
2448
    do_POWER_rac();
2449
    RETURN();
2450
}
2451

    
2452
void OPPROTO op_POWER_rfsvc (void)
2453
{
2454
    do_POWER_rfsvc();
2455
    RETURN();
2456
}
2457
#endif
2458

    
2459
/* PowerPC 602 specific instruction */
2460
#if !defined(CONFIG_USER_ONLY)
2461
void OPPROTO op_602_mfrom (void)
2462
{
2463
    do_op_602_mfrom();
2464
    RETURN();
2465
}
2466
#endif
2467

    
2468
/* PowerPC 4xx specific micro-ops */
2469
void OPPROTO op_405_add_T0_T2 (void)
2470
{
2471
    T0 = (int32_t)T0 + (int32_t)T2;
2472
    RETURN();
2473
}
2474

    
2475
void OPPROTO op_405_mulchw (void)
2476
{
2477
    T0 = ((int16_t)T0) * ((int16_t)(T1 >> 16));
2478
    RETURN();
2479
}
2480

    
2481
void OPPROTO op_405_mulchwu (void)
2482
{
2483
    T0 = ((uint16_t)T0) * ((uint16_t)(T1 >> 16));
2484
    RETURN();
2485
}
2486

    
2487
void OPPROTO op_405_mulhhw (void)
2488
{
2489
    T0 = ((int16_t)(T0 >> 16)) * ((int16_t)(T1 >> 16));
2490
    RETURN();
2491
}
2492

    
2493
void OPPROTO op_405_mulhhwu (void)
2494
{
2495
    T0 = ((uint16_t)(T0 >> 16)) * ((uint16_t)(T1 >> 16));
2496
    RETURN();
2497
}
2498

    
2499
void OPPROTO op_405_mullhw (void)
2500
{
2501
    T0 = ((int16_t)T0) * ((int16_t)T1);
2502
    RETURN();
2503
}
2504

    
2505
void OPPROTO op_405_mullhwu (void)
2506
{
2507
    T0 = ((uint16_t)T0) * ((uint16_t)T1);
2508
    RETURN();
2509
}
2510

    
2511
void OPPROTO op_405_check_sat (void)
2512
{
2513
    do_405_check_sat();
2514
    RETURN();
2515
}
2516

    
2517
void OPPROTO op_405_check_ovu (void)
2518
{
2519
    if (likely(T0 >= T2)) {
2520
        xer_ov = 0;
2521
    } else {
2522
        xer_ov = 1;
2523
        xer_so = 1;
2524
    }
2525
    RETURN();
2526
}
2527

    
2528
void OPPROTO op_405_check_satu (void)
2529
{
2530
    if (unlikely(T0 < T2)) {
2531
        /* Saturate result */
2532
        T0 = UINT32_MAX;
2533
    }
2534
    RETURN();
2535
}
2536

    
2537
void OPPROTO op_load_dcr (void)
2538
{
2539
    do_load_dcr();
2540
    RETURN();
2541
}
2542

    
2543
void OPPROTO op_store_dcr (void)
2544
{
2545
    do_store_dcr();
2546
    RETURN();
2547
}
2548

    
2549
#if !defined(CONFIG_USER_ONLY)
2550
/* Return from critical interrupt :
2551
 * same as rfi, except nip & MSR are loaded from SRR2/3 instead of SRR0/1
2552
 */
2553
void OPPROTO op_40x_rfci (void)
2554
{
2555
    do_40x_rfci();
2556
    RETURN();
2557
}
2558

    
2559
void OPPROTO op_rfci (void)
2560
{
2561
    do_rfci();
2562
    RETURN();
2563
}
2564

    
2565
void OPPROTO op_rfdi (void)
2566
{
2567
    do_rfdi();
2568
    RETURN();
2569
}
2570

    
2571
void OPPROTO op_rfmci (void)
2572
{
2573
    do_rfmci();
2574
    RETURN();
2575
}
2576

    
2577
void OPPROTO op_wrte (void)
2578
{
2579
    /* We don't call do_store_msr here as we won't trigger
2580
     * any special case nor change hflags
2581
     */
2582
    T0 &= 1 << MSR_EE;
2583
    env->msr &= ~(1 << MSR_EE);
2584
    env->msr |= T0;
2585
    RETURN();
2586
}
2587

    
2588
void OPPROTO op_440_tlbre (void)
2589
{
2590
    do_440_tlbre(PARAM1);
2591
    RETURN();
2592
}
2593

    
2594
void OPPROTO op_440_tlbsx (void)
2595
{
2596
    T0 = ppcemb_tlb_search(env, T0, env->spr[SPR_440_MMUCR] & 0xFF);
2597
    RETURN();
2598
}
2599

    
2600
void OPPROTO op_4xx_tlbsx_check (void)
2601
{
2602
    int tmp;
2603

    
2604
    tmp = xer_so;
2605
    if ((int)T0 != -1)
2606
        tmp |= 0x02;
2607
    env->crf[0] = tmp;
2608
    RETURN();
2609
}
2610

    
2611
void OPPROTO op_440_tlbwe (void)
2612
{
2613
    do_440_tlbwe(PARAM1);
2614
    RETURN();
2615
}
2616

    
2617
void OPPROTO op_4xx_tlbre_lo (void)
2618
{
2619
    do_4xx_tlbre_lo();
2620
    RETURN();
2621
}
2622

    
2623
void OPPROTO op_4xx_tlbre_hi (void)
2624
{
2625
    do_4xx_tlbre_hi();
2626
    RETURN();
2627
}
2628

    
2629
void OPPROTO op_4xx_tlbsx (void)
2630
{
2631
    T0 = ppcemb_tlb_search(env, T0, env->spr[SPR_40x_PID]);
2632
    RETURN();
2633
}
2634

    
2635
void OPPROTO op_4xx_tlbwe_lo (void)
2636
{
2637
    do_4xx_tlbwe_lo();
2638
    RETURN();
2639
}
2640

    
2641
void OPPROTO op_4xx_tlbwe_hi (void)
2642
{
2643
    do_4xx_tlbwe_hi();
2644
    RETURN();
2645
}
2646
#endif
2647

    
2648
/* SPR micro-ops */
2649
/* 440 specific */
2650
void OPPROTO op_440_dlmzb (void)
2651
{
2652
    do_440_dlmzb();
2653
    RETURN();
2654
}
2655

    
2656
void OPPROTO op_440_dlmzb_update_Rc (void)
2657
{
2658
    if (T0 == 8)
2659
        T0 = 0x2;
2660
    else if (T0 < 4)
2661
        T0 = 0x4;
2662
    else
2663
        T0 = 0x8;
2664
    RETURN();
2665
}
2666

    
2667
#if !defined(CONFIG_USER_ONLY)
2668
void OPPROTO op_store_pir (void)
2669
{
2670
    env->spr[SPR_PIR] = T0 & 0x0000000FUL;
2671
    RETURN();
2672
}
2673

    
2674
void OPPROTO op_load_403_pb (void)
2675
{
2676
    do_load_403_pb(PARAM1);
2677
    RETURN();
2678
}
2679

    
2680
void OPPROTO op_store_403_pb (void)
2681
{
2682
    do_store_403_pb(PARAM1);
2683
    RETURN();
2684
}
2685

    
2686
void OPPROTO op_load_40x_pit (void)
2687
{
2688
    T0 = load_40x_pit(env);
2689
    RETURN();
2690
}
2691

    
2692
void OPPROTO op_store_40x_pit (void)
2693
{
2694
    store_40x_pit(env, T0);
2695
    RETURN();
2696
}
2697

    
2698
void OPPROTO op_store_40x_dbcr0 (void)
2699
{
2700
    store_40x_dbcr0(env, T0);
2701
    RETURN();
2702
}
2703

    
2704
void OPPROTO op_store_40x_sler (void)
2705
{
2706
    store_40x_sler(env, T0);
2707
    RETURN();
2708
}
2709

    
2710
void OPPROTO op_store_booke_tcr (void)
2711
{
2712
    store_booke_tcr(env, T0);
2713
    RETURN();
2714
}
2715

    
2716
void OPPROTO op_store_booke_tsr (void)
2717
{
2718
    store_booke_tsr(env, T0);
2719
    RETURN();
2720
}
2721
#endif /* !defined(CONFIG_USER_ONLY) */
2722

    
2723
#if defined(TARGET_PPCEMB)
2724
/* SPE extension */
2725
void OPPROTO op_splatw_T1_64 (void)
2726
{
2727
    T1_64 = (T1_64 << 32) | (T1_64 & 0x00000000FFFFFFFFULL);
2728
    RETURN();
2729
}
2730

    
2731
void OPPROTO op_splatwi_T0_64 (void)
2732
{
2733
    uint64_t tmp = PARAM1;
2734

    
2735
    T0_64 = (tmp << 32) | tmp;
2736
    RETURN();
2737
}
2738

    
2739
void OPPROTO op_splatwi_T1_64 (void)
2740
{
2741
    uint64_t tmp = PARAM1;
2742

    
2743
    T1_64 = (tmp << 32) | tmp;
2744
    RETURN();
2745
}
2746

    
2747
void OPPROTO op_extsh_T1_64 (void)
2748
{
2749
    T1_64 = (int32_t)((int16_t)T1_64);
2750
    RETURN();
2751
}
2752

    
2753
void OPPROTO op_sli16_T1_64 (void)
2754
{
2755
    T1_64 = T1_64 << 16;
2756
    RETURN();
2757
}
2758

    
2759
void OPPROTO op_sli32_T1_64 (void)
2760
{
2761
    T1_64 = T1_64 << 32;
2762
    RETURN();
2763
}
2764

    
2765
void OPPROTO op_srli32_T1_64 (void)
2766
{
2767
    T1_64 = T1_64 >> 32;
2768
    RETURN();
2769
}
2770

    
2771
void OPPROTO op_evsel (void)
2772
{
2773
    do_evsel();
2774
    RETURN();
2775
}
2776

    
2777
void OPPROTO op_evaddw (void)
2778
{
2779
    do_evaddw();
2780
    RETURN();
2781
}
2782

    
2783
void OPPROTO op_evsubfw (void)
2784
{
2785
    do_evsubfw();
2786
    RETURN();
2787
}
2788

    
2789
void OPPROTO op_evneg (void)
2790
{
2791
    do_evneg();
2792
    RETURN();
2793
}
2794

    
2795
void OPPROTO op_evabs (void)
2796
{
2797
    do_evabs();
2798
    RETURN();
2799
}
2800

    
2801
void OPPROTO op_evextsh (void)
2802
{
2803
    T0_64 = ((uint64_t)((int32_t)(int16_t)(T0_64 >> 32)) << 32) |
2804
        (uint64_t)((int32_t)(int16_t)T0_64);
2805
    RETURN();
2806
}
2807

    
2808
void OPPROTO op_evextsb (void)
2809
{
2810
    T0_64 = ((uint64_t)((int32_t)(int8_t)(T0_64 >> 32)) << 32) |
2811
        (uint64_t)((int32_t)(int8_t)T0_64);
2812
    RETURN();
2813
}
2814

    
2815
void OPPROTO op_evcntlzw (void)
2816
{
2817
    do_evcntlzw();
2818
    RETURN();
2819
}
2820

    
2821
void OPPROTO op_evrndw (void)
2822
{
2823
    do_evrndw();
2824
    RETURN();
2825
}
2826

    
2827
void OPPROTO op_brinc (void)
2828
{
2829
    do_brinc();
2830
    RETURN();
2831
}
2832

    
2833
void OPPROTO op_evcntlsw (void)
2834
{
2835
    do_evcntlsw();
2836
    RETURN();
2837
}
2838

    
2839
void OPPROTO op_evand (void)
2840
{
2841
    T0_64 &= T1_64;
2842
    RETURN();
2843
}
2844

    
2845
void OPPROTO op_evandc (void)
2846
{
2847
    T0_64 &= ~T1_64;
2848
    RETURN();
2849
}
2850

    
2851
void OPPROTO op_evor (void)
2852
{
2853
    T0_64 |= T1_64;
2854
    RETURN();
2855
}
2856

    
2857
void OPPROTO op_evxor (void)
2858
{
2859
    T0_64 ^= T1_64;
2860
    RETURN();
2861
}
2862

    
2863
void OPPROTO op_eveqv (void)
2864
{
2865
    T0_64 = ~(T0_64 ^ T1_64);
2866
    RETURN();
2867
}
2868

    
2869
void OPPROTO op_evnor (void)
2870
{
2871
    T0_64 = ~(T0_64 | T1_64);
2872
    RETURN();
2873
}
2874

    
2875
void OPPROTO op_evorc (void)
2876
{
2877
    T0_64 |= ~T1_64;
2878
    RETURN();
2879
}
2880

    
2881
void OPPROTO op_evnand (void)
2882
{
2883
    T0_64 = ~(T0_64 & T1_64);
2884
    RETURN();
2885
}
2886

    
2887
void OPPROTO op_evsrws (void)
2888
{
2889
    do_evsrws();
2890
    RETURN();
2891
}
2892

    
2893
void OPPROTO op_evsrwu (void)
2894
{
2895
    do_evsrwu();
2896
    RETURN();
2897
}
2898

    
2899
void OPPROTO op_evslw (void)
2900
{
2901
    do_evslw();
2902
    RETURN();
2903
}
2904

    
2905
void OPPROTO op_evrlw (void)
2906
{
2907
    do_evrlw();
2908
    RETURN();
2909
}
2910

    
2911
void OPPROTO op_evmergelo (void)
2912
{
2913
    T0_64 = (T0_64 << 32) | (T1_64 & 0x00000000FFFFFFFFULL);
2914
    RETURN();
2915
}
2916

    
2917
void OPPROTO op_evmergehi (void)
2918
{
2919
    T0_64 = (T0_64 & 0xFFFFFFFF00000000ULL) | (T1_64 >> 32);
2920
    RETURN();
2921
}
2922

    
2923
void OPPROTO op_evmergelohi (void)
2924
{
2925
    T0_64 = (T0_64 << 32) | (T1_64 >> 32);
2926
    RETURN();
2927
}
2928

    
2929
void OPPROTO op_evmergehilo (void)
2930
{
2931
    T0_64 = (T0_64 & 0xFFFFFFFF00000000ULL) | (T1_64 & 0x00000000FFFFFFFFULL);
2932
    RETURN();
2933
}
2934

    
2935
void OPPROTO op_evcmpgts (void)
2936
{
2937
    do_evcmpgts();
2938
    RETURN();
2939
}
2940

    
2941
void OPPROTO op_evcmpgtu (void)
2942
{
2943
    do_evcmpgtu();
2944
    RETURN();
2945
}
2946

    
2947
void OPPROTO op_evcmplts (void)
2948
{
2949
    do_evcmplts();
2950
    RETURN();
2951
}
2952

    
2953
void OPPROTO op_evcmpltu (void)
2954
{
2955
    do_evcmpltu();
2956
    RETURN();
2957
}
2958

    
2959
void OPPROTO op_evcmpeq (void)
2960
{
2961
    do_evcmpeq();
2962
    RETURN();
2963
}
2964

    
2965
void OPPROTO op_evfssub (void)
2966
{
2967
    do_evfssub();
2968
    RETURN();
2969
}
2970

    
2971
void OPPROTO op_evfsadd (void)
2972
{
2973
    do_evfsadd();
2974
    RETURN();
2975
}
2976

    
2977
void OPPROTO op_evfsnabs (void)
2978
{
2979
    do_evfsnabs();
2980
    RETURN();
2981
}
2982

    
2983
void OPPROTO op_evfsabs (void)
2984
{
2985
    do_evfsabs();
2986
    RETURN();
2987
}
2988

    
2989
void OPPROTO op_evfsneg (void)
2990
{
2991
    do_evfsneg();
2992
    RETURN();
2993
}
2994

    
2995
void OPPROTO op_evfsdiv (void)
2996
{
2997
    do_evfsdiv();
2998
    RETURN();
2999
}
3000

    
3001
void OPPROTO op_evfsmul (void)
3002
{
3003
    do_evfsmul();
3004
    RETURN();
3005
}
3006

    
3007
void OPPROTO op_evfscmplt (void)
3008
{
3009
    do_evfscmplt();
3010
    RETURN();
3011
}
3012

    
3013
void OPPROTO op_evfscmpgt (void)
3014
{
3015
    do_evfscmpgt();
3016
    RETURN();
3017
}
3018

    
3019
void OPPROTO op_evfscmpeq (void)
3020
{
3021
    do_evfscmpeq();
3022
    RETURN();
3023
}
3024

    
3025
void OPPROTO op_evfscfsi (void)
3026
{
3027
    do_evfscfsi();
3028
    RETURN();
3029
}
3030

    
3031
void OPPROTO op_evfscfui (void)
3032
{
3033
    do_evfscfui();
3034
    RETURN();
3035
}
3036

    
3037
void OPPROTO op_evfscfsf (void)
3038
{
3039
    do_evfscfsf();
3040
    RETURN();
3041
}
3042

    
3043
void OPPROTO op_evfscfuf (void)
3044
{
3045
    do_evfscfuf();
3046
    RETURN();
3047
}
3048

    
3049
void OPPROTO op_evfsctsi (void)
3050
{
3051
    do_evfsctsi();
3052
    RETURN();
3053
}
3054

    
3055
void OPPROTO op_evfsctui (void)
3056
{
3057
    do_evfsctui();
3058
    RETURN();
3059
}
3060

    
3061
void OPPROTO op_evfsctsf (void)
3062
{
3063
    do_evfsctsf();
3064
    RETURN();
3065
}
3066

    
3067
void OPPROTO op_evfsctuf (void)
3068
{
3069
    do_evfsctuf();
3070
    RETURN();
3071
}
3072

    
3073
void OPPROTO op_evfsctuiz (void)
3074
{
3075
    do_evfsctuiz();
3076
    RETURN();
3077
}
3078

    
3079
void OPPROTO op_evfsctsiz (void)
3080
{
3081
    do_evfsctsiz();
3082
    RETURN();
3083
}
3084

    
3085
void OPPROTO op_evfststlt (void)
3086
{
3087
    do_evfststlt();
3088
    RETURN();
3089
}
3090

    
3091
void OPPROTO op_evfststgt (void)
3092
{
3093
    do_evfststgt();
3094
    RETURN();
3095
}
3096

    
3097
void OPPROTO op_evfststeq (void)
3098
{
3099
    do_evfststeq();
3100
    RETURN();
3101
}
3102

    
3103
void OPPROTO op_efssub (void)
3104
{
3105
    T0_64 = _do_efssub(T0_64, T1_64);
3106
    RETURN();
3107
}
3108

    
3109
void OPPROTO op_efsadd (void)
3110
{
3111
    T0_64 = _do_efsadd(T0_64, T1_64);
3112
    RETURN();
3113
}
3114

    
3115
void OPPROTO op_efsnabs (void)
3116
{
3117
    T0_64 = _do_efsnabs(T0_64);
3118
    RETURN();
3119
}
3120

    
3121
void OPPROTO op_efsabs (void)
3122
{
3123
    T0_64 = _do_efsabs(T0_64);
3124
    RETURN();
3125
}
3126

    
3127
void OPPROTO op_efsneg (void)
3128
{
3129
    T0_64 = _do_efsneg(T0_64);
3130
    RETURN();
3131
}
3132

    
3133
void OPPROTO op_efsdiv (void)
3134
{
3135
    T0_64 = _do_efsdiv(T0_64, T1_64);
3136
    RETURN();
3137
}
3138

    
3139
void OPPROTO op_efsmul (void)
3140
{
3141
    T0_64 = _do_efsmul(T0_64, T1_64);
3142
    RETURN();
3143
}
3144

    
3145
void OPPROTO op_efscmplt (void)
3146
{
3147
    do_efscmplt();
3148
    RETURN();
3149
}
3150

    
3151
void OPPROTO op_efscmpgt (void)
3152
{
3153
    do_efscmpgt();
3154
    RETURN();
3155
}
3156

    
3157
void OPPROTO op_efscfd (void)
3158
{
3159
    do_efscfd();
3160
    RETURN();
3161
}
3162

    
3163
void OPPROTO op_efscmpeq (void)
3164
{
3165
    do_efscmpeq();
3166
    RETURN();
3167
}
3168

    
3169
void OPPROTO op_efscfsi (void)
3170
{
3171
    do_efscfsi();
3172
    RETURN();
3173
}
3174

    
3175
void OPPROTO op_efscfui (void)
3176
{
3177
    do_efscfui();
3178
    RETURN();
3179
}
3180

    
3181
void OPPROTO op_efscfsf (void)
3182
{
3183
    do_efscfsf();
3184
    RETURN();
3185
}
3186

    
3187
void OPPROTO op_efscfuf (void)
3188
{
3189
    do_efscfuf();
3190
    RETURN();
3191
}
3192

    
3193
void OPPROTO op_efsctsi (void)
3194
{
3195
    do_efsctsi();
3196
    RETURN();
3197
}
3198

    
3199
void OPPROTO op_efsctui (void)
3200
{
3201
    do_efsctui();
3202
    RETURN();
3203
}
3204

    
3205
void OPPROTO op_efsctsf (void)
3206
{
3207
    do_efsctsf();
3208
    RETURN();
3209
}
3210

    
3211
void OPPROTO op_efsctuf (void)
3212
{
3213
    do_efsctuf();
3214
    RETURN();
3215
}
3216

    
3217
void OPPROTO op_efsctsiz (void)
3218
{
3219
    do_efsctsiz();
3220
    RETURN();
3221
}
3222

    
3223
void OPPROTO op_efsctuiz (void)
3224
{
3225
    do_efsctuiz();
3226
    RETURN();
3227
}
3228

    
3229
void OPPROTO op_efststlt (void)
3230
{
3231
    T0 = _do_efststlt(T0_64, T1_64);
3232
    RETURN();
3233
}
3234

    
3235
void OPPROTO op_efststgt (void)
3236
{
3237
    T0 = _do_efststgt(T0_64, T1_64);
3238
    RETURN();
3239
}
3240

    
3241
void OPPROTO op_efststeq (void)
3242
{
3243
    T0 = _do_efststeq(T0_64, T1_64);
3244
    RETURN();
3245
}
3246

    
3247
void OPPROTO op_efdsub (void)
3248
{
3249
    union {
3250
        uint64_t u;
3251
        float64 f;
3252
    } u1, u2;
3253
    u1.u = T0_64;
3254
    u2.u = T1_64;
3255
    u1.f = float64_sub(u1.f, u2.f, &env->spe_status);
3256
    T0_64 = u1.u;
3257
    RETURN();
3258
}
3259

    
3260
void OPPROTO op_efdadd (void)
3261
{
3262
    union {
3263
        uint64_t u;
3264
        float64 f;
3265
    } u1, u2;
3266
    u1.u = T0_64;
3267
    u2.u = T1_64;
3268
    u1.f = float64_add(u1.f, u2.f, &env->spe_status);
3269
    T0_64 = u1.u;
3270
    RETURN();
3271
}
3272

    
3273
void OPPROTO op_efdcfsid (void)
3274
{
3275
    do_efdcfsi();
3276
    RETURN();
3277
}
3278

    
3279
void OPPROTO op_efdcfuid (void)
3280
{
3281
    do_efdcfui();
3282
    RETURN();
3283
}
3284

    
3285
void OPPROTO op_efdnabs (void)
3286
{
3287
    T0_64 |= 0x8000000000000000ULL;
3288
    RETURN();
3289
}
3290

    
3291
void OPPROTO op_efdabs (void)
3292
{
3293
    T0_64 &= ~0x8000000000000000ULL;
3294
    RETURN();
3295
}
3296

    
3297
void OPPROTO op_efdneg (void)
3298
{
3299
    T0_64 ^= 0x8000000000000000ULL;
3300
    RETURN();
3301
}
3302

    
3303
void OPPROTO op_efddiv (void)
3304
{
3305
    union {
3306
        uint64_t u;
3307
        float64 f;
3308
    } u1, u2;
3309
    u1.u = T0_64;
3310
    u2.u = T1_64;
3311
    u1.f = float64_div(u1.f, u2.f, &env->spe_status);
3312
    T0_64 = u1.u;
3313
    RETURN();
3314
}
3315

    
3316
void OPPROTO op_efdmul (void)
3317
{
3318
    union {
3319
        uint64_t u;
3320
        float64 f;
3321
    } u1, u2;
3322
    u1.u = T0_64;
3323
    u2.u = T1_64;
3324
    u1.f = float64_mul(u1.f, u2.f, &env->spe_status);
3325
    T0_64 = u1.u;
3326
    RETURN();
3327
}
3328

    
3329
void OPPROTO op_efdctsidz (void)
3330
{
3331
    do_efdctsiz();
3332
    RETURN();
3333
}
3334

    
3335
void OPPROTO op_efdctuidz (void)
3336
{
3337
    do_efdctuiz();
3338
    RETURN();
3339
}
3340

    
3341
void OPPROTO op_efdcmplt (void)
3342
{
3343
    do_efdcmplt();
3344
    RETURN();
3345
}
3346

    
3347
void OPPROTO op_efdcmpgt (void)
3348
{
3349
    do_efdcmpgt();
3350
    RETURN();
3351
}
3352

    
3353
void OPPROTO op_efdcfs (void)
3354
{
3355
    do_efdcfs();
3356
    RETURN();
3357
}
3358

    
3359
void OPPROTO op_efdcmpeq (void)
3360
{
3361
    do_efdcmpeq();
3362
    RETURN();
3363
}
3364

    
3365
void OPPROTO op_efdcfsi (void)
3366
{
3367
    do_efdcfsi();
3368
    RETURN();
3369
}
3370

    
3371
void OPPROTO op_efdcfui (void)
3372
{
3373
    do_efdcfui();
3374
    RETURN();
3375
}
3376

    
3377
void OPPROTO op_efdcfsf (void)
3378
{
3379
    do_efdcfsf();
3380
    RETURN();
3381
}
3382

    
3383
void OPPROTO op_efdcfuf (void)
3384
{
3385
    do_efdcfuf();
3386
    RETURN();
3387
}
3388

    
3389
void OPPROTO op_efdctsi (void)
3390
{
3391
    do_efdctsi();
3392
    RETURN();
3393
}
3394

    
3395
void OPPROTO op_efdctui (void)
3396
{
3397
    do_efdctui();
3398
    RETURN();
3399
}
3400

    
3401
void OPPROTO op_efdctsf (void)
3402
{
3403
    do_efdctsf();
3404
    RETURN();
3405
}
3406

    
3407
void OPPROTO op_efdctuf (void)
3408
{
3409
    do_efdctuf();
3410
    RETURN();
3411
}
3412

    
3413
void OPPROTO op_efdctuiz (void)
3414
{
3415
    do_efdctuiz();
3416
    RETURN();
3417
}
3418

    
3419
void OPPROTO op_efdctsiz (void)
3420
{
3421
    do_efdctsiz();
3422
    RETURN();
3423
}
3424

    
3425
void OPPROTO op_efdtstlt (void)
3426
{
3427
    T0 = _do_efdtstlt(T0_64, T1_64);
3428
    RETURN();
3429
}
3430

    
3431
void OPPROTO op_efdtstgt (void)
3432
{
3433
    T0 = _do_efdtstgt(T0_64, T1_64);
3434
    RETURN();
3435
}
3436

    
3437
void OPPROTO op_efdtsteq (void)
3438
{
3439
    T0 = _do_efdtsteq(T0_64, T1_64);
3440
    RETURN();
3441
}
3442
#endif /* defined(TARGET_PPCEMB) */