On Mon, Nov 11, 2019 at 7:52 PM Richard Sandiford
wrote:
>
> For:
>
> void
> f1 (int *x, int *y)
> {
> for (int i = 0; i < 32; ++i)
> x[i] += y[i];
> }
>
> we checked at runtime whether one vector at x would overlap one vector
> at y. But in cases like this, the vector code woul
For:
void
f1 (int *x, int *y)
{
for (int i = 0; i < 32; ++i)
x[i] += y[i];
}
we checked at runtime whether one vector at x would overlap one vector
at y. But in cases like this, the vector code would handle x <= y just
fine, since any write to address A still happens after any
