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

reduced test count for add/sub

Browse source
This commit is contained in:
Folkert van Heusden 2025-04-04 07:46:54 +02:00
parent 53b600a39a
commit 5c38023e5e
Signed by untrusted user who does not match committer: folkert
GPG key ID: 6B6455EDFEED3BD1
1 changed files with 17 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
PDP11/test.c
View file

@ -1,5 +1,6 @@
#include <jansson.h> #include <jansson.h>
#include <stdio.h> #include <stdio.h>
#include <time.h>
#include "pdp11_defs.h" #include "pdp11_defs.h"
#include "sim_defs.h" #include "sim_defs.h"
@ -38,7 +39,7 @@ int n_test_values = 0;
void generate_test_values() void generate_test_values()
{ {
for(int i=0; i<65536; i++) { for(int i=1; i<65536; i+=10) {
if (is_prime(i)) if (is_prime(i))
test_values[n_test_values++] = i; test_values[n_test_values++] = i;
} }
@ -48,10 +49,10 @@ void generate_test_values()
test_values[n_test_values++] = 0; test_values[n_test_values++] = 0;
test_values[n_test_values++] = 255; test_values[n_test_values++] = 255;
test_values[n_test_values++] = 256;
test_values[n_test_values++] = 32767; test_values[n_test_values++] = 32767;
test_values[n_test_values++] = 32768;
test_values[n_test_values++] = 65535; test_values[n_test_values++] = 65535;
printf("%d\n", n_test_values);
} }
json_t *generate_test(uint16_t instruction, int *const id, struct mem_t *mem, size_t n_mem) json_t *generate_test(uint16_t instruction, int *const id, struct mem_t *mem, size_t n_mem)
@ -149,7 +150,7 @@ json_t *generate_test(uint16_t instruction, int *const id, struct mem_t *mem, si
void init_simh() void init_simh()
{ {
reset_all(0); // reset_all(0); is this required?
cpu_reset(&cpu_dev); cpu_reset(&cpu_dev);
} }
@ -235,12 +236,17 @@ void emit_condition_sets(json_t *const target, int *const id)
void emit_add_sub(json_t *const target, int *const id) void emit_add_sub(json_t *const target, int *const id)
{ {
int count = 0;
int total = n_test_values * n_test_values * 2;
time_t start = time(NULL);
printf("ADD/SUB instructions\n"); printf("ADD/SUB instructions\n");
for(int group=0; group<2; group++) { for(int group=0; group<2; group++) {
uint16_t instr = (6 << 12 /* instr */) | (group << 15 /* ADD/SUB */) | (1 << 6 /* src=R1 */); uint16_t instr = (6 << 12 /* instr */) | (group << 15 /* ADD/SUB */) | (1 << 6 /* src=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++) {
count++;
init_simh(); init_simh();
saved_PC = 0100; saved_PC = 0100;
@ -261,6 +267,9 @@ void emit_add_sub(json_t *const target, int *const id)
if (obj) if (obj)
json_array_append_new(target, obj); json_array_append_new(target, obj);
} }
printf("%.2f%% %f \r", count * 100 / (double)total, total / (double)count * (time(NULL) - start));
fflush(NULL);
} }
} }
} }
@ -275,11 +284,12 @@ void produce_validation_tests()
int id = 0; int id = 0;
emit_branch_instructions(out, &id); // TODO FIXME opslaan per type in json, id als md5?
// emit_branch_instructions(out, &id);
emit_condition_sets(out, &id); // emit_condition_sets(out, &id);
// emit_add_sub(out, &id); emit_add_sub(out, &id);
FILE *fh = fopen("testset.json", "w"); FILE *fh = fopen("testset.json", "w");
json_dumpf(out, fh, JSON_INDENT(2)); json_dumpf(out, fh, JSON_INDENT(2));