Re: [PATCH] vect: Fix voluntarily-masked negative conditionals [PR108430]

2023-03-02 Thread Richard Biener via Gcc-patches
On Thu, Mar 2, 2023 at 11:19 AM Richard Sandiford via Gcc-patches wrote: > > vectorizable_condition checks whether a COND_EXPR condition is used > elsewhere with a loop mask. If so, it applies the loop mask to the > COND_EXPR too, to reduce the number of live masks and to increase the > chance of

[PATCH] vect: Fix voluntarily-masked negative conditionals [PR108430]

2023-03-02 Thread Richard Sandiford via Gcc-patches
vectorizable_condition checks whether a COND_EXPR condition is used elsewhere with a loop mask. If so, it applies the loop mask to the COND_EXPR too, to reduce the number of live masks and to increase the chance of combining the AND with the comparison. There is also code to do this for inverted