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

[llvmlistbot at llvm.org]

xiangzh1 wrote:

I begin to understand why we skip viewlikeOp before ---- to skip mem alias.

But it seems the line 340 and 347 are tring to slove this alias problem:
`          if (!vector::isDisjointTransferSet(
                  cast<VectorTransferOpInterface>(*transferWrite),
                  cast<VectorTransferOpInterface>(*transferWriteUse),
                  /*testDynamicValueUsingBounds=*/true))`
maybe we should enhance the isDisjointTransferSet for which have viewlikeOp source.

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