3 <title>YACASL2 - Linux上のCASL II処理系</title>
4 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
5 <meta name="description" content="YACASL2 - Linux上のCASL II処理系">
6 <meta name="generator" content="makeinfo 4.13">
7 <link title="Top" rel="top" href="#Top">
8 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
10 Copyright (C) 2010 j8takagi-->
11 <meta http-equiv="Content-Style-Type" content="text/css">
12 <style type="text/css"><!--
13 pre.display { font-family:inherit }
14 pre.format { font-family:inherit }
15 pre.smalldisplay { font-family:inherit; font-size:smaller }
16 pre.smallformat { font-family:inherit; font-size:smaller }
17 pre.smallexample { font-size:smaller }
18 pre.smalllisp { font-size:smaller }
19 span.sc { font-variant:small-caps }
20 span.roman { font-family:serif; font-weight:normal; }
21 span.sansserif { font-family:sans-serif; font-weight:normal; }
26 background-color: #EEE;
40 background-color: navy;
56 text-decoration: underline;
60 font-family: monospace;
68 padding: 0.5em 1em 0.5em 1em;
75 text-decoration: none;
85 border: 1px solid #CCC;
86 border-collapse: collapse; /* 枠線の表示方法 */
89 table.cartouche, table.cartouche th, table.cartouche td {
93 pre.example kbd, pre.example .option {
95 background-color: inherit;
101 border: 2px solid green;
106 <h1 class="settitle">YACASL2 - Linux上のCASL II処理系</h1>
109 <div class="contents">
110 <h2>Table of Contents</h2>
112 <li><a name="toc_About" href="#About">1 YACASL2の概要</a>
114 <li><a href="#About">要件</a>
116 <li><a name="toc_Install" href="#Install">2 YACASL2のインストール</a>
118 <li><a href="#Download">2.1 YACASL2ファイルのダウンロード</a>
119 <li><a href="#Verify">2.2 YACASL2ファイルの検証</a>
120 <li><a href="#Expand">2.3 YACASL2ファイルの展開</a>
121 <li><a href="#Build">2.4 <kbd>casl2</kbd>、<kbd>comet2</kbd>、<kbd>dumpword</kbd>のビルド</a>
122 <li><a href="#Simple-Test">2.5 <kbd>casl2</kbd>の実行テスト</a>
123 <li><a href="#Detail-Test">2.6 詳細なテスト</a>
124 <li><a href="#Environment">2.7 環境変数の設定</a>
126 <li><a href="#Environment">シェルの確認</a>
127 <li><a href="#Environment"><code>PATH</code>にYACASL2のディレクトリを追加</a>
128 <li><a href="#Environment"><code>CASL2LIB</code>の設定</a>
131 <li><a name="toc_Usage" href="#Usage">3 YACASL2の使い方</a>
133 <li><a href="#Simple-Output">3.1 実行結果の出力だけを表示</a>
134 <li><a href="#Assemble-Result">3.2 アセンブル結果の確認</a>
135 <li><a href="#Register-and-Memory">3.3 実行時のレジスタとメモリを表示</a>
137 <li><a href="#Register-Specify">3.3.1 特定のレジスタを表示</a>
138 <li><a href="#Ending-Value">3.3.2 プログラム終了時の値を表示</a>
139 <li><a href="#Step-Count">3.3.3 プログラムのステップ数を表示</a>
141 <li><a href="#Only-Assemble">3.4 アセンブルと実行を別に行う</a>
142 <li><a href="#Analyze-Word">3.5 1語の解析</a>
143 <li><a href="#CASL2lib">3.6 CASL2ライブラリの使用</a>
145 <li><a href="#CASL2lib">3.6.1 数値を出力する</a>
148 <li><a name="toc_Command-Manual" href="#Command-Manual">4 YACASL2コマンドマニュアル</a>
150 <li><a href="#casl2">4.1 <kbd>casl2</kbd></a>
152 <li><a href="#casl2">オプション</a>
154 <li><a href="#comet2">4.2 <kbd>comet2</kbd></a>
156 <li><a href="#comet2">オプション</a>
158 <li><a href="#dumpword">4.3 <kbd>dumpword</kbd></a>
160 <li><a href="#dumpword">オプション</a>
163 <li><a name="toc_CASL2LIB-Manual" href="#CASL2LIB-Manual">5 CASL2LIBマニュアル</a>
165 <li><a href="#ABS">5.1 <kbd>ABS</kbd> - <samp><span class="file">abs.casl</span></samp></a>
167 <li><a href="#ABS">入力</a>
168 <li><a href="#ABS">出力</a>
169 <li><a href="#ABS">依存する副プログラム</a>
170 <li><a href="#ABS">使用例</a>
172 <li><a href="#DIVA">5.2 <kbd>DIVA</kbd> - <samp><span class="file">diva.casl</span></samp></a>
174 <li><a href="#DIVA">入力</a>
175 <li><a href="#DIVA">出力</a>
176 <li><a href="#DIVA">依存する副プログラム</a>
177 <li><a href="#DIVA">使用例</a>
179 <li><a href="#DIVL">5.3 <kbd>DIVL</kbd> - <samp><span class="file">divl.casl</span></samp></a>
181 <li><a href="#DIVL">入力</a>
182 <li><a href="#DIVL">出力</a>
183 <li><a href="#DIVL">依存する副プログラム</a>
184 <li><a href="#DIVL">使用例</a>
186 <li><a href="#INL">5.4 <kbd>INL</kbd> - <samp><span class="file">inl.casl</span></samp></a>
188 <li><a href="#INL">入力</a>
189 <li><a href="#INL">出力</a>
190 <li><a href="#INL">依存する副プログラム</a>
191 <li><a href="#INL">使用例</a>
193 <li><a href="#L2STR">5.5 <kbd>L2STR</kbd> - <samp><span class="file">l2str.casl</span></samp></a>
194 <li><a href="#MAX">5.6 <kbd>MAX</kbd> - <samp><span class="file">max.casl</span></samp></a>
195 <li><a href="#MINIM">5.7 <kbd>MINIM</kbd> - <samp><span class="file">minim.casl</span></samp></a>
196 <li><a href="#MULA">5.8 <kbd>MULA</kbd> - <samp><span class="file">mula.casl</span></samp></a>
197 <li><a href="#MULL">5.9 <kbd>MULL</kbd> - <samp><span class="file">mull.casl</span></samp></a>
198 <li><a href="#OUTA">5.10 <kbd>OUTA</kbd> - <samp><span class="file">outa.casl</span></samp></a>
199 <li><a href="#OUTB">5.11 <kbd>OUTB</kbd> - <samp><span class="file">outb.casl</span></samp></a>
200 <li><a href="#OUTD_005fQ15">5.12 <kbd>OUTD_Q15</kbd> - <samp><span class="file">outd_q15.casl</span></samp></a>
201 <li><a href="#OUTL">5.13 <kbd>OUTL</kbd> - <samp><span class="file">outl.casl</span></samp></a>
202 <li><a href="#REV">5.14 <kbd>REV</kbd> - <samp><span class="file">rev.casl</span></samp></a>
203 <li><a href="#STR2L">5.15 <kbd>STR2L</kbd> - <samp><span class="file">str2l.casl</span></samp></a>
208 <p><a name="About"></a>
210 <h2 class="chapter">1 YACASL2の概要</h2>
212 <p>YACASL2は、UNIX/Linuxのコマンドラインインターフェイスで動作するオープンソースのCASL II処理システムです。CASL IIは情報処理試験で用いられるアセンブラ言語で、次の資料により仕様が公開されています。
215 <a href="http://www.jitec.ipa.go.jp/1_00topic/topic_20081027_hani_yougo.pdf">試験で使用する情報処理用語・プログラム言語など(2008年10月版)</a>[PDFファイル]
219 <p>YACASL2は、CASL IIアセンブラ言語で記述されたファイルをアセンブルし、仮想マシンCOMET II上で実行します。アセンブルと実行は、連続で行うことも別々に行うことも可能です。
220 YACASL2の動作はCASL IIの仕様に準拠しているため、情報処理試験の問題をはじめ各種参考書やサイトに記載されたCASL IIのプログラムをそのままアセンブルして実行できます。また、本パッケージ中にCASL IIのサンプルプログラムが多数収録されています。
222 <p>YACASL2は、「ふつうの処理系」として動作します。ほかの多くのCASL IIエミュレータと違い、デバッガとして動作したり、コンピュータ内部の模式図を表示したりすることはありません。そのかわり、YACASL2は、次のような動作内容をすべてテキストで出力します。
234 <p>出力された動作内容は、GNU/Linuxのさまざまなツール、たとえば<kbd>cat</kbd>、<kbd>less</kbd>、<kbd>grep</kbd>、<kbd>wc</kbd>などを使って解析できます。
236 <p>YACASL2の操作は、端末を開いてコマンドを入力・実行することで行います。
238 <h3 class="unnumberedsec">要件</h3>
240 <p>YACASL2は、LinuxやMac OS Xなど、UNIX系のOS上で動作します。現在動作を確認しているのは、次の環境です。
243 <li>Ubuntu Linux 10.10
250 <p>インストール時に、<kbd>tar</kbd>、<kbd>gcc</kbd>、<kbd>make</kbd>が必要です。Linuxの場合は、標準でインストールされていることが多いと思います。Mac OS Xの場合、<code>Xcode</code>をインストールしてください。
252 <p><a name="Install"></a>
254 <h2 class="chapter">2 YACASL2のインストール</h2>
256 <p>YACASL2をインストールするには、Linux上で次の作業をします。
258 <p><a name="Download"></a>
260 <h3 class="section">2.1 YACASL2ファイルのダウンロード</h3>
262 <p>次の場所から最新版の<samp><span class="file">tar.gz</span></samp>ファイルをダウンロードします。
264 <a href="http://github.com/j8takagi/YACASL2">GitHub/j8takagi/YACASL2</a>の<a href="http://github.com/j8takagi/YACASL2/downloads">ダウンロードページ</a>
267 <p>続けて、対応する<samp><span class="file">md5sum</span></samp>ファイルをダウンロードします。
269 <p><a name="Verify"></a>
271 <h3 class="section">2.2 YACASL2ファイルの検証</h3>
273 <p>ダウンロードが完了したら、<kbd>md5sum</kbd>と<kbd>diff</kbd>で正しくファイルがダウンロードができているかを検証します。
275 <pre class="example"> $ <kbd>md5sum yacasl2.tar.gz | diff -s yacasl2.tar.gz.md5sum -</kbd>
276 Files yacasl2.tar.gz.md5sum and - are identical
278 <p><a name="Expand"></a>
280 <h3 class="section">2.3 YACASL2ファイルの展開</h3>
282 <p>YACASL2ファイルをダウンロードしたら、次のコマンドで展開します。
284 <pre class="example"> $ <kbd>tar xvzf yacasl2.tar.gz</kbd>
286 <p><a name="Build"></a>
288 <h3 class="section">2.4 <kbd>casl2</kbd>、<kbd>comet2</kbd>、<kbd>dumpword</kbd>のビルド</h3>
290 <p>展開したら、次のコマンドで<kbd>casl2</kbd>、<kbd>comet2</kbd>、<kbd>dumpword</kbd>をビルドします。
292 <pre class="example"> $ <kbd>cd yacasl2</kbd>
295 make[1]: Entering directory ‘/home/kazubito/yacasl2/src’
296 gcc -c -g -Wall -I ../include casl2.c
297 gcc -c -g -Wall -I ../include word.c
298 gcc -c -g -Wall -I ../include hash.c
299 gcc -c -g -Wall -I ../include cerr.c
300 gcc -c -g -Wall -I ../include struct.c
301 gcc -c -g -Wall -I ../include cmd.c
302 gcc -c -g -Wall -I ../include assemble.c
303 gcc -c -g -Wall -I ../include token.c
304 gcc -c -g -Wall -I ../include label.c
305 gcc -c -g -Wall -I ../include macro.c
306 gcc -c -g -Wall -I ../include exec.c
307 gcc -c -g -Wall -I ../include dump.c
308 gcc -g -Wall -I ../include -o ../casl2 casl2.o word.o hash.o cerr.o st
309 ruct.o cmd.o assemble.o token.o label.o macro.o exec.o dump.o
310 gcc -c -g -Wall -I ../include comet2.c
311 gcc -g -Wall -I ../include -o ../comet2 comet2.o word.o hash.o cerr.o
312 struct.o cmd.o exec.o dump.o
313 gcc -c -g -Wall -I ../include dumpword.c
314 gcc -g -Wall -I ../include -o ../dumpword dumpword.o word.o cerr.o
315 make[1]: Leaving directory ‘/home/kazubito/yacasl2/src’
317 <p><a name="Simple-Test"></a>
319 <h3 class="section">2.5 <kbd>casl2</kbd>の実行テスト</h3>
321 <p>ビルドしたら、次のコマンドが正常に実行できるかを確認します。
322 正常に実行された場合は、「Hello, World!」と表示されます。
324 <pre class="example"> $ <kbd>./casl2 as/hello.casl</kbd>
327 <p><a name="Detail-Test"></a>
329 <h3 class="section">2.6 詳細なテスト</h3>
331 <p>次のコマンドを実行すると、正常にビルドできているかどうかを詳細にテストできます。
333 <pre class="example"> $ <kbd>make check</kbd>
334 194 / 194 tests passed. Details in /home/kazubito/yacasl2/test/integra
336 All tests are succeded.
337 149 / 149 tests passed. Details in /home/kazubito/yacasl2/test/integra
339 All tests are succeded.
340 4 / 4 tests passed. Details in /home/kazubito/yacasl2/test/integration
342 All tests are succeded.
344 <p><a name="Environment"></a>
346 <h3 class="section">2.7 環境変数の設定</h3>
348 <p>環境変数を設定することで、YACASL2が使いやすくなります。環境変数の設定は、シェルの初期設定ファイルに追加することでログインしたあと自動的に反映されます。
350 環境変数<code>PATH</code>にYACASL2のディレクトリを追加すると、どのディレクトリでも<kbd>casl2</kbd>、<kbd>comet2</kbd>、<kbd>dumpword</kbd>を実行できます。また、
352 <h4 class="unnumberedsubsec">シェルの確認</h4>
354 <p>環境変数の設定方法は使っているシェルによって異なります。シェルは、次のコマンドで確認できます。
356 <pre class="example"> $ <kbd>echo $SHELL</kbd>
359 <p>現在もっとも多く使われているシェルは、BASHでしょう。以下、BASHでの設定方法を記載します。
361 <h4 class="unnumberedsubsec"><code>PATH</code>にYACASL2のディレクトリを追加</h4>
363 <p><code>PATH</code>にYACASL2のディレクトリを追加すると、どのディレクトリでもディレクトリを指定せずに<kbd>casl2</kbd>、<kbd>comet2</kbd>、<kbd>dumpword</kbd>を実行できます。YACASL2をホームディレクトリ<code>~</code>にインストールしたときは、次のコマンドで設定できます。
365 <pre class="example"> $ <kbd>PATH=$PATH:~/yacasl2 && export PATH</kbd>
367 <p>BASHではホームディレクトリにある<samp><span class="file">.bashrc</span></samp>が初期設定ファイルです。次のコマンドで追加できます。
369 <pre class="example"> $ <kbd>echo ’PATH=$PATH:~/yacasl2 && export PATH’ >>~/.bashrc</kbd>
371 <h4 class="unnumberedsubsec"><code>CASL2LIB</code>の設定</h4>
373 <p>環境変数<code>CASL2LIB</code>を設定しておけば、後述するCASL2LIBを利用するときの手間が小さくなります。YACASL2をホームディレクトリ<code>~</code>にインストールしたときは、次のコマンドで設定できます。
375 <pre class="example"> $ <kbd>CASL2LIB=~/yacasl2/as/casl2lib && export CASL2LIB</kbd>
377 <p>BASHの初期設定ファイル<samp><span class="file">.bashrc</span></samp>には、次のコマンドで追加できます。
379 <pre class="example"> $ <kbd> echo 'CASL2LIB=~/yacasl2/as/casl2lib && export CASL2LIB' >>~/.bashrc</kbd>
381 <p><a name="Usage"></a>
383 <h2 class="chapter">3 YACASL2の使い方</h2>
385 <p>YACASL2 は、テキストファイルに記述されたCASLプログラムを処理します。以下の例で用いられるCASLプログラムのファイルは、テキストエディタなどで作成してください。また、インストールしたディレクトリの中にある<samp><span class="file">as</span></samp>ディレクトリからコピーして作成することもできます。
387 <p><a name="Simple-Output"></a>
389 <h3 class="section">3.1 実行結果の出力だけを表示</h3>
391 <p>インストール時にコマンド実行の確認に使った<samp><span class="file">hello.casl</span></samp>は、次のような内容です。CASL IIのマクロ命令OUTは、文字列を出力します。
393 <pre class="example"> $ <kbd>cat hello.casl</kbd>
397 OBUF DC ’Hello, World!’
401 <p>次のコマンドを実行すると、CASL II のアセンブルと仮想マシン COMET II 上での実行が連続で行われ、文字列が出力されます。
403 <pre class="example"> $ <kbd>casl2 hello.casl</kbd>
406 <p><samp><span class="file">addl.casl</span></samp>は、3と1の和を求めます。
408 <pre class="example"> $ <kbd>cat addl.casl</kbd>
418 <p>このプログラムには出力命令がないため、オプションなしで実行した場合には結果が出力されません。
420 <pre class="example"> $ <kbd>casl2 addl.casl</kbd>
423 <p>実行内容を確認するには、後述のようにCPU 内にあるレジスタやメモリの内容を表示するか、結果を出力するための処理を追加する必要があります。
425 <p><a name="Assemble-Result"></a>
427 <h3 class="section">3.2 アセンブル結果の確認</h3>
429 <p>casl2の処理途中で行われるアセンブルの結果を表示するには、オプション<samp><span class="option">-a</span></samp>を指定します。また、ラベルとアドレスの対応表を表示するには、オプション<samp><span class="option">-l</span></samp>を指定します。
431 <p>次のコマンドでは<samp><span class="file">hello.casl</span></samp>の、ラベルとアドレスの対応表と、アセンブル結果と、実行結果が表示されます。OUTはアセンブラ命令で複数の機械語命令で構成されているため、命令行1行に対して、複数行のコードが生成されます。
433 <pre class="example"> $ <kbd>casl2 -a -l hello.casl</kbd>
435 Assemble hello.casl (0)
438 MAIN.LEN ---> #0020
440 MAIN.OBUF ---> #0013
442 Assemble hello.casl (1)
443 hello.casl: 1:MAIN START
444 hello.casl: 2: OUT OBUF,LEN
467 hello.casl: 4:OBUF DC 'Hello, World!'
481 hello.casl: 5:LEN DC 13
486 <p><samp><span class="file">addl.casl</span></samp>の、ラベルとアドレスの対応表と、アセンブル結果は、次のようになります。
488 <pre class="example"> $ <kbd>casl2 -a -l addl.casl</kbd>
490 Assemble addl.casl (0)
497 Assemble addl.casl (1)
498 addl.casl: 1:;;; ADDL r,adr
499 addl.casl: 2:MAIN START
500 addl.casl: 3: LD GR1,A
503 addl.casl: 4: ADDL GR1,B
514 <p>なお、オプション<samp><span class="option">-A</span></samp>を指定すると、アセンブル結果が表示される時点で処理が終了します。仮想マシンCOMET II での実行は行われません。
516 <p><a name="Register-and-Memory"></a>
518 <h3 class="section">3.3 実行時のレジスタとメモリを表示</h3>
520 <p>YACASL2では実行中のCPUのレジスタとメモリの内容をそれぞれ、<samp><span class="option">-t</span></samp>と<samp><span class="option">-d</span></samp>を指定することで表示できます。
522 <p>また、<samp><span class="option">-M</span></samp>で、仮想マシンCOMET II のメモリ容量を語(16 ビット)単位で指定できます。小さいプログラムを実行するときは、メモリ容量を小さくすれば結果が見やすくなります。
524 <p><samp><span class="file">addl.casl</span></samp>に必要なメモリ容量は8語のため、次のようにCPUのレジスタとメモリの内容を表示できます。
526 <pre class="example"> $ <kbd>casl2 -t -d -M8 addl.casl | less</kbd>
528 Assemble addl.casl (0)
530 Assemble addl.casl (1)
532 Executing machine codes
534 #0000: GR0: 0 = #0000 = 0000000000000000
535 #0000: GR1: 0 = #0000 = 0000000000000000
536 #0000: GR2: 0 = #0000 = 0000000000000000
537 #0000: GR3: 0 = #0000 = 0000000000000000
538 #0000: GR4: 0 = #0000 = 0000000000000000
539 #0000: GR5: 0 = #0000 = 0000000000000000
540 #0000: GR6: 0 = #0000 = 0000000000000000
541 #0000: GR7: 0 = #0000 = 0000000000000000
542 #0000: SP: 8 = #0008 = 0000000000001000
543 #0000: PR: 0 = #0000 = 0000000000000000
544 #0000: FR (OF SF ZF): 000
546 #0000: adr : 0000 0001 0002 0003 0004 0005 0006 0007
547 #0000: 0000: 1010 0005 2210 0006 8100 0003 0001 0000
549 #0002: GR0: 0 = #0000 = 0000000000000000
550 #0002: GR1: 3 = #0003 = 0000000000000011
551 #0002: GR2: 0 = #0000 = 0000000000000000
552 #0002: GR3: 0 = #0000 = 0000000000000000
553 #0002: GR4: 0 = #0000 = 0000000000000000
554 #0002: GR5: 0 = #0000 = 0000000000000000
555 #0002: GR6: 0 = #0000 = 0000000000000000
556 #0002: GR7: 0 = #0000 = 0000000000000000
557 #0002: SP: 8 = #0008 = 0000000000001000
558 #0002: PR: 2 = #0002 = 0000000000000010
559 #0002: FR (OF SF ZF): 000
561 #0002: adr : 0000 0001 0002 0003 0004 0005 0006 0007
562 #0002: 0000: 1010 0005 2210 0006 8100 0003 0001 0000
564 #0004: GR0: 0 = #0000 = 0000000000000000
565 #0004: GR1: 4 = #0004 = 0000000000000100
566 #0004: GR2: 0 = #0000 = 0000000000000000
567 #0004: GR3: 0 = #0000 = 0000000000000000
568 #0004: GR4: 0 = #0000 = 0000000000000000
569 #0004: GR5: 0 = #0000 = 0000000000000000
570 #0004: GR6: 0 = #0000 = 0000000000000000
571 #0004: GR7: 0 = #0000 = 0000000000000000
572 #0004: SP: 8 = #0008 = 0000000000001000
573 #0004: PR: 4 = #0004 = 0000000000000100
574 #0004: FR (OF SF ZF): 000
576 #0004: adr : 0000 0001 0002 0003 0004 0005 0006 0007
577 #0004: 0000: 1010 0005 2210 0006 8100 0003 0001 0000
579 <p><a name="Register-Specify"></a>
581 <h4 class="subsection">3.3.1 特定のレジスタを表示</h4>
583 <p><samp><span class="file">addl.casl</span></samp>のレジスタやメモリの中で、実行中に値が変化しているのはGR1だけです。こうした場合は、<kbd>grep</kbd>を使って表示される内容を絞り込むことで動作を検証しやすくなります。
585 <pre class="example"> $ <kbd>casl2 -t addl.casl | grep 'GR1:'</kbd>
586 #0000: GR1: 0 = #0000 = 0000000000000000
587 #0002: GR1: 3 = #0003 = 0000000000000011
588 #0004: GR1: 4 = #0004 = 0000000000000100
590 <p>この内容を、先に出力したアセンブル結果と引き比べてください。
591 次の表のように、PRとGR1、命令行が対応していることがわかります。
593 <p><table summary=""><tr align="left"><td valign="top" width="30%">PR </td><td valign="top" width="30%">GR1 </td><td valign="top" width="40%">命令行
594 <br></td></tr><tr align="left"><td valign="top" width="30%">#0000
595 </td><td valign="top" width="30%">#0000
596 <br></td></tr><tr align="left"><td valign="top" width="30%">#0002
597 </td><td valign="top" width="30%">#0003
598 </td><td valign="top" width="40%"><code>LD GR1,A</code>
599 <br></td></tr><tr align="left"><td valign="top" width="30%">#0004
600 </td><td valign="top" width="30%">#0004
601 </td><td valign="top" width="40%"><code>ADDL GR1,B</code>
602 <br></td></tr></table>
604 <p><a name="Ending-Value"></a>
606 <h4 class="subsection">3.3.2 プログラム終了時の値を表示</h4>
608 <p><kbd>grep</kbd>と<kbd>tail</kbd>を組み合わせれば、プログラム終了時の値を表示できます。
610 <p><samp><span class="file">addl.casl</span></samp>でプログラム終了時の値を確認するには、次のようにします。
612 <pre class="example"> $ <kbd>casl2 -t addl.casl | grep 'GR1:' | tail -1</kbd>
613 #0004: GR1: 4 = #0004 = 0000000000000100
615 <p><samp><span class="file">sum_10.casl</span></samp>は、1から10までの整数の和を求めます。
617 <pre class="example"> $ <kbd>cat sum_10.casl</kbd>
619 ;;; 出力 GR0: 1から10までの整数をすべて加算した値
623 LD GR1,FST ; GR1に初項を転送
624 LOOP ADDL GR0,GR1 ; ループ先頭
625 ADDL GR1,STEP ; GR1 <- GR1 + 公差
626 CPL GR1,LST ; GR1が末項より大きい場合は終了
636 <p><samp><span class="file">sum_10.casl</span></samp>でファイル終了時の値を確認するには、次のようにします。
638 <pre class="example"> $ <kbd>casl2 -t sum_10.casl | grep 'GR0:' | tail -1</kbd>
639 #0010: GR0: 55 = #0037 = 0000000000110111 = '7'
641 <p><a name="Step-Count"></a>
643 <h4 class="subsection">3.3.3 プログラムのステップ数を表示</h4>
645 <p><kbd>grep</kbd>と<kbd>wc</kbd>を組み合わせれば、プログラムのステップ数を表示できます。
647 <pre class="example"> $ <kbd>casl2 -t hello.casl | grep 'GR1:' | wc -l</kbd>
650 <pre class="example"> $ <kbd>casl2 -t addl.casl | grep 'GR1:' | wc -l</kbd>
653 <p><samp><span class="file">sum_10.casl</span></samp>はプログラム内にループがあるため、ステップ数が大きくなります。
655 <pre class="example"> $ <kbd>casl2 -t sum_10.casl | grep 'GR0:' | wc -l</kbd>
658 <p><a name="Only-Assemble"></a>
660 <h3 class="section">3.4 アセンブルと実行を別に行う</h3>
662 <p><kbd>casl2</kbd>に<samp><span class="option">-O</span></samp><samp><span class="file">ファイル名</span></samp>を指定すると、オブジェクトファイルを作成できます。
664 <pre class="example"> $ <kbd>casl2 -Ohello.o hello.casl</kbd>
666 <p>作成されたオブジェクトファイルの内容は、<kbd>od</kbd>を使って確認できます。テキストファイルではないため、<kbd>cat</kbd>などでは確認できません。
668 <pre class="example"> $ <kbd>od -t x2 hello.o</kbd>
669 0000000 7001 0000 7002 0000 1210 0013 1220 0020
670 0000020 f000 0002 1210 0021 1220 0022 f000 0002
671 0000040 7120 7110 8100 0048 0065 006c 006c 006f
672 0000060 002c 0020 0057 006f 0072 006c 0064 0021
673 0000100 000d 000a 0001
676 <p>オブジェクトファイルの実行には、<kbd>comet2</kbd>を使います。
678 <pre class="example"> $ <kbd>comet2 hello.o</kbd>
681 <p><a name="Analyze-Word"></a>
683 <h3 class="section">3.5 1語の解析</h3>
685 <p>CASL IIでは、1語(16ビット)を単位としてデータが処理されます。
686 <kbd>dumpword</kbd>は、指定した1語を10進数、16進数、2進数で表示します。
688 <pre class="example"> $ <kbd>dumpword 72</kbd>
689 72: 72 = #0048 = 0000000001001000 = 'H'
691 <p>マイナスの数は、次のように<kbd>--</kbd>を付けて指定します。
693 <pre class="example"> $ <kbd>dumpword -- -72</kbd>
694 -72: -72 = #FFB8 = 1111111110111000
696 <p>16進数は、次のように次のように<kbd>'</kbd>で囲み<kbd>#</kbd>を付けて指定します。
698 <pre class="example"> $ <kbd>dumpword '#0048'</kbd>
699 #0048: 72 = #0048 = 0000000001001000 = 'H'
701 <p><a name="CASL2lib"></a>
703 <h3 class="section">3.6 CASL2ライブラリの使用</h3>
705 <p>YACASL2の<samp><span class="file">as/casl2lib</span></samp>ディレクトリには、CASL IIで記述されたライブラリファイルが格納されています。
707 <p>このフォルダには、たとえば次のようなプログラムが含まれています。
710 <dt><samp><span class="option">OUTL</span></samp><dd><samp><span class="file">outl.casl</span></samp>。GR1に格納された値を、0〜65535の数値として出力します。
712 <br><dt><samp><span class="option">OUTA</span></samp><dd><samp><span class="file">outa.casl</span></samp>。GR1に格納された値を、-32767〜32767の数値として出力します。
714 <br><dt><samp><span class="option">MULL</span></samp><dd><samp><span class="file">mull.casl</span></samp>。GR1とGR2に格納された値を0〜65535の整数と見なし、積をGR3に格納します。
716 <br><dt><samp><span class="option">DIVL</span></samp><dd><samp><span class="file">divl.casl</span></samp>。GR1とGR2に格納された値を0〜65535の整数と見なし、商をGR3、剰余をGR0に格納します。
719 <h4 class="subsection">3.6.1 数値を出力する</h4>
721 <p>3と1の和を求める<samp><span class="file">addl.casl</span></samp>で演算結果を出力するには、まず<samp><span class="file">addl.casl</span></samp>を編集します。CASL IIの<kbd>CALL</kbd>命令で<kbd>OUTL</kbd>を副プログラムとして呼び出します。
723 <pre class="example"> $ <kbd>cat addl_outl.casl</kbd>
733 <p>変更したら<kbd>casl2</kbd>を、複数のファイルを指定して実行します。
735 <pre class="example"> $ <kbd>casl2 addl_outl.casl ~/yacasl2/as/casl2lib/outl.casl</kbd>
738 <p><a name="Command-Manual"></a>
740 <h2 class="chapter">4 YACASL2コマンドマニュアル</h2>
742 <p><a name="index-YACASL2_00e3_0082_00b3_00e3_0083_009e_00e3_0083_00b3_00e3_0083_0089_00e3_0083_009e_00e3_0083_008b_00e3_0083_00a5_00e3_0082_00a2_00e3_0083_00ab-1"></a>
743 YACASL2のコマンドとオプションについて解説します。
745 <p><a name="casl2"></a>
747 <h3 class="section">4.1 <kbd>casl2</kbd></h3>
749 <p><a name="index-casl2-2"></a><a name="index-casl2-3"></a>
750 <kbd>casl2</kbd>は、引数として指定されたCASLファイルをアセンブルし、仮想マシンCOMET II上で実行します。CASLファイルは、アセンブラ言語CASL IIで記述されたテキストファイルです。引数が指定されない場合は、エラーメッセージを表示して終了します。
752 <pre class="example"> $ <kbd>casl2 hello.casl</kbd>
754 <p>複数のCASLファイルを指定することで、副プログラムを呼び出せます。
756 <pre class="example"> $ <kbd>casl2 addl_outl.casl ~/yacasl2/as/casl2lib/outl.casl</kbd>
758 <h4 class="unnumberedsubsec">オプション</h4>
760 <p><kbd>casl2</kbd>は、次のオプションを指定できます。
763 <dt><samp><span class="option">-s</span></samp><dt><samp><span class="option">--source</span></samp><dd>CASLファイルの内容を表示します。
765 <br><dt><samp><span class="option">-l</span></samp><dt><samp><span class="option">--label</span></samp><dd>ラベルの一覧を次の形式で表示します。表示後、ほかの作業を続行します。
767 <pre class="example"> <プログラム名>.<ラベル名> ---> <アドレスの16進数表現>
769 <br><dt><samp><span class="option">-L</span></samp><dt><samp><span class="option">--labelonly</span></samp><dd><samp><span class="option">-l</span></samp>と同じ形式でラベルの一覧を表示します。表示後、ほかの作業は続行せず、終了します。
771 <br><dt><samp><span class="option">-a</span></samp><dt><samp><span class="option">--assembledetail</span></samp><dd>アセンブル詳細結果を表示し、ほかの作業を続行します。
773 <br><dt><samp><span class="option">-A</span></samp><dt><samp><span class="option">--assembledetailonly</span></samp><dd>アセンブル詳細結果を表示して終了します。
775 <br><dt><samp><span class="option">-o<OBJECTFILE></span></samp><dt><samp><span class="option">--assembleout<OBJECTFILE></span></samp><dd>アセンブル結果をオブジェクトファイル<samp><span class="file"><OBJECTFILE></span></samp>に出力し、ほかの作業を続行します。出力されたオブジェクトファイルは、<kbd>comet2</kbd>で実行できます。オブジェクトファイルを指定しない場合、出力先は<samp><span class="file">a.o</span></samp>です。オブジェクトファイルは1つだけ指定できます。
777 <br><dt><samp><span class="option">-O[<OBJECTFILE>]</span></samp><dt><samp><span class="option">--assembleoutonly[<OBJECTFILE>]</span></samp><dd>アセンブル結果をオブジェクトファイル<samp><span class="file"><OBJECTFILE></span></samp>に出力し、終了します。出力されたオブジェクトファイルは、<kbd>comet2</kbd>で実行できます。オブジェクトファイルを指定しない場合、出力先は<samp><span class="file">a.o</span></samp>です。オブジェクトファイルは1つだけ指定できます。
779 <br><dt><samp><span class="option">-t</span></samp><dt><samp><span class="option">--trace</span></samp><dt><samp><span class="option">--tracearithmetic</span></samp><dd>プログラム実行中のレジスタの値を次の形式で表示します。<code><値の10進数表現></code>は符号の付いた10進数です。範囲は-32768から32767です。
781 <pre class="example"> <PR値の16進数表現>: <レジスタ>: <値の10進数表現> = <値の16進数表現> = <値の2進数表現>[ ='文字']
784 <li><code><PR値の16進数表現></code>と<code><値の16進数表現></code>は、先頭に<code>#</code>が付いた4けたの16進数で表されます。範囲は、<code>#0000</code>から<code>#FFFF</code>です
786 <li><code><値の2進数表現></code>は、16けたの2進数で表されます。範囲は、<code>0000000000000000</code>から<code>1111111111111111</code>です
788 <li><code>[ ='文字']</code>は、レジストリの値が「文字の組」の範囲に含まれる場合に表示されます。
791 <p>表示されるレジスタには、次の種類があります。
794 <dt><code>GR0 GR1 GR2 GR3 GR4 GR5 GR6 GR7</code><dd>汎用レジスタ
796 <br><dt><code>SP</code><dd>スタックポインタ
798 <br><dt><code>PR</code><dd>プログラムレジスタ
800 <br><dt><code>FR</code><dd>フラグレジスタ
805 <pre class="example"> #0002: GR1: 3 = #0003 = 0000000000000011
807 <br><dt><samp><span class="option">-T</span></samp><dt><samp><span class="option">--tracelogical</span></samp><dd><samp><span class="option">-t</span></samp>と同じように、プログラム実行中のレジスタの値を表示します。ただし、<samp><span class="option">-t</span></samp>と異なり、<code><値の10進数表現></code>は符号の付かない10進数です。値の範囲は0から65535です。
809 <br><dt><samp><span class="option">-d</span></samp><dt><samp><span class="option">--dump</span></samp><dd>メモリの内容をすべて表示します。
811 <br><dt><samp><span class="option">-M <MEMORYSIZE></span></samp><dt><samp><span class="option">--memorysize <MEMORYSIZE></span></samp><dd>アセンブルおよび実行時のメモリサイズ<samp><span class="option"><MEMORYSIZE></span></samp>を0から65535の範囲で指定します。指定しない場合、512です。
813 <br><dt><samp><span class="option">-C <CLOCKS></span></samp><dt><samp><span class="option">--clocks <CLOCKS></span></samp><dd>実行時のクロック周波数<samp><span class="option"><CLOCKS></span></samp>を0より大きい整数で指定します。指定しない場合、クロック周波数は5000000です。
815 <br><dt><samp><span class="option">-h</span></samp><dt><samp><span class="option">--help</span></samp><dd><kbd>casl2</kbd>の使用方法を表示して終了します。
818 <p><a name="comet2"></a>
820 <h3 class="section">4.2 <kbd>comet2</kbd></h3>
822 <p><a name="index-comet2-4"></a><a name="index-comet2-5"></a>
823 <kbd>comet2</kbd>は、引数として指定されたオブジェクトファイルを仮想マシンCOMET II上で実行します。オブジェクトファイルは、<kbd>casl</kbd>に<samp><span class="option">-o</span></samp>または<samp><span class="option">-O</span></samp>を指定して出力します。
825 <pre class="example"> $ <kbd>comet2 hello.o</kbd>
827 <p>引数で指定できるオブジェクトファイルは1つだけです。引数が指定されない場合は、エラーメッセージを表示して終了します。複数の引数を指定した場合、2番目以降の引数は無視されます。
829 <h4 class="unnumberedsubsec">オプション</h4>
831 <p><kbd>comet2</kbd>は、次のオプションを指定できます。
834 <dt><samp><span class="option">-t</span></samp><dt><samp><span class="option">--trace</span></samp><dt><samp><span class="option">--tracearithmetic</span></samp><dd>プログラム実行中のレジスタの値を次の形式で表示します。<code><値の10進数表現></code>は符号の付いた10進数です。範囲は-32768から32767です。
836 <pre class="example"> <PR値の16進数表現>: <レジスタ>: <値の10進数表現> = <値の16進数表現> = <値の2進数表現>[ ='文字']
839 <li><code><PR値の16進数表現></code>と<code><値の16進数表現></code>は、先頭に<code>#</code>が付いた4けたの16進数で表されます。範囲は、<code>#0000</code>から<code>#FFFF</code>です
841 <li><code><値の2進数表現></code>は、16けたの2進数で表されます。範囲は、<code>0000000000000000</code>から<code>1111111111111111</code>です
843 <li><code>[ ='文字']</code>は、レジストリの値が「文字の組」の範囲に含まれる場合に表示されます。
848 <pre class="example"> #0002: GR1: 3 = #0003 = 0000000000000011
850 <p>表示されるレジスタには、次の種類があります。
853 <dt><code>GR0 GR1 GR2 GR3 GR4 GR5 GR6 GR7</code><dd>汎用レジスタ
855 <br><dt><code>SP</code><dd>スタックポインタ
857 <br><dt><code>PR</code><dd>プログラムレジスタ
859 <br><dt><code>FR</code><dd>フラグレジスタ
862 <br><dt><samp><span class="option">-T</span></samp><dt><samp><span class="option">--tracelogical</span></samp><dd><samp><span class="option">-t</span></samp>と同じように、プログラム実行中のレジスタの値を表示します。ただし、<samp><span class="option">-t</span></samp>と異なり、<code><値の10進数表現></code>は符号の付かない10進数です。値の範囲は0から65535です。
864 <br><dt><samp><span class="option">-d</span></samp><dt><samp><span class="option">--dump</span></samp><dd>メモリの内容をすべて表示します。
866 <br><dt><samp><span class="option">-M <MEMORYSIZE></span></samp><dt><samp><span class="option">--memorysize <MEMORYSIZE></span></samp><dd>実行時のメモリサイズ<samp><span class="option"><MEMORYSIZE></span></samp>を0から65535の範囲で指定します。指定しない場合、512です。
868 <br><dt><samp><span class="option">-C <CLOCKS></span></samp><dt><samp><span class="option">--clocks <CLOCKS></span></samp><dd>実行時のクロック周波数<samp><span class="option"><CLOCKS></span></samp>を0より大きい整数で指定します。指定しない場合、5000000です。
870 <br><dt><samp><span class="option">-h</span></samp><dt><samp><span class="option">--help</span></samp><dd><kbd>comet2</kbd>の使用方法を表示して終了します。
873 <p><a name="dumpword"></a>
875 <h3 class="section">4.3 <kbd>dumpword</kbd></h3>
877 <p><a name="index-dumpword-6"></a><a name="index-dumpword-7"></a>
878 <kbd>dumpword</kbd>は、引数として指定された数値を、整数、#0000〜#FFFFの範囲の16進数、2進数で表示します。文字の組に該当する場合は、「 = 」のうしろに文字が表示されます。引数は、10進数または先頭に「#」の付いた16進数で指定します。表示される整数は、オプションにより符号付きか符号なしかを指定します。オプションなしの場合は符号付きです。整数の範囲は、符号付きの場合は-32768から32767、符号なしの場合は0から65535です。
880 <pre class="example"> $ <kbd>dumpword 10</kbd>
882 <p>引数で指定できる1つだけです。引数が指定されない場合は、使い方を表示して終了します。複数の引数を指定した場合、2番目以降の引数は無視されます。
884 <h4 class="unnumberedsubsec">オプション</h4>
886 <p><kbd>dumpword</kbd>は、次のオプションを指定できます。
889 <dt><samp><span class="option">-a</span></samp><dt><samp><span class="option">--arithmetic</span></samp><dd>出力される整数の範囲を-32,768〜32,767にします。オプションなしの場合と同じです。
891 <br><dt><samp><span class="option">-l</span></samp><dt><samp><span class="option">--logical</span></samp><dd>出力される整数の範囲を0〜65,535にします。
893 <br><dt><samp><span class="option">-h</span></samp><dt><samp><span class="option">--help</span></samp><dd><kbd>dumpword</kbd>の使用方法を表示して終了します。
896 <p><a name="CASL2LIB-Manual"></a>
898 <h2 class="chapter">5 CASL2LIBマニュアル</h2>
900 <p><a name="ABS"></a>
902 <h3 class="section">5.1 <kbd>ABS</kbd> - <samp><span class="file">abs.casl</span></samp></h3>
904 <p>GR1を符号付き整数とみなし、絶対値に変換
906 <h4 class="unnumberedsubsec">入力</h4>
909 <dt><code>GR1</code><dd>符号付き整数
912 <h4 class="unnumberedsubsec">出力</h4>
915 <dt><code>GR1</code><dd>入力された値の絶対値
917 <br><dt><code>OF</code><dd>入力された値が-32768の場合、1
919 <br><dt><code>SF</code><dd>入力された値が負数(-32767から-1)の場合、1
922 <h4 class="unnumberedsubsec">依存する副プログラム</h4>
926 <h4 class="unnumberedsubsec">使用例</h4>
928 <pre class="example"><pre class="verbatim"> ;;; CASL2LIB > ABSを呼び出し、-1の絶対値を表示
937 <pre class="example"> $ <kbd>casl2 call_abs.casl $CASL2LIBDIR/abs.casl $CASL2LIBDIR/outa.casl \
938 $CASL2LIBDIR/divl.casl $CASL2LIBDIR/rev.casl</kbd>
941 <p><a name="DIVA"></a>
943 <h3 class="section">5.2 <kbd>DIVA</kbd> - <samp><span class="file">diva.casl</span></samp></h3>
947 <h4 class="unnumberedsubsec">入力</h4>
950 <dt><code>GR1</code><dd>被除数
952 <br><dt><code>GR2</code><dd>除数
955 <h4 class="unnumberedsubsec">出力</h4>
958 <dt><code>GR0</code><dd>商
960 <br><dt><code>GR3</code><dd>剰余
962 <br><dt><code>OF</code><dd>次の場合、1
971 <br><dt><code>SF</code><dd>商が負数(-32767から-1)の場合、1
973 <br><dt><code>ZF</code><dd>商が0の場合、1
976 <h4 class="unnumberedsubsec">依存する副プログラム</h4>
979 <li><code>DIVL</code>
982 <h4 class="unnumberedsubsec">使用例</h4>
984 <pre class="example"><pre class="verbatim"> ;; CASL2LIB > DIVAを呼び出し、-32767 / 255 の商と剰余を表示
1003 <pre class="example"> $ <kbd>casl2 call_diva.casl $CASL2LIBDIR/diva.casl $CASL2LIBDIR/divl.casl \
1004 $CASL2LIBDIR/outa.casl $CASL2LIBDIR/abs.casl $CASL2LIBDIR/rev.casl</kbd>
1008 <p><a name="DIVL"></a>
1010 <h3 class="section">5.3 <kbd>DIVL</kbd> - <samp><span class="file">divl.casl</span></samp></h3>
1012 <p>符号なし整数の割算を筆算方式で行う
1014 <h4 class="unnumberedsubsec">入力</h4>
1017 <dt><code>GR1</code><dd>被除数
1019 <br><dt><code>GR2</code><dd>除数
1022 <h4 class="unnumberedsubsec">出力</h4>
1025 <dt><code>GR0</code><dd>商
1027 <br><dt><code>GR3</code><dd>剰余
1029 <br><dt><code>OF</code><dd>GR2が0の場合、1
1031 <br><dt><code>SF</code><dd>商が32768から65535の場合、1
1033 <br><dt><code>ZF</code><dd>商が0の場合、1
1036 <h4 class="unnumberedsubsec">依存する副プログラム</h4>
1040 <h4 class="unnumberedsubsec">使用例</h4>
1042 <pre class="example"><pre class="verbatim"> ;; CASL2LIB > DIVLを呼び出し、65534 / 255 の商と剰余を表示
1061 <pre class="example"> $ <kbd>casl2 call_divl.casl $CASL2LIBDIR/divl.casl $CASL2LIBDIR/outl.casl \
1062 $CASL2LIBDIR/rev.casl</kbd>
1066 <p><a name="INL"></a>
1068 <h3 class="section">5.4 <kbd>INL</kbd> - <samp><span class="file">inl.casl</span></samp></h3>
1072 <h4 class="unnumberedsubsec">入力</h4>
1075 <dt><code>標準入力</code><dd>符号なし整数
1078 <h4 class="unnumberedsubsec">出力</h4>
1081 <dt><code>GR1</code><dd>入力された符号なし整数
1083 <br><dt><code>GR0</code><dd>文字列の長さ。数字以外が入力された場合は<code>#FFFF</code>
1086 <h4 class="unnumberedsubsec">依存する副プログラム</h4>
1089 <li><code>STR2L</code>
1092 <h4 class="unnumberedsubsec">使用例</h4>
1094 <pre class="example"><pre class="verbatim"> ;; CASL2LIB > DIVLを呼び出し、65534 / 255 の商と剰余を表示
1113 <pre class="example"> $ <kbd>casl2 call_divl.casl $CASL2LIBDIR/divl.casl $CASL2LIBDIR/outl.casl \
1114 $CASL2LIBDIR/rev.casl</kbd>
1118 <p><a name="L2STR"></a>
1120 <h3 class="section">5.5 <kbd>L2STR</kbd> - <samp><span class="file">l2str.casl</span></samp></h3>
1122 <p><a name="MAX"></a>
1124 <h3 class="section">5.6 <kbd>MAX</kbd> - <samp><span class="file">max.casl</span></samp></h3>
1126 <p><a name="MINIM"></a>
1128 <h3 class="section">5.7 <kbd>MINIM</kbd> - <samp><span class="file">minim.casl</span></samp></h3>
1130 <p><a name="MULA"></a>
1132 <h3 class="section">5.8 <kbd>MULA</kbd> - <samp><span class="file">mula.casl</span></samp></h3>
1134 <p><a name="MULL"></a>
1136 <h3 class="section">5.9 <kbd>MULL</kbd> - <samp><span class="file">mull.casl</span></samp></h3>
1138 <p><a name="OUTA"></a>
1140 <h3 class="section">5.10 <kbd>OUTA</kbd> - <samp><span class="file">outa.casl</span></samp></h3>
1142 <p><a name="OUTB"></a>
1144 <h3 class="section">5.11 <kbd>OUTB</kbd> - <samp><span class="file">outb.casl</span></samp></h3>
1146 <p><a name="OUTD_Q15"></a>
1147 <a name="OUTD_005fQ15"></a>
1149 <h3 class="section">5.12 <kbd>OUTD_Q15</kbd> - <samp><span class="file">outd_q15.casl</span></samp></h3>
1151 <p><a name="OUTL"></a>
1153 <h3 class="section">5.13 <kbd>OUTL</kbd> - <samp><span class="file">outl.casl</span></samp></h3>
1155 <p><a name="REV"></a>
1157 <h3 class="section">5.14 <kbd>REV</kbd> - <samp><span class="file">rev.casl</span></samp></h3>
1159 <p><a name="STR2L"></a>
1161 <h3 class="section">5.15 <kbd>STR2L</kbd> - <samp><span class="file">str2l.casl</span></samp></h3>