[PATCH] D32530: [SVE][IR] Scalable Vector IR Type

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

In D32530#1470773 <https://reviews.llvm.org/D32530#1470773>, @greened wrote:

> > We need to clarify on insertelement/extractelement. Maybe already done in some other patches, but that clarification should be part of this patch.
> >  Is the "length of val" under the semantics "scalable * n" in <scalable n x ElemTy>, right? Or is it still n?
>
> I am not sure how it could be anything but `n`.  If you don't know how long the vector is, you can't correctly generate an index beyond `n`.


But you know at runtime... there has to be a way to determine, at runtime, vscale. And the index doesn't need to be a constant. I'm not sure that we need to restrict non-constant n to only values valid for vscale == 1.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D32530/new/

https://reviews.llvm.org/D32530