[PATCH] D57504: RFC: EVL Prototype & Roadmap for vector predication in LLVM

[Luke Kenneth Casson Leighton via Phabricator via llvm-commits]

lkcl added a comment.

In D57504#1387621 <https://reviews.llvm.org/D57504#1387621>, @simoll wrote:

> In D57504#1386491 <https://reviews.llvm.org/D57504#1386491>, @lkcl wrote:
>
> > remember that both RVV and SV support the exact same vscale (variable-length multiples of elements) concept.
>
>
> We've already agreed that the unit of the vlen parameter is just the element type (that is the sub-vector element type in the vector-of-subvector interpretation of scalable types).


appreciated, simoll, apologies for giving the false impression that there was disagreement with that: i remained silent previously, as i agreed with the conclusion / logic, that vlen should match the full total number elements even on sub-vectors.

i *believe* (robin, can you clarify / confirm?) that robin may have been disagreeing on predicate masks, i.e. i *believe* that robin may be requesting that predicate masks *also* match the elements one-for-one.  in SV, as jacob expressed: we definitely feel that an option for predicates to be on the *sub-vectors* i.e. len(predicate_mask) == VL/VSCALE (*not* just VL) would result in much more optimal SV-assembler being generated.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D57504