YOYUライブラリを用いた中間表現可視化と多段コンパイラ支援フレームワーク

概要

本稿では、自作構文解析インフラ「YOYU」のコンポーネントを用いて、従来のC言語コンパイラ等における中間表現（IR）可視化、ならびに多段パスコンパイラ設計への応用可能性について述べる。

YOYUはLisp的なCons構造、可変スコープを扱えるハッシュテーブル、トークナイザ生成器、固定長メモリ再利用ヒープなどを備え、構文解析から意味解析、さらには命令生成まで視野に入れた軽量なプラットフォームである。

本稿ではこれらを活用して、以下の目標を実現する：

中間ファイル・中間表現レベルでのデバッグ情報の埋め込みと可視化
多段パスコンパイラの各パスにおける構文・意味の整合性確認
IRを「ソース」と見なした実行・逆参照可能な開発環境の構築

1. YOYUライブラリの特徴

YOYUは以下のコンポーネント群を備える： Cons構造体を用いたASTやスタック表現 void*ベースのcar/cdr操作 UTF-8対応デコーダ（状態マシンベース）固定長メモリヒープ NewCellHeap（再利用可能）自動拡張ハッシュテーブル（NewHashTable ほか）ダブルリンクトリストビットフラグによるトークンクラス判定関数ポインタディスパッチによる高速トークン分派

2. 中間表現のソース化と多段パス

従来の単一パスまたは2パス型コンパイラに対し、YOYUは以下の多段構造を意識して設計されている：

トークン列生成

構文木生成

意味注釈付き構文木（型、スコープ情報）

中間命令列（IR）

Cコードあるいはアセンブラ生成

バイナリ生成

これら各段階で出力されたデータはすべてYOYU内のデータ構造で統一的に扱われるため、各パスにおいてデバッグ情報の注釈が容易である。

3. IRレベルでのソースデバッグ

YOYUを利用すれば、IR命令にも以下のメタ情報を持たせることができる：元ソースファイル名元トークン列上の位置（行番号、文字位置）元ASTノードのポインタスコープ内の変数束縛情報このように、IRをソースと見なして実行トレース・変数確認・逆参照が可能となる。

4. 混合リンクと拡張デバッグモデル

YOYUを使ったC言語ベースのコンパイラでは、Cで書かれた関数とIRで記述された関数、さらにはアセンブラで記述された関数の混在を許容できる。これを支えるために：拡張DWARFフォーマットへの対応（IR位置情報の埋め込み）オリジナルフォーマットによる層状デバッグ情報の併存 Cの関数定義もIRへの変換・逆変換が可能（逆コンパイル支援）この方式により、YOYUは任意の段階でのデバッグを支援する汎用解析プラットフォームとなる。

5. 結論

YOYUは単なる構文解析器生成のフレームワークにとどまらず、現代のコンパイラ設計における最も厄介な部分——多段階における意味の追跡と中間情報の可視化——に対して本質的な支援を提供する。従来のgdb/DWARFによるソースレベルデバッグに加え、中間層のデバッグ可能性を開くための革新的ライブラリ基盤である。今後はYOYU自身の言語処理系のみならず、既存のC/C++/Rust等のコンパイラ設計者への提供も視野に入れ、共有可能な「開発補助ライブラリ」として成長させていく。