コンパイラII(バックエンド:中間表現・最適化・コード生成)

中間表現(IR)がSSA形式で表され、最適化パス・レジスタ割り当て・命令選択を経てアセンブリやオブジェクトコードになる仕組みと、なぜ最適化がプログラムの観測可能な挙動を変えないのか(as-ifルール)を学びます。