esvm0005 のバックアップ(No.10) - essen-wiki

[ トップ ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ]

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
esvm0005 へ行く。
- 1 (2020-06-29 (月) 20:10:11)
- 2 (2020-06-29 (月) 23:01:02)
- 3 (2020-07-01 (水) 00:55:33)
- 4 (2020-07-03 (金) 00:34:32)
- 5 (2020-07-03 (金) 18:27:23)
- 6 (2020-07-03 (金) 23:43:05)
- 7 (2020-07-03 (金) 23:43:05)
- 8 (2020-07-05 (日) 23:34:58)
- 9 (2020-07-05 (日) 23:34:58)
- 10 (2020-07-13 (月) 21:15:06)

ES-VMバイトコード用のコンパイラ #1

(by K, 2020.06.29)

(1)

最初にWindows用、x86(32bit)用のコンパイラをできるだけ手抜きで書いてみよう。
性能はそれなりにしかならないけど、でもとにかく早く作れる。
そして後日、本気でまともなやつを作ればいい。

まず原則として、コンパイラの中で方針が一貫していれば、他に規定される規約はない。だから自由に作れる。

(2)

関数呼び出し規約など
- evdecl
  - esvm間で普通に用いられる呼び出し規約（コンパイラで決めていい）
  - 基本としてはreturn値以外は一切の実レジスタを破壊しない。voidなら何も破壊しない。
  - return値が一つの実レジスタで表現できないビット幅の場合、追加の第一引数としてポインタを要求する。そのポインタを使って結果を返す。
- cdecl_w32
  - Windowsのx86(32bit)の標準的な呼び出し規約に準ずる

(3) サンプルコード

chars

evdecl void chars()
{
  int8 i;
  i = 0x20;
lp:
  putchar(i);
  i++;
  if (i != 0x7f) goto lp;
  return;
}

// バイトコードで書くと・・・
[01(func-simple)] [17 00 2c] [01] [05 f00 00] [14 00 21] [21 00 2f 00] [3f(ret)]
[1] 970bc 1 5ef000 940a1 a10af0 [bf(ret)] : (hh4a)中身は11.5バイト、ヘッダフッタは1.5。合わせて13バイト。

(4) 進捗

[2020.07.13]
- (1)とりあえずcharsのバイトコードをx86(32bit)の機械語にコンパイルしてJIT実行できるようになりました。
- (2)同じくx86(64bit)の機械語にコンパイルしてJIT実行できるようになりました。
- (3)さらにDOSのCOMファイルを出力することもできるようになりました。