[Mlir-commits] [mlir] [mlir][tensor] Apply `InsertSliceOfTransferWriteOpFolder` only when `transfer_write` overwrites all elements of `insert_slice` (PR #108803)

[Rajveer Singh Bharadwaj]

Rajveer100 wrote:

@MacDue 
I presume for dynamic sizes you meant to use `ValueBoundsConstraintSet`?

https://mlir.llvm.org/doxygen/classmlir_1_1ValueBoundsConstraintSet.html

For static sizes we just check `dim[i]` (for each i in all dimensions) that it is equal for both source and destination? Let me know if I am on the right track here. 

Also, do we want to throw a match failure if it does not overwrite all elements, or just return with `success()` with no replacements?

https://github.com/llvm/llvm-project/pull/108803