日記

概要 LLVMのGSoCに通ったので頑張りたい。 プロジェクト プロポーザルは以下(個人情報はお気持ち程度に抜いている) docs.google.com プロポーザルに大体書いてあるがプロジェクトを要約すると LLVM-IRにおいては関数（など)の性質(ex. "この関数はメモリを読み書きしない", "この関数は例外を投げない", "帰ってこない")を…