matthias-springer wrote: > I think this is OK, but when we create a new memref, dont we want to verify > that the strides specified dont make it such that accessing using strides > goes out of bounds?
By "create a new memref" you mean the reinterpret_cast result, right? I'd say you don't want to verify this. Maybe you know that the source memref is a view into a larger allocation, so out-of-bounds access is safe. I think of it like a C++ reinterpret_cast, there you can cast to almost an arbitrary memref type. https://github.com/llvm/llvm-project/pull/132547 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
