CASL

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

CASL(キャスル)とは、情報処理技術者試験におけるプログラミング能力試験のために仕様策定されたアセンブリ言語である。

概要[編集]

第二種情報処理技術者試験(現・基本情報技術者試験)にはプログラミング能力試験という試験がある。この試験は幾つかのプログラミング言語別に分かれており、受験者はそれぞれが最も得意とする言語による試験を選択することで、特定の言語のプログラマが有利になることを防いでいる。

CASLはこの試験で使用するアセンブリ言語として開発された。アセンブリ言語はハードウェアアーキテクチャとの関連性が強く、仮に特定の実在するアーキテクチャを試験に採用した場合、それを利用する受験者に有利に働いてしまうという問題がある。このため、実在するどのアーキテクチャとも関連性がない単純化された仮想の計算機と、そのアセンブリ言語の仕様を一から策定することで、この問題を解消した。この仮想計算機はCOMETと呼ばれ、アセンブリ言語の仕様はCASLと名付けられた。

COMETは、最低限の機能のみを実装した仮想機械であり、そのためCASLも非常に簡素なアセンブリ言語となっている、初期の仕様ではCOMETの各機械語命令を除けば4種類の擬似命令と3種類のマクロしかない。COMETとCASLの仕様は試験実施者から予め発表されるほか、試験問題中にも示され、試験中にその場で仕様を理解し解答することも可能である。

2001年に第二種情報処理技術者試験が基本情報処理技術者試験に改訂された折りに、COMETとCASLの仕様改訂も行われており、改訂後はそれぞれCOMET IICASL IIと呼ばれる。なお情報処理技術者試験センターから、Java環境で動作するCASL-IIシミュレータが学習用に提供されている。

情報処理技術者試験の開始当初には、同様にCAP-XおよびCOMP-Xが用いられていたが、主にマイクロプロセッサの登場と普及に伴う主流アーキテクチャの変化にともない、変化に対応した新しいアセンブリ言語および仮想計算機としてCASLおよびCOMETが定義された。

COMET の仕様[編集]

ここでは COMET II に改訂されるまえの COMETの仕様について述べ、 COMET II との違いについては#仕様改訂による変更点を参照されたい。

COMET は 1ワード長が16ビットの固定長語で表現され、処理の対象となるデータは全てワード単位で行われる。1ワードを構成するビットの並びは、最上位ビットを 0 番、最下位ビットを 15 番とする(COMET IIで変更されている)。制御方式は逐次処理方式であり、命令語は2ワードの固定長で表現される。扱うデータは算術データ、論理データ、文字データの3種類がある、算術データは 1ワードのデータを2の補数表現で表現し、論理データは符号無し整数として扱う。文字データはJIS X 0201規格を採用している。

レジスタは次の通り。

汎用レジスタ GR0、GR1、GR2、GR3、GR4
16ビットのレジスタ。算術演算と論理演算、比較およびシフト演算に用いる。このうち GR1~GR4 は指標(インデックス)レジスタとしても用いる。GR4はスタックポインタとして用いる。スタックポインタにはスタックの最上段のアドレスが保持される。
プログラムカウンタ PC
実行中の命令語の先頭アドレスを保持し、命令が終了すると次に実行される命令語の先頭アドレスが設定される。上述のように COMET の命令語は2ワード固定長なので分岐命令のように次に実行するアドレスを指定するもの以外の場合は保持しているアドレスに 2 を加算する。
フラグレジスタ FR
2ビットのレジスタで、実行された命令が算術演算や論理演算命令の場合、実行結果が負なら 10、正なら 00、零なら 01 が設定される。比較演算命令も同様に比較結果に応じて値が設定される。

前述の通りCASLは命令語を2ワードの固定長として扱う。命令語の構成は先頭から順に OPフィールド(8ビット)、GRフィールド(4ビット)、XRフィールド(4ビット)、adrフィールド(16ビット)のデータアドレスと続く。COMETの前身であるCOMP-X と同様の構成だが各フィールドのビット数が違うことに注意されたい。

OP フィールドは命令の種類を表すコード(オペコード部)であり、初期の COMET では 23 種類の命令が用意されており、COMET IIでは 28種類に拡張されている。GR フィールドでは演算で使用する GR の番号が指定される。分岐命令やスタック操作の場合は GRを指定することはないので、これらの命令ではこの部分は無視される(何を指定しても問題ない)。XR フィールドではアドレス修飾を行う GR の番号が指定され、内容が 0 の場合は GR0 を意味するのではなく、GR によるアドレス修飾をしない GRフィールドと同様、アドレス修飾を持たない命令においては無視される。adr フィールドは処理対象となるアドレスが指定され、このアドレスに XRフィールドのアドレス修飾を施したものが実行アドレスとして使用される。

なお COMP-X と異なり、COMET では命令の具体的なオペコードは定義されていない(定義の後に、定義の一部でないと明示のうえで参考資料として示されている)。

