LLVM IRに落とし込む前のステップとして簡略化した独自のSSA中間言語に変換しておく、という話を前回した。 その中間言語の各行を表現するデータ型がこれ： data SSA = Alloc String | Store String String | Load String String Lispと違ってこの言語は再帰…