rasl 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: f28e254a458b927537a28066daaad2e236470c38
+  data.tar.gz: d0855f2fca98b41b4b407081be6fb8c7423c399f
+SHA512:
+  metadata.gz: 9102a4f9be9a05aba9234c95f4320d46c8db1ed4d8807d325f696c5828694195d8b004541961f591e9228160f47c896853865a37c915c980cdca5fea64c6770a
+  data.tar.gz: 06171b2e84528f26ca78d054a5f2e420216532d05a01f256f67efff7136a02e25e3e13ec4c1247a4ffb5a14eaab27b6b3d101406e248093ad7e6b8554c66fa71

data/.travis.yml

@@ -0,0 +1,4 @@
+language: ruby
+rvm:
+  - 2.2.0
+script: bundle exec rake

data/Gemfile

@@ -0,0 +1,2 @@
+source 'https://rubygems.org'
+gemspec

data/LICENSE.txt

@@ -0,0 +1,22 @@
+Copyright (c) 2013 akicho8
+
+MIT License
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.org

@@ -0,0 +1,221 @@
+* CASL Assembler / Simulator
+
+  - [[http://tk2-221-20341.vs.sakura.ne.jp/casl-simulator][DEMO]] http://tk2-221-20341.vs.sakura.ne.jp/casl-simulator
+
+  - [[https://travis-ci.org/akicho8/rasl][Travis]] [[https://travis-ci.org/akicho8/rasl.png]]
+  - [[https://gemnasium.com/akicho8/rasl/][Gemnasium]] [[https://gemnasium.com/akicho8/rasl.png]]
+  - [[https://codeclimate.com/github/akicho8/rasl][Code Climate]] [[https://codeclimate.com/github/akicho8/rasl.png]]
+
+#+BEGIN_SRC ruby
+require "rasl"
+
+app = Rasl::Processor.new
+app.assemble <<-SOURCE
+MAIN    START
+        LD      GR0,=1
+        LD      GR1,=2
+        ADDA    GR0,GR1
+        ST      GR0,RESULT
+        RET
+RESULT  DS      1
+        END
+SOURCE
+app.go
+app.gr[:gr0].value                       # => 3
+app.labels["MAIN"]                       # => {"RESULT"=>8}
+app.memory[app.labels["MAIN"]["RESULT"]] # => 3
+puts app.disassemble
+# >> 0000 1000 0009    LD      GR0, #0009
+# >> 0002 1010 000A    LD      GR1, #000A
+# >> 0004 2401         ADDA    GR0, GR1
+# >> 0005 1100 0008    ST      GR0, #0008
+# >> 0007 8100         RET
+# >> 0008 0003         DC      3
+# >> 0009 0001         DC      1
+# >> 000A 0002         DC      2
+#+END_SRC
+
+** 仕様
+
+   - プロシージャ
+     - START〜END は複数定義可
+     - START に前置するラベルは必須ではない
+     - START と END は省略可
+     - 最初に登場した START の引数をブートアドレスにする
+   - ラベル
+     - STARTに前置したラベルはグローバルラベル
+     - STARTのあとからENDまではローカルラベル
+     - ラベルの文字数制限なし
+     - ラベルの最後にコロンをつけてもよい (ラベルに含まない)
+     - ラベルの最後にコロンをつけると必ずラベルになる (NOP: と書いたら NOP は命令ではなくラベルとみなす)
+     - ラベルの先頭に $ や @ をつけてもよい (ラベルに含む)
+     - $ で始まるラベルは必ずグローバルラベルになる
+     - ラベルだけの行を書いてもよい
+     - ラベルは大小文字を区別する
+     - START〜ENDを書かなかった場合のラベルはすべてグローバルラベル
+   - 構文
+     - スペースを空けずに命令を書いてもよい (Rasl.config.bol_order = false で無効になる)
+     - 引数のセパレーターはスペースでもいい
+     - インライン即値の部分は "= 1" のようにスペースを空けてもよい
+     - 文字列はダブルクォーテーションで囲んでもいい
+     - 行頭からだけ # でコメントにできる。shebang 用
+   - その他
+     - CASL1 と CASL2 に対応
+     - インライン即値はENDの直前に定義する。END がなければコードの最後に定義する
+     - EXIT で終了してもよい
+     - GRn を n とは書けない (CASL2ではアドレスとレジスタの区別がつかないため)
+     - NOP は #00 にはしてない (データなのか命令なのかまぎらわしいので)
+     - GRn の他に FR PC SP レジスタを指定できる (例: addl SP, 1 など)
+     - Rasl.config.spec = 1 にすると GR4 が SP になる
+   - 注意
+     - 文字コードは UTF-8 なので DC 'あ' は DS 3 の領域を使う
+     - 文字列リテラルの中だろうとセミコロン以降をぶっちぎる。
+       'a;b' の場合 'a となるため \ でエスケープして 'a\;b' と書く
+
+** コマンドラインで使う例
+
+*** --help
+
+   : $ rasl --help
+   : CASL Assembler / Simulator rasl 0.0.1
+   : 使い方: rasl [OPTIONS] [ファイル]
+   :     -s, --simulator                  シミュレータ起動
+   :     -p, --print-map                  MAP情報の標準出力
+   :     -m, --output-map                 MAP情報のファイル出力。-g オプションがあるときは実行後に出力する
+   :     -g, --go                         実行
+   :     -e, --eval=CODE                  指定コードの評価。指定があると標準入力からは読み込まない
+   :         --memory-size=SIZE           メモリサイズの指定(デフォルト:65536)
+   :         --spec=NUMBER                1:レジスタ数5個でGR4==SP 2:レジスタ数8 GR4!=SP
+   :         --ds-init-value=VAL          DSで領域確保したときの初期値(デフォルト:0)
+   :         --memory-defval=VAL          メモリの初期値(デフォルト:0)
+   :         --[no-]bol-order             命令の前に空白を書かなくてよいことにする(デフォルト:true)
+   :     -i, --register                   実行後レジスタ一覧表示
+
+*** MAP情報の標準出力 (-p)
+
+   : $ rasl -p hello.csl
+   : 0000 7001 0000    PUSH    #0000, GR1
+   : 0002 7002 0000    PUSH    #0000, GR2
+   : 0004 1210 000D    LAD     GR1, #000D
+   : 0006 1220 0018    LAD     GR2, #0018
+   : 0008 F000 0001    SVC     #0001
+   : 000A 7120         POP     GR2
+   : 000B 7110         POP     GR1
+   : 000C 8100         RET
+   : 000D 0048         DC      72     ; 'H'
+   : 000E 0065         DC      101    ; 'e'
+   : 000F 006C         DC      108    ; 'l'
+   : 0010 006C         DC      108    ; 'l'
+   : 0011 006F         DC      111    ; 'o'
+   : 0012 000B         DC      5
+
+*** MAP情報のファイル出力 (-m)
+
+   : $ rasl -m hello.csl
+   : $ cat hello.map
+   : 0000 7001 0000    PUSH    #0000, GR1
+   : 0002 7002 0000    PUSH    #0000, GR2
+   : 0004 1210 000D    LAD     GR1, #000D
+   : 0006 1220 0018    LAD     GR2, #0018
+   : 0008 F000 0001    SVC     #0001
+   : 000A 7120         POP     GR2
+   : 000B 7110         POP     GR1
+   : 000C 8100         RET
+   : 000D 0048         DC      72     ; 'H'
+   : 000E 0065         DC      101    ; 'e'
+   : 000F 006C         DC      108    ; 'l'
+   : 0010 006C         DC      108    ; 'l'
+   : 0011 006F         DC      111    ; 'o'
+   : 0012 000B         DC      5
+
+*** 指定コードの評価 (-e)
+
+    : $ rasl -p -e 'LEA GR1,1,GR1'
+    : 0000 1F11 0001    LEA     GR1, #0001, GR1
+
+    標準入力から渡してもよい
+
+    : $ echo 'LEA GR1,1,GR1' | rasl -p
+    : 0000 1F11 0001    LEA     GR1, #0001, GR1
+
+*** 実行 (-g)
+
+   : $ rasl -g hello.csl
+   : Hello
+
+*** Simulator (-s)
+
+   : $ rasl -s hello.csl
+   : -?
+   : D[address]    memory-dump
+   : U[address]    unassemble
+   : G[address]    go
+   : T[address]    trace
+   : R[reg=n]      register
+   : ? or H        usage
+   : I             init
+   : Q             quit
+   : -r
+   : GR0=0000 GR1=0000 GR2=0000 GR3=0000 GR4=0000 GR5=0000 GR6=0000 GR7=0000 PC=0000 SP=FFFF FR=___(+)
+   : 0000 7001 0000    PUSH    #0000, GR1
+   : -t
+   : GR0=0000 GR1=0000 GR2=0000 GR3=0000 GR4=0000 GR5=0000 GR6=0000 GR7=0000 PC=0002 SP=FFFE FR=___(+)
+   : 0002 7002 0000    PUSH    #0000, GR2
+   : -t
+   : GR0=0000 GR1=0000 GR2=0000 GR3=0000 GR4=0000 GR5=0000 GR6=0000 GR7=0000 PC=0004 SP=FFFD FR=___(+)
+   : 0004 1210 000D    LAD     GR1, #000D
+   : -u
+   : 0000 7001 0000    PUSH    #0000, GR1
+   : 0002 7002 0000    PUSH    #0000, GR2
+   : 0004 1210 000D    LAD     GR1, #000D
+   : 0006 1220 0012    LAD     GR2, #0012
+   : 0008 F000 0001    SVC     #0001
+   : 000A 7120         POP     GR2
+   : 000B 7110         POP     GR1
+   : 000C 8100         RET
+   : -g
+   : Hello
+   : -d0
+   : 0000: 7001 0000 7002 0000 1210 000D 1220 0012 ........
+   : 0008: F000 0001 7120 7110 8100 0048 0065 006C .....Hel
+   : 0010: 006C 006F 0005 0000 0000 0000 0000 0000 lo......
+   : 0018: 0000 0000 0000 0000 0000 0000 0000 0000 ........
+   : -q
+
+** IN 命令時の __END__
+
+デフォルトでは標準入力待ちになるが __END__ の指定があればその次の行からを入力データとして扱う
+
+  : $ cat in_out.csl
+  :         START
+  :         IN      STR,LEN  ; STR="a" LEN=1
+  :         OUT     STR,LEN  ; => "a"
+  :         IN      STR,LEN  ; STR=""  LEN=0
+  :         OUT     STR,LEN  ; => ""
+  :         IN      STR,LEN  ; STR="b" LEN=1
+  :         OUT     STR,LEN  ; => "b"
+  :         IN      STR,LEN  ; STR=""  LEN=-1
+  :         OUT     STR,LEN  ; => なし
+  :         RET
+  : STR     DS      4
+  : LEN     DS      1
+  :         END
+  : __END__
+  : a
+  :
+  : b
+
+  : $ rasl -g in_out.csl
+  : a
+  :
+  : b
+
+** とりあえずのEmacs設定
+
+   : (add-to-list 'auto-mode-alist '("\\.\\([rc]asl?\\|csl\\)$" . asm-mode))
+
+** 参考
+
+  - CASL2 仕様 http://www.jitec.ipa.go.jp/1_13download/shiken_yougo_ver2_2.pdf
+  - CASL1 仕様 http://www.image.med.osaka-u.ac.jp/member/nakamoto/enshuD2007/casl.pdf
+  - CASL - Wikipedia http://ja.wikipedia.org/wiki/CASL

data/Rakefile

@@ -0,0 +1,6 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec

data/bin/rasl

@@ -0,0 +1,3 @@
+#!/usr/bin/env ruby
+require_relative "../lib/rasl"
+Rasl::CLI.execute

data/examples/fnumb.casl

@@ -0,0 +1,22 @@
+        start
+        lea     gr1, 3
+        call    fnumb
+        ret
+fnumb   cpa     gr1, const3
+        jpz     next
+        lea     gr2, -1, gr1
+        ret
+next    push    0, gr1
+        lea     gr1, -1, gr1
+        call    fnumb
+        push    0, gr2
+        lea     gr1, -1, gr1
+        call    fnumb
+        st      gr2, wrk
+        pop     gr2
+        add     gr2, wrk
+        pop     gr1
+        ret
+const3  dc      3
+wrk     ds      1
+        end

data/examples/fnumb.map

@@ -0,0 +1,20 @@
+0000 1F10 0003    LEA     GR1, #0003
+0002 8000 0005    CALL    #0005
+0004 8100         RET
+0005 4010 001F    CPA     GR1, #001F
+0007 6000 000C    JPZ     #000C
+0009 1F21 FFFF    LEA     GR2, #FFFF, GR1
+000B 8100         RET
+000C 7001 0000    PUSH    #0000, GR1
+000E 1F11 FFFF    LEA     GR1, #FFFF, GR1
+0010 8000 0005    CALL    #0005
+0012 7002 0000    PUSH    #0000, GR2
+0014 1F11 FFFF    LEA     GR1, #FFFF, GR1
+0016 8000 0005    CALL    #0005
+0018 1120 0020    ST      GR2, #0020
+001A 7120         POP     GR2
+001B 2020 0020    ADDA    GR2, #0020
+001D 7110         POP     GR1
+001E 8100         RET
+001F 0003         DC      3
+0020 0000         DC      0

data/examples/hanoi.casl

@@ -0,0 +1,48 @@
+;; CASL - Wikipedia
+;; http://ja.wikipedia.org/wiki/CASL
+;; ハノイの塔を解くプログラム
+MAIN   START
+       LD      GR0,N
+       LD      GR1,A
+       LD      GR2,B
+       LD      GR3,C
+       CALL    HANOI
+       RET
+
+; hanoi(N, X, Y, Z)
+HANOI  CPA     GR0,=1
+       JZE     DISP
+       SUBA    GR0,=1
+       PUSH    0,GR2
+       LD      GR2,GR3
+       POP     GR3
+       CALL    HANOI
+       ST      GR1,MSG1
+       ST      GR2,MSG2
+       OUT     MSG,LNG
+       PUSH    0,GR2
+       LD      GR2,GR1
+       LD      GR1,GR3
+       POP     GR3
+       CALL    HANOI
+       PUSH    0,GR2
+       LD      GR2,GR1
+       POP     GR1
+       ADDA    GR0,=1
+       RET
+
+DISP   ST      GR1,MSG1
+       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

data/examples/hanoi.map

@@ -0,0 +1,61 @@
+0000 1000 0046    LD      GR0, #0046
+0002 1010 0048    LD      GR1, #0048
+0004 1020 0049    LD      GR2, #0049
+0006 1030 004A    LD      GR3, #004A
+0008 8000 000B    CALL    #000B
+000A 8100         RET
+000B 4000 0056    CPA     GR0, #0056
+000D 6300 0035    JZE     #0035
+000F 2100 0057    SUBA    GR0, #0057
+0011 7002 0000    PUSH    #0000, GR2
+0013 1423         LD      GR2, GR3
+0014 7130         POP     GR3
+0015 8000 000B    CALL    #000B
+0017 1110 0050    ST      GR1, #0050
+0019 1120 0055    ST      GR2, #0055
+001B 7001 0000    PUSH    #0000, GR1
+001D 7002 0000    PUSH    #0000, GR2
+001F 1210 004B    LAD     GR1, #004B
+0021 1220 0047    LAD     GR2, #0047
+0023 F000 0001    SVC     #0001
+0025 7120         POP     GR2
+0026 7110         POP     GR1
+0027 7002 0000    PUSH    #0000, GR2
+0029 1421         LD      GR2, GR1
+002A 1413         LD      GR1, GR3
+002B 7130         POP     GR3
+002C 8000 000B    CALL    #000B
+002E 7002 0000    PUSH    #0000, GR2
+0030 1421         LD      GR2, GR1
+0031 7110         POP     GR1
+0032 2000 0058    ADDA    GR0, #0058
+0034 8100         RET
+0035 1110 0050    ST      GR1, #0050
+0037 1130 0055    ST      GR3, #0055
+0039 7001 0000    PUSH    #0000, GR1
+003B 7002 0000    PUSH    #0000, GR2
+003D 1210 004B    LAD     GR1, #004B
+003F 1220 0047    LAD     GR2, #0047
+0041 F000 0001    SVC     #0001
+0043 7120         POP     GR2
+0044 7110         POP     GR1
+0045 8100         RET
+0046 0003         DC      3
+0047 000B         DC      11
+0048 0041         DC      65     ; 'A'
+0049 0042         DC      66     ; 'B'
+004A 0043         DC      67     ; 'C'
+004B 0066         DC      102    ; 'f'
+004C 0072         DC      114    ; 'r'
+004D 006F         DC      111    ; 'o'
+004E 006D         DC      109    ; 'm'
+004F 0020         DC      32     ; ' '
+0050 0000         DC      0
+0051 0020         DC      32     ; ' '
+0052 0074         DC      116    ; 't'
+0053 006F         DC      111    ; 'o'
+0054 0020         DC      32     ; ' '
+0055 0000         DC      0
+0056 0001         DC      1
+0057 0001         DC      1
+0058 0001         DC      1

data/examples/hanoi.rb

@@ -0,0 +1,124 @@
+# -*- coding: utf-8 -*-
+require "../lib/rasl"
+
+app = Rasl::Processor.new
+app.assemble <<-SOURCE
+;; CASL - Wikipedia
+;; http://ja.wikipedia.org/wiki/CASL
+;; ハノイの塔を解くプログラム
+MAIN   START
+       LD      GR0,N
+       LD      GR1,A
+       LD      GR2,B
+       LD      GR3,C
+       CALL    HANOI
+       RET
+
+; hanoi(N, X, Y, Z)
+HANOI  CPA     GR0,=1
+       JZE     DISP
+       SUBA    GR0,=1
+       PUSH    0,GR2
+       LD      GR2,GR3
+       POP     GR3
+       CALL    HANOI
+       ST      GR1,MSG1
+       ST      GR2,MSG2
+       OUT     MSG,LNG
+       PUSH    0,GR2
+       LD      GR2,GR1
+       LD      GR1,GR3
+       POP     GR3
+       CALL    HANOI
+       PUSH    0,GR2
+       LD      GR2,GR1
+       POP     GR1
+       ADDA    GR0,=1
+       RET
+
+DISP   ST      GR1,MSG1
+       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
+SOURCE
+puts app.disassemble
+app.go
+# >> 0000 1000 0046    LD      GR0, #0046
+# >> 0002 1010 0048    LD      GR1, #0048
+# >> 0004 1020 0049    LD      GR2, #0049
+# >> 0006 1030 004A    LD      GR3, #004A
+# >> 0008 8000 000B    CALL    #000B
+# >> 000A 8100         RET
+# >> 000B 4000 0056    CPA     GR0, #0056
+# >> 000D 6300 0035    JZE     #0035
+# >> 000F 2100 0057    SUBA    GR0, #0057
+# >> 0011 7002 0000    PUSH    #0000, GR2
+# >> 0013 1423         LD      GR2, GR3
+# >> 0014 7130         POP     GR3
+# >> 0015 8000 000B    CALL    #000B
+# >> 0017 1110 0050    ST      GR1, #0050
+# >> 0019 1120 0055    ST      GR2, #0055
+# >> 001B 7001 0000    PUSH    #0000, GR1
+# >> 001D 7002 0000    PUSH    #0000, GR2
+# >> 001F 1210 004B    LAD     GR1, #004B
+# >> 0021 1220 0047    LAD     GR2, #0047
+# >> 0023 F000 0001    SVC     #0001
+# >> 0025 7120         POP     GR2
+# >> 0026 7110         POP     GR1
+# >> 0027 7002 0000    PUSH    #0000, GR2
+# >> 0029 1421         LD      GR2, GR1
+# >> 002A 1413         LD      GR1, GR3
+# >> 002B 7130         POP     GR3
+# >> 002C 8000 000B    CALL    #000B
+# >> 002E 7002 0000    PUSH    #0000, GR2
+# >> 0030 1421         LD      GR2, GR1
+# >> 0031 7110         POP     GR1
+# >> 0032 2000 0058    ADDA    GR0, #0058
+# >> 0034 8100         RET
+# >> 0035 1110 0050    ST      GR1, #0050
+# >> 0037 1130 0055    ST      GR3, #0055
+# >> 0039 7001 0000    PUSH    #0000, GR1
+# >> 003B 7002 0000    PUSH    #0000, GR2
+# >> 003D 1210 004B    LAD     GR1, #004B
+# >> 003F 1220 0047    LAD     GR2, #0047
+# >> 0041 F000 0001    SVC     #0001
+# >> 0043 7120         POP     GR2
+# >> 0044 7110         POP     GR1
+# >> 0045 8100         RET
+# >> 0046 0003         DC      3
+# >> 0047 000B         DC      11
+# >> 0048 0041         DC      65     ; 'A'
+# >> 0049 0042         DC      66     ; 'B'
+# >> 004A 0043         DC      67     ; 'C'
+# >> 004B 0066         DC      102    ; 'f'
+# >> 004C 0072         DC      114    ; 'r'
+# >> 004D 006F         DC      111    ; 'o'
+# >> 004E 006D         DC      109    ; 'm'
+# >> 004F 0020         DC      32     ; ' '
+# >> 0050 0000         DC      0
+# >> 0051 0020         DC      32     ; ' '
+# >> 0052 0074         DC      116    ; 't'
+# >> 0053 006F         DC      111    ; 'o'
+# >> 0054 0020         DC      32     ; ' '
+# >> 0055 0000         DC      0
+# >> 0056 0001         DC      1
+# >> 0057 0001         DC      1
+# >> 0058 0001         DC      1
+# >> 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