h_sakurai https://blog.hatena.ne.jp/h_sakurai/ Scala で TAPLを勉強しつつ LLVM コンパイラを作る日記 https://h-sakurai.hatenadiary.org/ LLVMは型に厳しいアセンブラです。なので、型をきっちり合わせないと怒られます。 今までJavaのバイトコードに似た内部コードをLLVMに変換する形でコンパイラを作ってきました。 そして、そこそこのプログラムは動作するようにはなりました。 だけど関数ポインタの扱いが怪しくてどう型を扱うのが良いのかを考えなくてはならなくなりました。そこでLLVMでの型を見直し次のような事がわかりました。関数は既にアドレスが割り当てられた物なのでポインタとして扱われています。 関数ポインタは関数のアドレスを入れる物だからポインタのポインタとして扱われています。書き換え可能な変数はalloca(スタックから領域を確… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fh-sakurai.hatenadiary.org%2Fentry%2F20130422%2Fp1" title="コンパイラを新規作成するなら書き換え不能な変数をデフォルトにするべし - Scala で TAPLを勉強しつつ LLVM コンパイラを作る日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-04-22 00:00:00 rich https://h-sakurai.hatenadiary.org/entry/20130422/p1 1.0 100%