2021-10-23 19:00:31 +00:00
|
|
|
/*
|
|
|
|
DingusPPC - The Experimental PowerPC Macintosh emulator
|
|
|
|
Copyright (C) 2018-21 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/>.
|
|
|
|
*/
|
|
|
|
|
2020-05-12 18:55:45 +00:00
|
|
|
#include "../ppcdisasm.h"
|
|
|
|
#include "../ppcemu.h"
|
2021-10-15 04:05:58 +00:00
|
|
|
#include <cmath>
|
2020-01-31 03:10:53 +00:00
|
|
|
#include <fstream>
|
|
|
|
#include <iomanip>
|
2020-05-12 18:55:45 +00:00
|
|
|
#include <iostream>
|
|
|
|
#include <sstream>
|
2020-01-31 03:10:53 +00:00
|
|
|
#include <string>
|
2020-05-12 18:55:45 +00:00
|
|
|
#include <vector>
|
2020-01-31 03:10:53 +00:00
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
|
|
|
|
int ntested; /* number of tested instructions */
|
|
|
|
int nfailed; /* number of failed instructions */
|
|
|
|
|
2020-05-12 18:55:45 +00:00
|
|
|
void xer_ov_test(string mnem, uint32_t opcode) {
|
|
|
|
ppc_state.gpr[3] = 2;
|
|
|
|
ppc_state.gpr[4] = 2;
|
2020-03-05 04:29:04 +00:00
|
|
|
ppc_state.spr[SPR::XER] = 0xFFFFFFFF;
|
2020-05-12 18:55:45 +00:00
|
|
|
ppc_cur_instruction = opcode;
|
2020-02-10 18:34:03 +00:00
|
|
|
ppc_main_opcode();
|
2020-03-05 04:29:04 +00:00
|
|
|
if (ppc_state.spr[SPR::XER] & 0x40000000UL) {
|
2020-05-12 18:55:45 +00:00
|
|
|
cout << "Invalid " << mnem << " emulation! XER[OV] should not be set." << endl;
|
2020-02-10 18:34:03 +00:00
|
|
|
nfailed++;
|
|
|
|
}
|
|
|
|
ntested++;
|
|
|
|
}
|
|
|
|
|
2020-05-12 18:55:45 +00:00
|
|
|
void xer_update_test() {
|
|
|
|
xer_ov_test("ADDCO", 0x7C632414);
|
|
|
|
xer_ov_test("ADDCO.", 0x7C632415);
|
|
|
|
xer_ov_test("ADDO", 0x7C632614);
|
|
|
|
xer_ov_test("ADDO.", 0x7C632615);
|
|
|
|
xer_ov_test("ADDEO", 0x7C632514);
|
|
|
|
xer_ov_test("ADDEO.", 0x7C632515);
|
|
|
|
xer_ov_test("ADDMEO", 0x7C6305D4);
|
|
|
|
xer_ov_test("ADDMEO.", 0x7C6305D5);
|
|
|
|
xer_ov_test("ADDZEO", 0x7C630594);
|
|
|
|
xer_ov_test("ADDZEO.", 0x7C630595);
|
|
|
|
xer_ov_test("DIVWO", 0x7C6327D6);
|
|
|
|
xer_ov_test("DIVWO.", 0x7C6327D7);
|
|
|
|
xer_ov_test("DIVWUO", 0x7C632796);
|
|
|
|
xer_ov_test("DIVWUO.", 0x7C632797);
|
|
|
|
xer_ov_test("MULLWO", 0x7C6325D6);
|
|
|
|
xer_ov_test("MULLWO.", 0x7C6325D7);
|
|
|
|
xer_ov_test("NEGO", 0x7C6304D0);
|
|
|
|
xer_ov_test("NEGO.", 0x7C6304D1);
|
|
|
|
xer_ov_test("SUBFO", 0x7C632450);
|
|
|
|
xer_ov_test("SUBFO.", 0x7C632451);
|
|
|
|
xer_ov_test("SUBFCO", 0x7C632410);
|
|
|
|
xer_ov_test("SUBFCO.", 0x7C632411);
|
|
|
|
xer_ov_test("SUBFEO", 0x7C632510);
|
|
|
|
xer_ov_test("SUBFEO.", 0x7C632511);
|
|
|
|
xer_ov_test("SUBFMEO", 0x7C6305D0);
|
2020-02-10 18:34:03 +00:00
|
|
|
xer_ov_test("SUBFMEO.", 0x7C6305D1);
|
2020-05-12 18:55:45 +00:00
|
|
|
xer_ov_test("SUBFZEO", 0x7C630590);
|
2020-02-10 18:34:03 +00:00
|
|
|
xer_ov_test("SUBFZEO.", 0x7C630591);
|
|
|
|
}
|
|
|
|
|
2020-01-31 03:10:53 +00:00
|
|
|
/** testing vehicle */
|
2020-05-12 18:55:45 +00:00
|
|
|
static void read_test_data() {
|
|
|
|
string line, token;
|
|
|
|
int i, lineno;
|
2020-01-31 03:10:53 +00:00
|
|
|
uint32_t opcode, dest, src1, src2, check_xer, check_cr;
|
|
|
|
|
2020-05-12 18:55:45 +00:00
|
|
|
ifstream tfstream("ppcinttests.csv");
|
2020-01-31 03:10:53 +00:00
|
|
|
if (!tfstream.is_open()) {
|
|
|
|
cout << "Could not open tests CSV file. Exiting..." << endl;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
lineno = 0;
|
|
|
|
|
2020-05-12 18:55:45 +00:00
|
|
|
while (getline(tfstream, line)) {
|
2020-01-31 03:10:53 +00:00
|
|
|
lineno++;
|
|
|
|
|
|
|
|
if (line.empty() || !line.rfind("#", 0))
|
|
|
|
continue; /* skip empty/comment lines */
|
|
|
|
|
|
|
|
istringstream lnstream(line);
|
|
|
|
|
|
|
|
vector<string> tokens;
|
|
|
|
|
2020-05-12 18:55:45 +00:00
|
|
|
while (getline(lnstream, token, ',')) {
|
2020-01-31 03:10:53 +00:00
|
|
|
tokens.push_back(token);
|
|
|
|
}
|
|
|
|
|
2020-01-31 17:04:50 +00:00
|
|
|
if (tokens.size() < 5) {
|
2020-01-31 03:10:53 +00:00
|
|
|
cout << "Too few values in line " << lineno << ". Skipping..." << endl;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2020-01-31 20:53:02 +00:00
|
|
|
opcode = stoul(tokens[1], NULL, 16);
|
2020-01-31 03:10:53 +00:00
|
|
|
|
2020-05-12 18:55:45 +00:00
|
|
|
dest = 0;
|
|
|
|
src1 = 0;
|
|
|
|
src2 = 0;
|
2020-01-31 03:10:53 +00:00
|
|
|
check_xer = 0;
|
|
|
|
check_cr = 0;
|
|
|
|
|
|
|
|
for (i = 2; i < tokens.size(); i++) {
|
|
|
|
if (tokens[i].rfind("rD=", 0) == 0) {
|
2020-01-31 20:53:02 +00:00
|
|
|
dest = stoul(tokens[i].substr(3), NULL, 16);
|
2020-01-31 03:10:53 +00:00
|
|
|
} else if (tokens[i].rfind("rA=", 0) == 0) {
|
2020-01-31 20:53:02 +00:00
|
|
|
src1 = stoul(tokens[i].substr(3), NULL, 16);
|
2020-01-31 03:10:53 +00:00
|
|
|
} else if (tokens[i].rfind("rB=", 0) == 0) {
|
2020-01-31 20:53:02 +00:00
|
|
|
src2 = stoul(tokens[i].substr(3), NULL, 16);
|
2020-01-31 03:10:53 +00:00
|
|
|
} else if (tokens[i].rfind("XER=", 0) == 0) {
|
2020-01-31 20:53:02 +00:00
|
|
|
check_xer = stoul(tokens[i].substr(4), NULL, 16);
|
2020-01-31 03:10:53 +00:00
|
|
|
} else if (tokens[i].rfind("CR=", 0) == 0) {
|
2020-01-31 20:53:02 +00:00
|
|
|
check_cr = stoul(tokens[i].substr(3), NULL, 16);
|
2020-01-31 03:10:53 +00:00
|
|
|
} else {
|
2020-05-12 18:55:45 +00:00
|
|
|
cout << "Unknown parameter " << tokens[i] << " in line " << lineno << ". Exiting..."
|
|
|
|
<< endl;
|
2020-01-31 03:10:53 +00:00
|
|
|
exit(0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-12 18:55:45 +00:00
|
|
|
ppc_state.gpr[3] = src1;
|
|
|
|
ppc_state.gpr[4] = src2;
|
2021-06-26 04:20:53 +00:00
|
|
|
|
2020-03-05 04:29:04 +00:00
|
|
|
ppc_state.spr[SPR::XER] = 0;
|
2020-05-12 18:55:45 +00:00
|
|
|
ppc_state.cr = 0;
|
2020-01-31 03:10:53 +00:00
|
|
|
|
|
|
|
ppc_cur_instruction = opcode;
|
|
|
|
|
|
|
|
ppc_main_opcode();
|
|
|
|
|
|
|
|
ntested++;
|
|
|
|
|
2020-03-05 04:29:04 +00:00
|
|
|
if ((tokens[0].rfind("CMP") && (ppc_state.gpr[3] != dest)) ||
|
2020-05-12 18:55:45 +00:00
|
|
|
(ppc_state.spr[SPR::XER] != check_xer) || (ppc_state.cr != check_cr)) {
|
|
|
|
cout << "Mismatch: instr=" << tokens[0] << ", src1=0x" << hex << src1 << ", src2=0x"
|
|
|
|
<< hex << src2 << endl;
|
|
|
|
cout << "expected: dest=0x" << hex << dest << ", XER=0x" << hex << check_xer
|
|
|
|
<< ", CR=0x" << hex << check_cr << endl;
|
|
|
|
cout << "got: dest=0x" << hex << ppc_state.gpr[3] << ", XER=0x" << hex
|
|
|
|
<< ppc_state.spr[SPR::XER] << ", CR=0x" << hex << ppc_state.cr << endl;
|
2020-02-03 19:36:22 +00:00
|
|
|
cout << "Test file line #: " << dec << lineno << endl << endl;
|
2020-01-31 03:10:53 +00:00
|
|
|
|
|
|
|
nfailed++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-06-26 04:20:53 +00:00
|
|
|
static void read_test_float_data() {
|
|
|
|
string line, token;
|
|
|
|
int i, lineno;
|
|
|
|
|
|
|
|
uint32_t opcode, dest, src1, src2, check_xer, check_cr, check_fpscr;
|
2021-10-19 14:16:15 +00:00
|
|
|
uint64_t dest_64, src1_64, src2_64;
|
2021-10-15 04:05:58 +00:00
|
|
|
//float sfp_dest, sfp_src1, sfp_src2, sfp_src3;
|
2021-06-26 04:20:53 +00:00
|
|
|
double dfp_dest, dfp_src1, dfp_src2, dfp_src3;
|
|
|
|
string rounding_mode;
|
|
|
|
|
|
|
|
ifstream tf2stream("ppcfloattests.csv");
|
|
|
|
if (!tf2stream.is_open()) {
|
|
|
|
cout << "Could not open tests CSV file. Exiting..." << endl;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
lineno = 0;
|
|
|
|
|
|
|
|
while (getline(tf2stream, line)) {
|
|
|
|
lineno++;
|
|
|
|
|
|
|
|
if (line.empty() || !line.rfind("#", 0))
|
|
|
|
continue; /* skip empty/comment lines */
|
|
|
|
|
|
|
|
istringstream lnstream(line);
|
|
|
|
|
|
|
|
vector<string> tokens;
|
|
|
|
|
|
|
|
while (getline(lnstream, token, ',')) {
|
|
|
|
tokens.push_back(token);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (tokens.size() < 5) {
|
|
|
|
cout << "Too few values in line " << lineno << ". Skipping..." << endl;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
opcode = stoul(tokens[1], NULL, 16);
|
|
|
|
|
|
|
|
src1 = 0;
|
|
|
|
src2 = 0;
|
|
|
|
check_xer = 0;
|
|
|
|
check_cr = 0;
|
|
|
|
check_fpscr = 0;
|
2021-10-15 04:05:58 +00:00
|
|
|
//sfp_dest = 0.0;
|
|
|
|
//sfp_src1 = 0.0;
|
|
|
|
//sfp_src2 = 0.0;
|
|
|
|
//sfp_src3 = 0.0;
|
2021-06-26 04:20:53 +00:00
|
|
|
dfp_dest = 0.0;
|
|
|
|
dfp_src1 = 0.0;
|
|
|
|
dfp_src2 = 0.0;
|
|
|
|
dfp_src3 = 0.0;
|
2021-10-19 14:16:15 +00:00
|
|
|
dest_64 = 0;
|
2021-06-26 04:20:53 +00:00
|
|
|
|
|
|
|
for (i = 2; i < tokens.size(); i++) {
|
|
|
|
if (tokens[i].rfind("frD=", 0) == 0) {
|
2021-10-19 14:16:15 +00:00
|
|
|
dest_64 = stoull(tokens[i].substr(4), NULL, 16);
|
2021-06-26 04:20:53 +00:00
|
|
|
} else if (tokens[i].rfind("frA=", 0) == 0) {
|
2021-10-15 04:05:58 +00:00
|
|
|
dfp_src1 = stod(tokens[i].substr(4), NULL);
|
2021-06-26 04:20:53 +00:00
|
|
|
} else if (tokens[i].rfind("frB=", 0) == 0) {
|
2021-10-15 04:05:58 +00:00
|
|
|
dfp_src2 = stod(tokens[i].substr(4), NULL);
|
2021-06-26 04:20:53 +00:00
|
|
|
} else if (tokens[i].rfind("frC=", 0) == 0) {
|
2021-10-15 04:05:58 +00:00
|
|
|
dfp_src3 = stod(tokens[i].substr(4), NULL);
|
2021-06-26 04:20:53 +00:00
|
|
|
} else if (tokens[i].rfind("round=", 0) == 0) {
|
|
|
|
rounding_mode = tokens[i].substr(6, 3);
|
2021-10-30 23:43:13 +00:00
|
|
|
ppc_state.fpscr = 0;
|
2021-06-26 04:20:53 +00:00
|
|
|
if (rounding_mode.compare("RTN") == 0) {
|
2021-10-19 14:16:15 +00:00
|
|
|
ppc_state.fpscr = 0x0;
|
2021-06-26 04:20:53 +00:00
|
|
|
} else if (rounding_mode.compare("RTZ") == 0) {
|
2021-10-19 14:16:15 +00:00
|
|
|
ppc_state.fpscr = 0x1;
|
2021-06-26 04:20:53 +00:00
|
|
|
} else if (rounding_mode.compare("RPI") == 0) {
|
2021-10-19 14:16:15 +00:00
|
|
|
ppc_state.fpscr = 0x2;
|
2021-06-26 04:20:53 +00:00
|
|
|
} else if (rounding_mode.compare("RNI") == 0) {
|
2021-10-19 14:16:15 +00:00
|
|
|
ppc_state.fpscr = 0x3;
|
2021-10-14 14:19:04 +00:00
|
|
|
} else if (rounding_mode.compare("VEN") == 0) {
|
2021-10-19 14:16:15 +00:00
|
|
|
ppc_state.fpscr = FPSCR::VE;
|
2021-06-26 04:20:53 +00:00
|
|
|
} else {
|
|
|
|
cout << "ILLEGAL ROUNDING METHOD: " << tokens[i] << " in line " << lineno
|
|
|
|
<< ". Exiting..." << endl;
|
|
|
|
exit(0);
|
|
|
|
}
|
|
|
|
} else if (tokens[i].rfind("FPSCR=", 0) == 0) {
|
2021-10-17 05:33:56 +00:00
|
|
|
check_fpscr = stoul(tokens[i].substr(6), NULL, 16);
|
2021-06-26 04:20:53 +00:00
|
|
|
} else if (tokens[i].rfind("CR=", 0) == 0) {
|
|
|
|
check_cr = stoul(tokens[i].substr(3), NULL, 16);
|
|
|
|
} else {
|
|
|
|
cout << "Unknown parameter " << tokens[i] << " in line " << lineno << ". Exiting..."
|
|
|
|
<< endl;
|
|
|
|
exit(0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
ppc_state.gpr[3] = src1;
|
|
|
|
ppc_state.gpr[4] = src2;
|
|
|
|
|
|
|
|
ppc_state.fpr[3].dbl64_r = dfp_src1;
|
|
|
|
ppc_state.fpr[4].dbl64_r = dfp_src2;
|
|
|
|
ppc_state.fpr[5].dbl64_r = dfp_src3;
|
|
|
|
|
2021-10-30 23:43:13 +00:00
|
|
|
ppc_state.cr = 0;
|
2021-06-26 04:20:53 +00:00
|
|
|
|
|
|
|
ppc_cur_instruction = opcode;
|
|
|
|
|
|
|
|
ppc_main_opcode();
|
|
|
|
|
|
|
|
ntested++;
|
|
|
|
|
2021-10-19 14:16:15 +00:00
|
|
|
if ((tokens[0].rfind("FCMP") && (ppc_state.fpr[3].int64_r != dest_64)) ||
|
2021-10-14 14:19:04 +00:00
|
|
|
(ppc_state.fpscr != check_fpscr) ||
|
2021-06-26 04:20:53 +00:00
|
|
|
(ppc_state.cr != check_cr)) {
|
2021-10-17 05:33:56 +00:00
|
|
|
cout << "Mismatch: instr=" << tokens[0] << ", src1=" << scientific << dfp_src1 << ", src2=" << scientific << dfp_src2 << ", src3=" << scientific << dfp_src3 << endl;
|
2021-10-19 14:16:15 +00:00
|
|
|
cout << "expected: dest=0x" << hex << dest_64 << ", FPSCR=0x" << hex << check_fpscr
|
2021-10-14 14:19:04 +00:00
|
|
|
<< ", CR=0x"
|
2021-06-26 04:20:53 +00:00
|
|
|
<< hex << check_cr << endl;
|
2021-10-19 14:16:15 +00:00
|
|
|
cout << "got: dest=0x" << hex << ppc_state.fpr[3].int64_r << ", FPSCR=0x" << hex
|
2021-06-26 04:20:53 +00:00
|
|
|
<< ppc_state.fpscr << ", CR=0x" << hex << ppc_state.cr << endl;
|
|
|
|
cout << "Test file line #: " << dec << lineno << endl << endl;
|
|
|
|
|
|
|
|
nfailed++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-12 18:55:45 +00:00
|
|
|
int main() {
|
2020-10-17 21:30:37 +00:00
|
|
|
initialize_ppc_opcode_tables(); //kludge
|
|
|
|
|
2020-01-31 03:10:53 +00:00
|
|
|
cout << "Running DingusPPC emulator tests..." << endl << endl;
|
|
|
|
|
2020-02-10 18:34:03 +00:00
|
|
|
ntested = 0;
|
2020-01-31 03:10:53 +00:00
|
|
|
nfailed = 0;
|
|
|
|
|
2020-02-10 18:34:03 +00:00
|
|
|
cout << "Testing XER[OV] updating..." << endl << endl;
|
|
|
|
|
|
|
|
xer_update_test();
|
|
|
|
|
|
|
|
cout << endl << "Testing integer instructions:" << endl;
|
|
|
|
|
2020-01-31 03:10:53 +00:00
|
|
|
read_test_data();
|
|
|
|
|
2021-10-30 23:43:13 +00:00
|
|
|
cout << endl << "Float IEEE suport: " << (bool)std::numeric_limits<float>::is_iec559 << endl;
|
|
|
|
cout << endl << "Double IEEE suport: " << (bool)std::numeric_limits<double>::is_iec559 << endl;
|
|
|
|
|
2021-06-26 04:20:53 +00:00
|
|
|
cout << endl << "Testing floating point instructions:" << endl;
|
|
|
|
|
|
|
|
read_test_float_data();
|
|
|
|
|
2020-01-31 03:10:53 +00:00
|
|
|
cout << "... completed." << endl;
|
|
|
|
cout << "--> Tested instructions: " << dec << ntested << endl;
|
2020-02-12 21:58:24 +00:00
|
|
|
cout << "--> Failed: " << dec << nfailed << endl << endl;
|
2020-01-31 03:10:53 +00:00
|
|
|
|
2020-02-12 21:58:24 +00:00
|
|
|
cout << "Running PPC disassembler tests..." << endl << endl;
|
|
|
|
|
|
|
|
return test_ppc_disasm();
|
2020-01-31 03:10:53 +00:00
|
|
|
}
|