From: j8takagi Date: Thu, 22 Nov 2012 02:39:10 +0000 (+0900) Subject: CASL II仕様書の作成 X-Git-Tag: v0.2p6~2 X-Git-Url: https://j8takagi.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=081bee01cb139925c43479801863f5d87caa7f2d;p=YACASL2.git CASL II仕様書の作成 --- diff --git a/doc/casl2_spec.texi b/doc/casl2_spec.texi index 225dc04..8889a6b 100644 --- a/doc/casl2_spec.texi +++ b/doc/casl2_spec.texi @@ -22,7 +22,7 @@ Copyright @copyright{} Information-technology Promotion Agency, Japan. All right @subtitle 「試験で使用する情報処理用語・プログラム言語など Ver 2.2（平成24å¹´5月22日） 別紙1」より @end titlepage -@chapter システム COMETIIの仕様 +@chapter システム COMET IIの仕様 @section ハードウェアの仕様 @@ -249,1062 +249,159 @@ FRの値 JIS X 0201 ラテン文字・片仮名用8ビット符号で規定する文字の符号表を使用する。 @item +次に符号表の一部を示す。１文字は８ビットからなり、上位4ビットを列で、下位4ビットを行で示す。 たとえば、間隔、4、H、\のビット構成は、16進表示で、ビット構成が 21～7E（及び表では省略しているA1～DF）に対応する文字を図形文字という。 図形文字は、表示（印刷）装置で、文字として表示（印字）できる。 + +@multitable @columnfractions .22 .13 .13 .13 .13 .13 .13 +@headitem 行＼列 @tab 02 @tab 03 @tab 04 @tab 05 @tab 06 @tab 07 +@item 0 @tab 間隔 @tab 0 @tab @@ @tab P @tab ` @tab p +@item 1 @tab ! @tab 1 @tab A @tab Q @tab a @tab q +@item 2 @tab " @tab 2 @tab B @tab R @tab b @tab r +@item 3 @tab # @tab 3 @tab C @tab S @tab c @tab s +@item 4 @tab $ @tab 4 @tab D @tab T @tab d @tab t +@item 5 @tab % @tab 5 @tab E @tab U @tab e @tab u +@item 6 @tab & @tab 6 @tab F @tab V @tab f @tab v +@item 7 @tab ' @tab 7 @tab G @tab W @tab g @tab w +@item 8 @tab ( @tab 8 @tab H @tab X @tab h @tab x +@item 9 @tab ) @tab 9 @tab I @tab Y @tab i @tab y +@item 10 @tab * @tab : @tab J @tab Z @tab j @tab z +@item 11 @tab + @tab ; @tab K @tab [ @tab k @tab @{ +@item 12 @tab ､ @tab < @tab L @tab \ @tab l @tab | +@item 13 @tab - @tab = @tab M @tab ] @tab m @tab @} +@item 14 @tab ｡ @tab > @tab N @tab ^ @tab n @tab ~ +@item 15 @tab / @tab ? @tab O @tab _ @tab o @tab +@end multitable - +@item +この表にない文字とそのビット構成が必要な場合は、問題中で与える。 @end enumerate -(1) - 行 列 - 0 - -1 -(2) 右に符号表の一部を示す。1 文字は 8 ビットからなり,上位 4 ビットを列で,下位 4 ビットを行で示す。例えば,間隔,4,H,Â¥ のビット構成は,16 進表示で,それぞれ 20,34,48, -2 - -3 - -4 - -5 -6 -5C である。16 進表示で,ビット構成が 21 ~7E(及び表では省略している A1 ~ DF)に対応する文字を図形文字という。図形文字は,表示(印刷)装置で,文字として表示(印字)できる。 -7 - -8 - -9 - 10 - -(3) この表にない文字とそのビット構成が必要な場合は,問題中で与える。 -11 - -12 -13 -14 -15 -02 03 -間隔 0 -! -1 -” -2 -# -3 -$ -4 -% -5 -& -6 -' -7 -( -8 -) -9 -* -: -+ -; -, -< -‐ -= -. -> -/ -? -04 -@ -A -B -C -D -E -F -G -H -I -J -K -L -M -N -O -05 -P -Q -R -S -T -U -V -W -X -Y -Z -[ -Â¥ -] -^ -_ -06 -` -a -b -c -d -e -f -g -h -i -j -k -l -m -n -o -07 -p -q -r -s -t -u -v -w -x -y -z -{ -| -} -~ -@bye +@chapter アセンブラ言語CASL IIの仕様 +@section 言語の仕様 -シフト演算命令 -算術左シフト SLA r,adr[,x] - Shift Left Arithmetic - r,adr[,x] - -SLL r,adr[,x] -SRL r,adr[,x] -JPL adr[,x] -JMI adr[,x] -JNZ adr[,x] -JZE adr[,x] -JOV adr[,x] -JUMP adr[,x] -論理左シフト -Shift Left Logical -論理右シフト -Shift Right Logical -(5) -←(r1)+(r2) -←(r)+(実効アドレス) -←(r1)+L(r2) -←(r)+L(実効アドレス) -←(r1)-(r2) -←(r)-(実効アドレス) -←(r1)-L(r2) -←(r)-L(実効アドレス) -←(r1)AND(r2) -←(r)AND(実効アドレス) -←(r1)OR(r2) -←(r)OR(実効アドレス) -←(r1)XOR(r2) -←(r)XOR(実効アドレス) -比較演算命令 -r1,r2 -(4) -r1 -r -r1 -r -r1 -r -r1 -r -r1 -r -r1 -r -r1 -r -分岐命令 -正分岐 -Jump on PLus -負分岐 -Jump on MInus -非零分岐 -Jump on Non Zero -零分岐 -Jump on ZEro -オーバフロー分岐 -Jump on OVerflow -無条件分岐 -unconditional JUMP -FR の値によって、実効アドレスに分岐す -る。分岐しないときは、次の命令に進む。 -分岐するときの FR の値 -命令 -OF -SF -ZF -0 -0 -JPL -1 -JMI - -JNZ -0 -1 -JZE -JOV -1 -無条件に実効アドレスに分岐する。 - -(6) -スタック操作命令 -プッシュ -PUSH -ポップ -POP -PUSH adr[,x] -POP r -コール CALL adr[,x] - CALL subroutine -リターン RET - RETurn from subroutine -SVC adr[,x] -NOP -(7) -(8) -SP ←(SP)-L 1, - - (SP)← 実効アドレス - r ←((SP)) - , - SP ←(SP)+L 1 -SP ←(SP)-L 1, - - (SP)←(PR) - , - PR ← 実効アドレス - PR ←((SP)) - , - SP ←(SP)+L 1 -コール,リターン命令 -その他 -スーパバイザコール -SuperVisor Call -ノーオペレーション -No OPeration -(注) r,r1,r2 - -adr - -x -[ -] - -( -) - -実効アドレス -← - -+L,-L -FR の設定 -実効アドレスを引数として割出しを行 -う。実行後の GR と FR は不定となる。 -- -何もしない。 -いずれも GR を示す。指定できる GR は GR0 ~ GR7 -アドレスを示す。指定できる値の範囲は 0 ~ 65535 -指標レジスタとして用いる GR を示す。指定できる GR は GR1 ~ GR7 -[ -]内の指定は省略できることを示す。 -( -)内のレジスタ又はアドレスに格納されている内容を示す。 -adr と x の内容との論理加算値又はその値が示す番地 -演算結果を、左辺のレジスタ又はアドレスに格納することを示す。 -論理加算、論理減算を示す。 -○ :設定されることを示す。 -- :実行前の値が保持されることを示す。 +@enumerate +@item +CASL IIは、COMET IIのためのアセンブラ言語である。 -@section 文字の符号表 -(1) JIS X 0201 ラテン文字・片仮名用 8 ビット符 行 列 -0 -号で規定する文字の符号表を使用する。 -1 -(2) 右に符号表の一部を示す。1 文字は 8 ビット -2 -からなり、上位 4 ビットを列で、下位 4 ビット -3 -を行で示す。例えば、間隔、4、H、¥ のビット -4 -構成は、16 進表示で、それぞれ 20、34、48、 -5 -6 -5C である。16 進表示で、ビット構成が 21 ~ -7 -7E(及び表では省略している A1 ~ DF)に対応 -8 -する文字を図形文字という。図形文字は、表示 -9 -（印刷）装置で、文字として表示（印字）できる。 10 -(3) この表にない文字とそのビット構成が必要な -11 -場合は、問題中で与える。 -12 -13 -14 -15 -02 03 -間隔 0 -! -1 -” -2 -# -3 -$ -4 -% -5 -& -6 -' -7 -( -8 -) -9 -* -: -+ -; -, -< -‐ -= -. -> -/ -? -04 -@ -A -B -C -D -E -F -G -H -I -J -K -L -M -N -O -05 -P -Q -R -S -T -U -V -W -X -Y -Z -[ -Â¥ -] -^ -_ -06 -` -a -b -c -d -e -f -g -h -i -j -k -l -m -n -o -07 -p -q -r -s -t -u -v -w -x -y -z -{ -| -} -~ - -@chapter アセンブラ言語 CASLIIの仕様 -@section 言語の仕様 -(1) CASLIIは、COMETIIのためのアセンブラ言語である。 -(2) プログラムは、命令行及び注釈行からなる。 -(3) 1 命令は 1 命令行で記述し、次の行へ継続できない。 -(4) 命令行及び注釈行は、次に示す記述の形式で、行の 1 文字目から記述する。 -行 の 種 類 -記 è¿° の å½¢ 式 -オペランドあり [ラベル] -{空白} -{命令コード} -{空白} -{オペランド} -[{空白} -[コメント] -] -命令行 -オペランドなし [ラベル] -{空白} -{命令コード} -[{空白} -[{;} -[コメント]] -] -注釈行 -[空白] [コメント] -{;} -（注） [ -] [ -]内の指定が省略できることを示す。 -{ -} { -}内の指定が必須であることを示す。 -その命令の（先頭の語の）アドレスを他の命令やプログラムから参照するための -ラベル -名前である。長さは 1 ~ 8 文字で、先頭の文字は英大文字でなければならない。 -以降の文字は、英大文字又は数字のいずれでもよい。なお、予約語である GR0 ~ -GR7 は、使用できない。 -空白 -1 文字以上の間隔文字の列である。 -命令コード 命令ごとに記述の形式が定義されている。 -オペランド 命令ごとに記述の形式が定義されている。 -コメント +@item +プログラムは、命令行および注釈行からなる。 + +@item +1命令は1命令行で記述し、次の行へ継続できない。 + +@item +命令行および注釈行は、次に示す記述の形式で、行の1文字目から記述する。 +@multitable @columnfractions .15 .15 .70 +@headitem 行の種類 @tab @tab 記述の形式 +@item 命令行 @tab オペランドあり @tab ［ラベル］｛空白｝｛命令コード｝｛空白｝｛オペランド｝［｛空白｝［｛；｝［コメント］］ +@item @tab オペランドなし @tab ［ラベル］｛空白｝｛命令コード｝［｛空白｝［｛；｝［コメント］］ +@item 注釈行 @tab @tab ［空白］｛；｝［コメント］ +@end multitable + +@itemize +@item 注 +@table @dfn +@item ï¼» ï¼½ +ï¼» ］内の指定が省略できることを示す。 + +@item ｛ ｝ +｛ ｝内の指定が必須であることを示す。 + +@item ラベル +その命令の（先頭の語の）アドレスを他の命令やプログラムから参照するための名前である。 長さは1～8文字で、先頭の文字は英大文字でなければならない。 以降の文字は、英大文字又は数字のいずれでもよい。 なお、予約語であるＧＲ0～ＧＲ7は、使用できない。 + +@item 空白 +１文字以上の間隔文字の列である。 + +@item 命令コード +命令ごとに記述の形式が定義されている。 + +@item オペランド +命令ごとに記述の形式が定義されている。 + +@item コメント 覚え書きなどの任意の情報であり、処理系で許す任意の文字を書くことができる。 +@end table +@end itemize +@end enumerate + @section 命令の種類 -命令は、4 種類のアセンブラ命令（START,END,DS,DC） 種類のマクロ命令（IN, -,4 -OUT,RPUSH,RPOP）及び機械語命令（COMETIIの命令）からなる。その仕様を次に示 -す。 -命令の種類 -ラベル -命 令 -コード -オペランド -機 -能 -プログラムの先頭を定義 -プログラムの実行開始番地を定義 -ラベル START [実行開始番地] -他のプログラムで参照する入口名 -を定義 -アセンブラ命令 -END -プログラムの終わりを明示 - - -[ラベル] DS -語数 -領域を確保 -[ラベル] DC -定数[,定数]... -定数を定義 -[ラベル] IN -入力領域,入力文字長領域 入力装置から文字データを入力 -[ラベル] OUT -出力領域,出力文字長領域 出力装置へ文字データを出力 -マクロ命令 -[ラベル] RPUSH -GR の内容をスタックに格納 -[ラベル] RPOP -スタックの内容を GR に格納 -機械語命令 -[ラベル] -（ -「1.2 命令」を参照） - -@section アセンブラ命令 -アセンブラ命令は、アセンブラの制御などを行う。 -（1） -START [実行開始番地] -START 命令は、プログラムの先頭を定義する。 -実行開始番地は、そのプログラム内で定義されたラベルで指定する。指定がある場合 -はその番地から、省略した場合は START 命令の次の命令から、実行を開始する。 -また、この命令につけられたラベルは、他のプログラムから入口名として参照できる。 -(2) -END -END 命令は、プログラムの終わりを定義する。 -(3) -DS -語数 -DS 命令は、指定した語数の領域を確保する。 -語数は、10 進定数（≧ 0）で指定する。語数を 0 とした場合、領域は確保しないが、 -ラベルは有効である。 -(4) -DC -定数[,定数]... -DC 命令は,定数で指定したデータを（連続する）語に格納する。 -定数には、10 進定数、16 進定数、文字定数、アドレス定数の 4 種類がある。 -定数の種類 -書き方 -命 令 の 説 明 -n で指定した 10 進数値を、 語の 2 進数データとして格納する。ただし、n -1 -10 進定数 -n -が-32768 ~ 32767 の範囲にないときは、その下位 16 ビットを格納する。 -h は 4 けたの 16 進数（16 進数字は 0 ~ 9、A ~ F）とする。h で指定した -16 進定数 -#h -16 進数値を 1 語の 2 進数データとして格納する（0000 ≦ h ≦ FFFF） -。 -文字列の文字数（> 0）分の連続する領域を確保し、最初の文字は第 1 語の -下位 8 ビットに、2 番目の文字は第 2 語の下位 8 ビットに、...と順次文字 -文字定数 -'文字列' データとして格納する。各語の上位 8 ビットには 0 のビットが入る。 -文字列には、間隔及び任意の図形文字を書くことができる。ただし、アポ -ストロフィ（'）は 2 個続けて書く。 -アドレス定数 ラベル ラベルに対応するアドレスを 1 語の 2 進数データとして格納する。 - -@section マクロ命令 -マクロ命令は、あらかじめ定義された命令群とオペランドの情報によって、目的の機 -能を果たす命令群を生成する（語数は不定） -。 -(1) -IN -入力領域、入力文字長領域 -IN 命令は、あらかじめ割り当てた入力装置から、1 レコードの文字データを読み込む。 -入力領域は、256 語長の作業域のラベルであり、この領域の先頭から、1 文字を 1 語に -対応させて順次入力される。レコードの区切り符号（キーボード入力の復帰符号など） -は、格納しない。格納の形式は、DC 命令の文字定数と同じである。入力データが 256 文 -字に満たない場合、入力領域の残りの部分は実行前のデータを保持する。入力データが -256 文字を超える場合、以降の文字は無視される。 -入力文字長領域は、1 語長の領域のラベルであり、入力された文字の長さ（≧ 0）が 2 -進数で格納される。ファイルの終わり（end of file）を検出した場合は、-1 が格納され -る。 -IN 命令を実行すると、GR の内容は保存されるが、FR の内容は不定となる。 -(2) -OUT -出力領域、出力文字長領域 -OUT 命令は、あらかじめ割り当てた出力装置に、文字データを、1 レコードとして書き -出す。 -出力領域は、出力しようとするデータが 1 文字 1 語で格納されている領域のラベルで -ある。格納の形式は、DC 命令の文字定数と同じであるが、上位 8 ビットは、OS が無視 -するので 0 でなくてもよい。 -出力文字長領域は、1 語長の領域のラベルであり、出力しようとする文字の長さ -（≧ 0） -を 2 進数で格納しておく。 -OUT 命令を実行すると、GR の内容は保存されるが、FR の内容は不定となる。 -(3) -RPUSH -RPUSH 命令は、GR の内容を、GR1,GR2,...,GR7 の順序でスタックに格納する。 -(4) -RPOP -RPOP 命令は、スタックの内容を順次取り出し、GR7,GR6,...,GR1 の順序で GR に -格納する。 -@section 機械語命令 -機械語命令のオペランドは、次の形式で記述する。 -r, r1, r2 -x -adr -GR は、記号 GR0 ~ GR7 で指定する。 -指標レジスタとして用いる GR は、記号 GR1 ~ GR7 で指定する。 -アドレスは、10 進定数、16 進定数、アドレス定数又はリテラルで指定する。 -リテラルは、一つの 10 進定数、16 進定数又は文字定数の前に等号（=）を付けて -記述する。CASLIIは、等号の後の定数をオペランドとする DC 命令を生成し、そ -のアドレスを adr の値とする。 -@section その他 -(1) アセンブラによって生成される命令語や領域の相対位置は、アセンブラ言語での記述 -順序とする。ただし、リテラルから生成される DC 命令は、END 命令の直前にまとめて -配置される。 -(2) 生成された命令語、領域は、主記憶上で連続した領域を占める。 - -@chapter プログラム実行の手引 -@section OS -プログラムの実行に関して、次の取決めがある。 -(1) アセンブラは、未定義ラベル（オペランド欄に記述されたラベルのうち、そのプログ -ラム内で定義されていないラベル）を、他のプログラムの入口名（START 命令のラベ -ル）と解釈する。この場合、アセンブラはアドレスの決定を保留し、その決定を OS に -任せる。OS は、実行に先立って他のプログラムの入口名との連係処理を行いアドレス -を決定する（プログラムの連係） -。 -(2) プログラムは、OS によって起動される。プログラムがロードされる主記憶の領域は -不定とするが、プログラム中のラベルに対応するアドレス値は、OS によって実アドレ -スに補正されるものとする。 -(3) プログラムの起動時に、OS はプログラム用に十分な容量のスタック領域を確保し、 -その最後のアドレスに 1 を加算した値を SP に設定する。 -(4) OS は、CALL 命令でプログラムに制御を渡す。プログラムを終了し OS に制御を戻す -ときは、RET 命令を使用する。 -(5) IN 命令に対応する入力装置、OUT 命令に対応する出力装置の割当ては、プログラムの -実行に先立って利用者が行う。 -(6) OS は、入出力装置や媒体による入出力手続の違いを吸収し、システムでの標準の形 -式及び手続（異常処理を含む）で入出力を行う。したがって、IN、OUT 命令では、入出 -力装置の違いを意識する必要はない。 -@section 未定義事項 -プログラムの実行等に関し、この仕様で定義しない事項は、処理系によるものとする。 - -@unnumbered参考資料 - -参考資料は、COMETIIの理解を助けるため又は COMETIIの処理系作成者に対する -便宜のための資料である。したがって、COMETII、CASLIIの仕様に影響を与えるもの -ではない。 - -@section 命令語の構成 -命令語の構成は定義しないが、次のような構成を想定する。ここで、OP の数値は 16 -進表示で示す。 -15 -11 -7 -3 -第1語 -0 15 -OP -r/r1 x/r2 -主OP副OP -0 -0 -- -- -1 -0 -1 -2 -4 -2 -0 -1 -2 -3 -4 -5 -6 -7 -3 -0 -1 -2 -4 -5 -6 -4 -0 -1 -4 -5 -5 -0 -1 -2 -3 -6 -1 -- -2 -- -3 -- -4 -- -5 -- -6 -- -7 -0 -- -1 -- -8 -0 -- -1 -- -- -9 -~ -E -F -0 -- -0 -第2語 -adr -- -- -- -- -- -- -- -- -- -- -- -- -- -ビット番号 -命令語とアセンブラとの対応 -命令 -語長 -1 -2 -2 -2 -1 -2 -2 -2 -2 -1 -1 -1 -1 -2 -2 -2 -1 -1 -1 -2 -2 -1 -1 -2 -2 -2 -2 -2 -2 -2 -2 -2 -2 -2 -1 -2 -1 -機械語命令 -NOP -LD -ST -LAD -LD -ADDA -SUBA -ADDL -SUBL -ADDA -SUBA -ADDL -SUBL -AND -OR -XOR -AND -OR -XOR -CPA -CPL -CPA -CPL -SLA -SRA -SLL -SRL -JMI -JNZ -JZE -JUMP -JPL -JOV -PUSH -POP -CALL -RET - -r,adr,x -r,adr,x -r,adr,x -r1,r2 -r,adr,x -r,adr,x -r,adr,x -r,adr,x -r1,r2 -r1,r2 -r1,r2 -r1,r2 -r,adr,x -r,adr,x -r,adr,x -r1,r2 -r1,r2 -r1,r2 -r,adr,x -r,adr,x -r1,r2 -r1,r2 -r,adr,x -r,adr,x -r,adr,x -r,adr,x -adr,x -adr,x -adr,x -adr,x -adr,x -adr,x -adr,x -r -adr,x -意味 -no operation -load -store -load address -load -add arithmetic -subtract arithmetic -add logical -subtract logical -add arithmetic -subtract arithmetic -add logical -subtract logical -and -or -exclusive or -and -or -exclusive or -compare arithmetic -compare logical -compare arithmetic -compare logical -shift left arithmetic -shift right arithmetic -shift left logical -shift right logical -jump on minus -jump on non zero -jump on zero -unconditional jump -jump on plus -jump on overflow -push -pop -call subroutine -return from subroutine -その他の命令 -2 -SVC -adr,x -supervisor call - -@section マクロ命令 -マクロ命令が生成する命令群は定義しない（語数不定）が,次の例のような命令群を -生成することを想定する。 -〔例〕IN 命令 -LABEL IN -IBUF,LEN - -マクロ生成 - - -LABEL - - - - - - -PUSH -PUSH -LAD -LAD -SVC -POP -POP -0,GR1 -0,GR2 -GR1,IBUF -GR2,LEN -1 -GR2 -GR1 -3. -シフト演算命令におけるビットの動き -シフト演算命令において,例えば,1 ビットのシフトをしたときの動き及び OF の変化 -は,次のとおりである。 -(1) 算術左シフトでは,ビット番号 14 の値が設定される。 -OF -15 -14 -13 -12 -11 -10 -9 -8 -7 -6 -5 -4 -3 -2 -1 -0 -0 -(2) 算術右シフトでは,ビット番号 0 の値が設定される。 -15 -14 -13 -12 -11 -10 -9 -8 -7 -6 -5 -4 -3 -2 -1 0 -1 -OF -0 -(3) 論理左シフトでは,ビット番号 15 の値が設定される。 -OF -15 -14 -13 -12 -11 -10 -9 -8 -7 -6 -5 -4 -3 -2 -0 -(4) 論理右シフトでは,ビット番号 0 の値が設定される。 -15 -14 -13 -12 -11 -10 -9 -8 -7 -6 -5 -4 -3 -2 -1 -0 -OF -0 -4. -プログラムの例 -COUNT1 -; -; -; - - - - - -MORE - - - -RETURN - - - - -START -入力 -処理 -出力 -PUSH -PUSH -SUBA -AND -JZE -LAD -LAD -AND -JNZ -LD -POP -POP -RET -END - -; -GR1:検索する語 -GR1 中の'1'のビットの個数を求める -GR0:GR1 中の'1'のビットの個数 -0,GR1 -; -0,GR2 -; -GR2,GR2 -; Count = 0 -GR1,GR1 -; 全部のビットが'0'? -RETURN -; 全部のビットが'0'なら終了 -GR2,1,GR2 -; Count = Count + 1 -GR0,‐1,GR1 -; 最下位の'1'のビット 1 個を -GR1,GR0 -; '0'に変える -MORE -; '1'のビットが残っていれば繰返し -GR0,GR2 -; GR0 = Count -GR2 -; -GR1 -; - -; 呼出しプログラムへ戻る - -; + +　命令は、4種類のアセンブラ命令（ＳＴＡＲＴ，ＥＮＤ，ＤＳ，ＤＣ）、 ４種類のマクロ命令（ＩＮ，ＯＵＴ）および機械語命令（ＣＯＭＥＴⅡの命令）からなる。 その仕様を次に示す。 +命令の種類 ラベル 命令コード オペランド 機能 +アセンブラ命令 ラベル ＳＴＡＲＴ ［実行開始番地］ プログラムの先頭を定義 +プログラムの実行開始番地を定義 +他のプログラムで参照する入口名を定義 + +ＥＮＤ +プログラムの終わりを明示 +［ラベル］ ＤＳ 語数 領域を確保 +［ラベル］ ＤＣ 定数［，定数］・・・ 定数を定義 +マクロ命令 ［ラベル］ ＩＮ 入力領域，入力文字長領域 入力装置から文字データを入力 +［ラベル］ ＯＵＴ 出力領域，出力文字長領域 出力装置へ文字データを出力 +［ラベル］ ＲＰＵＳＨ +ＧＲの内容をスタックに格納 +［ラベル］ ＲＰＯＰ +スタックの内容をＧＲに格納 +機械語命令 ［ラベル］ （「１．２ 命令」を参照） +２．３ アセンブラ命令 + +　アセンブラ命令は、アセンブラの制御などを行う。 +（１） +ＳＴＡＲＴ ［実行開始番地］ +　ＳＴＡＲＴ命令は、プログラムの先頭を定義する。 +　実行開始番地は、そのプログラム内で定義されたラベルでしていする。 指定がある場合はその番地から、省略した場合はＳＴＡＲＴ命令の次の命令から、実行を開始する。 +　また、この命令につけられたラベルは、他のプログラムから入口名として参照できる。 +（２） +ＥＮＤ +　ＥＮＤ命令は、プログラムの終わりを定義する。 +（３） +ＤＳ 語数 +　ＤＳ命令は、指定した語数の領域を確保する。 +　語数は、１０進定数（≧０）で指定する。語数を０とした場合、領域は確保しないが、ラベルは有効である。 +（４） +ＤＣ 定数［，定数］・・・ +　ＤＣ命令は、定数で指定したデータを（連続する）語に格納する。 +　定数には、１０進定数、１６進定数、文字定数、アドレス定数の４種類がある。 +定数の種類 書き方 命令の説明 +１０進定数 ｎ ｎで指定した１０進数値を、１語の２進数データとして格納する。 ただし、ｎが－３２７６８～３２７６７の範囲にないときは、その下位１６ビットを格納する。 +１６進定数 ＃ｈ ｈは４桁の１６進数（１６進数字は０～９，Ａ～Ｆ）とする。 ｈで指定した１６進数値を１語の２進数データとして格納する（００００≦ｈ≦ＦＦＦＦ）。 +文字定数 ’文字列’ 文字列の文字数（＞０）分の連続する領域を確保し、最初の文字は第１語の下位８ビットに、 ２番目の文字は第２語の下位８ビットに、・・・と順次文字データとして格納する。 各語の上位８ビットには０のビットが入る。 +文字列には、間隔および任意の図形文字を書くことができる。 ただし、アポストロフィ（’）は２個続けて書く。 +アドレス定数 ラベル ラベルに対応するアドレスを１語の２進数データとして格納する。 +２．４ マクロ命令 + +　マクロ命令は、あらかじめ定義された命令群とオペランドの情報によって、 目的の機能を果たす命令群を生成する（語数は不定）。 +（１） +ＩＮ 入力領域，入力文字長領域 +　ＩＮ命令は、あらかじめ割り当てた入力装置から、１レコードの文字データを読み込む。 +　入力領域は、２５６語長の作業域のラベルであり、この領域の先頭から、 １文字を１語に対応させて順次入力される。レコードの区切り符号（キーボ－ド入力の復帰符号など）は、 格納しない。格納の形式は、ＤＣ命令の文字定数と同じである。入力データが２５６文字に満たない場合、 入力領域の残りの部分は実行前のデータを保持する。入力データが２５６文字を超える場合、 以降の文字は無視される。 +　入力文字長領域は、１語長の領域のラベルであり、入力された文字の長さ（≧０）が２進数で格納される。 ファイルの終わり（ｅｎｄ　ｏｆ　ｆｉｌｅ）を検出した場合は、－１が格納される。 +　ＩＮ命令を実行すると、ＧＲの内容は保存されるが、ＦＲの内容は不定となる。 +（２） +ＯＵＴ 出力領域，出力文字長領域 +　ＯＵＴ命令は、あらかじめ割り当てた出力装置に、文字データを、１レコードとして書き出す。 +　出力領域は、出力しようとするデータが１文字１語で格納されている領域のラベルである。 格納の形式は、ＤＣ命令の文字定数と同じであるが、 上位８ビットは、ＯＳが無視するので０でなくてもよい。 +　出力文字長領域は、１語長の領域のラベルであり、 出力しようとする文字の長さ（≧０）を２進数で格納しておく。 +　ＯＵＴ命令を実行すると、ＧＲの内容は保存されるが、ＦＲの内容は不定となる。 +（３） +ＲＰＵＳＨ +　ＲＰＵＳＨ命令は、ＧＲの内容を、ＧＲ１、ＧＲ２、・・・、ＧＲ７の順でスタックに格納する。 +（４） +ＲＰＯＰ +　ＲＰＯＰ命令は、スタックの内容を順次取り出し、ＧＲ７、ＧＲ６、・・・、ＧＲ１の順でＧＲに格納する。 +２．５ 機械語命令 + +　機械語命令のオペランドは、次の形式で記述する。 +ｒ，ｒ１，ｒ２ ＧＲは、記号ＧＲ０～ＧＲ７で指定する。 +ｘ 指標レジスタとして用いるＧＲは、記号ＧＲ１～ＧＲ７で指定する。 +ａｄｒ アドレスは、１０進定数、１６進定数、アドレス定数又はリテラルで指定する。 +リテラルは、ひとつの１０進定数、１６進定数又は文字定数の前に等号（＝）を付けて 記述する。CASL IIは、等号の後の定数をオペランドとするＤＣ命令を生成し、 そのアドレスをａｄｒの値とする。 +２．６ その他 + +アセンブラによって生成される命令語や領域の相対位置は、アセンブラ言語での記述順序とする。 ただし、リテラルから生成されるＤＣ命令は、ＥＮＤ命令の直前にまとめて配置される。 +生成された命令語、領域は、主記憶上で連続した領域を占める。 + +@bye