yhara.jp

Recent Posts

2021年10月 (Shiika パターンマッチ)

2021-10-03
Diary

Shiika

パターンマッチの実装をしていた。ようやくバグが取れて、あともう少し整理したらマージできるかなというところ。いやー時間かかったなあ。なんでこれだけのことがこんなに時間かかるんだろう、と時々思うが、思っててもしょうがないので、一つ一つやっていくしかない。まあ9月は仕事が忙しかったし、体調も良くなかったし、そういう時もあるよね。

引き続き処理系Slackのみなさまには隔週で話を聞いてもらっている。ありがたいことです。

(more...)

error: Invalid instruction with no BB

2021-10-01
Tech

自作言語の開発中、LLVMが以下のメッセージを吐いて死ぬのを調査したメモ。 ./bin/llvm-dis: error: Invalid instruction with no BB (Producer: 'LLVM12.0.1' Reader: 'LLVM 12.0.1')

このメッセージで検索すると lib/Bitcode/Reader/BitcodeReader.cpp がヒット

    if (!CurBB) {
      I->deleteValue();
(more...)

LLVM本体にデバッグログを入れる

2021-10-01
Tech

LLVMのエラーメッセージはあまり親切でない。Rustの異常な親切さに慣れてきたのでそう思うのかもしれないが。

例えばllvm-disの出したエラーがこれ:

Assertion failed: (InitVal->getType() == getValueType() && "Initializer type must match GlobalVariable type"), function setInitializer, file /Users/yhara/research/llvm-12.0.1.src/lib/IR/Globals.cpp, line 405.

型が違うことはなんとか分かるが、せめて何と何だったのかくらいは教えてくれないとデバッグのしようがない。

(more...)

LLVMの特定のツールだけビルドする

2021-10-01
Tech

LLVMのフルビルドは長い。とても長い。

こういうことがあったのでbcをデコードするツール(llvm-dis)だけ自前ビルドしたかった。

結論からいうとこれでいけた。

githubのreleasesから.src.zipを取ってきて解凍
(more...)

Corne Chocolateを組み立てた

2021-09-06
Misc

Corne Chocolateを組み立てた。Corneシリーズのうち、Kailh Chocスイッチに対応した薄型バージョン。ChocだけにChocolateなのかな。

現在の仕事用メインキーボードとして使っている。オフィスではレツプリなんだけどテレワークなので、、、

Corneの感想

Corneシリーズを組み立てたのは初めてだけど、よく出来てるなあ…と思った。洗練されてるというか。例えばOLEDに押したとこのキーコードが出るんだよね。完成後はそんなに意味のない機能だけど、組み立て中の動作確認にはとても便利だった。

(more...)

2021年8月 (biwa10)

2021-09-05
Diary

BiwaScheme

毎年夏の間だけチャレンジしている構文木マクロの実装だが、ようやく「なんとかなりそう」な感じになってきた。

方針を立てたので、あとはぼちぼちやっていくだけ…ではあるけど、あくまでShiikaの方が優先なので、数年後くらいに形になればいいなあ、くらいに思っている。

Shiika

(more...)



処理系ミートアップ #4

2021-07-10
Event

最近やったこと

(more...)

『定理証明支援系 Coq チュートリアル』に参加した

2021-07-10
Diary

先週の土日にこのオンラインセミナーに参加してみた。

定理証明は、名前は聞くけど触ったことはなくて、興味はあるけど本を買うほどのモチベーションはないし、誰か詳しい人が要点だけ教えてくれたりしないかな〜。と思っていたところ、まさにぴったりのイベントが。なんていうか、昔ならこういうのは東京まで行かないと参加できなかった気がするけど、家からオンラインで参加できるようになったのは嬉しいね。

日程は5時間 x 2日という長丁場で、説明だけでなく練習問題もあるのでとっても疲れた!でもこういうのって自分で手を動かさないと「わかったような気になった」だけで終わりがちだから、演習があるのはとてもありがたい。

Coqの感想

(more...)

Posts

(more...)

Articles

(more...)

Category

Ads

About

About the author