On Tue, 12 Nov 2013, Cong Hou wrote:
> The current alias check merger does not consider the DR_STEP of
> data-refs when sorting data-refs. For the following loop:
>
> for (i = 0; i < N; ++i)
> a[i] = b[0] + b[i] + b[1];
>
> The data ref b[0] and b[i] have the same DR_INIT and DR_OFFSET, and
>
The current alias check merger does not consider the DR_STEP of
data-refs when sorting data-refs. For the following loop:
for (i = 0; i < N; ++i)
a[i] = b[0] + b[i] + b[1];
The data ref b[0] and b[i] have the same DR_INIT and DR_OFFSET, and
after sorting three DR pairs, the following order can
