Open4
Tiger本を読む
Modern Compiler Implementation in ML を読む
準備
ML が必要なので,https://zenn.dev/toshijp/articles/3559b02e1ac872 を参考に ML の環境を構築.
1. はじめに
1.1 モジュールとインターフェース
コンパイラの各フェーズ
- 字句解析
- 構文解析
- 意味動作 (ここで AST をつくる)
- 意味解析
- フレーム割付
- 翻訳 (IR木をつくる)
- 正準化
- 命令選択
- 制御フロー解析
- データフロー解析
- レジスタ割付
- コード生成
1.2 ツールとソフトフェア
ML では ML-Lex と ML-Yacc がつかえる (sml インストール時に一緒にインストールされた)
演習のプログラムなど: