Memrefs and maps for tiling

It seems algorithm for calculating upper bound of static memref with map is complex

You actually don’t need that because that handles an even more generic case. The floordiv / mod pattern for tiled layouts is pretty straightforward to deduce sizes for dynamic shapes.

I see. I will create a patch to support tiled layouts. Thanks!