Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2019-04-01 Thread Richard Sandiford
Richard Biener writes: > On Tue, Mar 26, 2019 at 1:56 AM Richard Sandiford > wrote: >> Based on the "complete unrolling" view, if we number statements as >> (i, n), where i is the outer loop iteration and n is a statement number >> in the (completely unrolled) loop body, then the original scalar

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2019-03-26 Thread Richard Biener
On Tue, Mar 26, 2019 at 1:56 AM Richard Sandiford wrote: > > Richard Biener writes: > > On Fri, Mar 22, 2019 at 7:12 AM Bin.Cheng wrote: > >> > >> On Thu, Mar 21, 2019 at 8:24 PM Richard Biener > >> wrote: > >> > > >> > On Mon, Dec 18, 2017 at 1:37 PM Richard Biener > >> > wrote: > >> > > >

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2019-03-26 Thread Bin.Cheng
On Tue, Mar 26, 2019 at 8:56 AM Richard Sandiford wrote: > > Richard Biener writes: > > On Fri, Mar 22, 2019 at 7:12 AM Bin.Cheng wrote: > >> > >> On Thu, Mar 21, 2019 at 8:24 PM Richard Biener > >> wrote: > >> > > >> > On Mon, Dec 18, 2017 at 1:37 PM Richard Biener > >> > wrote: > >> > > >

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2019-03-25 Thread Richard Sandiford
Richard Biener writes: > On Fri, Mar 22, 2019 at 7:12 AM Bin.Cheng wrote: >> >> On Thu, Mar 21, 2019 at 8:24 PM Richard Biener >> wrote: >> > >> > On Mon, Dec 18, 2017 at 1:37 PM Richard Biener >> > wrote: >> > > >> > > On Fri, Dec 15, 2017 at 7:39 PM, Bin.Cheng wrote: >> > > > On Fri, Dec

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2019-03-25 Thread Richard Biener
On Fri, Mar 22, 2019 at 7:12 AM Bin.Cheng wrote: > > On Thu, Mar 21, 2019 at 8:24 PM Richard Biener > wrote: > > > > On Mon, Dec 18, 2017 at 1:37 PM Richard Biener > > wrote: > > > > > > On Fri, Dec 15, 2017 at 7:39 PM, Bin.Cheng wrote: > > > > On Fri, Dec 15, 2017 at 1:19 PM, Richard Biener >

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2019-03-22 Thread Bin.Cheng
On Thu, Mar 21, 2019 at 8:24 PM Richard Biener wrote: > > On Mon, Dec 18, 2017 at 1:37 PM Richard Biener > wrote: > > > > On Fri, Dec 15, 2017 at 7:39 PM, Bin.Cheng wrote: > > > On Fri, Dec 15, 2017 at 1:19 PM, Richard Biener > > > wrote: > > >> On Fri, Dec 15, 2017 at 1:35 PM, Bin.Cheng

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2019-03-21 Thread Richard Biener
On Mon, Dec 18, 2017 at 1:37 PM Richard Biener wrote: > > On Fri, Dec 15, 2017 at 7:39 PM, Bin.Cheng wrote: > > On Fri, Dec 15, 2017 at 1:19 PM, Richard Biener > > wrote: > >> On Fri, Dec 15, 2017 at 1:35 PM, Bin.Cheng wrote: > >>> On Fri, Dec 15, 2017 at 12:09 PM, Bin.Cheng wrote: > On

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-20 Thread Bin.Cheng
On Tue, Dec 19, 2017 at 12:56 PM, Richard Biener wrote: > On Tue, Dec 19, 2017 at 12:58 PM, Bin.Cheng wrote: >> On Mon, Dec 18, 2017 at 2:35 PM, Michael Matz wrote: >>> Hi, >>> >>> On Mon, 18 Dec 2017, Richard Biener wrote: >>>

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-19 Thread Richard Biener
On Tue, Dec 19, 2017 at 12:58 PM, Bin.Cheng wrote: > On Mon, Dec 18, 2017 at 2:35 PM, Michael Matz wrote: >> Hi, >> >> On Mon, 18 Dec 2017, Richard Biener wrote: >> >>> where *unroll is similar to *max_vf I think. dist_v[0] is the innermost >>> loop. >> >>

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-19 Thread Bin.Cheng
On Mon, Dec 18, 2017 at 2:35 PM, Michael Matz wrote: > Hi, > > On Mon, 18 Dec 2017, Richard Biener wrote: > >> where *unroll is similar to *max_vf I think. dist_v[0] is the innermost >> loop. > > [0] is always outermost loop. > >> The vectorizer does way more complicated things

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-18 Thread Michael Matz
Hi, On Mon, 18 Dec 2017, Richard Biener wrote: > where *unroll is similar to *max_vf I think. dist_v[0] is the innermost loop. [0] is always outermost loop. > The vectorizer does way more complicated things and only looks at the > distance with respect to the outer loop as far as I can see

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-18 Thread Richard Biener
On Mon, Dec 18, 2017 at 1:37 PM, Richard Biener wrote: > On Fri, Dec 15, 2017 at 7:39 PM, Bin.Cheng wrote: >> On Fri, Dec 15, 2017 at 1:19 PM, Richard Biener >> wrote: >>> On Fri, Dec 15, 2017 at 1:35 PM, Bin.Cheng

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-18 Thread Richard Biener
On Fri, Dec 15, 2017 at 7:39 PM, Bin.Cheng wrote: > On Fri, Dec 15, 2017 at 1:19 PM, Richard Biener > wrote: >> On Fri, Dec 15, 2017 at 1:35 PM, Bin.Cheng wrote: >>> On Fri, Dec 15, 2017 at 12:09 PM, Bin.Cheng

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-15 Thread Bin.Cheng
On Fri, Dec 15, 2017 at 1:19 PM, Richard Biener wrote: > On Fri, Dec 15, 2017 at 1:35 PM, Bin.Cheng wrote: >> On Fri, Dec 15, 2017 at 12:09 PM, Bin.Cheng wrote: >>> On Fri, Dec 15, 2017 at 11:55 AM, Richard Biener >>>

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-15 Thread Richard Biener
On Fri, Dec 15, 2017 at 1:35 PM, Bin.Cheng wrote: > On Fri, Dec 15, 2017 at 12:09 PM, Bin.Cheng wrote: >> On Fri, Dec 15, 2017 at 11:55 AM, Richard Biener >> wrote: >>> On Fri, Dec 15, 2017 at 12:30 PM, Bin Cheng

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-15 Thread Bin.Cheng
On Fri, Dec 15, 2017 at 12:09 PM, Bin.Cheng wrote: > On Fri, Dec 15, 2017 at 11:55 AM, Richard Biener > wrote: >> On Fri, Dec 15, 2017 at 12:30 PM, Bin Cheng wrote: >>> Hi, >>> As explained in the PR, given below test case:

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-15 Thread Bin.Cheng
On Fri, Dec 15, 2017 at 11:55 AM, Richard Biener wrote: > On Fri, Dec 15, 2017 at 12:30 PM, Bin Cheng wrote: >> Hi, >> As explained in the PR, given below test case: >> int a[8][10] = { [2][5] = 4 }, c; >> >> int >> main () >> { >> short b; >>

Re: [PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-15 Thread Richard Biener
On Fri, Dec 15, 2017 at 12:30 PM, Bin Cheng wrote: > Hi, > As explained in the PR, given below test case: > int a[8][10] = { [2][5] = 4 }, c; > > int > main () > { > short b; > int i, d; > for (b = 4; b >= 0; b--) > for (c = 0; c <= 6; c++) > a[c + 1][b + 2] =

[PATCH PR81740]Enforce dependence check for outer loop vectorization

2017-12-15 Thread Bin Cheng
Hi, As explained in the PR, given below test case: int a[8][10] = { [2][5] = 4 }, c; int main () { short b; int i, d; for (b = 4; b >= 0; b--) for (c = 0; c <= 6; c++) a[c + 1][b + 2] = a[c][b + 1]; for (i = 0; i < 8; i++) for (d = 0; d < 10; d++) if (a[i][d] != (i ==