X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexec.c;h=8530640b7f8a4d0a8bbc163973ec2e86656ab90d;hb=1504c67ef2e0ec42f7451790c8946b180edc2048;hp=e9426027b515c4705f214b1f6c0f4ee0fdae727c;hpb=fd77389ef0a4c9c31228b5f71e9073a11ada9853;p=YACASL2.git diff --git a/src/exec.c b/src/exec.c index e942602..8530640 100644 --- a/src/exec.c +++ b/src/exec.c @@ -16,6 +16,8 @@ static CERR cerr_exec[] = { { 205, "Stack Pointer (SP) - cannot allocate stack buffer" }, { 206, "Address - out of COMET II memory" }, { 207, "Stack Pointer (SP) - out of COMET II memory" }, + { 209, "not GR in operand x" }, + { 210, "not command code of COMET II" }, }; /** @@ -44,9 +46,9 @@ bool loadassemble(char *file) perror(file); return false; } - prog->end = prog->start + - fread(sys->memory, sizeof(WORD), sys->memsize - prog->start, fp); - if(prog->end == sys->memsize) { + execptr->end = execptr->start + + fread(sys->memory, sizeof(WORD), sys->memsize - execptr->start, fp); + if(execptr->end == sys->memsize) { setcerr(201, file); /* Loading - full of COMET II memory */ fprintf(stderr, "Load error - %d: %s\n", cerr->num, cerr->msg); status = false; @@ -331,6 +333,16 @@ static WORD srl(WORD val0, WORD val1) return res; } +/** + * プログラムレジスタ(PR)を表す文字列を返す + **/ +static char *pr2str(WORD pr) { + char *str = malloc_chk(CERRSTRSIZE + 1, "pr2str.pr"); + + sprintf(str, "PR:#%04X", pr); + return str; +} + /** * 仮想マシンCOMET IIの実行 */ @@ -338,7 +350,6 @@ bool exec() { WORD op, r_r1, x_r2, val; CMDTYPE cmdtype; - char *errpr = malloc_chk(CERRSTRSIZE + 1, "exec.errpr"); clock_t clock_begin, clock_end; if(execmode.trace == true) { @@ -347,24 +358,21 @@ bool exec() /* フラグレジスタの初期値設定 */ sys->cpu->fr = 0x0; sys->cpu->sp = sys->memsize; - sys->cpu->pr = prog->start; + sys->cpu->pr = execptr->start; /* 機械語の実行 */ for (; ; ) { clock_begin = clock(); /* プログラムレジスタのアドレスが主記憶の範囲外の場合はエラー */ if(sys->cpu->pr >= sys->memsize) { - sprintf(errpr, "PR:#%04X", sys->cpu->pr); - setcerr(204, errpr); /* Program Register (PR) - out of COMET II memory */ + setcerr(204, pr2str(sys->cpu->pr)); /* Program Register (PR) - out of COMET II memory */ } /* スタック領域を確保できない場合はエラー */ - else if(sys->cpu->sp <= prog->end) { - sprintf(errpr, "PR:#%04X", sys->cpu->pr); - setcerr(205, errpr); /* Stack Pointer (SP) - cannot allocate stack buffer */ + else if(sys->cpu->sp <= execptr->end) { + setcerr(205, pr2str(sys->cpu->pr)); /* Stack Pointer (SP) - cannot allocate stack buffer */ } /* スタック領域のアドレスが主記憶の範囲外の場合はエラー */ else if(sys->cpu->sp > sys->memsize) { - sprintf(errpr, "PR:#%04X", sys->cpu->pr); - setcerr(207, errpr); /* Stack Pointer (SP) - out of COMET II memory */ + setcerr(207, pr2str(sys->cpu->pr)); /* Stack Pointer (SP) - out of COMET II memory */ } /* エラー発生時は終了 */ if(cerr->num > 0) { @@ -373,7 +381,9 @@ bool exec() /* 命令の取り出し */ op = sys->memory[sys->cpu->pr] & 0xFF00; /* 命令の解読 */ - cmdtype = getcmdtype(op); + if((cmdtype = getcmdtype(op)) == NOTCMD) { + setcerr(210, pr2str(sys->cpu->pr)); /* not command code of COMET II */ + } r_r1 = (sys->memory[sys->cpu->pr] >> 4) & 0xF; x_r2 = sys->memory[sys->cpu->pr] & 0xF; /* traceオプション指定時、レジスタを出力 */ @@ -393,11 +403,19 @@ bool exec() sys->cpu->pr++; /* オペランドの取り出し */ if(cmdtype == R1_R2) { - assert(x_r2 < GRSIZE); + /* オペランドの数値が汎用レジスタの範囲外の場合はエラー */ + if(x_r2 > GRSIZE - 1) { + setcerr(209, pr2str(sys->cpu->pr-1)); /* not GR in operand x */ + goto execerr; + } val = sys->cpu->gr[x_r2]; } else if(cmdtype == R_ADR_X || cmdtype == R_ADR_X_ || cmdtype == ADR_X) { - assert(x_r2 < GRSIZE); + /* オペランドの数値が汎用レジスタの範囲外の場合はエラー */ + if(x_r2 > GRSIZE - 1) { + setcerr(209, pr2str(sys->cpu->pr-1)); /* not GR in operand x */ + goto execerr; + } /* 実効アドレス(値または値が示す番地)を取得 */ val = sys->memory[sys->cpu->pr++]; /* 指標アドレスを加算 */ @@ -407,14 +425,12 @@ bool exec() /* ロード/算術論理演算命令/比較演算命令では、アドレスに格納されている内容を取得 */ if(cmdtype == R_ADR_X_) { if(val >= sys->memsize) { - sprintf(errpr, "PR:#%04X", sys->cpu->pr-1); - setcerr(206, errpr); /* Address - out of COMET II memory */ + setcerr(206, pr2str(sys->cpu->pr-1)); /* Address - out of COMET II memory */ goto execerr; } val = sys->memory[val]; } } - free_chk(errpr, "errpr"); /* 主オペランドが1から4の場合、第2ビットを無視 */ if(op >= 0x1000 && op <= 0x4FFF) { op &= 0xFB00; @@ -501,20 +517,20 @@ bool exec() } break; case 0x7000: /* PUSH */ - assert(sys->cpu->sp > prog->end && sys->cpu->sp <= sys->memsize); + assert(sys->cpu->sp > execptr->end && sys->cpu->sp <= sys->memsize); sys->memory[--(sys->cpu->sp)] = val; break; case 0x7100: /* POP */ - assert(sys->cpu->sp > prog->end && sys->cpu->sp <= sys->memsize); + assert(sys->cpu->sp > execptr->end && sys->cpu->sp <= sys->memsize); sys->cpu->gr[r_r1] = sys->memory[(sys->cpu->sp)++]; break; case 0x8000: /* CALL */ - assert(sys->cpu->sp > prog->end && sys->cpu->sp <= sys->memsize); + assert(sys->cpu->sp > execptr->end && sys->cpu->sp <= sys->memsize); sys->memory[--(sys->cpu->sp)] = sys->cpu->pr; sys->cpu->pr = val; break; case 0x8100: /* RET */ - assert(sys->cpu->sp > prog->end && sys->cpu->sp <= sys->memsize); + assert(sys->cpu->sp > execptr->end && sys->cpu->sp <= sys->memsize); if(sys->cpu->sp == sys->memsize) { return true; } else { @@ -544,6 +560,5 @@ bool exec() return true; execerr: fprintf(stderr, "Execute error - %d: %s\n", cerr->num, cerr->msg); - cerr->msg = NULL; /* Ubuntu 10.04 PPCでcerr.msg開放時にSegmentation Faultが発生する現象を回避するため */ return false; }