MLIR - PDLLを用いたパターンの定義

目次 この記事では、MLIRパターンを定義するためのツールであるPDLLの使用方法を示します。PDLL自体はMLIRで構築されています。PDLLは、テーブルジェンでパターンを定義する代替手段として意図されていますが、PDLLの使用例はほとんど公開されていません。実際、PDLLの主な動機は、テーブルジェンが次のようなものを表現するのが難しいということです。 複数の結果を返す演算 領域を持つ演算 可変長のオペランドを持つ演算 静的値の算術演算 これらの機能のすべてがまだPDLLで完全にサポートされているわけではありませんが、これらは言語とツールの範囲内です。