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

ignore psw bit 8-10 in validation

Browse source
This commit is contained in:
folkert van heusden 2024-03-31 21:58:57 +02:00
parent c8185cdd5e
commit 6ef4a275f9
Signed by untrusted user who does not match committer: folkert
GPG key ID: 6B6455EDFEED3BD1
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
main.cpp
View file

@ -98,7 +98,7 @@ int run_cpu_validation(const std::string & filename)
{ {
json_t *psw_reg = json_object_get(registers_before, "psw"); json_t *psw_reg = json_object_get(registers_before, "psw");
assert(psw_reg); assert(psw_reg);
c->lowlevel_psw_set(json_integer_value(psw_reg)); c->lowlevel_psw_set(json_integer_value(psw_reg) & 0174377);
} }
{ {
json_t *b_pc = json_object_get(registers_before, "pc"); json_t *b_pc = json_object_get(registers_before, "pc");
@ -191,7 +191,7 @@ int run_cpu_validation(const std::string & filename)
{ {
json_t *a_psw = json_object_get(registers_after, "psw"); json_t *a_psw = json_object_get(registers_after, "psw");
assert(a_psw); assert(a_psw);
uint16_t should_be_psw = json_integer_value(a_psw); uint16_t should_be_psw = json_integer_value(a_psw) & 0174377;
if (should_be_psw != psw) { if (should_be_psw != psw) {
DOLOG(warning, true, "PSW register mismatch (is: %06o (%d), should be: %06o (%d))", psw, psw, should_be_psw, should_be_psw); DOLOG(warning, true, "PSW register mismatch (is: %06o (%d), should be: %06o (%d))", psw, psw, should_be_psw, should_be_psw);
err = true; err = true;