Re: Improve vectorisation of COND_EXPR

2017-11-07 Thread Richard Biener
On Fri, Nov 3, 2017 at 5:26 PM, Richard Sandiford wrote: > This patch allows us to recognise: > > ... = bool1 != bool2 ? x : y > > as equivalent to: > > bool tmp = bool1 ^ bool2; > ... = tmp ? x : y > > For the latter we were already able to find the natural number > of vector units fo

Improve vectorisation of COND_EXPR

2017-11-03 Thread Richard Sandiford
This patch allows us to recognise: ... = bool1 != bool2 ? x : y as equivalent to: bool tmp = bool1 ^ bool2; ... = tmp ? x : y For the latter we were already able to find the natural number of vector units for tmp based on the types that feed bool1 and bool2, whereas with the former