2017年3月 – 計算機室

6802用アセンブラを作る(5) 一応完成

ひとまず仕様をfixさせ、ユーザーズガイドを作成しました。結局構文解析部分は命令毎に規則を書き下す方式にしました。状態遷移表の状態数は740状態、遷移数は3445個です。これくらいなら許容範囲かな? 規則部はこんな感じ。各命令に対応するシンボルから始まり、それぞれの命令で指定可能なアドレシングモードの規則を記述しています。文法違反の場合は、特別なエラー命令(ErrorInstruction)を生成し、パーサから抜けた後に命令リストをスキャンし、まとめてエラー表示する方式とします。

    ADCA expression:val
    {:
        if (ulen(val) != 1) {
            warning(String.format("operand out of range: %d(0x%h)", val, val));
            val = val & 0xff;
        }
        RESULT = new ADCA(Instruction.ADDRESSING_IMMEDIATE, 1, val);
        next_addr = addr + 2;
    :}
    |
    ADCA LBRACE expression:val RBRACE
    {:
        if (ulen(val) != 1) {
            warning(String.format("operand out of range: %d(0x%h)", val, val));
            val = val & 0xff;
        }
        RESULT = new ADCA(Instruction.ADDRESSING_DIRECT, 1, val);
        next_addr = addr + 2;
    :}
    |
    ADCA LBRACKET expression:val RBRACKET
    {:
        if (ulen(val) != 1 && ulen(val) != 2) {
            warning(String.format("operand out of range: %d(0x%h)", val, val));
            val = val & 0xffff;
        }
        RESULT = new ADCA(Instruction.ADDRESSING_EXTENDED, 2, val);
        next_addr = addr + 3;
    :}
    |
    ADCA LBRACKET REG_X PLUS expression:val RBRACKET
    {:
        if (ulen(val) != 1) {
            warning(String.format("operand out of range: %d(0x%h)", val, val));
            val = val & 0xff;
        }
        RESULT = new ADCA(Instruction.ADDRESSING_INDEXED, 1, val);
        next_addr = addr + 2;
    :}
    |
    ADCA LBRACKET REG_X RBRACKET
    {:
        RESULT = new ADCA(Instruction.ADDRESSING_INDEXED, 1, 0);
        next_addr = addr + 2;
    :}
    |
    ADCA error
    {: RESULT = new ErrorInstruction(scanner.getLineNumber(), "ADCA immediate|direct|indexed|extended"); :}
    |
    以下続く

ADCA expression:val

if (ulen(val) != 1) {

warning(String.format("operand out of range: %d(0x%h)", val, val));

val = val & 0xff;

}

RESULT = new ADCA(Instruction.ADDRESSING_IMMEDIATE, 1, val);

next_addr = addr + 2;

ADCA LBRACE expression:val RBRACE

if (ulen(val) != 1) {

warning(String.format("operand out of range: %d(0x%h)", val, val));

val = val & 0xff;

}

RESULT = new ADCA(Instruction.ADDRESSING_DIRECT, 1, val);

next_addr = addr + 2;

ADCA LBRACKET expression:val RBRACKET

if (ulen(val) != 1 && ulen(val) != 2) {

warning(String.format("operand out of range: %d(0x%h)", val, val));

val = val & 0xffff;

}

RESULT = new ADCA(Instruction.ADDRESSING_EXTENDED, 2, val);

next_addr = addr + 3;

ADCA LBRACKET REG_X PLUS expression:val RBRACKET

if (ulen(val) != 1) {

warning(String.format("operand out of range: %d(0x%h)", val, val));

val = val & 0xff;

}

RESULT = new ADCA(Instruction.ADDRESSING_INDEXED, 1, val);

next_addr = addr + 2;

ADCA LBRACKET REG_X RBRACKET

RESULT = new ADCA(Instruction.ADDRESSING_INDEXED, 1, 0);

next_addr = addr + 2;

ADCA error

{: RESULT = new ErrorInstruction(scanner.getLineNumber(), "ADCA immediate|direct|indexed|extended"); :}

以下続く

ちょっと悩んだのがアドレシングモードのうちDir … “6802用アセンブラを作る(5) 一応完成” の続きを読む

ロジックアナライザ LAP-C(16032)を購入

