[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / ssa-ccp-42.c

/* { dg-do compile } */
/* { dg-options "-fgimple -O -fdump-tree-ccp1" } */

__GIMPLE (ssa,startwith("ccp")) int foo (int n)
{
  int i;
  int j;

  __BB(2):
    i_1 = 0;
    goto __BB3;

  __BB(3):
    i_2 = __PHI (__BB2: i_1, __BB3: i_4);
    j_3 = i_2;
    i_4 = i_2 + 1;
    if (i_4 < n_5(D))
      goto __BB3;
    else
      goto __BB4;

  __BB(4):
    return j_3;
}

/* { dg-final { scan-tree-dump "return i_2;" "ccp1" } } */
Commit	Line	Data
203b127f RB	1	/* { dg-do compile } */
	2	/* { dg-options "-fgimple -O -fdump-tree-ccp1" } */
	3
	4	__GIMPLE (ssa,startwith("ccp")) int foo (int n)
	5	{
	6	int i;
	7	int j;
	8
	9	__BB(2):
	10	i_1 = 0;
	11	goto __BB3;
	12
	13	__BB(3):
	14	i_2 = __PHI (__BB2: i_1, __BB3: i_4);
	15	j_3 = i_2;
	16	i_4 = i_2 + 1;
	17	if (i_4 < n_5(D))
	18	goto __BB3;
	19	else
	20	goto __BB4;
	21
	22	__BB(4):
	23	return j_3;
	24	}
	25
	26	/* { dg-final { scan-tree-dump "return i_2;" "ccp1" } } */