[Mlir-commits] [mlir] [mlir][vector] Turn ExtractOpFromLoad into a canonicalization (PR #171198)

[Jakub Kuderski]

kuhar wrote:

I think this could be a path forward without restricting OOB behavior in the general case:
1. Clarify the op semantics to say that partial OOB is implementation-defined
2. Add a new `inbounds` attribute that introduces an assumption that there won't be any OOB access
3. Enable this canon pattern in the presence of `inbounds` and take care of adjusting alignment attributes (if present) so that the backend can promote back to wider aligned accesses if it wants to.

`inbounds` can either be set by an analysis or from a frontend.

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