令和3年度 III-1

解説

この問題で問われていること

コンパイラの処理段階と、代表的な最適化・実行方式の説明を正しく区別する問題。

解き方

① コンパイラの基本: 順序は字句解析→構文解析→…。型の誤りは意味上の誤り。のぞき穴最適化=生成した命令列の局所を見る。JIT=実行時にバイトコードを機械語へ。共通部分式の削除=同じ式を1回だけ計算
② ①字句と構文が逆、②構文ではなく意味、③ソースではなく命令列、④ソースではなくバイトコード
③ ⑤

正解が正しい理由

共通部分式の削除は、同じ式が2回以上現れ、その間に式の値が変化しない場合に、計算を1回だけ行い結果を再利用するようコード生成を行う最適化である。したがって⑤が最も適切である。

各選択肢について

• ① コンパイラの処理は、ソースプログラムの読込み、字句解析、構文解析、意味解析、中間語作成、最適化、コード生成の順である。字句解析と構文解析の順序が逆で、誤り。
• ② 整数として宣言された変数が実数として使われる誤りは、型の不一致であり、意味解析で検出される意味上の誤り(型エラー)。構文上の誤りではない。
• ③ のぞき穴最適化は生成された命令列の局所部分(のぞき穴)だけを見て効率的な命令列に置き換える最適化で、「ソースプログラムの局所を見る」は不適切。
• ④ JITコンパイラは、Javaのバイトコードなどの中間表現を、実行時に必要に応じて機械語に変換するもので、ソースプログラムをコンパイルするものではない。
• ⑤ 2回以上出現する同じ式の値が変化しない場合に、計算を1回だけにする最適化で、共通部分式の削除の説明として正しい。これが正答。

覚えるべきポイント

コンパイラの流れは、字句解析→構文解析→意味解析→中間語→最適化→コード生成。のぞき穴最適化は生成後の命令列の局所最適化、JITは実行時にバイトコードを機械語へ変換する。