X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fexec.c;h=3fb2771099964802f38745a35381f47b458f8329;hb=refs%2Ftags%2Fv0.1p36;hp=5a757c76fe1072dca5b58015568ca8a84c35bba6;hpb=85a32cf5cc8e39dc5d4f085179559de71ad87cb8;p=YACASL2.git

diff --git a/src/exec.c b/src/exec.c
index 5a757c7..3fb2771 100644
--- a/src/exec.c
+++ b/src/exec.c
@@ -9,23 +9,23 @@
  * 実行エラーの定義
  */
 static CERR cerr_exec[] = {
-    { 202, "SVC input - out of Input memory" },
-    { 203, "SVC output - out of COMET II memory" },
-    { 204, "Program Register (PR) - out of COMET II memory" },
-    { 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 x/r2" },
-    { 210, "not command code of COMET II" },
-    { 211, "not GR in r/r1" },
+    { 201, "Program Register (PR) - memory overflow" },
+    { 202, "Stack Pointer (SP) - stack overflow" },
+    { 203, "Stack Pointer (SP) - stack underflow" },
+    { 204, "OP in word #1 - not command code" },
+    { 205, "r/r1 in word #1 - not GR" },
+    { 206, "x/r2 in word #1 - not GR" },
+    { 207, "address in word #2 - out of memory" },
+    { 208, "SVC input - memory overflow" },
+    { 209, "SVC output - memory overflow" },
 };
 
 /**
  * アセンブル結果読み込みエラーの定義
  */
 static CERR cerr_load[] = {
-    { 201, "Loading - full of COMET II memory" },
-    { 208, "object file is not specified" },
+    { 210, "load - memory overflow" },
+    { 211, "object file not specified" },
 };
 
 /**
@@ -51,7 +51,7 @@ void addcerrlist_exec()
 /**
  * 指定されたファイルからアセンブル結果を読み込む
  */
-bool loadassemble(char *file)
+bool loadassemble(const char *file)
 {
     FILE *fp;
     bool status = true;
@@ -64,7 +64,7 @@ bool loadassemble(char *file)
     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 */
+        setcerr(210, file);    /* load - memory overflow */
         fprintf(stderr, "Load error - %d: %s\n", cerr->num, cerr->msg);
         status = false;
     }
@@ -75,7 +75,7 @@ bool loadassemble(char *file)
 /**
  * プログラムレジスタ（PR）を表す文字列を返す
  **/
-static char *pr2str(WORD pr) {
+char *pr2str(WORD pr) {
     char *str = malloc_chk(CERRSTRSIZE + 1, "pr2str.pr");
 
     sprintf(str, "PR:#%04X", pr);
@@ -85,7 +85,7 @@ static char *pr2str(WORD pr) {
 /**
  * 標準入力から文字データを読込（SVC 1）
  */
-static void svcin()
+void svcin()
 {
     int i;
     char *buffer = malloc_chk(INSIZE + 1, "svcin.buffer");
@@ -99,8 +99,8 @@ static void svcin()
             --i;
             break;
         }
-        if(sys->cpu->gr[1] + i >= sys->memsize - 1) {
-            setcerr(202, NULL);    /* SVC input - out of Input memory */
+        if(sys->cpu->gr[1] + i > execptr->end) {
+            setcerr(208, NULL);    /* SVC input - memory overflow */
             break;
         }
         sys->memory[sys->cpu->gr[1]+i] = *(buffer + i);
@@ -112,14 +112,14 @@ static void svcin()
 /**
  * 標準出力へ文字データを書出（SVC 2）
  */
-static void svcout()
+void svcout()
 {
     int i;
     WORD w;
 
     for(i = 0; i < sys->memory[sys->cpu->gr[2]]; i++) {
-        if(sys->cpu->gr[1] + i >= sys->memsize - 1) {
-            setcerr(203, NULL);    /* SVC output - out of Comet II memory */
+        if(sys->cpu->gr[1] + i > execptr->end) {
+            setcerr(209, NULL);    /* SVC output - memory overflow */
             return;
         }
         /* 「文字の組」の符号表に記載された文字と、改行（CR）／タブを表示 */
@@ -135,7 +135,7 @@ static void svcout()
 /**
  * ロード／論理積／論理和／排他的論理和のフラグ設定。OFは常に0
  */
-static void setfr(const WORD adr)
+void setfr(WORD adr)
 {
     sys->cpu->fr = 0x0;
     /* 第15ビットが1のとき、SFは1 */
@@ -148,14 +148,27 @@ static void setfr(const WORD adr)
     }
 }
 
+/**
+ * WORD値からr/r1を取得
+ */
+WORD r_r1(WORD oprx)
+{
+    WORD r;
+    if((r = ((oprx & 0x00F0) >>4)) > GRSIZE - 1) {
+        setcerr(205, pr2str(sys->cpu->pr));    /* r/r1 in word #1 - not GR */
+        return 0x0;
+    }
+    return r;
+}
+
 /**
  * WORD値からx/r2を取得
  */
-static WORD x_r2(const WORD oprx)
+WORD x_r2(WORD oprx)
 {
     WORD x;
     if((x = (oprx & 0x000F)) > GRSIZE - 1) {
-        setcerr(209, pr2str(sys->cpu->pr));    /* not GR in x/r2 */
+        setcerr(206, pr2str(sys->cpu->pr));    /* r/r1 in word #1 - not GR */
         return 0x0;
     }
     return x;
@@ -164,7 +177,7 @@ static WORD x_r2(const WORD oprx)
 /**
  * 2つのWORD値からadr[,x]を取得
  */
-static WORD adrx(const WORD adr, const WORD oprx)
+WORD adrx(WORD adr, WORD oprx)
 {
     WORD a = adr, x;
     if((x = x_r2(oprx)) > 0) {
@@ -177,29 +190,16 @@ static WORD adrx(const WORD adr, const WORD oprx)
 /**
  * 2つのWORD値からadr[,x]のアドレスに格納されている内容を取得
  */
-static WORD val_adrx(const WORD adr, const WORD oprx)
+WORD val_adrx(WORD adr, WORD oprx)
 {
     WORD a;
     if((a = adrx(adr, oprx)) >= sys->memsize) {
-        setcerr(206, pr2str(sys->cpu->pr + 1));    /* Address - out of COMET II memory */
+        setcerr(207, pr2str(sys->cpu->pr + 1));    /* address in word #2 - out of memory */
         return 0x0;
     }
     return sys->memory[a];
 }
 
-/**
- * WORD値からr/r2を取得
- */
-static WORD r_r1(const WORD oprx)
-{
-    WORD r;
-    if((r = ((oprx & 0x00F0) >>4)) > GRSIZE - 1) {
-        setcerr(211, pr2str(sys->cpu->pr));    /* not GR in r/r1 */
-        return 0x0;
-    }
-    return r;
-}
-
 /**
  * NOP命令。語長1（OPのみ）
  */
@@ -259,7 +259,7 @@ void lad()
  * ADDA命令のテンプレート
  * 汎用レジスタrに値valを算術加算
  */
-void adda(const WORD r, const WORD val)
+void adda(WORD r, WORD val)
 {
     long tmp;
 
@@ -328,7 +328,7 @@ void suba_r1_r2()
  * ADDL命令のテンプレート
  * 汎用レジスタrに値valを論理加算
  */
-void addl(const WORD r, const WORD val)
+void addl(WORD r, WORD val)
 {
     long tmp;
     sys->cpu->fr = 0x0;
@@ -462,7 +462,7 @@ void xor_r1_r2()
  * CPA命令のテンプレート
  * 汎用レジスタrの内容と値valを算術比較
  */
-void cpa(const WORD r, const WORD val)
+void cpa(WORD r, WORD val)
 {
     sys->cpu->fr = 0x0;
     if((short)sys->cpu->gr[r] < (short)val) {
@@ -499,7 +499,7 @@ void cpa_r1_r2()
  * CPL命令のテンプレート
  * 汎用レジスタrの内容と値valを論理比較
  */
-void cpl(const WORD r, const WORD val)
+void cpl(WORD r, WORD val)
 {
     WORD w[1];
     w[0] = sys->memory[sys->cpu->pr];
@@ -677,7 +677,7 @@ void jpl()
     w[0] = sys->memory[sys->cpu->pr];
     w[1] = sys->memory[sys->cpu->pr + 1];
     if((sys->cpu->fr & (SF | ZF)) == 0) {
-        sys->cpu->pr = adrx(w[1], w[0]); 
+        sys->cpu->pr = adrx(w[1], w[0]);
     } else {
         sys->cpu->pr += 2;
     }
@@ -831,53 +831,51 @@ void svc()
 /**
  * 仮想マシンCOMET IIの実行
  */
-bool exec()
+void exec()
 {
-    void (*cmdptr)();
     clock_t clock_begin, clock_end;
+    void (*cmdptr)();
 
+    create_code_type();                             /* 命令のコードとタイプがキーのハッシュ表を作成 */
     if(execmode.trace == true) {
         fprintf(stdout, "\nExecuting machine codes\n");
     }
-    sys->cpu->fr = 0x0;            /* フラグレジスタ */
-    sys->cpu->sp = sys->memsize;   /* スタックポインタ */
-    execptr->stop = false;         /* 終了フラグ */
     /* 機械語の実行 */
     for (sys->cpu->pr = execptr->start; ; ) {
-        clock_begin = clock();
-        if(execmode.dump || execmode.trace) {        /* traceまたはdumpオプション指定時、改行を出力 */
-            if(execmode.trace){                      /* traceオプション指定時、レジスタを出力 */
+        clock_begin = clock();                     /* クロック周波数設定のため、実行開始時間を格納 */
+        if(execmode.dump || execmode.trace) {      /* traceまたはdumpオプション指定時、改行を出力 */
+            if(execmode.trace) {                   /* traceオプション指定時、レジスタを出力 */
                 fprintf(stdout, "#%04X: Register::::\n", sys->cpu->pr);
                 dspregister();
             }
-            if(execmode.dump){                       /* dumpオプション指定時、メモリを出力 */
+            if(execmode.dump) {                    /* dumpオプション指定時、メモリを出力 */
                 fprintf(stdout, "#%04X: Memory::::\n", sys->cpu->pr);
                 dumpmemory();
             }
             fprintf(stdout, "\n");
         }
         /* プログラムレジスタとスタックポインタをチェック */
-        if(sys->cpu->pr >= sys->memsize || sys->cpu->sp <= execptr->end || sys->cpu->sp > sys->memsize) {
+        if(sys->cpu->pr >= sys->memsize || sys->cpu->sp > sys->memsize || sys->cpu->sp <= execptr->end) {
             if(sys->cpu->pr >= sys->memsize) {
-                setcerr(204, pr2str(sys->cpu->pr));    /* Program Register (PR) - out of COMET II memory */
+                setcerr(201, pr2str(sys->cpu->pr));        /* Program Register (PR) - memory overflow */
             } else if(sys->cpu->sp <= execptr->end) {
-                setcerr(205, pr2str(sys->cpu->pr));    /* Stack Pointer (SP) - cannot allocate stack buffer */
+                setcerr(202, pr2str(sys->cpu->pr));        /* Stack Pointer (SP) - stack overflow */
             } else if(sys->cpu->sp > sys->memsize) {
-                setcerr(207, pr2str(sys->cpu->pr));    /* Stack Pointer (SP) - out of COMET II memory */
+                setcerr(203, pr2str(sys->cpu->pr));        /* Stack Pointer (SP) - stack underflow */
             }
-            goto execerr;
+            goto execfin;
         }
         /* コードから命令を取得 */
         /* 取得できない場合はエラー終了 */
         if((cmdptr = getcmdptr(sys->memory[sys->cpu->pr] & 0xFF00)) == NULL) {
-            setcerr(210, pr2str(sys->cpu->pr));        /* not command code of COMET II */
-            goto execerr;
+            setcerr(204, pr2str(sys->cpu->pr));            /* OP in word #1 - not command code */
+            goto execfin;
         }
         /* 命令の実行 */
         (*cmdptr)();
         /* エラー発生時はエラー終了 */
         if(cerr->num > 0) {
-            goto execerr;
+            goto execfin;
         }
         /* 終了フラグがtrueの場合は、正常終了 */
         if(execptr->stop == true) {
@@ -888,8 +886,9 @@ bool exec()
             clock_end = clock();
         } while(clock_end - clock_begin < CLOCKS_PER_SEC / sys->clocks);
     }
-    return true;
-execerr:
-    fprintf(stderr, "Execute error - %d: %s\n", cerr->num, cerr->msg);
-    return false;
+execfin:
+    free_code_type();                              /* 命令のコードとタイプがキーのハッシュ表を解放 */
+    if(cerr->num > 0) {
+        fprintf(stderr, "Execute error - %d: %s\n", cerr->num, cerr->msg);
+    }
 }