gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-3.c

   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"} } */