目次 前回、新しいダイアレクトPolyを多項式演算のために定義しました。この回では、既定のMLIRトレイトを追加し、トレイトの適用がpolyプログラムの最適化を可能にする一般的なパスを確認します。 この記事のコードはこのプルリクエストにあり、いつものようにコミットは順番に読むように組織されています。 トレイトとループ不変コード運動 MLIRはコンパイラーツールチェーンとして、コードの再利用を大いに重視しています。