[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / forwprop-10.c

/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-fre-details" } */

int b;
unsigned a;

static inline int *g(void)
{
  a = 1;
  return (int*)&a;
}
void test2(void)
{
  b = *g();
}

/* The indirect load should be replaced by a load from a and a
   conversion to int.  FRE should then be able to replace
   the rhs of the store to b by 1.  */

/* { dg-final { scan-tree-dump "Replaced\[^\\n\]*with 1" "fre" } } */
/* { dg-final { cleanup-tree-dump "fre" } } */
Commit	Line	Data
4fedf870	1	/* { dg-do compile } */
70f34814	2	/* { dg-options "-O -fdump-tree-fre-details" } */
4fedf870 RG	3
	4	int b;
	5	unsigned a;
	6
	7	static inline int *g(void)
	8	{
	9	a = 1;
	10	return (int*)&a;
	11	}
	12	void test2(void)
	13	{
	14	b = *g();
	15	}
	16
	17	/* The indirect load should be replaced by a load from a and a
70f34814 RG	18	conversion to int. FRE should then be able to replace
70f34814 RG	19	the rhs of the store to b by 1. */
4fedf870	20
70f34814 RG	21	/* { dg-final { scan-tree-dump "Replaced\[^\\n\]with 1" "fre" } } /
70f34814 RG	22	/* { dg-final { cleanup-tree-dump "fre" } } */