X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=include%2Fexec.h;h=ce729c038025b99c5922700fcdc5f050d05d9afe;hb=a46594d66972fae37a609506bcf01f6b2bdc865e;hp=1da878d6237b505aee262a77f75be93a428edad8;hpb=0e3065564e83037d5fbbb3e0e1595e7ce95ce8eb;p=YACASL2.git

diff --git a/include/exec.h b/include/exec.h
index 1da878d..ce729c0 100644
--- a/include/exec.h
+++ b/include/exec.h
@@ -1,65 +1,403 @@
 #ifndef YACASL2_EXEC_INCLUDED
 #define YACASL2_EXEC_INCLUDED
 
-/* コードから命令のパターンを取得 */
-CMDTYPE getcmdtype(WORD code);
+#include <stdbool.h>
+#include <stdio.h>
+#include <assert.h>
+#include <time.h>
+#include "struct.h"
+#include "word.h"
+#include "cmem.h"
+#include "cerr.h"
+#include "monitor.h"
 
 enum {
-    INSIZE = 256    /* CASL IIの、IN命令入力領域 */
+    INSIZE = 256    /**<IN命令の、入力領域 */
 };
 
-/* 指定されたファイルからアセンブル結果を読込 */
-bool inassemble(char *file);
+/**
+ * @brief 実行モードを表すデータ型
+ */
+typedef struct {
+    bool trace;           /**<レジストリの内容をステップごとに表示する場合はtrue */
+    bool logical;         /**<レジストリの内容を論理値（0から65535）で表示する場合はtrue */
+    bool dump;            /**<メモリの内容をステップごとに表示する場合はtrue */
+    bool step;           /**<ステップ実行の場合はtrue */
+} EXECMODE;
 
-/* 標準入力から文字データを読込（SVC 1） */
-void svcin();
+/**
+ * @brief 実行モード: trace, logical, dump, step
+ */
+extern EXECMODE execmode;
 
-/* 標準出力へ文字データを書出（SVC 2） */
-void svcout();
+/**
+ * @brief 実行エラーをエラーリストに追加する
+ */
+void addcerrlist_exec();
 
-/* ロード／論理積／論理和／排他的論理和のフラグ設定。OFは常に0 */
-void setfr(WORD val);
+/**
+ * @brief アセンブル結果読み込みエラーをエラーリストに追加する
+ */
+void addcerrlist_load();
 
-/* 算術加算。フラグを設定して値を返す */
-WORD adda(WORD val0, WORD val1);
+/**
+ * @brief 指定されたファイルからアセンブル結果を読み込む
+ */
+bool loadassemble(const char *file);
 
-/* 算術減算。フラグを設定して値を返す */
-WORD suba(WORD val0, WORD val1);
 
-/* 論理加算。フラグを設定して値を返す */
-WORD addl(WORD val0, WORD val1);
+/**
+ * @class Exec
+ * @brief execから関数ポインタで呼び出される関数
+ * @relatesalso exec
+ **/
 
