[Mlir-commits] [mlir] [mlir][scf] Rewrite vector.transfer_read/write after peeling (PR #88684)

[llvmlistbot at llvm.org]

https://github.com/MaheshRavishankar requested changes to this pull request.

One way to structure this would be to modify the `peelForLoop` to return a `FailureOr<Operation*>` where the returned `Operation *` is the peeled loop. Then the transformation here could be written as a one-off vector dialect transformation that takes the peeled loop and original loop to do what you have here.

I am not thrilled about the suggestion though. Ideally this should just be an analysis of the indices of the vector.transfer_read that tells you that it is always inbounds. Maybe you can use the `ValuesBoundInterface` to do this.

@matthias-springer  if you have any suggestions here.

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