I’m just curious… I wanted to check where we are with regarding supporting
index type as element type of
vector. The documentation talks about some early problems that MLIR wasn’t ready to address at that time:
https://mlir.llvm.org/docs/Rationale/Rationale/#index-type-disallowed-in-vectormemref-types. I wonder if those problems are still there and if we are ready to address them now .
I cannot be very specific but I have a use case where I need a memref of a constant number of indexes (let’s say
memref<3xindex>), and then load them into a vector (
vector<3xindex>). This code would then be lowered to LLVM using the proper target-specific index size. I’m currently workarounding this limitation by using the target-specific index type (i.e.,
i64) early on in MLIR for memrefs/vectors. However, I have to be doing all the
index castings when these aggregate types interact with other
index types, which makes some other transformation a bit more complicated.
Any plans on supporting index memrefs/vectors?