-/* 論理減算。フラグを設定して値を返す */
-WORD subl(WORD val0, WORD val1);
+/**
+ * @brief COMET II仮想マシンを実行する
+ *
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void exec();
 
-/* 算術比較のフラグ設定。OFは常に0 */
-void cpa(WORD val0, WORD val1);
+/**
+ * @brief NOP命令。語長1（OPのみ）
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void nop();
 
-/* 論理比較のフラグ設定。OFは常に0 */
-void cpl(WORD val0, WORD val1);
+/**
+ * @brief LD命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void ld_r_adr_x();
 
-/* 算術左シフト。フラグを設定して値を返す */
-WORD sla(WORD val0, WORD val1);
+/**
+ * @brief LD命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void ld_r1_r2();
 
-/* 算術右シフト。フラグを設定して値を返す */
-WORD sra(WORD val0, WORD val1);
+/**
+ * @brief ST命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void st();
 
-/* 論理左シフト。フラグを設定して値を返す */
-WORD sll(WORD val0, WORD val1);
+/**
+ * @brief LAD命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void lad();
 
-/* 論理右シフト。フラグを設定して値を返す */
-WORD srl(WORD val0, WORD val1);
+/**
+ * @brief ADDA命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void adda_r_adr_x();
 
-/* 仮想マシンのリセット */
-void reset();
+/**
+ * @brief ADDA命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void adda_r1_r2();
 
-/* コードの実行 */
-void exec();
+/**
+ * @brief SUBA命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void suba_r_adr_x();
+
+/**
+ * @brief SUBA命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void suba_r1_r2();
+
+/**
+ * @brief ADDL命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void addl_r_adr_x();
+
+/**
+ * @brief ADDL命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void addl_r1_r2();
+
+/**
+ * @brief SUBL命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void subl_r_adr_x();
+
+/**
+ * @brief SUBL命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void subl_r1_r2();
+
+/**
+ * @brief AND命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void and_r_adr_x();
+
+/**
+ * @brief AND命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void and_r1_r2();
+
+/**
+ * @brief OR命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void or_r_adr_x();
+
+/**
+ * @brief OR命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void or_r1_r2();
+
+/**
+ * @brief XOR命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void xor_r_adr_x();
+
+/**
+ * @brief XOR命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void xor_r1_r2();
+
+/**
+ * @brief CPA命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void cpa_r_adr_x();
+
+/**
+ * @brief CPA命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void cpa_r1_r2();
+
+/**
+ * @brief CPL命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void cpl_r_adr_x();
+
+/**
+ * @brief CPL命令 - オペランドr1,r2。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void cpl_r1_r2();
 
-/* COMET IIのメモリを表示 */
+/**
+ * @brief SLA命令 - オペランドr,adr,x。語長2
+ *
+ * 算術演算なので、第15ビットは送り出されない
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void sla();
+
+/**
+ * @brief SRA命令 - オペランドr,adr,x。語長2
+ *
+ * 算術演算なので、第15ビットは送り出されない
+ * 空いたビット位置には符号と同じものが入る
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void sra();
+
+/**
+ * @brief SLL命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void sll();
+
+/**
+ * @brief SRL命令 - オペランドr,adr,x。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void srl();
+
+/**
+ * @brief JPL命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void jpl();
+
+/**
+ * @brief JMI命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void jmi();
+
+/**
+ * @brief JNZ命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void jnz();
+
+/**
+ * @brief JZE命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void jze();
+
+/**
+ * @brief JOV命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void jov();
+
+/**
+ * @brief JUMP命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void jump();
+
+/**
+ * @brief PUSH命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void push();
+
+/**
+ * @brief POP命令。語長1
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void pop();
+
+/**
+ * @brief CALL命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void call();
+
+/**
+ * @brief RET命令。語長1（OPのみ）
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void ret();
+
+/**
+ * @brief SVC命令。語長2
+ * @relatesalso Exec
+ *
+ * @return なし
+ */
+void svc();
+
+/**
+ * @brief COMET IIのメモリを表示する
+ *
+ * @return なし
+ */
 void dumpmemory();
 
-/* COMET IIのレジスタを表示 */
+/**
+ * @brief COMET IIのレジスタを表示する
+ *
+ * @return なし
+ */
 void dspregister();
 
-#endif
+/**
+ * @brief CASL IIのオブジェクトファイルを逆アセンブルし、標準出力へ出力する
+ *
+ * @return 正常終了時は0、異常終了時は0以外
+ *
+ * @param *file オブジェクトファイルのファイル名
+ */
+bool disassemble_file(const char *file);
+
+/**
+ * @brief COMET IIモニターを起動する
+ *
+ * @return なし
+ */
+void monitor();
+
+#endif            /* YACASL2_EXEC_INCLUDEDの終端 */