https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113134
--- Comment #16 from Tamar Christina <tnfchris at gcc dot gnu.org> --- > > I wonder whether ARM SVE can also use this approach VEC_EXTRACT with index = > 0. Perhaps, I'll look into it thanks. though this is ofcourse only applicable when the mask comes from whilelo. In the future when we get to loops such as: for (int i = ..;;) { if (a) { .... if (b) return i; } } the reduction would come from the first active element of the mask created by the condition a and not the whilelo.