repo2/firmware/test_freeze.c @ 173
49 | markw | #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;
|
|||
}
|