Re: Changes for if-convert to recognize simple conditional reduction.

2014-05-05 Thread Yuri Rumyantsev
No, this is quite different issue related to safety of load/stores which are on branched paths, i.e. not always executed and may trap. Note that we don't have such issue for HSW which have masked load/stores. Yuri. 2014-05-05 11:44 GMT+04:00 Richard Biener : > On Wed, Apr 30, 2014 at 5:50 PM, Yu

Re: Changes for if-convert to recognize simple conditional reduction.

2014-05-05 Thread Richard Biener
On Wed, Apr 30, 2014 at 5:50 PM, Yuri Rumyantsev wrote: > Thanks a lot Richard for you review. > I did all proposed changes, checked that bootstrap and regression > testing did not show new failures. > Updated patch is attached. As said, this is ok for checkin. Thanks, Richard. > Best regards.

Re: Changes for if-convert to recognize simple conditional reduction.

2014-04-30 Thread H.J. Lu
On Wed, Apr 30, 2014 at 8:50 AM, Yuri Rumyantsev wrote: > Thanks a lot Richard for you review. > I did all proposed changes, checked that bootstrap and regression > testing did not show new failures. > Updated patch is attached. > Does this help http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21998

Re: Changes for if-convert to recognize simple conditional reduction.

2014-04-30 Thread Yuri Rumyantsev
Thanks a lot Richard for you review. I did all proposed changes, checked that bootstrap and regression testing did not show new failures. Updated patch is attached. Best regards. Yuri. 2014-04-30 16:40 GMT+04:00 Richard Biener : > On Tue, Apr 29, 2014 at 4:29 PM, Yuri Rumyantsev wrote: >> 2014-0

Re: Changes for if-convert to recognize simple conditional reduction.

2014-04-30 Thread Richard Biener
On Tue, Apr 29, 2014 at 4:29 PM, Yuri Rumyantsev wrote: > 2014-04-28 16:16 GMT+04:00 Richard Biener : >> On Thu, Apr 17, 2014 at 3:09 PM, Yuri Rumyantsev wrote: >>> Hi All, >>> >>> We implemented enhancement for if-convert phase to recognize the >>> simplest conditional reduction and to transform

Re: Changes for if-convert to recognize simple conditional reduction.

2014-04-29 Thread Yuri Rumyantsev
2014-04-28 16:16 GMT+04:00 Richard Biener : > On Thu, Apr 17, 2014 at 3:09 PM, Yuri Rumyantsev wrote: >> Hi All, >> >> We implemented enhancement for if-convert phase to recognize the >> simplest conditional reduction and to transform it vectorizable form, >> e.g. statement >> if (A[i] != 0) n

Re: Changes for if-convert to recognize simple conditional reduction.

2014-04-29 Thread Richard Biener
On Mon, Apr 28, 2014 at 10:05 PM, Richard Henderson wrote: > On 04/17/2014 06:09 AM, Yuri Rumyantsev wrote: >> + /* Build cond expression using COND and constant operand >> + of reduction rhs. */ >> + c = fold_build_cond_expr (TREE_TYPE (rhs1), >> + unshare_expr (con

Re: Changes for if-convert to recognize simple conditional reduction.

2014-04-28 Thread Richard Henderson
On 04/17/2014 06:09 AM, Yuri Rumyantsev wrote: > + /* Build cond expression using COND and constant operand > + of reduction rhs. */ > + c = fold_build_cond_expr (TREE_TYPE (rhs1), > + unshare_expr (cond), > + swap? zero: op1, > +

Re: Changes for if-convert to recognize simple conditional reduction.

2014-04-28 Thread Richard Biener
On Thu, Apr 17, 2014 at 3:09 PM, Yuri Rumyantsev wrote: > Hi All, > > We implemented enhancement for if-convert phase to recognize the > simplest conditional reduction and to transform it vectorizable form, > e.g. statement > if (A[i] != 0) num+= 1; will be recognized. > A new test-case is als

Changes for if-convert to recognize simple conditional reduction.

2014-04-17 Thread Yuri Rumyantsev
Hi All, We implemented enhancement for if-convert phase to recognize the simplest conditional reduction and to transform it vectorizable form, e.g. statement if (A[i] != 0) num+= 1; will be recognized. A new test-case is also provided. Bootstrapping and regression testing did not show any new