[Bug tree-optimization/109502] [12/13 Regression] wrong code with -O -ftree-vectorize -fvect-cost-model=unlimited on aarch64

["pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109502

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #1)
> SLP transforms:
> 
>   g.0_1 = g;
>   _2 = g.0_1 == 0;
>   a_7 = (unsigned int) _2;
>   _3 = a_7 % 6;
>   _4 = _3 == 0;
>   _5 = (unsigned int) _4;
>   a_8 = _5 + a_7;
> 
> To:
> 
>   g.0_1 = g;
>   _2 = g.0_1 == 0;
>   a_7 = (unsigned int) _2;
>   _3 = a_7 % 6;
>   _15 = {_3, g.0_1};
>   mask__4.4_16 = { 0, 0 } == _15;
>   vect__5.5_19 = VIEW_CONVERT_EXPR<vector(2) unsigned int>(mask__4.4_16);
>   _17 = BIT_FIELD_REF <mask__4.4_16, 32, 0>;
>   _18 = (bool) _17;
>   _4 = _3 == 0;
>   _5 = (unsigned int) _18;
>   _20 = .REDUC_PLUS (vect__5.5_19);
>   a_8 = _20;
> 

If anything there is a missing, a negative after the
reduc_plus (or before) when it translates the bools comparisons into vector
comparisons.