Re: RFA: Tighten vector aliasing check

2011-07-13 Thread Richard Sandiford
Richard Sandiford writes: > tree-vect-loop-manip.c assumes there is an alias if: I meant _unless_. > ((store_ptr_0 + store_segment_length_0) < load_ptr_0) > || (load_ptr_0 + load_segment_length_0) < store_ptr_0)) > > which means that contiguous arrays are unnecessarily considered to al

Re: RFA: Tighten vector aliasing check

2011-07-13 Thread Richard Guenther
On Wed, Jul 13, 2011 at 1:00 PM, Richard Sandiford wrote: > tree-vect-loop-manip.c assumes there is an alias if: > >     ((store_ptr_0 + store_segment_length_0) < load_ptr_0) >     || (load_ptr_0 + load_segment_length_0) < store_ptr_0)) > > which means that contiguous arrays are unnecessarily cons

RFA: Tighten vector aliasing check

2011-07-13 Thread Richard Sandiford
tree-vect-loop-manip.c assumes there is an alias if: ((store_ptr_0 + store_segment_length_0) < load_ptr_0) || (load_ptr_0 + load_segment_length_0) < store_ptr_0)) which means that contiguous arrays are unnecessarily considered to alias. This patch changes the "<" to "<=". Tested on x8