/* { dg-do compile } */
/* { dg-require-effective-target vect_int } */
/* { dg-additional-options "-fgimple" } */

int __GIMPLE (ssa,guessed_local(118111600),startwith("dce3"))
foo (int * x, int n)
{
  int i;
  int sum;
  int _1;
  long unsigned int _2;
  long unsigned int _3;
  int * _4;
  int _5;
  __SIZETYPE__ _7;
  __SIZETYPE__ _8;
  int * _9;
  int _10;
  __SIZETYPE__ _11;
  __SIZETYPE__ _12;
  int * _13;
  int _14;
  __SIZETYPE__ _15;
  __SIZETYPE__ _16;
  int * _17;
  int _100;

  __BB(2,guessed_local(118111600)):
  if (n_21(D) > 0)
    goto __BB5(guessed(119453778));
  else
    goto __BB7(guessed(14763950));

  __BB(5,guessed_local(105119324)):
  goto __BB3(precise(134217728));

  __BB(3,loop_header(1),guessed_local(955630224)):
  sum_30 = __PHI (__BB5: 0, __BB6: sum_27);
  i_32 = __PHI (__BB5: 0, __BB6: i_28);
  _1 = i_32 * 4;
  _2 = (long unsigned int) _1;
  _3 = _2 * 4ul;
  _4 = x_23(D) + _3;
  _5 = __MEM <int> (_4);
  sum_24 = _5 + sum_30;
  _7 = _2 + 1ul;
  _8 = _7 * 4ul;
  _9 = x_23(D) + _8;
  _10 = __MEM <int> (_9);
  sum_25 = _10 + sum_24;
  _11 = _2 + 2ul;
  _12 = _11 * 4ul;
  _13 = x_23(D) + _12;
  _14 = __MEM <int> (_13);
  sum_26 = _14 + sum_25;
  _15 = _2 + 3ul;
  _16 = _15 * 4ul;
  _17 = x_23(D) + _16;
  _100 = __MEM <int> (_17);
  sum_27 = sum_26 + _100;
  i_28 = i_32 + 1;
  if (n_21(D) > i_28)
    goto __BB6(guessed(119453778));
  else
    goto __BB8(guessed(14763950));

  __BB(8,guessed_local(105119324)):
  goto __BB4(precise(134217728));

  __BB(6,guessed_local(850510900)):
  goto __BB3(precise(134217728));

  __BB(7,guessed_local(12992276)):
  goto __BB4(precise(134217728));

  __BB(4,guessed_local(118111601)):
  sum_31 = __PHI (__BB7: 0, __BB8: sum_27);
  return sum_31;

}

/* { dg-final { scan-tree-dump "Decided to SLP 1 instances" "vect" } } */