2 * PowerPC emulation micro-operations for qemu.
4 * Copyright (c) 2003-2007 Jocelyn Mayer
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.
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.
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
25 #include "op_helper.h"
27 /* XXX: this is to be suppressed */
30 #define FT0 (env->ft0)
31 #define FT1 (env->ft1)
32 #define FT2 (env->ft2)
34 /* XXX: this is to be suppressed... */
35 #define PPC_OP(name) void OPPROTO glue(op_, name)(void)
38 #include "op_template.h"
41 #include "op_template.h"
44 #include "op_template.h"
47 #include "op_template.h"
50 #include "op_template.h"
53 #include "op_template.h"
56 #include "op_template.h"
59 #include "op_template.h"
62 #include "op_template.h"
65 #include "op_template.h"
68 #include "op_template.h"
71 #include "op_template.h"
74 #include "op_template.h"
77 #include "op_template.h"
80 #include "op_template.h"
83 #include "op_template.h"
86 #include "op_template.h"
89 #include "op_template.h"
92 #include "op_template.h"
95 #include "op_template.h"
98 #include "op_template.h"
101 #include "op_template.h"
104 #include "op_template.h"
107 #include "op_template.h"
110 #include "op_template.h"
113 #include "op_template.h"
116 #include "op_template.h"
119 #include "op_template.h"
122 #include "op_template.h"
125 #include "op_template.h"
128 #include "op_template.h"
131 #include "op_template.h"
134 void OPPROTO
op_print_mem_EA (void)
140 /* PowerPC state maintenance operations */
144 env
->crf
[0] = T0
| xer_ov
;
148 /* Set Rc1 (for floating point arithmetic) */
151 env
->crf
[1] = regs
->fpscr
[7];
156 void OPPROTO
op_reset_T0 (void)
164 T0
= (uint32_t)PARAM1
;
168 #if defined(TARGET_PPC64)
169 void OPPROTO
op_set_T0_64 (void)
171 T0
= ((uint64_t)PARAM1
<< 32) | (uint64_t)PARAM2
;
178 T1
= (uint32_t)PARAM1
;
182 #if defined(TARGET_PPC64)
183 void OPPROTO
op_set_T1_64 (void)
185 T1
= ((uint64_t)PARAM1
<< 32) | (uint64_t)PARAM2
;
198 void OPPROTO
op_move_T1_T0 (void)
204 void OPPROTO
op_move_T2_T0 (void)
210 /* Generate exceptions */
211 PPC_OP(raise_exception_err
)
213 do_raise_exception_err(PARAM(1), PARAM(2));
218 env
->nip
= (uint32_t)PARAM1
;
222 #if defined(TARGET_PPC64)
223 void OPPROTO
op_update_nip_64 (void)
225 env
->nip
= ((uint64_t)PARAM1
<< 32) | (uint64_t)PARAM2
;
232 do_raise_exception(EXCP_DEBUG
);
240 /* Load/store special registers */
249 do_store_cr(PARAM(1));
253 void OPPROTO
op_load_cro (void)
255 T0
= env
->crf
[PARAM1
];
259 void OPPROTO
op_store_cro (void)
261 env
->crf
[PARAM1
] = T0
;
267 T0
= (xer_so
<< 3) | (xer_ov
<< 2) | (xer_ca
<< 1);
290 void OPPROTO
op_store_xer_bc (void)
308 #if !defined(CONFIG_USER_ONLY)
309 /* Segment registers load and store */
318 do_store_sr(env
, T1
, T0
);
330 do_store_sdr1(env
, T0
);
334 #if defined (TARGET_PPC64)
335 void OPPROTO
op_load_asr (void)
341 void OPPROTO
op_store_asr (void)
343 ppc_store_asr(env
, T0
);
350 T0
= do_load_msr(env
);
356 do_store_msr(env
, T0
);
360 #if defined (TARGET_PPC64)
361 void OPPROTO
op_store_msr_32 (void)
363 ppc_store_msr_32(env
, T0
);
370 void OPPROTO
op_load_spr (void)
372 T0
= env
->spr
[PARAM1
];
376 void OPPROTO
op_store_spr (void)
378 env
->spr
[PARAM1
] = T0
;
382 void OPPROTO
op_load_dump_spr (void)
384 T0
= ppc_load_dump_spr(PARAM1
);
388 void OPPROTO
op_store_dump_spr (void)
390 ppc_store_dump_spr(PARAM1
, T0
);
394 void OPPROTO
op_mask_spr (void)
396 env
->spr
[PARAM1
] &= ~T0
;
426 T0
= cpu_ppc_load_tbl(regs
);
432 T0
= cpu_ppc_load_tbu(regs
);
436 #if !defined(CONFIG_USER_ONLY)
439 cpu_ppc_store_tbl(regs
, T0
);
445 cpu_ppc_store_tbu(regs
, T0
);
451 T0
= cpu_ppc_load_decr(regs
);
457 cpu_ppc_store_decr(regs
, T0
);
463 T0
= regs
->IBAT
[PARAM(1)][PARAM(2)];
467 void OPPROTO
op_store_ibatu (void)
469 do_store_ibatu(env
, PARAM1
, T0
);
473 void OPPROTO
op_store_ibatl (void)
476 env
->IBAT
[1][PARAM1
] = T0
;
478 do_store_ibatl(env
, PARAM1
, T0
);
485 T0
= regs
->DBAT
[PARAM(1)][PARAM(2)];
489 void OPPROTO
op_store_dbatu (void)
491 do_store_dbatu(env
, PARAM1
, T0
);
495 void OPPROTO
op_store_dbatl (void)
498 env
->DBAT
[1][PARAM1
] = T0
;
500 do_store_dbatl(env
, PARAM1
, T0
);
504 #endif /* !defined(CONFIG_USER_ONLY) */
515 do_store_fpscr(PARAM1
);
521 regs
->fpscr
[7] &= ~0x8;
528 T0
= (T0
>> PARAM(1)) & 1;
534 T1
= (T1
>> PARAM(1)) & 1;
540 T1
= (T1
& PARAM(1)) | (T0
<< PARAM(2));
545 #define EIP regs->nip
549 regs
->lr
= (uint32_t)PARAM1
;
553 #if defined (TARGET_PPC64)
554 void OPPROTO
op_setlr_64 (void)
556 regs
->lr
= ((uint64_t)PARAM1
<< 32) | (uint64_t)PARAM2
;
563 GOTO_TB(op_goto_tb0
, PARAM1
, 0);
568 GOTO_TB(op_goto_tb1
, PARAM1
, 1);
571 void OPPROTO
op_b_T1 (void)
573 regs
->nip
= (uint32_t)(T1
& ~3);
577 #if defined (TARGET_PPC64)
578 void OPPROTO
op_b_T1_64 (void)
580 regs
->nip
= (uint64_t)(T1
& ~3);
592 void OPPROTO
op_btest_T1 (void)
595 regs
->nip
= (uint32_t)(T1
& ~3);
597 regs
->nip
= (uint32_t)PARAM1
;
602 #if defined (TARGET_PPC64)
603 void OPPROTO
op_btest_T1_64 (void)
606 regs
->nip
= (uint64_t)(T1
& ~3);
608 regs
->nip
= ((uint64_t)PARAM1
<< 32) | (uint64_t)PARAM2
;
626 /* tests with result in T0 */
627 void OPPROTO
op_test_ctr (void)
629 T0
= (uint32_t)regs
->ctr
;
633 #if defined(TARGET_PPC64)
634 void OPPROTO
op_test_ctr_64 (void)
636 T0
= (uint64_t)regs
->ctr
;
641 void OPPROTO
op_test_ctr_true (void)
643 T0
= ((uint32_t)regs
->ctr
!= 0 && (T0
& PARAM1
) != 0);
647 #if defined(TARGET_PPC64)
648 void OPPROTO
op_test_ctr_true_64 (void)
650 T0
= ((uint64_t)regs
->ctr
!= 0 && (T0
& PARAM1
) != 0);
655 void OPPROTO
op_test_ctr_false (void)
657 T0
= ((uint32_t)regs
->ctr
!= 0 && (T0
& PARAM1
) == 0);
661 #if defined(TARGET_PPC64)
662 void OPPROTO
op_test_ctr_false_64 (void)
664 T0
= ((uint64_t)regs
->ctr
!= 0 && (T0
& PARAM1
) == 0);
669 void OPPROTO
op_test_ctrz (void)
671 T0
= ((uint32_t)regs
->ctr
== 0);
675 #if defined(TARGET_PPC64)
676 void OPPROTO
op_test_ctrz_64 (void)
678 T0
= ((uint64_t)regs
->ctr
== 0);
683 void OPPROTO
op_test_ctrz_true (void)
685 T0
= ((uint32_t)regs
->ctr
== 0 && (T0
& PARAM1
) != 0);
689 #if defined(TARGET_PPC64)
690 void OPPROTO
op_test_ctrz_true_64 (void)
692 T0
= ((uint64_t)regs
->ctr
== 0 && (T0
& PARAM1
) != 0);
697 void OPPROTO
op_test_ctrz_false (void)
699 T0
= ((uint32_t)regs
->ctr
== 0 && (T0
& PARAM1
) == 0);
703 #if defined(TARGET_PPC64)
704 void OPPROTO
op_test_ctrz_false_64 (void)
706 T0
= ((uint64_t)regs
->ctr
== 0 && (T0
& PARAM1
) == 0);
713 T0
= (T0
& PARAM(1));
719 T0
= ((T0
& PARAM(1)) == 0);
723 /* CTR maintenance */
730 /*** Integer arithmetic ***/
738 void OPPROTO
op_check_addo (void)
740 if (likely(!(((uint32_t)T2
^ (uint32_t)T1
^ UINT32_MAX
) &
741 ((uint32_t)T2
^ (uint32_t)T0
) & (1UL << 31)))) {
750 #if defined(TARGET_PPC64)
751 void OPPROTO
op_check_addo_64 (void)
753 if (likely(!(((uint64_t)T2
^ (uint64_t)T1
^ UINT64_MAX
) &
754 ((uint64_t)T2
^ (uint64_t)T0
) & (1ULL << 63)))) {
765 void OPPROTO
op_check_addc (void)
767 if (likely((uint32_t)T0
>= (uint32_t)T2
)) {
775 #if defined(TARGET_PPC64)
776 void OPPROTO
op_check_addc_64 (void)
778 if (likely((uint64_t)T0
>= (uint64_t)T2
)) {
788 void OPPROTO
op_adde (void)
794 #if defined(TARGET_PPC64)
795 void OPPROTO
op_adde_64 (void)
805 T0
+= (int32_t)PARAM(1);
809 /* add to minus one extended */
810 void OPPROTO
op_add_me (void)
813 if (likely((uint32_t)T1
!= 0))
818 #if defined(TARGET_PPC64)
819 void OPPROTO
op_add_me_64 (void)
822 if (likely((uint64_t)T1
!= 0))
828 void OPPROTO
op_addmeo (void)
834 void OPPROTO
op_addmeo_64 (void)
840 /* add to zero extended */
841 void OPPROTO
op_add_ze (void)
848 void OPPROTO
op_divw (void)
850 if (unlikely(((int32_t)T0
== INT32_MIN
&& (int32_t)T1
== -1) ||
852 T0
= (int32_t)((-1) * ((uint32_t)T0
>> 31));
854 T0
= (int32_t)T0
/ (int32_t)T1
;
859 #if defined(TARGET_PPC64)
860 void OPPROTO
op_divd (void)
862 if (unlikely(((int64_t)T0
== INT64_MIN
&& (int64_t)T1
== -1) ||
864 T0
= (int64_t)((-1ULL) * ((uint64_t)T0
>> 63));
866 T0
= (int64_t)T0
/ (int64_t)T1
;
872 void OPPROTO
op_divwo (void)
878 #if defined(TARGET_PPC64)
879 void OPPROTO
op_divdo (void)
886 /* divide word unsigned */
887 void OPPROTO
op_divwu (void)
889 if (unlikely(T1
== 0)) {
892 T0
= (uint32_t)T0
/ (uint32_t)T1
;
897 #if defined(TARGET_PPC64)
898 void OPPROTO
op_divdu (void)
900 if (unlikely(T1
== 0)) {
909 void OPPROTO
op_divwuo (void)
915 #if defined(TARGET_PPC64)
916 void OPPROTO
op_divduo (void)
923 /* multiply high word */
924 void OPPROTO
op_mulhw (void)
926 T0
= ((int64_t)((int32_t)T0
) * (int64_t)((int32_t)T1
)) >> 32;
930 #if defined(TARGET_PPC64)
931 void OPPROTO
op_mulhd (void)
941 /* multiply high word unsigned */
942 void OPPROTO
op_mulhwu (void)
944 T0
= ((uint64_t)(uint32_t)T0
* (uint64_t)(uint32_t)T1
) >> 32;
948 #if defined(TARGET_PPC64)
949 void OPPROTO
op_mulhdu (void)
959 /* multiply low immediate */
962 T0
= ((int32_t)T0
* (int32_t)PARAM1
);
966 /* multiply low word */
969 T0
= (int32_t)(T0
* T1
);
973 #if defined(TARGET_PPC64)
974 void OPPROTO
op_mulld (void)
981 void OPPROTO
op_mullwo (void)
987 #if defined(TARGET_PPC64)
988 void OPPROTO
op_mulldo (void)
996 void OPPROTO
op_neg (void)
998 if (likely(T0
!= INT32_MIN
)) {
1004 #if defined(TARGET_PPC64)
1005 void OPPROTO
op_neg_64 (void)
1007 if (likely(T0
!= INT64_MIN
)) {
1014 void OPPROTO
op_nego (void)
1020 #if defined(TARGET_PPC64)
1021 void OPPROTO
op_nego_64 (void)
1035 void OPPROTO
op_check_subfo (void)
1037 if (likely(!(((uint32_t)(~T2
) ^ (uint32_t)T1
^ UINT32_MAX
) &
1038 ((uint32_t)(~T2
) ^ (uint32_t)T0
) & (1UL << 31)))) {
1047 #if defined(TARGET_PPC64)
1048 void OPPROTO
op_check_subfo_64 (void)
1050 if (likely(!(((uint64_t)(~T2
) ^ (uint64_t)T1
^ UINT64_MAX
) &
1051 ((uint64_t)(~T2
) ^ (uint64_t)T0
) & (1ULL << 63)))) {
1061 /* subtract from carrying */
1062 void OPPROTO
op_check_subfc (void)
1064 if (likely((uint32_t)T0
> (uint32_t)T1
)) {
1072 #if defined(TARGET_PPC64)
1073 void OPPROTO
op_check_subfc_64 (void)
1075 if (likely((uint64_t)T0
> (uint64_t)T1
)) {
1084 /* subtract from extended */
1085 void OPPROTO
op_subfe (void)
1091 #if defined(TARGET_PPC64)
1092 void OPPROTO
op_subfe_64 (void)
1099 /* subtract from immediate carrying */
1100 void OPPROTO
op_subfic (void)
1102 T0
= (int32_t)PARAM1
+ ~T0
+ 1;
1103 if ((uint32_t)T0
<= (uint32_t)PARAM1
) {
1111 #if defined(TARGET_PPC64)
1112 void OPPROTO
op_subfic_64 (void)
1114 T0
= PARAM1
+ ~T0
+ 1;
1115 if ((uint64_t)T0
<= (uint64_t)PARAM1
) {
1124 /* subtract from minus one extended */
1125 void OPPROTO
op_subfme (void)
1127 T0
= ~T0
+ xer_ca
- 1;
1128 if (likely((uint32_t)T0
!= (uint32_t)-1))
1133 #if defined(TARGET_PPC64)
1134 void OPPROTO
op_subfme_64 (void)
1136 T0
= ~T0
+ xer_ca
- 1;
1137 if (likely((uint64_t)T0
!= (uint64_t)-1))
1143 void OPPROTO
op_subfmeo (void)
1149 #if defined(TARGET_PPC64)
1150 void OPPROTO
op_subfmeo_64 (void)
1157 /* subtract from zero extended */
1158 void OPPROTO
op_subfze (void)
1162 if ((uint32_t)T0
< (uint32_t)T1
) {
1170 #if defined(TARGET_PPC64)
1171 void OPPROTO
op_subfze_64 (void)
1175 if ((uint64_t)T0
< (uint64_t)T1
) {
1184 void OPPROTO
op_subfzeo (void)
1190 #if defined(TARGET_PPC64)
1191 void OPPROTO
op_subfzeo_64 (void)
1198 /*** Integer comparison ***/
1200 void OPPROTO
op_cmp (void)
1202 if ((int32_t)T0
< (int32_t)T1
) {
1204 } else if ((int32_t)T0
> (int32_t)T1
) {
1212 #if defined(TARGET_PPC64)
1213 void OPPROTO
op_cmp_64 (void)
1215 if ((int64_t)T0
< (int64_t)T1
) {
1217 } else if ((int64_t)T0
> (int64_t)T1
) {
1226 /* compare immediate */
1227 void OPPROTO
op_cmpi (void)
1229 if ((int32_t)T0
< (int32_t)PARAM1
) {
1231 } else if ((int32_t)T0
> (int32_t)PARAM1
) {
1239 #if defined(TARGET_PPC64)
1240 void OPPROTO
op_cmpi_64 (void)
1242 if ((int64_t)T0
< (int64_t)((int32_t)PARAM1
)) {
1244 } else if ((int64_t)T0
> (int64_t)((int32_t)PARAM1
)) {
1253 /* compare logical */
1254 void OPPROTO
op_cmpl (void)
1256 if ((uint32_t)T0
< (uint32_t)T1
) {
1258 } else if ((uint32_t)T0
> (uint32_t)T1
) {
1266 #if defined(TARGET_PPC64)
1267 void OPPROTO
op_cmpl_64 (void)
1269 if ((uint64_t)T0
< (uint64_t)T1
) {
1271 } else if ((uint64_t)T0
> (uint64_t)T1
) {
1280 /* compare logical immediate */
1281 void OPPROTO
op_cmpli (void)
1283 if ((uint32_t)T0
< (uint32_t)PARAM1
) {
1285 } else if ((uint32_t)T0
> (uint32_t)PARAM1
) {
1293 #if defined(TARGET_PPC64)
1294 void OPPROTO
op_cmpli_64 (void)
1296 if ((uint64_t)T0
< (uint64_t)PARAM1
) {
1298 } else if ((uint64_t)T0
> (uint64_t)PARAM1
) {
1307 void OPPROTO
op_isel (void)
1316 void OPPROTO
op_popcntb (void)
1322 #if defined(TARGET_PPC64)
1323 void OPPROTO
op_popcntb_64 (void)
1330 /*** Integer logical ***/
1346 void OPPROTO
op_andi_T0 (void)
1352 void OPPROTO
op_andi_T1 (void)
1358 /* count leading zero */
1359 void OPPROTO
op_cntlzw (void)
1361 T0
= _do_cntlzw(T0
);
1365 #if defined(TARGET_PPC64)
1366 void OPPROTO
op_cntlzd (void)
1368 T0
= _do_cntlzd(T0
);
1380 /* extend sign byte */
1381 void OPPROTO
op_extsb (void)
1383 #if defined (TARGET_PPC64)
1384 T0
= (int64_t)((int8_t)T0
);
1386 T0
= (int32_t)((int8_t)T0
);
1391 /* extend sign half word */
1392 void OPPROTO
op_extsh (void)
1394 #if defined (TARGET_PPC64)
1395 T0
= (int64_t)((int16_t)T0
);
1397 T0
= (int32_t)((int16_t)T0
);
1402 #if defined (TARGET_PPC64)
1403 void OPPROTO
op_extsw (void)
1405 T0
= (int64_t)((int32_t)T0
);
1459 /*** Integer rotate ***/
1460 void OPPROTO
op_rotl32_T0_T1 (void)
1462 T0
= rotl32(T0
, T1
& 0x1F);
1466 void OPPROTO
op_rotli32_T0 (void)
1468 T0
= rotl32(T0
, PARAM1
);
1472 #if defined(TARGET_PPC64)
1473 void OPPROTO
op_rotl64_T0_T1 (void)
1475 T0
= rotl64(T0
, T1
& 0x3F);
1479 void OPPROTO
op_rotli64_T0 (void)
1481 T0
= rotl64(T0
, PARAM1
);
1486 /*** Integer shift ***/
1487 /* shift left word */
1488 void OPPROTO
op_slw (void)
1493 T0
= (uint32_t)(T0
<< T1
);
1498 #if defined(TARGET_PPC64)
1499 void OPPROTO
op_sld (void)
1510 /* shift right algebraic word */
1511 void OPPROTO
op_sraw (void)
1517 #if defined(TARGET_PPC64)
1518 void OPPROTO
op_srad (void)
1525 /* shift right algebraic word immediate */
1526 void OPPROTO
op_srawi (void)
1528 uint32_t mask
= (uint32_t)PARAM2
;
1530 T0
= (int32_t)T0
>> PARAM1
;
1531 if ((int32_t)T1
< 0 && (T1
& mask
) != 0) {
1539 #if defined(TARGET_PPC64)
1540 void OPPROTO
op_sradi (void)
1542 uint64_t mask
= ((uint64_t)PARAM2
<< 32) | (uint64_t)PARAM3
;
1544 T0
= (int64_t)T0
>> PARAM1
;
1545 if ((int64_t)T1
< 0 && ((uint64_t)T1
& mask
) != 0) {
1554 /* shift right word */
1555 void OPPROTO
op_srw (void)
1560 T0
= (uint32_t)T0
>> T1
;
1565 #if defined(TARGET_PPC64)
1566 void OPPROTO
op_srd (void)
1571 T0
= (uint64_t)T0
>> T1
;
1577 void OPPROTO
op_sl_T0_T1 (void)
1583 void OPPROTO
op_sli_T0 (void)
1589 void OPPROTO
op_srl_T0_T1 (void)
1591 T0
= (uint32_t)T0
>> T1
;
1595 #if defined(TARGET_PPC64)
1596 void OPPROTO
op_srl_T0_T1_64 (void)
1598 T0
= (uint32_t)T0
>> T1
;
1603 void OPPROTO
op_srli_T0 (void)
1605 T0
= (uint32_t)T0
>> PARAM1
;
1609 #if defined(TARGET_PPC64)
1610 void OPPROTO
op_srli_T0_64 (void)
1612 T0
= (uint64_t)T0
>> PARAM1
;
1617 void OPPROTO
op_srli_T1 (void)
1619 T1
= (uint32_t)T1
>> PARAM1
;
1623 #if defined(TARGET_PPC64)
1624 void OPPROTO
op_srli_T1_64 (void)
1626 T1
= (uint64_t)T1
>> PARAM1
;
1631 /*** Floating-Point arithmetic ***/
1635 FT0
= float64_add(FT0
, FT1
, &env
->fp_status
);
1642 FT0
= float64_sub(FT0
, FT1
, &env
->fp_status
);
1649 FT0
= float64_mul(FT0
, FT1
, &env
->fp_status
);
1656 FT0
= float64_div(FT0
, FT1
, &env
->fp_status
);
1660 /* fsqrt - fsqrt. */
1674 /* frsqrte - frsqrte. */
1688 /*** Floating-Point multiply-and-add ***/
1689 /* fmadd - fmadd. */
1692 #if USE_PRECISE_EMULATION
1695 FT0
= float64_mul(FT0
, FT1
, &env
->fp_status
);
1696 FT0
= float64_add(FT0
, FT2
, &env
->fp_status
);
1701 /* fmsub - fmsub. */
1704 #if USE_PRECISE_EMULATION
1707 FT0
= float64_mul(FT0
, FT1
, &env
->fp_status
);
1708 FT0
= float64_sub(FT0
, FT2
, &env
->fp_status
);
1713 /* fnmadd - fnmadd. - fnmadds - fnmadds. */
1720 /* fnmsub - fnmsub. */
1727 /*** Floating-Point round & convert ***/
1731 FT0
= float64_to_float32(FT0
, &env
->fp_status
);
1735 /* fctiw - fctiw. */
1742 /* fctiwz - fctiwz. */
1749 #if defined(TARGET_PPC64)
1750 /* fcfid - fcfid. */
1757 /* fctid - fctid. */
1764 /* fctidz - fctidz. */
1772 /*** Floating-Point compare ***/
1787 /*** Floating-point move ***/
1791 FT0
= float64_abs(FT0
);
1798 FT0
= float64_abs(FT0
);
1799 FT0
= float64_chs(FT0
);
1806 FT0
= float64_chs(FT0
);
1810 /* Load and store */
1811 #define MEMSUFFIX _raw
1812 #include "op_helper.h"
1814 #if !defined(CONFIG_USER_ONLY)
1815 #define MEMSUFFIX _user
1816 #include "op_helper.h"
1818 #define MEMSUFFIX _kernel
1819 #include "op_helper.h"
1823 /* Special op to check and maybe clear reservation */
1824 void OPPROTO
op_check_reservation (void)
1826 if ((uint32_t)env
->reserve
== (uint32_t)(T0
& ~0x00000003))
1831 #if defined(TARGET_PPC64)
1832 void OPPROTO
op_check_reservation_64 (void)
1834 if ((uint64_t)env
->reserve
== (uint64_t)(T0
& ~0x00000003))
1840 /* Return from interrupt */
1841 #if !defined(CONFIG_USER_ONLY)
1842 void OPPROTO
op_rfi (void)
1848 #if defined(TARGET_PPC64)
1849 void OPPROTO
op_rfid (void)
1858 void OPPROTO
op_tw (void)
1864 #if defined(TARGET_PPC64)
1865 void OPPROTO
op_td (void)
1872 #if !defined(CONFIG_USER_ONLY)
1881 void OPPROTO
op_tlbie (void)
1887 #if defined(TARGET_PPC64)
1888 void OPPROTO
op_tlbie_64 (void)
1895 #if defined(TARGET_PPC64)
1896 void OPPROTO
op_slbia (void)
1902 void OPPROTO
op_slbie (void)
1910 /* PowerPC 602/603/755 software TLB load instructions */
1911 #if !defined(CONFIG_USER_ONLY)
1912 void OPPROTO
op_6xx_tlbld (void)
1918 void OPPROTO
op_6xx_tlbli (void)
1926 void OPPROTO
op_load_601_rtcl (void)
1928 T0
= cpu_ppc601_load_rtcl(env
);
1932 void OPPROTO
op_load_601_rtcu (void)
1934 T0
= cpu_ppc601_load_rtcu(env
);
1938 #if !defined(CONFIG_USER_ONLY)
1939 void OPPROTO
op_store_601_rtcl (void)
1941 cpu_ppc601_store_rtcl(env
, T0
);
1945 void OPPROTO
op_store_601_rtcu (void)
1947 cpu_ppc601_store_rtcu(env
, T0
);
1951 void OPPROTO
op_load_601_bat (void)
1953 T0
= env
->IBAT
[PARAM1
][PARAM2
];
1956 #endif /* !defined(CONFIG_USER_ONLY) */
1958 /* 601 unified BATs store.
1959 * To avoid using specific MMU code for 601, we store BATs in
1960 * IBAT and DBAT simultaneously, then emulate unified BATs.
1962 #if !defined(CONFIG_USER_ONLY)
1963 void OPPROTO
op_store_601_batl (void)
1967 env
->IBAT
[1][nr
] = T0
;
1968 env
->DBAT
[1][nr
] = T0
;
1972 void OPPROTO
op_store_601_batu (void)
1974 do_store_601_batu(PARAM1
);
1977 #endif /* !defined(CONFIG_USER_ONLY) */
1979 /* PowerPC 601 specific instructions (POWER bridge) */
1980 /* XXX: those micro-ops need tests ! */
1981 void OPPROTO
op_POWER_abs (void)
1983 if (T0
== INT32_MIN
)
1990 void OPPROTO
op_POWER_abso (void)
1996 void OPPROTO
op_POWER_clcs (void)
2002 void OPPROTO
op_POWER_div (void)
2008 void OPPROTO
op_POWER_divo (void)
2014 void OPPROTO
op_POWER_divs (void)
2020 void OPPROTO
op_POWER_divso (void)
2026 void OPPROTO
op_POWER_doz (void)
2028 if ((int32_t)T1
> (int32_t)T0
)
2035 void OPPROTO
op_POWER_dozo (void)
2041 void OPPROTO
op_load_xer_cmp (void)
2047 void OPPROTO
op_POWER_maskg (void)
2053 void OPPROTO
op_POWER_maskir (void)
2055 T0
= (T0
& ~T2
) | (T1
& T2
);
2059 void OPPROTO
op_POWER_mul (void)
2063 tmp
= (uint64_t)T0
* (uint64_t)T1
;
2064 env
->spr
[SPR_MQ
] = tmp
>> 32;
2069 void OPPROTO
op_POWER_mulo (void)
2075 void OPPROTO
op_POWER_nabs (void)
2082 void OPPROTO
op_POWER_nabso (void)
2084 /* nabs never overflows */
2091 /* XXX: factorise POWER rotates... */
2092 void OPPROTO
op_POWER_rlmi (void)
2094 T0
= rotl32(T0
, T2
) & PARAM1
;
2099 void OPPROTO
op_POWER_rrib (void)
2102 T0
= rotl32(T0
& INT32_MIN
, T2
);
2103 T0
|= T1
& ~rotl32(INT32_MIN
, T2
);
2107 void OPPROTO
op_POWER_sle (void)
2110 env
->spr
[SPR_MQ
] = rotl32(T0
, T1
);
2115 void OPPROTO
op_POWER_sleq (void)
2117 uint32_t tmp
= env
->spr
[SPR_MQ
];
2120 env
->spr
[SPR_MQ
] = rotl32(T0
, T1
);
2122 T0
|= tmp
>> (32 - T1
);
2126 void OPPROTO
op_POWER_sllq (void)
2130 msk
= msk
<< (T1
& 0x1FUL
);
2134 T0
= (T0
<< T1
) & msk
;
2135 T0
|= env
->spr
[SPR_MQ
] & ~msk
;
2139 void OPPROTO
op_POWER_slq (void)
2141 uint32_t msk
= -1, tmp
;
2143 msk
= msk
<< (T1
& 0x1FUL
);
2147 tmp
= rotl32(T0
, T1
);
2149 env
->spr
[SPR_MQ
] = tmp
;
2153 void OPPROTO
op_POWER_sraq (void)
2155 env
->spr
[SPR_MQ
] = rotl32(T0
, 32 - (T1
& 0x1FUL
));
2159 T0
= (int32_t)T0
>> T1
;
2163 void OPPROTO
op_POWER_sre (void)
2166 env
->spr
[SPR_MQ
] = rotl32(T0
, 32 - T1
);
2167 T0
= (int32_t)T0
>> T1
;
2171 void OPPROTO
op_POWER_srea (void)
2174 env
->spr
[SPR_MQ
] = T0
>> T1
;
2175 T0
= (int32_t)T0
>> T1
;
2179 void OPPROTO
op_POWER_sreq (void)
2185 msk
= INT32_MIN
>> T1
;
2186 tmp
= env
->spr
[SPR_MQ
];
2187 env
->spr
[SPR_MQ
] = rotl32(T0
, 32 - T1
);
2193 void OPPROTO
op_POWER_srlq (void)
2198 msk
= INT32_MIN
>> (T1
& 0x1FUL
);
2202 tmp
= env
->spr
[SPR_MQ
];
2203 env
->spr
[SPR_MQ
] = rotl32(T0
, 32 - T1
);
2210 void OPPROTO
op_POWER_srq (void)
2213 env
->spr
[SPR_MQ
] = rotl32(T0
, 32 - T1
);
2218 /* POWER instructions not implemented in PowerPC 601 */
2219 #if !defined(CONFIG_USER_ONLY)
2220 void OPPROTO
op_POWER_mfsri (void)
2227 void OPPROTO
op_POWER_rac (void)
2233 void OPPROTO
op_POWER_rfsvc (void)
2240 /* PowerPC 602 specific instruction */
2241 #if !defined(CONFIG_USER_ONLY)
2242 void OPPROTO
op_602_mfrom (void)
2249 /* PowerPC 4xx specific micro-ops */
2250 void OPPROTO
op_405_add_T0_T2 (void)
2252 T0
= (int32_t)T0
+ (int32_t)T2
;
2256 void OPPROTO
op_405_mulchw (void)
2258 T0
= ((int16_t)T0
) * ((int16_t)(T1
>> 16));
2262 void OPPROTO
op_405_mulchwu (void)
2264 T0
= ((uint16_t)T0
) * ((uint16_t)(T1
>> 16));
2268 void OPPROTO
op_405_mulhhw (void)
2270 T0
= ((int16_t)(T0
>> 16)) * ((int16_t)(T1
>> 16));
2274 void OPPROTO
op_405_mulhhwu (void)
2276 T0
= ((uint16_t)(T0
>> 16)) * ((uint16_t)(T1
>> 16));
2280 void OPPROTO
op_405_mullhw (void)
2282 T0
= ((int16_t)T0
) * ((int16_t)T1
);
2286 void OPPROTO
op_405_mullhwu (void)
2288 T0
= ((uint16_t)T0
) * ((uint16_t)T1
);
2292 void OPPROTO
op_405_check_ov (void)
2298 void OPPROTO
op_405_check_sat (void)
2304 void OPPROTO
op_405_check_ovu (void)
2306 if (likely(T0
>= T2
)) {
2315 void OPPROTO
op_405_check_satu (void)
2317 if (unlikely(T0
< T2
)) {
2318 /* Saturate result */
2324 #if !defined(CONFIG_USER_ONLY)
2325 void OPPROTO
op_load_dcr (void)
2331 void OPPROTO
op_store_dcr (void)
2337 /* Return from critical interrupt :
2338 * same as rfi, except nip & MSR are loaded from SRR2/3 instead of SRR0/1
2340 void OPPROTO
op_40x_rfci (void)
2346 void OPPROTO
op_rfci (void)
2352 void OPPROTO
op_rfdi (void)
2358 void OPPROTO
op_rfmci (void)
2364 void OPPROTO
op_wrte (void)
2370 void OPPROTO
op_4xx_tlbre_lo (void)
2376 void OPPROTO
op_4xx_tlbre_hi (void)
2382 void OPPROTO
op_4xx_tlbsx (void)
2388 void OPPROTO
op_4xx_tlbsx_ (void)
2394 void OPPROTO
op_4xx_tlbwe_lo (void)
2400 void OPPROTO
op_4xx_tlbwe_hi (void)
2409 void OPPROTO
op_440_dlmzb (void)
2415 void OPPROTO
op_440_dlmzb_update_Rc (void)
2426 #if !defined(CONFIG_USER_ONLY)
2427 void OPPROTO
op_store_pir (void)
2429 env
->spr
[SPR_PIR
] = T0
& 0x0000000FUL
;
2433 void OPPROTO
op_load_403_pb (void)
2435 do_load_403_pb(PARAM1
);
2439 void OPPROTO
op_store_403_pb (void)
2441 do_store_403_pb(PARAM1
);
2445 void OPPROTO
op_load_40x_pit (void)
2447 T0
= load_40x_pit(env
);
2451 void OPPROTO
op_store_40x_pit (void)
2453 store_40x_pit(env
, T0
);
2457 void OPPROTO
op_store_40x_dbcr0 (void)
2459 store_40x_dbcr0(env
, T0
);
2462 void OPPROTO
op_store_40x_sler (void)
2464 store_40x_sler(env
, T0
);
2468 void OPPROTO
op_store_booke_tcr (void)
2470 store_booke_tcr(env
, T0
);
2474 void OPPROTO
op_store_booke_tsr (void)
2476 store_booke_tsr(env
, T0
);
2480 #endif /* !defined(CONFIG_USER_ONLY) */
2482 #if defined(TARGET_PPCEMB)
2484 void OPPROTO
op_splatw_T1_64 (void)
2486 T1_64
= (T1_64
<< 32) | (T1_64
& 0x00000000FFFFFFFFULL
);
2490 void OPPROTO
op_splatwi_T0_64 (void)
2492 uint64_t tmp
= PARAM1
;
2494 T0_64
= (tmp
<< 32) | tmp
;
2498 void OPPROTO
op_splatwi_T1_64 (void)
2500 uint64_t tmp
= PARAM1
;
2502 T1_64
= (tmp
<< 32) | tmp
;
2506 void OPPROTO
op_extsh_T1_64 (void)
2508 T1_64
= (int32_t)((int16_t)T1_64
);
2512 void OPPROTO
op_sli16_T1_64 (void)
2514 T1_64
= T1_64
<< 16;
2518 void OPPROTO
op_sli32_T1_64 (void)
2520 T1_64
= T1_64
<< 32;
2524 void OPPROTO
op_srli32_T1_64 (void)
2526 T1_64
= T1_64
>> 32;
2530 void OPPROTO
op_evsel (void)
2536 void OPPROTO
op_evaddw (void)
2542 void OPPROTO
op_evsubfw (void)
2548 void OPPROTO
op_evneg (void)
2554 void OPPROTO
op_evabs (void)
2560 void OPPROTO
op_evextsh (void)
2562 T0_64
= ((uint64_t)((int32_t)(int16_t)(T0_64
>> 32)) << 32) |
2563 (uint64_t)((int32_t)(int16_t)T0_64
);
2567 void OPPROTO
op_evextsb (void)
2569 T0_64
= ((uint64_t)((int32_t)(int8_t)(T0_64
>> 32)) << 32) |
2570 (uint64_t)((int32_t)(int8_t)T0_64
);
2574 void OPPROTO
op_evcntlzw (void)
2580 void OPPROTO
op_evrndw (void)
2586 void OPPROTO
op_brinc (void)
2592 void OPPROTO
op_evcntlsw (void)
2598 void OPPROTO
op_evand (void)
2604 void OPPROTO
op_evandc (void)
2610 void OPPROTO
op_evor (void)
2616 void OPPROTO
op_evxor (void)
2622 void OPPROTO
op_eveqv (void)
2624 T0_64
= ~(T0_64
^ T1_64
);
2628 void OPPROTO
op_evnor (void)
2630 T0_64
= ~(T0_64
| T1_64
);
2634 void OPPROTO
op_evorc (void)
2640 void OPPROTO
op_evnand (void)
2642 T0_64
= ~(T0_64
& T1_64
);
2646 void OPPROTO
op_evsrws (void)
2652 void OPPROTO
op_evsrwu (void)
2658 void OPPROTO
op_evslw (void)
2664 void OPPROTO
op_evrlw (void)
2670 void OPPROTO
op_evmergelo (void)
2672 T0_64
= (T0_64
<< 32) | (T1_64
& 0x00000000FFFFFFFFULL
);
2676 void OPPROTO
op_evmergehi (void)
2678 T0_64
= (T0_64
& 0xFFFFFFFF00000000ULL
) | (T1_64
>> 32);
2682 void OPPROTO
op_evmergelohi (void)
2684 T0_64
= (T0_64
<< 32) | (T1_64
>> 32);
2688 void OPPROTO
op_evmergehilo (void)
2690 T0_64
= (T0_64
& 0xFFFFFFFF00000000ULL
) | (T1_64
& 0x00000000FFFFFFFFULL
);
2694 void OPPROTO
op_evcmpgts (void)
2700 void OPPROTO
op_evcmpgtu (void)
2706 void OPPROTO
op_evcmplts (void)
2712 void OPPROTO
op_evcmpltu (void)
2718 void OPPROTO
op_evcmpeq (void)
2724 void OPPROTO
op_evfssub (void)
2730 void OPPROTO
op_evfsadd (void)
2736 void OPPROTO
op_evfsnabs (void)
2742 void OPPROTO
op_evfsabs (void)
2748 void OPPROTO
op_evfsneg (void)
2754 void OPPROTO
op_evfsdiv (void)
2760 void OPPROTO
op_evfsmul (void)
2766 void OPPROTO
op_evfscmplt (void)
2772 void OPPROTO
op_evfscmpgt (void)
2778 void OPPROTO
op_evfscmpeq (void)
2784 void OPPROTO
op_evfscfsi (void)
2790 void OPPROTO
op_evfscfui (void)
2796 void OPPROTO
op_evfscfsf (void)
2802 void OPPROTO
op_evfscfuf (void)
2808 void OPPROTO
op_evfsctsi (void)
2814 void OPPROTO
op_evfsctui (void)
2820 void OPPROTO
op_evfsctsf (void)
2826 void OPPROTO
op_evfsctuf (void)
2832 void OPPROTO
op_evfsctuiz (void)
2838 void OPPROTO
op_evfsctsiz (void)
2844 void OPPROTO
op_evfststlt (void)
2850 void OPPROTO
op_evfststgt (void)
2856 void OPPROTO
op_evfststeq (void)
2862 void OPPROTO
op_efssub (void)
2864 T0_64
= _do_efssub(T0_64
, T1_64
);
2868 void OPPROTO
op_efsadd (void)
2870 T0_64
= _do_efsadd(T0_64
, T1_64
);
2874 void OPPROTO
op_efsnabs (void)
2876 T0_64
= _do_efsnabs(T0_64
);
2880 void OPPROTO
op_efsabs (void)
2882 T0_64
= _do_efsabs(T0_64
);
2886 void OPPROTO
op_efsneg (void)
2888 T0_64
= _do_efsneg(T0_64
);
2892 void OPPROTO
op_efsdiv (void)
2894 T0_64
= _do_efsdiv(T0_64
, T1_64
);
2898 void OPPROTO
op_efsmul (void)
2900 T0_64
= _do_efsmul(T0_64
, T1_64
);
2904 void OPPROTO
op_efscmplt (void)
2910 void OPPROTO
op_efscmpgt (void)
2916 void OPPROTO
op_efscfd (void)
2922 void OPPROTO
op_efscmpeq (void)
2928 void OPPROTO
op_efscfsi (void)
2934 void OPPROTO
op_efscfui (void)
2940 void OPPROTO
op_efscfsf (void)
2946 void OPPROTO
op_efscfuf (void)
2952 void OPPROTO
op_efsctsi (void)
2958 void OPPROTO
op_efsctui (void)
2964 void OPPROTO
op_efsctsf (void)
2970 void OPPROTO
op_efsctuf (void)
2976 void OPPROTO
op_efsctsiz (void)
2982 void OPPROTO
op_efsctuiz (void)
2988 void OPPROTO
op_efststlt (void)
2990 T0
= _do_efststlt(T0_64
, T1_64
);
2994 void OPPROTO
op_efststgt (void)
2996 T0
= _do_efststgt(T0_64
, T1_64
);
3000 void OPPROTO
op_efststeq (void)
3002 T0
= _do_efststeq(T0_64
, T1_64
);
3006 void OPPROTO
op_efdsub (void)
3014 u1
.f
= float64_sub(u1
.f
, u2
.f
, &env
->spe_status
);
3019 void OPPROTO
op_efdadd (void)
3027 u1
.f
= float64_add(u1
.f
, u2
.f
, &env
->spe_status
);
3032 void OPPROTO
op_efdcfsid (void)
3038 void OPPROTO
op_efdcfuid (void)
3044 void OPPROTO
op_efdnabs (void)
3046 T0_64
|= 0x8000000000000000ULL
;
3050 void OPPROTO
op_efdabs (void)
3052 T0_64
&= ~0x8000000000000000ULL
;
3056 void OPPROTO
op_efdneg (void)
3058 T0_64
^= 0x8000000000000000ULL
;
3062 void OPPROTO
op_efddiv (void)
3070 u1
.f
= float64_div(u1
.f
, u2
.f
, &env
->spe_status
);
3075 void OPPROTO
op_efdmul (void)
3083 u1
.f
= float64_mul(u1
.f
, u2
.f
, &env
->spe_status
);
3088 void OPPROTO
op_efdctsidz (void)
3094 void OPPROTO
op_efdctuidz (void)
3100 void OPPROTO
op_efdcmplt (void)
3106 void OPPROTO
op_efdcmpgt (void)
3112 void OPPROTO
op_efdcfs (void)
3118 void OPPROTO
op_efdcmpeq (void)
3124 void OPPROTO
op_efdcfsi (void)
3130 void OPPROTO
op_efdcfui (void)
3136 void OPPROTO
op_efdcfsf (void)
3142 void OPPROTO
op_efdcfuf (void)
3148 void OPPROTO
op_efdctsi (void)
3154 void OPPROTO
op_efdctui (void)
3160 void OPPROTO
op_efdctsf (void)
3166 void OPPROTO
op_efdctuf (void)
3172 void OPPROTO
op_efdctuiz (void)
3178 void OPPROTO
op_efdctsiz (void)
3184 void OPPROTO
op_efdtstlt (void)
3186 T0
= _do_efdtstlt(T0_64
, T1_64
);
3190 void OPPROTO
op_efdtstgt (void)
3192 T0
= _do_efdtstgt(T0_64
, T1_64
);
3196 void OPPROTO
op_efdtsteq (void)
3198 T0
= _do_efdtsteq(T0_64
, T1_64
);
3201 #endif /* defined(TARGET_PPCEMB) */