1 /* { dg-do compile } */
2 /* { dg-options "-O -fno-strict-aliasing -fdump-tree-lim2-details" } */
3
4 static inline __attribute__((always_inline))
f(int * __restrict__ r,int a[__restrict__16][16],int b[__restrict__16][16],int i,int j)5 void f(int * __restrict__ r,
6 int a[__restrict__ 16][16],
7 int b[__restrict__ 16][16],
8 int i, int j)
9 {
10 int x;
11 *r = 0;
12 for (x = 1; x < 16; ++x)
13 *r = *r + a[i][x] * b[x][j];
14 }
15
g(int * r,int a[16][16],int b[16][16],int i,int j)16 void g(int *r, int a[16][16], int b[16][16], int i, int j)
17 {
18 f (r, a, b, i ,j);
19 }
20
21 /* We should apply store motion to the store to *r. */
22
23 /* { dg-final { scan-tree-dump "Executing store motion of \\\*r" "lim2" } } */
24