3671049405
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
86 lines
2.2 KiB
C
86 lines
2.2 KiB
C
#include <jansson.h>
|
|
#include <stdio.h>
|
|
|
|
#include "pdp11_defs.h"
|
|
#include "sim_defs.h"
|
|
|
|
//extern t_stat sim_brk_init(void);
|
|
//extern t_stat sim_brk_set(t_addr loc, int32 sw, int32 ncnt, CONST char *act);
|
|
extern t_stat sim_instr();
|
|
//extern uint32 sim_brk_summ;
|
|
extern void PWriteW(int32 data, int32 addr);
|
|
extern int32 REGFILE[6][2];
|
|
extern int32 STACKFILE[4];
|
|
extern int32 saved_PC;
|
|
extern int32 PSW;
|
|
extern t_stat cpu_reset(DEVICE *dptr);
|
|
extern DEVICE cpu_dev;
|
|
|
|
void produce_validation_tests()
|
|
{
|
|
json_t *out = json_array();
|
|
|
|
for(int i=0; i<65536; i++) {
|
|
json_t *before = json_object();
|
|
|
|
cpu_reset(&cpu_dev);
|
|
|
|
saved_PC = 0100;
|
|
json_object_set(before, "PC", json_integer(saved_PC));
|
|
|
|
json_t *memory = json_array();
|
|
json_t *mem_i = json_object();
|
|
json_object_set(mem_i, "0100", json_integer(i));
|
|
json_array_append_new(memory, mem_i);
|
|
json_object_set(before, "memory", memory);
|
|
PWriteW(i, saved_PC);
|
|
uint16_t data1 = rand() & 0xffff;
|
|
uint16_t data2 = rand() & 0xffff;
|
|
json_object_set(mem_i, "0102", json_integer(data1));
|
|
PWriteW(data1, saved_PC + 2);
|
|
json_object_set(mem_i, "0104", json_integer(data2));
|
|
PWriteW(data2, saved_PC + 4);
|
|
|
|
for(int k=0; k<6; k++) {
|
|
char name[16];
|
|
|
|
sprintf(name, "reg-%d.%d", k, 0);
|
|
REGFILE[k][0] = rand() & 0xffff;
|
|
json_object_set(before, name, json_integer(REGFILE[k][0]));
|
|
|
|
sprintf(name, "reg-%d.%d", k, 1);
|
|
REGFILE[k][1] = rand() & 0xffff;
|
|
json_object_set(before, name, json_integer(REGFILE[k][1]));
|
|
}
|
|
|
|
json_object_set(before, "PSW", json_integer(PSW));
|
|
|
|
// do
|
|
sim_instr();
|
|
|
|
json_t *after = json_object();
|
|
json_object_set(after, "PC", json_integer(saved_PC));
|
|
|
|
for(int k=0; k<6; k++) {
|
|
char name[16];
|
|
|
|
sprintf(name, "reg-%d.%d", k, 0);
|
|
json_object_set(after, name, json_integer(REGFILE[k][0]));
|
|
|
|
sprintf(name, "reg-%d.%d", k, 1);
|
|
json_object_set(after, name, json_integer(REGFILE[k][1]));
|
|
}
|
|
|
|
json_object_set(after, "PSW", json_integer(PSW));
|
|
|
|
json_t *collection = json_object();
|
|
json_object_set(collection, "before", before);
|
|
json_object_set(collection, "after", after);
|
|
|
|
json_array_append_new(out, collection);
|
|
}
|
|
|
|
FILE *fh = fopen("testset.json", "w");
|
|
json_dumpf(out, fh, JSON_INDENT(2));
|
|
fclose(fh);
|
|
}
|