[llvm-dev] [RFC][SVE] Supporting SIMD instruction sets with variable vector lengths

[Renato Golin via llvm-dev]

On Thu, 25 Oct 2018 at 14:09, Graham Hunter <Graham.Hunter at arm.com> wrote:
>   - Size comparisons between unscaled and scaled vector types are considered
>     invalid for now, and will assert.

Sounds like a safe approach.


>   - Scalable vector types cannot be members of StructTypes or ArrayTypes. If
>     these are needed at the C level (e.g. the SVE ACLE C intrinsics), then
>     clang must perform lowering to a pointer + vscale-based arithmetic instead
>     of creating aggregates in IR.

Perhaps also mark them as noalias, given that the front-end has full
control over its lifetime?


> I will update the IR type patch and size query patch soon.

I'll have a look, thanks!
--renato