folkert/simh-testsetgenerator
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

MOV
Some checks are pending
Build / cmake-builds (push) Waiting to run
Details
Build / makefile (macos-latest, besm6 imlac tt2500 microvax3900 microvax1 rtvax1000 vaxstation3100m76 vaxstation4000m60) (push) Waiting to run
Details
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
Details
Build / makefile (macos-latest, microvax2 vax730 vax750 vax780 vax8200 vax8600 microvax2000 infoserver100 infoserver150vxt microvax3100 microvax3100e vaxstation3100m30 vaxstation3100m38) (push) Waiting to run
Details
Build / makefile (macos-latest, microvax3100m80 vaxstation4000vlc infoserver1000 nova eclipse hp2100 hp3000 i1401 i1620 s3 altair altairz80 gri i7094) (push) Waiting to run
Details
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
Details
Build / makefile (macos-latest, scelbi 3b2 i701 i704 i7010 i7070 i7080 i7090 sigma uc15 i650 sel32 intel-mds ibm1130) (push) Waiting to run
Details
Build / makefile (ubuntu-latest, besm6 imlac tt2500 microvax3900 microvax1 rtvax1000 vaxstation3100m76 vaxstation4000m60) (push) Waiting to run
Details
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
Details
Build / makefile (ubuntu-latest, microvax2 vax730 vax750 vax780 vax8200 vax8600 microvax2000 infoserver100 infoserver150vxt microvax3100 microvax3100e vaxstation3100m30 vaxstation3100m38) (push) Waiting to run
Details
Build / makefile (ubuntu-latest, microvax3100m80 vaxstation4000vlc infoserver1000 nova eclipse hp2100 hp3000 i1401 i1620 s3 altair altairz80 gri i7094) (push) Waiting to run
Details
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
Details
Build / makefile (ubuntu-latest, scelbi 3b2 i701 i704 i7010 i7070 i7080 i7090 sigma uc15 i650 sel32 intel-mds ibm1130) (push) Waiting to run
Details

Browse source
This commit is contained in:
Folkert van Heusden 2025-04-07 09:05:58 +02:00
parent c3545a2f2a
commit 6e08a9f749
Signed by untrusted user who does not match committer: folkert
GPG key ID: 6B6455EDFEED3BD1
1 changed files with 47 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

57
PDP11/test.c
View file

@ -71,7 +71,7 @@ void generate_test_values()
test_values[n_test_values++] = 65535;
}
json_t *generate_test(uint16_t instruction, int *const id, struct mem_t *mem, size_t n_mem)
json_t *generate_test(int *const id, struct mem_t *mem, size_t n_mem)
{
json_t *before = json_object();
@ -88,6 +88,7 @@ json_t *generate_test(uint16_t instruction, int *const id, struct mem_t *mem, si
char buffer1[16];
char buffer2[16];
json_t *put_mem_i_0 = json_object();
json_t *put_mem_i_1 = json_object();
PWriteW(mem[i].value, mem[i].addr);
if (mem[i].addr & 1)
@ -98,8 +99,8 @@ json_t *generate_test(uint16_t instruction, int *const id, struct mem_t *mem, si
json_array_append_new(memory_i, put_mem_i_0);
sprintf(buffer2, "%06o", mem[i].addr + 1);
json_object_set(put_mem_i_0, buffer2, json_integer(mem[i].value >> 8));
json_array_append_new(memory_i, put_mem_i_0);
json_object_set(put_mem_i_1, buffer2, json_integer(mem[i].value >> 8));
json_array_append_new(memory_i, put_mem_i_1);
}
json_object_set(before, "memory", memory_i);
@ -208,7 +209,7 @@ void produce_set_register(const uint16_t instr, const uint16_t psw, int *const i
PSW = psw;
json_t *obj = generate_test(instr, id, mem, 1);
json_t *obj = generate_test(id, mem, 1);
if (obj)
json_array_append_new(out, obj);
}
@ -241,7 +242,7 @@ void produce_set_register_indirect(const uint16_t instr, const uint16_t psw, int
PSW = psw;
json_t *obj = generate_test(instr, id, mem, 2);
json_t *obj = generate_test(id, mem, 2);
if (obj)
json_array_append_new(out, obj);
}
@ -292,7 +293,7 @@ void emit_branch_instructions()
PSW = psw_val;
json_t *obj = generate_test(instr, &id, mem, 1);
json_t *obj = generate_test(&id, mem, 1);
if (obj)
json_array_append_new(out, obj);
}
@ -328,7 +329,7 @@ void emit_condition_sets()
PSW = psw_val;
json_t *obj = generate_test(instr, &id, mem, 1);
json_t *obj = generate_test(&id, mem, 1);
if (obj)
json_array_append_new(out, obj);
}
@ -407,7 +408,7 @@ void emit_single_operand_instructions()
PSW = psw_val;
json_t *obj = generate_test(instr, &id, mem, 1);
json_t *obj = generate_test(&id, mem, 1);
if (obj)
json_array_append_new(out, obj);
}
@ -514,7 +515,7 @@ void emit_misc_operations()
PSW = psw_val;
json_t *obj = generate_test(instr, &id, mem, 3);
json_t *obj = generate_test(&id, mem, 3);
if (obj)
json_array_append_new(out, obj);
}
@ -555,7 +556,7 @@ void emit_misc_operations()
PSW = 012;
json_t *obj = generate_test(instr, &id, mem, 1);
json_t *obj = generate_test(&id, mem, 1);
if (obj)
json_array_append_new(out, obj);
@ -563,6 +564,41 @@ void emit_misc_operations()
}
}
void emit_mov()
{
printf("mov instructions\n");
const char *const filename = "pdp1170-valtest-MOV.json";
if (file_exist(filename) == 0) {
int id = 0;
json_t *out = json_array();
uint16_t test_vals[] = { 0, 127, 128, 255, 256, 65535 };
for(int i=0; i<6; i++) {
init_simh();
saved_PC = 0100;
randomize_registers_all_values();
init_stack_registers();
PSW = 0;
struct mem_t mem[5] = {
{ 0100, 012700 },
{ 0102, test_vals[i] },
{ 0104, 012701 },
{ 0106, 0 },
{ 0110, 0110001 }
};
json_t *obj = generate_test(&id, mem, 5);
if (obj)
json_array_append_new(out, obj);
}
dump_json(filename, out);
}
}
void produce_validation_tests()
{
srand(123); // for reproducability
@ -579,6 +615,7 @@ void produce_validation_tests()
emit_bit_instructions(); // double_operand_instructions
emit_cmp(); // double_operand_instructions
emit_misc_operations();
emit_mov();
// TODO:
// - double_operand_instructions: MOV