ZEAM開発ログ v.0.4.1 型多相かつ型安全なNIFの LLVM IR コードを読み解く - Qiita

はじめに ZACKY こと山崎進です。 前回「ZEAM開発ログ v.0.4.0 型多相かつ型安全なNIFをC言語で書いてみる」から新シリーズということで，型多相で型安全なコード生成について検討しています。今回は生成された LLVM IR のコードを読み解いてみたいと思います。 「ZEAM開発ログ 目次」はこちら LLVM とは LLVM というのは，最近のプログラミング言語処理系のコード生成で広く使われているライブラリです。さまざまな種類のプロセッサのコード生成をすることができます。CPUだけじゃなくて，GPUなんかもできますよ。 LLVM で使われているコードが LLVM IR です。高級言語から LLVM IR に変換するコンパイラを作ってあげれば，LLVM がサポートする様々な種類のプロセッサにコード生成できるようになるので大変ありがたいです。 今回のコードはこちらの GitHub