Questions about MemRef

[aqjune]

• Is there a case where the output memref's stride is larger than one?
• Are two memrefs of different memspaces no-alias? In the case of LLVM, there was addrspacecast, so they could alias.