ES-VMバイトコード暫定仕様#1

  • (by K, 2020.07.17)

(0)

  • (註)ここは確定情報ではないので何度も修正します。

(1) 基本構造

  • 1つの関数は以下の2ブロックに分かれています。
    • 宣言ブロック
    • コードブロック

(2) 宣言ブロックについて

  • ここでローカル変数、使用する定数、関数の引数などの様々な情報を記述します。
    0x1宣言ブロックを終了して、コードブロックへ移行します。
    0x2変数の基本ビット数を変更します。後続の引数の4倍が設定されます(2なら8bit、8なら32bit、16なら64bitなど)。

  • デフォルト設定:
    • 基本ビット数:32bit
      オペランド番号
      0x00-0x0f基本ビット数の整数レジスタ
      0x10-0x1f偶数:ポインタレジスタ、奇数:アクセス権レジスタ
      0x20-0x27整数定数: 0, 1, 2, 3, 4, 5, 6, 7
      0x28-0x2f整数定数: 8, 15, 16, 31, 32, 63, 64, 127
      0x30-0x37整数定数: 128, 255, 256, 511, 512, 1023, 1024, 2047
      0x38-0x3f整数定数: 2048, 4095, 4096, 8191, 8192, 0x3fff, 0x4000, 0x7fff

(3) コードブロック

0x1ローカルラベル宣言。
0x2a,b代入命令。 a=b
0x3aローカルラベルへのgoto。aはオペランド番号ではない。
0x4プリフィクス。
0x10a,bOR演算。 a|=b
0x11a,bXOR演算。 a^=b
0x12a,bAND演算。 a&=b
0x14a,b加算命令。 a+=bプリフィクス4をつけると、a=b+cにできる。
0x15a,b減算命令。 a-=b
0x16a,b乗算命令。 a*=b
0x21a,b,c条件分岐。if(a!=b)goto ccはオペランド番号ではない。ローカルラベル番号の相対値。
0x3f関数終了。

(4) コンパクトオペランド案

  • たとえば、代入命令の最初のオペランドに定数は来ない。だからそれにナンバーをふらずにコンパクトにしたオペランド番号を使わせることはできる。
  • ビット演算や加算命令や乗算命令は、可換なので、1番最後以外に定数が来ないなどの制約を設けることができる。
  • まあこれは面倒になるのでフロントエンドコードかな

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2020-07-19 (日) 19:27:23 (129d)