On Thu, 7 Jan 2021, Richard Sandiford wrote:
> Richard Biener writes:
> > On Wed, 6 Jan 2021, Richard Sandiford wrote:
> >
> >> PR98560 is about a case in which the vectoriser initially generates:
> >>
> >> mask_1 = a < 0;
> >> mask_2 = mask_1 & ...;
> >> res = VEC_COND_EXPR ;
> >>
> >> T
Richard Biener writes:
> On Wed, 6 Jan 2021, Richard Sandiford wrote:
>
>> PR98560 is about a case in which the vectoriser initially generates:
>>
>> mask_1 = a < 0;
>> mask_2 = mask_1 & ...;
>> res = VEC_COND_EXPR ;
>>
>> The vectoriser thus expects res to be calculated using vcond_mask.
On Wed, 6 Jan 2021, Richard Sandiford wrote:
> PR98560 is about a case in which the vectoriser initially generates:
>
> mask_1 = a < 0;
> mask_2 = mask_1 & ...;
> res = VEC_COND_EXPR ;
>
> The vectoriser thus expects res to be calculated using vcond_mask.
> However, we later manage to fold
PR98560 is about a case in which the vectoriser initially generates:
mask_1 = a < 0;
mask_2 = mask_1 & ...;
res = VEC_COND_EXPR ;
The vectoriser thus expects res to be calculated using vcond_mask.
However, we later manage to fold mask_2 to mask_1, leaving:
mask_1 = a < 0;
res = VEC_CON
