In D114780#3161188, @pifon2a wrote:

I think only Pass and Transforms are needed. I already submitted it. Thanks!

Addressed comments.

All files are renamed to "bufferization to memref" after the bufferization
dialect has been created.
Addressed further comments.

Add dynamic shaped allocs and test cases.
Addressed comments.

@mehdi_amini Try to fix the issue here: https://reviews.llvm.org/D102060

In D98041#2740418, @silvas wrote:

Any progress on splitting memref.dim into tensor.dim?

@mehdi_amini We tried to resolve the dependency, but ran into the problem that the canonicalize test did not recognize the memref ops. Before splitting the dialect, this was not an issue since the ops were part of the std-dialect. Now, we get an error that the splitted memref ops are not registered in MLIR context. That's the reason why this dependency is needed. As mentioned above, we are not experts in this particular field of MLIR and are looking forward to get some support how to get rid of this dependency. Maybe we can pre-register the memref-dialect somehow?

@mehdi_amini We have already discussed this "issue" with @herhut and we detected that the includes can not be removed in a straight forward way. It looks like removing those includes causes memref dependencies that can not be resolved properly. Unfortunately, we are not experts in this particular field of MLIR core. However, we are definitely looking forward to address your concerns. If we are able to get some support regarding these implicitely existing memref dependencies.

Addressed comments.

Addressed comments.

In D98041#2645874, @silvas wrote:

It looks like this patch simply moved std.dim to memref.dim, without doing the "splitting" which we had discussed. I now have code that only operates on tensors that is needing to pull in the memref dialect just for this. Can you split memref.dim into tensor.dim for the tensor case?

Addressed comments.

Adressed comments.

Removed corresponding ops in std dialect and adapted test cases.
Addressed comments.

Addressed comments.

Addressed comments.

Addressed comments.
Changed default max rank to 1 instead of 2 and changed condition to less or equal.
This way is more intuitive.

Addressed comments.
Introduce transformation if the alloc operands are RankOps.

In D90675#2393152, @vinograd47 wrote:

Hello! It looks like this documentation is a bit outdated. For example, setResultConversionKind method was removed and replaced with separate pass (see https://github.com/llvm/llvm-project/commit/f7bc56826616814a656866fd50e90a35a8e461eb). Is there any plans to update this documentation?

Addressed comments

Addressed comments.

Addressed comments.