The op allows to reshape memrefs using a 1D memref of extents. The shape memref
can also be dynamic.
Thanks, some comments...
Please keep the file sorted.
Why is unranked to unranked not supported?
Nit: You could also use isa<UnrankedMemRefType> here as you do not need the value.
Nit: This is not the rank but the length of the shape operand.
Maybe cannot use shape operand with dynamic length to cast ...?
Maybe length of shape operand differs from the result's memref rank?