Re: [PATCH] Fix PR77848

2016-11-17 Thread Bill Schmidt
> On Nov 17, 2016, at 3:42 AM, Richard Biener > wrote: > > On Thu, Nov 17, 2016 at 4:14 AM, Bill Schmidt > wrote: >> >> Yes, the new predicate works fine. New patch below, bootstrapped and tested >> on powerpc64le-unknown-linux-gnu, with only the bb-slp-cond-1.c regressions >> previously dis

Re: [PATCH] Fix PR77848

2016-11-17 Thread Richard Biener
On Thu, Nov 17, 2016 at 4:14 AM, Bill Schmidt wrote: > On 11/16/16 9:08 AM, Richard Biener wrote: > >> On Tue, Nov 15, 2016 at 9:03 PM, Bill Schmidt >> wrote: >>> - if ((any_pred_load_store || any_complicated_phi) >>> - && !version_loop_for_if_conversion (loop)) >>> + /* Since we have no c

Re: [PATCH] Fix PR77848

2016-11-16 Thread Bill Schmidt
On 11/16/16 9:08 AM, Richard Biener wrote: > On Tue, Nov 15, 2016 at 9:03 PM, Bill Schmidt > wrote: >> - if ((any_pred_load_store || any_complicated_phi) >> - && !version_loop_for_if_conversion (loop)) >> + /* Since we have no cost model, always version loops if vectorization >> + is e

Re: [PATCH] Fix PR77848

2016-11-16 Thread Bill Schmidt
Thanks, Richard! I'll follow up with these changes over the next day or two. Appreciate all the help! Bill On Wed, 2016-11-16 at 16:08 +0100, Richard Biener wrote: > On Tue, Nov 15, 2016 at 9:03 PM, Bill Schmidt > wrote: > > Hi, > > > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77848 identi

Re: [PATCH] Fix PR77848

2016-11-16 Thread Richard Biener
On Tue, Nov 15, 2016 at 9:03 PM, Bill Schmidt wrote: > Hi, > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77848 identifies a situation > where if-conversion causes degradation when the if-converted loop is not > subsequently vectorized. The if-conversion pass does not have a cost > model to avo

[PATCH] Fix PR77848

2016-11-15 Thread Bill Schmidt
Hi, https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77848 identifies a situation where if-conversion causes degradation when the if-converted loop is not subsequently vectorized. The if-conversion pass does not have a cost model to avoid such degradations. However, it does have a capability to vers