命令コードと各命令の概要は以下の通り。なお書き方の [] は省略可能を意味している。

LD GR, adr[, XR] - LoaD
有効アドレスの内容を指定した GR アドレスに設定する。
ST GR, adr[, XR] - STore
GRレジスタに設定された内容を実行アドレスに格納する。
LEA GR, adr[, XR] - Load Effective Address
有効アドレスの番地を GR に格納する。実行後、格納された値に応じて FC に 01、10、00 を設定する。COMET II の改訂後にこの命令は廃止され、代わりにFRレジスタを更新しない LAD 命令が追加された。
ADD GR, adr[, XR] - ADD arithmetic
GRの内容と有効アドレスの内容を加算し、結果を GR に格納する。このとき FC の設定も行う。 COMET II の改訂後に名称を ADDA と改称している。
SUB GR, adr[, XR] - SUBtract arithmetic
GRの内容から有効アドレスの内容を減算し、結果を GR に格納する。このとき FC の設定も行う。 ADD と同様 COMET II の改訂後に名称を SUBA と改称している。
AND GR, adr[, XR]
GRの内容と有効アドレスの内容の論理積を GR に格納する。このとき FC の設定も行う。
OR GR, adr[, XR]
GRの内容と有効アドレスの内容の論理和を GR に格納する。このとき FC の設定も行う。
EOR GR, adr[, XR] - Exclusive OR
GRの内容と有効アドレスの内容の排他的論理和を GR に格納する。このとき FC の設定も行う。 COMET II の改訂後に名称を XOR と改称している。
CPA GR, adr[, XR] - ComPare Arithmetic
GRの内容と有効アドレスの内容を算術比較し、GRの内容の方が大きければ FC に 00 を、等しければ 01 を、小さければ 10 を設定する。
CPL GR, adr[, XR] - ComPare Logic
CPAと同様だが、内容を算術データではなく論理データとして扱う。
SLL GR, adr[, XR] - Shift Left Logic
左に有効アドレス分シフトする、シフトにより欠落したデータは捨てられ、空いたビットには 0が入る。シフト後の内容により、FCに値が設定される。
SLA GR, adr[, XR] - Shift Left Arithmetic
符号を表すビット(第0ビット、COMET IIでは 第15ビット)を除いて左に有効アドレス分シフトする。シフトにより欠落したデータは捨てられ、空いたビットには 0 が入る。シフト後の内容により、FCに値が更新される。
SRL GR, adr[, XR] - Shift Right Logic
SLLの右シフト版。
SRA GR, adr[, XR] - Shift Right Arithmetic
SLAの右シフト版。
JPZ adr[, XR] - Jump on Plus or Zero
FRの値が 00 か 01 の場合は有効アドレスに分岐する。COMET II の改訂により廃止される。
JMI adr[, XR] - Jump on MInus
FRの値が 10 の場合は有効アドレスに分岐する。
JNZ adr[, XR] - Jump on Non Zero
FRの値が 10 か 01 の場合は有効アドレスに分岐する。
JZE adr[, XR] - Jump on ZEro
FRの値が 00 の場合は有効アドレスに分岐する。
JMP adr[, XR] - unconditional JuMP
無条件に有効アドレスに分岐する。
PUSH adr[, XR] - PUSH effective address
有効アドレスをスタックに格納する。このとき GR4にスタックの先頭アドレスが設定される。
POP GR - POP up
スタックの先頭に格納されているアドレスを GRに設定する。GR4に新しいスタックの先頭アドレスが設定される。
CALL adr[, XR] - CALL subroutine
サブルーチンを呼び出す。
RET - RETurn form subroutine
サブルーチンから呼び出し、呼び出しもとに復帰する。

CASL の仕様[編集]

CASL は1行に、ラベル、命令コード、オペランドの順に記述する。ラベルは記述しない場合もある。ラベルは3文字以内で、先頭は英大文字、それ以外は英大文字または数字である。オペランドでアドレスを指定する際に数値の代わりにラベルを記述できる。

CASL には次の擬似命令がある。

START [実行開始番地]
プログラムの先頭に必ず書かれる。実行開始番地は[エントリーポイント]が指定される、省略された場合は先頭から実行を開始する。
END
プログラムの終了を意味する。プログラムの最後に必ず書かれなければならない。
DC n - Define Constant
nで指定した10進数の数値を1ワードの2進数データとして格納する。ただし、n が算術データの範囲(-32768~32767)に無い場合は、下位16ビットが格納される。
DS n - Define Storage
nワード語長の領域を確保する。

また、CASLには入出力を表すマクロ命令が用意されている。内容は以下の通り

IN 入力領域, 入力文字長
この命令が実行されると入力待ちが発生する。データが入力されると入力されたデータを文字型として入力領域に入力する、入力は1文字を1ワードに格納する。COMETでは文字データはJIS X 0201(8ビット)のため、1文字1ワード(16ビット)では空きが発生することになるが、入力データは 8ビット目以降に入力され、0~7ビット目までには0が格納される。また入力長には入力したデータの長さが格納される。入力領域、入力長はともにラベル名で指定する。
OUT 出力領域, 出力文字長
出力領域に格納されているデータを出力文字長分、文字として表示する。IN 命令と同様 1ワード1文字に対応する。
EXIT
プログラムの実行を終了する。CASL IIの改訂により廃止される。

