gcc/testsuite/gcc.dg/tree-ssa/ivopts-6.c

   1 /* { dg-do compile { target lp64 } } */
   2 /* { dg-options "-O2 -fdump-tree-ivopts-details" } */
   3
   4 int*
   5 foo (int* mem, int sz, int val)
   6 {
   7   int i;
   8   for (i = 0; i != sz; i++)
   9     if (mem[i] == val)
  10       return &mem[i];
  11   return 0;
  12 }
  13
  14 /* { dg-final { scan-tree-dump "inv_expr \[0-9\]: \\t\\(unsigned long\\) sz_\[0-9\]\\(D\\) \\* 4 \\+ \\(unsigned long\\) mem_\[0-9\]\\(D\\)" "ivopts" } } */