summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/ivopt_mult_4.c
blob: d2aa78d61e3a8f6a14334b39f698f7b5d9d82b78 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
/* { dg-do compile { target {{ i?86-*-* x86_64-*-* } && lp64 } } } */
/* { dg-options "-O2 -m64 -fdump-tree-ivopts-details" } */

/* iv i's step 16 so its period is smaller than the max iterations
 * i.e. replacing if (p2 > p_limit2) with testing of i may result in
 * overflow.  */
long foo(long* p, long* p2, int N1, int N2)
{
  unsigned long  i = 0;
  long* p_limit2 = p2 + N2;
  long s = 0;
  while (i < N1)
    {
      p2++;
      i += 16;
      if (p2 > p_limit2)
        break;
     s += p[i];
  }
  return s;
}

/* { dg-final { scan-tree-dump-times "Replacing" 0 "ivopts"} } */
/* { dg-final { cleanup-tree-dump "ivopts" } } */