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
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?
>
>