folkert/KEK
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

verify both register sets

Browse source
This commit is contained in:
Folkert van Heusden 2025-04-05 14:38:46 +02:00
parent 1a8a239f19
commit 9bb0dc305c
Signed by untrusted user who does not match committer: folkert
GPG key ID: 6B6455EDFEED3BD1
1 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
main.cpp
View file

@ -131,9 +131,10 @@ int run_cpu_validation(console *const cnsl, const std::string & filename)
c->set_stackpointer(i, get_register_value(before, format("stack-%d", i))); c->set_stackpointer(i, get_register_value(before, format("stack-%d", i)));
// registers // registers
int set = 0; for(int set=0; set<2; set++) {
for(int i=0; i<6; i++) for(int i=0; i<6; i++)
c->set_register(i, get_register_value(before, format("reg-%d.%d", i, set))); c->lowlevel_register_set(set, i, get_register_value(before, format("reg-%d.%d", i, set)));
}
// memory // memory
auto memory_before = before["memory"]; auto memory_before = before["memory"];
@ -161,9 +162,10 @@ int run_cpu_validation(console *const cnsl, const std::string & filename)
for(int i=0; i<4; i++) for(int i=0; i<4; i++)
cur_n_errors += !compare_values(cnsl, c->get_stackpointer(i), get_register_value(after, format("stack-%d", i)), format("Stack pointer %d", i)); cur_n_errors += !compare_values(cnsl, c->get_stackpointer(i), get_register_value(after, format("stack-%d", i)), format("Stack pointer %d", i));
int set = 0; for(int set=0; set<2; set++) {
for(int i=0; i<6; i++) for(int i=0; i<6; i++)
cur_n_errors += !compare_values(cnsl, c->get_register(i), get_register_value(after, format("reg-%d.%d", i, set)), format("Register %d", i)); cur_n_errors += !compare_values(cnsl, c->lowlevel_register_get(set, i), get_register_value(after, format("reg-%d.%d", i, set)), format("Register %d", i));
}
auto memory_after = after["memory"]; auto memory_after = after["memory"];
auto memory_after_settings = get_memory_settings(memory_after); auto memory_after_settings = get_memory_settings(memory_after);