/* Verify straight-line strength reduction for multiply candidates
   with variable stride and control flow, increment = -1.  */

/* { dg-do compile } */
/* { dg-options "-O3 -fdump-tree-optimized" } */

int 
f (int n, int x, int stride)
{
  int a, x1, x2, x3;

  a = x * stride;

  if (n > 64)
    {
      x1 = x - 1;
      a += x1 * stride;
      x2 = x1 - 1;
      a += x2 * stride;
    }
  else
    {
      x3 = x - 1;
      a += x3 * stride;
    }

  return a;
}

/* { dg-final { scan-tree-dump-times " \\* " 1 "optimized" } } */