Re: [PATCH] Adapt a couple of scalar comparison match.pd optimizations for vector comparisons against uniform vectors (PR target/88152, take 2)

2018-11-29 Thread Richard Biener
On Thu, 29 Nov 2018, Jakub Jelinek wrote: > On Thu, Nov 29, 2018 at 10:31:06AM +0100, Jakub Jelinek wrote: > > On Thu, Nov 29, 2018 at 10:22:15AM +0100, Richard Biener wrote: > > > OK. I didn't spent a lot of time trying to see if we can merge the > > > scalar and vector variants but I trust you

[PATCH] Adapt a couple of scalar comparison match.pd optimizations for vector comparisons against uniform vectors (PR target/88152, take 2)

2018-11-29 Thread Jakub Jelinek
On Thu, Nov 29, 2018 at 10:31:06AM +0100, Jakub Jelinek wrote: > On Thu, Nov 29, 2018 at 10:22:15AM +0100, Richard Biener wrote: > > OK. I didn't spent a lot of time trying to see if we can merge the > > scalar and vector variants but I trust you did ;) > > Yeah, sadly it is too different, even

Re: [PATCH] Adapt a couple of scalar comparison match.pd optimizations for vector comparisons against uniform vectors (PR target/88152)

2018-11-29 Thread Jakub Jelinek
On Thu, Nov 29, 2018 at 10:22:15AM +0100, Richard Biener wrote: > OK. I didn't spent a lot of time trying to see if we can merge the > scalar and vector variants but I trust you did ;) Yeah, sadly it is too different, even if we were to introduce a predicate whether a tree is either INTEGER_CST,

Re: [PATCH] Adapt a couple of scalar comparison match.pd optimizations for vector comparisons against uniform vectors (PR target/88152)

2018-11-29 Thread Richard Biener
On Thu, 29 Nov 2018, Jakub Jelinek wrote: > Hi! > > The following patch adapts a couple of scalar comparison against INTEGER_CST > optimizations to vector comparison against uniform_vector_p VECTOR_CST. > > The PR was specifically asking for the a > INT_MAX, a >= INT_MAX etc. > to (signed) a <

[PATCH] Adapt a couple of scalar comparison match.pd optimizations for vector comparisons against uniform vectors (PR target/88152)

2018-11-28 Thread Jakub Jelinek
Hi! The following patch adapts a couple of scalar comparison against INTEGER_CST optimizations to vector comparison against uniform_vector_p VECTOR_CST. The PR was specifically asking for the a > INT_MAX, a >= INT_MAX etc. to (signed) a < 0, the first two hunks are prerequsites of that though in