[mlir][Linalg] Tighten canonicalization of InsertSliceOp that triggers infinite loop
authorNicolas Vasilache <nicolas.vasilache@gmail.com>
Thu, 14 Oct 2021 15:20:43 +0000 (15:20 +0000)
committerNicolas Vasilache <nicolas.vasilache@gmail.com>
Thu, 14 Oct 2021 15:26:03 +0000 (15:26 +0000)
commit82dd977bafa8ff6e0e0efa16cafcfd7d1d9249ba
tree7970d433e7cd6441ba2e3a5d64890322e643fed1
parent0eeaad3012afbd3b479a8201aa67eefee137804e
[mlir][Linalg] Tighten canonicalization of InsertSliceOp that triggers infinite loop

I am unclear this is reproducible with correct IR but atm the verifier for InsertSliceOp
is not powerful enough and this triggers an infinite loop that is worth fixing independently.

Differential Revision: https://reviews.llvm.org/D111812
mlir/lib/Dialect/Tensor/IR/TensorOps.cpp
mlir/test/Dialect/Tensor/canonicalize.mlir