| /* { dg-do compile } */ |
| /* { dg-options "-O -fno-strict-aliasing -fdump-tree-lim2-details" } */ |
| |
| static inline __attribute__((always_inline)) |
| void f(int * __restrict__ r, |
| int a[__restrict__ 16][16], |
| int b[__restrict__ 16][16], |
| int i, int j) |
| { |
| int x; |
| *r = 0; |
| for (x = 1; x < 16; ++x) |
| *r = *r + a[i][x] * b[x][j]; |
| } |
| |
| void g(int *r, int a[16][16], int b[16][16], int i, int j) |
| { |
| f (r, a, b, i ,j); |
| } |
| |
| /* We should apply store motion to the store to *r. */ |
| |
| /* { dg-final { scan-tree-dump "Executing store motion of \\\*r" "lim2" } } */ |