Re: Support for aliasing with variable strides

2018-01-07 Thread James Greenhalgh
On Thu, Dec 14, 2017 at 11:00:36AM +, Richard Biener wrote: > On Fri, Nov 17, 2017 at 11:17 PM, Richard Sandiford > wrote: > > This patch adds runtime alias checks for loops with variable strides, > > so that we can vectorise them even without a restrict qualifier. > > There are several parts

Re: Support for aliasing with variable strides

2017-12-14 Thread Richard Biener
On Fri, Nov 17, 2017 at 11:17 PM, Richard Sandiford wrote: > This patch adds runtime alias checks for loops with variable strides, > so that we can vectorise them even without a restrict qualifier. > There are several parts to doing this: > > 1) For accesses like: > > x[i * n] += 1; > >we

Support for aliasing with variable strides

2017-11-17 Thread Richard Sandiford
This patch adds runtime alias checks for loops with variable strides, so that we can vectorise them even without a restrict qualifier. There are several parts to doing this: 1) For accesses like: x[i * n] += 1; we need to check whether n (and thus the DR_STEP) is nonzero. vect_analyze