TableGenの言語サーバーをつくる

Transcript

1. TableGenの言語サーバーをつくる 2023/12/02 Kernel/VM探検隊@北陸 Part 6 @Arata
2. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm TableGenとは • コンパイラ基盤LLVMの内部で使用されているDSL • レジスタや命令など、ターゲットマシン固有の情報を 記述するために用いられることが多い 2
3. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm https://github.com/llvm/llvm-project/blob/1c822e1e8278ebefdb7701249bdfe51f1ed03d7d/llvm/lib/Target/X86/X86RegisterInfo.td#L163-L184 例: TableGenでX86のレジスタを記述 3
4. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm TableGen嫌われがち問題 4
5. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm • エディタの支援を受けられない • C++と組み合わせてのビルドに手間がかかる • 情報が少ない なぜTableGenは嫌われているのか 5
6. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm • エディタの支援を受けられない • C++と組み合わせてのビルドに手間がかかる • 情報が少ない なぜTableGenは嫌われているのか 6
7. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm 2022年5月から言語サーバーが実装され始める 今日までに実装された機能: • シンタックスハイライト • エラー表示 • 定義へ移動 • 参照へ移動 • ホバー表示 エディタ支援の現状 7
8. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm • 言語サーバーの応答性が悪い • 一部のコードで支援機能を提供できない • 内部実装が言語サーバー向きではない 現状の言語サーバーの問題点 8
9. TableGenの言語サーバーをつくる 2023/12/02 Kernel/VM探検隊@北陸 Part 6 @Arata [再掲]
10. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm 現在は以下の機能が使用できる • エラーの表示 • シンタックスハイライト • 定義へ移動 • 参照へ移動 • ホバー表示 • 入力補完 • インレイヒント 実装した機能 10
11. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm エラーの表示 11
12. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm シンタックスハイライト 12
13. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm 定義へ移動/参照へ移動 13
14. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm ホバー時のドキュメント表示 14
15. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm 入力補完 15
16. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm インレイヒント 16
17. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm • TableGenのすべての構文を処理できるようにする ◦ たとえば現在はinclude文やforeach文などを無視している • 使い勝手を改善する ◦ 補完候補が表示される順番の最適化、型チェックなど • 言語サーバーのWASM化 ◦ 現在はプラットフォームごとのバイナリをバンドルしている 今後の展望 17
18. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm TableGenへの不平不満を募集しています おわりに 18
19. 2023/12/02 TableGenの言語サーバーを作る @arata-nvm TableGenへの不平不満を募集しています おわりに 19 tablegen-lspで VSCode拡張を公開しています