MLIR — 正規化器と宣言的な書き換えパターン

目次 前回の記事では、フォールディング関数を定義し、それを使用してポリ方言のための正規化とsccp定数伝播パスを可能にしました。この度は、より一般的な正規化パターンを追加する方法を見ていきます。 この記事のコードは、このプルリクエストにあり、いつものようにコミットは順番に読むように組織されています。 正規化が必要な理由 MLIRは、IRを簡略化するためのメカニズムとしてフォールディングを提供します。これにより、よりシンプルで効率的なオペレーションが得られることがあります（例：