a21_hlx001_1 の編集

* HLX-001 の補足ページ#1
-(by [[K]], 2021.08.18)

** (6) HLX-001の共通中間コード
-共通中間コードは、HL-9aの内部コードを真似して作りました。
-基本的にintの配列で、命令長は5の倍数になるようになっています。

--先頭が0の命令は拡張命令で、この形式のみが命令長を10以上にできます。それ以外の命令は命令長が5で固定です。
|[0]|[1]|[2]|[3]|[4]||
|AEs_Op0(0)|n|AEs_Op0Nop(0)|||何もしない命令です。nは命令長で、(n+1)*5が総命令長になります。|
|AEs_Op0(0)|n|AEs_Op0DefLb(1)|lb||lbはラベル番号です。命令長nは1以上を指定することもできますが、普通は0にします。|
|AEs_Op0(0)|n|AEs_Op0Jmp(2)|lb||無条件分岐命令です。これも通常はn=0です。|
|AEs_Op0(0)|n|AEs_Op0Jcc(3)|lb||条件分岐命令です。条件は先行するCMP命令で指示します。これも通常はn=0です。|
|AEs_Op0(0)|n|AEs_Op0Ent(4)|||関数宣言開始の命令です。|
|AEs_Op0(0)|n|AEs_Op0Tet(5)|||関数を抜ける命令です。|
|AEs_Op0(0)|n|AEs_Op0SysFn(6)|retVar|funcPtr|システム関数呼び出し（普通の関数）。詳細後述。|
|AEs_Op0(0)|n|AEs_Op0SysFnP(7)|retVar|funcPtr|システム関数呼び出し（純関数）。詳細後述。|
|||||||
|AEs_OpVoid(2)|var|0|0|0|指定した変数の値をこの先参照しない（＝値が壊れてもよい）という情報を表します。|
|AEs_OpSetCc(3)|var|0|0|0|先行するCMP命令の結果に応じてvarに0か1を代入します。|
|AEs_OpCpy(4)|v0|v1|0|0|v0 = v1;|
|AEs_OpNeg(5)|v0|v1|0|0|v0 = - v1;|
|AEs_OpArySet(6)|0|v0|v1|v2|v0[v1] = v2;|
|AEs_OpAryGet(7)|v0|v1|v2|0|v0 = v1[v2];|
|AEs_OpCmpEq(8)|0|v0|v1|0|CMP(v0, v1);|
|AEs_OpCmpNe(9)|0|v0|v1|0|CMP(v0, v1);|
|AEs_OpCmpLt(10)|0|v0|v1|0|CMP(v0, v1);|
|AEs_OpCmpGe(11)|0|v0|v1|0|CMP(v0, v1);|
|AEs_OpCmpLe(12)|0|v0|v1|0|CMP(v0, v1);|
|AEs_OpCmpGt(13)|0|v0|v1|0|CMP(v0, v1);|
|AEs_OpCmpRnz(14)|0|0|0|0|直前の関数呼び出しの戻り値が0かどうか比較します。|
|AEs_OpAdd(16)|v0|v1|v2|0|v0 = v1 + v2;|
|AEs_OpSub(17)|v0|v1|v2|0|v0 = v1 - v2;|
|AEs_OpMul(18)|v0|v1|v2|0|v0 = v1 * v2;|
|AEs_OpDiv(19)|v0|v1|v2|0|v0 = v1 / v2;|
|AEs_OpMod(20)|v0|v1|v2|0|v0 = v1 % v2;|
|AEs_OpAnd(21)|v0|v1|v2|0|v0 = v1 & v2;|
|AEs_OpShr(22)|v0|v1|v2|0|v0 = v1 >> v2;|
|AEs_OpM64s(23)|v0|v1|v2|v3|v0 = ((AInt64) v1 * (AInt64) v2) >> v3;|
-空欄は基本的にはゼロにします。
-Op0以外は、[1]に演算結果をしまう変数番号が入ります。[2], [3], [4]に演算に使用する変数番号を書きます。
--このフォーマットに統一することで最適化ルーチンを単純化できています。

-AEs_Op0SysFn, AEs_Op0SysFnPは以下のような形式になります。
|[0]|AEs_Op0(0)|基本命令コード。|
|[1]|n|命令長。結果的に1以上を指定することになります。|
|[2]|AEs_Op0SysFn(6), AEs_Op0SysFn(7)|補助命令コード。|
|[3]|retVar|関数の戻り値を格納する変数を指定します。0なら戻り値は捨てられます。|
|[4]|funcPtr|呼び出したい関数の関数ポインタです。|
|[5]|m|引数の数です。引数がなければ0でも構いません。|
|[6]|arg0|引数の変数番号です。|
|[7]|arg1||
|[8]|arg2||
|[9]|arg3||

タイムスタンプを変更しない

* HLX-001 の補足ページ#1
-(by [[K]], 2021.08.18)

テキスト整形のルールを表示する