Project

General

Profile

#include "regs.h"

#include "stdlib.h"
#include "stdio.h"

#undef atari_regbase
static char * atari_regbase = (char *)malloc(65536);
#undef atari_regmirror
static char * atari_regmirror = (char *)malloc(65536);
#include "freeze.h"
#include "freeze.c"
#include "regs.c"

int main(void)
{
char * buffer = (char *)malloc(1024*128);
freeze_init(buffer);

for (int i=0; i!=64*1024; ++i)
{
*((unsigned char *)(atari_regbase+i)) = i%256;
}
for (int i=0;i!=0x10000;++i)
{
*((atari_regmirror+i)) = i%256-2;
}
freeze();
/*for (int i=0; i!=64*1024; ++i)
{
fprintf(stderr,"i:%x val:%x\n",i,*((unsigned char *)(buffer+i)));
if (i%256!=*((unsigned char *)(buffer+i)))
{
fprintf(stderr,"!!FAIL!%d %d %d", i, i%256, *(unsigned char *)(atari_regbase+i));
return -1;
}
}*/

for (int i=0;i!=0xd000; ++i)
{
*((atari_regbase+i)) = 0;
}
for (int i=0xd800;i!=0x10000; ++i)
{
*((atari_regbase+i)) = 0;
}
restore();

for (int i=0; i!=64*1024; ++i)
{
unsigned char exp = i%256;
if (i>=0xd000 && i<0xd800) exp-=2;
if (i>=0xd020 && i<0xd200) exp+=2;
if (i>=0xd220 && i<0xd400) exp+=2;
if (i>=0xd410 && i<0xd800) exp+=2;
if (exp!=*((unsigned char *)(atari_regbase+i)))
{
fprintf(stderr,"FAIL!addr:%x exp:%d got:%d", i, exp, *(unsigned char *)(atari_regbase+i));
return -1;
}
}
return 0;
}

(35-35/37)