In most OpenACC training slides, e.g. saxpy function in
void saxpy(int n, float a, float * x, float *restrict y);
It seems only one restrict keyword in front of y is needed for the compiler to recognize parallelism and independence between x and y, I am just wondering why the restrict keyword is not also added in front of x? Why does the compiler figure out x is not aliased with y?
Thanks a lot,