different PSW values for RTI/BPT/RTT tests
Some checks are pending
Build / cmake-builds (push) Waiting to run
Build / makefile (macos-latest, besm6 imlac tt2500 microvax3900 microvax1 rtvax1000 vaxstation3100m76 vaxstation4000m60) (push) Waiting to run
Build / makefile (macos-latest, id16 id32 sds lgp h316 cdc1700 swtp6800mp-a swtp6800mp-a2 tx-0 ssem b5500 sage pdq3 alpha) (push) Waiting to run
Build / makefile (macos-latest, microvax2 vax730 vax750 vax780 vax8200 vax8600 microvax2000 infoserver100 infoserver150vxt microvax3100 microvax3100e vaxstation3100m30 vaxstation3100m38) (push) Waiting to run
Build / makefile (macos-latest, microvax3100m80 vaxstation4000vlc infoserver1000 nova eclipse hp2100 hp3000 i1401 i1620 s3 altair altairz80 gri i7094) (push) Waiting to run
Build / makefile (macos-latest, pdp1 pdp4 pdp6 pdp7 pdp8 pdp9 pdp10 pdp10-ka pdp10-ki pdp10-kl pdp10-ks pdp11 pdp15 vax) (push) Waiting to run
Build / makefile (macos-latest, scelbi 3b2 i701 i704 i7010 i7070 i7080 i7090 sigma uc15 i650 sel32 intel-mds ibm1130) (push) Waiting to run
Build / makefile (ubuntu-latest, besm6 imlac tt2500 microvax3900 microvax1 rtvax1000 vaxstation3100m76 vaxstation4000m60) (push) Waiting to run
Build / makefile (ubuntu-latest, id16 id32 sds lgp h316 cdc1700 swtp6800mp-a swtp6800mp-a2 tx-0 ssem b5500 sage pdq3 alpha) (push) Waiting to run
Build / makefile (ubuntu-latest, microvax2 vax730 vax750 vax780 vax8200 vax8600 microvax2000 infoserver100 infoserver150vxt microvax3100 microvax3100e vaxstation3100m30 vaxstation3100m38) (push) Waiting to run
Build / makefile (ubuntu-latest, microvax3100m80 vaxstation4000vlc infoserver1000 nova eclipse hp2100 hp3000 i1401 i1620 s3 altair altairz80 gri i7094) (push) Waiting to run
Build / makefile (ubuntu-latest, pdp1 pdp4 pdp6 pdp7 pdp8 pdp9 pdp10 pdp10-ka pdp10-ki pdp10-kl pdp10-ks pdp11 pdp15 vax) (push) Waiting to run
Build / makefile (ubuntu-latest, scelbi 3b2 i701 i704 i7010 i7070 i7080 i7090 sigma uc15 i650 sel32 intel-mds ibm1130) (push) Waiting to run

This commit is contained in:
Folkert van Heusden 2025-04-05 12:03:19 +02:00
parent e61cbf4c6a
commit ec07c5ca38
Signed by untrusted user who does not match committer: folkert
GPG key ID: 6B6455EDFEED3BD1

View file

@ -523,28 +523,33 @@ void emit_misc_operations()
int id = 0; int id = 0;
json_t *out = json_array(); json_t *out = json_array();
int groups[] = { 2, 3, 6 }; int groups[] = { 2 /* RTI */, 3 /* BPT */, 6 /* RTT */ };
for(int group=0; group<3; group++) { for(int group=0; group<3; group++) {
uint16_t instr = groups[group]; for(int psw_val=0; psw_val<65536; psw_val++) {
if ((psw_val & 0177417) != psw_val)
continue;
init_simh(); uint16_t instr = groups[group];
saved_PC = 0100; init_simh();
randomize_registers_all_values(); saved_PC = 0100;
init_stack_registers(); randomize_registers_all_values();
struct mem_t mem[1] = { init_stack_registers();
{ 0100, instr }
};
PSW = 0; struct mem_t mem[1] = {
{ 0100, instr }
};
json_t *obj = generate_test(instr, &id, mem, 1); PSW = psw_val;
if (obj)
json_array_append_new(out, obj); json_t *obj = generate_test(instr, &id, mem, 1);
if (obj)
json_array_append_new(out, obj);
}
} }
for(int group=0; group<3; group++) { for(int group=0; group<3; group++) {
@ -554,7 +559,7 @@ void emit_misc_operations()
else if (instr == 1) else if (instr == 1)
instr = 04000 | 0110; // JSR R1,(R0) instr = 04000 | 0110; // JSR R1,(R0)
else if (instr == 2) else if (instr == 2)
instr = 0200 | 01; // RET (R1) instr = 0200 | 01; // RTS (R1)
for(int v1=0; v1<n_test_values; v1++) { for(int v1=0; v1<n_test_values; v1++) {
for(int v2=0; v2<n_test_values; v2++) { for(int v2=0; v2<n_test_values; v2++) {
@ -593,7 +598,7 @@ void produce_validation_tests()
emit_branch_instructions(); // conditional_branch_instructions* emit_branch_instructions(); // conditional_branch_instructions*
emit_condition_sets(); // condition_code_operations* emit_condition_sets(); // condition_code_operations*
emit_add_double_oper_instr(); // additional_double_operand_instructions* emit_add_double_oper_instr(); // additional_double_operand_instructions*
emit_add_sub_c(); // double_operand_instructions, single_operand_instructions* emit_add_sub_c(); // double_operand_instructions*, single_operand_instructions*
emit_single_operand_instructions(); // single_operand_instructions emit_single_operand_instructions(); // single_operand_instructions
emit_bit_instructions(); // double_operand_instructions emit_bit_instructions(); // double_operand_instructions
emit_cmp(); // double_operand_instructions emit_cmp(); // double_operand_instructions