この記事は「AOT技術 Advent Calendar 2017」の8日目です。
というか、今のところこのカテゴリに私しかエントリーしてないので、漏れた日を埋めていこうかな、ぐらいの感じです。
YouTube: Playlist: Making archive IL2C
GitHub: IL2C step-by-step design project
ネタをひねり出すのもアレなので、今まで蓄積したMaking archive IL2Cのダイジェストをやっていこうかと思います。
（イメージをクリックするとYouTubeが開きます）
#6-22
16ビットプリミティブの対応を行いました。8ビットとほとんど同じ対応で行けました。
ldc.i2が存在しないので、果たしてリテラル16ビット値がどのように扱われるのか、ちょっと興味がありました。
- 小さい数値はldc.i4.2とかの単形式ILを使う
- 大きい数値はldc.i4で、16ビットの範囲内でpushする – どうせ32ビットに拡張され、切り捨てられるので問題ない
のような最適化（というほどのものでもありませんが）がRoslynで行われていました。
#6-23
micro:bitでデモを行う ための準備を行いました。il2c.exeを放置していたので、これを最低限のツールとしての体裁を整えます。
ツールとして、コマンドラインのオプションを受け取れるようにするのも課題ですが、コマンドラインからメソッドの実体を注入することは出来ないため:
- コマンドラインに対象のアセンブリファイルを指定する
- アセンブリに含まれる全てのメソッドを変換の対象とする
- メソッド名は、名前空間と型名を含めた、マングリングされた関数名に変換する
- 結果を単一のCソースファイルとして出力する
というように決めました。ここで初めて、マングリングされたシンボル名が具体的にどんな具合なのかを見ました。シンボル名解決のためにC++を使いたいなーという感想。
#6-24
とうとうValue typeに着手しました。メンバー（フィールド・メソッド）とスタティック・インスタンスの組み合わせによる定義を変換可能にします。
OR（Object reference）型をやろうとすると、あまりに多くのフィーチャーを一度に考えなければならないので、Value typeが先です。OR型はガベージコレクタ・参照追跡の手法・オブジェクト階層・インターフェイス実装・仮想メソッドなどなど、盛り沢山過ぎます :)
Value typeであれば、メンバーの構成方法・型の定義方法ぐらいです、それでもかなり大掛かりですが…
まずは、スタティックメソッドの呼び出しを処理させます。call命令のoperandから取得できる、method tokenからMethodInfoを取得して、対応する関数呼び出し式に変換します。スタティックなので、callvirtではなくcall命令を使います。また、method tokenを取得する際に参照するモジュールと、何故.NETには「モジュール(.netmodule)」という考え方があるのか？ と言う話をしています。Moduleが特定できれば、method token値からMethodInfoを入手できます。ここから、関数呼び出しのソースコードを構成します。
メソッド呼び出しのパラメータ群は、評価スタックに積まれているので、これを逆順で取り出します。DecodeContextには評価スタックに相当する式をシンボル名（”__stack0″のような）で取得できるので、これをカンマで結合すれば、関数の引数群を構成できます。
最後に、少しだけALM（ビルドシステムとしてどこからどこまでどのように実現するか）の事に触れています。
