EssenR2_jit00 のバックアップ差分(No.1)

バックアップ一覧
現在との差分を表示
ソースを表示
バックアップを表示
EssenR2_jit00 へ行く。
- 1 (2017-07-31 (月) 11:31:12)
- 2 (2017-07-31 (月) 13:47:19)
- 3 (2017-07-31 (月) 15:07:03)
- 4 (2017-08-01 (火) 20:18:56)
- 5 (2017-08-04 (金) 13:11:30)
- 6 (2017-08-05 (土) 10:42:30)
- 7 (2017-08-07 (月) 23:20:53)

追加された行はこの色です。
削除された行はこの色です。

* Essen Rev2 JIT00
-(by [[K]], 2017.07.31)

* JIT00で提供する機能
-ラベルを使えるようにする
-CPUに依存するレイヤをここに集約する（JIT01以降はCPUに依存しない）
-実際のCPUのレジスタ数がいくつであるかなどの制約を受けずに済むようにする

* 基本仕様
-l# : ローカル変数（#=0～）
-g# : グローバル変数
-p# : ポインタレジスタ（p0～p7しかない）
-L# : 分岐先指定などに使うラベル

-ローカル変数、グローバル変数には、どんな型の値でも代入できる。なぜならEssenは値が型を持つ言語だから。
-ポインタレジスタはポインタしか代入できない。

-基本構文
 命令 パラメータ1 パラメータ2 ...
-人間にとって書きやすい構文にしようとしていない。どうせこれはJIT01から渡されてくる中間言語でしかない。
--だからコメントやマクロなどはない。
-命令の命名規則
--最初の一文字はnかs。nはノーマル。sはスピード優先。
--二文字目はパラメータの数。
--末尾には型を表す接尾子が入る場合がある。
 n0sysEnt           // JITコードの先頭に入れるべきコード、レジスタを初期化する
 s2limm_s32  g0 0   // g0の定数0を代入
 n1label     L0     // ここをL0とする
 s2addi_s32  g0 1   // g0 += 1
 s4cjmpi_s32 g0 1000000000 1 L0  // if (g0 != 1000000000) goto L0
 n0sysRet           // JITコードから帰る場合に入れるべきコード