Goコンパイラをゼロから作って147日でセルフホストを達成するまで

DQNEO @DQNEO

型推論器のバグなおった github.com/DQNEO/minigo/c…

DQNEO @DQNEO

型推論、メソッドテーブル構築後の内部データをダンプしたものが第１世代、第二世代で一致するとこまでできた

DQNEO @DQNEO

第二世代コンパイラがアセンブリコードを出力しはじめた...! 夢にまで見た風景が...!! pic.twitter.com/elcUcbnNWs

拡大

DQNEO @DQNEO

構造体フィールドのoffset計算が難しい〜 modとかが絡む数値計算苦手だ...

DQNEO @DQNEO

あと、グローバル変数がポインタだったときのその値を他のグローバル変数のメンバに設定するのが難しい〜

DQNEO @DQNEO

グローバルポインタ変数を使い回すのやめて、&strct みたいなのをcomposite literalに埋め込むようにしたらやっと動いた... アセンブラの知識が足りないのでつらい...

DQNEO @DQNEO

一週間前から苦戦してた、関数呼び出し時にDyamic typeからinterface typeに変換する機能、ついに実装できたー 。複雑なロジックを分割して、一個ずつ丁寧に動作確認しながら進めたらうまく行った。

DQNEO @DQNEO

第二世代コードジェネレータが最後まで完走した...! 信じられなくて目を疑ってしまった pic.twitter.com/OZovqrMkhb

拡大

DQNEO @DQNEO

あと1-2週間くらいで完成しそうな予感..!!

DQNEO @DQNEO

第1世代コンパイラが吐いた20万行のアセンブリコードと、第2世代コンパイラが吐いた20万行のアセンブリコードの差分を見ながらちまちまバグ修正してる。 差分が2万行くらいある...w

DQNEO @DQNEO

予想どおりmapのiterationが順序不定なのが原因だったので、ちまちまソート処理を入れて回避。

DQNEO @DQNEO

アセンブリの差分が1万行までに減った。

DQNEO @DQNEO

むむむっ

DQNEO @DQNEO

ほぼ完成した気がするんだけど、CircleCIで動かすとセグフォする... gccのバージョンが古いからかも ?

DQNEO @DQNEO

やはりそうだった。CircleCIで自作Docker Imageを使うようにしたら解決した。

DQNEO @DQNEO

おおぉぉ…

DQNEO @DQNEO

完全に真っ白に燃え尽きた

DQNEO @DQNEO

Goコンパイラをゼロから作って147日でセルフホストを達成しました🎉 qiita.com/DQNEO/items/2e…

DQNEO @DQNEO

レポジトリはこれです。 I wrote a Go compile from scratch. It can compile itself. github.com/DQNEO/minigo

DQNEO @DQNEO

検索してみたけど類似事例は見つからなかったので、手書きGoコンパイラでセルフホストはもしかしたら世界初かもしれない。 (もちろんオリジナルGoコンパイラをのぞく)