dingusppc/cpu/ppc/ppcfpopcodes.cpp

992 lines
30 KiB
C++
Raw Normal View History

/*
DingusPPC - The Experimental PowerPC Macintosh emulator
2024-02-05 14:22:41 +00:00
Copyright (C) 2018-24 divingkatae and maximum
(theweirdo) spatium
(Contact divingkatae#1017 or powermax#2286 on Discord for more info)
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
2021-10-30 23:43:13 +00:00
// The floating point opcodes for the processor - ppcfpopcodes.cpp
#include "ppcemu.h"
2019-12-27 19:00:53 +00:00
#include "ppcmmu.h"
#include <stdlib.h>
2023-11-30 11:00:50 +00:00
#include <cfenv>
2020-05-12 18:55:45 +00:00
#include <cinttypes>
#include <cmath>
2023-11-20 03:34:40 +00:00
#include <cfloat>
2020-05-12 18:55:45 +00:00
// Used for FP calcs
2020-01-22 02:25:50 +00:00
2020-05-12 18:55:45 +00:00
// Storage and register retrieval functions for the floating point functions.
#define GET_FPR(reg) ppc_state.fpr[(reg)].dbl64_r
2020-01-22 02:25:50 +00:00
double fp_return_double(uint32_t reg) {
return ppc_state.fpr[reg].dbl64_r;
2020-01-22 02:25:50 +00:00
}
uint64_t fp_return_uint64(uint32_t reg) {
return ppc_state.fpr[reg].int64_r;
}
2021-01-25 16:17:02 +00:00
#define ppc_store_sfpresult_int(reg) \
ppc_state.fpr[(reg)].int64_r = ppc_result64_d;
2021-01-25 16:17:02 +00:00
#define ppc_store_sfpresult_flt(reg) \
ppc_state.fpr[(reg)].dbl64_r = ppc_dblresult64_d;
2021-01-24 18:59:16 +00:00
2021-01-25 16:17:02 +00:00
#define ppc_store_dfpresult_int(reg) \
ppc_state.fpr[(reg)].int64_r = ppc_result64_d;
2021-01-24 18:59:16 +00:00
2021-01-25 16:17:02 +00:00
#define ppc_store_dfpresult_flt(reg) \
ppc_state.fpr[(reg)].dbl64_r = ppc_dblresult64_d;
2020-01-22 02:25:50 +00:00
#define ppc_grab_regsfpdb() \
int reg_d = (ppc_cur_instruction >> 21) & 31; \
int reg_b = (ppc_cur_instruction >> 11) & 31;
#define ppc_grab_regsfpdiab() \
int reg_d = (ppc_cur_instruction >> 21) & 31; \
int reg_a = (ppc_cur_instruction >> 16) & 31; \
int reg_b = (ppc_cur_instruction >> 11) & 31; \
uint32_t val_reg_a = ppc_state.gpr[reg_a]; \
uint32_t val_reg_b = ppc_state.gpr[reg_b];
#define ppc_grab_regsfpdia() \
int reg_d = (ppc_cur_instruction >> 21) & 31; \
int reg_a = (ppc_cur_instruction >> 16) & 31; \
uint32_t val_reg_a = ppc_state.gpr[reg_a];
#define ppc_grab_regsfpsia() \
int reg_s = (ppc_cur_instruction >> 21) & 31; \
int reg_a = (ppc_cur_instruction >> 16) & 31; \
uint32_t val_reg_a = ppc_state.gpr[reg_a];
#define ppc_grab_regsfpsiab() \
int reg_s = (ppc_cur_instruction >> 21) & 31; \
int reg_a = (ppc_cur_instruction >> 16) & 31; \
int reg_b = (ppc_cur_instruction >> 11) & 31; \
uint32_t val_reg_a = ppc_state.gpr[reg_a]; \
uint32_t val_reg_b = ppc_state.gpr[reg_b];
#define ppc_grab_regsfpsab() \
int reg_a = (ppc_cur_instruction >> 16) & 31; \
int reg_b = (ppc_cur_instruction >> 11) & 31; \
int crf_d = (ppc_cur_instruction >> 21) & 0x1C; \
double db_test_a = GET_FPR(reg_a); \
double db_test_b = GET_FPR(reg_b);
#define ppc_grab_regsfpdab() \
int reg_d = (ppc_cur_instruction >> 21) & 31; \
int reg_a = (ppc_cur_instruction >> 16) & 31; \
int reg_b = (ppc_cur_instruction >> 11) & 31; \
double val_reg_a = GET_FPR(reg_a); \
double val_reg_b = GET_FPR(reg_b);
#define ppc_grab_regsfpdac() \
int reg_d = (ppc_cur_instruction >> 21) & 31; \
int reg_a = (ppc_cur_instruction >> 16) & 31; \
int reg_c = (ppc_cur_instruction >> 6) & 31; \
double val_reg_a = GET_FPR(reg_a); \
double val_reg_c = GET_FPR(reg_c);
#define ppc_grab_regsfpdabc() \
int reg_d = (ppc_cur_instruction >> 21) & 31; \
int reg_a = (ppc_cur_instruction >> 16) & 31; \
int reg_b = (ppc_cur_instruction >> 11) & 31; \
int reg_c = (ppc_cur_instruction >> 6) & 31; \
double val_reg_a = GET_FPR(reg_a); \
double val_reg_b = GET_FPR(reg_b); \
double val_reg_c = GET_FPR(reg_c);
2020-01-22 02:25:50 +00:00
2023-11-29 17:52:14 +00:00
inline void ppc_update_cr1() {
// copy FPSCR[FX|FEX|VX|OX] to CR1
2023-11-29 17:52:14 +00:00
ppc_state.cr = (ppc_state.cr & ~CR_select::CR1_field) |
((ppc_state.fpscr >> 4) & CR_select::CR1_field);
}
int32_t round_to_nearest(double f) {
return static_cast<int32_t>(static_cast<int64_t> (std::floor(f + 0.5)));
2020-02-16 20:40:55 +00:00
}
2023-11-30 11:00:50 +00:00
void set_host_rounding_mode(uint8_t mode) {
switch(mode & FPSCR::RN_MASK) {
case 0:
std::fesetround(FE_TONEAREST);
break;
case 1:
std::fesetround(FE_TOWARDZERO);
break;
case 2:
std::fesetround(FE_UPWARD);
break;
case 3:
std::fesetround(FE_DOWNWARD);
break;
}
}
void update_fpscr(uint32_t new_fpscr) {
if ((new_fpscr & FPSCR::RN_MASK) != (ppc_state.fpscr & FPSCR::RN_MASK))
set_host_rounding_mode(new_fpscr & FPSCR::RN_MASK);
ppc_state.fpscr = new_fpscr;
}
int32_t round_to_zero(double f) {
return static_cast<int32_t>(std::trunc(f));
2020-02-16 20:40:55 +00:00
}
int32_t round_to_pos_inf(double f) {
return static_cast<int32_t>(std::ceil(f));
2020-02-16 20:40:55 +00:00
}
int32_t round_to_neg_inf(double f) {
return static_cast<int32_t>(std::floor(f));
2020-02-16 20:40:55 +00:00
}
2020-01-22 02:25:50 +00:00
void update_fex() {
int fex_result = !!((ppc_state.fpscr & (ppc_state.fpscr << 22)) & 0x3E000000);
ppc_state.fpscr = (ppc_state.fpscr & ~0x40000000) | (fex_result << 30);
}
template <const FPOP fpop>
2023-11-23 23:56:58 +00:00
void ppc_confirm_inf_nan(int chosen_reg_1, int chosen_reg_2, bool rc_flag = false) {
double input_a = ppc_state.fpr[chosen_reg_1].dbl64_r;
double input_b = ppc_state.fpr[chosen_reg_2].dbl64_r;
ppc_state.fpscr &= 0x7fbfffff;
switch (fpop) {
case FPOP::DIV:
if (std::isinf(input_a) && std::isinf(input_b)) {
ppc_state.fpscr |= (FPSCR::FX | FPSCR::VXIDI);
} else if ((input_a == FP_ZERO) && (input_b == FP_ZERO)) {
ppc_state.fpscr |= (FPSCR::FX | FPSCR::VXZDZ);
2020-01-22 02:25:50 +00:00
}
update_fex();
2020-01-22 02:25:50 +00:00
break;
case FPOP::SUB:
if (std::isinf(input_a) && std::isinf(input_b)) {
ppc_state.fpscr |= (FPSCR::FX | FPSCR::VXISI);
}
if (std::isnan(input_a) && std::isnan(input_b)) {
ppc_state.fpscr |= (FPSCR::FX | FPSCR::VXISI);
2020-01-22 02:25:50 +00:00
}
update_fex();
2020-01-22 02:25:50 +00:00
break;
case FPOP::ADD:
if (std::isnan(input_a) && std::isnan(input_b)) {
ppc_state.fpscr |= (FPSCR::FX | FPSCR::VXISI);
2020-01-22 02:25:50 +00:00
}
update_fex();
2020-01-22 02:25:50 +00:00
break;
case FPOP::SQRT:
if (std::isnan(input_b) || (input_b == -1.0)) {
ppc_state.fpscr |= (FPSCR::FX | FPSCR::VXSQRT);
}
update_fex();
break;
case FPOP::MUL:
2023-11-23 23:56:58 +00:00
if (std::isnan(input_a) && std::isnan(input_b)) {
ppc_state.fpscr |= (FPSCR::FX);
2020-01-22 02:25:50 +00:00
}
update_fex();
2020-01-22 02:25:50 +00:00
break;
}
2021-10-17 21:41:53 +00:00
}
2023-11-30 10:50:03 +00:00
static void fpresult_update(double set_result) {
2023-11-23 23:56:58 +00:00
if (std::isnan(set_result)) {
2023-12-19 10:58:12 +00:00
ppc_state.fpscr |= FPCC_FUNAN | FPRCD;
2021-10-30 23:43:13 +00:00
} else {
2023-11-30 10:50:03 +00:00
if (set_result > 0.0) {
ppc_state.fpscr |= FPCC_POS;
} else if (set_result < 0.0) {
ppc_state.fpscr |= FPCC_NEG;
} else {
ppc_state.fpscr |= FPCC_ZERO;
}
2021-10-24 21:00:35 +00:00
2023-11-30 10:50:03 +00:00
if (std::isinf(set_result))
ppc_state.fpscr |= FPCC_FUNAN;
2021-10-19 14:16:15 +00:00
}
2021-10-30 23:43:13 +00:00
}
2021-10-19 14:16:15 +00:00
2020-05-12 18:55:45 +00:00
// Floating Point Arithmetic
void dppc_interpreter::ppc_fadd() {
ppc_grab_regsfpdab();
2021-10-17 21:41:53 +00:00
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_b)) {
ppc_state.fpscr |= FPCC_FUNAN;
ppc_confirm_inf_nan<ADD>(reg_a, reg_b, rc_flag);
}
double ppc_dblresult64_d = val_reg_a + val_reg_b;
ppc_store_dfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fsub() {
ppc_grab_regsfpdab();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_b)) {
ppc_state.fpscr |= FPCC_FUNAN;
ppc_confirm_inf_nan<SUB>(reg_a, reg_b, rc_flag);
2020-01-22 02:25:50 +00:00
}
double ppc_dblresult64_d = val_reg_a - val_reg_b;
ppc_store_dfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fdiv() {
ppc_grab_regsfpdab();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<DIV>(reg_a, reg_b, rc_flag);
2020-01-22 02:25:50 +00:00
}
double ppc_dblresult64_d = val_reg_a / val_reg_b;
ppc_store_dfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
2021-01-24 03:51:42 +00:00
void dppc_interpreter::ppc_fmul() {
ppc_grab_regsfpdac();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2020-01-22 02:25:50 +00:00
}
double ppc_dblresult64_d = val_reg_a * val_reg_c;
ppc_store_dfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fmadd() {
ppc_grab_regsfpdabc();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2023-11-23 23:56:58 +00:00
}
if (std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<ADD>(reg_a, reg_b, rc_flag);
}
double ppc_dblresult64_d = std::fma(val_reg_a, val_reg_c, val_reg_b);
ppc_store_dfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fmsub() {
ppc_grab_regsfpdabc();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2023-11-23 23:56:58 +00:00
}
if (std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<SUB>(reg_a, reg_b, rc_flag);
}
double ppc_dblresult64_d = std::fma(val_reg_a, val_reg_c, -val_reg_b);
ppc_store_dfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fnmadd() {
ppc_grab_regsfpdabc();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2023-11-23 23:56:58 +00:00
}
if (std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<ADD>(reg_a, reg_b, rc_flag);
}
double ppc_dblresult64_d = -std::fma(val_reg_a, val_reg_c, val_reg_b);
ppc_store_dfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fnmsub() {
ppc_grab_regsfpdabc();
2024-01-05 22:11:37 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2024-01-05 22:11:37 +00:00
}
if (std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<SUB>(reg_a, reg_b, rc_flag);
}
double ppc_dblresult64_d = std::fma(-val_reg_a, val_reg_c, val_reg_b);
2023-11-21 15:06:50 +00:00
ppc_store_dfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fadds() {
ppc_grab_regsfpdab();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_b)) {
2024-02-17 07:35:41 +00:00
ppc_confirm_inf_nan<ADD>(reg_a, reg_b, rc_flag);
2023-11-23 23:56:58 +00:00
}
2023-11-30 11:01:53 +00:00
float ppc_fltresult32_d = val_reg_a + val_reg_b;
double ppc_dblresult64_d = (double)ppc_fltresult32_d;
ppc_store_sfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fsubs() {
ppc_grab_regsfpdab();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<SUB>(reg_a, reg_b, rc_flag);
2023-11-23 23:56:58 +00:00
}
double ppc_dblresult64_d = (float)(val_reg_a - val_reg_b);
ppc_store_sfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fdivs() {
ppc_grab_regsfpdab();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<DIV>(reg_a, reg_b, rc_flag);
2023-11-23 23:56:58 +00:00
}
double ppc_dblresult64_d = (float)(val_reg_a / val_reg_b);
ppc_store_sfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fmuls() {
ppc_grab_regsfpdac();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2020-01-22 02:25:50 +00:00
}
double ppc_dblresult64_d = (float)(val_reg_a * val_reg_c);
2023-11-23 23:56:58 +00:00
ppc_store_sfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
2023-11-23 23:56:58 +00:00
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fmadds() {
ppc_grab_regsfpdabc();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2023-11-23 23:56:58 +00:00
}
if (std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<ADD>(reg_a, reg_b, rc_flag);
2023-11-23 23:56:58 +00:00
}
double ppc_dblresult64_d = (float)std::fma(val_reg_a, val_reg_c, val_reg_b);
2023-11-23 23:56:58 +00:00
ppc_store_sfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fmsubs() {
ppc_grab_regsfpdabc();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2023-11-23 23:56:58 +00:00
}
if (std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<SUB>(reg_a, reg_b, rc_flag);
2023-11-23 23:56:58 +00:00
}
double ppc_dblresult64_d = (float)std::fma(val_reg_a, val_reg_c, -val_reg_b);
2023-11-23 23:56:58 +00:00
ppc_store_sfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fnmadds() {
ppc_grab_regsfpdabc();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2023-11-23 23:56:58 +00:00
}
if (std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<ADD>(reg_a, reg_b, rc_flag);
2023-11-23 23:56:58 +00:00
}
double ppc_dblresult64_d = -(float)std::fma(val_reg_a, val_reg_c, val_reg_b);
2023-11-23 23:56:58 +00:00
ppc_store_sfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fnmsubs() {
ppc_grab_regsfpdabc();
2023-11-23 23:56:58 +00:00
if (std::isnan(val_reg_a) || std::isnan(val_reg_c)) {
ppc_confirm_inf_nan<MUL>(reg_a, reg_c, rc_flag);
2023-11-23 23:56:58 +00:00
}
if (std::isnan(val_reg_b)) {
ppc_confirm_inf_nan<SUB>(reg_a, reg_b, rc_flag);
2023-11-23 23:56:58 +00:00
}
double ppc_dblresult64_d = (float)std::fma(-val_reg_a, val_reg_c, val_reg_b);
2023-11-23 23:56:58 +00:00
ppc_store_sfpresult_flt(reg_d);
2023-11-30 10:50:03 +00:00
fpresult_update(ppc_dblresult64_d);
2020-02-25 14:15:42 +00:00
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fabs() {
ppc_grab_regsfpdb();
double ppc_dblresult64_d = abs(GET_FPR(reg_b));
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_flt(reg_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fnabs() {
ppc_grab_regsfpdb();
double ppc_dblresult64_d = abs(GET_FPR(reg_b));
2020-01-22 02:25:50 +00:00
ppc_dblresult64_d = -ppc_dblresult64_d;
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_flt(reg_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fneg() {
ppc_grab_regsfpdb();
double ppc_dblresult64_d = -(GET_FPR(reg_b));
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_flt(reg_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fsel() {
ppc_grab_regsfpdabc();
double ppc_dblresult64_d = (val_reg_a >= -0.0) ? val_reg_c : val_reg_b;
2020-01-22 02:25:50 +00:00
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_flt(reg_d);
2020-01-22 02:25:50 +00:00
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fsqrt() {
ppc_grab_regsfpdb();
2023-11-23 23:56:58 +00:00
double testd2 = (double)(GET_FPR(reg_b));
double ppc_dblresult64_d = std::sqrt(testd2);
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_flt(reg_d);
ppc_confirm_inf_nan<SQRT>(0, reg_b, rc_flag);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fsqrts() {
ppc_grab_regsfpdb();
2023-11-23 23:56:58 +00:00
double testd2 = (double)(GET_FPR(reg_b));
double ppc_dblresult64_d = (float)std::sqrt(testd2);
2021-01-25 16:17:02 +00:00
ppc_store_sfpresult_flt(reg_d);
ppc_confirm_inf_nan<SQRT>(0, reg_b, rc_flag);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_frsqrte() {
ppc_grab_regsfpdb();
2021-10-07 01:59:31 +00:00
double testd2 = (double)(GET_FPR(reg_b));
double ppc_dblresult64_d = 1.0 / sqrt(testd2);
ppc_confirm_inf_nan<SQRT>(0, reg_b, rc_flag);
2020-01-22 02:25:50 +00:00
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_flt(reg_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_frsp() {
ppc_grab_regsfpdb();
double ppc_dblresult64_d = (float)(GET_FPR(reg_b));
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_flt(reg_d);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fres() {
ppc_grab_regsfpdb();
double start_num = GET_FPR(reg_b);
double ppc_dblresult64_d = (float)(1.0 / start_num);
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_flt(reg_d);
if (start_num == 0.0) {
ppc_state.fpscr |= FPSCR::ZX;
}
else if (std::isnan(start_num)) {
ppc_state.fpscr |= FPSCR::VXSNAN;
2021-10-17 21:41:53 +00:00
}
else if (std::isinf(start_num)){
ppc_state.fpscr &= 0xFFF9FFFF;
2023-11-23 23:56:58 +00:00
ppc_state.fpscr |= FPSCR::VXSNAN;
}
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
static void round_to_int(const uint8_t mode) {
ppc_grab_regsfpdb();
double val_reg_b = GET_FPR(reg_b);
2021-02-05 19:45:57 +00:00
if (std::isnan(val_reg_b)) {
ppc_state.fpscr &= ~(FPSCR::FR | FPSCR::FI);
ppc_state.fpscr |= (FPSCR::VXCVI | FPSCR::VX);
if (!(ppc_state.fpr[reg_b].int64_r & 0x0008000000000000)) // issnan
ppc_state.fpscr |= FPSCR::VXSNAN;
2023-12-17 13:06:38 +00:00
if (ppc_state.fpscr & FPSCR::VE) {
ppc_state.fpscr |= FPSCR::FEX; // VX=1 and VE=1 cause FEX to be set
2023-12-17 13:06:38 +00:00
ppc_floating_point_exception();
} else {
ppc_state.fpr[reg_d].int64_r = 0xFFF8000080000000ULL;
2023-12-17 13:06:38 +00:00
}
} else if (val_reg_b > static_cast<double>(0x7fffffff) ||
val_reg_b < -static_cast<double>(0x80000000)) {
ppc_state.fpscr &= ~(FPSCR::FR | FPSCR::FI);
ppc_state.fpscr |= (FPSCR::VXCVI | FPSCR::VX);
2023-12-17 13:06:38 +00:00
if (ppc_state.fpscr & FPSCR::VE) {
ppc_state.fpscr |= FPSCR::FEX; // VX=1 and VE=1 cause FEX to be set
2023-12-17 13:06:38 +00:00
ppc_floating_point_exception();
} else {
if (val_reg_b >= 0.0f)
ppc_state.fpr[reg_d].int64_r = 0xFFF800007FFFFFFFULL;
else
ppc_state.fpr[reg_d].int64_r = 0xFFF8000080000000ULL;
2023-12-17 13:06:38 +00:00
}
} else {
uint64_t ppc_result64_d;
switch (mode & 0x3) {
2021-02-05 19:45:57 +00:00
case 0:
2024-02-18 14:06:27 +00:00
ppc_result64_d = uint32_t(round_to_nearest(val_reg_b));
break;
2021-02-05 19:45:57 +00:00
case 1:
2024-02-18 14:06:27 +00:00
ppc_result64_d = uint32_t(round_to_zero(val_reg_b));
break;
2021-02-05 19:45:57 +00:00
case 2:
2024-02-18 14:06:27 +00:00
ppc_result64_d = uint32_t(round_to_pos_inf(val_reg_b));
break;
2021-02-05 19:45:57 +00:00
case 3:
2024-02-18 14:06:27 +00:00
ppc_result64_d = uint32_t(round_to_neg_inf(val_reg_b));
break;
2021-02-05 19:45:57 +00:00
}
2020-02-16 20:40:55 +00:00
ppc_result64_d |= 0xFFF8000000000000ULL;
2021-02-05 19:45:57 +00:00
ppc_store_dfpresult_int(reg_d);
}
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_fctiw() {
round_to_int(ppc_state.fpscr & 0x3);
}
void dppc_interpreter::ppc_fctiwz() {
round_to_int(1);
}
2020-05-12 18:55:45 +00:00
// Floating Point Store and Load
void dppc_interpreter::ppc_lfs() {
ppc_grab_regsfpdia();
2024-01-31 15:06:33 +00:00
ppc_effective_address = int32_t(int16_t(ppc_cur_instruction));
ppc_effective_address += (reg_a) ? val_reg_a : 0;
uint32_t result = mmu_read_vmem<uint32_t>(ppc_effective_address);
ppc_state.fpr[reg_d].dbl64_r = *(float*)(&result);
}
void dppc_interpreter::ppc_lfsu() {
ppc_grab_regsfpdia();
if (reg_a) {
2024-01-31 15:06:33 +00:00
ppc_effective_address = int32_t(int16_t(ppc_cur_instruction));
ppc_effective_address += (reg_a) ? val_reg_a : 0;
uint32_t result = mmu_read_vmem<uint32_t>(ppc_effective_address);
ppc_state.fpr[reg_d].dbl64_r = *(float*)(&result);
2021-01-25 16:17:02 +00:00
ppc_state.gpr[reg_a] = ppc_effective_address;
2020-05-12 18:55:45 +00:00
} else {
2020-11-30 19:59:36 +00:00
ppc_exception_handler(Except_Type::EXC_PROGRAM, Exc_Cause::ILLEGAL_OP);
}
}
void dppc_interpreter::ppc_lfsx() {
ppc_grab_regsfpdiab();
ppc_effective_address = val_reg_b + (reg_a ? val_reg_a : 0);
uint32_t result = mmu_read_vmem<uint32_t>(ppc_effective_address);
ppc_state.fpr[reg_d].dbl64_r = *(float*)(&result);
}
void dppc_interpreter::ppc_lfsux() {
ppc_grab_regsfpdiab();
if (reg_a) {
ppc_effective_address = val_reg_a + val_reg_b;
uint32_t result = mmu_read_vmem<uint32_t>(ppc_effective_address);
ppc_state.fpr[reg_d].dbl64_r = *(float*)(&result);
2021-01-25 16:17:02 +00:00
ppc_state.gpr[reg_a] = ppc_effective_address;
2020-05-12 18:55:45 +00:00
} else {
2020-11-30 19:59:36 +00:00
ppc_exception_handler(Except_Type::EXC_PROGRAM, Exc_Cause::ILLEGAL_OP);
}
}
void dppc_interpreter::ppc_lfd() {
ppc_grab_regsfpdia();
2024-01-31 15:06:33 +00:00
ppc_effective_address = int32_t(int16_t(ppc_cur_instruction));
ppc_effective_address += (reg_a) ? val_reg_a : 0;
uint64_t ppc_result64_d = mmu_read_vmem<uint64_t>(ppc_effective_address);
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_int(reg_d);
}
void dppc_interpreter::ppc_lfdu() {
ppc_grab_regsfpdia();
if (reg_a != 0) {
2024-01-31 15:06:33 +00:00
ppc_effective_address = int32_t(int16_t(ppc_cur_instruction));
ppc_effective_address += val_reg_a;
uint64_t ppc_result64_d = mmu_read_vmem<uint64_t>(ppc_effective_address);
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_int(reg_d);
ppc_state.gpr[reg_a] = ppc_effective_address;
2020-05-12 18:55:45 +00:00
} else {
2020-11-30 19:59:36 +00:00
ppc_exception_handler(Except_Type::EXC_PROGRAM, Exc_Cause::ILLEGAL_OP);
}
}
void dppc_interpreter::ppc_lfdx() {
ppc_grab_regsfpdiab();
ppc_effective_address = val_reg_b + (reg_a ? val_reg_a : 0);
uint64_t ppc_result64_d = mmu_read_vmem<uint64_t>(ppc_effective_address);
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_int(reg_d);
}
void dppc_interpreter::ppc_lfdux() {
ppc_grab_regsfpdiab();
if (reg_a) {
ppc_effective_address = val_reg_a + val_reg_b;
uint64_t ppc_result64_d = mmu_read_vmem<uint64_t>(ppc_effective_address);
2021-01-25 16:17:02 +00:00
ppc_store_dfpresult_int(reg_d);
ppc_state.gpr[reg_a] = ppc_effective_address;
2020-05-12 18:55:45 +00:00
} else {
2020-11-30 19:59:36 +00:00
ppc_exception_handler(Except_Type::EXC_PROGRAM, Exc_Cause::ILLEGAL_OP);
}
}
void dppc_interpreter::ppc_stfs() {
ppc_grab_regsfpsia();
2024-01-31 15:06:33 +00:00
ppc_effective_address = int32_t(int16_t(ppc_cur_instruction));
ppc_effective_address += (reg_a) ? val_reg_a : 0;
float result = ppc_state.fpr[reg_s].dbl64_r;
2024-02-17 08:10:09 +00:00
mmu_write_vmem<uint32_t>(ppc_effective_address, *(uint32_t*)(&result));
}
void dppc_interpreter::ppc_stfsu() {
ppc_grab_regsfpsia();
if (reg_a != 0) {
2024-01-31 15:06:33 +00:00
ppc_effective_address = int32_t(int16_t(ppc_cur_instruction));
ppc_effective_address += val_reg_a;
float result = ppc_state.fpr[reg_s].dbl64_r;
2024-02-17 08:10:09 +00:00
mmu_write_vmem<uint32_t>(ppc_effective_address, *(uint32_t*)(&result));
2021-01-25 16:17:02 +00:00
ppc_state.gpr[reg_a] = ppc_effective_address;
2020-05-12 18:55:45 +00:00
} else {
2020-11-30 19:59:36 +00:00
ppc_exception_handler(Except_Type::EXC_PROGRAM, Exc_Cause::ILLEGAL_OP);
}
}
void dppc_interpreter::ppc_stfsx() {
ppc_grab_regsfpsiab();
ppc_effective_address = val_reg_b + (reg_a ? val_reg_a : 0);
float result = ppc_state.fpr[reg_s].dbl64_r;
2024-02-17 08:10:09 +00:00
mmu_write_vmem<uint32_t>(ppc_effective_address, *(uint32_t*)(&result));
}
void dppc_interpreter::ppc_stfsux() {
ppc_grab_regsfpsiab();
if (reg_a) {
ppc_effective_address = val_reg_a + val_reg_b;
float result = ppc_state.fpr[reg_s].dbl64_r;
2024-02-17 08:10:09 +00:00
mmu_write_vmem<uint32_t>(ppc_effective_address, *(uint32_t*)(&result));
2021-01-25 16:17:02 +00:00
ppc_state.gpr[reg_a] = ppc_effective_address;
2020-05-12 18:55:45 +00:00
} else {
2020-11-30 19:59:36 +00:00
ppc_exception_handler(Except_Type::EXC_PROGRAM, Exc_Cause::ILLEGAL_OP);
}
}
void dppc_interpreter::ppc_stfd() {
ppc_grab_regsfpsia();
2024-01-31 15:06:33 +00:00
ppc_effective_address = int32_t(int16_t(ppc_cur_instruction));
2024-02-18 14:06:27 +00:00
ppc_effective_address += reg_a ? val_reg_a : 0;
2021-08-03 14:01:32 +00:00
mmu_write_vmem<uint64_t>(ppc_effective_address, ppc_state.fpr[reg_s].int64_r);
}
void dppc_interpreter::ppc_stfdu() {
ppc_grab_regsfpsia();
if (reg_a != 0) {
2024-01-31 15:06:33 +00:00
ppc_effective_address = int32_t(int16_t(ppc_cur_instruction));
ppc_effective_address += val_reg_a;
2021-08-03 14:01:32 +00:00
mmu_write_vmem<uint64_t>(ppc_effective_address, ppc_state.fpr[reg_s].int64_r);
2021-01-25 16:17:02 +00:00
ppc_state.gpr[reg_a] = ppc_effective_address;
2020-05-12 18:55:45 +00:00
} else {
2020-11-30 19:59:36 +00:00
ppc_exception_handler(Except_Type::EXC_PROGRAM, Exc_Cause::ILLEGAL_OP);
}
}
void dppc_interpreter::ppc_stfdx() {
ppc_grab_regsfpsiab();
ppc_effective_address = val_reg_b + (reg_a ? val_reg_a : 0);
2021-08-03 14:01:32 +00:00
mmu_write_vmem<uint64_t>(ppc_effective_address, ppc_state.fpr[reg_s].int64_r);
}
void dppc_interpreter::ppc_stfdux() {
ppc_grab_regsfpsiab();
if (reg_a != 0) {
ppc_effective_address = val_reg_a + val_reg_b;
2021-08-03 14:01:32 +00:00
mmu_write_vmem<uint64_t>(ppc_effective_address, ppc_state.fpr[reg_s].int64_r);
2021-01-25 16:17:02 +00:00
ppc_state.gpr[reg_a] = ppc_effective_address;
2020-05-12 18:55:45 +00:00
} else {
2020-11-30 19:59:36 +00:00
ppc_exception_handler(Except_Type::EXC_PROGRAM, Exc_Cause::ILLEGAL_OP);
}
}
void dppc_interpreter::ppc_stfiwx() {
ppc_grab_regsfpsiab();
ppc_effective_address = val_reg_b + (reg_a ? val_reg_a : 0);
2024-02-18 14:06:27 +00:00
mmu_write_vmem<uint32_t>(ppc_effective_address, uint32_t(ppc_state.fpr[reg_s].int64_r));
}
2020-01-22 02:25:50 +00:00
2020-05-12 18:55:45 +00:00
// Floating Point Register Transfer
void dppc_interpreter::ppc_fmr() {
ppc_grab_regsfpdb();
ppc_state.fpr[reg_d].dbl64_r = ppc_state.fpr[reg_b].dbl64_r;
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
2024-03-07 10:21:01 +00:00
template <bool for601>
void dppc_interpreter::ppc_mffs() {
ppc_grab_regsda();
2024-03-07 10:21:01 +00:00
ppc_state.fpr[reg_d].int64_r = uint64_t(ppc_state.fpscr) | (for601 ? 0xFFFFFFFF00000000ULL : 0xFFF8000000000000ULL);
2024-02-05 14:02:26 +00:00
if (rc_flag)
ppc_update_cr1();
}
2024-03-07 10:21:01 +00:00
template void dppc_interpreter::ppc_mffs<false>();
template void dppc_interpreter::ppc_mffs<true>();
void dppc_interpreter::ppc_mtfsf() {
2024-01-02 15:44:21 +00:00
int reg_b = (ppc_cur_instruction >> 11) & 0x1F;
uint8_t fm = (ppc_cur_instruction >> 17) & 0xFF;
uint32_t cr_mask = 0;
2024-01-02 15:44:21 +00:00
if (fm == 0xFFU) // the fast case
cr_mask = 0xFFFFFFFFUL;
else { // the slow case
if (fm & 0x80) cr_mask |= 0xF0000000UL;
if (fm & 0x40) cr_mask |= 0x0F000000UL;
if (fm & 0x20) cr_mask |= 0x00F00000UL;
if (fm & 0x10) cr_mask |= 0x000F0000UL;
if (fm & 0x08) cr_mask |= 0x0000F000UL;
if (fm & 0x04) cr_mask |= 0x00000F00UL;
if (fm & 0x02) cr_mask |= 0x000000F0UL;
if (fm & 0x01) cr_mask |= 0x0000000FUL;
}
// ensure neither FEX nor VX will be changed
cr_mask &= ~(FPSCR::FEX | FPSCR::VX);
// copy FPR[reg_b] to FPSCR under control of cr_mask
ppc_state.fpscr = (ppc_state.fpscr & ~cr_mask) | (ppc_state.fpr[reg_b].int64_r & cr_mask);
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_mtfsfi() {
2024-01-02 15:12:12 +00:00
int crf_d = (ppc_cur_instruction >> 21) & 0x1C;
uint32_t imm = (ppc_cur_instruction << 16) & 0xF0000000UL;
// prepare field mask and ensure that neither FEX nor VX will be changed
uint32_t mask = (0xF0000000UL >> crf_d) & ~(FPSCR::FEX | FPSCR::VX);
// copy imm to FPSCR[crf_d] under control of the field mask
ppc_state.fpscr = (ppc_state.fpscr & ~mask) | ((imm >> crf_d) & mask);
// TODO: update FEX and VX according to the "usual rule"
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_mtfsb0() {
int crf_d = (ppc_cur_instruction >> 21) & 0x1F;
if (!crf_d || (crf_d > 2)) { // FEX and VX can't be explicitely cleared
ppc_state.fpscr &= ~(0x80000000UL >> crf_d);
}
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_mtfsb1() {
int crf_d = (ppc_cur_instruction >> 21) & 0x1F;
if (!crf_d || (crf_d > 2)) { // FEX and VX can't be explicitely set
ppc_state.fpscr |= (0x80000000UL >> crf_d);
}
if (rc_flag)
2023-11-29 17:52:14 +00:00
ppc_update_cr1();
}
void dppc_interpreter::ppc_mcrfs() {
2023-12-17 13:03:36 +00:00
int crf_d = (ppc_cur_instruction >> 21) & 0x1C;
int crf_s = (ppc_cur_instruction >> 16) & 0x1C;
ppc_state.cr = (
(ppc_state.cr & ~(0xF0000000UL >> crf_d)) |
(((ppc_state.fpscr << crf_s) & 0xF0000000UL) >> crf_d)
);
ppc_state.fpscr &= ~((0xF0000000UL >> crf_s) & (
// keep only the FPSCR bits that can be explicitly cleared
FPSCR::FX | FPSCR::OX |
FPSCR::UX | FPSCR::ZX | FPSCR::XX | FPSCR::VXSNAN |
FPSCR::VXISI | FPSCR::VXIDI | FPSCR::VXZDZ | FPSCR::VXIMZ |
FPSCR::VXVC |
FPSCR::VXSOFT | FPSCR::VXSQRT | FPSCR::VXCVI
));
}
2020-05-12 18:55:45 +00:00
// Floating Point Comparisons
void dppc_interpreter::ppc_fcmpo() {
ppc_grab_regsfpsab();
uint32_t cmp_c = 0;
2020-01-22 02:25:50 +00:00
if (std::isnan(db_test_a) || std::isnan(db_test_b)) {
2023-12-19 10:58:12 +00:00
// TODO: test for SNAN operands
// for now, assume that at least one of the operands is QNAN
2023-12-19 13:26:51 +00:00
cmp_c |= CRx_bit::CR_SO;
2021-10-30 23:43:13 +00:00
}
else if (db_test_a < db_test_b) {
2023-12-19 13:26:51 +00:00
cmp_c |= CRx_bit::CR_LT;
}
2021-10-30 23:43:13 +00:00
else if (db_test_a > db_test_b) {
2023-12-19 13:26:51 +00:00
cmp_c |= CRx_bit::CR_GT;
2021-10-30 23:43:13 +00:00
}
else {
2023-12-19 13:26:51 +00:00
cmp_c |= CRx_bit::CR_EQ;
}
2023-12-19 10:58:12 +00:00
ppc_state.fpscr = (ppc_state.fpscr & ~FPSCR::FPCC_MASK) | (cmp_c >> 16); // update FPCC
2024-02-18 14:06:27 +00:00
ppc_state.cr = ((ppc_state.cr & ~(0xF0000000 >> crf_d)) | (cmp_c >> crf_d));
}
void dppc_interpreter::ppc_fcmpu() {
ppc_grab_regsfpsab();
uint32_t cmp_c = 0;
2020-01-22 02:25:50 +00:00
if (std::isnan(db_test_a) || std::isnan(db_test_b)) {
2023-12-19 10:58:12 +00:00
// TODO: test for SNAN operands
2023-12-19 13:26:51 +00:00
cmp_c |= CRx_bit::CR_SO;
2021-10-30 23:43:13 +00:00
}
else if (db_test_a < db_test_b) {
2023-12-19 13:26:51 +00:00
cmp_c |= CRx_bit::CR_LT;
}
2021-10-30 23:43:13 +00:00
else if (db_test_a > db_test_b) {
2023-12-19 13:26:51 +00:00
cmp_c |= CRx_bit::CR_GT;
2021-10-30 23:43:13 +00:00
}
else {
2023-12-19 13:26:51 +00:00
cmp_c |= CRx_bit::CR_EQ;
}
2023-12-19 10:58:12 +00:00
ppc_state.fpscr = (ppc_state.fpscr & ~FPSCR::FPCC_MASK) | (cmp_c >> 16); // update FPCC
2024-02-18 14:06:27 +00:00
ppc_state.cr = ((ppc_state.cr & ~(0xF0000000UL >> crf_d)) | (cmp_c >> crf_d));
}