[Mlir-commits] [mlir] [mlir][vector] Hoist transfer pairs when the source is AssumeAlignmentOp (PR #144809)

[Andrzej Warzyński]

banach-space wrote:

I've posted two PRs to help move this forward:

* https://github.com/llvm/llvm-project/pull/145234 decomposes `@hoist_vector_transfer_pairs` into smaller, focused test functions. I find the current version of that test quite "noisy" - splitting it up should help reduce noise in future diffs and PRs. Since `@hoist_vector_transfer_pairs` is touched in this PR, I’m hoping this change will lead to a leaner and more focused diff for discussion.
* https://github.com/llvm/llvm-project/pull/145235 restricts the hoisting logic in the presence of aliases. This was inspired by the `@example` I shared earlier, where the current logic behaves inconsistently. Once this lands, our "starting point" should be clearer - which I feel isn’t quite the case at the moment.

Let me know if anything here seems off - hopefully these changes make sense and help clarify the path forward.

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