仕様改訂による変更点[編集]

2001年の COMET II、CASL IIの改訂によってCASL COMETに比べていくつかの変更が行われている。具体的には以下の通り、

  • ビットの数え方が変更されている。COMET では最上位ビットを 0 番、最下位ビットを 15 番としていたが、COMET II では最上位ビットが 15番、最下位ビットが 0番である。
  • GR の数が GR0~GR7 まで拡張されている。
  • スタックポインタ専用のレジスタ SP が追加されている。これにより スタックポインタと GR4 の関係が無くなった。
  • FR が 3ビットに変更される。最上位ビットにあたる部分が算術命令等で算術オーバーフローが発生した場合、1 それ以外は 0 が格納されるフラグとして追加される。
  • ADD、SUB が ADDA、SUBA という名称に変更される。
  • EOR が XOR という名称に変更される。
  • JMP が JUMP という名称に変更される。
  • レジスタ同士の演算が可能になった。具体的には "命令 GR1, GR2"という書き方で有効アドレスではなく GR2の内容から演算を行う。この書き方が採用された命令は以下の通り
    • LD
    • ADDA(ADD)
    • SUBA(SUB)
    • AND
    • OR
    • XOR(EOR)
    • CPA
    • CPL
  • LD 命令の実行後 FRが設定されるようになる。
  • COMET の LEA と JPZ命令、CASL のEXIT命令が廃止される。
  • COMET II、CASL IIともに追加された命令がある。

COMET II に追加された命令は以下の通り

LAD GR, adr[, XR] - Load ADress
廃止された LEA 命令と同様の機能を持つ、ただし実行後に FRレジスタを更新しない点が異なる。
ADDL GR, adr[, XR]、ADDL GR1, GR2 - ADD Logic
ADDA と同様だがデータを算術データではなく論理データ(符号無し整数)として扱う。
SUBL GR, adr[, XR]、SUBL GR1, GR2 - SUBtract Logic
SUBA と同様だがデータを算術データではなく論理データ(符号無し整数)として扱う。
JPL adr[, XR] - Jump on PLus
FRの値が *00 の場合、有効アドレスに分岐する。
JOV adr[, XR] - Jump on OVerflow
FRの値が 1** の場合、有効アドレスに分岐する。
SVC adr[, XR] - SuperVisor Call
実行アドレスを引数としてシステムコールを行う。実行後のGRとFRは不定となる。
NOP - No OPeration
何もしない命令、NOPも参照のこと。

CASL II に追加された命令は以下の通り

RPUSH
GR1~GR7 の順で内容をスタックに順次格納する。
RPOP
スタックから順次値を取り出し GR7~GR1 の順に格納する。

サンプルコード[編集]

以下は CASL II による再帰呼び出しを用いてハノイの塔を解くサンプルコードの一例である。

; ハノイの塔を解くプログラム
MAIN   START
       LD      GR0,N
       LD      GR1,A
       LD      GR2,B
       LD      GR3,C
       CALL    HANOI       ; hanoi(3, A, B, C)
       RET

; hanoi(N, X, Y, Z)
HANOI  CPA     GR0,=1      ; if N == 1 then
       JZE     DISP        ;  move it, return
       SUBA    GR0,=1      ; N - 1
       PUSH    0,GR2       ; swap GR2 GR3
       LD      GR2,GR3
       POP     GR3
       CALL    HANOI       ; hanoi(N-1, X, Z, Y)
       ST      GR1,MSG1
       ST      GR2,MSG2    ; now GR2 holds Z
       OUT     MSG,LNG     ; 'from X to Z'
       PUSH    0,GR2       ; rotate registers
       LD      GR2,GR1
       LD      GR1,GR3
       POP     GR3
       CALL    HANOI       ; hanoi(N-1, Y, X, Z)
       PUSH    0,GR2       ; restore registers
       LD      GR2,GR1
       POP     GR1
       ADDA    GR0,=1      ; also N has restored
       RET

DISP   ST      GR1,MSG1    ; 'from X to Z'
       ST      GR3,MSG2
       OUT     MSG,LNG
       RET

N      DC      3        ; 輪の総数
LNG    DC      11       ; メッセージの長さ
A      DC      'A'
B      DC      'B'
C      DC      'C'
MSG    DC      'from '
MSG1   DS      1
       DC      ' to '
MSG2   DS      1
       END

このコードを実行すると以下の結果が得られる(ここで、from A to C は A の一番上にある円盤を C に移すことを意味している)。

from A to C
from A to B
from C to B
from A to C
from B to A
from B to C
from A to C

参考文献[編集]

外部リンク[編集]