[Mlir-commits] [mlir] [mlir][transform] Update transform.loop.peel (PR #67482)

[Andrzej Warzyński]

banach-space wrote:

> Could we double-check that if one iteration is peeled off, the loop is still present in the IR, and the handle expectedly points to that loop?

Sure, added extra verification in a follow-up fix-up commit.

> 
> Also FYI, I quickly looked at the internals of the peeling implementation and it mixes Rewriter-based and direct IR mutation, which may lead to crashes that are fun to debug.

Thanks for the heads-up! ATM I am using this to play around with vectorisation of the remainder loop and it works fine ™️ 🤞🏻 .

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