1  /* { dg-do compile } */ 
       2  /* { dg-options "-O2 -fdump-tree-pre-stats -fno-tree-loop-im" } */
       3  unsigned foo1 (unsigned a, unsigned b, unsigned j, unsigned k)
       4  {
       5    unsigned i;
       6    for (i = 0; i != a; i++)
       7      {
       8        j += 4*b;
       9        k += 4*a;
      10      }
      11    return j + k;
      12  }
      13  /* We should eliminate both 4*b and 4*a from the main body of the loop */
      14  /* { dg-final { scan-tree-dump-times "Eliminated: 2" 1 "pre"} } */