2.4. 中間コード生成 (Intermediate Code Generation) MOC

定義

2.4. 中間コード生成 (Intermediate Code Generation) MOCは、中間表現をtarget architectureの命令とdata配置へ写像する処理である。対象、前提、入力、結果を区別する。

仕組みと具体例

register allocationはlive rangeが重なる値へ異なるregisterを割当て、不足分をstackへspillする。通常時に加え、境界値、失敗、並行実行、依存条件の変化も追跡する。

実践と検証

calling convention、alignment、relocation、debug情報をtoolchainと適合させる。期待結果を観測可能に記述し、最小例から異常系へ広げる。

トレードオフ

精度・性能・単純さ・運用costの間にはtradeoffがある。適用範囲を広げる前に解決するriskと仮定を確認し、例外には理由と代替策を記録する。