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