Re: Use base inequality for some vector alias checks

2017-06-07 Thread Richard Biener
On Wed, May 31, 2017 at 8:56 AM, Richard Sandiford wrote: > Ping > > Richard Sandiford writes: >> This patch checks whether two data references x and y cannot >> partially overlap and so are independent whenever &x != &y. >> We can then use this in the vectoriser to optimise alias checks. >> >> T

Re: Use base inequality for some vector alias checks

2017-05-30 Thread Richard Sandiford
Ping Richard Sandiford writes: > This patch checks whether two data references x and y cannot > partially overlap and so are independent whenever &x != &y. > We can then use this in the vectoriser to optimise alias checks. > > Tested on aarch64-linux-gnu and x86_64-linux-gnu. OK to install? > >

Use base inequality for some vector alias checks

2017-05-03 Thread Richard Sandiford
This patch checks whether two data references x and y cannot partially overlap and so are independent whenever &x != &y. We can then use this in the vectoriser to optimise alias checks. Tested on aarch64-linux-gnu and x86_64-linux-gnu. OK to install? Thanks, Richard gcc/ 2016-05-03 Richard Sa