| /* { dg-options "-O3 -fdump-tree-lversion-details" } */ |
| |
| /* The read from y in f1 will be hoisted to the outer loop. In general |
| it's not worth versioning outer loops when the inner loops don't also |
| benefit. |
| |
| This test is meant to be a slight counterexample, since versioning |
| does lead to cheaper outer-loop vectorization. However, the benefit |
| isn't enough to justify the cost. */ |
| |
| void |
| f1 (double *restrict x, double *restrict y, int step, int n) |
| { |
| for (int i = 0; i < n; ++i) |
| for (int j = 0; j < n; ++j) |
| x[i + j] = y[i * step]; |
| } |
| |
| /* A similar example in which the read can't be hoisted, but could |
| for example be handled by vectorizer alias checks. */ |
| |
| void |
| f2 (double *x, double *y, int step, int n) |
| { |
| for (int i = 0; i < n; ++i) |
| for (int j = 0; j < n; ++j) |
| x[i + j] = y[i * step]; |
| } |
| |
| /* { dg-final { scan-tree-dump-not {want to version} "lversion" } } */ |
| /* { dg-final { scan-tree-dump-not {versioned} "lversion" } } */ |