古パソコン系の未知のLSIの動作を解析するため、ロジックアナライザを入手しました。モノは台湾のZEROPLUS社のLAP-C(16032)で、マルツオンラインで購入。ロジアナやオシロスコープはとても高価で子供のころからあこがれの機械でしたが、この機種は一番下位のモデルで12,800円です。安い。けれども、これでも16チャンネルで1チャンネル当たり32Kビットのメモリを持っているので、ちょっとした実験には足りるような気がします。ということで取り急ぎRaspberry PiのI2Cのデータをサンプリングしてみました。I2Cのプロトコルアナライザは現在無料で利用できるので、データの繊維の様子が分 … “ロジックアナライザ LAP-C(16032)を購入” の続きを読む

6802用アセンブラを作る(4) JR-100でのテスト

作成したアセンブラのプロトを使って、JR-100の実機試してみました。最終的な目的はJR-100に搭載されているVIA(6522)のテストのためなので、マシン語から直接VIAのレジスタを叩いてJR-100のスピーカーから音階を鳴らしてみました。JR-100への入力は同じく自作のFSKプレイヤーを使います。プログラム JR-100ではVIAのPB7がスピーカーに接続されています。つまりVIAのタイマー1のフリーランモードでPB7に出力される方形波が音声として再生されるため、タイマー1の初期値を生成したい周波数に合わせて調整すればよいということです。タイマーが0になるごとにPB7出力が反転するの … “6802用アセンブラを作る(4) JR-100でのテスト” の続きを読む

6802用アセンブラを作る(3) プロトタイプ完成

構文解析部分で少し悩みましたが、ひとまずプロトタイプはできました。パーサーを自分で作るのとは異なり、ジェネレータを使うとエラー処理をうまく書くのが難しいです。いまのところ最低限の処理しか実装していません。またたまに例外を発生しますのでお気を付けを……。 2017/3/25追記アセンブラの正式版の説明はこちらに移動しました。お手数をおかけします。構文解析について行の構文解析のところで二つの方式で悩みました。方式1：命令の正当性を構文規則で表現するこんな規則になります。

operation ::= ADDA BYTE_VALUE:value
              {: RESULT = new ADDA(Instruction.MODE_IMMEDIATE, value.intValue()); :}
              |
              ADDA LBRACKET BYTE_VALUE:value RBRACKET
              {: RESULT = new ADDA(Instruction.MODE_DIRECT, value.intValue()); :}
              |
              ADDA LBRACKET REG_X PLUS BYTE_VALUE:value RBRACKET
              {: RESULT = new ADDA(Instruction.MODE_INDEXED, value.intValue()); :}
              |
              ADDA LBRACKET SHORT_VALUE:value RBRACKET
              {: RESULT = new ADDA(Instruction.MODE_EXTENDED, value.intValue()); :}
              |
              以下全命令、全アドレシングモードに対し繰り返し

operation ::= ADDA BYTE_VALUE:value

{: RESULT = new ADDA(Instruction.MODE_IMMEDIATE, value.intValue()); :}

ADDA LBRACKET BYTE_VALUE:value RBRACKET

{: RESULT = new ADDA(Instruction.MODE_DIRECT, value.intValue()); :}

ADDA LBRACKET REG_X PLUS BYTE_VALUE:value RBRACKET

{: RESULT = new ADDA(Instruction.MODE_INDEXED, value.intValue()); :}

ADDA LBRACKET SHORT_VALUE:value RBRACKET

{: RESULT = new ADDA(Instruction.MODE_EXTENDED, value.intValue()); :}

以下全命令、全アドレシングモードに対し繰り返し

この方式だと構文エラーが自動的に判定できるので(当 … “6802用アセンブラを作る(3) プロトタイプ完成” の続きを読む

6802用アセンブラを作る(2) JFlexとCUPの導入

6802用アセンブラの構文解析部分を、将来の拡張性を見据えて、自前で作成するのではなく字句解析にJFlex、構文解析にCUPを使って作成することにしました。この記事ではそれぞれの導入と、それらを使った構文解析部分のプロトタイプを紹介します。インストール以下の環境にインストールするためのメモを記します。 Windows 10 Eclipse Version Mars.2 Release 4.5.2 JFlex ダウンロードページからtar.gzまたはzipファイルをダウンロードし、適当な場所に保存します。2017年2月26日現在、最新版は1.6.1。tar.gzもzipも内容は同じです。以 … “6802用アセンブラを作る(2) JFlexとCUPの導入” の続きを読む