On Mon, Nov 11, 2019 at 7:51 PM Richard Sandiford
wrote:
>
> This patch rewrites the index-based alias checks to use conditions
> of the form:
>
> (unsigned T) (a - b + bias) <= limit
>
> E.g. before the patch:
>
> struct s { int x[100]; };
>
> void
> f1 (struct s *s1, int a, int b)
> {
This patch rewrites the index-based alias checks to use conditions
of the form:
(unsigned T) (a - b + bias) <= limit
E.g. before the patch:
struct s { int x[100]; };
void
f1 (struct s *s1, int a, int b)
{
for (int i = 0; i < 32; ++i)
s1->x[i + a] += s1->x[i + b];
}
used:
