MLIR - 検証者

目次 前回、フォルダーを定義し、ポリダイアレクトのための標準化とsccp定数伝搬パスを有効にするためにそれらを使用しました。この回では、検証者を通じてダイアレクトに追加の安全性チェックを追加します。 この記事のコードはこのプルリクエストにあり、慣例通りコミットは順番に読むように組織されています。 検証者の目的 検証者は、具体的なMLIRプログラムの型と操作が適切に形成されていることを保証します。