目次 前回、MLIRの事前定義された特性を使用して、ループ不変コードの動きのような上流のMLIRパスをpolyプログラムに適用する方法を見ました。-sccp（スパース条件定数伝搬）を残し、 今回はそのパスが機能するために必要なものを追加します。 それは、フォールディングの概念が必要です。 この記事のコードはこのプルリクエストにあり、慣例通り、コミットは順番に読むように組織されています。