[llvm-dev] [RFC] Vector Predication

[David Greene via llvm-dev]

Simon Moll <moll at cs.uni-saarland.de> writes:

> You are referring to the sub-vector sizes, if i am understanding
> correctly. I'd assume that the mask sub-vector length always has to be
> either 1 or the same as the data sub-vector length. For example, this
> is ok:
>
> %result = call <scalable 3 x float> @llvm.evl.fsub.v4f32(<scalable 3 x
> float> %x, <scalable 3 x float> %y, <scalable 1 x i1> %M, i32 %L)

What does <scalable 1 x i1> applied to <scalable 3 x float> mean?  I
would expect a requirement of <scalable 3 x i1>.  At least that's how I
understood the SVE proposal [1].  The n's in <scalable n x type> have to
match.

                           -David

[1] http://lists.llvm.org/pipermail/llvm-dev/2016-November/106819.html