<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/62135>62135</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [MLIR] tensor.insert_slice canonicalizer hangs
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir:tensor
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          d0k
      </td>
    </tr>
</table>

<pre>
    https://gist.github.com/d0k/92c462cefa673f7d066dedbc1b1a3dd2

```
$ mlir-opt -canonicalize t.mlir
<hangs>
```

Looks like `InsertSliceOpCastFolder<mlir::tensor::InsertSliceOp>` is looping forever.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxsUtGK2zAQ_Br5RcRIu7J8fvBDmtRwcKXQfkCRpbWjRrGCpBy0X1_sM_RKD8xaQruzMztrcvbzQtSz5hNrzpV5lEtMvRPXaozuV38p5Z4ZHhkMDIbZ51LPvlweY23jjcHgxJXB0IFVGixNRrc4tU5o7ciNVo7SoHPAxJmJ4x612L-3Kyh-Cz4d4r3wgzVLXLw1wf8mXur1YU_D08Usc2b4-WOYLb7EeM08-CtxpsXzkimV78Fb-no_mVyGGBwlhqcNF48Mj4WWHPfzP_lrIy24zzzEePfLzKeY6JVSXbkeXYedqaiX-kmqtlWtqi69tq2mCTttwEih0UhLempGA9SZJ9NUvgcBKJRUEoVCqJ1qsJOdw2myKEgxJehmfKhDeL3VMc2Vz_lBvQaJTRXMSCFvTgHsEnb-AKt5qV_rDuNjzkyJ4HPJf5GKL2Gz-cvL8zfWnPlbae031T_yKpu_n3_i28SrRwr_rcG7DVgb7L_DPcWfZAuDYeOdGQwb9T8BAAD__0cvveo">