[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / ssa-fre-79.c

/* { dg-do run } */
/* { dg-options "-O -fgimple -fdump-tree-fre1" } */

struct S { char a[4]; };
const struct S cs = { 1, 2, 3, 4 };

int __GIMPLE(ssa,startwith("fre"))
main ()
{
  struct S s;
  short _1;

  __BB(2):
  s = cs;
  s.a[1] = _Literal (char) 3;
  _1 = __MEM <short, 1> (&s + 1);
  if (_1 != _Literal (short) 0x303)
    goto __BB3;
  else
    goto __BB4;

  __BB(3):
  __builtin_abort ();

  __BB(4):
  return 0;
}

/* { dg-final { scan-tree-dump-not "abort" "fre1" } } */
Commit	Line	Data
62e3e66f RB	1	/* { dg-do run } */
	2	/* { dg-options "-O -fgimple -fdump-tree-fre1" } */
	3
	4	struct S { char a[4]; };
	5	const struct S cs = { 1, 2, 3, 4 };
	6
	7	int __GIMPLE(ssa,startwith("fre"))
	8	main ()
	9	{
	10	struct S s;
	11	short _1;
	12
	13	__BB(2):
	14	s = cs;
	15	s.a[1] = _Literal (char) 3;
	16	_1 = __MEM <short, 1> (&s + 1);
	17	if (_1 != _Literal (short) 0x303)
	18	goto __BB3;
	19	else
	20	goto __BB4;
	21
	22	__BB(3):
	23	__builtin_abort ();
	24
	25	__BB(4):
	26	return 0;
	27	}
	28
	29	/* { dg-final { scan-tree-dump-not "abort" "fre1" } } */