Re: [PATCH] Improve get_ref_base_and_extent with range-info

2018-05-18 Thread Richard Biener
On Thu, 17 May 2018, Richard Biener wrote: > > The following makes use of range-info to improve the basic building > block of the alias-oracle so we can tell that in > > a[0] = 1; > for (int i = 5; i < 17; ++i) > a[i] = i; > a[0] = 2; > > the ao_ref for a[i] does not alias the a[0] ac

[PATCH] Improve get_ref_base_and_extent with range-info

2018-05-17 Thread Richard Biener
The following makes use of range-info to improve the basic building block of the alias-oracle so we can tell that in a[0] = 1; for (int i = 5; i < 17; ++i) a[i] = i; a[0] = 2; the ao_ref for a[i] does not alias the a[0] acceses. Given range-info is not always going to improve things o