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) */